1//
2// Test mutex relation handling
3//
4.text
5	.explicit
6start:
7	cmp.eq	p6, p0 = r29, r0
8	add	r26 = r26, r29
9	ld8	r29 = [r26]
10
11	.pred.rel.mutex p1, p2
12	cmp.eq p0, p1 = r1, r2;;
13(p1)	mov r4 = 2
14(p2)	mov r4 = 4
15	rfi
16
17	.pred.rel.mutex p1, p2
18(p3)	cmp.eq p0, p1 = r1, r2;;
19(p1)	mov r4 = 2
20(p2)	mov r4 = 4
21	rfi
22
23	.pred.rel.mutex p1, p2
24	cmp.eq p2, p3 = r1, r2;;
25(p1)	mov r4 = 2
26(p2)	mov r4 = 4
27	rfi
28
29	.pred.rel.mutex p1, p2
30(p3)	cmp.eq p2, p3 = r1, r2;;
31(p1)	mov r4 = 2
32(p2)	mov r4 = 4
33	rfi
34