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