test/CodeGen/builtins-ppc-quadword.c

   1 // REQUIRES: powerpc-registered-target
   2 // RUN: %clang_cc1 -faltivec -target-feature +power8-vector \
   3 // RUN: -triple powerpc64-unknown-unknown -emit-llvm %s -o - | FileCheck %s
   4
   5 // RUN: %clang_cc1 -faltivec -target-feature +power8-vector \
   6 // RUN: -triple powerpc64le-unknown-unknown -emit-llvm %s -o - \
   7 // RUN: | FileCheck %s -check-prefix=CHECK-LE
   8
   9 // RUN: not %clang_cc1 -faltivec -triple powerpc-unknown-unknown \
  10 // RUN: -emit-llvm %s -o - 2>&1 | FileCheck %s -check-prefix=CHECK-PPC
  11
  12 // CHECK-PPC: error: __int128 is not supported on this target
  13 vector signed __int128 vlll = { -1 };
  14 // CHECK-PPC: error: __int128 is not supported on this target
  15 vector unsigned __int128 vulll = { 1 };
  16
  17 // CHECK-PPC: error: __int128 is not supported on this target
  18 vector signed __int128 res_vlll;
  19 // CHECK-PPC: error: __int128 is not supported on this target
  20 vector unsigned __int128 res_vulll;
  21
  22
  23 // CHECK-LABEL: define void @test1
  24 void test1() {
  25
  26   /* vec_add */
  27   res_vlll = vec_add(vlll, vlll);
  28 // CHECK: add <1 x i128>
  29 // CHECK-LE: add <1 x i128>
  30 // CHECK-PPC: error: call to 'vec_add' is ambiguous
  31
  32   res_vulll = vec_add(vulll, vulll);
  33 // CHECK: add <1 x i128>
  34 // CHECK-LE: add <1 x i128>
  35 // CHECK-PPC: error: call to 'vec_add' is ambiguous
  36
  37   /* vec_vadduqm */
  38   res_vlll = vec_vadduqm(vlll, vlll);
  39 // CHECK: add <1 x i128>
  40 // CHECK-LE: add <1 x i128>
  41 // CHECK-PPC: error: assigning to '__vector __int128' (vector of 1 '__int128' value) from incompatible type 'int'
  42
  43   res_vulll = vec_vadduqm(vulll, vulll);
  44 // CHECK: add <1 x i128>
  45 // CHECK-LE: add <1 x i128>
  46 // CHECK-PPC: error: assigning to '__vector unsigned __int128' (vector of 1 'unsigned __int128' value) from incompatible type 'int'
  47
  48   /* vec_vaddeuqm */
  49   res_vlll = vec_vaddeuqm(vlll, vlll, vlll);
  50 // CHECK: @llvm.ppc.altivec.vaddeuqm
  51 // CHECK-LE: @llvm.ppc.altivec.vaddeuqm
  52 // CHECK-PPC: error: assigning to '__vector __int128' (vector of 1 '__int128' value) from incompatible type 'int'
  53
  54   res_vulll = vec_vaddeuqm(vulll, vulll, vulll);
  55 // CHECK: @llvm.ppc.altivec.vaddeuqm
  56 // CHECK-LE: @llvm.ppc.altivec.vaddeuqm
  57 // CHECK-PPC: error: assigning to '__vector unsigned __int128' (vector of 1 'unsigned __int128' value) from incompatible type 'int'
  58
  59   /* vec_addc */
  60   res_vlll = vec_addc(vlll, vlll);
  61 // CHECK: @llvm.ppc.altivec.vaddcuq
  62 // CHECK-LE: @llvm.ppc.altivec.vaddcuq
  63 // KCHECK-PPC: error: call to 'vec_addc' is ambiguous
  64
  65   res_vulll = vec_addc(vulll, vulll);
  66 // CHECK: @llvm.ppc.altivec.vaddcuq
  67 // CHECK-LE: @llvm.ppc.altivec.vaddcuq
  68 // KCHECK-PPC: error: call to 'vec_addc' is ambiguous
  69
  70
  71   /* vec_vaddcuq */
  72   res_vlll = vec_vaddcuq(vlll, vlll);
  73 // CHECK: @llvm.ppc.altivec.vaddcuq
  74 // CHECK-LE: @llvm.ppc.altivec.vaddcuq
  75 // CHECK-PPC: error: assigning to '__vector __int128' (vector of 1 '__int128' value) from incompatible type 'int'
  76
  77   res_vulll = vec_vaddcuq(vulll, vulll);
  78 // CHECK: @llvm.ppc.altivec.vaddcuq
  79 // CHECK-LE: @llvm.ppc.altivec.vaddcuq
  80 // CHECK-PPC: error: assigning to '__vector unsigned __int128' (vector of 1 'unsigned __int128' value) from incompatible type 'int'
  81
  82   /* vec_vaddecuq */
  83   res_vlll = vec_vaddecuq(vlll, vlll, vlll);
  84 // CHECK: @llvm.ppc.altivec.vaddecuq
  85 // CHECK-LE: @llvm.ppc.altivec.vaddecuq
  86 // CHECK-PPC: error: assigning to '__vector __int128' (vector of 1 '__int128' value) from incompatible type 'int'
  87
  88   res_vulll = vec_vaddecuq(vulll, vulll, vulll);
  89 // CHECK: @llvm.ppc.altivec.vaddecuq
  90 // CHECK-LE: @llvm.ppc.altivec.vaddecuq
  91 // CHECK-PPC: error: assigning to '__vector unsigned __int128' (vector of 1 'unsigned __int128' value) from incompatible type 'int'
  92
  93   /* vec_sub */
  94   res_vlll = vec_sub(vlll, vlll);
  95 // CHECK: sub <1 x i128>
  96 // CHECK-LE: sub <1 x i128>
  97 // CHECK-PPC: error: call to 'vec_sub' is ambiguous
  98
  99   res_vulll = vec_sub(vulll, vulll);
 100 // CHECK: sub <1 x i128>
 101 // CHECK-LE: sub <1 x i128>
 102 // CHECK-PPC: error: call to 'vec_sub' is ambiguous
 103
 104   /* vec_vsubuqm */
 105   res_vlll = vec_vsubuqm(vlll, vlll);
 106 // CHECK: sub <1 x i128>
 107 // CHECK-LE: sub <1 x i128>
 108 // CHECK-PPC: error: assigning to '__vector __int128' (vector of 1 '__int128' value) from incompatible type 'int'
 109
 110   res_vulll = vec_vsubuqm(vulll, vulll);
 111 // CHECK: sub <1 x i128>
 112 // CHECK-LE: sub <1 x i128>
 113 // CHECK-PPC: error: assigning to '__vector unsigned __int128' (vector of 1 'unsigned __int128' value) from incompatible type 'int'
 114
 115   /* vec_vsubeuqm */
 116   res_vlll = vec_vsubeuqm(vlll, vlll, vlll);
 117 // CHECK: @llvm.ppc.altivec.vsubeuqm
 118 // CHECK-LE: @llvm.ppc.altivec.vsubeuqm
 119 // CHECK-PPC: error: assigning to '__vector __int128' (vector of 1 '__int128' value) from incompatible type 'int'
 120
 121   res_vulll = vec_vsubeuqm(vulll, vulll, vulll);
 122 // CHECK: @llvm.ppc.altivec.vsubeuqm
 123 // CHECK-LE: @llvm.ppc.altivec.vsubeuqm
 124 // CHECK-PPC: error: assigning to '__vector unsigned __int128' (vector of 1 'unsigned __int128' value) from incompatible type 'int'
 125
 126   /* vec_subc */
 127   res_vlll = vec_subc(vlll, vlll);
 128 // CHECK: @llvm.ppc.altivec.vsubcuq
 129 // CHECK-LE: @llvm.ppc.altivec.vsubcuq
 130 // KCHECK-PPC: error: call to 'vec_subc' is ambiguous
 131
 132   res_vulll = vec_subc(vulll, vulll);
 133 // CHECK: @llvm.ppc.altivec.vsubcuq
 134 // CHECK-LE: @llvm.ppc.altivec.vsubcuq
 135 // KCHECK-PPC: error: call to 'vec_subc' is ambiguous
 136
 137   /* vec_vsubcuq */
 138   res_vlll = vec_vsubcuq(vlll, vlll);
 139 // CHECK: @llvm.ppc.altivec.vsubcuq
 140 // CHECK-LE: @llvm.ppc.altivec.vsubcuq
 141 // CHECK-PPC: error: assigning to '__vector __int128' (vector of 1 '__int128' value) from incompatible type 'int'
 142
 143   res_vulll = vec_vsubcuq(vulll, vulll);
 144 // CHECK: @llvm.ppc.altivec.vsubcuq
 145 // CHECK-LE: @llvm.ppc.altivec.vsubcuq
 146 // CHECK-PPC: error: assigning to '__vector unsigned __int128' (vector of 1 'unsigned __int128' value) from incompatible type 'int'
 147
 148   /* vec_vsubecuq */
 149   res_vlll = vec_vsubecuq(vlll, vlll, vlll);
 150 // CHECK: @llvm.ppc.altivec.vsubecuq
 151 // CHECK-LE: @llvm.ppc.altivec.vsubecuq
 152 // CHECK-PPC: error: assigning to '__vector __int128' (vector of 1 '__int128' value) from incompatible type 'int'
 153
 154   res_vulll = vec_vsubecuq(vulll, vulll, vulll);
 155 // CHECK: @llvm.ppc.altivec.vsubecuq
 156 // CHECK-LE: @llvm.ppc.altivec.vsubecuq
 157 // CHECK-PPC: error: assigning to '__vector unsigned __int128' (vector of 1 'unsigned __int128' value) from incompatible type 'int'
 158
 159 }