• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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(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;
119   vf = 2.0 + vf;
120   vf = d + vf; // expected-warning {{implicit conversion loses floating-point precision}}
121   vf = vf + 0xffffffff;
122   vf = vf + 2.1; // expected-warning {{implicit conversion loses floating-point precision}}
123 
124   vd = l + vd;
125   vd = vd + t;
126 }
127