Page MenuHomePhabricator
Differential D27028 Diff 80354 test/CodeGen/X86/fp-intrinsics.ll

Changeset View

Standalone View

View Options

test/CodeGen/X86/fp-intrinsics.ll

1​; RUN: llc -O3 -mtriple=x86_64-pc-linux < %s | FileCheck %s
2​
3​; Verify that constants aren't folded to inexact results when the rounding mode
4​; is unknown.
5​;
6​; double f1() {
7​; // Because 0.1 cannot be represented exactly, this shouldn't be folded.
8​; return 1.0/10.0;
9​; }
10​;
11​; CHECK-LABEL: f1
12​; CHECK: divsd
13​define double @f1() {
14​entry:
15​ %div = call double @llvm.experimental.constrained.fdiv.f64(
16​ double 1.000000e+00,
17​ double 1.000000e+01,
18​ metadata !"round.dynamic",
19​ metadata !"fpexcept.strict")
20​ ret double %div
21​}
22​
23​; Verify that 'a - 0' isn't simplified to 'a' when the rounding mode is unknown.
24​;
25​; double f2(double a) {
26​; // Because the result of '0 - 0' is negative zero if rounding mode is
27​; // downward, this shouldn't be simplified.
28​; return a - 0;
29​; }
30​;
31​; CHECK-LABEL: f2
32​; CHECK: subsd
33​define double @f2(double %a) {
34​entry:
35​ %div = call double @llvm.experimental.constrained.fsub.f64(
36​ double %a,
37​ double 0.000000e+00,
38​ metadata !"round.dynamic",
39​ metadata !"fpexcept.strict")
40​ ret double %div
41​}
42​
43​; Verify that '-((-a)*b)' isn't simplified to 'a*b' when the rounding mode is
44​; unknown.
45​;
46​; double f3(double a, double b) {
47​; // Because the intermediate value involved in this calculation may require
48​; // rounding, this shouldn't be simplified.
49​; return -((-a)*b);
50​; }
51​;
52​; CHECK-LABEL: f3:
53​; CHECK: subsd
54​; CHECK: mulsd
55​; CHECK: subsd
56​define double @f3(double %a, double %b) {
57​entry:
58​ %sub = call double @llvm.experimental.constrained.fsub.f64(
59​ double -0.000000e+00, double %a,
60​ metadata !"round.dynamic",
61​ metadata !"fpexcept.strict")
62​ %mul = call double @llvm.experimental.constrained.fmul.f64(
63​ double %sub, double %b,
64​ metadata !"round.dynamic",
65​ metadata !"fpexcept.strict")
66​ %ret = call double @llvm.experimental.constrained.fsub.f64(
67​ double -0.000000e+00,
68​ double %mul,
69​ metadata !"round.dynamic",
70​ metadata !"fpexcept.strict")
71​ ret double %ret
72​}
73​
74​; Verify that FP operations are not performed speculatively when FP exceptions
75​; are not being ignored.
76​;
77​; double f4(int n, double a) {
78​; // Because a + 1 may overflow, this should not be simplified.
79​; if (n > 0)
80​; return a + 1.0;
81​; return a;
82​; }
83​;
84​;
85​; CHECK-LABEL: f4:
86​; CHECK: testl
87​; CHECK: jle
88​; CHECK: addsd
89​define double @f4(i32 %n, double %a) {
90​entry:
91​ %cmp = icmp sgt i32 %n, 0
92​ br i1 %cmp, label %if.then, label %if.end
93​
94​if.then:
95​ %add = call double @llvm.experimental.constrained.fadd.f64(
96​ double 1.000000e+00, double %a,
97​ metadata !"round.dynamic",
98​ metadata !"fpexcept.strict")
99​ br label %if.end
100​
101​if.end:
102​ %a.0 = phi double [%add, %if.then], [ %a, %entry ]
103​ ret double %a.0
104​}
105​
106​
107​@llvm.fp.env = thread_local global i8 zeroinitializer, section "llvm.metadata"
108​declare double @llvm.experimental.constrained.fdiv.f64(double, double, metadata, metadata)
109​declare double @llvm.experimental.constrained.fmul.f64(double, double, metadata, metadata)
110​declare double @llvm.experimental.constrained.fadd.f64(double, double, metadata, metadata)
111​declare double @llvm.experimental.constrained.fsub.f64(double, double, metadata, metadata)