blob: 8c67d1dc6eb339e600cfe9e3e15f23e4ad9e4f8f [file] [log] [blame]
Rong Xu1c0e9b92016-10-18 21:36:27 +00001//===-- LibCallsShrinkWrap.cpp ----------------------------------*- C++ -*-===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Rong Xu1c0e9b92016-10-18 21:36:27 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This pass shrink-wraps a call to function if the result is not used.
10// The call can set errno but is otherwise side effect free. For example:
11// sqrt(val);
12// is transformed to
13// if (val < 0)
14// sqrt(val);
15// Even if the result of library call is not being used, the compiler cannot
16// safely delete the call because the function can set errno on error
17// conditions.
18// Note in many functions, the error condition solely depends on the incoming
19// parameter. In this optimization, we can generate the condition can lead to
20// the errno to shrink-wrap the call. Since the chances of hitting the error
21// condition is low, the runtime call is effectively eliminated.
22//
23// These partially dead calls are usually results of C++ abstraction penalty
24// exposed by inlining.
25//
26//===----------------------------------------------------------------------===//
27
28#include "llvm/Transforms/Utils/LibCallsShrinkWrap.h"
29#include "llvm/ADT/SmallVector.h"
30#include "llvm/ADT/Statistic.h"
Davide Italiano1e77aac2016-11-08 19:18:20 +000031#include "llvm/Analysis/GlobalsModRef.h"
Rong Xu1c0e9b92016-10-18 21:36:27 +000032#include "llvm/Analysis/TargetLibraryInfo.h"
33#include "llvm/IR/CFG.h"
34#include "llvm/IR/Constants.h"
Davide Italiano6abada82017-04-26 21:05:40 +000035#include "llvm/IR/Dominators.h"
Rong Xu1c0e9b92016-10-18 21:36:27 +000036#include "llvm/IR/Function.h"
37#include "llvm/IR/IRBuilder.h"
38#include "llvm/IR/InstVisitor.h"
39#include "llvm/IR/Instructions.h"
40#include "llvm/IR/LLVMContext.h"
41#include "llvm/IR/MDBuilder.h"
42#include "llvm/Pass.h"
43#include "llvm/Transforms/Utils/BasicBlockUtils.h"
44using namespace llvm;
45
46#define DEBUG_TYPE "libcalls-shrinkwrap"
47
48STATISTIC(NumWrappedOneCond, "Number of One-Condition Wrappers Inserted");
49STATISTIC(NumWrappedTwoCond, "Number of Two-Condition Wrappers Inserted");
50
Rong Xu1c0e9b92016-10-18 21:36:27 +000051namespace {
52class LibCallsShrinkWrapLegacyPass : public FunctionPass {
53public:
54 static char ID; // Pass identification, replacement for typeid
55 explicit LibCallsShrinkWrapLegacyPass() : FunctionPass(ID) {
56 initializeLibCallsShrinkWrapLegacyPassPass(
57 *PassRegistry::getPassRegistry());
58 }
59 void getAnalysisUsage(AnalysisUsage &AU) const override;
60 bool runOnFunction(Function &F) override;
61};
62}
63
64char LibCallsShrinkWrapLegacyPass::ID = 0;
65INITIALIZE_PASS_BEGIN(LibCallsShrinkWrapLegacyPass, "libcalls-shrinkwrap",
66 "Conditionally eliminate dead library calls", false,
67 false)
68INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
69INITIALIZE_PASS_END(LibCallsShrinkWrapLegacyPass, "libcalls-shrinkwrap",
70 "Conditionally eliminate dead library calls", false, false)
71
Benjamin Kramerffd37152016-11-19 20:44:26 +000072namespace {
Rong Xu1c0e9b92016-10-18 21:36:27 +000073class LibCallsShrinkWrap : public InstVisitor<LibCallsShrinkWrap> {
74public:
Davide Italiano6abada82017-04-26 21:05:40 +000075 LibCallsShrinkWrap(const TargetLibraryInfo &TLI, DominatorTree *DT)
Davide Italianod7b2a992017-04-26 21:28:40 +000076 : TLI(TLI), DT(DT){};
Rong Xu1c0e9b92016-10-18 21:36:27 +000077 void visitCallInst(CallInst &CI) { checkCandidate(CI); }
Davide Italianod7b2a992017-04-26 21:28:40 +000078 bool perform() {
79 bool Changed = false;
Rong Xu1c0e9b92016-10-18 21:36:27 +000080 for (auto &CI : WorkList) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +000081 LLVM_DEBUG(dbgs() << "CDCE calls: " << CI->getCalledFunction()->getName()
82 << "\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +000083 if (perform(CI)) {
84 Changed = true;
Nicola Zaghend34e60c2018-05-14 12:53:11 +000085 LLVM_DEBUG(dbgs() << "Transformed\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +000086 }
87 }
Davide Italianod7b2a992017-04-26 21:28:40 +000088 return Changed;
Rong Xu1c0e9b92016-10-18 21:36:27 +000089 }
90
91private:
92 bool perform(CallInst *CI);
93 void checkCandidate(CallInst &CI);
94 void shrinkWrapCI(CallInst *CI, Value *Cond);
David L. Jonesd21529f2017-01-23 23:16:46 +000095 bool performCallDomainErrorOnly(CallInst *CI, const LibFunc &Func);
96 bool performCallErrors(CallInst *CI, const LibFunc &Func);
97 bool performCallRangeErrorOnly(CallInst *CI, const LibFunc &Func);
98 Value *generateOneRangeCond(CallInst *CI, const LibFunc &Func);
99 Value *generateTwoRangeCond(CallInst *CI, const LibFunc &Func);
100 Value *generateCondForPow(CallInst *CI, const LibFunc &Func);
Rong Xu1c0e9b92016-10-18 21:36:27 +0000101
102 // Create an OR of two conditions.
103 Value *createOrCond(CallInst *CI, CmpInst::Predicate Cmp, float Val,
104 CmpInst::Predicate Cmp2, float Val2) {
105 IRBuilder<> BBBuilder(CI);
106 Value *Arg = CI->getArgOperand(0);
107 auto Cond2 = createCond(BBBuilder, Arg, Cmp2, Val2);
108 auto Cond1 = createCond(BBBuilder, Arg, Cmp, Val);
109 return BBBuilder.CreateOr(Cond1, Cond2);
110 }
111
112 // Create a single condition using IRBuilder.
113 Value *createCond(IRBuilder<> &BBBuilder, Value *Arg, CmpInst::Predicate Cmp,
114 float Val) {
115 Constant *V = ConstantFP::get(BBBuilder.getContext(), APFloat(Val));
116 if (!Arg->getType()->isFloatTy())
117 V = ConstantExpr::getFPExtend(V, Arg->getType());
118 return BBBuilder.CreateFCmp(Cmp, Arg, V);
119 }
120
121 // Create a single condition.
122 Value *createCond(CallInst *CI, CmpInst::Predicate Cmp, float Val) {
123 IRBuilder<> BBBuilder(CI);
124 Value *Arg = CI->getArgOperand(0);
125 return createCond(BBBuilder, Arg, Cmp, Val);
126 }
127
128 const TargetLibraryInfo &TLI;
Davide Italiano6abada82017-04-26 21:05:40 +0000129 DominatorTree *DT;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000130 SmallVector<CallInst *, 16> WorkList;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000131};
Benjamin Kramerffd37152016-11-19 20:44:26 +0000132} // end anonymous namespace
Rong Xu1c0e9b92016-10-18 21:36:27 +0000133
134// Perform the transformation to calls with errno set by domain error.
135bool LibCallsShrinkWrap::performCallDomainErrorOnly(CallInst *CI,
David L. Jonesd21529f2017-01-23 23:16:46 +0000136 const LibFunc &Func) {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000137 Value *Cond = nullptr;
138
139 switch (Func) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000140 case LibFunc_acos: // DomainError: (x < -1 || x > 1)
141 case LibFunc_acosf: // Same as acos
142 case LibFunc_acosl: // Same as acos
143 case LibFunc_asin: // DomainError: (x < -1 || x > 1)
144 case LibFunc_asinf: // Same as asin
145 case LibFunc_asinl: // Same as asin
Rong Xu1c0e9b92016-10-18 21:36:27 +0000146 {
147 ++NumWrappedTwoCond;
148 Cond = createOrCond(CI, CmpInst::FCMP_OLT, -1.0f, CmpInst::FCMP_OGT, 1.0f);
149 break;
150 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000151 case LibFunc_cos: // DomainError: (x == +inf || x == -inf)
152 case LibFunc_cosf: // Same as cos
153 case LibFunc_cosl: // Same as cos
154 case LibFunc_sin: // DomainError: (x == +inf || x == -inf)
155 case LibFunc_sinf: // Same as sin
156 case LibFunc_sinl: // Same as sin
Rong Xu1c0e9b92016-10-18 21:36:27 +0000157 {
158 ++NumWrappedTwoCond;
159 Cond = createOrCond(CI, CmpInst::FCMP_OEQ, INFINITY, CmpInst::FCMP_OEQ,
160 -INFINITY);
161 break;
162 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000163 case LibFunc_acosh: // DomainError: (x < 1)
164 case LibFunc_acoshf: // Same as acosh
165 case LibFunc_acoshl: // Same as acosh
Rong Xu1c0e9b92016-10-18 21:36:27 +0000166 {
167 ++NumWrappedOneCond;
168 Cond = createCond(CI, CmpInst::FCMP_OLT, 1.0f);
169 break;
170 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000171 case LibFunc_sqrt: // DomainError: (x < 0)
172 case LibFunc_sqrtf: // Same as sqrt
173 case LibFunc_sqrtl: // Same as sqrt
Rong Xu1c0e9b92016-10-18 21:36:27 +0000174 {
175 ++NumWrappedOneCond;
176 Cond = createCond(CI, CmpInst::FCMP_OLT, 0.0f);
177 break;
178 }
179 default:
180 return false;
181 }
182 shrinkWrapCI(CI, Cond);
183 return true;
184}
185
186// Perform the transformation to calls with errno set by range error.
187bool LibCallsShrinkWrap::performCallRangeErrorOnly(CallInst *CI,
David L. Jonesd21529f2017-01-23 23:16:46 +0000188 const LibFunc &Func) {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000189 Value *Cond = nullptr;
190
191 switch (Func) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000192 case LibFunc_cosh:
193 case LibFunc_coshf:
194 case LibFunc_coshl:
195 case LibFunc_exp:
196 case LibFunc_expf:
197 case LibFunc_expl:
198 case LibFunc_exp10:
199 case LibFunc_exp10f:
200 case LibFunc_exp10l:
201 case LibFunc_exp2:
202 case LibFunc_exp2f:
203 case LibFunc_exp2l:
204 case LibFunc_sinh:
205 case LibFunc_sinhf:
206 case LibFunc_sinhl: {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000207 Cond = generateTwoRangeCond(CI, Func);
208 break;
209 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000210 case LibFunc_expm1: // RangeError: (709, inf)
211 case LibFunc_expm1f: // RangeError: (88, inf)
212 case LibFunc_expm1l: // RangeError: (11356, inf)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000213 {
214 Cond = generateOneRangeCond(CI, Func);
215 break;
216 }
217 default:
218 return false;
219 }
220 shrinkWrapCI(CI, Cond);
221 return true;
222}
223
224// Perform the transformation to calls with errno set by combination of errors.
225bool LibCallsShrinkWrap::performCallErrors(CallInst *CI,
David L. Jonesd21529f2017-01-23 23:16:46 +0000226 const LibFunc &Func) {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000227 Value *Cond = nullptr;
228
229 switch (Func) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000230 case LibFunc_atanh: // DomainError: (x < -1 || x > 1)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000231 // PoleError: (x == -1 || x == 1)
232 // Overall Cond: (x <= -1 || x >= 1)
David L. Jonesd21529f2017-01-23 23:16:46 +0000233 case LibFunc_atanhf: // Same as atanh
234 case LibFunc_atanhl: // Same as atanh
Rong Xu1c0e9b92016-10-18 21:36:27 +0000235 {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000236 ++NumWrappedTwoCond;
237 Cond = createOrCond(CI, CmpInst::FCMP_OLE, -1.0f, CmpInst::FCMP_OGE, 1.0f);
238 break;
239 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000240 case LibFunc_log: // DomainError: (x < 0)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000241 // PoleError: (x == 0)
242 // Overall Cond: (x <= 0)
David L. Jonesd21529f2017-01-23 23:16:46 +0000243 case LibFunc_logf: // Same as log
244 case LibFunc_logl: // Same as log
245 case LibFunc_log10: // Same as log
246 case LibFunc_log10f: // Same as log
247 case LibFunc_log10l: // Same as log
248 case LibFunc_log2: // Same as log
249 case LibFunc_log2f: // Same as log
250 case LibFunc_log2l: // Same as log
251 case LibFunc_logb: // Same as log
252 case LibFunc_logbf: // Same as log
253 case LibFunc_logbl: // Same as log
Rong Xu1c0e9b92016-10-18 21:36:27 +0000254 {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000255 ++NumWrappedOneCond;
256 Cond = createCond(CI, CmpInst::FCMP_OLE, 0.0f);
257 break;
258 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000259 case LibFunc_log1p: // DomainError: (x < -1)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000260 // PoleError: (x == -1)
261 // Overall Cond: (x <= -1)
David L. Jonesd21529f2017-01-23 23:16:46 +0000262 case LibFunc_log1pf: // Same as log1p
263 case LibFunc_log1pl: // Same as log1p
Rong Xu1c0e9b92016-10-18 21:36:27 +0000264 {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000265 ++NumWrappedOneCond;
266 Cond = createCond(CI, CmpInst::FCMP_OLE, -1.0f);
267 break;
268 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000269 case LibFunc_pow: // DomainError: x < 0 and y is noninteger
Rong Xu1c0e9b92016-10-18 21:36:27 +0000270 // PoleError: x == 0 and y < 0
271 // RangeError: overflow or underflow
David L. Jonesd21529f2017-01-23 23:16:46 +0000272 case LibFunc_powf:
273 case LibFunc_powl: {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000274 Cond = generateCondForPow(CI, Func);
275 if (Cond == nullptr)
276 return false;
277 break;
278 }
279 default:
280 return false;
281 }
282 assert(Cond && "performCallErrors should not see an empty condition");
283 shrinkWrapCI(CI, Cond);
284 return true;
285}
286
287// Checks if CI is a candidate for shrinkwrapping and put it into work list if
288// true.
289void LibCallsShrinkWrap::checkCandidate(CallInst &CI) {
290 if (CI.isNoBuiltin())
291 return;
292 // A possible improvement is to handle the calls with the return value being
293 // used. If there is API for fast libcall implementation without setting
294 // errno, we can use the same framework to direct/wrap the call to the fast
295 // API in the error free path, and leave the original call in the slow path.
296 if (!CI.use_empty())
297 return;
298
David L. Jonesd21529f2017-01-23 23:16:46 +0000299 LibFunc Func;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000300 Function *Callee = CI.getCalledFunction();
301 if (!Callee)
302 return;
303 if (!TLI.getLibFunc(*Callee, Func) || !TLI.has(Func))
304 return;
305
Rong Xub05bac92016-10-24 16:50:12 +0000306 if (CI.getNumArgOperands() == 0)
307 return;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000308 // TODO: Handle long double in other formats.
309 Type *ArgType = CI.getArgOperand(0)->getType();
310 if (!(ArgType->isFloatTy() || ArgType->isDoubleTy() ||
311 ArgType->isX86_FP80Ty()))
312 return;
313
314 WorkList.push_back(&CI);
315}
316
317// Generate the upper bound condition for RangeError.
318Value *LibCallsShrinkWrap::generateOneRangeCond(CallInst *CI,
David L. Jonesd21529f2017-01-23 23:16:46 +0000319 const LibFunc &Func) {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000320 float UpperBound;
321 switch (Func) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000322 case LibFunc_expm1: // RangeError: (709, inf)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000323 UpperBound = 709.0f;
324 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000325 case LibFunc_expm1f: // RangeError: (88, inf)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000326 UpperBound = 88.0f;
327 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000328 case LibFunc_expm1l: // RangeError: (11356, inf)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000329 UpperBound = 11356.0f;
330 break;
331 default:
Davide Italiano11817ba2017-04-26 21:21:02 +0000332 llvm_unreachable("Unhandled library call!");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000333 }
334
335 ++NumWrappedOneCond;
336 return createCond(CI, CmpInst::FCMP_OGT, UpperBound);
337}
338
339// Generate the lower and upper bound condition for RangeError.
340Value *LibCallsShrinkWrap::generateTwoRangeCond(CallInst *CI,
David L. Jonesd21529f2017-01-23 23:16:46 +0000341 const LibFunc &Func) {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000342 float UpperBound, LowerBound;
343 switch (Func) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000344 case LibFunc_cosh: // RangeError: (x < -710 || x > 710)
345 case LibFunc_sinh: // Same as cosh
Rong Xu1c0e9b92016-10-18 21:36:27 +0000346 LowerBound = -710.0f;
347 UpperBound = 710.0f;
348 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000349 case LibFunc_coshf: // RangeError: (x < -89 || x > 89)
350 case LibFunc_sinhf: // Same as coshf
Rong Xu1c0e9b92016-10-18 21:36:27 +0000351 LowerBound = -89.0f;
352 UpperBound = 89.0f;
353 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000354 case LibFunc_coshl: // RangeError: (x < -11357 || x > 11357)
355 case LibFunc_sinhl: // Same as coshl
Rong Xu1c0e9b92016-10-18 21:36:27 +0000356 LowerBound = -11357.0f;
357 UpperBound = 11357.0f;
358 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000359 case LibFunc_exp: // RangeError: (x < -745 || x > 709)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000360 LowerBound = -745.0f;
361 UpperBound = 709.0f;
362 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000363 case LibFunc_expf: // RangeError: (x < -103 || x > 88)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000364 LowerBound = -103.0f;
365 UpperBound = 88.0f;
366 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000367 case LibFunc_expl: // RangeError: (x < -11399 || x > 11356)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000368 LowerBound = -11399.0f;
369 UpperBound = 11356.0f;
370 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000371 case LibFunc_exp10: // RangeError: (x < -323 || x > 308)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000372 LowerBound = -323.0f;
373 UpperBound = 308.0f;
374 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000375 case LibFunc_exp10f: // RangeError: (x < -45 || x > 38)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000376 LowerBound = -45.0f;
377 UpperBound = 38.0f;
378 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000379 case LibFunc_exp10l: // RangeError: (x < -4950 || x > 4932)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000380 LowerBound = -4950.0f;
381 UpperBound = 4932.0f;
382 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000383 case LibFunc_exp2: // RangeError: (x < -1074 || x > 1023)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000384 LowerBound = -1074.0f;
385 UpperBound = 1023.0f;
386 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000387 case LibFunc_exp2f: // RangeError: (x < -149 || x > 127)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000388 LowerBound = -149.0f;
389 UpperBound = 127.0f;
390 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000391 case LibFunc_exp2l: // RangeError: (x < -16445 || x > 11383)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000392 LowerBound = -16445.0f;
393 UpperBound = 11383.0f;
394 break;
395 default:
Davide Italiano11817ba2017-04-26 21:21:02 +0000396 llvm_unreachable("Unhandled library call!");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000397 }
398
399 ++NumWrappedTwoCond;
400 return createOrCond(CI, CmpInst::FCMP_OGT, UpperBound, CmpInst::FCMP_OLT,
401 LowerBound);
402}
403
404// For pow(x,y), We only handle the following cases:
405// (1) x is a constant && (x >= 1) && (x < MaxUInt8)
406// Cond is: (y > 127)
407// (2) x is a value coming from an integer type.
408// (2.1) if x's bit_size == 8
409// Cond: (x <= 0 || y > 128)
410// (2.2) if x's bit_size is 16
411// Cond: (x <= 0 || y > 64)
412// (2.3) if x's bit_size is 32
413// Cond: (x <= 0 || y > 32)
414// Support for powl(x,y) and powf(x,y) are TBD.
415//
416// Note that condition can be more conservative than the actual condition
417// (i.e. we might invoke the calls that will not set the errno.).
418//
419Value *LibCallsShrinkWrap::generateCondForPow(CallInst *CI,
David L. Jonesd21529f2017-01-23 23:16:46 +0000420 const LibFunc &Func) {
421 // FIXME: LibFunc_powf and powl TBD.
422 if (Func != LibFunc_pow) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000423 LLVM_DEBUG(dbgs() << "Not handled powf() and powl()\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000424 return nullptr;
425 }
426
427 Value *Base = CI->getArgOperand(0);
428 Value *Exp = CI->getArgOperand(1);
429 IRBuilder<> BBBuilder(CI);
430
431 // Constant Base case.
432 if (ConstantFP *CF = dyn_cast<ConstantFP>(Base)) {
433 double D = CF->getValueAPF().convertToDouble();
434 if (D < 1.0f || D > APInt::getMaxValue(8).getZExtValue()) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000435 LLVM_DEBUG(dbgs() << "Not handled pow(): constant base out of range\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000436 return nullptr;
437 }
438
439 ++NumWrappedOneCond;
440 Constant *V = ConstantFP::get(CI->getContext(), APFloat(127.0f));
441 if (!Exp->getType()->isFloatTy())
442 V = ConstantExpr::getFPExtend(V, Exp->getType());
443 return BBBuilder.CreateFCmp(CmpInst::FCMP_OGT, Exp, V);
444 }
445
446 // If the Base value coming from an integer type.
447 Instruction *I = dyn_cast<Instruction>(Base);
448 if (!I) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000449 LLVM_DEBUG(dbgs() << "Not handled pow(): FP type base\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000450 return nullptr;
451 }
452 unsigned Opcode = I->getOpcode();
453 if (Opcode == Instruction::UIToFP || Opcode == Instruction::SIToFP) {
454 unsigned BW = I->getOperand(0)->getType()->getPrimitiveSizeInBits();
455 float UpperV = 0.0f;
456 if (BW == 8)
457 UpperV = 128.0f;
458 else if (BW == 16)
459 UpperV = 64.0f;
460 else if (BW == 32)
461 UpperV = 32.0f;
462 else {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000463 LLVM_DEBUG(dbgs() << "Not handled pow(): type too wide\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000464 return nullptr;
465 }
466
467 ++NumWrappedTwoCond;
468 Constant *V = ConstantFP::get(CI->getContext(), APFloat(UpperV));
469 Constant *V0 = ConstantFP::get(CI->getContext(), APFloat(0.0f));
470 if (!Exp->getType()->isFloatTy())
471 V = ConstantExpr::getFPExtend(V, Exp->getType());
472 if (!Base->getType()->isFloatTy())
473 V0 = ConstantExpr::getFPExtend(V0, Exp->getType());
474
475 Value *Cond = BBBuilder.CreateFCmp(CmpInst::FCMP_OGT, Exp, V);
476 Value *Cond0 = BBBuilder.CreateFCmp(CmpInst::FCMP_OLE, Base, V0);
477 return BBBuilder.CreateOr(Cond0, Cond);
478 }
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000479 LLVM_DEBUG(dbgs() << "Not handled pow(): base not from integer convert\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000480 return nullptr;
481}
482
483// Wrap conditions that can potentially generate errno to the library call.
484void LibCallsShrinkWrap::shrinkWrapCI(CallInst *CI, Value *Cond) {
Davide Italiano11817ba2017-04-26 21:21:02 +0000485 assert(Cond != nullptr && "ShrinkWrapCI is not expecting an empty call inst");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000486 MDNode *BranchWeights =
487 MDBuilder(CI->getContext()).createBranchWeights(1, 2000);
Davide Italiano6abada82017-04-26 21:05:40 +0000488
Chandler Carruth4a2d58e2018-10-15 09:34:05 +0000489 Instruction *NewInst =
Davide Italiano6abada82017-04-26 21:05:40 +0000490 SplitBlockAndInsertIfThen(Cond, CI, false, BranchWeights, DT);
Rong Xu1c0e9b92016-10-18 21:36:27 +0000491 BasicBlock *CallBB = NewInst->getParent();
492 CallBB->setName("cdce.call");
Davide Italiano6abada82017-04-26 21:05:40 +0000493 BasicBlock *SuccBB = CallBB->getSingleSuccessor();
494 assert(SuccBB && "The split block should have a single successor");
495 SuccBB->setName("cdce.end");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000496 CI->removeFromParent();
497 CallBB->getInstList().insert(CallBB->getFirstInsertionPt(), CI);
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000498 LLVM_DEBUG(dbgs() << "== Basic Block After ==");
499 LLVM_DEBUG(dbgs() << *CallBB->getSinglePredecessor() << *CallBB
500 << *CallBB->getSingleSuccessor() << "\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000501}
502
503// Perform the transformation to a single candidate.
504bool LibCallsShrinkWrap::perform(CallInst *CI) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000505 LibFunc Func;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000506 Function *Callee = CI->getCalledFunction();
507 assert(Callee && "perform() should apply to a non-empty callee");
508 TLI.getLibFunc(*Callee, Func);
509 assert(Func && "perform() is not expecting an empty function");
510
Davide Italiano3c3785f2017-04-26 21:19:05 +0000511 if (performCallDomainErrorOnly(CI, Func) || performCallRangeErrorOnly(CI, Func))
Rong Xu1c0e9b92016-10-18 21:36:27 +0000512 return true;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000513 return performCallErrors(CI, Func);
514}
515
516void LibCallsShrinkWrapLegacyPass::getAnalysisUsage(AnalysisUsage &AU) const {
Davide Italiano6abada82017-04-26 21:05:40 +0000517 AU.addPreserved<DominatorTreeWrapperPass>();
Davide Italiano1e77aac2016-11-08 19:18:20 +0000518 AU.addPreserved<GlobalsAAWrapperPass>();
Rong Xu1c0e9b92016-10-18 21:36:27 +0000519 AU.addRequired<TargetLibraryInfoWrapperPass>();
520}
521
Davide Italiano6abada82017-04-26 21:05:40 +0000522static bool runImpl(Function &F, const TargetLibraryInfo &TLI,
523 DominatorTree *DT) {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000524 if (F.hasFnAttribute(Attribute::OptimizeForSize))
525 return false;
Davide Italiano6abada82017-04-26 21:05:40 +0000526 LibCallsShrinkWrap CCDCE(TLI, DT);
Rong Xu1c0e9b92016-10-18 21:36:27 +0000527 CCDCE.visit(F);
Davide Italianod7b2a992017-04-26 21:28:40 +0000528 bool Changed = CCDCE.perform();
Davide Italiano6abada82017-04-26 21:05:40 +0000529
530// Verify the dominator after we've updated it locally.
David Green7c35de12018-02-28 11:00:08 +0000531 assert(!DT || DT->verify(DominatorTree::VerificationLevel::Fast));
Davide Italianod7b2a992017-04-26 21:28:40 +0000532 return Changed;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000533}
534
535bool LibCallsShrinkWrapLegacyPass::runOnFunction(Function &F) {
536 auto &TLI = getAnalysis<TargetLibraryInfoWrapperPass>().getTLI();
Davide Italiano6abada82017-04-26 21:05:40 +0000537 auto *DTWP = getAnalysisIfAvailable<DominatorTreeWrapperPass>();
538 auto *DT = DTWP ? &DTWP->getDomTree() : nullptr;
539 return runImpl(F, TLI, DT);
Rong Xu1c0e9b92016-10-18 21:36:27 +0000540}
541
542namespace llvm {
543char &LibCallsShrinkWrapPassID = LibCallsShrinkWrapLegacyPass::ID;
544
545// Public interface to LibCallsShrinkWrap pass.
546FunctionPass *createLibCallsShrinkWrapPass() {
547 return new LibCallsShrinkWrapLegacyPass();
548}
549
550PreservedAnalyses LibCallsShrinkWrapPass::run(Function &F,
551 FunctionAnalysisManager &FAM) {
552 auto &TLI = FAM.getResult<TargetLibraryAnalysis>(F);
Davide Italiano6abada82017-04-26 21:05:40 +0000553 auto *DT = FAM.getCachedResult<DominatorTreeAnalysis>(F);
Davide Italianod7b2a992017-04-26 21:28:40 +0000554 if (!runImpl(F, TLI, DT))
Rong Xu1c0e9b92016-10-18 21:36:27 +0000555 return PreservedAnalyses::all();
Davide Italiano1e77aac2016-11-08 19:18:20 +0000556 auto PA = PreservedAnalyses();
557 PA.preserve<GlobalsAA>();
Davide Italiano6abada82017-04-26 21:05:40 +0000558 PA.preserve<DominatorTreeAnalysis>();
Davide Italiano1e77aac2016-11-08 19:18:20 +0000559 return PA;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000560}
561}