2 // Test mutex relation handling
7 cmp.eq p6, p0 = r29, r0
11 .pred.rel.mutex p1, p2
12 cmp.eq p0, p1 = r1, r2;;
17 .pred.rel.mutex p1, p2
18 (p3) cmp.eq p0, p1 = r1, r2;;
23 .pred.rel.mutex p1, p2
24 cmp.eq p2, p3 = r1, r2;;
29 .pred.rel.mutex p1, p2
30 (p3) cmp.eq p2, p3 = r1, r2;;