test/Parser/cxx-altivec.cpp

   1 // RUN: %clang_cc1 -triple=powerpc-apple-darwin8 -faltivec -fsyntax-only -verify %s
   2
   3 __vector char vv_c;
   4 __vector signed char vv_sc;
   5 __vector unsigned char vv_uc;
   6 __vector short vv_s;
   7 __vector signed  short vv_ss;
   8 __vector unsigned  short vv_us;
   9 __vector short int vv_si;
  10 __vector signed short int vv_ssi;
  11 __vector unsigned short int vv_usi;
  12 __vector int vv_i;
  13 __vector signed int vv_sint;
  14 __vector unsigned int vv_ui;
  15 __vector float vv_f;
  16 __vector bool char vv_bc;
  17 __vector bool short vv_bs;
  18 __vector bool int vv_bi;
  19 __vector __pixel vv_p;
  20 __vector pixel vv__p;
  21 __vector int vf__r();
  22 void vf__a(__vector int a);
  23 void vf__a2(int b, __vector int a);
  24
  25 vector char v_c;
  26 vector signed char v_sc;
  27 vector unsigned char v_uc;
  28 vector short v_s;
  29 vector signed  short v_ss;
  30 vector unsigned  short v_us;
  31 vector short int v_si;
  32 vector signed short int v_ssi;
  33 vector unsigned short int v_usi;
  34 vector int v_i;
  35 vector signed int v_sint;
  36 vector unsigned int v_ui;
  37 vector float v_f;
  38 vector bool char v_bc;
  39 vector bool short v_bs;
  40 vector bool int v_bi;
  41 vector __pixel v_p;
  42 vector pixel v__p;
  43 vector int f__r();
  44 void f_a(vector int a);
  45 void f_a2(int b, vector int a);
  46
  47 vector int v = (vector int)(-1);
  48
  49 // These should have warnings.
  50 __vector long vv_l;                 // expected-warning {{Use of 'long' with '__vector' is deprecated}}
  51 __vector signed long vv_sl;         // expected-warning {{Use of 'long' with '__vector' is deprecated}}
  52 __vector unsigned long vv_ul;       // expected-warning {{Use of 'long' with '__vector' is deprecated}}
  53 __vector long int vv_li;            // expected-warning {{Use of 'long' with '__vector' is deprecated}}
  54 __vector signed long int vv_sli;    // expected-warning {{Use of 'long' with '__vector' is deprecated}}
  55 __vector unsigned long int vv_uli;  // expected-warning {{Use of 'long' with '__vector' is deprecated}}
  56 vector long v_l;                    // expected-warning {{Use of 'long' with '__vector' is deprecated}}
  57 vector signed long v_sl;            // expected-warning {{Use of 'long' with '__vector' is deprecated}}
  58 vector unsigned long v_ul;          // expected-warning {{Use of 'long' with '__vector' is deprecated}}
  59 vector long int v_li;               // expected-warning {{Use of 'long' with '__vector' is deprecated}}
  60 vector signed long int v_sli;       // expected-warning {{Use of 'long' with '__vector' is deprecated}}
  61 vector unsigned long int v_uli;     // expected-warning {{Use of 'long' with '__vector' is deprecated}}
  62 __vector long double  vv_ld;        // expected-warning {{Use of 'long' with '__vector' is deprecated}} expected-error {{cannot use 'double' with '__vector'}}
  63 vector long double  v_ld;           // expected-warning {{Use of 'long' with '__vector' is deprecated}} expected-error {{cannot use 'double' with '__vector'}}
  64
  65 // These should have errors.
  66 __vector double vv_d1;               // expected-error {{cannot use 'double' with '__vector'}}
  67 vector double v_d2;                  // expected-error {{cannot use 'double' with '__vector'}}
  68 __vector long double  vv_ld3;        // expected-warning {{Use of 'long' with '__vector' is deprecated}} expected-error {{cannot use 'double' with '__vector'}}
  69 vector long double  v_ld4;           // expected-warning {{Use of 'long' with '__vector' is deprecated}} expected-error {{cannot use 'double' with '__vector'}}
  70 vector bool v_b;                     // expected-error {{error: C++ requires a type specifier for all declarations}}
  71 vector bool float v_bf;              // expected-error {{cannot use 'float' with '__vector bool'}}
  72 vector bool double v_bd;             // expected-error {{cannot use 'double' with '__vector bool'}}
  73 vector bool pixel v_bp;              // expected-error {{cannot use '__pixel' with '__vector bool'}}
  74 vector bool signed char v_bsc;       // expected-error {{cannot use 'signed' with '__vector bool'}}
  75 vector bool unsigned int v_bsc2;      // expected-error {{cannot use 'unsigned' with '__vector bool'}}
  76 vector bool long v_bl;               // expected-error {{cannot use 'long' with '__vector bool'}}
  77 vector bool long long v_bll;         // expected-error {{cannot use 'long long' with '__vector bool'}}
  78
  79 void f() {
  80   __vector unsigned int v = {0,0,0,0};
  81   __vector int v__cast = (__vector int)v;
  82   __vector int v_cast = (vector int)v;
  83   __vector char vb_cast = (vector char)v;
  84
  85   // Check some casting between gcc and altivec vectors.
  86   #define gccvector __attribute__((vector_size(16)))
  87   gccvector unsigned int gccv = {0,0,0,0};
  88   gccvector unsigned int gccv1 = gccv;
  89   gccvector int gccv2 = (gccvector int)gccv;
  90   gccvector unsigned int gccv3 = v;
  91   __vector unsigned int av = gccv;
  92   __vector int avi = (__vector int)gccv;
  93   gccvector unsigned int gv = v;
  94   gccvector int gvi = (gccvector int)v;
  95   __attribute__((vector_size(8))) unsigned int gv8;
  96   gv8 = gccv;     // expected-error {{assigning to '__attribute__((__vector_size__(2 * sizeof(unsigned int)))) unsigned int' from incompatible type '__attribute__((__vector_size__(4 * sizeof(unsigned int)))) unsigned int'}}
  97   av = gv8;       // expected-error {{assigning to '__vector unsigned int' from incompatible type '__attribute__((__vector_size__(2 * sizeof(unsigned int)))) unsigned int'}}
  98
  99   v = gccv;
 100   __vector unsigned int tv = gccv;
 101   gccv = v;
 102   gccvector unsigned int tgv = v;
 103 }
 104
 105 // Now for the C++ version:
 106
 107 class vc__v {
 108   __vector int v;
 109   __vector int f__r();
 110   void f__a(__vector int a);
 111   void f__a2(int b, __vector int a);
 112 };
 113
 114 class c_v {
 115   vector int v;
 116   vector int f__r();
 117   void f__a(vector int a);
 118   void f__a2(int b, vector int a);
 119 };
 120
 121
 122 // bug 6895 - Vectorl literal casting confusion.
 123 vector char v1 = (vector char)((vector int)(1, 2, 3, 4));
 124 vector char v2 = (vector char)((vector float)(1.0f, 2.0f, 3.0f, 4.0f));
 125 vector char v3 = (vector char)((vector int)('a', 'b', 'c', 'd'));
 126 vector int v4 = (vector int)(1, 2, 3, 4);
 127 vector float v5 = (vector float)(1.0f, 2.0f, 3.0f, 4.0f);
 128 vector char v6 = (vector char)((vector int)(1+2, -2, (int)(2.0 * 3), -(5-3)));
 129
 130 // bug 7553 - Problem with '==' and vectors
 131 void func() {
 132   bool res_b;
 133   res_b = (vv_sc == vv_sc);
 134   res_b = (vv_uc != vv_uc);
 135   res_b = (vv_s > vv_s);
 136   res_b = (vv_us >= vv_us);
 137   res_b = (vv_i < vv_i);
 138   res_b = (vv_ui <= vv_ui);
 139   res_b = (vv_f <= vv_f);
 140 }
 141
 142 // vecreturn attribute test
 143 struct Vector
 144 {
 145         __vector float xyzw;
 146 } __attribute__((vecreturn));
 147
 148 Vector Add(Vector lhs, Vector rhs)
 149 {
 150         Vector result;
 151         result.xyzw = vec_add(lhs.xyzw, rhs.xyzw);
 152         return result; // This will (eventually) be returned in a register
 153 }
 154
 155 // vecreturn attribute test - should error because of virtual function.
 156 class VectorClassNonPod
 157 {
 158         __vector float xyzw;
 159 public:
 160   VectorClassNonPod() {}
 161   virtual ~VectorClassNonPod() {}
 162 } __attribute__((vecreturn));     // expected-error {{the vecreturn attribute can only be used on a POD (plain old data) class or structure (i.e. no virtual functions)}}
 163
 164 // vecreturn attribute test - should error because of virtual function.
 165 class VectorClassMultipleMembers
 166 {
 167 public:
 168         __vector float xyzw;
 169         __vector float abcd;
 170 } __attribute__((vecreturn));     // expected-error {{the vecreturn attribute can only be used on a class or structure with one member, which must be a vector}}