blob: 84dd4fdd988785e8212c4c53d06f6f34d77f843c [file] [log] [blame]
Chris Lattnerd075cc22003-08-31 19:10:30 +00001//===- InlineSimple.cpp - Code to perform simple function inlining --------===//
Misha Brukmanb1c93172005-04-21 23:48:37 +00002//
John Criswell482202a2003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Misha Brukmanb1c93172005-04-21 23:48:37 +00007//
John Criswell482202a2003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner2f7c9632001-06-06 20:29:01 +00009//
Chris Lattner530d4bf2003-05-29 15:11:31 +000010// This file implements bottom-up inlining of functions into callees.
Chris Lattner1c8d3f82002-04-18 18:52:03 +000011//
Chris Lattner2f7c9632001-06-06 20:29:01 +000012//===----------------------------------------------------------------------===//
13
Tanya Lattnerab11b1c2007-06-19 22:29:50 +000014#define DEBUG_TYPE "inline"
Chris Lattner05deb042005-05-18 04:30:33 +000015#include "llvm/CallingConv.h"
Chris Lattner51c28a52003-11-21 21:46:09 +000016#include "llvm/Instructions.h"
Chris Lattner79e87e32004-11-22 17:21:44 +000017#include "llvm/IntrinsicInst.h"
Tanya Lattnercb90f1d2007-06-06 21:59:26 +000018#include "llvm/Module.h"
Chris Lattner2dc85b22004-03-13 23:15:45 +000019#include "llvm/Type.h"
Tanya Lattnercb90f1d2007-06-06 21:59:26 +000020#include "llvm/Analysis/CallGraph.h"
Dan Gohman4552e3c2009-10-13 18:30:07 +000021#include "llvm/Analysis/InlineCost.h"
Chris Lattnerd367d052003-08-24 06:59:28 +000022#include "llvm/Support/CallSite.h"
Chris Lattnerd075cc22003-08-31 19:10:30 +000023#include "llvm/Transforms/IPO.h"
Tanya Lattnerab11b1c2007-06-19 22:29:50 +000024#include "llvm/Transforms/IPO/InlinerPass.h"
Andrew Trickf7656012011-10-01 01:39:05 +000025#include "llvm/Target/TargetData.h"
Devang Patele3206cb2007-07-27 18:34:27 +000026#include "llvm/ADT/SmallPtrSet.h"
Tanya Lattnercb90f1d2007-06-06 21:59:26 +000027
Chris Lattner51c28a52003-11-21 21:46:09 +000028using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000029
Chris Lattner04805fa2002-02-26 21:46:54 +000030namespace {
Chris Lattner6dc0ae22003-10-06 15:52:43 +000031
Nick Lewycky02d5f772009-10-25 06:33:48 +000032 class SimpleInliner : public Inliner {
Devang Patele3206cb2007-07-27 18:34:27 +000033 // Functions that are never inlined
Andrew Trickcaa500b2011-10-01 01:27:56 +000034 SmallPtrSet<const Function*, 16> NeverInline;
Devang Patel33227112007-07-25 18:00:25 +000035 InlineCostAnalyzer CA;
Chris Lattner6dc0ae22003-10-06 15:52:43 +000036 public:
Owen Anderson6c18d1a2010-10-19 17:21:58 +000037 SimpleInliner() : Inliner(ID) {
38 initializeSimpleInlinerPass(*PassRegistry::getPassRegistry());
39 }
40 SimpleInliner(int Threshold) : Inliner(ID, Threshold) {
41 initializeSimpleInlinerPass(*PassRegistry::getPassRegistry());
42 }
Nick Lewyckye7da2d62007-05-06 13:37:16 +000043 static char ID; // Pass identification, replacement for typeid
Daniel Dunbar3933e662008-10-30 19:26:59 +000044 InlineCost getInlineCost(CallSite CS) {
Devang Patel33227112007-07-25 18:00:25 +000045 return CA.getInlineCost(CS, NeverInline);
46 }
Evan Cheng3471ae82008-03-24 06:37:48 +000047 float getInlineFudgeFactor(CallSite CS) {
48 return CA.getInlineFudgeFactor(CS);
49 }
Dale Johannesen4755d9d2009-01-09 01:30:11 +000050 void resetCachedCostInfo(Function *Caller) {
51 CA.resetCachedCostInfo(Caller);
52 }
Jakob Stoklund Olesenb495cad2010-03-09 23:02:17 +000053 void growCachedCostInfo(Function* Caller, Function* Callee) {
54 CA.growCachedCostInfo(Caller, Callee);
55 }
Tanya Lattnercb90f1d2007-06-06 21:59:26 +000056 virtual bool doInitialization(CallGraph &CG);
Nick Lewyckyc63aa1e2010-05-12 21:48:15 +000057 void releaseMemory() {
58 CA.clear();
59 }
Chris Lattner04805fa2002-02-26 21:46:54 +000060 };
61}
62
Dan Gohmand78c4002008-05-13 00:00:25 +000063char SimpleInliner::ID = 0;
Owen Anderson071cee02010-10-13 22:00:45 +000064INITIALIZE_PASS_BEGIN(SimpleInliner, "inline",
65 "Function Integration/Inlining", false, false)
66INITIALIZE_AG_DEPENDENCY(CallGraph)
67INITIALIZE_PASS_END(SimpleInliner, "inline",
Owen Andersondf7a4f22010-10-07 22:25:06 +000068 "Function Integration/Inlining", false, false)
Dan Gohmand78c4002008-05-13 00:00:25 +000069
Devang Patel13058a52007-01-26 00:47:38 +000070Pass *llvm::createFunctionInliningPass() { return new SimpleInliner(); }
Chris Lattner51c28a52003-11-21 21:46:09 +000071
Andrew Trickcaa500b2011-10-01 01:27:56 +000072Pass *llvm::createFunctionInliningPass(int Threshold) {
Chris Lattner22ad7ab2008-01-12 06:49:13 +000073 return new SimpleInliner(Threshold);
74}
75
Tanya Lattnercb90f1d2007-06-06 21:59:26 +000076// doInitialization - Initializes the vector of functions that have been
77// annotated with the noinline attribute.
78bool SimpleInliner::doInitialization(CallGraph &CG) {
Andrew Trickf7656012011-10-01 01:39:05 +000079 CA.setTargetData(getAnalysisIfAvailable<TargetData>());
Andrew Trickcaa500b2011-10-01 01:27:56 +000080
Tanya Lattnercb90f1d2007-06-06 21:59:26 +000081 Module &M = CG.getModule();
Andrew Trickcaa500b2011-10-01 01:27:56 +000082
Devang Patel62be9ad2008-09-03 18:10:21 +000083 for (Module::iterator I = M.begin(), E = M.end();
84 I != E; ++I)
Devang Patel9eb525d2008-09-26 23:51:19 +000085 if (!I->isDeclaration() && I->hasFnAttr(Attribute::NoInline))
Devang Patel62be9ad2008-09-03 18:10:21 +000086 NeverInline.insert(I);
87
Tanya Lattnercb90f1d2007-06-06 21:59:26 +000088 // Get llvm.noinline
89 GlobalVariable *GV = M.getNamedGlobal("llvm.noinline");
Andrew Trickcaa500b2011-10-01 01:27:56 +000090
Tanya Lattner5801c232007-06-07 17:12:16 +000091 if (GV == 0)
Tanya Lattnercb90f1d2007-06-06 21:59:26 +000092 return false;
93
Anton Korobeynikov59c11682007-11-22 22:30:10 +000094 // Don't crash on invalid code
Dan Gohman5d5bc6d2009-08-19 18:20:44 +000095 if (!GV->hasDefinitiveInitializer())
Anton Korobeynikov59c11682007-11-22 22:30:10 +000096 return false;
Andrew Trickcaa500b2011-10-01 01:27:56 +000097
Tanya Lattnercb90f1d2007-06-06 21:59:26 +000098 const ConstantArray *InitList = dyn_cast<ConstantArray>(GV->getInitializer());
Andrew Trickcaa500b2011-10-01 01:27:56 +000099
Tanya Lattner5801c232007-06-07 17:12:16 +0000100 if (InitList == 0)
Tanya Lattnercb90f1d2007-06-06 21:59:26 +0000101 return false;
102
103 // Iterate over each element and add to the NeverInline set
104 for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) {
Andrew Trickcaa500b2011-10-01 01:27:56 +0000105
Tanya Lattnercb90f1d2007-06-06 21:59:26 +0000106 // Get Source
107 const Constant *Elt = InitList->getOperand(i);
Andrew Trickcaa500b2011-10-01 01:27:56 +0000108
Tanya Lattnercb90f1d2007-06-06 21:59:26 +0000109 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(Elt))
Andrew Trickcaa500b2011-10-01 01:27:56 +0000110 if (CE->getOpcode() == Instruction::BitCast)
Tanya Lattnercb90f1d2007-06-06 21:59:26 +0000111 Elt = CE->getOperand(0);
Andrew Trickcaa500b2011-10-01 01:27:56 +0000112
Tanya Lattnercb90f1d2007-06-06 21:59:26 +0000113 // Insert into set of functions to never inline
Tanya Lattner5801c232007-06-07 17:12:16 +0000114 if (const Function *F = dyn_cast<Function>(Elt))
115 NeverInline.insert(F);
Tanya Lattnercb90f1d2007-06-06 21:59:26 +0000116 }
Andrew Trickcaa500b2011-10-01 01:27:56 +0000117
Tanya Lattnercb90f1d2007-06-06 21:59:26 +0000118 return false;
119}
Devang Patel33227112007-07-25 18:00:25 +0000120