1 // RUN: %clang_cc1 -fsyntax-only %s -verify -Wvector-conversion
3 typedef long long t1 __attribute__ ((vector_size (8)));
4 typedef char t2 __attribute__ ((vector_size (16)));
5 typedef float t3 __attribute__ ((vector_size (16)));
6 typedef short s2 __attribute__ ((vector_size(4)));
8 typedef enum { Evalue = 0x10000 } E;
21 v2 = (t2)v1; // expected-error {{invalid conversion between vector type \
22 't2' (vector of 16 'char' values) and 't1' (vector of 1 'long long' value) of different size}}
23 v1 = (t1)v2; // expected-error {{invalid conversion between vector type \
24 't1' (vector of 1 'long long' value) and 't2' (vector of 16 'char' values) of different size}}
27 v1 = (t1)(char *)10; // expected-error {{invalid conversion between vector \
28 type 't1' (vector of 1 'long long' value) and scalar type 'char *'}}
29 v1 = (t1)(long long)10;
30 v1 = (t1)(short)10; // expected-error {{invalid conversion between vector \
31 type 't1' (vector of 1 'long long' value) and integer type 'short' of different size}}
33 long long r1 = (long long)v1;
34 short r2 = (short)v1; // expected-error {{invalid conversion between vector \
35 type 't1' (vector of 1 'long long' value) and integer type 'short' of different size}}
36 char *r3 = (char *)v1; // expected-error {{invalid conversion between vector\
37 type 't1' (vector of 1 'long long' value) and scalar type 'char *'}}
41 void f2(t2 X); // expected-note{{passing argument to parameter 'X' here}}
44 f2(Y); // expected-warning {{incompatible vector types passing 't3' (vector of 4 'float' values) to parameter of type 't2' (vector of 16 'char' values)}}
47 typedef float float2 __attribute__ ((vector_size (8)));
48 typedef __attribute__((vector_size(8))) double float64x1_t;
49 typedef __attribute__((vector_size(16))) double float64x2_t;
50 float64x1_t vget_low_f64(float64x2_t __p0);
55 float64x2_t v = {0.0, 1.0};
56 // FIXME: These diagnostics are inaccurate: should complain that 'double' to vector 'float2' involves truncation
57 f2 += d; // expected-error {{cannot convert between vector values of different size ('float2' (vector of 2 'float' values) and 'double')}}
58 d += f2; // expected-error {{cannot convert between vector values of different size}}
59 a = 3.0 + vget_low_f64(v);
60 b = vget_low_f64(v) + 3.0;
63 // LAX conversions between scalar and vector types require same size and one element sized vectors.
64 d = f2; // expected-error {{assigning to 'double' from incompatible type 'float2'}}
65 d = d + f2; // expected-error {{assigning to 'double' from incompatible type 'float2'}}
69 // Don't permit a lax conversion to and from a pointer type.
70 typedef short short_sizeof_pointer __attribute__((vector_size(sizeof(void*))));
72 short_sizeof_pointer v;
74 v = ptr; // expected-error-re {{assigning to 'short_sizeof_pointer' (vector of {{[0-9]+}} 'short' values) from incompatible type 'void *'}}
75 ptr = v; // expected-error {{assigning to 'void *' from incompatible type 'short_sizeof_pointer'}}