1*67e74705SXin Li // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fsyntax-only -verify %s
2*67e74705SXin Li // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fsyntax-only -verify -std=c++98 %s
3*67e74705SXin Li // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fsyntax-only -verify -std=c++11 %s
4*67e74705SXin Li
5*67e74705SXin Li typedef char char16 __attribute__ ((__vector_size__ (16)));
6*67e74705SXin Li typedef long long longlong16 __attribute__ ((__vector_size__ (16)));
7*67e74705SXin Li typedef char char16_e __attribute__ ((__ext_vector_type__ (16)));
8*67e74705SXin Li typedef long long longlong16_e __attribute__ ((__ext_vector_type__ (2)));
9*67e74705SXin Li
10*67e74705SXin Li // Test overloading and function calls with vector types.
11*67e74705SXin Li void f0(char16);
12*67e74705SXin Li
f0_test(char16 c16,longlong16 ll16,char16_e c16e,longlong16_e ll16e)13*67e74705SXin Li void f0_test(char16 c16, longlong16 ll16, char16_e c16e, longlong16_e ll16e) {
14*67e74705SXin Li f0(c16);
15*67e74705SXin Li f0(ll16);
16*67e74705SXin Li f0(c16e);
17*67e74705SXin Li f0(ll16e);
18*67e74705SXin Li }
19*67e74705SXin Li
20*67e74705SXin Li int &f1(char16); // expected-note 2{{candidate function}}
21*67e74705SXin Li float &f1(longlong16); // expected-note 2{{candidate function}}
22*67e74705SXin Li
f1_test(char16 c16,longlong16 ll16,char16_e c16e,longlong16_e ll16e)23*67e74705SXin Li void f1_test(char16 c16, longlong16 ll16, char16_e c16e, longlong16_e ll16e) {
24*67e74705SXin Li int &ir1 = f1(c16);
25*67e74705SXin Li float &fr1 = f1(ll16);
26*67e74705SXin Li f1(c16e); // expected-error{{call to 'f1' is ambiguous}}
27*67e74705SXin Li f1(ll16e); // expected-error{{call to 'f1' is ambiguous}}
28*67e74705SXin Li }
29*67e74705SXin Li
30*67e74705SXin Li void f2(char16_e); // expected-note{{no known conversion from 'longlong16_e' (vector of 2 'long long' values) to 'char16_e' (vector of 16 'char' values) for 1st argument}} \
31*67e74705SXin Li // expected-note{{candidate function not viable: no known conversion from 'convertible_to<longlong16_e>' to 'char16_e' (vector of 16 'char' values) for 1st argument}}
32*67e74705SXin Li
f2_test(char16 c16,longlong16 ll16,char16_e c16e,longlong16_e ll16e)33*67e74705SXin Li void f2_test(char16 c16, longlong16 ll16, char16_e c16e, longlong16_e ll16e) {
34*67e74705SXin Li f2(c16);
35*67e74705SXin Li f2(ll16);
36*67e74705SXin Li f2(c16e);
37*67e74705SXin Li f2(ll16e); // expected-error{{no matching function}}
38*67e74705SXin Li f2('a');
39*67e74705SXin Li f2(17);
40*67e74705SXin Li }
41*67e74705SXin Li
42*67e74705SXin Li // Test the conditional operator with vector types.
conditional(bool Cond,char16 c16,longlong16 ll16,char16_e c16e,longlong16_e ll16e)43*67e74705SXin Li void conditional(bool Cond, char16 c16, longlong16 ll16, char16_e c16e,
44*67e74705SXin Li longlong16_e ll16e) {
45*67e74705SXin Li // Conditional operators with the same type.
46*67e74705SXin Li __typeof__(Cond? c16 : c16) *c16p1 = &c16;
47*67e74705SXin Li __typeof__(Cond? ll16 : ll16) *ll16p1 = &ll16;
48*67e74705SXin Li __typeof__(Cond? c16e : c16e) *c16ep1 = &c16e;
49*67e74705SXin Li __typeof__(Cond? ll16e : ll16e) *ll16ep1 = &ll16e;
50*67e74705SXin Li
51*67e74705SXin Li // Conditional operators with similar types.
52*67e74705SXin Li __typeof__(Cond? c16 : c16e) *c16ep2 = &c16e;
53*67e74705SXin Li __typeof__(Cond? c16e : c16) *c16ep3 = &c16e;
54*67e74705SXin Li __typeof__(Cond? ll16 : ll16e) *ll16ep2 = &ll16e;
55*67e74705SXin Li __typeof__(Cond? ll16e : ll16) *ll16ep3 = &ll16e;
56*67e74705SXin Li
57*67e74705SXin Li // Conditional operators with compatible types under -flax-vector-conversions (default)
58*67e74705SXin Li (void)(Cond? c16 : ll16);
59*67e74705SXin Li (void)(Cond? ll16e : c16e);
60*67e74705SXin Li (void)(Cond? ll16e : c16);
61*67e74705SXin Li }
62*67e74705SXin Li
63*67e74705SXin Li // Test C++ cast'ing of vector types.
casts(longlong16 ll16,longlong16_e ll16e)64*67e74705SXin Li void casts(longlong16 ll16, longlong16_e ll16e) {
65*67e74705SXin Li // C-style casts.
66*67e74705SXin Li (void)(char16)ll16;
67*67e74705SXin Li (void)(char16_e)ll16;
68*67e74705SXin Li (void)(longlong16)ll16;
69*67e74705SXin Li (void)(longlong16_e)ll16;
70*67e74705SXin Li (void)(char16)ll16e;
71*67e74705SXin Li (void)(char16_e)ll16e;
72*67e74705SXin Li (void)(longlong16)ll16e;
73*67e74705SXin Li (void)(longlong16_e)ll16e;
74*67e74705SXin Li
75*67e74705SXin Li // Function-style casts.
76*67e74705SXin Li (void)char16(ll16);
77*67e74705SXin Li (void)char16_e(ll16);
78*67e74705SXin Li (void)longlong16(ll16);
79*67e74705SXin Li (void)longlong16_e(ll16);
80*67e74705SXin Li (void)char16(ll16e);
81*67e74705SXin Li (void)char16_e(ll16e);
82*67e74705SXin Li (void)longlong16(ll16e);
83*67e74705SXin Li (void)longlong16_e(ll16e);
84*67e74705SXin Li
85*67e74705SXin Li // static_cast
86*67e74705SXin Li (void)static_cast<char16>(ll16);
87*67e74705SXin Li (void)static_cast<char16_e>(ll16);
88*67e74705SXin Li (void)static_cast<longlong16>(ll16);
89*67e74705SXin Li (void)static_cast<longlong16_e>(ll16);
90*67e74705SXin Li (void)static_cast<char16>(ll16e);
91*67e74705SXin Li (void)static_cast<char16_e>(ll16e); // expected-error{{static_cast from 'longlong16_e' (vector of 2 'long long' values) to 'char16_e' (vector of 16 'char' values) is not allowed}}
92*67e74705SXin Li (void)static_cast<longlong16>(ll16e);
93*67e74705SXin Li (void)static_cast<longlong16_e>(ll16e);
94*67e74705SXin Li
95*67e74705SXin Li // reinterpret_cast
96*67e74705SXin Li (void)reinterpret_cast<char16>(ll16);
97*67e74705SXin Li (void)reinterpret_cast<char16_e>(ll16);
98*67e74705SXin Li (void)reinterpret_cast<longlong16>(ll16);
99*67e74705SXin Li (void)reinterpret_cast<longlong16_e>(ll16);
100*67e74705SXin Li (void)reinterpret_cast<char16>(ll16e);
101*67e74705SXin Li (void)reinterpret_cast<char16_e>(ll16e);
102*67e74705SXin Li (void)reinterpret_cast<longlong16>(ll16e);
103*67e74705SXin Li (void)reinterpret_cast<longlong16_e>(ll16e);
104*67e74705SXin Li }
105*67e74705SXin Li
106*67e74705SXin Li template<typename T>
107*67e74705SXin Li struct convertible_to { // expected-note 3 {{candidate function (the implicit copy assignment operator) not viable}}
108*67e74705SXin Li #if __cplusplus >= 201103L // C++11 or later
109*67e74705SXin Li // expected-note@-2 3 {{candidate function (the implicit move assignment operator) not viable}}
110*67e74705SXin Li #endif
111*67e74705SXin Li operator T() const;
112*67e74705SXin Li };
113*67e74705SXin Li
test_implicit_conversions(bool Cond,char16 c16,longlong16 ll16,char16_e c16e,longlong16_e ll16e,convertible_to<char16> to_c16,convertible_to<longlong16> to_ll16,convertible_to<char16_e> to_c16e,convertible_to<longlong16_e> to_ll16e,convertible_to<char16 &> rto_c16,convertible_to<char16_e &> rto_c16e)114*67e74705SXin Li void test_implicit_conversions(bool Cond, char16 c16, longlong16 ll16,
115*67e74705SXin Li char16_e c16e, longlong16_e ll16e,
116*67e74705SXin Li convertible_to<char16> to_c16,
117*67e74705SXin Li convertible_to<longlong16> to_ll16,
118*67e74705SXin Li convertible_to<char16_e> to_c16e,
119*67e74705SXin Li convertible_to<longlong16_e> to_ll16e,
120*67e74705SXin Li convertible_to<char16&> rto_c16,
121*67e74705SXin Li convertible_to<char16_e&> rto_c16e) {
122*67e74705SXin Li f0(to_c16);
123*67e74705SXin Li f0(to_ll16);
124*67e74705SXin Li f0(to_c16e);
125*67e74705SXin Li f0(to_ll16e);
126*67e74705SXin Li f2(to_c16);
127*67e74705SXin Li f2(to_ll16);
128*67e74705SXin Li f2(to_c16e);
129*67e74705SXin Li f2(to_ll16e); // expected-error{{no matching function}}
130*67e74705SXin Li
131*67e74705SXin Li (void)(c16 == c16e);
132*67e74705SXin Li (void)(c16 == to_c16);
133*67e74705SXin Li (void)+to_c16;
134*67e74705SXin Li (void)-to_c16;
135*67e74705SXin Li (void)~to_c16;
136*67e74705SXin Li (void)(to_c16 == to_c16e);
137*67e74705SXin Li (void)(to_c16 != to_c16e);
138*67e74705SXin Li (void)(to_c16 < to_c16e);
139*67e74705SXin Li (void)(to_c16 <= to_c16e);
140*67e74705SXin Li (void)(to_c16 > to_c16e);
141*67e74705SXin Li (void)(to_c16 >= to_c16e);
142*67e74705SXin Li (void)(to_c16 + to_c16);
143*67e74705SXin Li (void)(to_c16 - to_c16);
144*67e74705SXin Li (void)(to_c16 * to_c16);
145*67e74705SXin Li (void)(to_c16 / to_c16);
146*67e74705SXin Li (void)(rto_c16 = to_c16); // expected-error{{no viable overloaded '='}}
147*67e74705SXin Li (void)(rto_c16 += to_c16);
148*67e74705SXin Li (void)(rto_c16 -= to_c16);
149*67e74705SXin Li (void)(rto_c16 *= to_c16);
150*67e74705SXin Li (void)(rto_c16 /= to_c16);
151*67e74705SXin Li
152*67e74705SXin Li (void)+to_c16e;
153*67e74705SXin Li (void)-to_c16e;
154*67e74705SXin Li (void)~to_c16e;
155*67e74705SXin Li (void)(to_c16e == to_c16e);
156*67e74705SXin Li (void)(to_c16e != to_c16e);
157*67e74705SXin Li (void)(to_c16e < to_c16e);
158*67e74705SXin Li (void)(to_c16e <= to_c16e);
159*67e74705SXin Li (void)(to_c16e > to_c16e);
160*67e74705SXin Li (void)(to_c16e >= to_c16e);
161*67e74705SXin Li (void)(to_c16e + to_c16);
162*67e74705SXin Li (void)(to_c16e - to_c16);
163*67e74705SXin Li (void)(to_c16e * to_c16);
164*67e74705SXin Li (void)(to_c16e / to_c16);
165*67e74705SXin Li (void)(rto_c16e = to_c16); // expected-error{{no viable overloaded '='}}
166*67e74705SXin Li (void)(rto_c16e += to_c16);
167*67e74705SXin Li (void)(rto_c16e -= to_c16);
168*67e74705SXin Li (void)(rto_c16e *= to_c16);
169*67e74705SXin Li (void)(rto_c16e /= to_c16);
170*67e74705SXin Li
171*67e74705SXin Li (void)+to_c16;
172*67e74705SXin Li (void)-to_c16;
173*67e74705SXin Li (void)~to_c16;
174*67e74705SXin Li (void)(to_c16 == to_c16e);
175*67e74705SXin Li (void)(to_c16 != to_c16e);
176*67e74705SXin Li (void)(to_c16 < to_c16e);
177*67e74705SXin Li (void)(to_c16 <= to_c16e);
178*67e74705SXin Li (void)(to_c16 > to_c16e);
179*67e74705SXin Li (void)(to_c16 >= to_c16e);
180*67e74705SXin Li (void)(to_c16 + to_c16e);
181*67e74705SXin Li (void)(to_c16 - to_c16e);
182*67e74705SXin Li (void)(to_c16 * to_c16e);
183*67e74705SXin Li (void)(to_c16 / to_c16e);
184*67e74705SXin Li (void)(rto_c16 = c16e); // expected-error{{no viable overloaded '='}}
185*67e74705SXin Li (void)(rto_c16 += to_c16e);
186*67e74705SXin Li (void)(rto_c16 -= to_c16e);
187*67e74705SXin Li (void)(rto_c16 *= to_c16e);
188*67e74705SXin Li (void)(rto_c16 /= to_c16e);
189*67e74705SXin Li
190*67e74705SXin Li (void)(Cond? to_c16 : to_c16e);
191*67e74705SXin Li (void)(Cond? to_ll16e : to_ll16);
192*67e74705SXin Li
193*67e74705SXin Li // These 2 are convertable with -flax-vector-conversions (default)
194*67e74705SXin Li (void)(Cond? to_c16 : to_ll16);
195*67e74705SXin Li (void)(Cond? to_c16e : to_ll16e);
196*67e74705SXin Li }
197*67e74705SXin Li
198*67e74705SXin Li typedef float fltx2 __attribute__((__vector_size__(8)));
199*67e74705SXin Li typedef float fltx4 __attribute__((__vector_size__(16)));
200*67e74705SXin Li typedef double dblx2 __attribute__((__vector_size__(16)));
201*67e74705SXin Li typedef double dblx4 __attribute__((__vector_size__(32)));
202*67e74705SXin Li
203*67e74705SXin Li void accept_fltx2(fltx2); // expected-note{{candidate function not viable: no known conversion from 'double' to 'fltx2' (vector of 2 'float' values) for 1st argument}}
204*67e74705SXin Li void accept_fltx4(fltx4);
205*67e74705SXin Li void accept_dblx2(dblx2);
206*67e74705SXin Li void accept_dblx4(dblx4);
207*67e74705SXin Li void accept_bool(bool); // expected-note{{candidate function not viable: no known conversion from 'fltx2' (vector of 2 'float' values) to 'bool' for 1st argument}}
208*67e74705SXin Li
test(fltx2 fltx2_val,fltx4 fltx4_val,dblx2 dblx2_val,dblx4 dblx4_val)209*67e74705SXin Li void test(fltx2 fltx2_val, fltx4 fltx4_val, dblx2 dblx2_val, dblx4 dblx4_val) {
210*67e74705SXin Li // Exact matches
211*67e74705SXin Li accept_fltx2(fltx2_val);
212*67e74705SXin Li accept_fltx4(fltx4_val);
213*67e74705SXin Li accept_dblx2(dblx2_val);
214*67e74705SXin Li accept_dblx4(dblx4_val);
215*67e74705SXin Li
216*67e74705SXin Li // Same-size conversions
217*67e74705SXin Li // FIXME: G++ rejects these conversions, we accept them. Revisit this!
218*67e74705SXin Li accept_fltx4(dblx2_val);
219*67e74705SXin Li accept_dblx2(fltx4_val);
220*67e74705SXin Li
221*67e74705SXin Li // Conversion to bool.
222*67e74705SXin Li accept_bool(fltx2_val); // expected-error{{no matching function for call to 'accept_bool'}}
223*67e74705SXin Li
224*67e74705SXin Li // Scalar-to-vector conversions.
225*67e74705SXin Li accept_fltx2(1.0); // expected-error{{no matching function for call to 'accept_fltx2'}}
226*67e74705SXin Li }
227*67e74705SXin Li
228*67e74705SXin Li typedef int intx4 __attribute__((__vector_size__(16)));
229*67e74705SXin Li typedef int inte4 __attribute__((__ext_vector_type__(4)));
230*67e74705SXin Li typedef int flte4 __attribute__((__ext_vector_type__(4)));
231*67e74705SXin Li
test_mixed_vector_types(fltx4 f,intx4 n,flte4 g,flte4 m)232*67e74705SXin Li void test_mixed_vector_types(fltx4 f, intx4 n, flte4 g, flte4 m) {
233*67e74705SXin Li (void)(f == g);
234*67e74705SXin Li (void)(g != f);
235*67e74705SXin Li (void)(f <= g);
236*67e74705SXin Li (void)(g >= f);
237*67e74705SXin Li (void)(f < g);
238*67e74705SXin Li (void)(g > f);
239*67e74705SXin Li
240*67e74705SXin Li (void)(+g);
241*67e74705SXin Li (void)(-g);
242*67e74705SXin Li
243*67e74705SXin Li (void)(f + g);
244*67e74705SXin Li (void)(f - g);
245*67e74705SXin Li (void)(f * g);
246*67e74705SXin Li (void)(f / g);
247*67e74705SXin Li (void)(f = g);
248*67e74705SXin Li (void)(f += g);
249*67e74705SXin Li (void)(f -= g);
250*67e74705SXin Li (void)(f *= g);
251*67e74705SXin Li (void)(f /= g);
252*67e74705SXin Li
253*67e74705SXin Li
254*67e74705SXin Li (void)(n == m);
255*67e74705SXin Li (void)(m != n);
256*67e74705SXin Li (void)(n <= m);
257*67e74705SXin Li (void)(m >= n);
258*67e74705SXin Li (void)(n < m);
259*67e74705SXin Li (void)(m > n);
260*67e74705SXin Li
261*67e74705SXin Li (void)(+m);
262*67e74705SXin Li (void)(-m);
263*67e74705SXin Li (void)(~m);
264*67e74705SXin Li
265*67e74705SXin Li (void)(n + m);
266*67e74705SXin Li (void)(n - m);
267*67e74705SXin Li (void)(n * m);
268*67e74705SXin Li (void)(n / m);
269*67e74705SXin Li (void)(n % m);
270*67e74705SXin Li (void)(n = m);
271*67e74705SXin Li (void)(n += m);
272*67e74705SXin Li (void)(n -= m);
273*67e74705SXin Li (void)(n *= m);
274*67e74705SXin Li (void)(n /= m);
275*67e74705SXin Li }
276*67e74705SXin Li
test_pseudo_dtor_tmpl(T * ptr)277*67e74705SXin Li template<typename T> void test_pseudo_dtor_tmpl(T *ptr) {
278*67e74705SXin Li ptr->~T();
279*67e74705SXin Li (*ptr).~T();
280*67e74705SXin Li }
281*67e74705SXin Li
test_pseudo_dtor(fltx4 * f)282*67e74705SXin Li void test_pseudo_dtor(fltx4 *f) {
283*67e74705SXin Li f->~fltx4();
284*67e74705SXin Li (*f).~fltx4();
285*67e74705SXin Li test_pseudo_dtor_tmpl(f);
286*67e74705SXin Li }
287*67e74705SXin Li
288*67e74705SXin Li // PR16204
289*67e74705SXin Li typedef __attribute__((ext_vector_type(4))) int vi4;
290*67e74705SXin Li const int &reference_to_vec_element = vi4(1).x;
291*67e74705SXin Li
292*67e74705SXin Li // PR12649
293*67e74705SXin Li typedef bool bad __attribute__((__vector_size__(16))); // expected-error {{invalid vector element type 'bool'}}
294