Commit | Line | Data |
---|---|---|
800eeca4 JW |
1 | // |
2 | // Test predicate safety across calls | |
3 | // | |
4 | .text | |
5 | start: | |
6 | // user annotation | |
7 | .pred.safe_across_calls p1-p4 | |
8 | .pred.safe_across_calls p1,p2,p3,p4 | |
9 | .pred.safe_across_calls p1-p2,p3-p4 | |
10 | .pred.safe_across_calls p1-p3,p4 | |
11 | cmp.eq p1, p2 = r1, r2 | |
12 | cmp.eq p3, p4 = r3, r4 ;; | |
13 | ||
14 | (p3) br.call.sptk b1 = L | |
15 | (p1) mov r4 = 2 | |
16 | (p2) mov r4 = 5 | |
17 | (p3) mov r5 = r6 | |
18 | (p4) mov r5 = r7 | |
19 | L: |