clang/test/Parser/lax-conv.cpp

   1 // RUN: %clang_cc1 -triple=powerpc64-unknown-linux-gnu -target-feature +altivec -target-feature +vsx -target-cpu pwr8 -fsyntax-only -verify=expected,nonaix %s
   2 // RUN: %clang_cc1 -triple=powerpc64le-unknown-linux-gnu -target-feature +altivec -target-feature +vsx -target-cpu pwr8 -fsyntax-only -verify=expected,novsx %s
   3 // RUN: %clang_cc1 -triple=powerpc64-ibm-aix -target-feature +altivec -target-feature +vsx -target-cpu pwr8 -fsyntax-only -verify=expected,aix %s
   4
   5 vector bool short vbs;
   6 vector signed short vss;
   7 vector unsigned short vus;
   8 vector bool int vbi;
   9 vector signed int vsi;
  10 vector unsigned int vui;
  11 vector bool long long vbl;
  12 vector signed long long vsl;
  13 vector unsigned long long vul;
  14 vector bool char vbc;
  15 vector signed char vsc;
  16 vector unsigned char vuc;
  17 vector pixel vp;
  18
  19 void dummy(vector unsigned int a);
  20 template <typename VEC> VEC __attribute__((noinline)) test(vector unsigned char a, vector unsigned char b) {
  21     return (VEC)(a * b);
  22 }
  23 vector unsigned int test1(vector unsigned char RetImplicitConv) {
  24   return RetImplicitConv; // expected-warning {{Implicit conversion between vector types (''__vector unsigned char' (vector of 16 'unsigned char' values)' and ''__vector unsigned int' (vector of 4 'unsigned int' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  25 }
  26 vector unsigned int test2(vector unsigned char RetImplicitConvAddConst) {
  27   return RetImplicitConvAddConst + 5; // expected-warning {{Implicit conversion between vector types (''__vector unsigned char' (vector of 16 'unsigned char' values)' and ''__vector unsigned int' (vector of 4 'unsigned int' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  28 }
  29 vector unsigned int test3(vector unsigned char RetExplicitConv) {
  30   return (vector unsigned int)RetExplicitConv;
  31 }
  32 vector unsigned int test4(vector unsigned char RetExplicitConvAddConst) {
  33   return (vector unsigned int)RetExplicitConvAddConst + 5;
  34 }
  35 vector unsigned int test5(vector unsigned char RetImplicitConvAddSame1,
  36                           vector unsigned char RetImplicitConvAddSame2) {
  37   return RetImplicitConvAddSame1 + RetImplicitConvAddSame2; // expected-warning {{Implicit conversion between vector types (''__vector unsigned char' (vector of 16 'unsigned char' values)' and ''__vector unsigned int' (vector of 4 'unsigned int' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  38 }
  39 vector unsigned int test6(vector unsigned char RetExplicitConvAddSame1,
  40                           vector unsigned char RetExplicitConvAddSame2) {
  41   return (vector unsigned int)RetExplicitConvAddSame1 +
  42          (vector unsigned int)RetExplicitConvAddSame2;
  43 }
  44 vector unsigned int test7(vector unsigned char RetExplicitConvAddSame1Full,
  45                           vector unsigned char RetExplicitConvAddSame2Full) {
  46   return (vector unsigned int)(RetExplicitConvAddSame1Full +
  47                                RetExplicitConvAddSame2Full);
  48 }
  49 vector unsigned char test8(vector unsigned char a, vector unsigned char b) {
  50     return test<vector unsigned char>(a, b);
  51 }
  52
  53 vector unsigned long long test9(vector unsigned char a, vector unsigned char b) {
  54     return test<vector unsigned long long>(a, b);
  55 }
  56 void test1a(vector unsigned char ArgImplicitConv) {
  57   return dummy(ArgImplicitConv); // expected-warning {{Implicit conversion between vector types (''__vector unsigned char' (vector of 16 'unsigned char' values)' and ''__vector unsigned int' (vector of 4 'unsigned int' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  58 }
  59 void test2a(vector unsigned char ArgImplicitConvAddConst) {
  60   return dummy(ArgImplicitConvAddConst + 5); // expected-warning {{Implicit conversion between vector types (''__vector unsigned char' (vector of 16 'unsigned char' values)' and ''__vector unsigned int' (vector of 4 'unsigned int' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  61 }
  62 void test3a(vector unsigned char ArgExplicitConv) {
  63   return dummy((vector unsigned int)ArgExplicitConv);
  64 }
  65 void test4a(vector unsigned char ArgExplicitConvAddConst) {
  66   return dummy((vector unsigned int)ArgExplicitConvAddConst + 5);
  67 }
  68 void test5a(vector unsigned char ArgImplicitConvAddSame1,
  69             vector unsigned char ArgImplicitConvAddSame2) {
  70   return dummy(ArgImplicitConvAddSame1 + ArgImplicitConvAddSame2); // expected-warning {{Implicit conversion between vector types (''__vector unsigned char' (vector of 16 'unsigned char' values)' and ''__vector unsigned int' (vector of 4 'unsigned int' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  71 }
  72 void test6a(vector unsigned char ArgExplicitConvAddSame1,
  73             vector unsigned char ArgExplicitConvAddSame2) {
  74   return dummy((vector unsigned int)ArgExplicitConvAddSame1 +
  75                (vector unsigned int)ArgExplicitConvAddSame2);
  76 }
  77 void test7a(vector unsigned char ArgExplicitConvAddSame1Full,
  78             vector unsigned char ArgExplicitConvAddSame2Full) {
  79   return dummy((vector unsigned int)(ArgExplicitConvAddSame1Full +
  80                                      ArgExplicitConvAddSame2Full));
  81 }
  82 void test_bool_compat(void) {
  83   vbs = vss; // expected-warning {{Implicit conversion between vector types (''__vector short' (vector of 8 'short' values)' and ''__vector __bool unsigned short' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  84   vbs = vus; // expected-warning {{Implicit conversion between vector types (''__vector unsigned short' (vector of 8 'unsigned short' values)' and ''__vector __bool unsigned short' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  85
  86   vbi = vsi; // expected-warning {{Implicit conversion between vector types (''__vector int' (vector of 4 'int' values)' and ''__vector __bool unsigned int' (vector of 4 'unsigned int' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  87   vbi = vui; // expected-warning {{Implicit conversion between vector types (''__vector unsigned int' (vector of 4 'unsigned int' values)' and ''__vector __bool unsigned int' (vector of 4 'unsigned int' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  88
  89   vbl = vsl; // expected-warning {{Implicit conversion between vector types (''__vector long long' (vector of 2 'long long' values)' and ''__vector __bool unsigned long long' (vector of 2 'unsigned long long' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  90   vbl = vul; // expected-warning {{Implicit conversion between vector types (''__vector unsigned long long' (vector of 2 'unsigned long long' values)' and ''__vector __bool unsigned long long' (vector of 2 'unsigned long long' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  91
  92   vbc = vsc; // expected-warning {{Implicit conversion between vector types (''__vector signed char' (vector of 16 'signed char' values)' and ''__vector __bool unsigned char' (vector of 16 'unsigned char' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  93   vbc = vuc; // expected-warning {{Implicit conversion between vector types (''__vector unsigned char' (vector of 16 'unsigned char' values)' and ''__vector __bool unsigned char' (vector of 16 'unsigned char' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  94 }
  95
  96 void test_pixel_compat(void) {
  97   vp = vbs; // expected-warning {{Implicit conversion between vector types (''__vector __bool unsigned short' (vector of 8 'unsigned short' values)' and ''__vector __pixel ' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  98   vp = vss; // expected-warning {{Implicit conversion between vector types (''__vector short' (vector of 8 'short' values)' and ''__vector __pixel ' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
  99   vp = vus; // expected-warning {{Implicit conversion between vector types (''__vector unsigned short' (vector of 8 'unsigned short' values)' and ''__vector __pixel ' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
 100
 101   vp = vbi; // expected-warning {{Implicit conversion between vector types (''__vector __bool unsigned int' (vector of 4 'unsigned int' values)' and ''__vector __pixel ' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
 102   vp = vsi; // expected-warning {{Implicit conversion between vector types (''__vector int' (vector of 4 'int' values)' and ''__vector __pixel ' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
 103   vp = vui; // expected-warning {{Implicit conversion between vector types (''__vector unsigned int' (vector of 4 'unsigned int' values)' and ''__vector __pixel ' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
 104
 105   vp = vbl; // expected-warning {{Implicit conversion between vector types (''__vector __bool unsigned long long' (vector of 2 'unsigned long long' values)' and ''__vector __pixel ' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
 106   vp = vsl; // expected-warning {{Implicit conversion between vector types (''__vector long long' (vector of 2 'long long' values)' and ''__vector __pixel ' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
 107   vp = vul; // expected-warning {{Implicit conversion between vector types (''__vector unsigned long long' (vector of 2 'unsigned long long' values)' and ''__vector __pixel ' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
 108
 109   vp = vbc; // expected-warning {{Implicit conversion between vector types (''__vector __bool unsigned char' (vector of 16 'unsigned char' values)' and ''__vector __pixel ' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
 110   vp = vsc; // expected-warning {{Implicit conversion between vector types (''__vector signed char' (vector of 16 'signed char' values)' and ''__vector __pixel ' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
 111   vp = vuc; // expected-warning {{Implicit conversion between vector types (''__vector unsigned char' (vector of 16 'unsigned char' values)' and ''__vector __pixel ' (vector of 8 'unsigned short' values)') is deprecated. In the future, the behavior implied by '-fno-lax-vector-conversions' will be the default.}}
 112 }