1// 2// Test predicate safety across calls 3// 4.text 5start: 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 19L: 20