| // | |
| // Test predicate safety across calls | |
| // | |
| .text | |
| start: | |
| // user annotation | |
| .pred.safe_across_calls p1-p4 | |
| .pred.safe_across_calls p1,p2,p3,p4 | |
| .pred.safe_across_calls p1-p2,p3-p4 | |
| .pred.safe_across_calls p1-p3,p4 | |
| cmp.eq p1, p2 = r1, r2 | |
| cmp.eq p3, p4 = r3, r4 ;; | |
| (p3) br.call.sptk b1 = L | |
| (p1) mov r4 = 2 | |
| (p2) mov r4 = 5 | |
| (p3) mov r5 = r6 | |
| (p4) mov r5 = r7 | |
| L: |