xref: /llvm-project/clang/test/Sema/builtins-elementwise-math.c (revision 2a488b4443a9c0aa0f368aed901676508ced202f) 
1 // RUN: %clang_cc1 -std=c99 %s -pedantic -verify -triple=x86_64-apple-darwin9
2 
3 typedef double double2 __attribute__((ext_vector_type(2)));
4 typedef double double4 __attribute__((ext_vector_type(4)));
5 typedef float float2 __attribute__((ext_vector_type(2)));
6 typedef float float4 __attribute__((ext_vector_type(4)));
7 
8 typedef int int2 __attribute__((ext_vector_type(2)));
9 typedef int int3 __attribute__((ext_vector_type(3)));
10 typedef unsigned unsigned3 __attribute__((ext_vector_type(3)));
11 typedef unsigned unsigned4 __attribute__((ext_vector_type(4)));
12 
13 struct Foo {
14   char *p;
15 };
16 
17 __attribute__((address_space(1))) int int_as_one;
18 typedef int bar;
19 bar b;
20 
21 __attribute__((address_space(1))) float float_as_one;
22 typedef float waffle;
23 waffle waf;
24 
25 
26 void test_builtin_elementwise_abs(int i, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
27   struct Foo s = __builtin_elementwise_abs(i);
28   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'int'}}
29 
30   i = __builtin_elementwise_abs();
31   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
32 
33   i = __builtin_elementwise_abs(i, i);
34   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
35 
36   i = __builtin_elementwise_abs(v);
37   // expected-error@-1 {{assigning to 'int' from incompatible type 'float4' (vector of 4 'float' values)}}
38 
39   u = __builtin_elementwise_abs(u);
40   // expected-error@-1 {{1st argument must be a signed integer or floating point type (was 'unsigned int')}}
41 
42   uv = __builtin_elementwise_abs(uv);
43   // expected-error@-1 {{1st argument must be a signed integer or floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
44 }
45 
46 void test_builtin_elementwise_add_sat(int i, short s, double d, float4 v, int3 iv, unsigned3 uv, int *p) {
47   i = __builtin_elementwise_add_sat(p, d);
48   // expected-error@-1 {{arguments are of different types ('int *' vs 'double')}}
49 
50   struct Foo foo = __builtin_elementwise_add_sat(i, i);
51   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'int'}}
52 
53   i = __builtin_elementwise_add_sat(i);
54   // expected-error@-1 {{too few arguments to function call, expected 2, have 1}}
55 
56   i = __builtin_elementwise_add_sat();
57   // expected-error@-1 {{too few arguments to function call, expected 2, have 0}}
58 
59   i = __builtin_elementwise_add_sat(i, i, i);
60   // expected-error@-1 {{too many arguments to function call, expected 2, have 3}}
61 
62   i = __builtin_elementwise_add_sat(v, iv);
63   // expected-error@-1 {{arguments are of different types ('float4' (vector of 4 'float' values) vs 'int3' (vector of 3 'int' values))}}
64 
65   i = __builtin_elementwise_add_sat(uv, iv);
66   // expected-error@-1 {{arguments are of different types ('unsigned3' (vector of 3 'unsigned int' values) vs 'int3' (vector of 3 'int' values))}}
67 
68   v = __builtin_elementwise_add_sat(v, v);
69   // expected-error@-1 {{1st argument must be a vector of integers (was 'float4' (vector of 4 'float' values))}}
70 
71   s = __builtin_elementwise_add_sat(i, s);
72 
73   enum e { one,
74            two };
75   i = __builtin_elementwise_add_sat(one, two);
76 
77   enum f { three };
78   enum f x = __builtin_elementwise_add_sat(one, three);
79 
80   _BitInt(32) ext; // expected-warning {{'_BitInt' in C17 and earlier is a Clang extension}}
81   ext = __builtin_elementwise_add_sat(ext, ext);
82 
83   const int ci;
84   i = __builtin_elementwise_add_sat(ci, i);
85   i = __builtin_elementwise_add_sat(i, ci);
86   i = __builtin_elementwise_add_sat(ci, ci);
87 
88   i = __builtin_elementwise_add_sat(i, int_as_one); // ok (attributes don't match)?
89   i = __builtin_elementwise_add_sat(i, b);          // ok (sugar doesn't match)?
90 
91   int A[10];
92   A = __builtin_elementwise_add_sat(A, A);
93   // expected-error@-1 {{1st argument must be a vector, integer or floating point type (was 'int *')}}
94 
95   int(ii);
96   int j;
97   j = __builtin_elementwise_add_sat(i, j);
98 
99   _Complex float c1, c2;
100   c1 = __builtin_elementwise_add_sat(c1, c2);
101   // expected-error@-1 {{1st argument must be a vector, integer or floating point type (was '_Complex float')}}
102 }
103 
104 void test_builtin_elementwise_sub_sat(int i, short s, double d, float4 v, int3 iv, unsigned3 uv, int *p) {
105   i = __builtin_elementwise_sub_sat(p, d);
106   // expected-error@-1 {{arguments are of different types ('int *' vs 'double')}}
107 
108   struct Foo foo = __builtin_elementwise_sub_sat(i, i);
109   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'int'}}
110 
111   i = __builtin_elementwise_sub_sat(i);
112   // expected-error@-1 {{too few arguments to function call, expected 2, have 1}}
113 
114   i = __builtin_elementwise_sub_sat();
115   // expected-error@-1 {{too few arguments to function call, expected 2, have 0}}
116 
117   i = __builtin_elementwise_sub_sat(i, i, i);
118   // expected-error@-1 {{too many arguments to function call, expected 2, have 3}}
119 
120   i = __builtin_elementwise_sub_sat(v, iv);
121   // expected-error@-1 {{arguments are of different types ('float4' (vector of 4 'float' values) vs 'int3' (vector of 3 'int' values))}}
122 
123   i = __builtin_elementwise_sub_sat(uv, iv);
124   // expected-error@-1 {{arguments are of different types ('unsigned3' (vector of 3 'unsigned int' values) vs 'int3' (vector of 3 'int' values))}}
125 
126   v = __builtin_elementwise_sub_sat(v, v);
127   // expected-error@-1 {{1st argument must be a vector of integers (was 'float4' (vector of 4 'float' values))}}
128 
129   s = __builtin_elementwise_sub_sat(i, s);
130 
131   enum e { one,
132            two };
133   i = __builtin_elementwise_sub_sat(one, two);
134 
135   enum f { three };
136   enum f x = __builtin_elementwise_sub_sat(one, three);
137 
138   _BitInt(32) ext; // expected-warning {{'_BitInt' in C17 and earlier is a Clang extension}}
139   ext = __builtin_elementwise_sub_sat(ext, ext);
140 
141   const int ci;
142   i = __builtin_elementwise_sub_sat(ci, i);
143   i = __builtin_elementwise_sub_sat(i, ci);
144   i = __builtin_elementwise_sub_sat(ci, ci);
145 
146   i = __builtin_elementwise_sub_sat(i, int_as_one); // ok (attributes don't match)?
147   i = __builtin_elementwise_sub_sat(i, b);          // ok (sugar doesn't match)?
148 
149   int A[10];
150   A = __builtin_elementwise_sub_sat(A, A);
151   // expected-error@-1 {{1st argument must be a vector, integer or floating point type (was 'int *')}}
152 
153   int(ii);
154   int j;
155   j = __builtin_elementwise_sub_sat(i, j);
156 
157   _Complex float c1, c2;
158   c1 = __builtin_elementwise_sub_sat(c1, c2);
159   // expected-error@-1 {{1st argument must be a vector, integer or floating point type (was '_Complex float')}}
160 }
161 
162 void test_builtin_elementwise_max(int i, short s, double d, float4 v, int3 iv, unsigned3 uv, int *p) {
163   i = __builtin_elementwise_max(p, d);
164   // expected-error@-1 {{arguments are of different types ('int *' vs 'double')}}
165 
166   struct Foo foo = __builtin_elementwise_max(i, i);
167   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'int'}}
168 
169   i = __builtin_elementwise_max(i);
170   // expected-error@-1 {{too few arguments to function call, expected 2, have 1}}
171 
172   i = __builtin_elementwise_max();
173   // expected-error@-1 {{too few arguments to function call, expected 2, have 0}}
174 
175   i = __builtin_elementwise_max(i, i, i);
176   // expected-error@-1 {{too many arguments to function call, expected 2, have 3}}
177 
178   i = __builtin_elementwise_max(v, iv);
179   // expected-error@-1 {{arguments are of different types ('float4' (vector of 4 'float' values) vs 'int3' (vector of 3 'int' values))}}
180 
181   i = __builtin_elementwise_max(uv, iv);
182   // expected-error@-1 {{arguments are of different types ('unsigned3' (vector of 3 'unsigned int' values) vs 'int3' (vector of 3 'int' values))}}
183 
184   s = __builtin_elementwise_max(i, s);
185 
186   enum e { one,
187            two };
188   i = __builtin_elementwise_max(one, two);
189 
190   enum f { three };
191   enum f x = __builtin_elementwise_max(one, three);
192 
193   _BitInt(32) ext; // expected-warning {{'_BitInt' in C17 and earlier is a Clang extension}}
194   ext = __builtin_elementwise_max(ext, ext);
195 
196   const int ci;
197   i = __builtin_elementwise_max(ci, i);
198   i = __builtin_elementwise_max(i, ci);
199   i = __builtin_elementwise_max(ci, ci);
200 
201   i = __builtin_elementwise_max(i, int_as_one); // ok (attributes don't match)?
202   i = __builtin_elementwise_max(i, b);          // ok (sugar doesn't match)?
203 
204   int A[10];
205   A = __builtin_elementwise_max(A, A);
206   // expected-error@-1 {{1st argument must be a vector, integer or floating point type (was 'int *')}}
207 
208   int(ii);
209   int j;
210   j = __builtin_elementwise_max(i, j);
211 
212   _Complex float c1, c2;
213   c1 = __builtin_elementwise_max(c1, c2);
214   // expected-error@-1 {{1st argument must be a vector, integer or floating point type (was '_Complex float')}}
215 }
216 
217 void test_builtin_elementwise_min(int i, short s, double d, float4 v, int3 iv, unsigned3 uv, int *p) {
218   i = __builtin_elementwise_min(p, d);
219   // expected-error@-1 {{arguments are of different types ('int *' vs 'double')}}
220 
221   struct Foo foo = __builtin_elementwise_min(i, i);
222   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'int'}}
223 
224   i = __builtin_elementwise_min(i);
225   // expected-error@-1 {{too few arguments to function call, expected 2, have 1}}
226 
227   i = __builtin_elementwise_min();
228   // expected-error@-1 {{too few arguments to function call, expected 2, have 0}}
229 
230   i = __builtin_elementwise_min(i, i, i);
231   // expected-error@-1 {{too many arguments to function call, expected 2, have 3}}
232 
233   i = __builtin_elementwise_min(v, iv);
234   // expected-error@-1 {{arguments are of different types ('float4' (vector of 4 'float' values) vs 'int3' (vector of 3 'int' values))}}
235 
236   i = __builtin_elementwise_min(uv, iv);
237   // expected-error@-1 {{arguments are of different types ('unsigned3' (vector of 3 'unsigned int' values) vs 'int3' (vector of 3 'int' values))}}
238 
239   s = __builtin_elementwise_min(i, s);
240 
241   enum e { one,
242            two };
243   i = __builtin_elementwise_min(one, two);
244 
245   enum f { three };
246   enum f x = __builtin_elementwise_min(one, three);
247 
248   _BitInt(32) ext; // expected-warning {{'_BitInt' in C17 and earlier is a Clang extension}}
249   ext = __builtin_elementwise_min(ext, ext);
250 
251   const int ci;
252   i = __builtin_elementwise_min(ci, i);
253   i = __builtin_elementwise_min(i, ci);
254   i = __builtin_elementwise_min(ci, ci);
255 
256   i = __builtin_elementwise_min(i, int_as_one); // ok (attributes don't match)?
257   i = __builtin_elementwise_min(i, b);          // ok (sugar doesn't match)?
258 
259   int A[10];
260   A = __builtin_elementwise_min(A, A);
261   // expected-error@-1 {{1st argument must be a vector, integer or floating point type (was 'int *')}}
262 
263   int(ii);
264   int j;
265   j = __builtin_elementwise_min(i, j);
266 
267   _Complex float c1, c2;
268   c1 = __builtin_elementwise_min(c1, c2);
269   // expected-error@-1 {{1st argument must be a vector, integer or floating point type (was '_Complex float')}}
270 }
271 
272 void test_builtin_elementwise_ceil(int i, float f, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
273 
274   struct Foo s = __builtin_elementwise_ceil(f);
275   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'float'}}
276 
277   i = __builtin_elementwise_ceil();
278   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
279 
280   i = __builtin_elementwise_ceil(i);
281   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
282 
283   i = __builtin_elementwise_ceil(f, f);
284   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
285 
286   u = __builtin_elementwise_ceil(u);
287   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned int')}}
288 
289   uv = __builtin_elementwise_ceil(uv);
290   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
291 }
292 
293 void test_builtin_elementwise_cos(int i, float f, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
294 
295   struct Foo s = __builtin_elementwise_cos(f);
296   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'float'}}
297 
298   i = __builtin_elementwise_cos();
299   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
300 
301   i = __builtin_elementwise_cos(i);
302   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
303 
304   i = __builtin_elementwise_cos(f, f);
305   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
306 
307   u = __builtin_elementwise_cos(u);
308   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned int')}}
309 
310   uv = __builtin_elementwise_cos(uv);
311   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
312 }
313 
314 void test_builtin_elementwise_exp(int i, float f, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
315 
316   struct Foo s = __builtin_elementwise_exp(f);
317   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'float'}}
318 
319   i = __builtin_elementwise_exp();
320   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
321 
322   i = __builtin_elementwise_exp(i);
323   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
324 
325   i = __builtin_elementwise_exp(f, f);
326   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
327 
328   u = __builtin_elementwise_exp(u);
329   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned int')}}
330 
331   uv = __builtin_elementwise_exp(uv);
332   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
333 }
334 
335 void test_builtin_elementwise_exp2(int i, float f, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
336 
337   struct Foo s = __builtin_elementwise_exp2(f);
338   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'float'}}
339 
340   i = __builtin_elementwise_exp2();
341   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
342 
343   i = __builtin_elementwise_exp2(i);
344   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
345 
346   i = __builtin_elementwise_exp2(f, f);
347   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
348 
349   u = __builtin_elementwise_exp2(u);
350   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned int')}}
351 
352   uv = __builtin_elementwise_exp2(uv);
353   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
354 }
355 
356 
357 void test_builtin_elementwise_floor(int i, float f, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
358 
359   struct Foo s = __builtin_elementwise_floor(f);
360   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'float'}}
361 
362   i = __builtin_elementwise_floor();
363   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
364 
365   i = __builtin_elementwise_floor(i);
366   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
367 
368   i = __builtin_elementwise_floor(f, f);
369   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
370 
371   u = __builtin_elementwise_floor(u);
372   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned int')}}
373 
374   uv = __builtin_elementwise_floor(uv);
375   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
376 }
377 
378 void test_builtin_elementwise_log(int i, float f, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
379 
380   struct Foo s = __builtin_elementwise_log(f);
381   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'float'}}
382 
383   i = __builtin_elementwise_log();
384   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
385 
386   i = __builtin_elementwise_log(i);
387   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
388 
389   i = __builtin_elementwise_log(f, f);
390   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
391 
392   u = __builtin_elementwise_log(u);
393   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned int')}}
394 
395   uv = __builtin_elementwise_log(uv);
396   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
397 }
398 
399 void test_builtin_elementwise_log10(int i, float f, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
400 
401   struct Foo s = __builtin_elementwise_log10(f);
402   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'float'}}
403 
404   i = __builtin_elementwise_log10();
405   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
406 
407   i = __builtin_elementwise_log10(i);
408   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
409 
410   i = __builtin_elementwise_log10(f, f);
411   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
412 
413   u = __builtin_elementwise_log10(u);
414   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned int')}}
415 
416   uv = __builtin_elementwise_log10(uv);
417   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
418 }
419 
420 void test_builtin_elementwise_log2(int i, float f, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
421 
422   struct Foo s = __builtin_elementwise_log2(f);
423   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'float'}}
424 
425   i = __builtin_elementwise_log2();
426   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
427 
428   i = __builtin_elementwise_log2(i);
429   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
430 
431   i = __builtin_elementwise_log2(f, f);
432   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
433 
434   u = __builtin_elementwise_log2(u);
435   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned int')}}
436 
437   uv = __builtin_elementwise_log2(uv);
438   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
439 }
440 
441 void test_builtin_elementwise_roundeven(int i, float f, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
442 
443   struct Foo s = __builtin_elementwise_roundeven(f);
444   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'float'}}
445 
446   i = __builtin_elementwise_roundeven();
447   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
448 
449   i = __builtin_elementwise_roundeven(i);
450   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
451 
452   i = __builtin_elementwise_roundeven(f, f);
453   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
454 
455   u = __builtin_elementwise_roundeven(u);
456   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned int')}}
457 
458   uv = __builtin_elementwise_roundeven(uv);
459   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
460 }
461 
462 void test_builtin_elementwise_round(int i, float f, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
463 
464   struct Foo s = __builtin_elementwise_round(f);
465   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'float'}}
466 
467   i = __builtin_elementwise_round();
468   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
469 
470   i = __builtin_elementwise_round(i);
471   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
472 
473   i = __builtin_elementwise_round(f, f);
474   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
475 
476   u = __builtin_elementwise_round(u);
477   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned int')}}
478 
479   uv = __builtin_elementwise_round(uv);
480   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
481 
482   // FIXME: Error should not mention integer
483   _Complex float c1, c2;
484   c1 = __builtin_elementwise_round(c1);
485   // expected-error@-1 {{1st argument must be a vector, integer or floating point type (was '_Complex float')}}
486 }
487 
488 void test_builtin_elementwise_sin(int i, float f, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
489 
490   struct Foo s = __builtin_elementwise_sin(f);
491   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'float'}}
492 
493   i = __builtin_elementwise_sin();
494   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
495 
496   i = __builtin_elementwise_sin(i);
497   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
498 
499   i = __builtin_elementwise_sin(f, f);
500   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
501 
502   u = __builtin_elementwise_sin(u);
503   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned int')}}
504 
505   uv = __builtin_elementwise_sin(uv);
506   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
507 }
508 
509 void test_builtin_elementwise_trunc(int i, float f, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
510 
511   struct Foo s = __builtin_elementwise_trunc(f);
512   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'float'}}
513 
514   i = __builtin_elementwise_trunc();
515   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
516 
517   i = __builtin_elementwise_trunc(i);
518   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
519 
520   i = __builtin_elementwise_trunc(f, f);
521   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
522 
523   u = __builtin_elementwise_trunc(u);
524   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned int')}}
525 
526   uv = __builtin_elementwise_trunc(uv);
527   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
528 }
529 
530 void test_builtin_elementwise_canonicalize(int i, float f, double d, float4 v, int3 iv, unsigned u, unsigned4 uv) {
531 
532   struct Foo s = __builtin_elementwise_canonicalize(f);
533   // expected-error@-1 {{initializing 'struct Foo' with an expression of incompatible type 'float'}}
534 
535   i = __builtin_elementwise_canonicalize();
536   // expected-error@-1 {{too few arguments to function call, expected 1, have 0}}
537 
538   i = __builtin_elementwise_canonicalize(i);
539   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
540 
541   i = __builtin_elementwise_canonicalize(f, f);
542   // expected-error@-1 {{too many arguments to function call, expected 1, have 2}}
543 
544   u = __builtin_elementwise_canonicalize(u);
545   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned int')}}
546 
547   uv = __builtin_elementwise_canonicalize(uv);
548   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned4' (vector of 4 'unsigned int' values))}}
549 }
550 
551 void test_builtin_elementwise_copysign(int i, short s, double d, float f, float4 v, int3 iv, unsigned3 uv, int *p) {
552   i = __builtin_elementwise_copysign(p, d);
553   // expected-error@-1 {{1st argument must be a floating point type (was 'int *')}}
554 
555   i = __builtin_elementwise_copysign(i, i);
556   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
557 
558   i = __builtin_elementwise_copysign(i);
559   // expected-error@-1 {{too few arguments to function call, expected 2, have 1}}
560 
561   i = __builtin_elementwise_copysign();
562   // expected-error@-1 {{too few arguments to function call, expected 2, have 0}}
563 
564   i = __builtin_elementwise_copysign(i, i, i);
565   // expected-error@-1 {{too many arguments to function call, expected 2, have 3}}
566 
567   i = __builtin_elementwise_copysign(v, iv);
568   // expected-error@-1 {{2nd argument must be a floating point type (was 'int3' (vector of 3 'int' values))}}
569 
570   i = __builtin_elementwise_copysign(uv, iv);
571   // expected-error@-1 {{1st argument must be a floating point type (was 'unsigned3' (vector of 3 'unsigned int' values))}}
572 
573   s = __builtin_elementwise_copysign(i, s);
574   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
575 
576   f = __builtin_elementwise_copysign(f, i);
577   // expected-error@-1 {{2nd argument must be a floating point type (was 'int')}}
578 
579   f = __builtin_elementwise_copysign(i, f);
580   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
581 
582   enum e { one,
583            two };
584   i = __builtin_elementwise_copysign(one, two);
585   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
586 
587   enum f { three };
588   enum f x = __builtin_elementwise_copysign(one, three);
589   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
590 
591   _BitInt(32) ext; // expected-warning {{'_BitInt' in C17 and earlier is a Clang extension}}
592   ext = __builtin_elementwise_copysign(ext, ext);
593   // expected-error@-1 {{1st argument must be a floating point type (was '_BitInt(32)')}}
594 
595   const float cf32;
596   f = __builtin_elementwise_copysign(cf32, f);
597   f = __builtin_elementwise_copysign(f, cf32);
598   f = __builtin_elementwise_copysign(cf32, f);
599 
600   f = __builtin_elementwise_copysign(f, float_as_one); // ok (attributes don't match)?
601   f = __builtin_elementwise_copysign(f, waf);          // ok (sugar doesn't match)?
602 
603   float A[10];
604   A = __builtin_elementwise_copysign(A, A);
605   // expected-error@-1 {{1st argument must be a floating point type (was 'float *')}}
606 
607   float(ii);
608   float j;
609   j = __builtin_elementwise_copysign(f, j);
610 
611   _Complex float c1, c2;
612   c1 = __builtin_elementwise_copysign(c1, c2);
613   // expected-error@-1 {{1st argument must be a floating point type (was '_Complex float')}}
614 
615   double f64 = 0.0;
616   double tmp0 = __builtin_elementwise_copysign(f64, f);
617   // expected-error@-1 {{arguments are of different types ('double' vs 'float')}}
618 
619   float tmp1 = __builtin_elementwise_copysign(f, f64);
620   //expected-error@-1 {{arguments are of different types ('float' vs 'double')}}
621 
622   float4 v4f32 = 0.0f;
623   float4 tmp2 = __builtin_elementwise_copysign(v4f32, f);
624   // expected-error@-1 {{arguments are of different types ('float4' (vector of 4 'float' values) vs 'float')}}
625 
626   float tmp3 = __builtin_elementwise_copysign(f, v4f32);
627   // expected-error@-1 {{arguments are of different types ('float' vs 'float4' (vector of 4 'float' values))}}
628 
629   float2 v2f32 = 0.0f;
630   double4 v4f64 = 0.0;
631   double4 tmp4 = __builtin_elementwise_copysign(v4f64, v4f32);
632   // expected-error@-1 {{arguments are of different types ('double4' (vector of 4 'double' values) vs 'float4' (vector of 4 'float' values))}}
633 
634   float4 tmp6 = __builtin_elementwise_copysign(v4f32, v4f64);
635   // expected-error@-1 {{arguments are of different types ('float4' (vector of 4 'float' values) vs 'double4' (vector of 4 'double' values))}}
636 
637   float4 tmp7 = __builtin_elementwise_copysign(v4f32, v2f32);
638   // expected-error@-1 {{arguments are of different types ('float4' (vector of 4 'float' values) vs 'float2' (vector of 2 'float' values))}}
639 
640   float2 tmp8 = __builtin_elementwise_copysign(v2f32, v4f32);
641   // expected-error@-1 {{arguments are of different types ('float2' (vector of 2 'float' values) vs 'float4' (vector of 4 'float' values))}}
642 
643   float2 tmp9 = __builtin_elementwise_copysign(v4f32, v4f32);
644   // expected-error@-1 {{initializing 'float2' (vector of 2 'float' values) with an expression of incompatible type 'float4' (vector of 4 'float' values)}}
645 }
646 
647 void test_builtin_elementwise_fma(int i32, int2 v2i32, short i16,
648                                   double f64, double2 v2f64, double2 v3f64,
649                                   float f32, float2 v2f32, float v3f32, float4 v4f32,
650                                   const float4 c_v4f32,
651                                   int3 v3i32, int *ptr) {
652 
653   f32 = __builtin_elementwise_fma();
654   // expected-error@-1 {{too few arguments to function call, expected 3, have 0}}
655 
656   f32 = __builtin_elementwise_fma(f32);
657   // expected-error@-1 {{too few arguments to function call, expected 3, have 1}}
658 
659   f32 = __builtin_elementwise_fma(f32, f32);
660   // expected-error@-1 {{too few arguments to function call, expected 3, have 2}}
661 
662   f32 = __builtin_elementwise_fma(f32, f32, f32, f32);
663   // expected-error@-1 {{too many arguments to function call, expected 3, have 4}}
664 
665   f32 = __builtin_elementwise_fma(f64, f32, f32);
666   // expected-error@-1 {{arguments are of different types ('double' vs 'float')}}
667 
668   f32 = __builtin_elementwise_fma(f32, f64, f32);
669   // expected-error@-1 {{arguments are of different types ('float' vs 'double')}}
670 
671   f32 = __builtin_elementwise_fma(f32, f32, f64);
672   // expected-error@-1 {{arguments are of different types ('float' vs 'double')}}
673 
674   f32 = __builtin_elementwise_fma(f32, f32, f64);
675   // expected-error@-1 {{arguments are of different types ('float' vs 'double')}}
676 
677   f64 = __builtin_elementwise_fma(f64, f32, f32);
678   // expected-error@-1 {{arguments are of different types ('double' vs 'float')}}
679 
680   f64 = __builtin_elementwise_fma(f64, f64, f32);
681   // expected-error@-1 {{arguments are of different types ('double' vs 'float')}}
682 
683   f64 = __builtin_elementwise_fma(f64, f32, f64);
684   // expected-error@-1 {{arguments are of different types ('double' vs 'float')}}
685 
686   v2f64 = __builtin_elementwise_fma(v2f32, f64, f64);
687   // expected-error@-1 {{arguments are of different types ('float2' (vector of 2 'float' values) vs 'double'}}
688 
689   v2f64 = __builtin_elementwise_fma(v2f32, v2f64, f64);
690   // expected-error@-1 {{arguments are of different types ('float2' (vector of 2 'float' values) vs 'double2' (vector of 2 'double' values)}}
691 
692   v2f64 = __builtin_elementwise_fma(v2f32, f64, v2f64);
693   // expected-error@-1 {{arguments are of different types ('float2' (vector of 2 'float' values) vs 'double'}}
694 
695   v2f64 = __builtin_elementwise_fma(f64, v2f32, v2f64);
696   // expected-error@-1 {{arguments are of different types ('double' vs 'float2' (vector of 2 'float' values)}}
697 
698   v2f64 = __builtin_elementwise_fma(f64, v2f64, v2f64);
699   // expected-error@-1 {{arguments are of different types ('double' vs 'double2' (vector of 2 'double' values)}}
700 
701   i32 = __builtin_elementwise_fma(i32, i32, i32);
702   // expected-error@-1 {{1st argument must be a floating point type (was 'int')}}
703 
704   v2i32 = __builtin_elementwise_fma(v2i32, v2i32, v2i32);
705   // expected-error@-1 {{1st argument must be a floating point type (was 'int2' (vector of 2 'int' values))}}
706 
707   f32 = __builtin_elementwise_fma(f32, f32, i32);
708   // expected-error@-1 {{3rd argument must be a floating point type (was 'int')}}
709 
710   f32 = __builtin_elementwise_fma(f32, i32, f32);
711   // expected-error@-1 {{2nd argument must be a floating point type (was 'int')}}
712 
713   f32 = __builtin_elementwise_fma(f32, f32, i32);
714   // expected-error@-1 {{3rd argument must be a floating point type (was 'int')}}
715 
716 
717   _Complex float c1, c2, c3;
718   c1 = __builtin_elementwise_fma(c1, f32, f32);
719   // expected-error@-1 {{1st argument must be a floating point type (was '_Complex float')}}
720 
721   c2 = __builtin_elementwise_fma(f32, c2, f32);
722   // expected-error@-1 {{2nd argument must be a floating point type (was '_Complex float')}}
723 
724   c3 = __builtin_elementwise_fma(f32, f32, c3);
725   // expected-error@-1 {{3rd argument must be a floating point type (was '_Complex float')}}
726 }
727