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