1 | // RUN: %clang_cc1 -triple=powerpc-apple-darwin8 -target-feature +altivec -fsyntax-only -verify %s |
2 | // RUN: %clang_cc1 -triple=powerpc64-unknown-linux-gnu -target-feature +altivec -fsyntax-only -verify %s |
3 | // RUN: %clang_cc1 -triple=powerpc64le-unknown-linux-gnu -target-feature +altivec -fsyntax-only -verify %s |
4 | |
5 | __vector char vv_c; |
6 | __vector signed char vv_sc; |
7 | __vector unsigned char vv_uc; |
8 | __vector short vv_s; |
9 | __vector signed short vv_ss; |
10 | __vector unsigned short vv_us; |
11 | __vector short int vv_si; |
12 | __vector signed short int vv_ssi; |
13 | __vector unsigned short int vv_usi; |
14 | __vector int vv_i; |
15 | __vector signed int vv_sint; |
16 | __vector unsigned int vv_ui; |
17 | __vector float vv_f; |
18 | __vector bool char vv_bc; |
19 | __vector bool short vv_bs; |
20 | __vector bool int vv_bi; |
21 | __vector __bool char vv___bc; |
22 | __vector __bool short vv___bs; |
23 | __vector __bool int vv___bi; |
24 | __vector __pixel vv_p; |
25 | __vector pixel vv__p; |
26 | __vector int vf__r(); |
27 | void vf__a(__vector int a); |
28 | void vf__a2(int b, __vector int a); |
29 | |
30 | vector char v_c; |
31 | vector signed char v_sc; |
32 | vector unsigned char v_uc; |
33 | vector short v_s; |
34 | vector signed short v_ss; |
35 | vector unsigned short v_us; |
36 | vector short int v_si; |
37 | vector signed short int v_ssi; |
38 | vector unsigned short int v_usi; |
39 | vector int v_i; |
40 | vector signed int v_sint; |
41 | vector unsigned int v_ui; |
42 | vector float v_f; |
43 | vector bool char v_bc; |
44 | vector bool short v_bs; |
45 | vector bool int v_bi; |
46 | vector __bool char v___bc; |
47 | vector __bool short v___bs; |
48 | vector __bool int v___bi; |
49 | vector __pixel v_p; |
50 | vector pixel v__p; |
51 | vector int f__r(); |
52 | void f_a(vector int a); |
53 | void f_a2(int b, vector int a); |
54 | |
55 | vector int v = (vector int)(-1); |
56 | |
57 | // These should have warnings. |
58 | __vector long vv_l; // expected-warning {{Use of 'long' with '__vector' is deprecated}} |
59 | __vector signed long vv_sl; // expected-warning {{Use of 'long' with '__vector' is deprecated}} |
60 | __vector unsigned long vv_ul; // expected-warning {{Use of 'long' with '__vector' is deprecated}} |
61 | __vector long int vv_li; // expected-warning {{Use of 'long' with '__vector' is deprecated}} |
62 | __vector signed long int vv_sli; // expected-warning {{Use of 'long' with '__vector' is deprecated}} |
63 | __vector unsigned long int vv_uli; // expected-warning {{Use of 'long' with '__vector' is deprecated}} |
64 | vector long v_l; // expected-warning {{Use of 'long' with '__vector' is deprecated}} |
65 | vector signed long v_sl; // expected-warning {{Use of 'long' with '__vector' is deprecated}} |
66 | vector unsigned long v_ul; // expected-warning {{Use of 'long' with '__vector' is deprecated}} |
67 | vector long int v_li; // expected-warning {{Use of 'long' with '__vector' is deprecated}} |
68 | vector signed long int v_sli; // expected-warning {{Use of 'long' with '__vector' is deprecated}} |
69 | vector unsigned long int v_uli; // expected-warning {{Use of 'long' with '__vector' is deprecated}} |
70 | __vector long double vv_ld; // expected-error {{cannot use 'long double' with '__vector'}} |
71 | vector long double v_ld; // expected-error {{cannot use 'long double' with '__vector'}} |
72 | vector bool v_b; // expected-warning {{type specifier missing, defaults to 'int'}} |
73 | vector __bool v___b; // expected-warning {{type specifier missing, defaults to 'int'}} |
74 | |
75 | // These should have errors. |
76 | __vector double vv_d1; // expected-error {{use of 'double' with '__vector' requires VSX support to be enabled (available on POWER7 or later)}} |
77 | vector double v_d2; // expected-error {{use of 'double' with '__vector' requires VSX support to be enabled (available on POWER7 or later)}} |
78 | __vector bool long long v_bll1; // expected-error {{use of 'long long' with '__vector bool' requires VSX support (available on POWER7 or later) or extended Altivec support (available on POWER8 or later) to be enabled}} |
79 | __vector __bool long long v_bll2; // expected-error {{use of 'long long' with '__vector bool' requires VSX support (available on POWER7 or later) or extended Altivec support (available on POWER8 or later) to be enabled}} |
80 | vector bool long long v_bll3; // expected-error {{use of 'long long' with '__vector bool' requires VSX support (available on POWER7 or later) or extended Altivec support (available on POWER8 or later) to be enabled}} |
81 | vector __bool long long v_bll4; // expected-error {{use of 'long long' with '__vector bool' requires VSX support (available on POWER7 or later) or extended Altivec support (available on POWER8 or later) to be enabled}} |
82 | __vector long double vv_ld3; // expected-error {{cannot use 'long double' with '__vector'}} |
83 | vector long double v_ld4; // expected-error {{cannot use 'long double' with '__vector'}} |
84 | vector bool float v_bf; // expected-error {{cannot use 'float' with '__vector bool'}} |
85 | vector bool double v_bd; // expected-error {{cannot use 'double' with '__vector bool'}} |
86 | vector bool pixel v_bp; // expected-error {{cannot use '__pixel' with '__vector bool'}} |
87 | vector bool signed char v_bsc; // expected-error {{cannot use 'signed' with '__vector bool'}} |
88 | vector bool unsigned int v_bsc2; // expected-error {{cannot use 'unsigned' with '__vector bool'}} |
89 | vector bool long v_bl; // expected-error {{cannot use 'long' with '__vector bool'}} |
90 | vector __bool float v___bf; // expected-error {{cannot use 'float' with '__vector bool'}} |
91 | vector __bool double v___bd; // expected-error {{cannot use 'double' with '__vector bool'}} |
92 | vector __bool pixel v___bp; // expected-error {{cannot use '__pixel' with '__vector bool'}} |
93 | vector __bool signed char v___bsc; // expected-error {{cannot use 'signed' with '__vector bool'}} |
94 | vector __bool unsigned int v___bsc2; // expected-error {{cannot use 'unsigned' with '__vector bool'}} |
95 | vector __bool long v___bl; // expected-error {{cannot use 'long' with '__vector bool'}} |
96 | |
97 | // vector long is deprecated, but vector long long is not. |
98 | vector long long v_ll; |
99 | vector signed long long v_sll; |
100 | vector unsigned long long v_ull; |
101 | |
102 | typedef char i8; |
103 | typedef short i16; |
104 | typedef int i32; |
105 | struct S { |
106 | // i8, i16, i32 here are field names, not type names. |
107 | vector bool i8; // expected-error {{requires a specifier or qualifier}} |
108 | vector pixel i16; |
109 | vector long i32; // expected-warning {{deprecated}} |
110 | }; |
111 | |
112 | void f() { |
113 | __vector unsigned int v = {0,0,0,0}; |
114 | __vector int v__cast = (__vector int)v; |
115 | __vector int v_cast = (vector int)v; |
116 | __vector char vb_cast = (vector char)v; |
117 | |
118 | // Check some casting between gcc and altivec vectors. |
119 | #define gccvector __attribute__((vector_size(16))) |
120 | gccvector unsigned int gccv = {0,0,0,0}; |
121 | gccvector unsigned int gccv1 = gccv; |
122 | gccvector int gccv2 = (gccvector int)gccv; |
123 | gccvector unsigned int gccv3 = v; |
124 | __vector unsigned int av = gccv; |
125 | __vector int avi = (__vector int)gccv; |
126 | gccvector unsigned int gv = v; |
127 | gccvector int gvi = (gccvector int)v; |
128 | __attribute__((vector_size(8))) unsigned int gv8; |
129 | gv8 = gccv; // expected-error {{assigning to '__attribute__((__vector_size__(2 * sizeof(unsigned int)))) unsigned int' (vector of 2 'unsigned int' values) from incompatible type '__attribute__((__vector_size__(4 * sizeof(unsigned int)))) unsigned int' (vector of 4 'unsigned int' values)}} |
130 | av = gv8; // expected-error {{assigning to '__vector unsigned int' (vector of 4 'unsigned int' values) from incompatible type '__attribute__((__vector_size__(2 * sizeof(unsigned int)))) unsigned int' (vector of 2 'unsigned int' values)}} |
131 | |
132 | v = gccv; |
133 | __vector unsigned int tv = gccv; |
134 | gccv = v; |
135 | gccvector unsigned int tgv = v; |
136 | |
137 | int res_i; |
138 | // bug 7553 - Problem with '==' and vectors |
139 | res_i = (vv_sc == vv_sc); |
140 | res_i = (vv_uc != vv_uc); |
141 | res_i = (vv_s > vv_s); |
142 | res_i = (vv_us >= vv_us); |
143 | res_i = (vv_i < vv_i); |
144 | res_i = (vv_ui <= vv_ui); |
145 | res_i = (vv_f <= vv_f); |
146 | } |
147 | |
148 | // bug 6895 - Vectorl literal casting confusion. |
149 | vector char v1 = (vector char)((vector int)(1, 2, 3, 4)); |
150 | vector char v2 = (vector char)((vector float)(1.0f, 2.0f, 3.0f, 4.0f)); |
151 | vector char v3 = (vector char)((vector int)('a', 'b', 'c', 'd')); |
152 | vector int v4 = (vector int)(1, 2, 3, 4); |
153 | vector float v5 = (vector float)(1.0f, 2.0f, 3.0f, 4.0f); |
154 | vector char v6 = (vector char)((vector int)(1+2, -2, (int)(2.0 * 3), -(5-3))); |
155 | |