Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 91be65be656072a68b51a8c4e7bb751ea475d896 / . / llvm / test / CodeGen / ARM / cmpxchg-idioms.ll
blob: 283202f0cc1f693301df43cc2964b213a95a27e0 [file] [log] [blame]
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]1; RUN: llc -mtriple=thumbv7s-apple-ios7.0 -o - %s | FileCheck %s
2
3define i32 @test_return(i32* %p, i32 %oldval, i32 %newval) {
4; CHECK-LABEL: test_return:
5
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]6; CHECK: ldrex [[LOADED:r[0-9]+]], [r0]
7; CHECK: cmp [[LOADED]], r1
8; CHECK: bne [[FAILED:LBB[0-9]+_[0-9]+]]
9
Tim Northoverd32f8e62016-02-22 20:55:50 +0000[diff] [blame]10; CHECK: dmb ishst
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]11
Tim Northoverd32f8e62016-02-22 20:55:50 +0000[diff] [blame]12; CHECK: [[LOOP:LBB[0-9]+_[0-9]+]]:
13; CHECK: strex [[STATUS:r[0-9]+]], {{r[0-9]+}}, [r0]
14; CHECK: cbz [[STATUS]], [[SUCCESS:LBB[0-9]+_[0-9]+]]
15
16; CHECK: ldrex [[LOADED]], [r0]
17; CHECK: cmp [[LOADED]], r1
18; CHECK: beq [[LOOP]]
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]19
20; CHECK: [[FAILED]]:
21; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
Tim Northoverd32f8e62016-02-22 20:55:50 +0000[diff] [blame]22; CHECK: clrex
Adam Nemet5a6d5bc2015-07-17 18:14:19 +0000[diff] [blame]23; CHECK: dmb ish
Matthias Braun9e859802015-07-17 23:18:30 +0000[diff] [blame]24; CHECK: movs r0, #0
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]25; CHECK: bx lr
26
Tim Northoverd32f8e62016-02-22 20:55:50 +0000[diff] [blame]27; CHECK: [[SUCCESS]]:
28; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
29; CHECK: dmb ish
30; CHECK: movs r0, #1
31; CHECK: bx lr
32
Tim Northover420a2162014-06-13 14:24:07 +0000[diff] [blame]33 %pair = cmpxchg i32* %p, i32 %oldval, i32 %newval seq_cst seq_cst
34 %success = extractvalue { i32, i1 } %pair, 1
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]35 %conv = zext i1 %success to i32
36 ret i32 %conv
37}
38
39define i1 @test_return_bool(i8* %value, i8 %oldValue, i8 %newValue) {
40; CHECK-LABEL: test_return_bool:
41
Matthias Braun9e859802015-07-17 23:18:30 +0000[diff] [blame]42; CHECK: uxtb [[OLDBYTE:r[0-9]+]], r1
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]43
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]44; CHECK: ldrexb [[LOADED:r[0-9]+]], [r0]
45; CHECK: cmp [[LOADED]], [[OLDBYTE]]
Tim Northover420a2162014-06-13 14:24:07 +0000[diff] [blame]46; CHECK: bne [[FAIL:LBB[0-9]+_[0-9]+]]
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]47
Tim Northoverd32f8e62016-02-22 20:55:50 +0000[diff] [blame]48; CHECK: dmb ishst
49
50; CHECK: [[LOOP:LBB[0-9]+_[0-9]+]]:
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]51; CHECK: strexb [[STATUS:r[0-9]+]], {{r[0-9]+}}, [r0]
Tim Northoverd32f8e62016-02-22 20:55:50 +0000[diff] [blame]52; CHECK: cbz [[STATUS]], [[SUCCESS:LBB[0-9]+_[0-9]+]]
53
54; CHECK: ldrexb [[LOADED]], [r0]
55; CHECK: cmp [[LOADED]], [[OLDBYTE]]
56; CHECK: beq [[LOOP]]
57
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]58
Tim Northover420a2162014-06-13 14:24:07 +0000[diff] [blame]59 ; FIXME: this eor is redundant. Need to teach DAG combine that.
Tim Northoverd32f8e62016-02-22 20:55:50 +0000[diff] [blame]60; CHECK: [[FAIL]]:
61; CHECK: clrex
62; CHECK: movs [[TMP:r[0-9]+]], #0
Tim Northover420a2162014-06-13 14:24:07 +0000[diff] [blame]63; CHECK: eor r0, [[TMP]], #1
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]64; CHECK: bx lr
65
Tim Northoverd32f8e62016-02-22 20:55:50 +0000[diff] [blame]66; CHECK: [[SUCCESS]]:
67; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
68; CHECK: movs [[TMP:r[0-9]+]], #1
Tim Northover420a2162014-06-13 14:24:07 +0000[diff] [blame]69; CHECK: eor r0, [[TMP]], #1
70; CHECK: bx lr
71
72
73 %pair = cmpxchg i8* %value, i8 %oldValue, i8 %newValue acq_rel monotonic
74 %success = extractvalue { i8, i1 } %pair, 1
75 %failure = xor i1 %success, 1
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]76 ret i1 %failure
77}
78
79define void @test_conditional(i32* %p, i32 %oldval, i32 %newval) {
80; CHECK-LABEL: test_conditional:
81
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]82; CHECK: ldrex [[LOADED:r[0-9]+]], [r0]
83; CHECK: cmp [[LOADED]], r1
84; CHECK: bne [[FAILED:LBB[0-9]+_[0-9]+]]
85
Tim Northoverd32f8e62016-02-22 20:55:50 +0000[diff] [blame]86; CHECK: dmb ishst
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]87
Tim Northoverd32f8e62016-02-22 20:55:50 +0000[diff] [blame]88; CHECK: [[LOOP:LBB[0-9]+_[0-9]+]]:
89; CHECK: strex [[STATUS:r[0-9]+]], r2, [r0]
90; CHECK: cbz [[STATUS]], [[SUCCESS:LBB[0-9]+_[0-9]+]]
91
92; CHECK: ldrex [[LOADED]], [r0]
93; CHECK: cmp [[LOADED]], r1
94; CHECK: beq [[LOOP]]
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]95
96; CHECK: [[FAILED]]:
97; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
Tim Northoverd32f8e62016-02-22 20:55:50 +0000[diff] [blame]98; CHECK: clrex
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]99; CHECK: dmb ish
100; CHECK: b.w _baz
101
Tim Northoverd32f8e62016-02-22 20:55:50 +0000[diff] [blame]102; CHECK: [[SUCCESS]]:
103; CHECK-NOT: cmp {{r[0-9]+}}, {{r[0-9]+}}
104; CHECK: dmb ish
105; CHECK: b.w _bar
106
Tim Northover420a2162014-06-13 14:24:07 +0000[diff] [blame]107 %pair = cmpxchg i32* %p, i32 %oldval, i32 %newval seq_cst seq_cst
108 %success = extractvalue { i32, i1 } %pair, 1
Tim Northoverb4ddc082014-05-30 10:09:59 +0000[diff] [blame]109 br i1 %success, label %true, label %false
110
111true:
112 tail call void @bar() #2
113 br label %end
114
115false:
116 tail call void @baz() #2
117 br label %end
118
119end:
120 ret void
121}
122
123declare void @bar()
124declare void @baz()