Clang Project

clang_source_code/test/Sema/vector-gcc-compat.cpp
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
7typedef long long v2i64 __attribute__((vector_size(16))); // expected-warning {{'long long' is incompatible with C++98}}
8typedef int v2i32 __attribute__((vector_size(8)));
9typedef short v2i16 __attribute__((vector_size(4)));
10typedef char v2i8 __attribute__((vector_size(2)));
11
12typedef unsigned long long v2u64 __attribute__((vector_size(16))); // expected-warning {{'long long' is incompatible with C++98}}
13typedef unsigned int v2u32 __attribute__((vector_size(8)));
14typedef unsigned short v2u16 __attribute__((vector_size(4)));
15typedef unsigned char v2u8 __attribute__((vector_size(2)));
16
17typedef float v4f32 __attribute__((vector_size(16)));
18typedef double v2f64 __attribute__((vector_size(16)));
19typedef double v4f64 __attribute__((vector_size(32)));
20typedef int v4i32 __attribute((vector_size(16)));
21
22void arithmeticTest(void);
23void logicTest(void);
24void comparisonTest(void);
25void floatTestSignedType(char a, short b, int c, long long d); // expected-warning {{'long long' is incompatible with C++98}}
26void floatTestUnsignedType(unsigned char a, unsigned short b, unsigned int c,
27                           unsigned long long d); // expected-warning {{'long long' is incompatible with C++98}}
28void floatTestConstant(void);
29void intTestType(char a, short b, int c, long long d); // expected-warning {{'long long' is incompatible with C++98}}
30void intTestTypeUnsigned(unsigned char a, unsigned short b, unsigned int c,
31                         unsigned long long d); // expected-warning {{'long long' is incompatible with C++98}}
32void uintTestType(char a, short b, int c, long long d); // expected-warning {{'long long' is incompatible with C++98}}
33void uintTestTypeUnsigned(unsigned char a, unsigned short b, unsigned int c,
34                          unsigned long long d); // expected-warning {{'long long' is incompatible with C++98}}
35void uintTestConstant(v2u64 v2u64_a, v2u32 v2u32_a, v2u16 v2u16_a, v2u8 v2u8_a);
36void intTestConstant(v2i64 v2i64_a, v2i32 v2i32_a, v2i16 v2i16_a, v2i8 v2i8_a);
37
38void 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
61void 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
80void 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;  // expected-error {{invalid argument type 'v2i64' (vector of 2 'long long' values) to unary expression}}
87  v2i64_r = ~v2i64_a;
88
89  v2i64_r = v2i64_a ? v2i64_b : v2i64_c; // expected-error {{value of type 'v2i64' (vector of 2 'long long' values) is not contextually convertible to 'bool'}}
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.
117void 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
128void floatTestConstantComparison(void);
129void doubleTestConstantComparison(void);
130
131void 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
142void 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
153void 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
169void 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
184void 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
211void 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
240void 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
267void 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
295void 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
307void 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
CodeThinker, Enjoy your reading code