1// 2// Test mutex relation handling 3// 4.text 5start: 6// user annotation 7 .pred.rel.mutex p1, p2, p3 8(p1) mov r4 = 2 9(p2) mov r4 = 5 10(p3) mov r4 = 7 11 rfi 12 13// non-predicated compares generate a mutex 14 cmp.eq p1, p2 = r1, r2;; 15(p1) mov r4 = 2 16(p2) mov r4 = 4 17 rfi 18 19// unconditional compares generate a mutex 20(p3) cmp.eq.unc p1, p2 = r1, r2;; 21(p1) mov r4 = 2 22(p2) mov r4 = 4 23 rfi 24 25// non-predicated compares don't remove mutex 26 cmp.eq p1, p2 = r1, r2;; 27(p1) mov r4 = 2 28(p2) mov r4 = 4 29 rfi 30 31// predicated compares don't remove mutex 32(p3) cmp.eq p1, p2 = r1, r2;; 33(p1) mov r4 = 2 34(p2) mov r4 = 4 35 rfi 36L: 37