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