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