blob: e1592c86763653e1f381ce84bcf066127aa3695e [file] [log] [blame]
Rong Xu1c0e9b92016-10-18 21:36:27 +00001//===-- LibCallsShrinkWrap.cpp ----------------------------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This pass shrink-wraps a call to function if the result is not used.
11// The call can set errno but is otherwise side effect free. For example:
12// sqrt(val);
13// is transformed to
14// if (val < 0)
15// sqrt(val);
16// Even if the result of library call is not being used, the compiler cannot
17// safely delete the call because the function can set errno on error
18// conditions.
19// Note in many functions, the error condition solely depends on the incoming
20// parameter. In this optimization, we can generate the condition can lead to
21// the errno to shrink-wrap the call. Since the chances of hitting the error
22// condition is low, the runtime call is effectively eliminated.
23//
24// These partially dead calls are usually results of C++ abstraction penalty
25// exposed by inlining.
26//
27//===----------------------------------------------------------------------===//
28
29#include "llvm/Transforms/Utils/LibCallsShrinkWrap.h"
30#include "llvm/ADT/SmallVector.h"
31#include "llvm/ADT/Statistic.h"
Davide Italiano1e77aac2016-11-08 19:18:20 +000032#include "llvm/Analysis/GlobalsModRef.h"
Rong Xu1c0e9b92016-10-18 21:36:27 +000033#include "llvm/Analysis/TargetLibraryInfo.h"
34#include "llvm/IR/CFG.h"
35#include "llvm/IR/Constants.h"
Davide Italiano6abada82017-04-26 21:05:40 +000036#include "llvm/IR/Dominators.h"
Rong Xu1c0e9b92016-10-18 21:36:27 +000037#include "llvm/IR/Function.h"
38#include "llvm/IR/IRBuilder.h"
39#include "llvm/IR/InstVisitor.h"
40#include "llvm/IR/Instructions.h"
41#include "llvm/IR/LLVMContext.h"
42#include "llvm/IR/MDBuilder.h"
43#include "llvm/Pass.h"
44#include "llvm/Transforms/Utils/BasicBlockUtils.h"
45using namespace llvm;
46
47#define DEBUG_TYPE "libcalls-shrinkwrap"
48
49STATISTIC(NumWrappedOneCond, "Number of One-Condition Wrappers Inserted");
50STATISTIC(NumWrappedTwoCond, "Number of Two-Condition Wrappers Inserted");
51
Rong Xu1c0e9b92016-10-18 21:36:27 +000052namespace {
53class LibCallsShrinkWrapLegacyPass : public FunctionPass {
54public:
55 static char ID; // Pass identification, replacement for typeid
56 explicit LibCallsShrinkWrapLegacyPass() : FunctionPass(ID) {
57 initializeLibCallsShrinkWrapLegacyPassPass(
58 *PassRegistry::getPassRegistry());
59 }
60 void getAnalysisUsage(AnalysisUsage &AU) const override;
61 bool runOnFunction(Function &F) override;
62};
63}
64
65char LibCallsShrinkWrapLegacyPass::ID = 0;
66INITIALIZE_PASS_BEGIN(LibCallsShrinkWrapLegacyPass, "libcalls-shrinkwrap",
67 "Conditionally eliminate dead library calls", false,
68 false)
69INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
70INITIALIZE_PASS_END(LibCallsShrinkWrapLegacyPass, "libcalls-shrinkwrap",
71 "Conditionally eliminate dead library calls", false, false)
72
Benjamin Kramerffd37152016-11-19 20:44:26 +000073namespace {
Rong Xu1c0e9b92016-10-18 21:36:27 +000074class LibCallsShrinkWrap : public InstVisitor<LibCallsShrinkWrap> {
75public:
Davide Italiano6abada82017-04-26 21:05:40 +000076 LibCallsShrinkWrap(const TargetLibraryInfo &TLI, DominatorTree *DT)
Davide Italianod7b2a992017-04-26 21:28:40 +000077 : TLI(TLI), DT(DT){};
Rong Xu1c0e9b92016-10-18 21:36:27 +000078 void visitCallInst(CallInst &CI) { checkCandidate(CI); }
Davide Italianod7b2a992017-04-26 21:28:40 +000079 bool perform() {
80 bool Changed = false;
Rong Xu1c0e9b92016-10-18 21:36:27 +000081 for (auto &CI : WorkList) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +000082 LLVM_DEBUG(dbgs() << "CDCE calls: " << CI->getCalledFunction()->getName()
83 << "\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +000084 if (perform(CI)) {
85 Changed = true;
Nicola Zaghend34e60c2018-05-14 12:53:11 +000086 LLVM_DEBUG(dbgs() << "Transformed\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +000087 }
88 }
Davide Italianod7b2a992017-04-26 21:28:40 +000089 return Changed;
Rong Xu1c0e9b92016-10-18 21:36:27 +000090 }
91
92private:
93 bool perform(CallInst *CI);
94 void checkCandidate(CallInst &CI);
95 void shrinkWrapCI(CallInst *CI, Value *Cond);
David L. Jonesd21529f2017-01-23 23:16:46 +000096 bool performCallDomainErrorOnly(CallInst *CI, const LibFunc &Func);
97 bool performCallErrors(CallInst *CI, const LibFunc &Func);
98 bool performCallRangeErrorOnly(CallInst *CI, const LibFunc &Func);
99 Value *generateOneRangeCond(CallInst *CI, const LibFunc &Func);
100 Value *generateTwoRangeCond(CallInst *CI, const LibFunc &Func);
101 Value *generateCondForPow(CallInst *CI, const LibFunc &Func);
Rong Xu1c0e9b92016-10-18 21:36:27 +0000102
103 // Create an OR of two conditions.
104 Value *createOrCond(CallInst *CI, CmpInst::Predicate Cmp, float Val,
105 CmpInst::Predicate Cmp2, float Val2) {
106 IRBuilder<> BBBuilder(CI);
107 Value *Arg = CI->getArgOperand(0);
108 auto Cond2 = createCond(BBBuilder, Arg, Cmp2, Val2);
109 auto Cond1 = createCond(BBBuilder, Arg, Cmp, Val);
110 return BBBuilder.CreateOr(Cond1, Cond2);
111 }
112
113 // Create a single condition using IRBuilder.
114 Value *createCond(IRBuilder<> &BBBuilder, Value *Arg, CmpInst::Predicate Cmp,
115 float Val) {
116 Constant *V = ConstantFP::get(BBBuilder.getContext(), APFloat(Val));
117 if (!Arg->getType()->isFloatTy())
118 V = ConstantExpr::getFPExtend(V, Arg->getType());
119 return BBBuilder.CreateFCmp(Cmp, Arg, V);
120 }
121
122 // Create a single condition.
123 Value *createCond(CallInst *CI, CmpInst::Predicate Cmp, float Val) {
124 IRBuilder<> BBBuilder(CI);
125 Value *Arg = CI->getArgOperand(0);
126 return createCond(BBBuilder, Arg, Cmp, Val);
127 }
128
129 const TargetLibraryInfo &TLI;
Davide Italiano6abada82017-04-26 21:05:40 +0000130 DominatorTree *DT;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000131 SmallVector<CallInst *, 16> WorkList;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000132};
Benjamin Kramerffd37152016-11-19 20:44:26 +0000133} // end anonymous namespace
Rong Xu1c0e9b92016-10-18 21:36:27 +0000134
135// Perform the transformation to calls with errno set by domain error.
136bool LibCallsShrinkWrap::performCallDomainErrorOnly(CallInst *CI,
David L. Jonesd21529f2017-01-23 23:16:46 +0000137 const LibFunc &Func) {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000138 Value *Cond = nullptr;
139
140 switch (Func) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000141 case LibFunc_acos: // DomainError: (x < -1 || x > 1)
142 case LibFunc_acosf: // Same as acos
143 case LibFunc_acosl: // Same as acos
144 case LibFunc_asin: // DomainError: (x < -1 || x > 1)
145 case LibFunc_asinf: // Same as asin
146 case LibFunc_asinl: // Same as asin
Rong Xu1c0e9b92016-10-18 21:36:27 +0000147 {
148 ++NumWrappedTwoCond;
149 Cond = createOrCond(CI, CmpInst::FCMP_OLT, -1.0f, CmpInst::FCMP_OGT, 1.0f);
150 break;
151 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000152 case LibFunc_cos: // DomainError: (x == +inf || x == -inf)
153 case LibFunc_cosf: // Same as cos
154 case LibFunc_cosl: // Same as cos
155 case LibFunc_sin: // DomainError: (x == +inf || x == -inf)
156 case LibFunc_sinf: // Same as sin
157 case LibFunc_sinl: // Same as sin
Rong Xu1c0e9b92016-10-18 21:36:27 +0000158 {
159 ++NumWrappedTwoCond;
160 Cond = createOrCond(CI, CmpInst::FCMP_OEQ, INFINITY, CmpInst::FCMP_OEQ,
161 -INFINITY);
162 break;
163 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000164 case LibFunc_acosh: // DomainError: (x < 1)
165 case LibFunc_acoshf: // Same as acosh
166 case LibFunc_acoshl: // Same as acosh
Rong Xu1c0e9b92016-10-18 21:36:27 +0000167 {
168 ++NumWrappedOneCond;
169 Cond = createCond(CI, CmpInst::FCMP_OLT, 1.0f);
170 break;
171 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000172 case LibFunc_sqrt: // DomainError: (x < 0)
173 case LibFunc_sqrtf: // Same as sqrt
174 case LibFunc_sqrtl: // Same as sqrt
Rong Xu1c0e9b92016-10-18 21:36:27 +0000175 {
176 ++NumWrappedOneCond;
177 Cond = createCond(CI, CmpInst::FCMP_OLT, 0.0f);
178 break;
179 }
180 default:
181 return false;
182 }
183 shrinkWrapCI(CI, Cond);
184 return true;
185}
186
187// Perform the transformation to calls with errno set by range error.
188bool LibCallsShrinkWrap::performCallRangeErrorOnly(CallInst *CI,
David L. Jonesd21529f2017-01-23 23:16:46 +0000189 const LibFunc &Func) {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000190 Value *Cond = nullptr;
191
192 switch (Func) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000193 case LibFunc_cosh:
194 case LibFunc_coshf:
195 case LibFunc_coshl:
196 case LibFunc_exp:
197 case LibFunc_expf:
198 case LibFunc_expl:
199 case LibFunc_exp10:
200 case LibFunc_exp10f:
201 case LibFunc_exp10l:
202 case LibFunc_exp2:
203 case LibFunc_exp2f:
204 case LibFunc_exp2l:
205 case LibFunc_sinh:
206 case LibFunc_sinhf:
207 case LibFunc_sinhl: {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000208 Cond = generateTwoRangeCond(CI, Func);
209 break;
210 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000211 case LibFunc_expm1: // RangeError: (709, inf)
212 case LibFunc_expm1f: // RangeError: (88, inf)
213 case LibFunc_expm1l: // RangeError: (11356, inf)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000214 {
215 Cond = generateOneRangeCond(CI, Func);
216 break;
217 }
218 default:
219 return false;
220 }
221 shrinkWrapCI(CI, Cond);
222 return true;
223}
224
225// Perform the transformation to calls with errno set by combination of errors.
226bool LibCallsShrinkWrap::performCallErrors(CallInst *CI,
David L. Jonesd21529f2017-01-23 23:16:46 +0000227 const LibFunc &Func) {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000228 Value *Cond = nullptr;
229
230 switch (Func) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000231 case LibFunc_atanh: // DomainError: (x < -1 || x > 1)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000232 // PoleError: (x == -1 || x == 1)
233 // Overall Cond: (x <= -1 || x >= 1)
David L. Jonesd21529f2017-01-23 23:16:46 +0000234 case LibFunc_atanhf: // Same as atanh
235 case LibFunc_atanhl: // Same as atanh
Rong Xu1c0e9b92016-10-18 21:36:27 +0000236 {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000237 ++NumWrappedTwoCond;
238 Cond = createOrCond(CI, CmpInst::FCMP_OLE, -1.0f, CmpInst::FCMP_OGE, 1.0f);
239 break;
240 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000241 case LibFunc_log: // DomainError: (x < 0)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000242 // PoleError: (x == 0)
243 // Overall Cond: (x <= 0)
David L. Jonesd21529f2017-01-23 23:16:46 +0000244 case LibFunc_logf: // Same as log
245 case LibFunc_logl: // Same as log
246 case LibFunc_log10: // Same as log
247 case LibFunc_log10f: // Same as log
248 case LibFunc_log10l: // Same as log
249 case LibFunc_log2: // Same as log
250 case LibFunc_log2f: // Same as log
251 case LibFunc_log2l: // Same as log
252 case LibFunc_logb: // Same as log
253 case LibFunc_logbf: // Same as log
254 case LibFunc_logbl: // Same as log
Rong Xu1c0e9b92016-10-18 21:36:27 +0000255 {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000256 ++NumWrappedOneCond;
257 Cond = createCond(CI, CmpInst::FCMP_OLE, 0.0f);
258 break;
259 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000260 case LibFunc_log1p: // DomainError: (x < -1)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000261 // PoleError: (x == -1)
262 // Overall Cond: (x <= -1)
David L. Jonesd21529f2017-01-23 23:16:46 +0000263 case LibFunc_log1pf: // Same as log1p
264 case LibFunc_log1pl: // Same as log1p
Rong Xu1c0e9b92016-10-18 21:36:27 +0000265 {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000266 ++NumWrappedOneCond;
267 Cond = createCond(CI, CmpInst::FCMP_OLE, -1.0f);
268 break;
269 }
David L. Jonesd21529f2017-01-23 23:16:46 +0000270 case LibFunc_pow: // DomainError: x < 0 and y is noninteger
Rong Xu1c0e9b92016-10-18 21:36:27 +0000271 // PoleError: x == 0 and y < 0
272 // RangeError: overflow or underflow
David L. Jonesd21529f2017-01-23 23:16:46 +0000273 case LibFunc_powf:
274 case LibFunc_powl: {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000275 Cond = generateCondForPow(CI, Func);
276 if (Cond == nullptr)
277 return false;
278 break;
279 }
280 default:
281 return false;
282 }
283 assert(Cond && "performCallErrors should not see an empty condition");
284 shrinkWrapCI(CI, Cond);
285 return true;
286}
287
288// Checks if CI is a candidate for shrinkwrapping and put it into work list if
289// true.
290void LibCallsShrinkWrap::checkCandidate(CallInst &CI) {
291 if (CI.isNoBuiltin())
292 return;
293 // A possible improvement is to handle the calls with the return value being
294 // used. If there is API for fast libcall implementation without setting
295 // errno, we can use the same framework to direct/wrap the call to the fast
296 // API in the error free path, and leave the original call in the slow path.
297 if (!CI.use_empty())
298 return;
299
David L. Jonesd21529f2017-01-23 23:16:46 +0000300 LibFunc Func;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000301 Function *Callee = CI.getCalledFunction();
302 if (!Callee)
303 return;
304 if (!TLI.getLibFunc(*Callee, Func) || !TLI.has(Func))
305 return;
306
Rong Xub05bac92016-10-24 16:50:12 +0000307 if (CI.getNumArgOperands() == 0)
308 return;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000309 // TODO: Handle long double in other formats.
310 Type *ArgType = CI.getArgOperand(0)->getType();
311 if (!(ArgType->isFloatTy() || ArgType->isDoubleTy() ||
312 ArgType->isX86_FP80Ty()))
313 return;
314
315 WorkList.push_back(&CI);
316}
317
318// Generate the upper bound condition for RangeError.
319Value *LibCallsShrinkWrap::generateOneRangeCond(CallInst *CI,
David L. Jonesd21529f2017-01-23 23:16:46 +0000320 const LibFunc &Func) {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000321 float UpperBound;
322 switch (Func) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000323 case LibFunc_expm1: // RangeError: (709, inf)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000324 UpperBound = 709.0f;
325 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000326 case LibFunc_expm1f: // RangeError: (88, inf)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000327 UpperBound = 88.0f;
328 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000329 case LibFunc_expm1l: // RangeError: (11356, inf)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000330 UpperBound = 11356.0f;
331 break;
332 default:
Davide Italiano11817ba2017-04-26 21:21:02 +0000333 llvm_unreachable("Unhandled library call!");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000334 }
335
336 ++NumWrappedOneCond;
337 return createCond(CI, CmpInst::FCMP_OGT, UpperBound);
338}
339
340// Generate the lower and upper bound condition for RangeError.
341Value *LibCallsShrinkWrap::generateTwoRangeCond(CallInst *CI,
David L. Jonesd21529f2017-01-23 23:16:46 +0000342 const LibFunc &Func) {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000343 float UpperBound, LowerBound;
344 switch (Func) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000345 case LibFunc_cosh: // RangeError: (x < -710 || x > 710)
346 case LibFunc_sinh: // Same as cosh
Rong Xu1c0e9b92016-10-18 21:36:27 +0000347 LowerBound = -710.0f;
348 UpperBound = 710.0f;
349 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000350 case LibFunc_coshf: // RangeError: (x < -89 || x > 89)
351 case LibFunc_sinhf: // Same as coshf
Rong Xu1c0e9b92016-10-18 21:36:27 +0000352 LowerBound = -89.0f;
353 UpperBound = 89.0f;
354 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000355 case LibFunc_coshl: // RangeError: (x < -11357 || x > 11357)
356 case LibFunc_sinhl: // Same as coshl
Rong Xu1c0e9b92016-10-18 21:36:27 +0000357 LowerBound = -11357.0f;
358 UpperBound = 11357.0f;
359 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000360 case LibFunc_exp: // RangeError: (x < -745 || x > 709)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000361 LowerBound = -745.0f;
362 UpperBound = 709.0f;
363 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000364 case LibFunc_expf: // RangeError: (x < -103 || x > 88)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000365 LowerBound = -103.0f;
366 UpperBound = 88.0f;
367 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000368 case LibFunc_expl: // RangeError: (x < -11399 || x > 11356)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000369 LowerBound = -11399.0f;
370 UpperBound = 11356.0f;
371 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000372 case LibFunc_exp10: // RangeError: (x < -323 || x > 308)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000373 LowerBound = -323.0f;
374 UpperBound = 308.0f;
375 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000376 case LibFunc_exp10f: // RangeError: (x < -45 || x > 38)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000377 LowerBound = -45.0f;
378 UpperBound = 38.0f;
379 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000380 case LibFunc_exp10l: // RangeError: (x < -4950 || x > 4932)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000381 LowerBound = -4950.0f;
382 UpperBound = 4932.0f;
383 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000384 case LibFunc_exp2: // RangeError: (x < -1074 || x > 1023)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000385 LowerBound = -1074.0f;
386 UpperBound = 1023.0f;
387 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000388 case LibFunc_exp2f: // RangeError: (x < -149 || x > 127)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000389 LowerBound = -149.0f;
390 UpperBound = 127.0f;
391 break;
David L. Jonesd21529f2017-01-23 23:16:46 +0000392 case LibFunc_exp2l: // RangeError: (x < -16445 || x > 11383)
Rong Xu1c0e9b92016-10-18 21:36:27 +0000393 LowerBound = -16445.0f;
394 UpperBound = 11383.0f;
395 break;
396 default:
Davide Italiano11817ba2017-04-26 21:21:02 +0000397 llvm_unreachable("Unhandled library call!");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000398 }
399
400 ++NumWrappedTwoCond;
401 return createOrCond(CI, CmpInst::FCMP_OGT, UpperBound, CmpInst::FCMP_OLT,
402 LowerBound);
403}
404
405// For pow(x,y), We only handle the following cases:
406// (1) x is a constant && (x >= 1) && (x < MaxUInt8)
407// Cond is: (y > 127)
408// (2) x is a value coming from an integer type.
409// (2.1) if x's bit_size == 8
410// Cond: (x <= 0 || y > 128)
411// (2.2) if x's bit_size is 16
412// Cond: (x <= 0 || y > 64)
413// (2.3) if x's bit_size is 32
414// Cond: (x <= 0 || y > 32)
415// Support for powl(x,y) and powf(x,y) are TBD.
416//
417// Note that condition can be more conservative than the actual condition
418// (i.e. we might invoke the calls that will not set the errno.).
419//
420Value *LibCallsShrinkWrap::generateCondForPow(CallInst *CI,
David L. Jonesd21529f2017-01-23 23:16:46 +0000421 const LibFunc &Func) {
422 // FIXME: LibFunc_powf and powl TBD.
423 if (Func != LibFunc_pow) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000424 LLVM_DEBUG(dbgs() << "Not handled powf() and powl()\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000425 return nullptr;
426 }
427
428 Value *Base = CI->getArgOperand(0);
429 Value *Exp = CI->getArgOperand(1);
430 IRBuilder<> BBBuilder(CI);
431
432 // Constant Base case.
433 if (ConstantFP *CF = dyn_cast<ConstantFP>(Base)) {
434 double D = CF->getValueAPF().convertToDouble();
435 if (D < 1.0f || D > APInt::getMaxValue(8).getZExtValue()) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000436 LLVM_DEBUG(dbgs() << "Not handled pow(): constant base out of range\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000437 return nullptr;
438 }
439
440 ++NumWrappedOneCond;
441 Constant *V = ConstantFP::get(CI->getContext(), APFloat(127.0f));
442 if (!Exp->getType()->isFloatTy())
443 V = ConstantExpr::getFPExtend(V, Exp->getType());
444 return BBBuilder.CreateFCmp(CmpInst::FCMP_OGT, Exp, V);
445 }
446
447 // If the Base value coming from an integer type.
448 Instruction *I = dyn_cast<Instruction>(Base);
449 if (!I) {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000450 LLVM_DEBUG(dbgs() << "Not handled pow(): FP type base\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000451 return nullptr;
452 }
453 unsigned Opcode = I->getOpcode();
454 if (Opcode == Instruction::UIToFP || Opcode == Instruction::SIToFP) {
455 unsigned BW = I->getOperand(0)->getType()->getPrimitiveSizeInBits();
456 float UpperV = 0.0f;
457 if (BW == 8)
458 UpperV = 128.0f;
459 else if (BW == 16)
460 UpperV = 64.0f;
461 else if (BW == 32)
462 UpperV = 32.0f;
463 else {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000464 LLVM_DEBUG(dbgs() << "Not handled pow(): type too wide\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000465 return nullptr;
466 }
467
468 ++NumWrappedTwoCond;
469 Constant *V = ConstantFP::get(CI->getContext(), APFloat(UpperV));
470 Constant *V0 = ConstantFP::get(CI->getContext(), APFloat(0.0f));
471 if (!Exp->getType()->isFloatTy())
472 V = ConstantExpr::getFPExtend(V, Exp->getType());
473 if (!Base->getType()->isFloatTy())
474 V0 = ConstantExpr::getFPExtend(V0, Exp->getType());
475
476 Value *Cond = BBBuilder.CreateFCmp(CmpInst::FCMP_OGT, Exp, V);
477 Value *Cond0 = BBBuilder.CreateFCmp(CmpInst::FCMP_OLE, Base, V0);
478 return BBBuilder.CreateOr(Cond0, Cond);
479 }
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000480 LLVM_DEBUG(dbgs() << "Not handled pow(): base not from integer convert\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000481 return nullptr;
482}
483
484// Wrap conditions that can potentially generate errno to the library call.
485void LibCallsShrinkWrap::shrinkWrapCI(CallInst *CI, Value *Cond) {
Davide Italiano11817ba2017-04-26 21:21:02 +0000486 assert(Cond != nullptr && "ShrinkWrapCI is not expecting an empty call inst");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000487 MDNode *BranchWeights =
488 MDBuilder(CI->getContext()).createBranchWeights(1, 2000);
Davide Italiano6abada82017-04-26 21:05:40 +0000489
Chandler Carruth4a2d58e2018-10-15 09:34:05 +0000490 Instruction *NewInst =
Davide Italiano6abada82017-04-26 21:05:40 +0000491 SplitBlockAndInsertIfThen(Cond, CI, false, BranchWeights, DT);
Rong Xu1c0e9b92016-10-18 21:36:27 +0000492 BasicBlock *CallBB = NewInst->getParent();
493 CallBB->setName("cdce.call");
Davide Italiano6abada82017-04-26 21:05:40 +0000494 BasicBlock *SuccBB = CallBB->getSingleSuccessor();
495 assert(SuccBB && "The split block should have a single successor");
496 SuccBB->setName("cdce.end");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000497 CI->removeFromParent();
498 CallBB->getInstList().insert(CallBB->getFirstInsertionPt(), CI);
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000499 LLVM_DEBUG(dbgs() << "== Basic Block After ==");
500 LLVM_DEBUG(dbgs() << *CallBB->getSinglePredecessor() << *CallBB
501 << *CallBB->getSingleSuccessor() << "\n");
Rong Xu1c0e9b92016-10-18 21:36:27 +0000502}
503
504// Perform the transformation to a single candidate.
505bool LibCallsShrinkWrap::perform(CallInst *CI) {
David L. Jonesd21529f2017-01-23 23:16:46 +0000506 LibFunc Func;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000507 Function *Callee = CI->getCalledFunction();
508 assert(Callee && "perform() should apply to a non-empty callee");
509 TLI.getLibFunc(*Callee, Func);
510 assert(Func && "perform() is not expecting an empty function");
511
Davide Italiano3c3785f2017-04-26 21:19:05 +0000512 if (performCallDomainErrorOnly(CI, Func) || performCallRangeErrorOnly(CI, Func))
Rong Xu1c0e9b92016-10-18 21:36:27 +0000513 return true;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000514 return performCallErrors(CI, Func);
515}
516
517void LibCallsShrinkWrapLegacyPass::getAnalysisUsage(AnalysisUsage &AU) const {
Davide Italiano6abada82017-04-26 21:05:40 +0000518 AU.addPreserved<DominatorTreeWrapperPass>();
Davide Italiano1e77aac2016-11-08 19:18:20 +0000519 AU.addPreserved<GlobalsAAWrapperPass>();
Rong Xu1c0e9b92016-10-18 21:36:27 +0000520 AU.addRequired<TargetLibraryInfoWrapperPass>();
521}
522
Davide Italiano6abada82017-04-26 21:05:40 +0000523static bool runImpl(Function &F, const TargetLibraryInfo &TLI,
524 DominatorTree *DT) {
Rong Xu1c0e9b92016-10-18 21:36:27 +0000525 if (F.hasFnAttribute(Attribute::OptimizeForSize))
526 return false;
Davide Italiano6abada82017-04-26 21:05:40 +0000527 LibCallsShrinkWrap CCDCE(TLI, DT);
Rong Xu1c0e9b92016-10-18 21:36:27 +0000528 CCDCE.visit(F);
Davide Italianod7b2a992017-04-26 21:28:40 +0000529 bool Changed = CCDCE.perform();
Davide Italiano6abada82017-04-26 21:05:40 +0000530
531// Verify the dominator after we've updated it locally.
David Green7c35de12018-02-28 11:00:08 +0000532 assert(!DT || DT->verify(DominatorTree::VerificationLevel::Fast));
Davide Italianod7b2a992017-04-26 21:28:40 +0000533 return Changed;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000534}
535
536bool LibCallsShrinkWrapLegacyPass::runOnFunction(Function &F) {
537 auto &TLI = getAnalysis<TargetLibraryInfoWrapperPass>().getTLI();
Davide Italiano6abada82017-04-26 21:05:40 +0000538 auto *DTWP = getAnalysisIfAvailable<DominatorTreeWrapperPass>();
539 auto *DT = DTWP ? &DTWP->getDomTree() : nullptr;
540 return runImpl(F, TLI, DT);
Rong Xu1c0e9b92016-10-18 21:36:27 +0000541}
542
543namespace llvm {
544char &LibCallsShrinkWrapPassID = LibCallsShrinkWrapLegacyPass::ID;
545
546// Public interface to LibCallsShrinkWrap pass.
547FunctionPass *createLibCallsShrinkWrapPass() {
548 return new LibCallsShrinkWrapLegacyPass();
549}
550
551PreservedAnalyses LibCallsShrinkWrapPass::run(Function &F,
552 FunctionAnalysisManager &FAM) {
553 auto &TLI = FAM.getResult<TargetLibraryAnalysis>(F);
Davide Italiano6abada82017-04-26 21:05:40 +0000554 auto *DT = FAM.getCachedResult<DominatorTreeAnalysis>(F);
Davide Italianod7b2a992017-04-26 21:28:40 +0000555 if (!runImpl(F, TLI, DT))
Rong Xu1c0e9b92016-10-18 21:36:27 +0000556 return PreservedAnalyses::all();
Davide Italiano1e77aac2016-11-08 19:18:20 +0000557 auto PA = PreservedAnalyses();
558 PA.preserve<GlobalsAA>();
Davide Italiano6abada82017-04-26 21:05:40 +0000559 PA.preserve<DominatorTreeAnalysis>();
Davide Italiano1e77aac2016-11-08 19:18:20 +0000560 return PA;
Rong Xu1c0e9b92016-10-18 21:36:27 +0000561}
562}