1 // RUN: %clang_cc1 %s -verify -fsyntax-only -Weverything -std=c++11 -triple x86_64-apple-darwin10
2 
3 // Test the compatibility of clang++'s vector extensions with g++'s vector
4 // extensions. In comparison to the extensions available in C, the !, ?:, && and
5 // || operators work on vector types.
6 
7 typedef long long v2i64 __attribute__((vector_size(16))); // expected-warning {{'long long' is incompatible with C++98}}
8 typedef int v2i32 __attribute__((vector_size(8)));
9 typedef short v2i16 __attribute__((vector_size(4)));
10 typedef char v2i8 __attribute__((vector_size(2)));
11 
12 typedef unsigned long long v2u64 __attribute__((vector_size(16))); // expected-warning {{'long long' is incompatible with C++98}}
13 typedef unsigned int v2u32 __attribute__((vector_size(8)));
14 typedef unsigned short v2u16 __attribute__((vector_size(4)));
15 typedef unsigned char v2u8 __attribute__((vector_size(2)));
16 
17 typedef float v4f32 __attribute__((vector_size(16)));
18 typedef double v2f64 __attribute__((vector_size(16)));
19 typedef double v4f64 __attribute__((vector_size(32)));
20 typedef int v4i32 __attribute((vector_size(16)));
21 
22 void arithmeticTest(void);
23 void logicTest(void);
24 void comparisonTest(void);
25 void floatTestSignedType(char a, short b, int c, long long d); // expected-warning {{'long long' is incompatible with C++98}}
26 void floatTestUnsignedType(unsigned char a, unsigned short b, unsigned int c,
27                            unsigned long long d); // expected-warning {{'long long' is incompatible with C++98}}
28 void floatTestConstant(void);
29 void intTestType(char a, short b, int c, long long d); // expected-warning {{'long long' is incompatible with C++98}}
30 void intTestTypeUnsigned(unsigned char a, unsigned short b, unsigned int c,
31                          unsigned long long d); // expected-warning {{'long long' is incompatible with C++98}}
32 void uintTestType(char a, short b, int c, long long d); // expected-warning {{'long long' is incompatible with C++98}}
33 void uintTestTypeUnsigned(unsigned char a, unsigned short b, unsigned int c,
34                           unsigned long long d); // expected-warning {{'long long' is incompatible with C++98}}
35 void uintTestConstant(v2u64 v2u64_a, v2u32 v2u32_a, v2u16 v2u16_a, v2u8 v2u8_a);
36 void intTestConstant(v2i64 v2i64_a, v2i32 v2i32_a, v2i16 v2i16_a, v2i8 v2i8_a);
37 
arithmeticTest(void)38 void arithmeticTest(void) {
39   v2i64 v2i64_a = (v2i64){0, 1}; // expected-warning {{compound literals are a C99-specific feature}}
40   v2i64 v2i64_r;
41 
42   v2i64_r = v2i64_a + 1;
43   v2i64_r = v2i64_a - 1;
44   v2i64_r = v2i64_a * 1;
45   v2i64_r = v2i64_a / 1;
46   v2i64_r = v2i64_a % 1;
47 
48   v2i64_r = 1 + v2i64_a;
49   v2i64_r = 1 - v2i64_a;
50   v2i64_r = 1 * v2i64_a;
51   v2i64_r = 1 / v2i64_a;
52   v2i64_r = 1 % v2i64_a;
53 
54   v2i64_a += 1;
55   v2i64_a -= 1;
56   v2i64_a *= 1;
57   v2i64_a /= 1;
58   v2i64_a %= 1;
59 }
60 
comparisonTest(void)61 void comparisonTest(void) {
62   v2i64 v2i64_a = (v2i64){0, 1}; // expected-warning {{compound literals are a C99-specific feature}}
63   v2i64 v2i64_r;
64 
65   v2i64_r = v2i64_a == 1;
66   v2i64_r = v2i64_a != 1;
67   v2i64_r = v2i64_a < 1;
68   v2i64_r = v2i64_a > 1;
69   v2i64_r = v2i64_a <= 1;
70   v2i64_r = v2i64_a >= 1;
71 
72   v2i64_r = 1 == v2i64_a;
73   v2i64_r = 1 != v2i64_a;
74   v2i64_r = 1 < v2i64_a;
75   v2i64_r = 1 > v2i64_a;
76   v2i64_r = 1 <= v2i64_a;
77   v2i64_r = 1 >= v2i64_a;
78 }
79 
logicTest(void)80 void logicTest(void) {
81   v2i64 v2i64_a = (v2i64){0, 1}; // expected-warning {{compound literals are a C99-specific feature}}
82   v2i64 v2i64_b = (v2i64){2, 1}; // expected-warning {{compound literals are a C99-specific feature}}
83   v2i64 v2i64_c = (v2i64){3, 1}; // expected-warning {{compound literals are a C99-specific feature}}
84   v2i64 v2i64_r;
85 
86   v2i64_r = !v2i64_a;
87   v2i64_r = ~v2i64_a;
88 
89   v2i64_r = v2i64_a ? v2i64_b : v2i64_c;
90 
91   v2i64_r = v2i64_a & 1;
92   v2i64_r = v2i64_a | 1;
93   v2i64_r = v2i64_a ^ 1;
94 
95   v2i64_r = 1 & v2i64_a;
96   v2i64_r = 1 | v2i64_a;
97   v2i64_r = 1 ^ v2i64_a;
98   v2i64_a &= 1;
99   v2i64_a |= 1;
100   v2i64_a ^= 1;
101 
102   v2i64_r = v2i64_a && 1;
103   v2i64_r = v2i64_a || 1;
104 
105   v2i64_r = v2i64_a << 1;
106   v2i64_r = v2i64_a >> 1;
107 
108   v2i64_r = 1 << v2i64_a;
109   v2i64_r = 1 >> v2i64_a;
110 
111   v2i64_a <<= 1;
112   v2i64_a >>= 1;
113 }
114 
115 // For operations with floating point types, we check that integer constants
116 // can be respresented, or failing that checking based on the integer types.
floatTestConstant(void)117 void floatTestConstant(void) {
118   // Test that constants added to floats must be expressible as floating point
119   // numbers.
120   v4f32 v4f32_a = {0.4f, 0.4f, 0.4f, 0.4f};
121   v4f32_a = v4f32_a + 1;
122   v4f32_a = v4f32_a + 0xFFFFFF;
123   v4f32_a = v4f32_a + (-1567563LL); // expected-warning {{'long long' is incompatible with C++98}}
124   v4f32_a = v4f32_a + (16777208);
125   v4f32_a = v4f32_a + (16777219); // expected-error {{cannot convert between scalar type 'int' and vector type 'v4f32' (vector of 4 'float' values) as implicit conversion would cause truncation}}
126 }
127 
128 void floatTestConstantComparison(void);
129 void doubleTestConstantComparison(void);
130 
floatTestConstantComparison(void)131 void floatTestConstantComparison(void) {
132   v4f32 v4f32_a = {0.4f, 0.4f, 0.4f, 0.4f};
133   v4i32 v4i32_r;
134   v4i32_r = v4f32_a > 0.4f;
135   v4i32_r = v4f32_a >= 0.4f;
136   v4i32_r = v4f32_a < 0.4f;
137   v4i32_r = v4f32_a <= 0.4f;
138   v4i32_r = v4f32_a == 0.4f; // expected-warning {{comparing floating point with == or != is unsafe}}
139   v4i32_r = v4f32_a != 0.4f; // expected-warning {{comparing floating point with == or != is unsafe}}
140 }
141 
doubleTestConstantComparison(void)142 void doubleTestConstantComparison(void) {
143   v2f64 v2f64_a = {0.4, 0.4};
144   v2i64 v2i64_r;
145   v2i64_r = v2f64_a > 0.4;
146   v2i64_r = v2f64_a >= 0.4;
147   v2i64_r = v2f64_a < 0.4;
148   v2i64_r = v2f64_a <= 0.4;
149   v2i64_r = v2f64_a == 0.4; // expected-warning {{comparing floating point with == or != is unsafe}}
150   v2i64_r = v2f64_a != 0.4; // expected-warning {{comparing floating point with == or != is unsafe}}
151 }
152 
floatTestUnsignedType(unsigned char a,unsigned short b,unsigned int c,unsigned long long d)153 void floatTestUnsignedType(unsigned char a, unsigned short b, unsigned int c,
154                            unsigned long long d) { // expected-warning {{'long long' is incompatible with C++98}}
155   v4f32 v4f32_a = {0.4f, 0.4f, 0.4f, 0.4f};
156   v4f64 v4f64_b = {0.4, 0.4, 0.4, 0.4};
157 
158   v4f32_a = v4f32_a + a;
159   v4f32_a = v4f32_a + b;
160   v4f32_a = v4f32_a + c; // expected-error {{cannot convert between scalar type 'unsigned int' and vector type 'v4f32' (vector of 4 'float' values) as implicit conversion would cause truncation}}
161   v4f32_a = v4f32_a + d; // expected-error {{cannot convert between scalar type 'unsigned long long' and vector type 'v4f32' (vector of 4 'float' values) as implicit conversion would cause truncation}}
162 
163   v4f64_b = v4f64_b + a;
164   v4f64_b = v4f64_b + b;
165   v4f64_b = v4f64_b + c;
166   v4f64_b = v4f64_b + d; // expected-error {{cannot convert between scalar type 'unsigned long long' and vector type 'v4f64' (vector of 4 'double' values) as implicit conversion would cause truncation}}
167 }
168 
floatTestSignedType(char a,short b,int c,long long d)169 void floatTestSignedType(char a, short b, int c, long long d) { // expected-warning {{'long long' is incompatible with C++98}}
170   v4f32 v4f32_a = {0.4f, 0.4f, 0.4f, 0.4f};
171   v4f64 v4f64_b = {0.4, 0.4, 0.4, 0.4};
172 
173   v4f32_a = v4f32_a + a;
174   v4f32_a = v4f32_a + b;
175   v4f32_a = v4f32_a + c; // expected-error {{cannot convert between scalar type 'int' and vector type 'v4f32' (vector of 4 'float' values) as implicit conversion would cause truncation}}
176   v4f32_a = v4f32_a + d; // expected-error {{cannot convert between scalar type 'long long' and vector type 'v4f32' (vector of 4 'float' values) as implicit conversion would cause truncation}}
177 
178   v4f64_b = v4f64_b + a;
179   v4f64_b = v4f64_b + b;
180   v4f64_b = v4f64_b + c;
181   v4f64_b = v4f64_b + d; // expected-error {{cannot convert between scalar type 'long long' and vector type 'v4f64' (vector of 4 'double' values) as implicit conversion would cause truncation}}
182 }
183 
intTestType(char a,short b,int c,long long d)184 void intTestType(char a, short b, int c, long long d) { // expected-warning {{'long long' is incompatible with C++98}}
185   v2i64 v2i64_a = {1, 2};
186   v2i32 v2i32_a = {1, 2};
187   v2i16 v2i16_a = {1, 2};
188   v2i8 v2i8_a = {1, 2};
189 
190   v2i64_a = v2i64_a + d;
191   v2i64_a = v2i64_a + c;
192   v2i64_a = v2i64_a + b;
193   v2i64_a = v2i64_a + a;
194 
195   v2i32_a = v2i32_a + d; // expected-warning {{implicit conversion loses integer precision: 'long long' to 'v2i32' (vector of 2 'int' values)}}
196   v2i32_a = v2i32_a + c;
197   v2i32_a = v2i32_a + b;
198   v2i32_a = v2i32_a + a;
199 
200   v2i16_a = v2i16_a + d; // expected-error {{cannot convert between scalar type 'long long' and vector type 'v2i16' (vector of 2 'short' values) as implicit conversion would cause truncation}}
201   v2i16_a = v2i16_a + c; // expected-warning {{implicit conversion loses integer precision: 'int' to 'v2i16' (vector of 2 'short' values)}}
202   v2i16_a = v2i16_a + b;
203   v2i16_a = v2i16_a + a;
204 
205   v2i8_a = v2i8_a + d; // expected-error {{cannot convert between scalar type 'long long' and vector type 'v2i8' (vector of 2 'char' values) as implicit conversion would cause truncation}}
206   v2i8_a = v2i8_a + c; // expected-error {{cannot convert between scalar type 'int' and vector type 'v2i8' (vector of 2 'char' values) as implicit conversion would cause truncation}}
207   v2i8_a = v2i8_a + b; // expected-warning {{implicit conversion loses integer precision: 'short' to 'v2i8' (vector of 2 'char' values)}}
208   v2i8_a = v2i8_a + a;
209 }
210 
intTestTypeUnsigned(unsigned char a,unsigned short b,unsigned int c,unsigned long long d)211 void intTestTypeUnsigned(unsigned char a, unsigned short b, unsigned int c,
212                          unsigned long long d) { // expected-warning {{'long long' is incompatible with C++98}}
213   v2i64 v2i64_a = {1, 2};
214   v2i32 v2i32_a = {1, 2};
215   v2i16 v2i16_a = {1, 2};
216   v2i8 v2i8_a = {1, 2};
217 
218   v2i64_a = v2i64_a + d; // expected-error {{cannot convert between scalar type 'unsigned long long' and vector type 'v2i64' (vector of 2 'long long' values) as implicit conversion would cause truncation}}
219 
220   v2i64_a = v2i64_a + c;
221   v2i64_a = v2i64_a + b;
222   v2i64_a = v2i64_a + a;
223 
224   v2i32_a = v2i32_a + d; // expected-warning {{implicit conversion loses integer precision: 'unsigned long long' to 'v2i32' (vector of 2 'int' values)}}
225   v2i32_a = v2i32_a + c; // expected-error {{cannot convert between scalar type 'unsigned int' and vector type 'v2i32' (vector of 2 'int' values) as implicit conversion would cause truncation}}
226   v2i32_a = v2i32_a + b;
227   v2i32_a = v2i32_a + a;
228 
229   v2i16_a = v2i16_a + d; // expected-error {{cannot convert between scalar type 'unsigned long long' and vector type 'v2i16' (vector of 2 'short' values) as implicit conversion would cause truncation}}
230   v2i16_a = v2i16_a + c; // expected-warning {{implicit conversion loses integer precision: 'unsigned int' to 'v2i16' (vector of 2 'short' values)}}
231   v2i16_a = v2i16_a + b; // expected-error {{cannot convert between scalar type 'unsigned short' and vector type 'v2i16' (vector of 2 'short' values) as implicit conversion would cause truncation}}
232   v2i16_a = v2i16_a + a;
233 
234   v2i8_a = v2i8_a + d; // expected-error {{cannot convert between scalar type 'unsigned long long' and vector type 'v2i8' (vector of 2 'char' values) as implicit conversion would cause truncation}}
235   v2i8_a = v2i8_a + c; // expected-error {{cannot convert between scalar type 'unsigned int' and vector type 'v2i8' (vector of 2 'char' values) as implicit conversion would cause truncation}}
236   v2i8_a = v2i8_a + b; // expected-warning {{implicit conversion loses integer precision: 'unsigned short' to 'v2i8' (vector of 2 'char' values)}}
237   v2i8_a = v2i8_a + a; // expected-error {{cannot convert between scalar type 'unsigned char' and vector type 'v2i8' (vector of 2 'char' values) as implicit conversion would cause truncation}}
238 }
239 
uintTestType(char a,short b,int c,long long d)240 void uintTestType(char a, short b, int c, long long d) { // expected-warning {{'long long' is incompatible with C++98}}
241   v2u64 v2u64_a = {1, 2};
242   v2u32 v2u32_a = {1, 2};
243   v2u16 v2u16_a = {1, 2};
244   v2u8 v2u8_a = {1, 2};
245 
246   v2u64_a = v2u64_a + d; // expected-warning {{implicit conversion changes signedness: 'long long' to 'v2u64' (vector of 2 'unsigned long long' values)}}
247   v2u64_a = v2u64_a + c; // expected-warning {{implicit conversion changes signedness: 'int' to 'v2u64' (vector of 2 'unsigned long long' values)}}
248   v2u64_a = v2u64_a + b; // expected-warning {{implicit conversion changes signedness: 'short' to 'v2u64' (vector of 2 'unsigned long long' values)}}
249   v2u64_a = v2u64_a + a; // expected-warning {{implicit conversion changes signedness: 'char' to 'v2u64' (vector of 2 'unsigned long long' values)}}
250 
251   v2u32_a = v2u32_a + d; // expected-warning {{implicit conversion loses integer precision: 'long long' to 'v2u32' (vector of 2 'unsigned int' values)}}
252   v2u32_a = v2u32_a + c; // expected-warning {{implicit conversion changes signedness: 'int' to 'v2u32' (vector of 2 'unsigned int' values)}}
253   v2u32_a = v2u32_a + b; // expected-warning {{implicit conversion changes signedness: 'short' to 'v2u32' (vector of 2 'unsigned int' values)}}
254   v2u32_a = v2u32_a + a; // expected-warning {{implicit conversion changes signedness: 'char' to 'v2u32' (vector of 2 'unsigned int' values)}}
255 
256   v2u16_a = v2u16_a + d; // expected-error {{cannot convert between scalar type 'long long' and vector type 'v2u16' (vector of 2 'unsigned short' values) as implicit conversion would cause truncation}}
257   v2u16_a = v2u16_a + c; // expected-warning {{implicit conversion loses integer precision: 'int' to 'v2u16' (vector of 2 'unsigned short' values)}}
258   v2u16_a = v2u16_a + b; // expected-warning {{implicit conversion changes signedness: 'short' to 'v2u16' (vector of 2 'unsigned short' values)}}
259   v2u16_a = v2u16_a + a; // expected-warning {{implicit conversion changes signedness: 'char' to 'v2u16' (vector of 2 'unsigned short' values)}}
260 
261   v2u8_a = v2u8_a + d; // expected-error {{cannot convert between scalar type 'long long' and vector type 'v2u8' (vector of 2 'unsigned char' values) as implicit conversion would cause truncation}}
262   v2u8_a = v2u8_a + c; // expected-error {{cannot convert between scalar type 'int' and vector type 'v2u8' (vector of 2 'unsigned char' values) as implicit conversion would cause truncation}}
263   v2u8_a = v2u8_a + b; // expected-warning {{implicit conversion loses integer precision: 'short' to 'v2u8' (vector of 2 'unsigned char' values)}}
264   v2u8_a = v2u8_a + a; // expected-warning {{implicit conversion changes signedness: 'char' to 'v2u8' (vector of 2 'unsigned char' values)}}
265 }
266 
uintTestTypeUnsigned(unsigned char a,unsigned short b,unsigned int c,unsigned long long d)267 void uintTestTypeUnsigned(unsigned char a, unsigned short b, unsigned int c,
268                           unsigned long long d) { // expected-warning {{'long long' is incompatible with C++98}}
269   v2u64 v2u64_a = {1, 2};
270   v2u32 v2u32_a = {1, 2};
271   v2u16 v2u16_a = {1, 2};
272   v2u8 v2u8_a = {1, 2};
273 
274   v2u64_a = v2u64_a + d;
275   v2u64_a = v2u64_a + c;
276   v2u64_a = v2u64_a + b;
277   v2u64_a = v2u64_a + a;
278 
279   v2u32_a = v2u32_a + d; // expected-warning {{implicit conversion loses integer precision: 'unsigned long long' to 'v2u32' (vector of 2 'unsigned int' values)}}
280   v2u32_a = v2u32_a + c;
281   v2u32_a = v2u32_a + b;
282   v2u32_a = v2u32_a + a;
283 
284   v2u16_a = v2u16_a + d; // expected-error {{cannot convert between scalar type 'unsigned long long' and vector type 'v2u16' (vector of 2 'unsigned short' values) as implicit conversion would cause truncation}}
285   v2u16_a = v2u16_a + c; // expected-warning {{implicit conversion loses integer precision: 'unsigned int' to 'v2u16' (vector of 2 'unsigned short' values)}}
286   v2u16_a = v2u16_a + b;
287   v2u16_a = v2u16_a + a;
288 
289   v2u8_a = v2u8_a + d; // expected-error {{cannot convert between scalar type 'unsigned long long' and vector type 'v2u8' (vector of 2 'unsigned char' values) as implicit conversion would cause truncation}}
290   v2u8_a = v2u8_a + c; // expected-error {{cannot convert between scalar type 'unsigned int' and vector type 'v2u8' (vector of 2 'unsigned char' values) as implicit conversion would cause truncation}}
291   v2u8_a = v2u8_a + b; // expected-warning {{implicit conversion loses integer precision: 'unsigned short' to 'v2u8' (vector of 2 'unsigned char' values)}}
292   v2u8_a = v2u8_a + a;
293 }
294 
uintTestConstant(v2u64 v2u64_a,v2u32 v2u32_a,v2u16 v2u16_a,v2u8 v2u8_a)295 void uintTestConstant(v2u64 v2u64_a, v2u32 v2u32_a, v2u16 v2u16_a,
296                       v2u8 v2u8_a) {
297   v2u64_a = v2u64_a + 0xFFFFFFFFFFFFFFFF;
298   v2u32_a = v2u32_a + 0xFFFFFFFF;
299   v2u16_a = v2u16_a + 0xFFFF;
300   v2u8_a = v2u8_a + 0xFF;
301 
302   v2u32_a = v2u32_a + 0x1FFFFFFFF; // expected-warning {{implicit conversion from 'long' to 'v2u32' (vector of 2 'unsigned int' values) changes value from 8589934591 to 4294967295}}
303   v2u16_a = v2u16_a + 0x1FFFF;     // expected-warning {{implicit conversion from 'int' to 'v2u16' (vector of 2 'unsigned short' values) changes value from 131071 to 65535}}
304   v2u8_a = v2u8_a + 0x1FF;         // expected-error {{cannot convert between scalar type 'int' and vector type 'v2u8' (vector of 2 'unsigned char' values) as implicit conversion would cause truncation}}
305 }
306 
intTestConstant(v2i64 v2i64_a,v2i32 v2i32_a,v2i16 v2i16_a,v2i8 v2i8_a)307 void intTestConstant(v2i64 v2i64_a, v2i32 v2i32_a, v2i16 v2i16_a, v2i8 v2i8_a) {
308   // Legal upper bounds.
309   v2i64_a = v2i64_a + static_cast<long long>(0x7FFFFFFFFFFFFFFF); // expected-warning {{'long long' is incompatible with C++98}}
310   v2i32_a = v2i32_a + static_cast<int>(0x7FFFFFFF);
311   v2i16_a = v2i16_a + static_cast<short>(0x7FFF);
312   v2i8_a = v2i8_a + static_cast<char>(0x7F);
313 
314   // Legal lower bounds.
315   v2i64_a = v2i64_a + (-9223372036854775807);
316   v2i32_a = v2i32_a + (-2147483648);
317   v2i16_a = v2i16_a + (-32768);
318   v2i8_a = v2i8_a + (-128);
319 
320   // One increment/decrement more than the type can hold
321   v2i32_a = v2i32_a + 2147483648; // expected-warning {{implicit conversion from 'long' to 'v2i32' (vector of 2 'int' values) changes value from 2147483648 to -2147483648}}
322   v2i16_a = v2i16_a + 32768;      // expected-warning {{implicit conversion from 'int' to 'v2i16' (vector of 2 'short' values) changes value from 32768 to -32768}}
323   v2i8_a = v2i8_a + 128;          // expected-warning {{implicit conversion from 'int' to 'v2i8' (vector of 2 'char' values) changes value from 128 to -128}}
324 
325   v2i32_a = v2i32_a + (-2147483649); // expected-warning {{implicit conversion from 'long' to 'v2i32' (vector of 2 'int' values) changes value from -2147483649 to 2147483647}}
326   v2i16_a = v2i16_a + (-32769);      // expected-warning {{implicit conversion from 'int' to 'v2i16' (vector of 2 'short' values) changes value from -32769 to 32767}}
327   v2i8_a = v2i8_a + (-129);          // expected-error {{cannot convert between scalar type 'int' and vector type 'v2i8' (vector of 2 'char' values) as implicit conversion would cause truncation}}
328 }
329