blob: 617726515834d5af24d044ee92e2705385055df4 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===- Inliner.cpp - Code common to all inliners --------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the mechanics required to implement inlining without
11// missing any calls and updating the call graph. The decisions of which calls
12// are profitable to inline are implemented elsewhere.
13//
14//===----------------------------------------------------------------------===//
15
16#define DEBUG_TYPE "inline"
17#include "llvm/Module.h"
18#include "llvm/Instructions.h"
Dale Johannesenb618d082009-03-19 18:03:56 +000019#include "llvm/IntrinsicInst.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000020#include "llvm/Analysis/CallGraph.h"
21#include "llvm/Support/CallSite.h"
22#include "llvm/Target/TargetData.h"
23#include "llvm/Transforms/IPO/InlinerPass.h"
Chris Lattnerd1586b12009-08-27 04:32:07 +000024#include "llvm/Transforms/Utils/InlineCost.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000025#include "llvm/Transforms/Utils/Cloning.h"
26#include "llvm/Support/CommandLine.h"
27#include "llvm/Support/Debug.h"
Daniel Dunbar005975c2009-07-25 00:23:56 +000028#include "llvm/Support/raw_ostream.h"
Chris Lattnerd1586b12009-08-27 04:32:07 +000029#include "llvm/ADT/SmallPtrSet.h"
Dan Gohmanf17a25c2007-07-18 16:29:46 +000030#include "llvm/ADT/Statistic.h"
31#include <set>
32using namespace llvm;
33
34STATISTIC(NumInlined, "Number of functions inlined");
35STATISTIC(NumDeleted, "Number of functions deleted because all callers found");
Chris Lattnerbc424402009-08-27 06:29:33 +000036STATISTIC(NumMergedAllocas, "Number of allocas merged together");
Dan Gohmanf17a25c2007-07-18 16:29:46 +000037
Dan Gohman089efff2008-05-13 00:00:25 +000038static cl::opt<int>
Dale Johannesen30d4d762009-08-25 01:13:58 +000039InlineLimit("inline-threshold", cl::Hidden, cl::init(200), cl::ZeroOrMore,
Dale Johannesen5adaa752009-01-12 22:11:50 +000040 cl::desc("Control the amount of inlining to perform (default = 200)"));
Dan Gohmanf17a25c2007-07-18 16:29:46 +000041
Dan Gohman26f8c272008-09-04 17:05:41 +000042Inliner::Inliner(void *ID)
43 : CallGraphSCCPass(ID), InlineThreshold(InlineLimit) {}
Dan Gohmanf17a25c2007-07-18 16:29:46 +000044
Dan Gohman26f8c272008-09-04 17:05:41 +000045Inliner::Inliner(void *ID, int Threshold)
46 : CallGraphSCCPass(ID), InlineThreshold(Threshold) {}
Chris Lattner758296d2008-01-12 06:49:13 +000047
Dan Gohmanf17a25c2007-07-18 16:29:46 +000048/// getAnalysisUsage - For this class, we declare that we require and preserve
49/// the call graph. If the derived class implements this method, it should
50/// always explicitly call the implementation here.
51void Inliner::getAnalysisUsage(AnalysisUsage &Info) const {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000052 CallGraphSCCPass::getAnalysisUsage(Info);
53}
54
Chris Lattnerbc424402009-08-27 06:29:33 +000055
56typedef DenseMap<const ArrayType*, std::vector<AllocaInst*> >
57InlinedArrayAllocasTy;
58
59/// InlineCallIfPossible - If it is possible to inline the specified call site,
60/// do so and update the CallGraph for this operation.
61///
62/// This function also does some basic book-keeping to update the IR. The
Chris Lattnerd7e5bac2009-08-28 04:48:54 +000063/// InlinedArrayAllocas map keeps track of any allocas that are already
64/// available from other functions inlined into the caller. If we are able to
65/// inline this call site we attempt to reuse already available allocas or add
66/// any new allocas to the set if not possible.
Chris Lattnerbc424402009-08-27 06:29:33 +000067static bool InlineCallIfPossible(CallSite CS, CallGraph &CG,
68 const TargetData *TD,
69 InlinedArrayAllocasTy &InlinedArrayAllocas) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +000070 Function *Callee = CS.getCalledFunction();
Bill Wendling1106f2c2008-11-21 00:09:21 +000071 Function *Caller = CS.getCaller();
72
Chris Lattnerbc424402009-08-27 06:29:33 +000073 // Try to inline the function. Get the list of static allocas that were
74 // inlined.
75 SmallVector<AllocaInst*, 16> StaticAllocas;
76 if (!InlineFunction(CS, &CG, TD, &StaticAllocas))
Chris Lattnerd1586b12009-08-27 04:32:07 +000077 return false;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000078
Bill Wendling2ce7f302008-11-21 00:06:32 +000079 // If the inlined function had a higher stack protection level than the
80 // calling function, then bump up the caller's stack protection level.
Bill Wendling2ce7f302008-11-21 00:06:32 +000081 if (Callee->hasFnAttr(Attribute::StackProtectReq))
82 Caller->addFnAttr(Attribute::StackProtectReq);
83 else if (Callee->hasFnAttr(Attribute::StackProtect) &&
84 !Caller->hasFnAttr(Attribute::StackProtectReq))
85 Caller->addFnAttr(Attribute::StackProtect);
86
Chris Lattnerbc424402009-08-27 06:29:33 +000087
88 // Look at all of the allocas that we inlined through this call site. If we
89 // have already inlined other allocas through other calls into this function,
90 // then we know that they have disjoint lifetimes and that we can merge them.
91 //
92 // There are many heuristics possible for merging these allocas, and the
93 // different options have different tradeoffs. One thing that we *really*
94 // don't want to hurt is SRoA: once inlining happens, often allocas are no
95 // longer address taken and so they can be promoted.
96 //
97 // Our "solution" for that is to only merge allocas whose outermost type is an
98 // array type. These are usually not promoted because someone is using a
99 // variable index into them. These are also often the most important ones to
100 // merge.
101 //
102 // A better solution would be to have real memory lifetime markers in the IR
103 // and not have the inliner do any merging of allocas at all. This would
104 // allow the backend to do proper stack slot coloring of all allocas that
105 // *actually make it to the backend*, which is really what we want.
106 //
107 // Because we don't have this information, we do this simple and useful hack.
108 //
109 SmallPtrSet<AllocaInst*, 16> UsedAllocas;
110
111 // Loop over all the allocas we have so far and see if they can be merged with
112 // a previously inlined alloca. If not, remember that we had it.
113 for (unsigned AllocaNo = 0, e = StaticAllocas.size();
114 AllocaNo != e; ++AllocaNo) {
115 AllocaInst *AI = StaticAllocas[AllocaNo];
116
117 // Don't bother trying to merge array allocations (they will usually be
118 // canonicalized to be an allocation *of* an array), or allocations whose
119 // type is not itself an array (because we're afraid of pessimizing SRoA).
120 const ArrayType *ATy = dyn_cast<ArrayType>(AI->getAllocatedType());
121 if (ATy == 0 || AI->isArrayAllocation())
122 continue;
123
124 // Get the list of all available allocas for this array type.
125 std::vector<AllocaInst*> &AllocasForType = InlinedArrayAllocas[ATy];
126
127 // Loop over the allocas in AllocasForType to see if we can reuse one. Note
128 // that we have to be careful not to reuse the same "available" alloca for
129 // multiple different allocas that we just inlined, we use the 'UsedAllocas'
130 // set to keep track of which "available" allocas are being used by this
131 // function. Also, AllocasForType can be empty of course!
132 bool MergedAwayAlloca = false;
133 for (unsigned i = 0, e = AllocasForType.size(); i != e; ++i) {
134 AllocaInst *AvailableAlloca = AllocasForType[i];
135
136 // The available alloca has to be in the right function, not in some other
137 // function in this SCC.
138 if (AvailableAlloca->getParent() != AI->getParent())
139 continue;
140
141 // If the inlined function already uses this alloca then we can't reuse
142 // it.
143 if (!UsedAllocas.insert(AvailableAlloca))
144 continue;
145
146 // Otherwise, we *can* reuse it, RAUW AI into AvailableAlloca and declare
147 // success!
148 DEBUG(errs() << " ***MERGED ALLOCA: " << *AI);
149
150 AI->replaceAllUsesWith(AvailableAlloca);
151 AI->eraseFromParent();
152 MergedAwayAlloca = true;
153 ++NumMergedAllocas;
154 break;
155 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000156
Chris Lattnerbc424402009-08-27 06:29:33 +0000157 // If we already nuked the alloca, we're done with it.
158 if (MergedAwayAlloca)
159 continue;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000160
Chris Lattnerbc424402009-08-27 06:29:33 +0000161 // If we were unable to merge away the alloca either because there are no
162 // allocas of the right type available or because we reused them all
163 // already, remember that this alloca came from an inlined function and mark
164 // it used so we don't reuse it for other allocas from this inline
165 // operation.
166 AllocasForType.push_back(AI);
167 UsedAllocas.insert(AI);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000168 }
Chris Lattnerbc424402009-08-27 06:29:33 +0000169
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000170 return true;
171}
Daniel Dunbarfbda8c72008-10-29 01:02:02 +0000172
173/// shouldInline - Return true if the inliner should attempt to inline
174/// at the given CallSite.
175bool Inliner::shouldInline(CallSite CS) {
Daniel Dunbarde4982c2008-10-30 19:26:59 +0000176 InlineCost IC = getInlineCost(CS);
Daniel Dunbarfbda8c72008-10-29 01:02:02 +0000177
Daniel Dunbarde4982c2008-10-30 19:26:59 +0000178 if (IC.isAlways()) {
Bill Wendling04de6812009-07-31 19:52:24 +0000179 DEBUG(errs() << " Inlining: cost=always"
180 << ", Call: " << *CS.getInstruction() << "\n");
Daniel Dunbarde4982c2008-10-30 19:26:59 +0000181 return true;
182 }
183
184 if (IC.isNever()) {
Bill Wendling04de6812009-07-31 19:52:24 +0000185 DEBUG(errs() << " NOT Inlining: cost=never"
186 << ", Call: " << *CS.getInstruction() << "\n");
Daniel Dunbarde4982c2008-10-30 19:26:59 +0000187 return false;
188 }
189
190 int Cost = IC.getValue();
Daniel Dunbarfbda8c72008-10-29 01:02:02 +0000191 int CurrentThreshold = InlineThreshold;
192 Function *Fn = CS.getCaller();
Bill Wendling04de6812009-07-31 19:52:24 +0000193 if (Fn && !Fn->isDeclaration() &&
194 Fn->hasFnAttr(Attribute::OptimizeForSize) &&
195 InlineThreshold != 50)
Daniel Dunbarfbda8c72008-10-29 01:02:02 +0000196 CurrentThreshold = 50;
Daniel Dunbarfbda8c72008-10-29 01:02:02 +0000197
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000198 float FudgeFactor = getInlineFudgeFactor(CS);
Daniel Dunbarfbda8c72008-10-29 01:02:02 +0000199 if (Cost >= (int)(CurrentThreshold * FudgeFactor)) {
Bill Wendling04de6812009-07-31 19:52:24 +0000200 DEBUG(errs() << " NOT Inlining: cost=" << Cost
201 << ", Call: " << *CS.getInstruction() << "\n");
Daniel Dunbarfbda8c72008-10-29 01:02:02 +0000202 return false;
Daniel Dunbarfbda8c72008-10-29 01:02:02 +0000203 }
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000204
205 DEBUG(errs() << " Inlining: cost=" << Cost
206 << ", Call: " << *CS.getInstruction() << "\n");
207 return true;
Daniel Dunbarfbda8c72008-10-29 01:02:02 +0000208}
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000209
Chris Lattner3dab7152009-08-31 00:19:58 +0000210bool Inliner::runOnSCC(std::vector<CallGraphNode*> &SCC) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000211 CallGraph &CG = getAnalysis<CallGraph>();
Dan Gohman56de36b2009-07-24 18:13:53 +0000212 const TargetData *TD = getAnalysisIfAvailable<TargetData>();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000213
Dale Johannesendb0d8672009-03-23 23:39:20 +0000214 SmallPtrSet<Function*, 8> SCCFunctions;
Bill Wendling04de6812009-07-31 19:52:24 +0000215 DEBUG(errs() << "Inliner visiting SCC:");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000216 for (unsigned i = 0, e = SCC.size(); i != e; ++i) {
217 Function *F = SCC[i]->getFunction();
218 if (F) SCCFunctions.insert(F);
Daniel Dunbar005975c2009-07-25 00:23:56 +0000219 DEBUG(errs() << " " << (F ? F->getName() : "INDIRECTNODE"));
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000220 }
221
222 // Scan through and identify all call sites ahead of time so that we only
223 // inline call sites in the original functions, not call sites that result
224 // from inlining other functions.
Chris Lattnerbc424402009-08-27 06:29:33 +0000225 SmallVector<CallSite, 16> CallSites;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000226
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000227 for (unsigned i = 0, e = SCC.size(); i != e; ++i) {
228 Function *F = SCC[i]->getFunction();
229 if (!F) continue;
230
231 for (Function::iterator BB = F->begin(), E = F->end(); BB != E; ++BB)
232 for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I) {
233 CallSite CS = CallSite::get(I);
Chris Lattner4c76b7e2009-08-31 05:34:32 +0000234 // If this this isn't a call, or it is a call to an intrinsic, it can
235 // never be inlined.
236 if (CS.getInstruction() == 0 || isa<IntrinsicInst>(I))
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000237 continue;
238
Chris Lattner4c76b7e2009-08-31 05:34:32 +0000239 // If this is a direct call to an external function, we can never inline
240 // it. If it is an indirect call, inlining may resolve it to be a
241 // direct call, so we keep it.
242 if (CS.getCalledFunction() && CS.getCalledFunction()->isDeclaration())
243 continue;
244
245 CallSites.push_back(CS);
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000246 }
247 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000248
Bill Wendling04de6812009-07-31 19:52:24 +0000249 DEBUG(errs() << ": " << CallSites.size() << " call sites.\n");
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000250
251 // Now that we have all of the call sites, move the ones to functions in the
252 // current SCC to the end of the list.
253 unsigned FirstCallInSCC = CallSites.size();
254 for (unsigned i = 0; i < FirstCallInSCC; ++i)
255 if (Function *F = CallSites[i].getCalledFunction())
256 if (SCCFunctions.count(F))
257 std::swap(CallSites[i--], CallSites[--FirstCallInSCC]);
258
Chris Lattnerbc424402009-08-27 06:29:33 +0000259
260 InlinedArrayAllocasTy InlinedArrayAllocas;
261
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000262 // Now that we have all of the call sites, loop over them and inline them if
263 // it looks profitable to do so.
264 bool Changed = false;
265 bool LocalChange;
266 do {
267 LocalChange = false;
268 // Iterate over the outer loop because inlining functions can cause indirect
269 // calls to become direct calls.
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000270 for (unsigned CSi = 0; CSi != CallSites.size(); ++CSi) {
Chris Lattnerbc424402009-08-27 06:29:33 +0000271 CallSite CS = CallSites[CSi];
272
273 Function *Callee = CS.getCalledFunction();
Chris Lattner4c76b7e2009-08-31 05:34:32 +0000274 // We can only inline direct calls to non-declarations.
275 if (Callee == 0 || Callee->isDeclaration()) continue;
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000276
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000277 // If the policy determines that we should inline this function,
278 // try to do so.
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000279 if (!shouldInline(CS))
280 continue;
281
282 Function *Caller = CS.getCaller();
283 // Attempt to inline the function...
Chris Lattnerbc424402009-08-27 06:29:33 +0000284 if (!InlineCallIfPossible(CS, CG, TD, InlinedArrayAllocas))
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000285 continue;
286
Chris Lattnerbc424402009-08-27 06:29:33 +0000287 // If we inlined the last possible call site to the function, delete the
288 // function body now.
Chris Lattnerfd707922009-08-31 03:15:49 +0000289 if (Callee->use_empty() && Callee->hasLocalLinkage() &&
Chris Lattner4c76b7e2009-08-31 05:34:32 +0000290 // TODO: Can remove if in SCC now.
Chris Lattnerfd707922009-08-31 03:15:49 +0000291 !SCCFunctions.count(Callee) &&
Chris Lattner4c76b7e2009-08-31 05:34:32 +0000292
Chris Lattnerfd707922009-08-31 03:15:49 +0000293 // The function may be apparently dead, but if there are indirect
294 // callgraph references to the node, we cannot delete it yet, this
295 // could invalidate the CGSCC iterator.
296 CG[Callee]->getNumReferences() == 0) {
Chris Lattnerbc424402009-08-27 06:29:33 +0000297 DEBUG(errs() << " -> Deleting dead function: "
298 << Callee->getName() << "\n");
299 CallGraphNode *CalleeNode = CG[Callee];
300
301 // Remove any call graph edges from the callee to its callees.
302 CalleeNode->removeAllCalledFunctions();
303
304 resetCachedCostInfo(Callee);
305
306 // Removing the node for callee from the call graph and delete it.
307 delete CG.removeFunctionFromModule(CalleeNode);
308 ++NumDeleted;
309 }
310
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000311 // Remove any cached cost info for this caller, as inlining the
312 // callee has increased the size of the caller (which may be the
313 // same as the callee).
314 resetCachedCostInfo(Caller);
315
316 // Remove this call site from the list. If possible, use
317 // swap/pop_back for efficiency, but do not use it if doing so would
318 // move a call site to a function in this SCC before the
319 // 'FirstCallInSCC' barrier.
320 if (SCC.size() == 1) {
321 std::swap(CallSites[CSi], CallSites.back());
322 CallSites.pop_back();
323 } else {
324 CallSites.erase(CallSites.begin()+CSi);
325 }
326 --CSi;
327
328 ++NumInlined;
329 Changed = true;
330 LocalChange = true;
331 }
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000332 } while (LocalChange);
333
334 return Changed;
335}
336
337// doFinalization - Remove now-dead linkonce functions at the end of
338// processing to avoid breaking the SCC traversal.
339bool Inliner::doFinalization(CallGraph &CG) {
Devang Patelc5456a42008-11-05 01:39:16 +0000340 return removeDeadFunctions(CG);
341}
342
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000343/// removeDeadFunctions - Remove dead functions that are not included in
344/// DNR (Do Not Remove) list.
Devang Patelc5456a42008-11-05 01:39:16 +0000345bool Inliner::removeDeadFunctions(CallGraph &CG,
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000346 SmallPtrSet<const Function *, 16> *DNR) {
347 SmallPtrSet<CallGraphNode*, 16> FunctionsToRemove;
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000348
349 // Scan for all of the functions, looking for ones that should now be removed
350 // from the program. Insert the dead ones in the FunctionsToRemove set.
351 for (CallGraph::iterator I = CG.begin(), E = CG.end(); I != E; ++I) {
352 CallGraphNode *CGN = I->second;
Chris Lattnerfd707922009-08-31 03:15:49 +0000353 if (CGN->getFunction() == 0)
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000354 continue;
355
356 Function *F = CGN->getFunction();
357
358 // If the only remaining users of the function are dead constants, remove
359 // them.
360 F->removeDeadConstantUsers();
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000361
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000362 if (DNR && DNR->count(F))
363 continue;
Chris Lattnerfd707922009-08-31 03:15:49 +0000364 if (!F->hasLinkOnceLinkage() && !F->hasLocalLinkage() &&
365 !F->hasAvailableExternallyLinkage())
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000366 continue;
367 if (!F->use_empty())
368 continue;
369
370 // Remove any call graph edges from the function to its callees.
371 CGN->removeAllCalledFunctions();
Devang Patelc5456a42008-11-05 01:39:16 +0000372
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000373 // Remove any edges from the external node to the function's call graph
374 // node. These edges might have been made irrelegant due to
375 // optimization of the program.
376 CG.getExternalCallingNode()->removeAnyCallEdgeTo(CGN);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000377
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000378 // Removing the node for callee from the call graph and delete it.
379 FunctionsToRemove.insert(CGN);
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000380 }
381
382 // Now that we know which functions to delete, do so. We didn't want to do
383 // this inline, because that would invalidate our CallGraph::iterator
384 // objects. :(
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000385 //
386 // Note that it doesn't matter that we are iterating over a non-stable set
387 // here to do this, it doesn't matter which order the functions are deleted
388 // in.
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000389 bool Changed = false;
Chris Lattnerae56c0d2009-08-27 03:51:50 +0000390 for (SmallPtrSet<CallGraphNode*, 16>::iterator I = FunctionsToRemove.begin(),
391 E = FunctionsToRemove.end(); I != E; ++I) {
Dale Johannesenb618d082009-03-19 18:03:56 +0000392 resetCachedCostInfo((*I)->getFunction());
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000393 delete CG.removeFunctionFromModule(*I);
394 ++NumDeleted;
395 Changed = true;
396 }
397
398 return Changed;
399}