Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / a69bbe02a2352271e8b14542073f177e24c499c1 / . / llvm / test / Transforms / Util / libcalls-shrinkwrap-long-double.ll
blob: 54a31e5173f51f79a806146d8c8f958df138e3bd [file] [log] [blame]
Eric Christophercee313d2019-04-17 04:52:47 +0000[diff] [blame]1; RUN: opt < %s -libcalls-shrinkwrap -S | FileCheck %s
2; New PM
3; RUN: opt < %s -passes=libcalls-shrinkwrap -S | FileCheck %s
4
5target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
6target triple = "x86_64-unknown-linux-gnu"
7
8define void @test_range_error(x86_fp80 %value) {
9entry:
10 %call_0 = call x86_fp80 @coshl(x86_fp80 %value)
11; CHECK: [[COND1:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xKC00CB174000000000000
12; CHECK: [[COND2:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK400CB174000000000000
13; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
14; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT:[0-9]+]]
15; CHECK: [[CALL_LABEL]]:
16; CHECK-NEXT: %call_0 = call x86_fp80 @coshl(x86_fp80 %value)
17; CHECK-NEXT: br label %[[END_LABEL]]
18; CHECK: [[END_LABEL]]:
19
20 %call_1 = call x86_fp80 @expl(x86_fp80 %value)
21; CHECK: [[COND1:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xKC00CB21C000000000000
22; CHECK: [[COND2:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK400CB170000000000000
23; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
24; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
25; CHECK: [[CALL_LABEL]]:
26; CHECK-NEXT: %call_1 = call x86_fp80 @expl(x86_fp80 %value)
27; CHECK-NEXT: br label %[[END_LABEL]]
28; CHECK: [[END_LABEL]]:
29
30 %call_3 = call x86_fp80 @exp2l(x86_fp80 %value)
31; CHECK: [[COND1:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xKC00D807A000000000000
32; CHECK: [[COND2:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK400CB1DC000000000000
33; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
34; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
35; CHECK: [[CALL_LABEL]]:
36; CHECK-NEXT: %call_3 = call x86_fp80 @exp2l(x86_fp80 %value)
37; CHECK-NEXT: br label %[[END_LABEL]]
38; CHECK: [[END_LABEL]]:
39
40 %call_4 = call x86_fp80 @sinhl(x86_fp80 %value)
41; CHECK: [[COND1:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xKC00CB174000000000000
42; CHECK: [[COND2:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK400CB174000000000000
43; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
44; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
45; CHECK: [[CALL_LABEL]]:
46; CHECK-NEXT: %call_4 = call x86_fp80 @sinhl(x86_fp80 %value)
47; CHECK-NEXT: br label %[[END_LABEL]]
48; CHECK: [[END_LABEL]]:
49
50 %call_5 = call x86_fp80 @expm1l(x86_fp80 %value)
51; CHECK: [[COND:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK400CB170000000000000
52; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
53; CHECK: [[CALL_LABEL]]:
54; CHECK-NEXT: %call_5 = call x86_fp80 @expm1l(x86_fp80 %value)
55; CHECK-NEXT: br label %[[END_LABEL]]
56; CHECK: [[END_LABEL]]:
57
58 ret void
59}
60
61declare x86_fp80 @coshl(x86_fp80)
62declare x86_fp80 @expl(x86_fp80)
63declare x86_fp80 @exp10l(x86_fp80)
64declare x86_fp80 @exp2l(x86_fp80)
65declare x86_fp80 @sinhl(x86_fp80)
66declare x86_fp80 @expm1l(x86_fp80)
67
68define void @test_domain_error(x86_fp80 %value) {
69entry:
70 %call_00 = call x86_fp80 @acosl(x86_fp80 %value)
71; CHECK: [[COND1:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK3FFF8000000000000000
72; CHECK: [[COND2:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xKBFFF8000000000000000
73; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
74; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
75; CHECK: [[CALL_LABEL]]:
76; CHECK-NEXT: %call_00 = call x86_fp80 @acosl(x86_fp80 %value)
77; CHECK-NEXT: br label %[[END_LABEL]]
78; CHECK: [[END_LABEL]]:
79
80 %call_01 = call x86_fp80 @asinl(x86_fp80 %value)
81; CHECK: [[COND1:%[0-9]+]] = fcmp ogt x86_fp80 %value, 0xK3FFF8000000000000000
82; CHECK: [[COND2:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xKBFFF8000000000000000
83; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
84; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
85; CHECK: [[CALL_LABEL]]:
86; CHECK-NEXT: %call_01 = call x86_fp80 @asinl(x86_fp80 %value)
87; CHECK-NEXT: br label %[[END_LABEL]]
88; CHECK: [[END_LABEL]]:
89
90 %call_02 = call x86_fp80 @cosl(x86_fp80 %value)
91; CHECK: [[COND1:%[0-9]+]] = fcmp oeq x86_fp80 %value, 0xKFFFF8000000000000000
92; CHECK: [[COND2:%[0-9]+]] = fcmp oeq x86_fp80 %value, 0xK7FFF8000000000000000
93; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
94; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
95; CHECK: [[CALL_LABEL]]:
96; CHECK-NEXT: %call_02 = call x86_fp80 @cosl(x86_fp80 %value)
97; CHECK-NEXT: br label %[[END_LABEL]]
98; CHECK: [[END_LABEL]]:
99
100 %call_03 = call x86_fp80 @sinl(x86_fp80 %value)
101; CHECK: [[COND1:%[0-9]+]] = fcmp oeq x86_fp80 %value, 0xKFFFF8000000000000000
102; CHECK: [[COND2:%[0-9]+]] = fcmp oeq x86_fp80 %value, 0xK7FFF8000000000000000
103; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
104; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
105; CHECK: [[CALL_LABEL]]:
106; CHECK-NEXT: %call_03 = call x86_fp80 @sinl(x86_fp80 %value)
107; CHECK-NEXT: br label %[[END_LABEL]]
108; CHECK: [[END_LABEL]]:
109
110 %call_04 = call x86_fp80 @acoshl(x86_fp80 %value)
111; CHECK: [[COND:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xK3FFF8000000000000000
112; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
113; CHECK: [[CALL_LABEL]]:
114; CHECK-NEXT: %call_04 = call x86_fp80 @acoshl(x86_fp80 %value)
115; CHECK-NEXT: br label %[[END_LABEL]]
116; CHECK: [[END_LABEL]]:
117
118 %call_05 = call x86_fp80 @sqrtl(x86_fp80 %value)
119; CHECK: [[COND:%[0-9]+]] = fcmp olt x86_fp80 %value, 0xK00000000000000000000
120; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
121; CHECK: [[CALL_LABEL]]:
122; CHECK-NEXT: %call_05 = call x86_fp80 @sqrtl(x86_fp80 %value)
123; CHECK-NEXT: br label %[[END_LABEL]]
124; CHECK: [[END_LABEL]]:
125
126 %call_06 = call x86_fp80 @atanhl(x86_fp80 %value)
127; CHECK: [[COND1:%[0-9]+]] = fcmp oge x86_fp80 %value, 0xK3FFF8000000000000000
128; CHECK: [[COND2:%[0-9]+]] = fcmp ole x86_fp80 %value, 0xKBFFF8000000000000000
129; CHECK: [[COND:%[0-9]+]] = or i1 [[COND2]], [[COND1]]
130; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
131; CHECK: [[CALL_LABEL]]:
132; CHECK-NEXT: %call_06 = call x86_fp80 @atanhl(x86_fp80 %value)
133; CHECK-NEXT: br label %[[END_LABEL]]
134; CHECK: [[END_LABEL]]:
135
136 %call_07 = call x86_fp80 @logl(x86_fp80 %value)
137; CHECK: [[COND:%[0-9]+]] = fcmp ole x86_fp80 %value, 0xK00000000000000000000
138; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
139; CHECK: [[CALL_LABEL]]:
140; CHECK-NEXT: %call_07 = call x86_fp80 @logl(x86_fp80 %value)
141; CHECK-NEXT: br label %[[END_LABEL]]
142; CHECK: [[END_LABEL]]:
143
144 %call_08 = call x86_fp80 @log10l(x86_fp80 %value)
145; CHECK: [[COND:%[0-9]+]] = fcmp ole x86_fp80 %value, 0xK00000000000000000000
146; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
147; CHECK: [[CALL_LABEL]]:
148; CHECK-NEXT: %call_08 = call x86_fp80 @log10l(x86_fp80 %value)
149; CHECK-NEXT: br label %[[END_LABEL]]
150; CHECK: [[END_LABEL]]:
151
152 %call_09 = call x86_fp80 @log2l(x86_fp80 %value)
153; CHECK: [[COND:%[0-9]+]] = fcmp ole x86_fp80 %value, 0xK00000000000000000000
154; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
155; CHECK: [[CALL_LABEL]]:
156; CHECK-NEXT: %call_09 = call x86_fp80 @log2l(x86_fp80 %value)
157; CHECK-NEXT: br label %[[END_LABEL]]
158; CHECK: [[END_LABEL]]:
159
160 %call_10 = call x86_fp80 @logbl(x86_fp80 %value)
161; CHECK: [[COND:%[0-9]+]] = fcmp ole x86_fp80 %value, 0xK00000000000000000000
162; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
163; CHECK: [[CALL_LABEL]]:
164; CHECK-NEXT: %call_10 = call x86_fp80 @logbl(x86_fp80 %value)
165; CHECK-NEXT: br label %[[END_LABEL]]
166; CHECK: [[END_LABEL]]:
167
168 %call_11 = call x86_fp80 @log1pl(x86_fp80 %value)
169; CHECK: [[COND:%[0-9]+]] = fcmp ole x86_fp80 %value, 0xKBFFF8000000000000000
170; CHECK: br i1 [[COND]], label %[[CALL_LABEL:cdce.call[0-9]*]], label %[[END_LABEL:cdce.end[0-9]*]], !prof ![[BRANCH_WEIGHT]]
171; CHECK: [[CALL_LABEL]]:
172; CHECK-NEXT: %call_11 = call x86_fp80 @log1pl(x86_fp80 %value)
173; CHECK-NEXT: br label %[[END_LABEL]]
174; CHECK: [[END_LABEL]]:
175
176 ret void
177}
178
179declare x86_fp80 @acosl(x86_fp80)
180declare x86_fp80 @asinl(x86_fp80)
181declare x86_fp80 @cosl(x86_fp80)
182declare x86_fp80 @sinl(x86_fp80)
183declare x86_fp80 @acoshl(x86_fp80)
184declare x86_fp80 @sqrtl(x86_fp80)
185declare x86_fp80 @atanhl(x86_fp80)
186declare x86_fp80 @logl(x86_fp80)
187declare x86_fp80 @log10l(x86_fp80)
188declare x86_fp80 @log2l(x86_fp80)
189declare x86_fp80 @logbl(x86_fp80)
190declare x86_fp80 @log1pl(x86_fp80)
191
192; CHECK: ![[BRANCH_WEIGHT]] = !{!"branch_weights", i32 1, i32 2000}