blob: b9b4895eaa851606fba75236f771269f70067916 [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
Chandler Carruthed0881b2012-12-03 16:50:05 +000014#include "llvm/Transforms/IPO.h"
Hal Finkel0c083022014-09-01 09:01:39 +000015#include "llvm/Analysis/AliasAnalysis.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000016#include "llvm/Analysis/CallGraph.h"
17#include "llvm/Analysis/InlineCost.h"
Chandler Carruth219b89b2014-03-04 11:01:28 +000018#include "llvm/IR/CallSite.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000019#include "llvm/IR/CallingConv.h"
20#include "llvm/IR/DataLayout.h"
21#include "llvm/IR/Instructions.h"
22#include "llvm/IR/IntrinsicInst.h"
23#include "llvm/IR/Module.h"
24#include "llvm/IR/Type.h"
Tanya Lattnerab11b1c2007-06-19 22:29:50 +000025#include "llvm/Transforms/IPO/InlinerPass.h"
Tanya Lattnercb90f1d2007-06-06 21:59:26 +000026
Chris Lattner51c28a52003-11-21 21:46:09 +000027using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000028
Chandler Carruth964daaa2014-04-22 02:55:47 +000029#define DEBUG_TYPE "inline"
30
Chris Lattner04805fa2002-02-26 21:46:54 +000031namespace {
Chris Lattner6dc0ae22003-10-06 15:52:43 +000032
David Majnemer927df852013-11-03 11:09:39 +000033/// \brief Actual inliner pass implementation.
Chandler Carruth0df3e532013-01-21 11:39:14 +000034///
35/// The common implementation of the inlining logic is shared between this
36/// inliner pass and the always inliner pass. The two passes use different cost
37/// analyses to determine when to inline.
38class SimpleInliner : public Inliner {
Chandler Carruth4319e292013-01-21 11:39:18 +000039 InlineCostAnalysis *ICA;
Chandler Carruth0df3e532013-01-21 11:39:14 +000040
41public:
Craig Topperf40110f2014-04-25 05:29:35 +000042 SimpleInliner() : Inliner(ID), ICA(nullptr) {
Chandler Carruth0df3e532013-01-21 11:39:14 +000043 initializeSimpleInlinerPass(*PassRegistry::getPassRegistry());
44 }
45
46 SimpleInliner(int Threshold)
Craig Topperf40110f2014-04-25 05:29:35 +000047 : Inliner(ID, Threshold, /*InsertLifetime*/ true), ICA(nullptr) {
Chandler Carruth0df3e532013-01-21 11:39:14 +000048 initializeSimpleInlinerPass(*PassRegistry::getPassRegistry());
49 }
50
51 static char ID; // Pass identification, replacement for typeid
52
Craig Topper3e4c6972014-03-05 09:10:37 +000053 InlineCost getInlineCost(CallSite CS) override {
Chandler Carruth4319e292013-01-21 11:39:18 +000054 return ICA->getInlineCost(CS, getInlineThreshold(CS));
Chandler Carruth0df3e532013-01-21 11:39:14 +000055 }
56
Craig Topper3e4c6972014-03-05 09:10:37 +000057 bool runOnSCC(CallGraphSCC &SCC) override;
58 void getAnalysisUsage(AnalysisUsage &AU) const override;
Chandler Carruth0df3e532013-01-21 11:39:14 +000059};
60
Eli Bendersky49f65652014-03-12 16:12:36 +000061static int computeThresholdFromOptLevels(unsigned OptLevel,
62 unsigned SizeOptLevel) {
63 if (OptLevel > 2)
64 return 275;
Eli Bendersky95b540f2014-03-12 16:44:17 +000065 if (SizeOptLevel == 1) // -Os
Eli Bendersky49f65652014-03-12 16:12:36 +000066 return 75;
Eli Bendersky95b540f2014-03-12 16:44:17 +000067 if (SizeOptLevel == 2) // -Oz
Eli Bendersky49f65652014-03-12 16:12:36 +000068 return 25;
69 return 225;
70}
71
Chandler Carruth0df3e532013-01-21 11:39:14 +000072} // end anonymous namespace
Chris Lattner04805fa2002-02-26 21:46:54 +000073
Dan Gohmand78c4002008-05-13 00:00:25 +000074char SimpleInliner::ID = 0;
Owen Anderson071cee02010-10-13 22:00:45 +000075INITIALIZE_PASS_BEGIN(SimpleInliner, "inline",
76 "Function Integration/Inlining", false, false)
Hal Finkel0c083022014-09-01 09:01:39 +000077INITIALIZE_AG_DEPENDENCY(AliasAnalysis)
Chandler Carruth6378cf52013-11-26 04:19:30 +000078INITIALIZE_PASS_DEPENDENCY(CallGraphWrapperPass)
Chandler Carruth4319e292013-01-21 11:39:18 +000079INITIALIZE_PASS_DEPENDENCY(InlineCostAnalysis)
Owen Anderson071cee02010-10-13 22:00:45 +000080INITIALIZE_PASS_END(SimpleInliner, "inline",
Owen Andersondf7a4f22010-10-07 22:25:06 +000081 "Function Integration/Inlining", false, false)
Dan Gohmand78c4002008-05-13 00:00:25 +000082
Devang Patel13058a52007-01-26 00:47:38 +000083Pass *llvm::createFunctionInliningPass() { return new SimpleInliner(); }
Chris Lattner51c28a52003-11-21 21:46:09 +000084
Andrew Trickcaa500b2011-10-01 01:27:56 +000085Pass *llvm::createFunctionInliningPass(int Threshold) {
Chris Lattner22ad7ab2008-01-12 06:49:13 +000086 return new SimpleInliner(Threshold);
87}
88
Eli Bendersky49f65652014-03-12 16:12:36 +000089Pass *llvm::createFunctionInliningPass(unsigned OptLevel,
90 unsigned SizeOptLevel) {
91 return new SimpleInliner(
92 computeThresholdFromOptLevels(OptLevel, SizeOptLevel));
93}
94
Chandler Carruth4319e292013-01-21 11:39:18 +000095bool SimpleInliner::runOnSCC(CallGraphSCC &SCC) {
96 ICA = &getAnalysis<InlineCostAnalysis>();
97 return Inliner::runOnSCC(SCC);
Tanya Lattnercb90f1d2007-06-06 21:59:26 +000098}
Devang Patel33227112007-07-25 18:00:25 +000099
Chandler Carruth4319e292013-01-21 11:39:18 +0000100void SimpleInliner::getAnalysisUsage(AnalysisUsage &AU) const {
101 AU.addRequired<InlineCostAnalysis>();
102 Inliner::getAnalysisUsage(AU);
103}