blob: 6c41f9145e62902e8c7f522d80c0d43e6d8b0e22 [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
Mehdi Aminib550cb12016-04-18 09:17:29 +000016#include "llvm/Analysis/TargetLibraryInfo.h"
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000017#include "llvm/Analysis/TargetTransformInfo.h"
Akira Hatanaka5c50a162013-06-11 22:21:44 +000018#include "llvm/IR/IRBuilder.h"
19#include "llvm/IR/Intrinsics.h"
20#include "llvm/Pass.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
Akira Hatanaka5c50a162013-06-11 22:21:44 +000028namespace {
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000029 class PartiallyInlineLibCalls : public FunctionPass {
Akira Hatanaka5c50a162013-06-11 22:21:44 +000030 public:
31 static char ID;
32
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000033 PartiallyInlineLibCalls() :
34 FunctionPass(ID) {
35 initializePartiallyInlineLibCallsPass(*PassRegistry::getPassRegistry());
Akira Hatanaka5c50a162013-06-11 22:21:44 +000036 }
37
Craig Topper3e4c6972014-03-05 09:10:37 +000038 void getAnalysisUsage(AnalysisUsage &AU) const override;
39 bool runOnFunction(Function &F) override;
Akira Hatanaka5c50a162013-06-11 22:21:44 +000040
41 private:
42 /// Optimize calls to sqrt.
43 bool optimizeSQRT(CallInst *Call, Function *CalledFunc,
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000044 BasicBlock &CurrBB, Function::iterator &BB);
Akira Hatanaka5c50a162013-06-11 22:21:44 +000045 };
46
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000047 char PartiallyInlineLibCalls::ID = 0;
Alexander Kornienkof00654e2015-06-23 09:49:53 +000048}
Akira Hatanaka5c50a162013-06-11 22:21:44 +000049
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000050INITIALIZE_PASS(PartiallyInlineLibCalls, "partially-inline-libcalls",
51 "Partially inline calls to library functions", false, false)
Akira Hatanaka5c50a162013-06-11 22:21:44 +000052
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000053void PartiallyInlineLibCalls::getAnalysisUsage(AnalysisUsage &AU) const {
Chandler Carruthb98f63d2015-01-15 10:41:28 +000054 AU.addRequired<TargetLibraryInfoWrapperPass>();
Chandler Carruth705b1852015-01-31 03:43:40 +000055 AU.addRequired<TargetTransformInfoWrapperPass>();
Akira Hatanaka5c50a162013-06-11 22:21:44 +000056 FunctionPass::getAnalysisUsage(AU);
57}
58
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000059bool PartiallyInlineLibCalls::runOnFunction(Function &F) {
Akira Hatanaka5c50a162013-06-11 22:21:44 +000060 bool Changed = false;
61 Function::iterator CurrBB;
Chandler Carruthb98f63d2015-01-15 10:41:28 +000062 TargetLibraryInfo *TLI =
63 &getAnalysis<TargetLibraryInfoWrapperPass>().getTLI();
Chandler Carruth705b1852015-01-31 03:43:40 +000064 const TargetTransformInfo *TTI =
Chandler Carruthfdb9c572015-02-01 12:01:35 +000065 &getAnalysis<TargetTransformInfoWrapperPass>().getTTI(F);
Akira Hatanaka5c50a162013-06-11 22:21:44 +000066 for (Function::iterator BB = F.begin(), BE = F.end(); BB != BE;) {
67 CurrBB = BB++;
68
69 for (BasicBlock::iterator II = CurrBB->begin(), IE = CurrBB->end();
70 II != IE; ++II) {
71 CallInst *Call = dyn_cast<CallInst>(&*II);
72 Function *CalledFunc;
73
74 if (!Call || !(CalledFunc = Call->getCalledFunction()))
75 continue;
76
Akira Hatanaka5c50a162013-06-11 22:21:44 +000077 // Skip if function either has local linkage or is not a known library
78 // function.
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000079 LibFunc::Func LibFunc;
Akira Hatanaka5c50a162013-06-11 22:21:44 +000080 if (CalledFunc->hasLocalLinkage() || !CalledFunc->hasName() ||
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000081 !TLI->getLibFunc(CalledFunc->getName(), LibFunc))
Akira Hatanaka5c50a162013-06-11 22:21:44 +000082 continue;
83
84 switch (LibFunc) {
85 case LibFunc::sqrtf:
86 case LibFunc::sqrt:
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000087 if (TTI->haveFastSqrt(Call->getType()) &&
88 optimizeSQRT(Call, CalledFunc, *CurrBB, BB))
Akira Hatanaka5c50a162013-06-11 22:21:44 +000089 break;
90 continue;
91 default:
92 continue;
93 }
94
95 Changed = true;
96 break;
97 }
98 }
99
100 return Changed;
101}
102
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000103bool PartiallyInlineLibCalls::optimizeSQRT(CallInst *Call,
104 Function *CalledFunc,
105 BasicBlock &CurrBB,
106 Function::iterator &BB) {
Akira Hatanaka5c50a162013-06-11 22:21:44 +0000107 // There is no need to change the IR, since backend will emit sqrt
108 // instruction if the call has already been marked read-only.
109 if (Call->onlyReadsMemory())
110 return false;
111
Peter Collingbournee52646c2014-08-01 23:21:21 +0000112 // The call must have the expected result type.
113 if (!Call->getType()->isFloatingPointTy())
114 return false;
115
Akira Hatanaka5c50a162013-06-11 22:21:44 +0000116 // Do the following transformation:
117 //
118 // (before)
119 // dst = sqrt(src)
120 //
121 // (after)
122 // v0 = sqrt_noreadmem(src) # native sqrt instruction.
123 // if (v0 is a NaN)
124 // v1 = sqrt(src) # library call.
125 // dst = phi(v0, v1)
126 //
127
128 // Move all instructions following Call to newly created block JoinBB.
129 // Create phi and replace all uses.
Chandler Carruth32c52c72015-01-18 02:39:37 +0000130 BasicBlock *JoinBB = llvm::SplitBlock(&CurrBB, Call->getNextNode());
Akira Hatanaka5c50a162013-06-11 22:21:44 +0000131 IRBuilder<> Builder(JoinBB, JoinBB->begin());
132 PHINode *Phi = Builder.CreatePHI(Call->getType(), 2);
133 Call->replaceAllUsesWith(Phi);
134
135 // Create basic block LibCallBB and insert a call to library function sqrt.
136 BasicBlock *LibCallBB = BasicBlock::Create(CurrBB.getContext(), "call.sqrt",
137 CurrBB.getParent(), JoinBB);
138 Builder.SetInsertPoint(LibCallBB);
139 Instruction *LibCall = Call->clone();
140 Builder.Insert(LibCall);
141 Builder.CreateBr(JoinBB);
142
143 // Add attribute "readnone" so that backend can use a native sqrt instruction
144 // for this call. Insert a FP compare instruction and a conditional branch
145 // at the end of CurrBB.
146 Call->addAttribute(AttributeSet::FunctionIndex, Attribute::ReadNone);
147 CurrBB.getTerminator()->eraseFromParent();
148 Builder.SetInsertPoint(&CurrBB);
149 Value *FCmp = Builder.CreateFCmpOEQ(Call, Call);
150 Builder.CreateCondBr(FCmp, JoinBB, LibCallBB);
151
152 // Add phi operands.
153 Phi->addIncoming(Call, &CurrBB);
154 Phi->addIncoming(LibCall, LibCallBB);
155
Duncan P. N. Exon Smithbe4d8cb2015-10-13 19:26:58 +0000156 BB = JoinBB->getIterator();
Akira Hatanaka5c50a162013-06-11 22:21:44 +0000157 return true;
158}
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000159
160FunctionPass *llvm::createPartiallyInlineLibCallsPass() {
161 return new PartiallyInlineLibCalls();
162}