blob: da50fdf02216c86c0534bc036fe5d86527fec5eb [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
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000016#include "llvm/Analysis/TargetTransformInfo.h"
Akira Hatanaka5c50a162013-06-11 22:21:44 +000017#include "llvm/IR/IRBuilder.h"
18#include "llvm/IR/Intrinsics.h"
19#include "llvm/Pass.h"
20#include "llvm/Support/CommandLine.h"
Chandler Carruth62d42152015-01-15 02:16:27 +000021#include "llvm/Analysis/TargetLibraryInfo.h"
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000022#include "llvm/Transforms/Scalar.h"
Akira Hatanaka5c50a162013-06-11 22:21:44 +000023#include "llvm/Transforms/Utils/BasicBlockUtils.h"
24
25using namespace llvm;
26
Chandler Carruth964daaa2014-04-22 02:55:47 +000027#define DEBUG_TYPE "partially-inline-libcalls"
28
Akira Hatanaka5c50a162013-06-11 22:21:44 +000029namespace {
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000030 class PartiallyInlineLibCalls : public FunctionPass {
Akira Hatanaka5c50a162013-06-11 22:21:44 +000031 public:
32 static char ID;
33
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000034 PartiallyInlineLibCalls() :
35 FunctionPass(ID) {
36 initializePartiallyInlineLibCallsPass(*PassRegistry::getPassRegistry());
Akira Hatanaka5c50a162013-06-11 22:21:44 +000037 }
38
Craig Topper3e4c6972014-03-05 09:10:37 +000039 void getAnalysisUsage(AnalysisUsage &AU) const override;
40 bool runOnFunction(Function &F) override;
Akira Hatanaka5c50a162013-06-11 22:21:44 +000041
42 private:
43 /// Optimize calls to sqrt.
44 bool optimizeSQRT(CallInst *Call, Function *CalledFunc,
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000045 BasicBlock &CurrBB, Function::iterator &BB);
Akira Hatanaka5c50a162013-06-11 22:21:44 +000046 };
47
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000048 char PartiallyInlineLibCalls::ID = 0;
Akira Hatanaka5c50a162013-06-11 22:21:44 +000049}
50
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000051INITIALIZE_PASS(PartiallyInlineLibCalls, "partially-inline-libcalls",
52 "Partially inline calls to library functions", false, false)
Akira Hatanaka5c50a162013-06-11 22:21:44 +000053
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000054void PartiallyInlineLibCalls::getAnalysisUsage(AnalysisUsage &AU) const {
Chandler Carruthb98f63d2015-01-15 10:41:28 +000055 AU.addRequired<TargetLibraryInfoWrapperPass>();
Chandler Carruth705b1852015-01-31 03:43:40 +000056 AU.addRequired<TargetTransformInfoWrapperPass>();
Akira Hatanaka5c50a162013-06-11 22:21:44 +000057 FunctionPass::getAnalysisUsage(AU);
58}
59
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000060bool PartiallyInlineLibCalls::runOnFunction(Function &F) {
Akira Hatanaka5c50a162013-06-11 22:21:44 +000061 bool Changed = false;
62 Function::iterator CurrBB;
Chandler Carruthb98f63d2015-01-15 10:41:28 +000063 TargetLibraryInfo *TLI =
64 &getAnalysis<TargetLibraryInfoWrapperPass>().getTLI();
Chandler Carruth705b1852015-01-31 03:43:40 +000065 const TargetTransformInfo *TTI =
66 &getAnalysis<TargetTransformInfoWrapperPass>().getTTI();
Akira Hatanaka5c50a162013-06-11 22:21:44 +000067 for (Function::iterator BB = F.begin(), BE = F.end(); BB != BE;) {
68 CurrBB = BB++;
69
70 for (BasicBlock::iterator II = CurrBB->begin(), IE = CurrBB->end();
71 II != IE; ++II) {
72 CallInst *Call = dyn_cast<CallInst>(&*II);
73 Function *CalledFunc;
74
75 if (!Call || !(CalledFunc = Call->getCalledFunction()))
76 continue;
77
Akira Hatanaka5c50a162013-06-11 22:21:44 +000078 // Skip if function either has local linkage or is not a known library
79 // function.
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000080 LibFunc::Func LibFunc;
Akira Hatanaka5c50a162013-06-11 22:21:44 +000081 if (CalledFunc->hasLocalLinkage() || !CalledFunc->hasName() ||
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000082 !TLI->getLibFunc(CalledFunc->getName(), LibFunc))
Akira Hatanaka5c50a162013-06-11 22:21:44 +000083 continue;
84
85 switch (LibFunc) {
86 case LibFunc::sqrtf:
87 case LibFunc::sqrt:
Richard Sandiford37cd6cf2013-08-23 10:27:02 +000088 if (TTI->haveFastSqrt(Call->getType()) &&
89 optimizeSQRT(Call, CalledFunc, *CurrBB, BB))
Akira Hatanaka5c50a162013-06-11 22:21:44 +000090 break;
91 continue;
92 default:
93 continue;
94 }
95
96 Changed = true;
97 break;
98 }
99 }
100
101 return Changed;
102}
103
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000104bool PartiallyInlineLibCalls::optimizeSQRT(CallInst *Call,
105 Function *CalledFunc,
106 BasicBlock &CurrBB,
107 Function::iterator &BB) {
Akira Hatanaka5c50a162013-06-11 22:21:44 +0000108 // There is no need to change the IR, since backend will emit sqrt
109 // instruction if the call has already been marked read-only.
110 if (Call->onlyReadsMemory())
111 return false;
112
Peter Collingbournee52646c2014-08-01 23:21:21 +0000113 // The call must have the expected result type.
114 if (!Call->getType()->isFloatingPointTy())
115 return false;
116
Akira Hatanaka5c50a162013-06-11 22:21:44 +0000117 // Do the following transformation:
118 //
119 // (before)
120 // dst = sqrt(src)
121 //
122 // (after)
123 // v0 = sqrt_noreadmem(src) # native sqrt instruction.
124 // if (v0 is a NaN)
125 // v1 = sqrt(src) # library call.
126 // dst = phi(v0, v1)
127 //
128
129 // Move all instructions following Call to newly created block JoinBB.
130 // Create phi and replace all uses.
Chandler Carruth32c52c72015-01-18 02:39:37 +0000131 BasicBlock *JoinBB = llvm::SplitBlock(&CurrBB, Call->getNextNode());
Akira Hatanaka5c50a162013-06-11 22:21:44 +0000132 IRBuilder<> Builder(JoinBB, JoinBB->begin());
133 PHINode *Phi = Builder.CreatePHI(Call->getType(), 2);
134 Call->replaceAllUsesWith(Phi);
135
136 // Create basic block LibCallBB and insert a call to library function sqrt.
137 BasicBlock *LibCallBB = BasicBlock::Create(CurrBB.getContext(), "call.sqrt",
138 CurrBB.getParent(), JoinBB);
139 Builder.SetInsertPoint(LibCallBB);
140 Instruction *LibCall = Call->clone();
141 Builder.Insert(LibCall);
142 Builder.CreateBr(JoinBB);
143
144 // Add attribute "readnone" so that backend can use a native sqrt instruction
145 // for this call. Insert a FP compare instruction and a conditional branch
146 // at the end of CurrBB.
147 Call->addAttribute(AttributeSet::FunctionIndex, Attribute::ReadNone);
148 CurrBB.getTerminator()->eraseFromParent();
149 Builder.SetInsertPoint(&CurrBB);
150 Value *FCmp = Builder.CreateFCmpOEQ(Call, Call);
151 Builder.CreateCondBr(FCmp, JoinBB, LibCallBB);
152
153 // Add phi operands.
154 Phi->addIncoming(Call, &CurrBB);
155 Phi->addIncoming(LibCall, LibCallBB);
156
157 BB = JoinBB;
158 return true;
159}
Richard Sandiford37cd6cf2013-08-23 10:27:02 +0000160
161FunctionPass *llvm::createPartiallyInlineLibCallsPass() {
162 return new PartiallyInlineLibCalls();
163}