// // Test mutex relation handling // .text start: // user annotation .pred.rel.mutex p1, p2, p3 (p1) mov r4 = 2 (p2) mov r4 = 5 (p3) mov r4 = 7 rfi // non-predicated compares generate a mutex cmp.eq p1, p2 = r1, r2;; (p1) mov r4 = 2 (p2) mov r4 = 4 rfi // unconditional compares generate a mutex (p3) cmp.eq.unc p1, p2 = r1, r2;; (p1) mov r4 = 2 (p2) mov r4 = 4 rfi // non-predicated compares don't remove mutex cmp.eq p1, p2 = r1, r2;; (p1) mov r4 = 2 (p2) mov r4 = 4 rfi // predicated compares don't remove mutex (p3) cmp.eq p1, p2 = r1, r2;; (p1) mov r4 = 2 (p2) mov r4 = 4 rfi L: