1 // RUN: %clang_cc1 -triple armv7 -fsyntax-only -verify %s
2 // RUN: %clang_cc1 -triple armv7 -target-abi apcs-gnu \
3 // RUN: -fsyntax-only -verify %s
4
5 #include <arm_acle.h>
6
f(void * a,void * b)7 void f(void *a, void *b) {
8 __clear_cache(); // expected-error {{too few arguments to function call, expected 2, have 0}} // expected-note {{'__clear_cache' is a builtin with type 'void (void *, void *)}}
9 __clear_cache(a); // expected-error {{too few arguments to function call, expected 2, have 1}}
10 __clear_cache(a, b);
11 }
12
13 void __clear_cache(char*, char*); // expected-error {{conflicting types for '__clear_cache'}}
14 void __clear_cache(void*, void*);
15
16 #if defined(__ARM_PCS) || defined(__ARM_EABI__)
17 // va_list on ARM AAPCS is struct { void* __ap }.
test1(void)18 void test1(void) {
19 __builtin_va_list ptr;
20 ptr.__ap = "x";
21 *(ptr.__ap) = '0'; /* expected-error {{incomplete type 'void' is not assignable}}
22 expected-warning {{ISO C does not allow indirection on operand of type 'void *'}} */
23 }
24 #else
25 // va_list on ARM apcs-gnu is void*.
test1(void)26 void test1(void) {
27 __builtin_va_list ptr;
28 ptr.__ap = "x"; // expected-error {{member reference base type '__builtin_va_list' is not a structure or union}}
29 *(ptr.__ap) = '0';// expected-error {{member reference base type '__builtin_va_list' is not a structure or union}}
30 }
31
test2(void)32 void test2(void) {
33 __builtin_va_list ptr = "x";
34 *ptr = '0'; /* expected-error {{incomplete type 'void' is not assignable}}
35 expected-warning {{ISO C does not allow indirection on operand of type '__builtin_va_list'}} */
36
37 }
38 #endif
39
test3(void)40 void test3(void) {
41 __builtin_arm_dsb(16); // expected-error-re {{argument value {{.*}} is outside the valid range}}
42 __builtin_arm_dmb(17); // expected-error-re {{argument value {{.*}} is outside the valid range}}
43 __builtin_arm_isb(18); // expected-error-re {{argument value {{.*}} is outside the valid range}}
44 }
45
test4(void)46 void test4(void) {
47 __builtin_arm_prefetch(0, 2, 0); // expected-error-re {{argument value {{.*}} is outside the valid range}}
48 __builtin_arm_prefetch(0, 0, 2); // expected-error-re {{argument value {{.*}} is outside the valid range}}
49 }
50
test5(void)51 void test5(void) {
52 __builtin_arm_dbg(16); // expected-error-re {{argument value {{.*}} is outside the valid range}}
53 }
54
test6(int a,int b,int c)55 void test6(int a, int b, int c) {
56 __builtin_arm_ldc(1, 2, &a);
57 __builtin_arm_ldc(a, 2, &a); // expected-error {{argument to '__builtin_arm_ldc' must be a constant integer}}
58 __builtin_arm_ldc(1, a, &a); // expected-error {{argument to '__builtin_arm_ldc' must be a constant integer}}
59
60 __builtin_arm_ldcl(1, 2, &a);
61 __builtin_arm_ldcl(a, 2, &a); // expected-error {{argument to '__builtin_arm_ldcl' must be a constant integer}}
62 __builtin_arm_ldcl(1, a, &a); // expected-error {{argument to '__builtin_arm_ldcl' must be a constant integer}}
63
64 __builtin_arm_ldc2(1, 2, &a);
65 __builtin_arm_ldc2(a, 2, &a); // expected-error {{argument to '__builtin_arm_ldc2' must be a constant integer}}
66 __builtin_arm_ldc2(1, a, &a); // expected-error {{argument to '__builtin_arm_ldc2' must be a constant integer}}
67
68 __builtin_arm_ldc2l(1, 2, &a);
69 __builtin_arm_ldc2l(a, 2, &a); // expected-error {{argument to '__builtin_arm_ldc2l' must be a constant integer}}
70 __builtin_arm_ldc2l(1, a, &a); // expected-error {{argument to '__builtin_arm_ldc2l' must be a constant integer}}
71
72 __builtin_arm_stc(1, 2, &a);
73 __builtin_arm_stc(a, 2, &a); // expected-error {{argument to '__builtin_arm_stc' must be a constant integer}}
74 __builtin_arm_stc(1, a, &a); // expected-error {{argument to '__builtin_arm_stc' must be a constant integer}}
75
76 __builtin_arm_stcl(1, 2, &a);
77 __builtin_arm_stcl(a, 2, &a); // expected-error {{argument to '__builtin_arm_stcl' must be a constant integer}}
78 __builtin_arm_stcl(1, a, &a); // expected-error {{argument to '__builtin_arm_stcl' must be a constant integer}}
79
80 __builtin_arm_stc2(1, 2, &a);
81 __builtin_arm_stc2(a, 2, &a); // expected-error {{argument to '__builtin_arm_stc2' must be a constant integer}}
82 __builtin_arm_stc2(1, a, &a); // expected-error {{argument to '__builtin_arm_stc2' must be a constant integer}}
83
84 __builtin_arm_stc2l(1, 2, &a);
85 __builtin_arm_stc2l(a, 2, &a); // expected-error {{argument to '__builtin_arm_stc2l' must be a constant integer}}
86 __builtin_arm_stc2l(1, a, &a); // expected-error {{argument to '__builtin_arm_stc2l' must be a constant integer}}
87
88 __builtin_arm_cdp(a, 2, 3, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}
89 __builtin_arm_cdp(1, a, 3, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}
90 __builtin_arm_cdp(1, 2, a, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}
91 __builtin_arm_cdp(1, 2, 3, a, 5, 6); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}
92 __builtin_arm_cdp(1, 2, 3, 4, 5, a); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}
93
94 __builtin_arm_cdp2(a, 2, 3, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}
95 __builtin_arm_cdp2(1, a, 3, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}
96 __builtin_arm_cdp2(1, 2, a, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}
97 __builtin_arm_cdp2(1, 2, 3, a, 5, 6); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}
98 __builtin_arm_cdp2(1, 2, 3, 4, 5, a); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}
99
100 __builtin_arm_mrc( a, 0, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}
101 __builtin_arm_mrc(15, a, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}
102 __builtin_arm_mrc(15, 0, a, 0, 3); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}
103 __builtin_arm_mrc(15, 0, 13, a, 3); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}
104 __builtin_arm_mrc(15, 0, 13, 0, a); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}
105
106 __builtin_arm_mrc2( a, 0, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}
107 __builtin_arm_mrc2(15, a, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}
108 __builtin_arm_mrc2(15, 0, a, 0, 3); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}
109 __builtin_arm_mrc2(15, 0, 13, a, 3); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}
110 __builtin_arm_mrc2(15, 0, 13, 0, a); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}
111
112 __builtin_arm_mcr( a, 0, b, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}
113 __builtin_arm_mcr(15, a, b, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}
114 __builtin_arm_mcr(15, 0, b, a, 0, 3); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}
115 __builtin_arm_mcr(15, 0, b, 13, a, 3); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}
116 __builtin_arm_mcr(15, 0, b, 13, 0, a); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}
117
118 __builtin_arm_mcr2( a, 0, b, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}
119 __builtin_arm_mcr2(15, a, b, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}
120 __builtin_arm_mcr2(15, 0, b, a, 0, 3); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}
121 __builtin_arm_mcr2(15, 0, b, 13, a, 3); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}
122 __builtin_arm_mcr2(15, 0, b, 13, 0, a); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}
123
124 __builtin_arm_mcrr(15, 0, b, 0);
125 __builtin_arm_mcrr( a, 0, b, 0); // expected-error {{argument to '__builtin_arm_mcrr' must be a constant integer}}
126 __builtin_arm_mcrr(15, a, b, 0); // expected-error {{argument to '__builtin_arm_mcrr' must be a constant integer}}
127 __builtin_arm_mcrr(15, 0, b, a); // expected-error {{argument to '__builtin_arm_mcrr' must be a constant integer}}
128
129 __builtin_arm_mcrr2(15, 0, b, 0);
130 __builtin_arm_mcrr2( a, 0, b, 0); // expected-error {{argument to '__builtin_arm_mcrr2' must be a constant integer}}
131 __builtin_arm_mcrr2(15, a, b, 0); // expected-error {{argument to '__builtin_arm_mcrr2' must be a constant integer}}
132 __builtin_arm_mcrr2(15, 0, b, a); // expected-error {{argument to '__builtin_arm_mcrr2' must be a constant integer}}
133
134 __builtin_arm_mrrc(15, 0, 0);
135 __builtin_arm_mrrc( a, 0, 0); // expected-error {{argument to '__builtin_arm_mrrc' must be a constant integer}}
136 __builtin_arm_mrrc(15, a, 0); // expected-error {{argument to '__builtin_arm_mrrc' must be a constant integer}}
137 __builtin_arm_mrrc(15, 0, a); // expected-error {{argument to '__builtin_arm_mrrc' must be a constant integer}}
138
139 __builtin_arm_mrrc2(15, 0, 0);
140 __builtin_arm_mrrc2( a, 0, 0); // expected-error {{argument to '__builtin_arm_mrrc2' must be a constant integer}}
141 __builtin_arm_mrrc2(15, a, 0); // expected-error {{argument to '__builtin_arm_mrrc2' must be a constant integer}}
142 __builtin_arm_mrrc2(15, 0, a); // expected-error {{argument to '__builtin_arm_mrrc2' must be a constant integer}}
143 }
144
test_9_3_multiplications(int a,int b)145 void test_9_3_multiplications(int a, int b) {
146 int r;
147 r = __builtin_arm_smulbb(a, b);
148 r = __builtin_arm_smulbb(1, -9);
149
150 r = __builtin_arm_smulbt(a, b);
151 r = __builtin_arm_smulbt(0, b);
152
153 r = __builtin_arm_smultb(a, b);
154 r = __builtin_arm_smultb(5, b);
155
156 r = __builtin_arm_smultt(a, b);
157 r = __builtin_arm_smultt(a, -1);
158
159 r = __builtin_arm_smulwb(a, b);
160 r = __builtin_arm_smulwb(1, 2);
161
162 r = __builtin_arm_smulwt(a, b);
163 r = __builtin_arm_smulwt(-1, -2);
164 r = __builtin_arm_smulwt(-1.0f, -2);
165 }
166
test_9_4_1_width_specified_saturation(int a,int b)167 void test_9_4_1_width_specified_saturation(int a, int b) {
168 unsigned u;
169 int s;
170
171 s = __builtin_arm_ssat(8, 2);
172 s = __builtin_arm_ssat(a, 1);
173 s = __builtin_arm_ssat(a, 32);
174 s = __builtin_arm_ssat(a, 0); // expected-error-re {{argument value {{.*}} is outside the valid range}}
175 s = __builtin_arm_ssat(a, 33); // expected-error-re {{argument value {{.*}} is outside the valid range}}
176 s = __builtin_arm_ssat(a, b); // expected-error {{argument to '__builtin_arm_ssat' must be a constant integer}}
177
178 u = __builtin_arm_usat(8, 2);
179 u = __builtin_arm_usat(a, 0);
180 u = __builtin_arm_usat(a, 31);
181 u = __builtin_arm_usat(a, 32); // expected-error-re {{argument value {{.*}} is outside the valid range}}
182 u = __builtin_arm_usat(a, b); // expected-error {{argument to '__builtin_arm_usat' must be a constant integer}}
183 }
184
test_9_4_2_saturating_addition_subtraction(int a,int b)185 void test_9_4_2_saturating_addition_subtraction(int a, int b) {
186 int s;
187 s = __builtin_arm_qadd(a, b);
188 s = __builtin_arm_qadd(-1, 0);
189
190 s = __builtin_arm_qsub(a, b);
191 s = __builtin_arm_qsub(0, -1);
192
193 s = __builtin_arm_qdbl(a);
194 }
195
test_9_4_3_accumulating_multiplications(int a,int b,int c)196 void test_9_4_3_accumulating_multiplications(int a, int b, int c) {
197 int s;
198
199 s = __builtin_arm_smlabb(a, b, c);
200 s = __builtin_arm_smlabb(1, b, c);
201 s = __builtin_arm_smlabb(a, 2, c);
202 s = __builtin_arm_smlabb(a, b, -3);
203
204 s = __builtin_arm_smlabt(a, b, c);
205 s = __builtin_arm_smlabt(1, b, c);
206 s = __builtin_arm_smlabt(a, 2, c);
207 s = __builtin_arm_smlabt(a, b, -3);
208
209 s = __builtin_arm_smlatb(a, b, c);
210 s = __builtin_arm_smlatt(1, b, c);
211 s = __builtin_arm_smlawb(a, 2, c);
212 s = __builtin_arm_smlawt(a, b, -3);
213 }
214
test_9_5_4_parallel_16bit_saturation(int16x2_t a)215 void test_9_5_4_parallel_16bit_saturation(int16x2_t a) {
216 unsigned u;
217 int s;
218
219 s = __builtin_arm_ssat16(a, 1);
220 s = __builtin_arm_ssat16(a, 16);
221 s = __builtin_arm_ssat16(a, 0); // expected-error-re {{argument value {{.*}} is outside the valid range}}
222 s = __builtin_arm_ssat16(a, 17); // expected-error-re {{argument value {{.*}} is outside the valid range}}
223
224 u = __builtin_arm_usat16(a, 0);
225 u = __builtin_arm_usat16(a, 15);
226 u = __builtin_arm_usat16(a, 16); // expected-error-re {{argument value {{.*}} is outside the valid range}}
227 }
228
test_9_5_5_packing_and_unpacking(int16x2_t a,int8x4_t b,uint16x2_t c,uint8x4_t d)229 void test_9_5_5_packing_and_unpacking(int16x2_t a, int8x4_t b, uint16x2_t c, uint8x4_t d) {
230 int16x2_t x;
231 uint16x2_t y;
232
233 x = __builtin_arm_sxtab16(a, b);
234 x = __builtin_arm_sxtab16(1, -1);
235 x = __builtin_arm_sxtb16(b);
236 x = __builtin_arm_sxtb16(-b);
237
238 y = __builtin_arm_uxtab16(c, d);
239 y = __builtin_arm_uxtab16(-1, -2);
240 y = __builtin_arm_uxtb16(d);
241 y = __builtin_arm_uxtb16(-1);
242 }
243
244 uint8x4_t
test_9_5_6_parallel_selection(uint8x4_t a,uint8x4_t b)245 test_9_5_6_parallel_selection(uint8x4_t a, uint8x4_t b) {
246 return __builtin_arm_sel(a, b);
247 }
248
test_9_5_7_parallel_8bit_addition_substraction(int8x4_t a,int8x4_t b,uint8x4_t c,uint8x4_t d)249 void test_9_5_7_parallel_8bit_addition_substraction(int8x4_t a, int8x4_t b,
250 uint8x4_t c, uint8x4_t d) {
251 int8x4_t s;
252 uint8x4_t u;
253
254 s = __builtin_arm_qadd8(a, b);
255 s = __builtin_arm_qsub8(a, b);
256 s = __builtin_arm_sadd8(a, b);
257 s = __builtin_arm_shadd8(a, b);
258 s = __builtin_arm_shsub8(a, b);
259 s = __builtin_arm_ssub8(a, b);
260
261 u = __builtin_arm_uadd8(c, d);
262 u = __builtin_arm_uhadd8(c, d);
263 u = __builtin_arm_uhsub8(c, d);
264 u = __builtin_arm_uqadd8(c, d);
265 u = __builtin_arm_uqsub8(c, d);
266 u = __builtin_arm_usub8(c, d);
267 }
268
test_9_5_8_absolute_differences(uint8x4_t a,uint8x4_t b,uint32_t c)269 void test_9_5_8_absolute_differences(uint8x4_t a, uint8x4_t b, uint32_t c) {
270 uint32_t r;
271
272 r = __builtin_arm_usad8(a, b);
273 r = __builtin_arm_usada8(a, b, c);
274 }
275
test_9_5_9_parallel_addition_and_subtraction(int16x2_t a,int16x2_t b,uint16x2_t c,uint16x2_t d)276 void test_9_5_9_parallel_addition_and_subtraction(int16x2_t a, int16x2_t b,
277 uint16x2_t c, uint16x2_t d) {
278 int16x2_t x;
279 uint16x2_t y;
280
281 x = __builtin_arm_qadd16(a, b);
282 x = __builtin_arm_qasx(a, b);
283 x = __builtin_arm_qsax(a, b);
284 x = __builtin_arm_qsub16(a, b);
285 x = __builtin_arm_sadd16(a, b);
286 x = __builtin_arm_sasx(a, b);
287 x = __builtin_arm_shadd16(a, b);
288 x = __builtin_arm_shasx(a, b);
289 x = __builtin_arm_shsax(a, b);
290 x = __builtin_arm_shsub16(a, b);
291 x = __builtin_arm_ssax(a, b);
292 x = __builtin_arm_ssub16(a, b);
293
294 y = __builtin_arm_uadd16(c, d);
295 y = __builtin_arm_uasx(c, d);
296 y = __builtin_arm_uhadd16(c, d);
297 y = __builtin_arm_uhasx(c, d);
298 y = __builtin_arm_uhsax(c, d);
299 y = __builtin_arm_uhsub16(c, d);
300 y = __builtin_arm_uqadd16(c, d);
301 y = __builtin_arm_uqasx(c, d);
302 y = __builtin_arm_uqsax(c, d);
303 y = __builtin_arm_uqsub16(c, d);
304 y = __builtin_arm_usax(c, d);
305 y = __builtin_arm_usub16(c, d);
306 }
307
test_9_5_10_parallel_16bit_multiplication(int16x2_t a,int16x2_t b,int32_t c,int64_t d)308 void test_9_5_10_parallel_16bit_multiplication(int16x2_t a, int16x2_t b,
309 int32_t c, int64_t d) {
310 int32_t x;
311 int64_t y;
312
313 x = __builtin_arm_smlad(a, b, c);
314 x = __builtin_arm_smladx(a, b, c);
315 y = __builtin_arm_smlald(a, b, d);
316 y = __builtin_arm_smlaldx(a, b, d);
317 x = __builtin_arm_smlsd(a, b, c);
318 x = __builtin_arm_smlsdx(a, b, c);
319 y = __builtin_arm_smlsld(a, b, d);
320 y = __builtin_arm_smlsldx(a, b, d);
321 x = __builtin_arm_smuad(a, b);
322 x = __builtin_arm_smuadx(a, b);
323 x = __builtin_arm_smusd(a, b);
324 x = __builtin_arm_smusdx(a, b);
325 }
326
test_VFP(float f,double d)327 void test_VFP(float f, double d) {
328 float fr;
329 double dr;
330
331 fr = __builtin_arm_vcvtr_f(f, 0);
332 fr = __builtin_arm_vcvtr_f(f, 1);
333 fr = __builtin_arm_vcvtr_f(f, -1); // expected-error-re {{argument value {{.*}} is outside the valid range}}
334 fr = __builtin_arm_vcvtr_f(f, 2); // expected-error-re {{argument value {{.*}} is outside the valid range}}
335
336 dr = __builtin_arm_vcvtr_f(d, 0);
337 dr = __builtin_arm_vcvtr_f(d, 1);
338 dr = __builtin_arm_vcvtr_f(d, -1); // expected-error-re {{argument value {{.*}} is outside the valid range}}
339 dr = __builtin_arm_vcvtr_f(d, 2); // expected-error-re {{argument value {{.*}} is outside the valid range}}
340 }
341