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