1 // REQUIRES: powerpc-registered-target
2 // RUN: %clang_cc1 -triple powerpc64le-gnu-linux -target-feature +vsx \
3 // RUN: -emit-llvm %s -o - | FileCheck --check-prefix=CHECK-UNCONSTRAINED %s
4 // RUN: %clang_cc1 -triple powerpc64le-gnu-linux -target-feature +vsx \
5 // RUN: -ffp-exception-behavior=strict -emit-llvm %s -o - | FileCheck \
6 // RUN: --check-prefix=CHECK-CONSTRAINED -vv %s
7 // RUN: %clang_cc1 -triple powerpc64le-gnu-linux -target-feature +vsx \
8 // RUN: -S -o - %s | \
9 // RUN: FileCheck --check-prefix=CHECK-ASM --check-prefix=NOT-FIXME-CHECK %s
10 // RUN: %clang_cc1 -triple powerpc64le-gnu-linux -target-feature +vsx \
11 // RUN: -S -ffp-exception-behavior=strict \
12 // RUN: -o - %s | FileCheck --check-prefix=CHECK-ASM \
13 // RUN: --check-prefix=FIXME-CHECK %s
14 // RUN: %clang_cc1 -triple powerpcspe -ffp-exception-behavior=strict \
15 // RUN: -target-feature +vsx -fexperimental-strict-floating-point -emit-llvm \
16 // RUN: %s -o - | FileCheck --check-prefix=CHECK-CONSTRAINED %s
17
18 typedef __attribute__((vector_size(4 * sizeof(float)))) float vec_float;
19 typedef __attribute__((vector_size(2 * sizeof(double)))) double vec_double;
20
21 volatile vec_double vd;
22 volatile vec_float vf;
23
test_float(void)24 void test_float(void) {
25 vf = __builtin_vsx_xvsqrtsp(vf);
26 // CHECK-LABEL: try-xvsqrtsp
27 // CHECK-UNCONSTRAINED: @llvm.sqrt.v4f32(<4 x float> %{{.*}})
28 // CHECK-CONSTRAINED: @llvm.experimental.constrained.sqrt.v4f32(<4 x float> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
29 // CHECK-ASM: xvsqrtsp
30
31 vd = __builtin_vsx_xvsqrtdp(vd);
32 // CHECK-LABEL: try-xvsqrtdp
33 // CHECK-UNCONSTRAINED: @llvm.sqrt.v2f64(<2 x double> %{{.*}})
34 // CHECK-CONSTRAINED: @llvm.experimental.constrained.sqrt.v2f64(<2 x double> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
35 // CHECK-ASM: xvsqrtdp
36
37 vf = __builtin_vsx_xvrspim(vf);
38 // CHECK-LABEL: try-xvrspim
39 // CHECK-UNCONSTRAINED: @llvm.floor.v4f32(<4 x float> %{{.*}})
40 // CHECK-CONSTRAINED: @llvm.experimental.constrained.floor.v4f32(<4 x float> %{{.*}}, metadata !"fpexcept.strict")
41 // CHECK-ASM: xvrspim
42
43 vd = __builtin_vsx_xvrdpim(vd);
44 // CHECK-LABEL: try-xvrdpim
45 // CHECK-UNCONSTRAINED: @llvm.floor.v2f64(<2 x double> %{{.*}})
46 // CHECK-CONSTRAINED: @llvm.experimental.constrained.floor.v2f64(<2 x double> %{{.*}}, metadata !"fpexcept.strict")
47 // CHECK-ASM: xvrdpim
48
49 vf = __builtin_vsx_xvrspi(vf);
50 // CHECK-LABEL: try-xvrspi
51 // CHECK-UNCONSTRAINED: @llvm.round.v4f32(<4 x float> %{{.*}})
52 // CHECK-CONSTRAINED: @llvm.experimental.constrained.round.v4f32(<4 x float> %{{.*}}, metadata !"fpexcept.strict")
53 // CHECK-ASM: xvrspi
54
55 vd = __builtin_vsx_xvrdpi(vd);
56 // CHECK-LABEL: try-xvrdpi
57 // CHECK-UNCONSTRAINED: @llvm.round.v2f64(<2 x double> %{{.*}})
58 // CHECK-CONSTRAINED: @llvm.experimental.constrained.round.v2f64(<2 x double> %{{.*}}, metadata !"fpexcept.strict")
59 // CHECK-ASM: xvrdpi
60
61 vf = __builtin_vsx_xvrspic(vf);
62 // CHECK-LABEL: try-xvrspic
63 // CHECK-UNCONSTRAINED: @llvm.rint.v4f32(<4 x float> %{{.*}})
64 // CHECK-CONSTRAINED: @llvm.experimental.constrained.rint.v4f32(<4 x float> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
65 // CHECK-ASM: xvrspic
66
67 vd = __builtin_vsx_xvrdpic(vd);
68 // CHECK-LABEL: try-xvrdpic
69 // CHECK-UNCONSTRAINED: @llvm.rint.v2f64(<2 x double> %{{.*}})
70 // CHECK-CONSTRAINED: @llvm.experimental.constrained.rint.v2f64(<2 x double> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
71 // CHECK-ASM: xvrdpic
72
73 vf = __builtin_vsx_xvrspip(vf);
74 // CHECK-LABEL: try-xvrspip
75 // CHECK-UNCONSTRAINED: @llvm.ceil.v4f32(<4 x float> %{{.*}})
76 // CHECK-CONSTRAINED: @llvm.experimental.constrained.ceil.v4f32(<4 x float> %{{.*}}, metadata !"fpexcept.strict")
77 // CHECK-ASM: xvrspip
78
79 vd = __builtin_vsx_xvrdpip(vd);
80 // CHECK-LABEL: try-xvrdpip
81 // CHECK-UNCONSTRAINED: @llvm.ceil.v2f64(<2 x double> %{{.*}})
82 // CHECK-CONSTRAINED: @llvm.experimental.constrained.ceil.v2f64(<2 x double> %{{.*}}, metadata !"fpexcept.strict")
83 // CHECK-ASM: xvrdpip
84
85 vf = __builtin_vsx_xvrspiz(vf);
86 // CHECK-LABEL: try-xvrspiz
87 // CHECK-UNCONSTRAINED: @llvm.trunc.v4f32(<4 x float> %{{.*}})
88 // CHECK-CONSTRAINED: @llvm.experimental.constrained.trunc.v4f32(<4 x float> %{{.*}}, metadata !"fpexcept.strict")
89 // CHECK-ASM: xvrspiz
90
91 vd = __builtin_vsx_xvrdpiz(vd);
92 // CHECK-LABEL: try-xvrdpiz
93 // CHECK-UNCONSTRAINED: @llvm.trunc.v2f64(<2 x double> %{{.*}})
94 // CHECK-CONSTRAINED: @llvm.experimental.constrained.trunc.v2f64(<2 x double> %{{.*}}, metadata !"fpexcept.strict")
95 // CHECK-ASM: xvrdpiz
96
97 vf = __builtin_vsx_xvmaddasp(vf, vf, vf);
98 // CHECK-LABEL: try-xvmaddasp
99 // CHECK-UNCONSTRAINED: @llvm.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}})
100 // CHECK-CONSTRAINED: @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
101 // CHECK-ASM: xvmaddasp
102
103 vd = __builtin_vsx_xvmaddadp(vd, vd, vd);
104 // CHECK-LABEL: try-xvmaddadp
105 // CHECK-UNCONSTRAINED: @llvm.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}})
106 // CHECK-CONSTRAINED: @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
107 // CHECK-ASM: xvmaddadp
108
109 vf = __builtin_vsx_xvnmaddasp(vf, vf, vf);
110 // CHECK-LABEL: try-xvnmaddasp
111 // CHECK-UNCONSTRAINED: [[RESULT:%[^ ]+]] = call <4 x float> @llvm.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}})
112 // CHECK-UNCONSTRAINED: fneg <4 x float> [[RESULT]]
113 // CHECK-CONSTRAINED: [[RESULT:%[^ ]+]] = call <4 x float> @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
114 // CHECK-CONSTRAINED: fneg <4 x float> [[RESULT]]
115 // NOT-FIXME-CHECK: xvnmaddasp
116 // FIXME-CHECK: xvmaddasp
117 // FIXME-CHECK: xvnegsp
118
119 vd = __builtin_vsx_xvnmaddadp(vd, vd, vd);
120 // CHECK-LABEL: try-xvnmaddadp
121 // CHECK-UNCONSTRAINED: [[RESULT:%[^ ]+]] = call <2 x double> @llvm.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}})
122 // CHECK-UNCONSTRAINED: fneg <2 x double> [[RESULT]]
123 // CHECK-CONSTRAINED: [[RESULT:%[^ ]+]] = call <2 x double> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict")
124 // CHECK-CONSTRAINED: fneg <2 x double> [[RESULT]]
125 // CHECK-ASM: xvnmaddadp
126
127 vf = __builtin_vsx_xvmsubasp(vf, vf, vf);
128 // CHECK-LABEL: try-xvmsubasp
129 // CHECK-UNCONSTRAINED: [[RESULT:%[^ ]+]] = fneg <4 x float> %{{.*}}
130 // CHECK-UNCONSTRAINED: @llvm.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> [[RESULT]])
131 // CHECK-CONSTRAINED: [[RESULT:%[^ ]+]] = fneg <4 x float> %{{.*}}
132 // CHECK-CONSTRAINED: @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> [[RESULT]], metadata !"round.tonearest", metadata !"fpexcept.strict")
133 // CHECK-ASM: xvmsubasp
134
135 vd = __builtin_vsx_xvmsubadp(vd, vd, vd);
136 // CHECK-LABEL: try-xvmsubadp
137 // CHECK-UNCONSTRAINED: [[RESULT:%[^ ]+]] = fneg <2 x double> %{{.*}}
138 // CHECK-UNCONSTRAINED: @llvm.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> [[RESULT]])
139 // CHECK-CONSTRAINED: [[RESULT:%[^ ]+]] = fneg <2 x double> %{{.*}}
140 // CHECK-CONSTRAINED: @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> [[RESULT]], metadata !"round.tonearest", metadata !"fpexcept.strict")
141 // CHECK-ASM: xvmsubadp
142
143 vf = __builtin_vsx_xvnmsubasp(vf, vf, vf);
144 // CHECK-LABEL: try-xvnmsubasp
145 // CHECK-UNCONSTRAINED: call <4 x float> @llvm.ppc.fnmsub.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> %{{.*}})
146 // CHECK-CONSTRAINED: [[RESULT0:%[^ ]+]] = fneg <4 x float> %{{.*}}
147 // CHECK-CONSTRAINED: [[RESULT1:%[^ ]+]] = call <4 x float> @llvm.experimental.constrained.fma.v4f32(<4 x float> %{{.*}}, <4 x float> %{{.*}}, <4 x float> [[RESULT0]], metadata !"round.tonearest", metadata !"fpexcept.strict")
148 // CHECK-CONSTRAINED: fneg <4 x float> [[RESULT1]]
149 // CHECK-ASM: xvnmsubasp
150
151 vd = __builtin_vsx_xvnmsubadp(vd, vd, vd);
152 // CHECK-LABEL: try-xvnmsubadp
153 // CHECK-UNCONSTRAINED: call <2 x double> @llvm.ppc.fnmsub.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> %{{.*}})
154 // CHECK-CONSTRAINED: [[RESULT0:%[^ ]+]] = fneg <2 x double> %{{.*}}
155 // CHECK-CONSTRAINED: [[RESULT1:%[^ ]+]] = call <2 x double> @llvm.experimental.constrained.fma.v2f64(<2 x double> %{{.*}}, <2 x double> %{{.*}}, <2 x double> [[RESULT0]], metadata !"round.tonearest", metadata !"fpexcept.strict")
156 // CHECK-CONSTRAINED: fneg <2 x double> [[RESULT1]]
157 // CHECK-ASM: xvnmsubadp
158 }
159