2 // Test predicate safety across calls
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 ;;
14 (p3) br.call.sptk b1 = L