Activate Altivec "vector bool long long" for Power

[seurer]

Summary

This change activates "vector bool long long" (and alternate spellings) as a valid type for Altivec support for Power.

There are two test case updates for very basic testing. While I was editing cxx-altivec.cpp I also updated it to better match some other changes in altivec.c.

Note: "vector bool long" was not also added because its use is considered deprecated.

[hfinkel]

vector bool long long requires VSX, right? If so, we need to check for vsx support for it, and update the tests as appropriate.

/home/seurer/llvm/llvm-checkin/tools/clang/lib/Sema/DeclSpec.cpp

1000

Note: We have some vsx-predicated type checking here.

[wschmidt]

Agreed, please look at what was done for vector double in the code and the tests for examples.

[seurer]

I did not know about the VSX requirement and will update things accordingly.

Is there a list of stuff like that somewhere? I searched but did not find anything.

[wschmidt]

Actually, hm. POWER8 adds some instructions (like vpopcntd) that operate on v2i64 in the VMX registers. So really this will be somewhat dependent on Kit's current patch that enables that. All forms of vector long long should be enabled for VSX, as well as for Altivec + POWER8 (the Power8Altivec feature that Kit proposes).

[kbarton]

Yes, P8 added doubleword variations for several of the VMX instructions. My fix enables the v2i64 type for the VMX registers, which will be a prereq for these new variations. When talking with Bill, these should NOT be coupled with VSX, so we need to add the v2i64 type to the VRRC in addition to it being in the VSRC.

[seurer]

I added the check for VSX support being enabled and adjusted the test cases accordingly.

[wschmidt]

LGTM. Thanks, Bill!

[seurer]

Committed revision 231118

/home/seurer/llvm/llvm-checkin/tools/clang/lib/Sema/DeclSpec.cpp

