//
// Verify DV detection on multiple paths
//			
.text
	.explicit
// WAW on r4 is avoided on both paths
// WAW on r5 is avoided on path 0 (from top) but not path 1 (from L)
	cmp.eq	p1, p2 = r1, r2
	cmp.eq	p3, p4 = r3, r0;;
(p1)	mov	r4 = 2
L:	
(p2)	mov	r4 = 5
(p3)	mov	r5 = r7
(p4)	mov	r5 = r8