1// RUN: %clang_cc1 -triple x86_64-apple-macos10.7.0 -fsyntax-only -verify -fno-lax-vector-conversions -Wconversion %s
2
3typedef __attribute__(( ext_vector_type(2) )) float float2;
4typedef __attribute__(( ext_vector_type(3) )) float float3;
5typedef __attribute__(( ext_vector_type(4) )) int int4;
6typedef __attribute__(( ext_vector_type(8) )) short short8;
7typedef __attribute__(( ext_vector_type(4) )) float float4;
8typedef float t3 __attribute__ ((vector_size (16)));
9typedef __typeof__(sizeof(int)) size_t;
10typedef unsigned long ulong2 __attribute__ ((ext_vector_type(2)));
11typedef size_t stride4 __attribute__((ext_vector_type(4)));
12
13static 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
54typedef __attribute__(( ext_vector_type(2) )) float2 vecfloat2; // expected-error{{invalid vector element type 'float2' (vector of 2 'float' values)}}
55
56void 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
61typedef 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
72stride4 RDar15091442_get_stride4(int4 x, PixelByteStride pixelByteStride);
73stride4 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
82typedef __attribute__((ext_vector_type(4))) float float32x4_t;
83
84typedef float C3DVector3 __attribute__((ext_vector_type(3)));
85
86extern float32x4_t vabsq_f32(float32x4_t __a);
87
88C3DVector3 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
93typedef double double2 __attribute__ ((ext_vector_type(2)));
94
95static 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