Mercurial > hg > Members > tobaru > cbc > CbC_llvm

annotate test/CodeGen/ARM/cmpxchg-idioms.ll @ 128:c347d3398279 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix
author mir3636
date Wed, 06 Dec 2017 14:37:17 +0900
parents 1172e4bd9c6f
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 ; RUN: llc -mtriple=thumbv7s-apple-ios7.0 -o - %s | FileCheck %s
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 define i32 @test_return(i32* %p, i32 %oldval, i32 %newval) {
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 ; CHECK-LABEL: test_return:
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 ; CHECK: ldrex [[LOADED:r[0-9]+]], [r0]
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 ; CHECK: cmp [[LOADED]], r1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 ; CHECK: bne [[FAILED:LBB[0-9]+_[0-9]+]]
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
10 ; CHECK: dmb ishst
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
11
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
12 ; CHECK: [[LOOP:LBB[0-9]+_[0-9]+]]:
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 ; CHECK: strex [[STATUS:r[0-9]+]], {{r[0-9]+}}, [r0]
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
14 ; CHECK: cbz [[STATUS]], [[SUCCESS:LBB[0-9]+_[0-9]+]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
15
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
16 ; CHECK: ldrex [[LOADED]], [r0]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
17 ; CHECK: cmp [[LOADED]], r1
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
18 ; CHECK: beq [[LOOP]]
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
20 ; CHECK: [[FAILED]]:
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
21 ; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
22 ; CHECK: clrex
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
23 ; CHECK: dmb ish
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
24 ; CHECK: movs r0, #0
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
25 ; CHECK: bx lr
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
26
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
27 ; CHECK: [[SUCCESS]]:
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 ; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
29 ; CHECK: dmb ish
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 ; CHECK: movs r0, #1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 ; CHECK: bx lr
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 %pair = cmpxchg i32* %p, i32 %oldval, i32 %newval seq_cst seq_cst
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 %success = extractvalue { i32, i1 } %pair, 1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 %conv = zext i1 %success to i32
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 ret i32 %conv
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 define i1 @test_return_bool(i8* %value, i8 %oldValue, i8 %newValue) {
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 ; CHECK-LABEL: test_return_bool:
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 ; CHECK: uxtb [[OLDBYTE:r[0-9]+]], r1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 ; CHECK: ldrexb [[LOADED:r[0-9]+]], [r0]
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 ; CHECK: cmp [[LOADED]], [[OLDBYTE]]
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 ; CHECK: bne [[FAIL:LBB[0-9]+_[0-9]+]]
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
48 ; CHECK: dmb ishst
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
49
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
50 ; CHECK: [[LOOP:LBB[0-9]+_[0-9]+]]:
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 ; CHECK: strexb [[STATUS:r[0-9]+]], {{r[0-9]+}}, [r0]
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
52 ; CHECK: cbz [[STATUS]], [[SUCCESS:LBB[0-9]+_[0-9]+]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
53
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
54 ; CHECK: ldrexb [[LOADED]], [r0]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
55 ; CHECK: cmp [[LOADED]], [[OLDBYTE]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
56 ; CHECK: beq [[LOOP]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
57
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 ; FIXME: this eor is redundant. Need to teach DAG combine that.
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
60 ; CHECK: [[FAIL]]:
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
61 ; CHECK: clrex
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
62 ; CHECK: movs [[TMP:r[0-9]+]], #0
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 ; CHECK: eor r0, [[TMP]], #1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 ; CHECK: bx lr
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
66 ; CHECK: [[SUCCESS]]:
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
67 ; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
68 ; CHECK: movs [[TMP:r[0-9]+]], #1
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 ; CHECK: eor r0, [[TMP]], #1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 ; CHECK: bx lr
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 %pair = cmpxchg i8* %value, i8 %oldValue, i8 %newValue acq_rel monotonic
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74 %success = extractvalue { i8, i1 } %pair, 1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 %failure = xor i1 %success, 1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 ret i1 %failure
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79 define void @test_conditional(i32* %p, i32 %oldval, i32 %newval) {
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 ; CHECK-LABEL: test_conditional:
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
81
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82 ; CHECK: ldrex [[LOADED:r[0-9]+]], [r0]
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 ; CHECK: cmp [[LOADED]], r1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 ; CHECK: bne [[FAILED:LBB[0-9]+_[0-9]+]]
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
86 ; CHECK: dmb ishst
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
87
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
88 ; CHECK: [[LOOP:LBB[0-9]+_[0-9]+]]:
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
89 ; CHECK: strex [[STATUS:r[0-9]+]], r2, [r0]
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
90 ; CHECK: cbz [[STATUS]], [[SUCCESS:LBB[0-9]+_[0-9]+]]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
91
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
92 ; CHECK: ldrex [[LOADED]], [r0]
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
93 ; CHECK: cmp [[LOADED]], r1
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
94 ; CHECK: beq [[LOOP]]
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
95
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
96 ; CHECK: [[FAILED]]:
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
97 ; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
98 ; CHECK: clrex
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
99 ; CHECK: dmb ish
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
100 ; CHECK: b.w _baz
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
101
1172e4bd9c6f update 4.0.0
mir3636
parents: 95
diff changeset
102 ; CHECK: [[SUCCESS]]:
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
103 ; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
104 ; CHECK: dmb ish
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 ; CHECK: b.w _bar
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
106
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 %pair = cmpxchg i32* %p, i32 %oldval, i32 %newval seq_cst seq_cst
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
108 %success = extractvalue { i32, i1 } %pair, 1
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
109 br i1 %success, label %true, label %false
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
110
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 true:
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 tail call void @bar() #2
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 br label %end
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
114
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 false:
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
116 tail call void @baz() #2
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
117 br label %end
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
118
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
119 end:
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
120 ret void
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
121 }
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
122
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
123 declare void @bar()
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
124 declare void @baz()