blob: a044fe38b76b52b7fe7ffe9a1356fd2acf9e0be0 [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"
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000020#include "llvm/Transforms/Scalar.h"
Akira Hatanaka5c50a162013-06-11 22:21:44 +000021#include "llvm/Transforms/Utils/BasicBlockUtils.h"
22
23using namespace llvm;
24
Chandler Carruth964daaa2014-04-22 02:55:47 +000025#define DEBUG_TYPE "partially-inline-libcalls"
26
Andrew Kaylor50271f72016-05-03 22:32:30 +000027
Davide Italiano08713bd2016-05-20 15:43:39 +000028static bool optimizeSQRT(CallInst *Call, Function *CalledFunc,
29 BasicBlock &CurrBB, Function::iterator &BB) {
Akira Hatanaka5c50a162013-06-11 22:21:44 +000030 // There is no need to change the IR, since backend will emit sqrt
31 // instruction if the call has already been marked read-only.
32 if (Call->onlyReadsMemory())
33 return false;
34
35 // Do the following transformation:
36 //
37 // (before)
38 // dst = sqrt(src)
39 //
40 // (after)
41 // v0 = sqrt_noreadmem(src) # native sqrt instruction.
42 // if (v0 is a NaN)
43 // v1 = sqrt(src) # library call.
44 // dst = phi(v0, v1)
45 //
46
47 // Move all instructions following Call to newly created block JoinBB.
48 // Create phi and replace all uses.
Chandler Carruth32c52c72015-01-18 02:39:37 +000049 BasicBlock *JoinBB = llvm::SplitBlock(&CurrBB, Call->getNextNode());
Akira Hatanaka5c50a162013-06-11 22:21:44 +000050 IRBuilder<> Builder(JoinBB, JoinBB->begin());
51 PHINode *Phi = Builder.CreatePHI(Call->getType(), 2);
52 Call->replaceAllUsesWith(Phi);
53
54 // Create basic block LibCallBB and insert a call to library function sqrt.
55 BasicBlock *LibCallBB = BasicBlock::Create(CurrBB.getContext(), "call.sqrt",
56 CurrBB.getParent(), JoinBB);
57 Builder.SetInsertPoint(LibCallBB);
58 Instruction *LibCall = Call->clone();
59 Builder.Insert(LibCall);
60 Builder.CreateBr(JoinBB);
61
62 // Add attribute "readnone" so that backend can use a native sqrt instruction
63 // for this call. Insert a FP compare instruction and a conditional branch
64 // at the end of CurrBB.
Reid Klecknerb5180542017-03-21 16:57:19 +000065 Call->addAttribute(AttributeList::FunctionIndex, Attribute::ReadNone);
Akira Hatanaka5c50a162013-06-11 22:21:44 +000066 CurrBB.getTerminator()->eraseFromParent();
67 Builder.SetInsertPoint(&CurrBB);
68 Value *FCmp = Builder.CreateFCmpOEQ(Call, Call);
69 Builder.CreateCondBr(FCmp, JoinBB, LibCallBB);
70
71 // Add phi operands.
72 Phi->addIncoming(Call, &CurrBB);
73 Phi->addIncoming(LibCall, LibCallBB);
74
Duncan P. N. Exon Smithbe4d8cb2015-10-13 19:26:58 +000075 BB = JoinBB->getIterator();
Akira Hatanaka5c50a162013-06-11 22:21:44 +000076 return true;
77}
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000078
Davide Italiano1021c682016-05-25 23:38:53 +000079static bool runPartiallyInlineLibCalls(Function &F, TargetLibraryInfo *TLI,
80 const TargetTransformInfo *TTI) {
Davide Italiano08713bd2016-05-20 15:43:39 +000081 bool Changed = false;
Davide Italiano1021c682016-05-25 23:38:53 +000082
Davide Italiano08713bd2016-05-20 15:43:39 +000083 Function::iterator CurrBB;
Davide Italiano08713bd2016-05-20 15:43:39 +000084 for (Function::iterator BB = F.begin(), BE = F.end(); BB != BE;) {
85 CurrBB = BB++;
86
87 for (BasicBlock::iterator II = CurrBB->begin(), IE = CurrBB->end();
88 II != IE; ++II) {
89 CallInst *Call = dyn_cast<CallInst>(&*II);
90 Function *CalledFunc;
91
92 if (!Call || !(CalledFunc = Call->getCalledFunction()))
93 continue;
94
Craig Topper49687102017-10-28 00:36:58 +000095 if (Call->isNoBuiltin())
96 continue;
97
Davide Italiano08713bd2016-05-20 15:43:39 +000098 // Skip if function either has local linkage or is not a known library
99 // function.
David L. Jonesd21529f2017-01-23 23:16:46 +0000100 LibFunc LF;
Craig Topper49687102017-10-28 00:36:58 +0000101 if (CalledFunc->hasLocalLinkage() ||
102 !TLI->getLibFunc(*CalledFunc, LF) || !TLI->has(LF))
Davide Italiano08713bd2016-05-20 15:43:39 +0000103 continue;
104
David L. Jonesd21529f2017-01-23 23:16:46 +0000105 switch (LF) {
106 case LibFunc_sqrtf:
107 case LibFunc_sqrt:
Davide Italiano08713bd2016-05-20 15:43:39 +0000108 if (TTI->haveFastSqrt(Call->getType()) &&
109 optimizeSQRT(Call, CalledFunc, *CurrBB, BB))
110 break;
111 continue;
112 default:
113 continue;
114 }
115
116 Changed = true;
117 break;
118 }
119 }
120
121 return Changed;
122}
123
Davide Italiano1021c682016-05-25 23:38:53 +0000124PreservedAnalyses
Sean Silva36e0d012016-08-09 00:28:15 +0000125PartiallyInlineLibCallsPass::run(Function &F, FunctionAnalysisManager &AM) {
Davide Italiano1021c682016-05-25 23:38:53 +0000126 auto &TLI = AM.getResult<TargetLibraryAnalysis>(F);
127 auto &TTI = AM.getResult<TargetIRAnalysis>(F);
128 if (!runPartiallyInlineLibCalls(F, &TLI, &TTI))
129 return PreservedAnalyses::all();
130 return PreservedAnalyses::none();
131}
132
133namespace {
134class PartiallyInlineLibCallsLegacyPass : public FunctionPass {
135public:
136 static char ID;
137
138 PartiallyInlineLibCallsLegacyPass() : FunctionPass(ID) {
139 initializePartiallyInlineLibCallsLegacyPassPass(
140 *PassRegistry::getPassRegistry());
141 }
142
143 void getAnalysisUsage(AnalysisUsage &AU) const override {
144 AU.addRequired<TargetLibraryInfoWrapperPass>();
145 AU.addRequired<TargetTransformInfoWrapperPass>();
146 FunctionPass::getAnalysisUsage(AU);
147 }
148
149 bool runOnFunction(Function &F) override {
150 if (skipFunction(F))
151 return false;
152
153 TargetLibraryInfo *TLI =
154 &getAnalysis<TargetLibraryInfoWrapperPass>().getTLI();
155 const TargetTransformInfo *TTI =
156 &getAnalysis<TargetTransformInfoWrapperPass>().getTTI(F);
157 return runPartiallyInlineLibCalls(F, TLI, TTI);
158 }
159};
160}
161
162char PartiallyInlineLibCallsLegacyPass::ID = 0;
163INITIALIZE_PASS_BEGIN(PartiallyInlineLibCallsLegacyPass,
164 "partially-inline-libcalls",
165 "Partially inline calls to library functions", false,
166 false)
167INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
168INITIALIZE_PASS_DEPENDENCY(TargetTransformInfoWrapperPass)
169INITIALIZE_PASS_END(PartiallyInlineLibCallsLegacyPass,
170 "partially-inline-libcalls",
171 "Partially inline calls to library functions", false, false)
172
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000173FunctionPass *llvm::createPartiallyInlineLibCallsPass() {
Davide Italiano1021c682016-05-25 23:38:53 +0000174 return new PartiallyInlineLibCallsLegacyPass();
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000175}