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