1 // RUN: %clang_cc1 -Wall -Werror -triple thumbv8-linux-gnueabi -fno-signed-char -emit-llvm -o - %s | opt -S -mem2reg | FileCheck %s
2 // RUN: %clang_cc1 -Wall -Werror -triple arm64-apple-ios7.0 -emit-llvm -o - %s | opt -S -mem2reg | FileCheck %s --check-prefix=CHECK-ARM64
3
4
5 struct Simple {
6 char a, b;
7 };
8
test_ldrex(char * addr,long long * addr64,float * addrfloat)9 int test_ldrex(char *addr, long long *addr64, float *addrfloat) {
10 // CHECK-LABEL: @test_ldrex
11 // CHECK-ARM64-LABEL: @test_ldrex
12 int sum = 0;
13 sum += __builtin_arm_ldrex(addr);
14 // CHECK: [[INTRES:%.*]] = call i32 @llvm.arm.ldrex.p0i8(i8* %addr)
15 // CHECK: trunc i32 [[INTRES]] to i8
16
17 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldxr.p0i8(i8* %addr)
18 // CHECK-ARM64: trunc i64 [[INTRES]] to i8
19
20 sum += __builtin_arm_ldrex((short *)addr);
21 // CHECK: [[ADDR16:%.*]] = bitcast i8* %addr to i16*
22 // CHECK: [[INTRES:%.*]] = call i32 @llvm.arm.ldrex.p0i16(i16* [[ADDR16]])
23 // CHECK: trunc i32 [[INTRES]] to i16
24
25 // CHECK-ARM64: [[ADDR16:%.*]] = bitcast i8* %addr to i16*
26 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldxr.p0i16(i16* [[ADDR16]])
27 // CHECK-ARM64: trunc i64 [[INTRES]] to i16
28
29 sum += __builtin_arm_ldrex((int *)addr);
30 // CHECK: [[ADDR32:%.*]] = bitcast i8* %addr to i32*
31 // CHECK: call i32 @llvm.arm.ldrex.p0i32(i32* [[ADDR32]])
32
33 // CHECK-ARM64: [[ADDR32:%.*]] = bitcast i8* %addr to i32*
34 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldxr.p0i32(i32* [[ADDR32]])
35 // CHECK-ARM64: trunc i64 [[INTRES]] to i32
36
37 sum += __builtin_arm_ldrex((long long *)addr);
38 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to i64*
39 // CHECK: [[TMP5:%.*]] = bitcast i64* [[TMP4]] to i8*
40 // CHECK: call { i32, i32 } @llvm.arm.ldrexd(i8* [[TMP5]])
41
42 // CHECK-ARM64: [[ADDR64:%.*]] = bitcast i8* %addr to i64*
43 // CHECK-ARM64: call i64 @llvm.aarch64.ldxr.p0i64(i64* [[ADDR64]])
44
45 sum += __builtin_arm_ldrex(addr64);
46 // CHECK: [[ADDR64_AS8:%.*]] = bitcast i64* %addr64 to i8*
47 // CHECK: call { i32, i32 } @llvm.arm.ldrexd(i8* [[ADDR64_AS8]])
48
49 // CHECK-ARM64: call i64 @llvm.aarch64.ldxr.p0i64(i64* %addr64)
50
51 sum += __builtin_arm_ldrex(addrfloat);
52 // CHECK: [[INTADDR:%.*]] = bitcast float* %addrfloat to i32*
53 // CHECK: [[INTRES:%.*]] = call i32 @llvm.arm.ldrex.p0i32(i32* [[INTADDR]])
54 // CHECK: bitcast i32 [[INTRES]] to float
55
56 // CHECK-ARM64: [[INTADDR:%.*]] = bitcast float* %addrfloat to i32*
57 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldxr.p0i32(i32* [[INTADDR]])
58 // CHECK-ARM64: [[TRUNCRES:%.*]] = trunc i64 [[INTRES]] to i32
59 // CHECK-ARM64: bitcast i32 [[TRUNCRES]] to float
60
61 sum += __builtin_arm_ldrex((double *)addr);
62 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to double*
63 // CHECK: [[TMP5:%.*]] = bitcast double* [[TMP4]] to i8*
64 // CHECK: [[STRUCTRES:%.*]] = call { i32, i32 } @llvm.arm.ldrexd(i8* [[TMP5]])
65 // CHECK: [[RESHI:%.*]] = extractvalue { i32, i32 } [[STRUCTRES]], 1
66 // CHECK: [[RESLO:%.*]] = extractvalue { i32, i32 } [[STRUCTRES]], 0
67 // CHECK: [[RESHI64:%.*]] = zext i32 [[RESHI]] to i64
68 // CHECK: [[RESLO64:%.*]] = zext i32 [[RESLO]] to i64
69 // CHECK: [[RESHIHI:%.*]] = shl nuw i64 [[RESHI64]], 32
70 // CHECK: [[INTRES:%.*]] = or i64 [[RESHIHI]], [[RESLO64]]
71 // CHECK: bitcast i64 [[INTRES]] to double
72
73 // CHECK-ARM64: [[TMP4:%.*]] = bitcast i8* %addr to double*
74 // CHECK-ARM64: [[TMP5:%.*]] = bitcast double* [[TMP4]] to i64*
75 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldxr.p0i64(i64* [[TMP5]])
76 // CHECK-ARM64: bitcast i64 [[INTRES]] to double
77
78 sum += *__builtin_arm_ldrex((int **)addr);
79 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to i32**
80 // CHECK: [[TMP5:%.*]] = bitcast i32** [[TMP4]] to i32*
81 // CHECK: [[INTRES:%.*]] = call i32 @llvm.arm.ldrex.p0i32(i32* [[TMP5]])
82 // CHECK: inttoptr i32 [[INTRES]] to i32*
83
84 // CHECK-ARM64: [[TMP4:%.*]] = bitcast i8* %addr to i32**
85 // CHECK-ARM64: [[TMP5:%.*]] = bitcast i32** [[TMP4]] to i64*
86 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldxr.p0i64(i64* [[TMP5]])
87 // CHECK-ARM64: inttoptr i64 [[INTRES]] to i32*
88
89 sum += __builtin_arm_ldrex((struct Simple **)addr)->a;
90 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to %struct.Simple**
91 // CHECK: [[TMP5:%.*]] = bitcast %struct.Simple** [[TMP4]] to i32*
92 // CHECK: [[INTRES:%.*]] = call i32 @llvm.arm.ldrex.p0i32(i32* [[TMP5]])
93 // CHECK: inttoptr i32 [[INTRES]] to %struct.Simple*
94
95 // CHECK-ARM64: [[TMP4:%.*]] = bitcast i8* %addr to %struct.Simple**
96 // CHECK-ARM64: [[TMP5:%.*]] = bitcast %struct.Simple** [[TMP4]] to i64*
97 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldxr.p0i64(i64* [[TMP5]])
98 // CHECK-ARM64: inttoptr i64 [[INTRES]] to %struct.Simple*
99 return sum;
100 }
101
test_ldaex(char * addr,long long * addr64,float * addrfloat)102 int test_ldaex(char *addr, long long *addr64, float *addrfloat) {
103 // CHECK-LABEL: @test_ldaex
104 // CHECK-ARM64-LABEL: @test_ldaex
105 int sum = 0;
106 sum += __builtin_arm_ldaex(addr);
107 // CHECK: [[INTRES:%.*]] = call i32 @llvm.arm.ldaex.p0i8(i8* %addr)
108 // CHECK: trunc i32 [[INTRES]] to i8
109
110 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldaxr.p0i8(i8* %addr)
111 // CHECK-ARM64: trunc i64 [[INTRES]] to i8
112
113 sum += __builtin_arm_ldaex((short *)addr);
114 // CHECK: [[ADDR16:%.*]] = bitcast i8* %addr to i16*
115 // CHECK: [[INTRES:%.*]] = call i32 @llvm.arm.ldaex.p0i16(i16* [[ADDR16]])
116 // CHECK: trunc i32 [[INTRES]] to i16
117
118 // CHECK-ARM64: [[ADDR16:%.*]] = bitcast i8* %addr to i16*
119 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldaxr.p0i16(i16* [[ADDR16]])
120 // CHECK-ARM64: [[TRUNCRES:%.*]] = trunc i64 [[INTRES]] to i16
121
122 sum += __builtin_arm_ldaex((int *)addr);
123 // CHECK: [[ADDR32:%.*]] = bitcast i8* %addr to i32*
124 // CHECK: call i32 @llvm.arm.ldaex.p0i32(i32* [[ADDR32]])
125
126 // CHECK-ARM64: [[ADDR32:%.*]] = bitcast i8* %addr to i32*
127 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldaxr.p0i32(i32* [[ADDR32]])
128 // CHECK-ARM64: trunc i64 [[INTRES]] to i32
129
130 sum += __builtin_arm_ldaex((long long *)addr);
131 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to i64*
132 // CHECK: [[TMP5:%.*]] = bitcast i64* [[TMP4]] to i8*
133 // CHECK: call { i32, i32 } @llvm.arm.ldaexd(i8* [[TMP5]])
134
135 // CHECK-ARM64: [[ADDR64:%.*]] = bitcast i8* %addr to i64*
136 // CHECK-ARM64: call i64 @llvm.aarch64.ldaxr.p0i64(i64* [[ADDR64]])
137
138 sum += __builtin_arm_ldaex(addr64);
139 // CHECK: [[ADDR64_AS8:%.*]] = bitcast i64* %addr64 to i8*
140 // CHECK: call { i32, i32 } @llvm.arm.ldaexd(i8* [[ADDR64_AS8]])
141
142 // CHECK-ARM64: call i64 @llvm.aarch64.ldaxr.p0i64(i64* %addr64)
143
144 sum += __builtin_arm_ldaex(addrfloat);
145 // CHECK: [[INTADDR:%.*]] = bitcast float* %addrfloat to i32*
146 // CHECK: [[INTRES:%.*]] = call i32 @llvm.arm.ldaex.p0i32(i32* [[INTADDR]])
147 // CHECK: bitcast i32 [[INTRES]] to float
148
149 // CHECK-ARM64: [[INTADDR:%.*]] = bitcast float* %addrfloat to i32*
150 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldaxr.p0i32(i32* [[INTADDR]])
151 // CHECK-ARM64: [[TRUNCRES:%.*]] = trunc i64 [[INTRES]] to i32
152 // CHECK-ARM64: bitcast i32 [[TRUNCRES]] to float
153
154 sum += __builtin_arm_ldaex((double *)addr);
155 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to double*
156 // CHECK: [[TMP5:%.*]] = bitcast double* [[TMP4]] to i8*
157 // CHECK: [[STRUCTRES:%.*]] = call { i32, i32 } @llvm.arm.ldaexd(i8* [[TMP5]])
158 // CHECK: [[RESHI:%.*]] = extractvalue { i32, i32 } [[STRUCTRES]], 1
159 // CHECK: [[RESLO:%.*]] = extractvalue { i32, i32 } [[STRUCTRES]], 0
160 // CHECK: [[RESHI64:%.*]] = zext i32 [[RESHI]] to i64
161 // CHECK: [[RESLO64:%.*]] = zext i32 [[RESLO]] to i64
162 // CHECK: [[RESHIHI:%.*]] = shl nuw i64 [[RESHI64]], 32
163 // CHECK: [[INTRES:%.*]] = or i64 [[RESHIHI]], [[RESLO64]]
164 // CHECK: bitcast i64 [[INTRES]] to double
165
166 // CHECK-ARM64: [[TMP4:%.*]] = bitcast i8* %addr to double*
167 // CHECK-ARM64: [[TMP5:%.*]] = bitcast double* [[TMP4]] to i64*
168 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldaxr.p0i64(i64* [[TMP5]])
169 // CHECK-ARM64: bitcast i64 [[INTRES]] to double
170
171 sum += *__builtin_arm_ldaex((int **)addr);
172 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to i32**
173 // CHECK: [[TMP5:%.*]] = bitcast i32** [[TMP4]] to i32*
174 // CHECK: [[INTRES:%.*]] = call i32 @llvm.arm.ldaex.p0i32(i32* [[TMP5]])
175 // CHECK: inttoptr i32 [[INTRES]] to i32*
176
177 // CHECK-ARM64: [[TMP4:%.*]] = bitcast i8* %addr to i32**
178 // CHECK-ARM64: [[TMP5:%.*]] = bitcast i32** [[TMP4]] to i64*
179 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldaxr.p0i64(i64* [[TMP5]])
180 // CHECK-ARM64: inttoptr i64 [[INTRES]] to i32*
181
182 sum += __builtin_arm_ldaex((struct Simple **)addr)->a;
183 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to %struct.Simple**
184 // CHECK: [[TMP5:%.*]] = bitcast %struct.Simple** [[TMP4]] to i32*
185 // CHECK: [[INTRES:%.*]] = call i32 @llvm.arm.ldaex.p0i32(i32* [[TMP5]])
186 // CHECK: inttoptr i32 [[INTRES]] to %struct.Simple*
187
188 // CHECK-ARM64: [[TMP4:%.*]] = bitcast i8* %addr to %struct.Simple**
189 // CHECK-ARM64: [[TMP5:%.*]] = bitcast %struct.Simple** [[TMP4]] to i64*
190 // CHECK-ARM64: [[INTRES:%.*]] = call i64 @llvm.aarch64.ldaxr.p0i64(i64* [[TMP5]])
191 // CHECK-ARM64: inttoptr i64 [[INTRES]] to %struct.Simple*
192 return sum;
193 }
194
test_strex(char * addr)195 int test_strex(char *addr) {
196 // CHECK-LABEL: @test_strex
197 // CHECK-ARM64-LABEL: @test_strex
198 int res = 0;
199 struct Simple var = {0};
200 res |= __builtin_arm_strex(4, addr);
201 // CHECK: call i32 @llvm.arm.strex.p0i8(i32 4, i8* %addr)
202
203 // CHECK-ARM64: call i32 @llvm.aarch64.stxr.p0i8(i64 4, i8* %addr)
204
205 res |= __builtin_arm_strex(42, (short *)addr);
206 // CHECK: [[ADDR16:%.*]] = bitcast i8* %addr to i16*
207 // CHECK: call i32 @llvm.arm.strex.p0i16(i32 42, i16* [[ADDR16]])
208
209 // CHECK-ARM64: [[ADDR16:%.*]] = bitcast i8* %addr to i16*
210 // CHECK-ARM64: call i32 @llvm.aarch64.stxr.p0i16(i64 42, i16* [[ADDR16]])
211
212 res |= __builtin_arm_strex(42, (int *)addr);
213 // CHECK: [[ADDR32:%.*]] = bitcast i8* %addr to i32*
214 // CHECK: call i32 @llvm.arm.strex.p0i32(i32 42, i32* [[ADDR32]])
215
216 // CHECK-ARM64: [[ADDR32:%.*]] = bitcast i8* %addr to i32*
217 // CHECK-ARM64: call i32 @llvm.aarch64.stxr.p0i32(i64 42, i32* [[ADDR32]])
218
219 res |= __builtin_arm_strex(42, (long long *)addr);
220 // CHECK: store i64 42, i64* [[TMP:%.*]], align 8
221 // CHECK: [[LOHI_ADDR:%.*]] = bitcast i64* [[TMP]] to { i32, i32 }*
222 // CHECK: [[LOHI:%.*]] = load { i32, i32 }, { i32, i32 }* [[LOHI_ADDR]]
223 // CHECK: [[LO:%.*]] = extractvalue { i32, i32 } [[LOHI]], 0
224 // CHECK: [[HI:%.*]] = extractvalue { i32, i32 } [[LOHI]], 1
225 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to i64*
226 // CHECK: [[TMP5:%.*]] = bitcast i64* [[TMP4]] to i8*
227 // CHECK: call i32 @llvm.arm.strexd(i32 [[LO]], i32 [[HI]], i8* [[TMP5]])
228
229 // CHECK-ARM64: [[ADDR64:%.*]] = bitcast i8* %addr to i64*
230 // CHECK-ARM64: call i32 @llvm.aarch64.stxr.p0i64(i64 42, i64* [[ADDR64]])
231
232 res |= __builtin_arm_strex(2.71828f, (float *)addr);
233 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to float*
234 // CHECK: [[TMP5:%.*]] = bitcast float* [[TMP4]] to i32*
235 // CHECK: call i32 @llvm.arm.strex.p0i32(i32 1076754509, i32* [[TMP5]])
236
237 // CHECK-ARM64: [[TMP4:%.*]] = bitcast i8* %addr to float*
238 // CHECK-ARM64: [[TMP5:%.*]] = bitcast float* [[TMP4]] to i32*
239 // CHECK-ARM64: call i32 @llvm.aarch64.stxr.p0i32(i64 1076754509, i32* [[TMP5]])
240
241 res |= __builtin_arm_strex(3.14159, (double *)addr);
242 // CHECK: store double 3.141590e+00, double* [[TMP:%.*]], align 8
243 // CHECK: [[LOHI_ADDR:%.*]] = bitcast double* [[TMP]] to { i32, i32 }*
244 // CHECK: [[LOHI:%.*]] = load { i32, i32 }, { i32, i32 }* [[LOHI_ADDR]]
245 // CHECK: [[LO:%.*]] = extractvalue { i32, i32 } [[LOHI]], 0
246 // CHECK: [[HI:%.*]] = extractvalue { i32, i32 } [[LOHI]], 1
247 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to double*
248 // CHECK: [[TMP5:%.*]] = bitcast double* [[TMP4]] to i8*
249 // CHECK: call i32 @llvm.arm.strexd(i32 [[LO]], i32 [[HI]], i8* [[TMP5]])
250
251 // CHECK-ARM64: [[TMP4:%.*]] = bitcast i8* %addr to double*
252 // CHECK-ARM64: [[TMP5:%.*]] = bitcast double* [[TMP4]] to i64*
253 // CHECK-ARM64: call i32 @llvm.aarch64.stxr.p0i64(i64 4614256650576692846, i64* [[TMP5]])
254
255 res |= __builtin_arm_strex(&var, (struct Simple **)addr);
256 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to %struct.Simple**
257 // CHECK: [[TMP5:%.*]] = bitcast %struct.Simple** [[TMP4]] to i32*
258 // CHECK: [[INTVAL:%.*]] = ptrtoint %struct.Simple* %var to i32
259 // CHECK: call i32 @llvm.arm.strex.p0i32(i32 [[INTVAL]], i32* [[TMP5]])
260
261 // CHECK-ARM64: [[TMP4:%.*]] = bitcast i8* %addr to %struct.Simple**
262 // CHECK-ARM64: [[TMP5:%.*]] = bitcast %struct.Simple** [[TMP4]] to i64*
263 // CHECK-ARM64: [[INTVAL:%.*]] = ptrtoint %struct.Simple* %var to i64
264 // CHECK-ARM64: call i32 @llvm.aarch64.stxr.p0i64(i64 [[INTVAL]], i64* [[TMP5]])
265
266 return res;
267 }
268
test_stlex(char * addr)269 int test_stlex(char *addr) {
270 // CHECK-LABEL: @test_stlex
271 // CHECK-ARM64-LABEL: @test_stlex
272 int res = 0;
273 struct Simple var = {0};
274 res |= __builtin_arm_stlex(4, addr);
275 // CHECK: call i32 @llvm.arm.stlex.p0i8(i32 4, i8* %addr)
276
277 // CHECK-ARM64: call i32 @llvm.aarch64.stlxr.p0i8(i64 4, i8* %addr)
278
279 res |= __builtin_arm_stlex(42, (short *)addr);
280 // CHECK: [[ADDR16:%.*]] = bitcast i8* %addr to i16*
281 // CHECK: call i32 @llvm.arm.stlex.p0i16(i32 42, i16* [[ADDR16]])
282
283 // CHECK-ARM64: [[ADDR16:%.*]] = bitcast i8* %addr to i16*
284 // CHECK-ARM64: call i32 @llvm.aarch64.stlxr.p0i16(i64 42, i16* [[ADDR16]])
285
286 res |= __builtin_arm_stlex(42, (int *)addr);
287 // CHECK: [[ADDR32:%.*]] = bitcast i8* %addr to i32*
288 // CHECK: call i32 @llvm.arm.stlex.p0i32(i32 42, i32* [[ADDR32]])
289
290 // CHECK-ARM64: [[ADDR32:%.*]] = bitcast i8* %addr to i32*
291 // CHECK-ARM64: call i32 @llvm.aarch64.stlxr.p0i32(i64 42, i32* [[ADDR32]])
292
293 res |= __builtin_arm_stlex(42, (long long *)addr);
294 // CHECK: store i64 42, i64* [[TMP:%.*]], align 8
295 // CHECK: [[LOHI_ADDR:%.*]] = bitcast i64* [[TMP]] to { i32, i32 }*
296 // CHECK: [[LOHI:%.*]] = load { i32, i32 }, { i32, i32 }* [[LOHI_ADDR]]
297 // CHECK: [[LO:%.*]] = extractvalue { i32, i32 } [[LOHI]], 0
298 // CHECK: [[HI:%.*]] = extractvalue { i32, i32 } [[LOHI]], 1
299 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to i64*
300 // CHECK: [[TMP5:%.*]] = bitcast i64* [[TMP4]] to i8*
301 // CHECK: call i32 @llvm.arm.stlexd(i32 [[LO]], i32 [[HI]], i8* [[TMP5]])
302
303 // CHECK-ARM64: [[ADDR64:%.*]] = bitcast i8* %addr to i64*
304 // CHECK-ARM64: call i32 @llvm.aarch64.stlxr.p0i64(i64 42, i64* [[ADDR64]])
305
306 res |= __builtin_arm_stlex(2.71828f, (float *)addr);
307 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to float*
308 // CHECK: [[TMP5:%.*]] = bitcast float* [[TMP4]] to i32*
309 // CHECK: call i32 @llvm.arm.stlex.p0i32(i32 1076754509, i32* [[TMP5]])
310
311 // CHECK-ARM64: [[TMP4:%.*]] = bitcast i8* %addr to float*
312 // CHECK-ARM64: [[TMP5:%.*]] = bitcast float* [[TMP4]] to i32*
313 // CHECK-ARM64: call i32 @llvm.aarch64.stlxr.p0i32(i64 1076754509, i32* [[TMP5]])
314
315 res |= __builtin_arm_stlex(3.14159, (double *)addr);
316 // CHECK: store double 3.141590e+00, double* [[TMP:%.*]], align 8
317 // CHECK: [[LOHI_ADDR:%.*]] = bitcast double* [[TMP]] to { i32, i32 }*
318 // CHECK: [[LOHI:%.*]] = load { i32, i32 }, { i32, i32 }* [[LOHI_ADDR]]
319 // CHECK: [[LO:%.*]] = extractvalue { i32, i32 } [[LOHI]], 0
320 // CHECK: [[HI:%.*]] = extractvalue { i32, i32 } [[LOHI]], 1
321 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to double*
322 // CHECK: [[TMP5:%.*]] = bitcast double* [[TMP4]] to i8*
323 // CHECK: call i32 @llvm.arm.stlexd(i32 [[LO]], i32 [[HI]], i8* [[TMP5]])
324
325 // CHECK-ARM64: [[TMP4:%.*]] = bitcast i8* %addr to double*
326 // CHECK-ARM64: [[TMP5:%.*]] = bitcast double* [[TMP4]] to i64*
327 // CHECK-ARM64: call i32 @llvm.aarch64.stlxr.p0i64(i64 4614256650576692846, i64* [[TMP5]])
328
329 res |= __builtin_arm_stlex(&var, (struct Simple **)addr);
330 // CHECK: [[TMP4:%.*]] = bitcast i8* %addr to %struct.Simple**
331 // CHECK: [[TMP5:%.*]] = bitcast %struct.Simple** [[TMP4]] to i32*
332 // CHECK: [[INTVAL:%.*]] = ptrtoint %struct.Simple* %var to i32
333 // CHECK: call i32 @llvm.arm.stlex.p0i32(i32 [[INTVAL]], i32* [[TMP5]])
334
335 // CHECK-ARM64: [[TMP4:%.*]] = bitcast i8* %addr to %struct.Simple**
336 // CHECK-ARM64: [[TMP5:%.*]] = bitcast %struct.Simple** [[TMP4]] to i64*
337 // CHECK-ARM64: [[INTVAL:%.*]] = ptrtoint %struct.Simple* %var to i64
338 // CHECK-ARM64: call i32 @llvm.aarch64.stlxr.p0i64(i64 [[INTVAL]], i64* [[TMP5]])
339
340 return res;
341 }
342
test_clrex()343 void test_clrex() {
344 // CHECK-LABEL: @test_clrex
345 // CHECK-ARM64-LABEL: @test_clrex
346
347 __builtin_arm_clrex();
348 // CHECK: call void @llvm.arm.clrex()
349 // CHECK-ARM64: call void @llvm.aarch64.clrex()
350 }
351
352 #ifdef __aarch64__
353 // 128-bit tests
354
test_ldrex_128(__int128 * addr)355 __int128 test_ldrex_128(__int128 *addr) {
356 // CHECK-ARM64-LABEL: @test_ldrex_128
357
358 return __builtin_arm_ldrex(addr);
359 // CHECK-ARM64: [[ADDR8:%.*]] = bitcast i128* %addr to i8*
360 // CHECK-ARM64: [[STRUCTRES:%.*]] = call { i64, i64 } @llvm.aarch64.ldxp(i8* [[ADDR8]])
361 // CHECK-ARM64: [[RESHI:%.*]] = extractvalue { i64, i64 } [[STRUCTRES]], 1
362 // CHECK-ARM64: [[RESLO:%.*]] = extractvalue { i64, i64 } [[STRUCTRES]], 0
363 // CHECK-ARM64: [[RESHI64:%.*]] = zext i64 [[RESHI]] to i128
364 // CHECK-ARM64: [[RESLO64:%.*]] = zext i64 [[RESLO]] to i128
365 // CHECK-ARM64: [[RESHIHI:%.*]] = shl nuw i128 [[RESHI64]], 64
366 // CHECK-ARM64: [[INTRES:%.*]] = or i128 [[RESHIHI]], [[RESLO64]]
367 // CHECK-ARM64: ret i128 [[INTRES]]
368 }
369
test_strex_128(__int128 * addr,__int128 val)370 int test_strex_128(__int128 *addr, __int128 val) {
371 // CHECK-ARM64-LABEL: @test_strex_128
372
373 return __builtin_arm_strex(val, addr);
374 // CHECK-ARM64: store i128 %val, i128* [[TMP:%.*]], align 16
375 // CHECK-ARM64: [[LOHI_ADDR:%.*]] = bitcast i128* [[TMP]] to { i64, i64 }*
376 // CHECK-ARM64: [[LOHI:%.*]] = load { i64, i64 }, { i64, i64 }* [[LOHI_ADDR]]
377 // CHECK-ARM64: [[LO:%.*]] = extractvalue { i64, i64 } [[LOHI]], 0
378 // CHECK-ARM64: [[HI:%.*]] = extractvalue { i64, i64 } [[LOHI]], 1
379 // CHECK-ARM64: [[ADDR8:%.*]] = bitcast i128* %addr to i8*
380 // CHECK-ARM64: call i32 @llvm.aarch64.stxp(i64 [[LO]], i64 [[HI]], i8* [[ADDR8]])
381 }
382
test_ldaex_128(__int128 * addr)383 __int128 test_ldaex_128(__int128 *addr) {
384 // CHECK-ARM64-LABEL: @test_ldaex_128
385
386 return __builtin_arm_ldaex(addr);
387 // CHECK-ARM64: [[ADDR8:%.*]] = bitcast i128* %addr to i8*
388 // CHECK-ARM64: [[STRUCTRES:%.*]] = call { i64, i64 } @llvm.aarch64.ldaxp(i8* [[ADDR8]])
389 // CHECK-ARM64: [[RESHI:%.*]] = extractvalue { i64, i64 } [[STRUCTRES]], 1
390 // CHECK-ARM64: [[RESLO:%.*]] = extractvalue { i64, i64 } [[STRUCTRES]], 0
391 // CHECK-ARM64: [[RESHI64:%.*]] = zext i64 [[RESHI]] to i128
392 // CHECK-ARM64: [[RESLO64:%.*]] = zext i64 [[RESLO]] to i128
393 // CHECK-ARM64: [[RESHIHI:%.*]] = shl nuw i128 [[RESHI64]], 64
394 // CHECK-ARM64: [[INTRES:%.*]] = or i128 [[RESHIHI]], [[RESLO64]]
395 // CHECK-ARM64: ret i128 [[INTRES]]
396 }
397
test_stlex_128(__int128 * addr,__int128 val)398 int test_stlex_128(__int128 *addr, __int128 val) {
399 // CHECK-ARM64-LABEL: @test_stlex_128
400
401 return __builtin_arm_stlex(val, addr);
402 // CHECK-ARM64: store i128 %val, i128* [[TMP:%.*]], align 16
403 // CHECK-ARM64: [[LOHI_ADDR:%.*]] = bitcast i128* [[TMP]] to { i64, i64 }*
404 // CHECK-ARM64: [[LOHI:%.*]] = load { i64, i64 }, { i64, i64 }* [[LOHI_ADDR]]
405 // CHECK-ARM64: [[LO:%.*]] = extractvalue { i64, i64 } [[LOHI]], 0
406 // CHECK-ARM64: [[HI:%.*]] = extractvalue { i64, i64 } [[LOHI]], 1
407 // CHECK-ARM64: [[ADDR8:%.*]] = bitcast i128* %addr to i8*
408 // CHECK-ARM64: [[RES:%.*]] = call i32 @llvm.aarch64.stlxp(i64 [[LO]], i64 [[HI]], i8* [[ADDR8]])
409 }
410
411 #endif
412