2 // Test mutex relation handling
7 .pred.rel.mutex p1, p2, p3
13 // non-predicated compares generate a mutex
14 cmp.eq p1, p2 = r1, r2;;
19 // unconditional compares generate a mutex
20 (p3) cmp.eq.unc p1, p2 = r1, r2;;
25 // non-predicated compares don't remove mutex
26 cmp.eq p1, p2 = r1, r2;;
31 // predicated compares don't remove mutex
32 (p3) cmp.eq p1, p2 = r1, r2;;