| // | |
| // Test mutex relation handling | |
| // | |
| .text | |
| start: | |
| // user annotation | |
| .pred.rel.mutex p1, p2, p3 | |
| (p1) mov r4 = 2 | |
| (p2) mov r4 = 5 | |
| (p3) mov r4 = 7 | |
| rfi | |
| // non-predicated compares generate a mutex | |
| cmp.eq p1, p2 = r1, r2;; | |
| (p1) mov r4 = 2 | |
| (p2) mov r4 = 4 | |
| rfi | |
| // unconditional compares generate a mutex | |
| (p3) cmp.eq.unc p1, p2 = r1, r2 | |
| (p1) mov r4 = 2 | |
| (p2) mov r4 = 4 | |
| rfi | |
| L: |