Skip to content

Commit 587f31f

Browse files
davemgreendavemgreen
committed
[InstCombine] Add a test for converting log to an intrinsic. NFC
1 parent 10008f7 commit 587f31f

File tree

1 file changed

+355
-0
lines changed

1 file changed

+355
-0
lines changed

‎llvm/test/Transforms/InstCombine/log-to-intrinsic.ll

Lines changed: 355 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,355 @@
1+
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
2+
; RUN: opt -S -passes=instcombine < %s | FileCheck %s
3+
4+
define float @test_logf_pos(float %f) {
5+
; CHECK-LABEL: define float @test_logf_pos(
6+
; CHECK-SAME: float [[F:%.*]]) {
7+
; CHECK-NEXT: [[ENTRY:.*:]]
8+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt float [[F]], 0.000000e+00
9+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
10+
; CHECK: [[IF_END]]:
11+
; CHECK-NEXT: [[CALL:%.*]] = tail call float @logf(float [[F]])
12+
; CHECK-NEXT: ret float [[CALL]]
13+
; CHECK: [[RETURN]]:
14+
; CHECK-NEXT: ret float 0.000000e+00
15+
;
16+
entry:
17+
%isinf = fcmp ole float %f, 0x0000000000000000
18+
br i1 %isinf, label %return, label %if.end
19+
20+
if.end:
21+
%call = tail call float @logf(float %f)
22+
ret float %call
23+
24+
return:
25+
ret float 0.0
26+
}
27+
28+
define double @test_log_pos(double %f) {
29+
; CHECK-LABEL: define double @test_log_pos(
30+
; CHECK-SAME: double [[F:%.*]]) {
31+
; CHECK-NEXT: [[ENTRY:.*:]]
32+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt double [[F]], 0.000000e+00
33+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
34+
; CHECK: [[IF_END]]:
35+
; CHECK-NEXT: [[CALL:%.*]] = tail call double @log(double [[F]])
36+
; CHECK-NEXT: ret double [[CALL]]
37+
; CHECK: [[RETURN]]:
38+
; CHECK-NEXT: ret double 0.000000e+00
39+
;
40+
entry:
41+
%isinf = fcmp ole double %f, 0x0000000000000000
42+
br i1 %isinf, label %return, label %if.end
43+
44+
if.end:
45+
%call = tail call double @log(double %f)
46+
ret double %call
47+
48+
return:
49+
ret double 0.0
50+
}
51+
52+
define fp128 @test_logl_pos(fp128 %f) {
53+
; CHECK-LABEL: define fp128 @test_logl_pos(
54+
; CHECK-SAME: fp128 [[F:%.*]]) {
55+
; CHECK-NEXT: [[ENTRY:.*:]]
56+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt fp128 [[F]], 0xL00000000000000000000000000000000
57+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
58+
; CHECK: [[IF_END]]:
59+
; CHECK-NEXT: [[CALL:%.*]] = tail call fp128 @logl(fp128 [[F]])
60+
; CHECK-NEXT: ret fp128 [[CALL]]
61+
; CHECK: [[RETURN]]:
62+
; CHECK-NEXT: ret fp128 0xL00000000000000000000000000000000
63+
;
64+
entry:
65+
%isinf = fcmp ole fp128 %f, 0xL00000000000000000000000000000000
66+
br i1 %isinf, label %return, label %if.end
67+
68+
if.end:
69+
%call = tail call fp128 @logl(fp128 %f)
70+
ret fp128 %call
71+
72+
return:
73+
ret fp128 0xL00000000000000000000000000000000
74+
}
75+
76+
define float @test_log10f_pos(float %f) {
77+
; CHECK-LABEL: define float @test_log10f_pos(
78+
; CHECK-SAME: float [[F:%.*]]) {
79+
; CHECK-NEXT: [[ENTRY:.*:]]
80+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt float [[F]], 0.000000e+00
81+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
82+
; CHECK: [[IF_END]]:
83+
; CHECK-NEXT: [[CALL:%.*]] = tail call float @log10f(float [[F]])
84+
; CHECK-NEXT: ret float [[CALL]]
85+
; CHECK: [[RETURN]]:
86+
; CHECK-NEXT: ret float 0.000000e+00
87+
;
88+
entry:
89+
%isinf = fcmp ole float %f, 0x0000000000000000
90+
br i1 %isinf, label %return, label %if.end
91+
92+
if.end:
93+
%call = tail call float @log10f(float %f)
94+
ret float %call
95+
96+
return:
97+
ret float 0.0
98+
}
99+
100+
define double @test_log10_pos(double %f) {
101+
; CHECK-LABEL: define double @test_log10_pos(
102+
; CHECK-SAME: double [[F:%.*]]) {
103+
; CHECK-NEXT: [[ENTRY:.*:]]
104+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt double [[F]], 0.000000e+00
105+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
106+
; CHECK: [[IF_END]]:
107+
; CHECK-NEXT: [[CALL:%.*]] = tail call double @log10(double [[F]])
108+
; CHECK-NEXT: ret double [[CALL]]
109+
; CHECK: [[RETURN]]:
110+
; CHECK-NEXT: ret double 0.000000e+00
111+
;
112+
entry:
113+
%isinf = fcmp ole double %f, 0x0000000000000000
114+
br i1 %isinf, label %return, label %if.end
115+
116+
if.end:
117+
%call = tail call double @log10(double %f)
118+
ret double %call
119+
120+
return:
121+
ret double 0.0
122+
}
123+
124+
define fp128 @test_log10l_pos(fp128 %f) {
125+
; CHECK-LABEL: define fp128 @test_log10l_pos(
126+
; CHECK-SAME: fp128 [[F:%.*]]) {
127+
; CHECK-NEXT: [[ENTRY:.*:]]
128+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt fp128 [[F]], 0xL00000000000000000000000000000000
129+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
130+
; CHECK: [[IF_END]]:
131+
; CHECK-NEXT: [[CALL:%.*]] = tail call fp128 @log10l(fp128 [[F]])
132+
; CHECK-NEXT: ret fp128 [[CALL]]
133+
; CHECK: [[RETURN]]:
134+
; CHECK-NEXT: ret fp128 0xL00000000000000000000000000000000
135+
;
136+
entry:
137+
%isinf = fcmp ole fp128 %f, 0xL00000000000000000000000000000000
138+
br i1 %isinf, label %return, label %if.end
139+
140+
if.end:
141+
%call = tail call fp128 @log10l(fp128 %f)
142+
ret fp128 %call
143+
144+
return:
145+
ret fp128 0xL00000000000000000000000000000000
146+
}
147+
148+
define float @test_log2f_pos(float %f) {
149+
; CHECK-LABEL: define float @test_log2f_pos(
150+
; CHECK-SAME: float [[F:%.*]]) {
151+
; CHECK-NEXT: [[ENTRY:.*:]]
152+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt float [[F]], 0.000000e+00
153+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
154+
; CHECK: [[IF_END]]:
155+
; CHECK-NEXT: [[CALL:%.*]] = tail call float @log2f(float [[F]])
156+
; CHECK-NEXT: ret float [[CALL]]
157+
; CHECK: [[RETURN]]:
158+
; CHECK-NEXT: ret float 0.000000e+00
159+
;
160+
entry:
161+
%isinf = fcmp ole float %f, 0x0000000000000000
162+
br i1 %isinf, label %return, label %if.end
163+
164+
if.end:
165+
%call = tail call float @log2f(float %f)
166+
ret float %call
167+
168+
return:
169+
ret float 0.0
170+
}
171+
172+
define double @test_log2_pos(double %f) {
173+
; CHECK-LABEL: define double @test_log2_pos(
174+
; CHECK-SAME: double [[F:%.*]]) {
175+
; CHECK-NEXT: [[ENTRY:.*:]]
176+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt double [[F]], 0.000000e+00
177+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
178+
; CHECK: [[IF_END]]:
179+
; CHECK-NEXT: [[CALL:%.*]] = tail call double @log2(double [[F]])
180+
; CHECK-NEXT: ret double [[CALL]]
181+
; CHECK: [[RETURN]]:
182+
; CHECK-NEXT: ret double 0.000000e+00
183+
;
184+
entry:
185+
%isinf = fcmp ole double %f, 0x0000000000000000
186+
br i1 %isinf, label %return, label %if.end
187+
188+
if.end:
189+
%call = tail call double @log2(double %f)
190+
ret double %call
191+
192+
return:
193+
ret double 0.0
194+
}
195+
196+
define fp128 @test_log2l_pos(fp128 %f) {
197+
; CHECK-LABEL: define fp128 @test_log2l_pos(
198+
; CHECK-SAME: fp128 [[F:%.*]]) {
199+
; CHECK-NEXT: [[ENTRY:.*:]]
200+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt fp128 [[F]], 0xL00000000000000000000000000000000
201+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
202+
; CHECK: [[IF_END]]:
203+
; CHECK-NEXT: [[CALL:%.*]] = tail call fp128 @log2l(fp128 [[F]])
204+
; CHECK-NEXT: ret fp128 [[CALL]]
205+
; CHECK: [[RETURN]]:
206+
; CHECK-NEXT: ret fp128 0xL00000000000000000000000000000000
207+
;
208+
entry:
209+
%isinf = fcmp ole fp128 %f, 0xL00000000000000000000000000000000
210+
br i1 %isinf, label %return, label %if.end
211+
212+
if.end:
213+
%call = tail call fp128 @log2l(fp128 %f)
214+
ret fp128 %call
215+
216+
return:
217+
ret fp128 0xL00000000000000000000000000000000
218+
}
219+
220+
221+
define double @test_logb_pos(double %f) {
222+
; CHECK-LABEL: define double @test_logb_pos(
223+
; CHECK-SAME: double [[F:%.*]]) {
224+
; CHECK-NEXT: [[ENTRY:.*:]]
225+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt double [[F]], 0.000000e+00
226+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
227+
; CHECK: [[IF_END]]:
228+
; CHECK-NEXT: [[CALL:%.*]] = tail call double @logb(double [[F]])
229+
; CHECK-NEXT: ret double [[CALL]]
230+
; CHECK: [[RETURN]]:
231+
; CHECK-NEXT: ret double 0.000000e+00
232+
;
233+
entry:
234+
%isinf = fcmp ole double %f, 0x0000000000000000
235+
br i1 %isinf, label %return, label %if.end
236+
237+
if.end:
238+
%call = tail call double @logb(double %f)
239+
ret double %call
240+
241+
return:
242+
ret double 0.0
243+
}
244+
245+
define double @test_log1p_pos(double %f) {
246+
; CHECK-LABEL: define double @test_log1p_pos(
247+
; CHECK-SAME: double [[F:%.*]]) {
248+
; CHECK-NEXT: [[ENTRY:.*:]]
249+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt double [[F]], 0.000000e+00
250+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
251+
; CHECK: [[IF_END]]:
252+
; CHECK-NEXT: [[CALL:%.*]] = tail call double @log1p(double [[F]])
253+
; CHECK-NEXT: ret double [[CALL]]
254+
; CHECK: [[RETURN]]:
255+
; CHECK-NEXT: ret double 0.000000e+00
256+
;
257+
entry:
258+
%isinf = fcmp ole double %f, 0x0000000000000000
259+
br i1 %isinf, label %return, label %if.end
260+
261+
if.end:
262+
%call = tail call double @log1p(double %f)
263+
ret double %call
264+
265+
return:
266+
ret double 0.0
267+
}
268+
269+
define float @metadata(float %f) {
270+
; CHECK-LABEL: define float @metadata(
271+
; CHECK-SAME: float [[F:%.*]]) {
272+
; CHECK-NEXT: [[ENTRY:.*:]]
273+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt float [[F]], 0.000000e+00
274+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
275+
; CHECK: [[IF_END]]:
276+
; CHECK-NEXT: [[CALL:%.*]] = tail call float @logf(float [[F]]), !fpmath [[META0:![0-9]+]]
277+
; CHECK-NEXT: ret float [[CALL]]
278+
; CHECK: [[RETURN]]:
279+
; CHECK-NEXT: ret float 0.000000e+00
280+
;
281+
entry:
282+
%isinf = fcmp ole float %f, 0x0000000000000000
283+
br i1 %isinf, label %return, label %if.end
284+
285+
if.end:
286+
%call = tail call float @logf(float %f), !fpmath !0
287+
ret float %call
288+
289+
return:
290+
ret float 0.0
291+
}
292+
!0 = !{ float 2.5 }
293+
294+
define float @test_logf_pos_denormalpreserve(float %f) "denormal-fp-math"="preserve-sign,preserve-sign" {
295+
; CHECK-LABEL: define float @test_logf_pos_denormalpreserve(
296+
; CHECK-SAME: float [[F:%.*]]) #[[ATTR0:[0-9]+]] {
297+
; CHECK-NEXT: [[ENTRY:.*:]]
298+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt float [[F]], 0.000000e+00
299+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
300+
; CHECK: [[IF_END]]:
301+
; CHECK-NEXT: [[CALL:%.*]] = tail call float @logf(float [[F]])
302+
; CHECK-NEXT: ret float [[CALL]]
303+
; CHECK: [[RETURN]]:
304+
; CHECK-NEXT: ret float 0.000000e+00
305+
;
306+
entry:
307+
%isinf = fcmp ole float %f, 0x0000000000000000
308+
br i1 %isinf, label %return, label %if.end
309+
310+
if.end:
311+
%call = tail call float @logf(float %f)
312+
ret float %call
313+
314+
return:
315+
ret float 0.0
316+
}
317+
318+
define float @test_logf_pos_denormaldynamic(float %f) "denormal-fp-math"="dynamic,dynamic" {
319+
; CHECK-LABEL: define float @test_logf_pos_denormaldynamic(
320+
; CHECK-SAME: float [[F:%.*]]) #[[ATTR1:[0-9]+]] {
321+
; CHECK-NEXT: [[ENTRY:.*:]]
322+
; CHECK-NEXT: [[ISINF:%.*]] = fcmp ugt float [[F]], 0.000000e+00
323+
; CHECK-NEXT: br i1 [[ISINF]], label %[[IF_END:.*]], label %[[RETURN:.*]]
324+
; CHECK: [[IF_END]]:
325+
; CHECK-NEXT: [[CALL:%.*]] = tail call float @logf(float [[F]])
326+
; CHECK-NEXT: ret float [[CALL]]
327+
; CHECK: [[RETURN]]:
328+
; CHECK-NEXT: ret float 0.000000e+00
329+
;
330+
entry:
331+
%isinf = fcmp ole float %f, 0x0000000000000000
332+
br i1 %isinf, label %return, label %if.end
333+
334+
if.end:
335+
%call = tail call float @logf(float %f)
336+
ret float %call
337+
338+
return:
339+
ret float 0.0
340+
}
341+
342+
declare double @log(double)
343+
declare float @logf(float)
344+
declare fp128 @logl(fp128)
345+
declare double @log10(double)
346+
declare float @log10f(float)
347+
declare fp128 @log10l(fp128)
348+
declare double @log2(double)
349+
declare float @log2f(float)
350+
declare fp128 @log2l(fp128)
351+
declare double @logb(double)
352+
declare double @log1p(double)
353+
;.
354+
; CHECK: [[META0]] = !{float 2.500000e+00}
355+
;.

0 commit comments

Comments
 (0)