clang/test/CodeGen/SystemZ/builtins-systemz-vector-constrained.c

   1 // REQUIRES: systemz-registered-target
   2 // RUN: %clang_cc1 -target-cpu z13 -triple s390x-ibm-linux -flax-vector-conversions=none \
   3 // RUN: -ffp-exception-behavior=strict -Wall -Wno-unused -Werror -emit-llvm %s -o - | FileCheck %s
   4
   5 typedef __attribute__((vector_size(16))) signed long long vec_slong;
   6 typedef __attribute__((vector_size(16))) double vec_double;
   7
   8 volatile vec_slong vsl;
   9 volatile vec_double vd;
  10
  11 int cc;
  12
  13 void test_float(void) {
  14   vsl = __builtin_s390_vfcedbs(vd, vd, &cc);
  15   // CHECK: call { <2 x i64>, i32 } @llvm.s390.vfcedbs(<2 x double> %{{.*}}, <2 x double> %{{.*}})
  16   vsl = __builtin_s390_vfchdbs(vd, vd, &cc);
  17   // CHECK: call { <2 x i64>, i32 } @llvm.s390.vfchdbs(<2 x double> %{{.*}}, <2 x double> %{{.*}})
  18   vsl = __builtin_s390_vfchedbs(vd, vd, &cc);
  19   // CHECK: call { <2 x i64>, i32 } @llvm.s390.vfchedbs(<2 x double> %{{.*}}, <2 x double> %{{.*}})
  20
  21   vsl = __builtin_s390_vftcidb(vd, 0, &cc);
  22   // CHECK: call { <2 x i64>, i32 } @llvm.s390.vftcidb(<2 x double> %{{.*}}, i32 0)
  23   vsl = __builtin_s390_vftcidb(vd, 4095, &cc);
  24   // CHECK: call { <2 x i64>, i32 } @llvm.s390.vftcidb(<2 x double> %{{.*}}, i32 4095)
  25
  26   vd = __builtin_s390_vfsqdb(vd);
  27   // CHECK: call <2 x double> @llvm.experimental.constrained.sqrt.v2f64(<2 x double> %{{.*}})
  28
  29   vd = __builtin_s390_vfmadb(vd, vd, vd);
  30   // CHECK: call <2 x double> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}})
  31   vd = __builtin_s390_vfmsdb(vd, vd, vd);
  32   // CHECK: [[NEG:%[^ ]+]] = fneg <2 x double> {{.*}}
  33   // CHECK: call <2 x double> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> [[NEG]], {{.*}})
  34
  35   vd = __builtin_s390_vflpdb(vd);
  36   // CHECK: call <2 x double> @llvm.fabs.v2f64(<2 x double> %{{.*}})
  37   vd = __builtin_s390_vflndb(vd);
  38   // CHECK: [[ABS:%[^ ]+]] = call <2 x double> @llvm.fabs.v2f64(<2 x double> %{{.*}})
  39   // CHECK: fneg <2 x double> [[ABS]]
  40
  41   vd = __builtin_s390_vfidb(vd, 0, 0);
  42   // CHECK: call <2 x double> @llvm.experimental.constrained.rint.v2f64(<2 x double> %{{.*}})
  43   vd = __builtin_s390_vfidb(vd, 4, 0);
  44   // CHECK: call <2 x double> @llvm.experimental.constrained.nearbyint.v2f64(<2 x double> %{{.*}})
  45   vd = __builtin_s390_vfidb(vd, 4, 1);
  46   // CHECK: call <2 x double> @llvm.experimental.constrained.round.v2f64(<2 x double> %{{.*}})
  47   vd = __builtin_s390_vfidb(vd, 4, 5);
  48   // CHECK: call <2 x double> @llvm.experimental.constrained.trunc.v2f64(<2 x double> %{{.*}})
  49   vd = __builtin_s390_vfidb(vd, 4, 6);
  50   // CHECK: call <2 x double> @llvm.experimental.constrained.ceil.v2f64(<2 x double> %{{.*}})
  51   vd = __builtin_s390_vfidb(vd, 4, 7);
  52   // CHECK: call <2 x double> @llvm.experimental.constrained.floor.v2f64(<2 x double> %{{.*}})
  53   vd = __builtin_s390_vfidb(vd, 4, 4);
  54   // CHECK: call <2 x double> @llvm.s390.vfidb(<2 x double> %{{.*}}, i32 4, i32 4)
  55 }