1 // RUN: %clang_cc1 -triple=powerpc-apple-darwin8 -faltivec -fsyntax-only -verify %s
2 // RUN: %clang_cc1 -triple=powerpc64-unknown-linux-gnu -faltivec -fsyntax-only -verify %s
3 // RUN: %clang_cc1 -triple=powerpc64le-unknown-linux-gnu -faltivec -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 the POWER7 or later)}}
77 vector double v_d2;                  // expected-error {{use of 'double' with '__vector' requires VSX support to be enabled (available on the POWER7 or later)}}
78 __vector long double  vv_ld3;        // expected-error {{cannot use 'long double' with '__vector'}}
79 vector long double  v_ld4;           // expected-error {{cannot use 'long double' with '__vector'}}
80 vector bool float v_bf;              // expected-error {{cannot use 'float' with '__vector bool'}}
81 vector bool double v_bd;             // expected-error {{cannot use 'double' with '__vector bool'}}
82 vector bool pixel v_bp;              // expected-error {{cannot use '__pixel' with '__vector bool'}}
83 vector bool signed char v_bsc;       // expected-error {{cannot use 'signed' with '__vector bool'}}
84 vector bool unsigned int v_bsc2;     // expected-error {{cannot use 'unsigned' with '__vector bool'}}
85 vector bool long v_bl;               // expected-error {{cannot use 'long' with '__vector bool'}}
86 vector bool long long v_bll;         // expected-error {{cannot use 'long long' with '__vector bool'}}
87 vector __bool float v___bf;          // expected-error {{cannot use 'float' with '__vector bool'}}
88 vector __bool double v___bd;         // expected-error {{cannot use 'double' with '__vector bool'}}
89 vector __bool pixel v___bp;          // expected-error {{cannot use '__pixel' with '__vector bool'}}
90 vector __bool signed char v___bsc;   // expected-error {{cannot use 'signed' with '__vector bool'}}
91 vector __bool unsigned int v___bsc2; // expected-error {{cannot use 'unsigned' with '__vector bool'}}
92 vector __bool long v___bl;           // expected-error {{cannot use 'long' with '__vector bool'}}
93 vector __bool long long v___bll;     // expected-error {{cannot use 'long long' with '__vector bool'}}
94 
95 // vector long is deprecated, but vector long long is not.
96 vector long long v_ll;
97 vector signed long long v_sll;
98 vector unsigned long long v_ull;
99 
100 typedef char i8;
101 typedef short i16;
102 typedef int i32;
103 struct S {
104   // i8, i16, i32 here are field names, not type names.
105   vector bool i8;                    // expected-error {{requires a specifier or qualifier}}
106   vector pixel i16;
107   vector long i32;                   // expected-warning {{deprecated}}
108 };
109 
f()110 void f() {
111   __vector unsigned int v = {0,0,0,0};
112   __vector int v__cast = (__vector int)v;
113   __vector int v_cast = (vector int)v;
114   __vector char vb_cast = (vector char)v;
115 
116   // Check some casting between gcc and altivec vectors.
117   #define gccvector __attribute__((vector_size(16)))
118   gccvector unsigned int gccv = {0,0,0,0};
119   gccvector unsigned int gccv1 = gccv;
120   gccvector int gccv2 = (gccvector int)gccv;
121   gccvector unsigned int gccv3 = v;
122   __vector unsigned int av = gccv;
123   __vector int avi = (__vector int)gccv;
124   gccvector unsigned int gv = v;
125   gccvector int gvi = (gccvector int)v;
126   __attribute__((vector_size(8))) unsigned int gv8;
127   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)}}
128   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)}}
129 
130   v = gccv;
131   __vector unsigned int tv = gccv;
132   gccv = v;
133   gccvector unsigned int tgv = v;
134 
135   int res_i;
136   // bug 7553 - Problem with '==' and vectors
137   res_i = (vv_sc == vv_sc);
138   res_i = (vv_uc != vv_uc);
139   res_i = (vv_s > vv_s);
140   res_i = (vv_us >= vv_us);
141   res_i = (vv_i < vv_i);
142   res_i = (vv_ui <= vv_ui);
143   res_i = (vv_f <= vv_f);
144 }
145 
146 // bug 6895 - Vectorl literal casting confusion.
147 vector char v1 = (vector char)((vector int)(1, 2, 3, 4));
148 vector char v2 = (vector char)((vector float)(1.0f, 2.0f, 3.0f, 4.0f));
149 vector char v3 = (vector char)((vector int)('a', 'b', 'c', 'd'));
150 vector int v4 = (vector int)(1, 2, 3, 4);
151 vector float v5 = (vector float)(1.0f, 2.0f, 3.0f, 4.0f);
152 vector char v6 = (vector char)((vector int)(1+2, -2, (int)(2.0 * 3), -(5-3)));
153