1 // RUN: %clang_cc1 -triple armv7-apple-darwin -target-abi aapcs -emit-llvm -o - %s | FileCheck %s
2 // RUN: %clang_cc1 -triple armv7-apple-darwin -target-abi apcs-gnu -emit-llvm -o - %s | FileCheck -check-prefix=APCS-GNU %s
3 // RUN: %clang_cc1 -triple arm-linux-androideabi -emit-llvm -o - %s | FileCheck -check-prefix=ANDROID %s
4
5 #include <stdarg.h>
6
7 typedef __attribute__(( ext_vector_type(2) )) int __int2;
8 typedef __attribute__(( ext_vector_type(3) )) char __char3;
9 typedef __attribute__(( ext_vector_type(5) )) char __char5;
10 typedef __attribute__(( ext_vector_type(9) )) char __char9;
11 typedef __attribute__(( ext_vector_type(19) )) char __char19;
12 typedef __attribute__(( ext_vector_type(3) )) short __short3;
13 typedef __attribute__(( ext_vector_type(5) )) short __short5;
14
15 // Passing legal vector types as varargs.
varargs_vec_2i(int fixed,...)16 double varargs_vec_2i(int fixed, ...) {
17 // CHECK: varargs_vec_2i
18 // CHECK: [[VAR:%.*]] = alloca <2 x i32>, align 8
19 // CHECK: [[ALIGN:%.*]] = and i32 {{%.*}}, -8
20 // CHECK: [[AP_ALIGN:%.*]] = inttoptr i32 [[ALIGN]] to i8*
21 // CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP_ALIGN]], i32 8
22 // CHECK: [[AP_CAST:%.*]] = bitcast i8* [[AP_ALIGN]] to <2 x i32>*
23 // CHECK: [[VEC:%.*]] = load <2 x i32>, <2 x i32>* [[AP_CAST]], align 8
24 // CHECK: store <2 x i32> [[VEC]], <2 x i32>* [[VAR]], align 8
25 // APCS-GNU: varargs_vec_2i
26 // APCS-GNU: [[VAR:%.*]] = alloca <2 x i32>, align 8
27 // APCS-GNU: [[AP:%.*]] = load i8*,
28 // APCS-GNU: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP]], i32 8
29 // APCS-GNU: [[AP_CAST:%.*]] = bitcast i8* [[AP]] to <2 x i32>*
30 // APCS-GNU: [[VEC:%.*]] = load <2 x i32>, <2 x i32>* [[AP_CAST]], align 4
31 // APCS-GNU: store <2 x i32> [[VEC]], <2 x i32>* [[VAR]], align 8
32 // ANDROID: varargs_vec_2i
33 // ANDROID: [[VAR:%.*]] = alloca <2 x i32>, align 8
34 // ANDROID: [[ALIGN:%.*]] = and i32 {{%.*}}, -8
35 // ANDROID: [[AP_ALIGN:%.*]] = inttoptr i32 [[ALIGN]] to i8*
36 // ANDROID: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP_ALIGN]], i32 8
37 // ANDROID: [[AP_CAST:%.*]] = bitcast i8* [[AP_ALIGN]] to <2 x i32>*
38 // ANDROID: [[VEC:%.*]] = load <2 x i32>, <2 x i32>* [[AP_CAST]], align 8
39 // ANDROID: store <2 x i32> [[VEC]], <2 x i32>* [[VAR]], align 8
40 va_list ap;
41 double sum = fixed;
42 va_start(ap, fixed);
43 __int2 c3 = va_arg(ap, __int2);
44 sum = sum + c3.x + c3.y;
45 va_end(ap);
46 return sum;
47 }
48
test_2i(__int2 * in)49 double test_2i(__int2 *in) {
50 // CHECK: test_2i
51 // CHECK: call arm_aapcscc double (i32, ...) @varargs_vec_2i(i32 3, <2 x i32> {{%.*}})
52 // APCS-GNU: test_2i
53 // APCS-GNU: call double (i32, ...) @varargs_vec_2i(i32 3, <2 x i32> {{%.*}})
54 // ANDROID: test_2i
55 // ANDROID: call double (i32, ...) @varargs_vec_2i(i32 3, <2 x i32> {{%.*}})
56 return varargs_vec_2i(3, *in);
57 }
58
varargs_vec_3c(int fixed,...)59 double varargs_vec_3c(int fixed, ...) {
60 // CHECK: varargs_vec_3c
61 // CHECK: alloca <3 x i8>, align 4
62 // CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP:%.*]], i32 4
63 // CHECK: bitcast i8* [[AP]] to <3 x i8>*
64 // APCS-GNU: varargs_vec_3c
65 // APCS-GNU: alloca <3 x i8>, align 4
66 // APCS-GNU: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP:%.*]], i32 4
67 // APCS-GNU: bitcast i8* [[AP]] to <3 x i8>*
68 // ANDROID: varargs_vec_3c
69 // ANDROID: alloca <3 x i8>, align 4
70 // ANDROID: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP:%.*]], i32 4
71 // ANDROID: bitcast i8* [[AP]] to <3 x i8>*
72 va_list ap;
73 double sum = fixed;
74 va_start(ap, fixed);
75 __char3 c3 = va_arg(ap, __char3);
76 sum = sum + c3.x + c3.y;
77 va_end(ap);
78 return sum;
79 }
80
test_3c(__char3 * in)81 double test_3c(__char3 *in) {
82 // CHECK: test_3c
83 // CHECK: call arm_aapcscc double (i32, ...) @varargs_vec_3c(i32 3, i32 {{%.*}})
84 // APCS-GNU: test_3c
85 // APCS-GNU: call double (i32, ...) @varargs_vec_3c(i32 3, i32 {{%.*}})
86 // ANDROID: test_3c
87 // ANDROID: call double (i32, ...) @varargs_vec_3c(i32 3, <3 x i8> {{%.*}})
88 return varargs_vec_3c(3, *in);
89 }
90
varargs_vec_5c(int fixed,...)91 double varargs_vec_5c(int fixed, ...) {
92 // CHECK: varargs_vec_5c
93 // CHECK: [[VAR:%.*]] = alloca <5 x i8>, align 8
94 // CHECK: [[ALIGN:%.*]] = and i32 {{%.*}}, -8
95 // CHECK: [[AP_ALIGN:%.*]] = inttoptr i32 [[ALIGN]] to i8*
96 // CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP_ALIGN]], i32 8
97 // CHECK: [[AP_CAST:%.*]] = bitcast i8* [[AP_ALIGN]] to <5 x i8>*
98 // CHECK: [[VEC:%.*]] = load <5 x i8>, <5 x i8>* [[AP_CAST]], align 8
99 // CHECK: store <5 x i8> [[VEC]], <5 x i8>* [[VAR]], align 8
100 // APCS-GNU: varargs_vec_5c
101 // APCS-GNU: [[VAR:%.*]] = alloca <5 x i8>, align 8
102 // APCS-GNU: [[AP:%.*]] = load i8*,
103 // APCS-GNU: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP]], i32 8
104 // APCS-GNU: [[AP_CAST:%.*]] = bitcast i8* [[AP]] to <5 x i8>*
105 // APCS-GNU: [[VEC:%.*]] = load <5 x i8>, <5 x i8>* [[AP_CAST]], align 4
106 // APCS-GNU: store <5 x i8> [[VEC]], <5 x i8>* [[VAR]], align 8
107 // ANDROID: varargs_vec_5c
108 // ANDROID: [[VAR:%.*]] = alloca <5 x i8>, align 8
109 // ANDROID: [[ALIGN:%.*]] = and i32 {{%.*}}, -8
110 // ANDROID: [[AP_ALIGN:%.*]] = inttoptr i32 [[ALIGN]] to i8*
111 // ANDROID: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP_ALIGN]], i32 8
112 // ANDROID: [[AP_CAST:%.*]] = bitcast i8* [[AP_ALIGN]] to <5 x i8>*
113 // ANDROID: [[VEC:%.*]] = load <5 x i8>, <5 x i8>* [[AP_CAST]], align 8
114 // ANDROID: store <5 x i8> [[VEC]], <5 x i8>* [[VAR]], align 8
115 va_list ap;
116 double sum = fixed;
117 va_start(ap, fixed);
118 __char5 c5 = va_arg(ap, __char5);
119 sum = sum + c5.x + c5.y;
120 va_end(ap);
121 return sum;
122 }
123
test_5c(__char5 * in)124 double test_5c(__char5 *in) {
125 // CHECK: test_5c
126 // CHECK: call arm_aapcscc double (i32, ...) @varargs_vec_5c(i32 5, <2 x i32> {{%.*}})
127 // APCS-GNU: test_5c
128 // APCS-GNU: call double (i32, ...) @varargs_vec_5c(i32 5, <2 x i32> {{%.*}})
129 // ANDROID: test_5c
130 // ANDROID: call double (i32, ...) @varargs_vec_5c(i32 5, <2 x i32> {{%.*}})
131 return varargs_vec_5c(5, *in);
132 }
133
varargs_vec_9c(int fixed,...)134 double varargs_vec_9c(int fixed, ...) {
135 // CHECK: varargs_vec_9c
136 // CHECK: [[VAR:%.*]] = alloca <9 x i8>, align 16
137 // CHECK: [[ALIGN:%.*]] = and i32 {{%.*}}, -8
138 // CHECK: [[AP_ALIGN:%.*]] = inttoptr i32 [[ALIGN]] to i8*
139 // CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP_ALIGN]], i32 16
140 // CHECK: [[AP_CAST:%.*]] = bitcast i8* [[AP_ALIGN]] to <9 x i8>*
141 // CHECK: [[T0:%.*]] = load <9 x i8>, <9 x i8>* [[AP_CAST]], align 8
142 // CHECK: store <9 x i8> [[T0]], <9 x i8>* [[VAR]], align 16
143 // APCS-GNU: varargs_vec_9c
144 // APCS-GNU: [[VAR:%.*]] = alloca <9 x i8>, align 16
145 // APCS-GNU: [[AP:%.*]] = load i8*,
146 // APCS-GNU: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP]], i32 16
147 // APCS-GNU: [[AP_CAST:%.*]] = bitcast i8* [[AP]] to <9 x i8>*
148 // APCS-GNU: [[VEC:%.*]] = load <9 x i8>, <9 x i8>* [[AP_CAST]], align 4
149 // APCS-GNU: store <9 x i8> [[VEC]], <9 x i8>* [[VAR]], align 16
150 // ANDROID: varargs_vec_9c
151 // ANDROID: [[VAR:%.*]] = alloca <9 x i8>, align 16
152 // ANDROID: [[ALIGN:%.*]] = and i32 {{%.*}}, -8
153 // ANDROID: [[AP_ALIGN:%.*]] = inttoptr i32 [[ALIGN]] to i8*
154 // ANDROID: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP_ALIGN]], i32 16
155 // ANDROID: [[AP_CAST:%.*]] = bitcast i8* [[AP_ALIGN]] to <9 x i8>*
156 // ANDROID: [[T0:%.*]] = load <9 x i8>, <9 x i8>* [[AP_CAST]], align 8
157 // ANDROID: store <9 x i8> [[T0]], <9 x i8>* [[VAR]], align 16
158 va_list ap;
159 double sum = fixed;
160 va_start(ap, fixed);
161 __char9 c9 = va_arg(ap, __char9);
162 sum = sum + c9.x + c9.y;
163 va_end(ap);
164 return sum;
165 }
166
test_9c(__char9 * in)167 double test_9c(__char9 *in) {
168 // CHECK: test_9c
169 // CHECK: call arm_aapcscc double (i32, ...) @varargs_vec_9c(i32 9, <4 x i32> {{%.*}})
170 // APCS-GNU: test_9c
171 // APCS-GNU: call double (i32, ...) @varargs_vec_9c(i32 9, <4 x i32> {{%.*}})
172 // ANDROID: test_9c
173 // ANDROID: call double (i32, ...) @varargs_vec_9c(i32 9, <4 x i32> {{%.*}})
174 return varargs_vec_9c(9, *in);
175 }
176
varargs_vec_19c(int fixed,...)177 double varargs_vec_19c(int fixed, ...) {
178 // CHECK: varargs_vec_19c
179 // CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP:%.*]], i32 4
180 // CHECK: [[VAR:%.*]] = bitcast i8* [[AP]] to <19 x i8>**
181 // CHECK: [[VAR2:%.*]] = load <19 x i8>*, <19 x i8>** [[VAR]]
182 // APCS-GNU: varargs_vec_19c
183 // APCS-GNU: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP:%.*]], i32 4
184 // APCS-GNU: [[VAR:%.*]] = bitcast i8* [[AP]] to <19 x i8>**
185 // APCS-GNU: [[VAR2:%.*]] = load <19 x i8>*, <19 x i8>** [[VAR]]
186 // ANDROID: varargs_vec_19c
187 // ANDROID: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP:%.*]], i32 4
188 // ANDROID: [[VAR:%.*]] = bitcast i8* [[AP]] to <19 x i8>**
189 // ANDROID: [[VAR2:%.*]] = load <19 x i8>*, <19 x i8>** [[VAR]]
190 va_list ap;
191 double sum = fixed;
192 va_start(ap, fixed);
193 __char19 c19 = va_arg(ap, __char19);
194 sum = sum + c19.x + c19.y;
195 va_end(ap);
196 return sum;
197 }
198
test_19c(__char19 * in)199 double test_19c(__char19 *in) {
200 // CHECK: test_19c
201 // CHECK: call arm_aapcscc double (i32, ...) @varargs_vec_19c(i32 19, <19 x i8>* {{%.*}})
202 // APCS-GNU: test_19c
203 // APCS-GNU: call double (i32, ...) @varargs_vec_19c(i32 19, <19 x i8>* {{%.*}})
204 // ANDROID: test_19c
205 // ANDROID: call double (i32, ...) @varargs_vec_19c(i32 19, <19 x i8>* {{%.*}})
206 return varargs_vec_19c(19, *in);
207 }
208
varargs_vec_3s(int fixed,...)209 double varargs_vec_3s(int fixed, ...) {
210 // CHECK: varargs_vec_3s
211 // CHECK: alloca <3 x i16>, align 8
212 // CHECK: [[ALIGN:%.*]] = and i32 {{%.*}}, -8
213 // CHECK: [[AP_ALIGN:%.*]] = inttoptr i32 [[ALIGN]] to i8*
214 // CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP_ALIGN]], i32 8
215 // CHECK: bitcast i8* [[AP_ALIGN]] to <3 x i16>*
216 // APCS-GNU: varargs_vec_3s
217 // APCS-GNU: [[VAR:%.*]] = alloca <3 x i16>, align 8
218 // APCS-GNU: [[AP:%.*]] = load i8*,
219 // APCS-GNU: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP]], i32 8
220 // APCS-GNU: [[AP_CAST:%.*]] = bitcast i8* [[AP]] to <3 x i16>*
221 // APCS-GNU: [[VEC:%.*]] = load <3 x i16>, <3 x i16>* [[AP_CAST]], align 4
222 // ANDROID: varargs_vec_3s
223 // ANDROID: alloca <3 x i16>, align 8
224 // ANDROID: [[ALIGN:%.*]] = and i32 {{%.*}}, -8
225 // ANDROID: [[AP_ALIGN:%.*]] = inttoptr i32 [[ALIGN]] to i8*
226 // ANDROID: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP_ALIGN]], i32 8
227 // ANDROID: bitcast i8* [[AP_ALIGN]] to <3 x i16>*
228 va_list ap;
229 double sum = fixed;
230 va_start(ap, fixed);
231 __short3 c3 = va_arg(ap, __short3);
232 sum = sum + c3.x + c3.y;
233 va_end(ap);
234 return sum;
235 }
236
test_3s(__short3 * in)237 double test_3s(__short3 *in) {
238 // CHECK: test_3s
239 // CHECK: call arm_aapcscc double (i32, ...) @varargs_vec_3s(i32 3, <2 x i32> {{%.*}})
240 // APCS-GNU: test_3s
241 // APCS-GNU: call double (i32, ...) @varargs_vec_3s(i32 3, <2 x i32> {{%.*}})
242 // ANDROID: test_3s
243 // ANDROID: call double (i32, ...) @varargs_vec_3s(i32 3, <3 x i16> {{%.*}})
244 return varargs_vec_3s(3, *in);
245 }
246
varargs_vec_5s(int fixed,...)247 double varargs_vec_5s(int fixed, ...) {
248 // CHECK: varargs_vec_5s
249 // CHECK: [[VAR_ALIGN:%.*]] = alloca <5 x i16>, align 16
250 // CHECK: [[ALIGN:%.*]] = and i32 {{%.*}}, -8
251 // CHECK: [[AP_ALIGN:%.*]] = inttoptr i32 [[ALIGN]] to i8*
252 // CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP_ALIGN]], i32 16
253 // CHECK: [[AP_CAST:%.*]] = bitcast i8* [[AP_ALIGN]] to <5 x i16>*
254 // CHECK: [[VEC:%.*]] = load <5 x i16>, <5 x i16>* [[AP_CAST]], align 8
255 // CHECK: store <5 x i16> [[VEC]], <5 x i16>* [[VAR_ALIGN]], align 16
256 // APCS-GNU: varargs_vec_5s
257 // APCS-GNU: [[VAR:%.*]] = alloca <5 x i16>, align 16
258 // APCS-GNU: [[AP:%.*]] = load i8*,
259 // APCS-GNU: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP]], i32 16
260 // APCS-GNU: [[AP_CAST:%.*]] = bitcast i8* [[AP]] to <5 x i16>*
261 // APCS-GNU: [[VEC:%.*]] = load <5 x i16>, <5 x i16>* [[AP_CAST]], align 4
262 // ANDROID: varargs_vec_5s
263 // ANDROID: [[VAR_ALIGN:%.*]] = alloca <5 x i16>, align 16
264 // ANDROID: [[ALIGN:%.*]] = and i32 {{%.*}}, -8
265 // ANDROID: [[AP_ALIGN:%.*]] = inttoptr i32 [[ALIGN]] to i8*
266 // ANDROID: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP_ALIGN]], i32 16
267 // ANDROID: [[AP_CAST:%.*]] = bitcast i8* [[AP_ALIGN]] to <5 x i16>*
268 // ANDROID: [[VEC:%.*]] = load <5 x i16>, <5 x i16>* [[AP_CAST]], align 8
269 // ANDROID: store <5 x i16> [[VEC]], <5 x i16>* [[VAR_ALIGN]], align 16
270 va_list ap;
271 double sum = fixed;
272 va_start(ap, fixed);
273 __short5 c5 = va_arg(ap, __short5);
274 sum = sum + c5.x + c5.y;
275 va_end(ap);
276 return sum;
277 }
278
test_5s(__short5 * in)279 double test_5s(__short5 *in) {
280 // CHECK: test_5s
281 // CHECK: call arm_aapcscc double (i32, ...) @varargs_vec_5s(i32 5, <4 x i32> {{%.*}})
282 // APCS-GNU: test_5s
283 // APCS-GNU: call double (i32, ...) @varargs_vec_5s(i32 5, <4 x i32> {{%.*}})
284 // ANDROID: test_5s
285 // ANDROID: call double (i32, ...) @varargs_vec_5s(i32 5, <4 x i32> {{%.*}})
286 return varargs_vec_5s(5, *in);
287 }
288
289 // Pass struct as varargs.
290 typedef struct
291 {
292 __int2 i2;
293 float f;
294 } StructWithVec;
295
varargs_struct(int fixed,...)296 double varargs_struct(int fixed, ...) {
297 // CHECK: varargs_struct
298 // CHECK: [[ALIGN:%.*]] = and i32 {{%.*}}, -8
299 // CHECK: [[AP_ALIGN:%.*]] = inttoptr i32 [[ALIGN]] to i8*
300 // CHECK: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP_ALIGN]], i32 16
301 // CHECK: bitcast i8* [[AP_ALIGN]] to %struct.StructWithVec*
302 // APCS-GNU: varargs_struct
303 // APCS-GNU: [[VAR_ALIGN:%.*]] = alloca %struct.StructWithVec
304 // APCS-GNU: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* {{%.*}}, i32 16
305 // APCS-GNU: bitcast %struct.StructWithVec* [[VAR_ALIGN]] to i8*
306 // APCS-GNU: call void @llvm.memcpy
307 // ANDROID: varargs_struct
308 // ANDROID: [[ALIGN:%.*]] = and i32 {{%.*}}, -8
309 // ANDROID: [[AP_ALIGN:%.*]] = inttoptr i32 [[ALIGN]] to i8*
310 // ANDROID: [[AP_NEXT:%.*]] = getelementptr inbounds i8, i8* [[AP_ALIGN]], i32 16
311 // ANDROID: bitcast i8* [[AP_ALIGN]] to %struct.StructWithVec*
312 va_list ap;
313 double sum = fixed;
314 va_start(ap, fixed);
315 StructWithVec c3 = va_arg(ap, StructWithVec);
316 sum = sum + c3.i2.x + c3.i2.y + c3.f;
317 va_end(ap);
318 return sum;
319 }
320
test_struct(StructWithVec * d)321 double test_struct(StructWithVec* d) {
322 // CHECK: test_struct
323 // CHECK: call arm_aapcscc double (i32, ...) @varargs_struct(i32 3, [2 x i64] {{%.*}})
324 // APCS-GNU: test_struct
325 // APCS-GNU: call double (i32, ...) @varargs_struct(i32 3, [2 x i64] {{%.*}})
326 // ANDROID: test_struct
327 // ANDROID: call double (i32, ...) @varargs_struct(i32 3, [2 x i64] {{%.*}})
328 return varargs_struct(3, *d);
329 }
330