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