blob: 1748815c5941d19c7f3fea3c5e4121f9bb9a31dc [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,
Sanjay Patel0de1a4b2017-11-27 21:15:43 +000029 BasicBlock &CurrBB, Function::iterator &BB,
30 const TargetTransformInfo *TTI) {
Akira Hatanaka5c50a162013-06-11 22:21:44 +000031 // There is no need to change the IR, since backend will emit sqrt
32 // instruction if the call has already been marked read-only.
33 if (Call->onlyReadsMemory())
34 return false;
35
36 // Do the following transformation:
37 //
38 // (before)
39 // dst = sqrt(src)
40 //
41 // (after)
42 // v0 = sqrt_noreadmem(src) # native sqrt instruction.
Sanjay Patel0de1a4b2017-11-27 21:15:43 +000043 // [if (v0 is a NaN) || if (src < 0)]
Akira Hatanaka5c50a162013-06-11 22:21:44 +000044 // v1 = sqrt(src) # library call.
45 // dst = phi(v0, v1)
46 //
47
48 // Move all instructions following Call to newly created block JoinBB.
49 // Create phi and replace all uses.
Chandler Carruth32c52c72015-01-18 02:39:37 +000050 BasicBlock *JoinBB = llvm::SplitBlock(&CurrBB, Call->getNextNode());
Akira Hatanaka5c50a162013-06-11 22:21:44 +000051 IRBuilder<> Builder(JoinBB, JoinBB->begin());
Sanjay Patel0de1a4b2017-11-27 21:15:43 +000052 Type *Ty = Call->getType();
53 PHINode *Phi = Builder.CreatePHI(Ty, 2);
Akira Hatanaka5c50a162013-06-11 22:21:44 +000054 Call->replaceAllUsesWith(Phi);
55
56 // Create basic block LibCallBB and insert a call to library function sqrt.
57 BasicBlock *LibCallBB = BasicBlock::Create(CurrBB.getContext(), "call.sqrt",
58 CurrBB.getParent(), JoinBB);
59 Builder.SetInsertPoint(LibCallBB);
60 Instruction *LibCall = Call->clone();
61 Builder.Insert(LibCall);
62 Builder.CreateBr(JoinBB);
63
64 // Add attribute "readnone" so that backend can use a native sqrt instruction
65 // for this call. Insert a FP compare instruction and a conditional branch
66 // at the end of CurrBB.
Reid Klecknerb5180542017-03-21 16:57:19 +000067 Call->addAttribute(AttributeList::FunctionIndex, Attribute::ReadNone);
Akira Hatanaka5c50a162013-06-11 22:21:44 +000068 CurrBB.getTerminator()->eraseFromParent();
69 Builder.SetInsertPoint(&CurrBB);
Sanjay Patel0de1a4b2017-11-27 21:15:43 +000070 Value *FCmp = TTI->isFCmpOrdCheaperThanFCmpZero(Ty)
71 ? Builder.CreateFCmpORD(Call, Call)
72 : Builder.CreateFCmpOGE(Call->getOperand(0),
73 ConstantFP::get(Ty, 0.0));
Akira Hatanaka5c50a162013-06-11 22:21:44 +000074 Builder.CreateCondBr(FCmp, JoinBB, LibCallBB);
75
76 // Add phi operands.
77 Phi->addIncoming(Call, &CurrBB);
78 Phi->addIncoming(LibCall, LibCallBB);
79
Duncan P. N. Exon Smithbe4d8cb2015-10-13 19:26:58 +000080 BB = JoinBB->getIterator();
Akira Hatanaka5c50a162013-06-11 22:21:44 +000081 return true;
82}
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000083
Davide Italiano1021c682016-05-25 23:38:53 +000084static bool runPartiallyInlineLibCalls(Function &F, TargetLibraryInfo *TLI,
85 const TargetTransformInfo *TTI) {
Davide Italiano08713bd2016-05-20 15:43:39 +000086 bool Changed = false;
Davide Italiano1021c682016-05-25 23:38:53 +000087
Davide Italiano08713bd2016-05-20 15:43:39 +000088 Function::iterator CurrBB;
Davide Italiano08713bd2016-05-20 15:43:39 +000089 for (Function::iterator BB = F.begin(), BE = F.end(); BB != BE;) {
90 CurrBB = BB++;
91
92 for (BasicBlock::iterator II = CurrBB->begin(), IE = CurrBB->end();
93 II != IE; ++II) {
94 CallInst *Call = dyn_cast<CallInst>(&*II);
95 Function *CalledFunc;
96
97 if (!Call || !(CalledFunc = Call->getCalledFunction()))
98 continue;
99
Craig Topper49687102017-10-28 00:36:58 +0000100 if (Call->isNoBuiltin())
101 continue;
102
Davide Italiano08713bd2016-05-20 15:43:39 +0000103 // Skip if function either has local linkage or is not a known library
104 // function.
David L. Jonesd21529f2017-01-23 23:16:46 +0000105 LibFunc LF;
Craig Topper49687102017-10-28 00:36:58 +0000106 if (CalledFunc->hasLocalLinkage() ||
107 !TLI->getLibFunc(*CalledFunc, LF) || !TLI->has(LF))
Davide Italiano08713bd2016-05-20 15:43:39 +0000108 continue;
109
David L. Jonesd21529f2017-01-23 23:16:46 +0000110 switch (LF) {
111 case LibFunc_sqrtf:
112 case LibFunc_sqrt:
Davide Italiano08713bd2016-05-20 15:43:39 +0000113 if (TTI->haveFastSqrt(Call->getType()) &&
Sanjay Patel0de1a4b2017-11-27 21:15:43 +0000114 optimizeSQRT(Call, CalledFunc, *CurrBB, BB, TTI))
Davide Italiano08713bd2016-05-20 15:43:39 +0000115 break;
116 continue;
117 default:
118 continue;
119 }
120
121 Changed = true;
122 break;
123 }
124 }
125
126 return Changed;
127}
128
Davide Italiano1021c682016-05-25 23:38:53 +0000129PreservedAnalyses
Sean Silva36e0d012016-08-09 00:28:15 +0000130PartiallyInlineLibCallsPass::run(Function &F, FunctionAnalysisManager &AM) {
Davide Italiano1021c682016-05-25 23:38:53 +0000131 auto &TLI = AM.getResult<TargetLibraryAnalysis>(F);
132 auto &TTI = AM.getResult<TargetIRAnalysis>(F);
133 if (!runPartiallyInlineLibCalls(F, &TLI, &TTI))
134 return PreservedAnalyses::all();
135 return PreservedAnalyses::none();
136}
137
138namespace {
139class PartiallyInlineLibCallsLegacyPass : public FunctionPass {
140public:
141 static char ID;
142
143 PartiallyInlineLibCallsLegacyPass() : FunctionPass(ID) {
144 initializePartiallyInlineLibCallsLegacyPassPass(
145 *PassRegistry::getPassRegistry());
146 }
147
148 void getAnalysisUsage(AnalysisUsage &AU) const override {
149 AU.addRequired<TargetLibraryInfoWrapperPass>();
150 AU.addRequired<TargetTransformInfoWrapperPass>();
151 FunctionPass::getAnalysisUsage(AU);
152 }
153
154 bool runOnFunction(Function &F) override {
155 if (skipFunction(F))
156 return false;
157
158 TargetLibraryInfo *TLI =
159 &getAnalysis<TargetLibraryInfoWrapperPass>().getTLI();
160 const TargetTransformInfo *TTI =
161 &getAnalysis<TargetTransformInfoWrapperPass>().getTTI(F);
162 return runPartiallyInlineLibCalls(F, TLI, TTI);
163 }
164};
165}
166
167char PartiallyInlineLibCallsLegacyPass::ID = 0;
168INITIALIZE_PASS_BEGIN(PartiallyInlineLibCallsLegacyPass,
169 "partially-inline-libcalls",
170 "Partially inline calls to library functions", false,
171 false)
172INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
173INITIALIZE_PASS_DEPENDENCY(TargetTransformInfoWrapperPass)
174INITIALIZE_PASS_END(PartiallyInlineLibCallsLegacyPass,
175 "partially-inline-libcalls",
176 "Partially inline calls to library functions", false, false)
177
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000178FunctionPass *llvm::createPartiallyInlineLibCallsPass() {
Davide Italiano1021c682016-05-25 23:38:53 +0000179 return new PartiallyInlineLibCallsLegacyPass();
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000180}