// | |
// Test mutex relation handling | |
// | |
.text | |
.explicit | |
start: | |
cmp.eq p6, p0 = r29, r0 | |
add r26 = r26, r29 | |
ld8 r29 = [r26] | |
.pred.rel.mutex p1, p2 | |
cmp.eq p0, p1 = r1, r2;; | |
(p1) mov r4 = 2 | |
(p2) mov r4 = 4 | |
rfi | |
.pred.rel.mutex p1, p2 | |
(p3) cmp.eq p0, p1 = r1, r2;; | |
(p1) mov r4 = 2 | |
(p2) mov r4 = 4 | |
rfi | |
.pred.rel.mutex p1, p2 | |
cmp.eq p2, p3 = r1, r2;; | |
(p1) mov r4 = 2 | |
(p2) mov r4 = 4 | |
rfi | |
.pred.rel.mutex p1, p2 | |
(p3) cmp.eq p2, p3 = r1, r2;; | |
(p1) mov r4 = 2 | |
(p2) mov r4 = 4 | |
rfi |