blob: ef0465883f008a3122352de611f0fef16e62b96c [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
Daniel Jasperaec2fa32016-12-19 08:22:17 +000014#include "llvm/Analysis/AssumptionCache.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "llvm/Analysis/CallGraph.h"
16#include "llvm/Analysis/InlineCost.h"
Easwaran Raman71069cf2016-06-09 22:23:21 +000017#include "llvm/Analysis/ProfileSummaryInfo.h"
Chandler Carruth7b560d42015-09-09 17:55:00 +000018#include "llvm/Analysis/TargetLibraryInfo.h"
Easwaran Ramanb9f71202015-12-28 20:28:19 +000019#include "llvm/Analysis/TargetTransformInfo.h"
Chandler Carruth219b89b2014-03-04 11:01:28 +000020#include "llvm/IR/CallSite.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000021#include "llvm/IR/CallingConv.h"
22#include "llvm/IR/DataLayout.h"
23#include "llvm/IR/Instructions.h"
24#include "llvm/IR/IntrinsicInst.h"
25#include "llvm/IR/Module.h"
26#include "llvm/IR/Type.h"
Easwaran Ramanb9f71202015-12-28 20:28:19 +000027#include "llvm/Transforms/IPO.h"
Tanya Lattnerab11b1c2007-06-19 22:29:50 +000028#include "llvm/Transforms/IPO/InlinerPass.h"
Tanya Lattnercb90f1d2007-06-06 21:59:26 +000029
Chris Lattner51c28a52003-11-21 21:46:09 +000030using namespace llvm;
Brian Gaeke960707c2003-11-11 22:41:34 +000031
Chandler Carruth964daaa2014-04-22 02:55:47 +000032#define DEBUG_TYPE "inline"
33
Chris Lattner04805fa2002-02-26 21:46:54 +000034namespace {
Chris Lattner6dc0ae22003-10-06 15:52:43 +000035
David Majnemer927df852013-11-03 11:09:39 +000036/// \brief Actual inliner pass implementation.
Chandler Carruth0df3e532013-01-21 11:39:14 +000037///
38/// The common implementation of the inlining logic is shared between this
39/// inliner pass and the always inliner pass. The two passes use different cost
40/// analyses to determine when to inline.
41class SimpleInliner : public Inliner {
Easwaran Raman1c57cc22016-08-10 00:48:04 +000042
43 InlineParams Params;
Chandler Carruth0df3e532013-01-21 11:39:14 +000044
45public:
Easwaran Raman1c57cc22016-08-10 00:48:04 +000046 SimpleInliner() : Inliner(ID), Params(llvm::getInlineParams()) {
Chandler Carruth0df3e532013-01-21 11:39:14 +000047 initializeSimpleInlinerPass(*PassRegistry::getPassRegistry());
48 }
49
Easwaran Raman1c57cc22016-08-10 00:48:04 +000050 explicit SimpleInliner(InlineParams Params) : Inliner(ID), Params(Params) {
Chandler Carruth0df3e532013-01-21 11:39:14 +000051 initializeSimpleInlinerPass(*PassRegistry::getPassRegistry());
52 }
53
54 static char ID; // Pass identification, replacement for typeid
55
Craig Topper3e4c6972014-03-05 09:10:37 +000056 InlineCost getInlineCost(CallSite CS) override {
Easwaran Ramanb9f71202015-12-28 20:28:19 +000057 Function *Callee = CS.getCalledFunction();
58 TargetTransformInfo &TTI = TTIWP->getTTI(*Callee);
Daniel Jasperaec2fa32016-12-19 08:22:17 +000059 std::function<AssumptionCache &(Function &)> GetAssumptionCache =
60 [&](Function &F) -> AssumptionCache & {
61 return ACT->getAssumptionCache(F);
62 };
63 return llvm::getInlineCost(CS, Params, TTI, GetAssumptionCache, PSI);
Chandler Carruth0df3e532013-01-21 11:39:14 +000064 }
65
Craig Topper3e4c6972014-03-05 09:10:37 +000066 bool runOnSCC(CallGraphSCC &SCC) override;
67 void getAnalysisUsage(AnalysisUsage &AU) const override;
Easwaran Ramanb9f71202015-12-28 20:28:19 +000068
69private:
70 TargetTransformInfoWrapperPass *TTIWP;
Easwaran Raman1c57cc22016-08-10 00:48:04 +000071
Chandler Carruth0df3e532013-01-21 11:39:14 +000072};
73
74} // end anonymous namespace
Chris Lattner04805fa2002-02-26 21:46:54 +000075
Dan Gohmand78c4002008-05-13 00:00:25 +000076char SimpleInliner::ID = 0;
Chandler Carruth8562d3a2016-08-03 01:02:31 +000077INITIALIZE_PASS_BEGIN(SimpleInliner, "inline", "Function Integration/Inlining",
78 false, false)
Daniel Jasperaec2fa32016-12-19 08:22:17 +000079INITIALIZE_PASS_DEPENDENCY(AssumptionCacheTracker)
Chandler Carruth6378cf52013-11-26 04:19:30 +000080INITIALIZE_PASS_DEPENDENCY(CallGraphWrapperPass)
Easwaran Raman71069cf2016-06-09 22:23:21 +000081INITIALIZE_PASS_DEPENDENCY(ProfileSummaryInfoWrapperPass)
Easwaran Ramanb9f71202015-12-28 20:28:19 +000082INITIALIZE_PASS_DEPENDENCY(TargetTransformInfoWrapperPass)
Chandler Carruth7b560d42015-09-09 17:55:00 +000083INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
Chandler Carruth8562d3a2016-08-03 01:02:31 +000084INITIALIZE_PASS_END(SimpleInliner, "inline", "Function Integration/Inlining",
85 false, false)
Dan Gohmand78c4002008-05-13 00:00:25 +000086
Devang Patel13058a52007-01-26 00:47:38 +000087Pass *llvm::createFunctionInliningPass() { return new SimpleInliner(); }
Chris Lattner51c28a52003-11-21 21:46:09 +000088
Andrew Trickcaa500b2011-10-01 01:27:56 +000089Pass *llvm::createFunctionInliningPass(int Threshold) {
Easwaran Raman1c57cc22016-08-10 00:48:04 +000090 return new SimpleInliner(llvm::getInlineParams(Threshold));
Chris Lattner22ad7ab2008-01-12 06:49:13 +000091}
92
Eli Bendersky49f65652014-03-12 16:12:36 +000093Pass *llvm::createFunctionInliningPass(unsigned OptLevel,
94 unsigned SizeOptLevel) {
Easwaran Raman1c57cc22016-08-10 00:48:04 +000095 return new SimpleInliner(llvm::getInlineParams(OptLevel, SizeOptLevel));
Eli Bendersky49f65652014-03-12 16:12:36 +000096}
97
Easwaran Raman61edc102016-08-11 18:24:08 +000098Pass *llvm::createFunctionInliningPass(InlineParams &Params) {
99 return new SimpleInliner(Params);
100}
101
Chandler Carruth4319e292013-01-21 11:39:18 +0000102bool SimpleInliner::runOnSCC(CallGraphSCC &SCC) {
Easwaran Ramanb9f71202015-12-28 20:28:19 +0000103 TTIWP = &getAnalysis<TargetTransformInfoWrapperPass>();
Chandler Carruth4319e292013-01-21 11:39:18 +0000104 return Inliner::runOnSCC(SCC);
Tanya Lattnercb90f1d2007-06-06 21:59:26 +0000105}
Devang Patel33227112007-07-25 18:00:25 +0000106
Chandler Carruth4319e292013-01-21 11:39:18 +0000107void SimpleInliner::getAnalysisUsage(AnalysisUsage &AU) const {
Easwaran Ramanb9f71202015-12-28 20:28:19 +0000108 AU.addRequired<TargetTransformInfoWrapperPass>();
Chandler Carruth4319e292013-01-21 11:39:18 +0000109 Inliner::getAnalysisUsage(AU);
110}