//	
// 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: