blob: 1ebe7c97e0b72800ce5b7a334e638ddcf7ef5e58 [file] [log] [blame]
Chris Lattner237ef562003-08-31 19:10:30 +00001//===- InlineSimple.cpp - Code to perform simple function inlining --------===//
Misha Brukmanfd939082005-04-21 23:48:37 +00002//
John Criswellb576c942003-10-20 19:43:21 +00003// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-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 Brukmanfd939082005-04-21 23:48:37 +00007//
John Criswellb576c942003-10-20 19:43:21 +00008//===----------------------------------------------------------------------===//
Chris Lattner00950542001-06-06 20:29:01 +00009//
Chris Lattnerca398dc2003-05-29 15:11:31 +000010// This file implements bottom-up inlining of functions into callees.
Chris Lattner01545052002-04-18 18:52:03 +000011//
Chris Lattner00950542001-06-06 20:29:01 +000012//===----------------------------------------------------------------------===//
13
Tanya Lattner6f7426e2007-06-19 22:29:50 +000014#define DEBUG_TYPE "inline"
Chris Lattner49fbff42005-05-18 04:30:33 +000015#include "llvm/CallingConv.h"
Chris Lattner869adc22003-11-21 21:46:09 +000016#include "llvm/Instructions.h"
Chris Lattner8db93f12004-11-22 17:21:44 +000017#include "llvm/IntrinsicInst.h"
Tanya Lattner682f6832007-06-06 21:59:26 +000018#include "llvm/Module.h"
Chris Lattner619d3542004-03-13 23:15:45 +000019#include "llvm/Type.h"
Tanya Lattner682f6832007-06-06 21:59:26 +000020#include "llvm/Analysis/CallGraph.h"
Dan Gohmane4aeec02009-10-13 18:30:07 +000021#include "llvm/Analysis/InlineCost.h"
Chris Lattnere5445332003-08-24 06:59:28 +000022#include "llvm/Support/CallSite.h"
Chris Lattner237ef562003-08-31 19:10:30 +000023#include "llvm/Transforms/IPO.h"
Tanya Lattner6f7426e2007-06-19 22:29:50 +000024#include "llvm/Transforms/IPO/InlinerPass.h"
Devang Patel29381fb2007-07-27 18:34:27 +000025#include "llvm/ADT/SmallPtrSet.h"
Tanya Lattner682f6832007-06-06 21:59:26 +000026
Chris Lattner869adc22003-11-21 21:46:09 +000027using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000028
Chris Lattnerbd0ef772002-02-26 21:46:54 +000029namespace {
Chris Lattner884d6c42003-10-06 15:52:43 +000030
Nick Lewycky6726b6d2009-10-25 06:33:48 +000031 class SimpleInliner : public Inliner {
Devang Patel29381fb2007-07-27 18:34:27 +000032 // Functions that are never inlined
Andrew Trick5c655412011-10-01 01:27:56 +000033 SmallPtrSet<const Function*, 16> NeverInline;
Devang Patel6899b312007-07-25 18:00:25 +000034 InlineCostAnalyzer CA;
Chris Lattner884d6c42003-10-06 15:52:43 +000035 public:
Owen Anderson081c34b2010-10-19 17:21:58 +000036 SimpleInliner() : Inliner(ID) {
37 initializeSimpleInlinerPass(*PassRegistry::getPassRegistry());
38 }
39 SimpleInliner(int Threshold) : Inliner(ID, Threshold) {
40 initializeSimpleInlinerPass(*PassRegistry::getPassRegistry());
41 }
Nick Lewyckyecd94c82007-05-06 13:37:16 +000042 static char ID; // Pass identification, replacement for typeid
Daniel Dunbarc5e1ec42008-10-30 19:26:59 +000043 InlineCost getInlineCost(CallSite CS) {
Devang Patel6899b312007-07-25 18:00:25 +000044 return CA.getInlineCost(CS, NeverInline);
45 }
Evan Cheng8d84d5b2008-03-24 06:37:48 +000046 float getInlineFudgeFactor(CallSite CS) {
47 return CA.getInlineFudgeFactor(CS);
48 }
Dale Johannesene3455662009-01-09 01:30:11 +000049 void resetCachedCostInfo(Function *Caller) {
50 CA.resetCachedCostInfo(Caller);
51 }
Jakob Stoklund Olesenf7477472010-03-09 23:02:17 +000052 void growCachedCostInfo(Function* Caller, Function* Callee) {
53 CA.growCachedCostInfo(Caller, Callee);
54 }
Tanya Lattner682f6832007-06-06 21:59:26 +000055 virtual bool doInitialization(CallGraph &CG);
Nick Lewycky9a1581b2010-05-12 21:48:15 +000056 void releaseMemory() {
57 CA.clear();
58 }
Chris Lattnerbd0ef772002-02-26 21:46:54 +000059 };
60}
61
Dan Gohman844731a2008-05-13 00:00:25 +000062char SimpleInliner::ID = 0;
Owen Andersonae0a7bc2010-10-13 22:00:45 +000063INITIALIZE_PASS_BEGIN(SimpleInliner, "inline",
64 "Function Integration/Inlining", false, false)
65INITIALIZE_AG_DEPENDENCY(CallGraph)
66INITIALIZE_PASS_END(SimpleInliner, "inline",
Owen Andersonce665bd2010-10-07 22:25:06 +000067 "Function Integration/Inlining", false, false)
Dan Gohman844731a2008-05-13 00:00:25 +000068
Devang Patelc71ca3c2007-01-26 00:47:38 +000069Pass *llvm::createFunctionInliningPass() { return new SimpleInliner(); }
Chris Lattner869adc22003-11-21 21:46:09 +000070
Andrew Trick5c655412011-10-01 01:27:56 +000071Pass *llvm::createFunctionInliningPass(int Threshold) {
Chris Lattner120d0532008-01-12 06:49:13 +000072 return new SimpleInliner(Threshold);
73}
74
Tanya Lattner682f6832007-06-06 21:59:26 +000075// doInitialization - Initializes the vector of functions that have been
76// annotated with the noinline attribute.
77bool SimpleInliner::doInitialization(CallGraph &CG) {
Andrew Trick5c655412011-10-01 01:27:56 +000078
Tanya Lattner682f6832007-06-06 21:59:26 +000079 Module &M = CG.getModule();
Andrew Trick5c655412011-10-01 01:27:56 +000080
Devang Patel910c1202008-09-03 18:10:21 +000081 for (Module::iterator I = M.begin(), E = M.end();
82 I != E; ++I)
Devang Patel2c9c3e72008-09-26 23:51:19 +000083 if (!I->isDeclaration() && I->hasFnAttr(Attribute::NoInline))
Devang Patel910c1202008-09-03 18:10:21 +000084 NeverInline.insert(I);
85
Tanya Lattner682f6832007-06-06 21:59:26 +000086 // Get llvm.noinline
87 GlobalVariable *GV = M.getNamedGlobal("llvm.noinline");
Andrew Trick5c655412011-10-01 01:27:56 +000088
Tanya Lattnerb62fa8a2007-06-07 17:12:16 +000089 if (GV == 0)
Tanya Lattner682f6832007-06-06 21:59:26 +000090 return false;
91
Anton Korobeynikov311c4b62007-11-22 22:30:10 +000092 // Don't crash on invalid code
Dan Gohman82555732009-08-19 18:20:44 +000093 if (!GV->hasDefinitiveInitializer())
Anton Korobeynikov311c4b62007-11-22 22:30:10 +000094 return false;
Andrew Trick5c655412011-10-01 01:27:56 +000095
Tanya Lattner682f6832007-06-06 21:59:26 +000096 const ConstantArray *InitList = dyn_cast<ConstantArray>(GV->getInitializer());
Andrew Trick5c655412011-10-01 01:27:56 +000097
Tanya Lattnerb62fa8a2007-06-07 17:12:16 +000098 if (InitList == 0)
Tanya Lattner682f6832007-06-06 21:59:26 +000099 return false;
100
101 // Iterate over each element and add to the NeverInline set
102 for (unsigned i = 0, e = InitList->getNumOperands(); i != e; ++i) {
Andrew Trick5c655412011-10-01 01:27:56 +0000103
Tanya Lattner682f6832007-06-06 21:59:26 +0000104 // Get Source
105 const Constant *Elt = InitList->getOperand(i);
Andrew Trick5c655412011-10-01 01:27:56 +0000106
Tanya Lattner682f6832007-06-06 21:59:26 +0000107 if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(Elt))
Andrew Trick5c655412011-10-01 01:27:56 +0000108 if (CE->getOpcode() == Instruction::BitCast)
Tanya Lattner682f6832007-06-06 21:59:26 +0000109 Elt = CE->getOperand(0);
Andrew Trick5c655412011-10-01 01:27:56 +0000110
Tanya Lattner682f6832007-06-06 21:59:26 +0000111 // Insert into set of functions to never inline
Tanya Lattnerb62fa8a2007-06-07 17:12:16 +0000112 if (const Function *F = dyn_cast<Function>(Elt))
113 NeverInline.insert(F);
Tanya Lattner682f6832007-06-06 21:59:26 +0000114 }
Andrew Trick5c655412011-10-01 01:27:56 +0000115
Tanya Lattner682f6832007-06-06 21:59:26 +0000116 return false;
117}
Devang Patel6899b312007-07-25 18:00:25 +0000118