if (TypeAltiVecBool) {
       if (((TypeSpecType != TST_unspecified) && (TypeSpecType != TST_char) &&
            (TypeSpecType != TST_int)) || TypeAltiVecPixel) {
         Diag(D, TSTLoc, diag::err_invalid_vector_bool_decl_spec)
           << (TypeAltiVecPixel ? "__pixel" :
                                  getSpecifierName((TST)TypeSpecType, Policy));
       }
 
       // Only 'short' is valid with vector bool. (PIM 2.1)
-      if ((TypeSpecWidth != TSW_unspecified) && (TypeSpecWidth != TSW_short))
+      if ((TypeSpecWidth != TSW_unspecified) && (TypeSpecWidth != TSW_short) &&
+          (TypeSpecWidth != TSW_longlong))
         Diag(D, TSWLoc, diag::err_invalid_vector_bool_decl_spec)
           << getSpecifierName((TSW)TypeSpecWidth);
 
       // Elements of vector bool are interpreted as unsigned. (PIM 2.1)
       if ((TypeSpecType == TST_char) || (TypeSpecType == TST_int) ||
           (TypeSpecWidth != TSW_unspecified))
         TypeSpecSign = TSS_unsigned;
     } else if (TypeSpecType == TST_double) {
       // vector long double and vector long long double are never allowed.
       // vector double is OK for Power7 and later.
       if (TypeSpecWidth == TSW_long || TypeSpecWidth == TSW_longlong)
         Diag(D, TSWLoc, diag::err_invalid_vector_long_double_decl_spec);
       else if (!PP.getTargetInfo().hasFeature("vsx"))
         Diag(D, TSTLoc, diag::err_invalid_vector_double_decl_spec);
     } else if (TypeSpecWidth == TSW_long) {
       Diag(D, TSWLoc, diag::warn_vector_long_decl_spec_combination)
         << getSpecifierName((TST)TypeSpecType, Policy);
     }
 
     if (TypeAltiVecPixel) {
       //TODO: perform validation

/home/seurer/llvm/llvm-checkin/tools/clang/test/Parser/altivec.c

 __vector unsigned short int vv_usi;
 __vector int vv_i;
 __vector signed int vv_sint;
 __vector unsigned int vv_ui;
 __vector float vv_f;
 __vector bool char vv_bc;
 __vector bool short vv_bs;
 __vector bool int vv_bi;
+__vector bool long long vv_bll;
 __vector __bool char vv___bc;
 __vector __bool short vv___bs;
-__vector __bool int vv_bi;
+__vector __bool int vv___bi;
+__vector __bool long long vv___bll;
 __vector __pixel vv_p;
 __vector pixel vv__p;
 __vector int vf__r();
 void vf__a(__vector int a);
 void vf__a2(int b, __vector int a);
 
 vector char v_c;
 vector signed char v_sc;
 vector unsigned char v_uc;
 vector short v_s;
 vector signed  short v_ss;
 vector unsigned  short v_us;
 vector short int v_si;
 vector signed short int v_ssi;
 vector unsigned short int v_usi;
 vector int v_i;
 vector signed int v_sint;
 vector unsigned int v_ui;
 vector float v_f;
 vector bool char v_bc;
 vector bool short v_bs;
 vector bool int v_bi;
+vector bool long long v_bll;
 vector __bool char v___bc;
 vector __bool short v___bs;
 vector __bool int v___bi;
+vector __bool long long v___bll;
 vector __pixel v_p;
 vector pixel v__p;
 vector int f__r();
 void f_a(vector int a);
 void f_a2(int b, vector int a);
 
 vector int v = (vector int)(-1);
 

 __vector long double  vv_ld3;        // expected-error {{cannot use 'long double' with '__vector'}}
 vector long double  v_ld4;           // expected-error {{cannot use 'long double' with '__vector'}}
 vector bool float v_bf;              // expected-error {{cannot use 'float' with '__vector bool'}}
 vector bool double v_bd;             // expected-error {{cannot use 'double' with '__vector bool'}}
 vector bool pixel v_bp;              // expected-error {{cannot use '__pixel' with '__vector bool'}}
 vector bool signed char v_bsc;       // expected-error {{cannot use 'signed' with '__vector bool'}}
 vector bool unsigned int v_bsc2;     // expected-error {{cannot use 'unsigned' with '__vector bool'}}
 vector bool long v_bl;               // expected-error {{cannot use 'long' with '__vector bool'}}
-vector bool long long v_bll;         // expected-error {{cannot use 'long long' with '__vector bool'}}
 vector __bool float v___bf;          // expected-error {{cannot use 'float' with '__vector bool'}}
 vector __bool double v___bd;         // expected-error {{cannot use 'double' with '__vector bool'}}
 vector __bool pixel v___bp;          // expected-error {{cannot use '__pixel' with '__vector bool'}}
 vector __bool signed char v___bsc;   // expected-error {{cannot use 'signed' with '__vector bool'}}
 vector __bool unsigned int v___bsc2; // expected-error {{cannot use 'unsigned' with '__vector bool'}}
 vector __bool long v___bl;           // expected-error {{cannot use 'long' with '__vector bool'}}
-vector __bool long long v___bll;     // expected-error {{cannot use 'long long' with '__vector bool'}}
 
 // vector long is deprecated, but vector long long is not.
 vector long long v_ll;
 vector signed long long v_sll;
 vector unsigned long long v_ull;
 
 typedef char i8;
 typedef short i16;

/home/seurer/llvm/llvm-checkin/tools/clang/test/Parser/cxx-altivec.cpp

 __vector unsigned short int vv_usi;
 __vector int vv_i;
 __vector signed int vv_sint;
 __vector unsigned int vv_ui;
 __vector float vv_f;
 __vector bool char vv_bc;
 __vector bool short vv_bs;
 __vector bool int vv_bi;
+__vector bool long long vv_bll;
+__vector __bool char vv___bc;
+__vector __bool short vv___bs;
+__vector __bool int vv___bi;
+__vector __bool long long vv___bll;
 __vector __pixel vv_p;
 __vector pixel vv__p;
 __vector int vf__r();
 void vf__a(__vector int a);
 void vf__a2(int b, __vector int a);
 
 vector char v_c;
 vector signed char v_sc;
 vector unsigned char v_uc;
 vector short v_s;
 vector signed  short v_ss;
 vector unsigned  short v_us;
 vector short int v_si;
 vector signed short int v_ssi;
 vector unsigned short int v_usi;
 vector int v_i;
 vector signed int v_sint;
 vector unsigned int v_ui;
 vector float v_f;
 vector bool char v_bc;
 vector bool short v_bs;
 vector bool int v_bi;
+vector bool long long v_bll;
+vector __bool char v___bc;
+vector __bool short v___bs;
+vector __bool int v___bi;
+vector __bool long long v___bll;
 vector __pixel v_p;
 vector pixel v__p;
 vector int f__r();
 void f_a(vector int a);
 void f_a2(int b, vector int a);
 
 vector int v = (vector int)(-1);
 

 vector double v_d2;                  // expected-error {{use of 'double' with '__vector' requires VSX support to be enabled (available on the POWER7 or later)}}
 __vector long double  vv_ld3;        // expected-error {{cannot use 'long double' with '__vector'}}
 vector long double  v_ld4;           // expected-error {{cannot use 'long double' with '__vector'}}
 vector bool v_b;                     // expected-error {{C++ requires a type specifier for all declarations}}
 vector bool float v_bf;              // expected-error {{cannot use 'float' with '__vector bool'}}
 vector bool double v_bd;             // expected-error {{cannot use 'double' with '__vector bool'}}
 vector bool pixel v_bp;              // expected-error {{cannot use '__pixel' with '__vector bool'}}
 vector bool signed char v_bsc;       // expected-error {{cannot use 'signed' with '__vector bool'}}
-vector bool unsigned int v_bsc2;      // expected-error {{cannot use 'unsigned' with '__vector bool'}}
+vector bool unsigned int v_bsc2;     // expected-error {{cannot use 'unsigned' with '__vector bool'}}
 vector bool long v_bl;               // expected-error {{cannot use 'long' with '__vector bool'}}
-vector bool long long v_bll;         // expected-error {{cannot use 'long long' with '__vector bool'}}
+vector __bool float v___bf;          // expected-error {{cannot use 'float' with '__vector bool'}}
+vector __bool double v___bd;         // expected-error {{cannot use 'double' with '__vector bool'}}
+vector __bool pixel v___bp;          // expected-error {{cannot use '__pixel' with '__vector bool'}}
+vector __bool signed char v___bsc;   // expected-error {{cannot use 'signed' with '__vector bool'}}
+vector __bool unsigned int v___bsc2; // expected-error {{cannot use 'unsigned' with '__vector bool'}}
+vector __bool long v___bl;           // expected-error {{cannot use 'long' with '__vector bool'}}
 
 // vector long is deprecated, but vector long long is not.
 vector long long v_ll;
 vector signed long long v_sll;
 vector unsigned long long v_ull;
 
 void f() {
   __vector unsigned int v = {0,0,0,0};