blob: 9460cac6d18707a3cc4486d2a2b6a8fa4a051a3e [file] [log] [blame]
Chris Lattner00cb00e2009-04-17 18:39:25 +00001// RUN: clang-cc -fsyntax-only %s -verify -Wvector-conversions
Anders Carlssona64db8f2007-11-27 05:51:55 +00002
3typedef long long t1 __attribute__ ((vector_size (8)));
4typedef char t2 __attribute__ ((vector_size (16)));
5typedef float t3 __attribute__ ((vector_size (16)));
6
7void f()
8{
9 t1 v1;
10 t2 v2;
11 t3 v3;
12
13 v2 = (t2)v1; // -expected-error {{invalid conversion between vector type \
Anders Carlssona64db8f2007-11-27 05:51:55 +000014't2' and 't1' of different size}}
Nate Begeman58d29a42009-06-26 00:50:28 +000015 v1 = (t1)v2; // -expected-error {{invalid conversion between vector type \
16't1' and 't2' of different size}}
Anders Carlssona64db8f2007-11-27 05:51:55 +000017 v3 = (t3)v2;
18
19 v1 = (t1)(char *)10; // -expected-error {{invalid conversion between vector \
20type 't1' and scalar type 'char *'}}
21 v1 = (t1)(long long)10;
22 v1 = (t1)(short)10; // -expected-error {{invalid conversion between vector \
23type 't1' and integer type 'int' of different size}}
24
25 long long r1 = (long long)v1;
26 short r2 = (short)v1; // -expected-error {{invalid conversion between vector \
27type 't1' and integer type 'short' of different size}}
28 char *r3 = (char *)v1; // -expected-error {{invalid conversion between vector\
29 type 't1' and scalar type 'char *'}}
30}
Chris Lattner00cb00e2009-04-17 18:39:25 +000031
32
33void f2(t2 X);
34
35void f3(t3 Y) {
36 f2(Y); // expected-warning {{incompatible vector types passing 't3', expected 't2'}}
37}
38