blob: 05ea9144f66caa39507139320b2a2bfde7a1747c [file] [log] [blame]
Richard Sandiford37cd6cf2013-08-23 10:27:02 +00001//===--- PartiallyInlineLibCalls.cpp - Partially inline libcalls ----------===//
Akira Hatanaka5c50a162013-06-11 22:21:44 +00002//
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//
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000010// This pass tries to partially inline the fast path of well-known library
11// functions, such as using square-root instructions for cases where sqrt()
12// does not need to set errno.
Akira Hatanaka5c50a162013-06-11 22:21:44 +000013//
14//===----------------------------------------------------------------------===//
15
Davide Italiano1021c682016-05-25 23:38:53 +000016#include "llvm/Transforms/Scalar/PartiallyInlineLibCalls.h"
Mehdi Aminib550cb12016-04-18 09:17:29 +000017#include "llvm/Analysis/TargetLibraryInfo.h"
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000018#include "llvm/Analysis/TargetTransformInfo.h"
Akira Hatanaka5c50a162013-06-11 22:21:44 +000019#include "llvm/IR/IRBuilder.h"
George Burgess IVd565b0f2018-09-13 20:33:04 +000020#include "llvm/Support/DebugCounter.h"
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000021#include "llvm/Transforms/Scalar.h"
Akira Hatanaka5c50a162013-06-11 22:21:44 +000022#include "llvm/Transforms/Utils/BasicBlockUtils.h"
23
24using namespace llvm;
25
Chandler Carruth964daaa2014-04-22 02:55:47 +000026#define DEBUG_TYPE "partially-inline-libcalls"
27
George Burgess IVd565b0f2018-09-13 20:33:04 +000028DEBUG_COUNTER(PILCounter, "partially-inline-libcalls-transform",
29 "Controls transformations in partially-inline-libcalls");
Andrew Kaylor50271f72016-05-03 22:32:30 +000030
Davide Italiano08713bd2016-05-20 15:43:39 +000031static bool optimizeSQRT(CallInst *Call, Function *CalledFunc,
Sanjay Patel0de1a4b2017-11-27 21:15:43 +000032 BasicBlock &CurrBB, Function::iterator &BB,
33 const TargetTransformInfo *TTI) {
Akira Hatanaka5c50a162013-06-11 22:21:44 +000034 // There is no need to change the IR, since backend will emit sqrt
35 // instruction if the call has already been marked read-only.
36 if (Call->onlyReadsMemory())
37 return false;
38
George Burgess IVd565b0f2018-09-13 20:33:04 +000039 if (!DebugCounter::shouldExecute(PILCounter))
40 return false;
41
Akira Hatanaka5c50a162013-06-11 22:21:44 +000042 // Do the following transformation:
43 //
44 // (before)
45 // dst = sqrt(src)
46 //
47 // (after)
48 // v0 = sqrt_noreadmem(src) # native sqrt instruction.
Sanjay Patel0de1a4b2017-11-27 21:15:43 +000049 // [if (v0 is a NaN) || if (src < 0)]
Akira Hatanaka5c50a162013-06-11 22:21:44 +000050 // v1 = sqrt(src) # library call.
51 // dst = phi(v0, v1)
52 //
53
54 // Move all instructions following Call to newly created block JoinBB.
55 // Create phi and replace all uses.
Chandler Carruth32c52c72015-01-18 02:39:37 +000056 BasicBlock *JoinBB = llvm::SplitBlock(&CurrBB, Call->getNextNode());
Akira Hatanaka5c50a162013-06-11 22:21:44 +000057 IRBuilder<> Builder(JoinBB, JoinBB->begin());
Sanjay Patel0de1a4b2017-11-27 21:15:43 +000058 Type *Ty = Call->getType();
59 PHINode *Phi = Builder.CreatePHI(Ty, 2);
Akira Hatanaka5c50a162013-06-11 22:21:44 +000060 Call->replaceAllUsesWith(Phi);
61
62 // Create basic block LibCallBB and insert a call to library function sqrt.
63 BasicBlock *LibCallBB = BasicBlock::Create(CurrBB.getContext(), "call.sqrt",
64 CurrBB.getParent(), JoinBB);
65 Builder.SetInsertPoint(LibCallBB);
66 Instruction *LibCall = Call->clone();
67 Builder.Insert(LibCall);
68 Builder.CreateBr(JoinBB);
69
70 // Add attribute "readnone" so that backend can use a native sqrt instruction
71 // for this call. Insert a FP compare instruction and a conditional branch
72 // at the end of CurrBB.
Reid Klecknerb5180542017-03-21 16:57:19 +000073 Call->addAttribute(AttributeList::FunctionIndex, Attribute::ReadNone);
Akira Hatanaka5c50a162013-06-11 22:21:44 +000074 CurrBB.getTerminator()->eraseFromParent();
75 Builder.SetInsertPoint(&CurrBB);
Sanjay Patel0de1a4b2017-11-27 21:15:43 +000076 Value *FCmp = TTI->isFCmpOrdCheaperThanFCmpZero(Ty)
77 ? Builder.CreateFCmpORD(Call, Call)
78 : Builder.CreateFCmpOGE(Call->getOperand(0),
79 ConstantFP::get(Ty, 0.0));
Akira Hatanaka5c50a162013-06-11 22:21:44 +000080 Builder.CreateCondBr(FCmp, JoinBB, LibCallBB);
81
82 // Add phi operands.
83 Phi->addIncoming(Call, &CurrBB);
84 Phi->addIncoming(LibCall, LibCallBB);
85
Duncan P. N. Exon Smithbe4d8cb2015-10-13 19:26:58 +000086 BB = JoinBB->getIterator();
Akira Hatanaka5c50a162013-06-11 22:21:44 +000087 return true;
88}
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000089
Davide Italiano1021c682016-05-25 23:38:53 +000090static bool runPartiallyInlineLibCalls(Function &F, TargetLibraryInfo *TLI,
91 const TargetTransformInfo *TTI) {
Davide Italiano08713bd2016-05-20 15:43:39 +000092 bool Changed = false;
Davide Italiano1021c682016-05-25 23:38:53 +000093
Davide Italiano08713bd2016-05-20 15:43:39 +000094 Function::iterator CurrBB;
Davide Italiano08713bd2016-05-20 15:43:39 +000095 for (Function::iterator BB = F.begin(), BE = F.end(); BB != BE;) {
96 CurrBB = BB++;
97
98 for (BasicBlock::iterator II = CurrBB->begin(), IE = CurrBB->end();
99 II != IE; ++II) {
100 CallInst *Call = dyn_cast<CallInst>(&*II);
101 Function *CalledFunc;
102
103 if (!Call || !(CalledFunc = Call->getCalledFunction()))
104 continue;
105
Craig Topper49687102017-10-28 00:36:58 +0000106 if (Call->isNoBuiltin())
107 continue;
108
Davide Italiano08713bd2016-05-20 15:43:39 +0000109 // Skip if function either has local linkage or is not a known library
110 // function.
David L. Jonesd21529f2017-01-23 23:16:46 +0000111 LibFunc LF;
Craig Topper49687102017-10-28 00:36:58 +0000112 if (CalledFunc->hasLocalLinkage() ||
113 !TLI->getLibFunc(*CalledFunc, LF) || !TLI->has(LF))
Davide Italiano08713bd2016-05-20 15:43:39 +0000114 continue;
115
David L. Jonesd21529f2017-01-23 23:16:46 +0000116 switch (LF) {
117 case LibFunc_sqrtf:
118 case LibFunc_sqrt:
Davide Italiano08713bd2016-05-20 15:43:39 +0000119 if (TTI->haveFastSqrt(Call->getType()) &&
Sanjay Patel0de1a4b2017-11-27 21:15:43 +0000120 optimizeSQRT(Call, CalledFunc, *CurrBB, BB, TTI))
Davide Italiano08713bd2016-05-20 15:43:39 +0000121 break;
122 continue;
123 default:
124 continue;
125 }
126
127 Changed = true;
128 break;
129 }
130 }
131
132 return Changed;
133}
134
Davide Italiano1021c682016-05-25 23:38:53 +0000135PreservedAnalyses
Sean Silva36e0d012016-08-09 00:28:15 +0000136PartiallyInlineLibCallsPass::run(Function &F, FunctionAnalysisManager &AM) {
Davide Italiano1021c682016-05-25 23:38:53 +0000137 auto &TLI = AM.getResult<TargetLibraryAnalysis>(F);
138 auto &TTI = AM.getResult<TargetIRAnalysis>(F);
139 if (!runPartiallyInlineLibCalls(F, &TLI, &TTI))
140 return PreservedAnalyses::all();
141 return PreservedAnalyses::none();
142}
143
144namespace {
145class PartiallyInlineLibCallsLegacyPass : public FunctionPass {
146public:
147 static char ID;
148
149 PartiallyInlineLibCallsLegacyPass() : FunctionPass(ID) {
150 initializePartiallyInlineLibCallsLegacyPassPass(
151 *PassRegistry::getPassRegistry());
152 }
153
154 void getAnalysisUsage(AnalysisUsage &AU) const override {
155 AU.addRequired<TargetLibraryInfoWrapperPass>();
156 AU.addRequired<TargetTransformInfoWrapperPass>();
157 FunctionPass::getAnalysisUsage(AU);
158 }
159
160 bool runOnFunction(Function &F) override {
161 if (skipFunction(F))
162 return false;
163
164 TargetLibraryInfo *TLI =
165 &getAnalysis<TargetLibraryInfoWrapperPass>().getTLI();
166 const TargetTransformInfo *TTI =
167 &getAnalysis<TargetTransformInfoWrapperPass>().getTTI(F);
168 return runPartiallyInlineLibCalls(F, TLI, TTI);
169 }
170};
171}
172
173char PartiallyInlineLibCallsLegacyPass::ID = 0;
174INITIALIZE_PASS_BEGIN(PartiallyInlineLibCallsLegacyPass,
175 "partially-inline-libcalls",
176 "Partially inline calls to library functions", false,
177 false)
178INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
179INITIALIZE_PASS_DEPENDENCY(TargetTransformInfoWrapperPass)
180INITIALIZE_PASS_END(PartiallyInlineLibCallsLegacyPass,
181 "partially-inline-libcalls",
182 "Partially inline calls to library functions", false, false)
183
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000184FunctionPass *llvm::createPartiallyInlineLibCallsPass() {
Davide Italiano1021c682016-05-25 23:38:53 +0000185 return new PartiallyInlineLibCallsLegacyPass();
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000186}