1 // RUN: %clang_cc1 -std=c++11 -triple x86_64-unknown-unknown -fsyntax-only -verify %s
2 typedef int __v2si __attribute__((__vector_size__(8)));
3 typedef short __v4hi __attribute__((__vector_size__(8)));
4 typedef short __v8hi __attribute__((__vector_size__(16)));
5 typedef short __v3hi __attribute__((__ext_vector_type__(3)));
6
7 struct S { }; // expected-note 3 {{candidate constructor}}
8
9 enum E : long long { Evalue };
10
f()11 void f() {
12 __v2si v2si;
13 __v3hi v3hi;
14 __v4hi v4hi;
15 __v8hi v8hi;
16 unsigned long long ll;
17 unsigned char c;
18 S s;
19 E e;
20
21 (void)reinterpret_cast<__v2si>(v4hi);
22 (void)(__v2si)v4hi;
23 (void)reinterpret_cast<__v4hi>(v2si);
24 (void)(__v4hi)v2si;
25 (void)reinterpret_cast<unsigned long long>(v2si);
26 (void)(unsigned long long)v2si;
27 (void)reinterpret_cast<__v2si>(ll);
28 (void)(__v2si)(ll);
29
30 (void)(E)v2si; // expected-error {{C-style cast from '__v2si' (vector of 2 'int' values) to 'E' is not allowed}}
31 (void)(__v2si)e; // expected-error {{C-style cast from 'E' to '__v2si' (vector of 2 'int' values)}}
32 (void)reinterpret_cast<E>(v2si); // expected-error {{reinterpret_cast from '__v2si' (vector of 2 'int' values) to 'E' is not allowed}}
33 (void)reinterpret_cast<__v2si>(e); // expected-error {{reinterpret_cast from 'E' to '__v2si' (vector of 2 'int' values)}}
34
35 (void)reinterpret_cast<S>(v2si); // expected-error {{reinterpret_cast from '__v2si' (vector of 2 'int' values) to 'S' is not allowed}}
36 (void)(S)v2si; // expected-error {{no matching conversion for C-style cast from '__v2si' (vector of 2 'int' values) to 'S'}}
37 (void)reinterpret_cast<__v2si>(s); // expected-error {{reinterpret_cast from 'S' to '__v2si' (vector of 2 'int' values) is not allowed}}
38 (void)(__v2si)s; // expected-error {{cannot convert 'S' to '__v2si' (vector of 2 'int' values) without a conversion operator}}
39
40 (void)reinterpret_cast<unsigned char>(v2si); // expected-error {{reinterpret_cast from vector '__v2si' (vector of 2 'int' values) to scalar 'unsigned char' of different size}}
41 (void)(unsigned char)v2si; // expected-error {{C-style cast from vector '__v2si' (vector of 2 'int' values) to scalar 'unsigned char' of different size}}
42 (void)reinterpret_cast<__v2si>(c); // expected-error {{reinterpret_cast from scalar 'unsigned char' to vector '__v2si' (vector of 2 'int' values) of different size}}
43
44 (void)reinterpret_cast<__v8hi>(v4hi); // expected-error {{reinterpret_cast from vector '__v4hi' (vector of 4 'short' values) to vector '__v8hi' (vector of 8 'short' values) of different size}}
45 (void)(__v8hi)v4hi; // expected-error {{C-style cast from vector '__v4hi' (vector of 4 'short' values) to vector '__v8hi' (vector of 8 'short' values) of different size}}
46 (void)reinterpret_cast<__v4hi>(v8hi); // expected-error {{reinterpret_cast from vector '__v8hi' (vector of 8 'short' values) to vector '__v4hi' (vector of 4 'short' values) of different size}}
47 (void)(__v4hi)v8hi; // expected-error {{C-style cast from vector '__v8hi' (vector of 8 'short' values) to vector '__v4hi' (vector of 4 'short' values) of different size}}
48
49 (void)(__v3hi)v4hi; // expected-error {{C-style cast from vector '__v4hi' (vector of 4 'short' values) to vector '__v3hi' (vector of 3 'short' values) of different size}}
50 (void)(__v3hi)v2si; // expected-error {{C-style cast from vector '__v2si' (vector of 2 'int' values) to vector '__v3hi' (vector of 3 'short' values) of different size}}
51 (void)(__v4hi)v3hi; // expected-error {{C-style cast from vector '__v3hi' (vector of 3 'short' values) to vector '__v4hi' (vector of 4 'short' values) of different size}}
52 (void)(__v2si)v3hi; // expected-error {{C-style cast from vector '__v3hi' (vector of 3 'short' values) to vector '__v2si' (vector of 2 'int' values) of different size}}
53 (void)reinterpret_cast<__v3hi>(v4hi); // expected-error {{reinterpret_cast from vector '__v4hi' (vector of 4 'short' values) to vector '__v3hi' (vector of 3 'short' values) of different size}}
54 (void)reinterpret_cast<__v3hi>(v2si); // expected-error {{reinterpret_cast from vector '__v2si' (vector of 2 'int' values) to vector '__v3hi' (vector of 3 'short' values) of different size}}
55 (void)reinterpret_cast<__v4hi>(v3hi); // expected-error {{reinterpret_cast from vector '__v3hi' (vector of 3 'short' values) to vector '__v4hi' (vector of 4 'short' values) of different size}}
56 (void)reinterpret_cast<__v2si>(v3hi); // expected-error {{reinterpret_cast from vector '__v3hi' (vector of 3 'short' values) to vector '__v2si' (vector of 2 'int' values) of different size}}
57 }
58
59 struct testvec {
60 __v2si v;
maddtestvec61 void madd(const testvec& rhs) {
62 v = v + rhs; // expected-error {{cannot convert between vector and non-scalar values}}
63 }
madd2testvec64 void madd2(testvec rhs) {
65 v = v + rhs; // expected-error {{cannot convert between vector and non-scalar values}}
66 }
67 };
68
69 // rdar://15931426
70 // Conversions for return values.
threeToFour(__v3hi v)71 __v4hi threeToFour(__v3hi v) { // expected-note {{not viable}}
72 return v; // expected-error {{cannot initialize return object}}
73 }
fourToThree(__v4hi v)74 __v3hi fourToThree(__v4hi v) { // expected-note {{not viable}}
75 return v; // expected-error {{cannot initialize return object}}
76 }
77 // Conversions for calls.
call3to4(__v4hi v)78 void call3to4(__v4hi v) {
79 (void) threeToFour(v); // expected-error {{no matching function for call}}
80 }
call4to3(__v3hi v)81 void call4to3(__v3hi v) {
82 (void) fourToThree(v); // expected-error {{no matching function for call}}
83 }
84