329 lines · cpp
1// RUN: %clang_cc1 %s -verify -fsyntax-only -Weverything -Wno-unused-but-set-variable -std=c++11 -triple x86_64-apple-darwin102 3// Test the compatibility of clang++'s vector extensions with g++'s vector4// extensions. In comparison to the extensions available in C, the !, ?:, && and5// || 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;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 constants116// 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 point119 // 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 hold321 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