blob: 8704b27431526f077278f155c710b66bd3dd6d89 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
//
// 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:
|