1 // RUN: %clang_cc1 -triple x86_64-apple-macos10.7.0 -fsyntax-only -verify -flax-vector-conversions=none -Wconversion %s
2
3 typedef __attribute__((ext_vector_type(8))) _Bool BoolVector; // expected-error {{invalid vector element type '_Bool'}}
4
5 typedef __attribute__(( ext_vector_type(2) )) float float2;
6 typedef __attribute__(( ext_vector_type(3) )) float float3;
7 typedef __attribute__(( ext_vector_type(4) )) int int4;
8 typedef __attribute__(( ext_vector_type(8) )) short short8;
9 typedef __attribute__(( ext_vector_type(4) )) float float4;
10 typedef float t3 __attribute__ ((vector_size (16)));
11 typedef __typeof__(sizeof(int)) size_t;
12 typedef unsigned long ulong2 __attribute__ ((ext_vector_type(2)));
13 typedef size_t stride4 __attribute__((ext_vector_type(4)));
14
test()15 static void test() {
16 float2 vec2;
17 float3 vec3;
18 float4 vec4, vec4_2;
19 int4 ivec4;
20 short8 ish8;
21 t3 vec4_3;
22 int *ptr;
23 int i;
24
25 vec3 += vec2; // expected-error {{cannot convert between vector values of different size}}
26 vec4 += vec3; // expected-error {{cannot convert between vector values of different size}}
27
28 vec4 = 5.0f;
29 vec4 = (float4)5.0f;
30 vec4 = (float4)5;
31 vec4 = (float4)vec4_3;
32
33 ivec4 = (int4)5.0f;
34 ivec4 = (int4)5;
35 ivec4 = (int4)vec4_3;
36
37 i = (int)ivec4; // expected-error {{invalid conversion between vector type 'int4' (vector of 4 'int' values) and integer type 'int' of different size}}
38 i = ivec4; // expected-error {{assigning to 'int' from incompatible type 'int4' (vector of 4 'int' values)}}
39
40 ivec4 = (int4)ptr; // expected-error {{invalid conversion between vector type 'int4' (vector of 4 'int' values) and scalar type 'int *'}}
41
42 vec4 = (float4)vec2; // expected-error {{invalid conversion between ext-vector type 'float4' (vector of 4 'float' values) and 'float2' (vector of 2 'float' values)}}
43
44 ish8 += 5;
45 ivec4 *= 5;
46 vec4 /= 5.2f;
47 vec4 %= 4; // expected-error {{invalid operands to binary expression ('float4' (vector of 4 'float' values) and 'int')}}
48 ivec4 %= 4;
49 ivec4 += vec4; // expected-error {{cannot convert between vector values of different size ('int4' (vector of 4 'int' values) and 'float4' (vector of 4 'float' values))}}
50 ivec4 += (int4)vec4;
51 ivec4 -= ivec4;
52 ivec4 |= ivec4;
53 ivec4 += ptr; // expected-error {{cannot convert between vector and non-scalar values ('int4' (vector of 4 'int' values) and 'int *')}}
54 }
55
56 typedef __attribute__(( ext_vector_type(2) )) float2 vecfloat2; // expected-error{{invalid vector element type 'float2' (vector of 2 'float' values)}}
57
inc(float2 f2)58 void inc(float2 f2) {
59 f2++; // expected-error{{cannot increment value of type 'float2' (vector of 2 'float' values)}}
60 __real f2; // expected-error{{invalid type 'float2' (vector of 2 'float' values) to __real operator}}
61 }
62
63 typedef enum
64 {
65 uchar_stride = 1,
66 uchar4_stride = 4,
67 ushort4_stride = 8,
68 short4_stride = 8,
69 uint4_stride = 16,
70 int4_stride = 16,
71 float4_stride = 16,
72 } PixelByteStride;
73
74 stride4 RDar15091442_get_stride4(int4 x, PixelByteStride pixelByteStride);
RDar15091442_get_stride4(int4 x,PixelByteStride pixelByteStride)75 stride4 RDar15091442_get_stride4(int4 x, PixelByteStride pixelByteStride)
76 {
77 stride4 stride;
78 // This previously caused an assertion failure.
79 stride.lo = ((ulong2) x) * pixelByteStride; // no-warning
80 return stride;
81 }
82
83 // rdar://16196902
84 typedef __attribute__((ext_vector_type(4))) float float32x4_t;
85
86 typedef float C3DVector3 __attribute__((ext_vector_type(3)));
87
88 extern float32x4_t vabsq_f32(float32x4_t __a);
89
Func(const C3DVector3 a)90 C3DVector3 Func(const C3DVector3 a) {
91 return (C3DVector3)vabsq_f32((float32x4_t)a); // expected-error {{invalid conversion between ext-vector type 'float32x4_t' (vector of 4 'float' values) and 'C3DVector3' (vector of 3 'float' values)}}
92 }
93
94 // rdar://16350802
95 typedef double double2 __attribute__ ((ext_vector_type(2)));
96
splats(int i,long l,__uint128_t t,float f,double d)97 static void splats(int i, long l, __uint128_t t, float f, double d) {
98 short8 vs = 0;
99 int4 vi = i;
100 ulong2 vl = (unsigned long)l;
101 float2 vf = f;
102 double2 vd = d;
103
104 vs = 65536 + vs; // expected-warning {{implicit conversion from 'int' to 'short8' (vector of 8 'short' values) changes value from 65536 to 0}}
105 vs = vs + i; // expected-warning {{implicit conversion loses integer precision}}
106 vs = vs + 1;
107 vs = vs + 1.f; // expected-error {{cannot convert between vector values of different size}}
108
109 vi = l + vi; // expected-warning {{implicit conversion loses integer precision}}
110 vi = 1 + vi;
111 vi = vi + 2.0; // expected-error {{cannot convert between vector values of different size}}
112 vi = vi + 0xffffffff; // expected-warning {{implicit conversion changes signedness}}
113
114 vl = l + vl; // expected-warning {{implicit conversion changes signedness}}
115 vl = vl + t; // expected-warning {{implicit conversion loses integer precision}}
116
117 vf = 1 + vf;
118 vf = l + vf; // expected-warning {{implicit conversion from 'long' to 'float2' (vector of 2 'float' values) may lose precision}}
119 vf = 2.0 + vf;
120 vf = d + vf; // expected-warning {{implicit conversion loses floating-point precision}}
121 vf = vf + 0xffffffff; // expected-warning {{implicit conversion from 'unsigned int' to 'float2' (vector of 2 'float' values) changes value from 4294967295 to 4294967296}}
122 vf = vf + 2.1; // expected-warning {{implicit conversion loses floating-point precision}}
123
124 vd = l + vd; // expected-warning {{implicit conversion from 'long' to 'double2' (vector of 2 'double' values) may lose precision}}
125 vd = vd + t; // expected-warning {{implicit conversion from '__uint128_t' (aka 'unsigned __int128') to 'double2' (vector of 2 'double' values) may lose precision}}
126 }
127