1//
2// Verify DV detection on multiple paths
3//
4.text
5	.explicit
6// WAW on r4 is avoided on both paths
7// WAW on r5 is avoided on path 0 (from top) but not path 1 (from L)
8	cmp.eq	p1, p2 = r1, r2
9	cmp.eq	p3, p4 = r3, r0;;
10(p1)	mov	r4 = 2
11L:
12(p2)	mov	r4 = 5
13(p3)	mov	r5 = r7
14(p4)	mov	r5 = r8
15
16