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