blob: efb71b73cbb71a41adee0f16fc4658fbd0655b0a [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//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Misha Brukmanb1c93172005-04-21 23:48:37 +00006//
John Criswell482202a2003-10-20 19:43:21 +00007//===----------------------------------------------------------------------===//
Chris Lattner2f7c9632001-06-06 20:29:01 +00008//
Chris Lattner530d4bf2003-05-29 15:11:31 +00009// This file implements bottom-up inlining of functions into callees.
Chris Lattner1c8d3f82002-04-18 18:52:03 +000010//
Chris Lattner2f7c9632001-06-06 20:29:01 +000011//===----------------------------------------------------------------------===//
12
Daniel Jasperaec2fa32016-12-19 08:22:17 +000013#include "llvm/Analysis/AssumptionCache.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000014#include "llvm/Analysis/InlineCost.h"
Easwaran Raman71069cf2016-06-09 22:23:21 +000015#include "llvm/Analysis/ProfileSummaryInfo.h"
Chandler Carruth7b560d42015-09-09 17:55:00 +000016#include "llvm/Analysis/TargetLibraryInfo.h"
Easwaran Ramanb9f71202015-12-28 20:28:19 +000017#include "llvm/Analysis/TargetTransformInfo.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"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000022#include "llvm/IR/Module.h"
23#include "llvm/IR/Type.h"
Easwaran Ramanb9f71202015-12-28 20:28:19 +000024#include "llvm/Transforms/IPO.h"
Chandler Carruth1d963112016-12-20 03:15:32 +000025#include "llvm/Transforms/IPO/Inliner.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
Adrian Prantl5f8f34e42018-05-01 15:54:18 +000033/// 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.
Chandler Carruth1d963112016-12-20 03:15:32 +000038class SimpleInliner : public LegacyInlinerBase {
Easwaran Raman1c57cc22016-08-10 00:48:04 +000039
40 InlineParams Params;
Chandler Carruth0df3e532013-01-21 11:39:14 +000041
42public:
Chandler Carruth1d963112016-12-20 03:15:32 +000043 SimpleInliner() : LegacyInlinerBase(ID), Params(llvm::getInlineParams()) {
Chandler Carruth0df3e532013-01-21 11:39:14 +000044 initializeSimpleInlinerPass(*PassRegistry::getPassRegistry());
45 }
46
Chandler Carruth1d963112016-12-20 03:15:32 +000047 explicit SimpleInliner(InlineParams Params)
Benjamin Kramer061f4a52017-01-13 14:39:03 +000048 : LegacyInlinerBase(ID), Params(std::move(Params)) {
Chandler Carruth0df3e532013-01-21 11:39:14 +000049 initializeSimpleInlinerPass(*PassRegistry::getPassRegistry());
50 }
51
52 static char ID; // Pass identification, replacement for typeid
53
Craig Topper3e4c6972014-03-05 09:10:37 +000054 InlineCost getInlineCost(CallSite CS) override {
Easwaran Ramanb9f71202015-12-28 20:28:19 +000055 Function *Callee = CS.getCalledFunction();
56 TargetTransformInfo &TTI = TTIWP->getTTI(*Callee);
Davide Italianoa8725192017-08-25 22:01:42 +000057
58 bool RemarksEnabled = false;
59 const auto &BBs = CS.getCaller()->getBasicBlockList();
60 if (!BBs.empty()) {
61 auto DI = OptimizationRemark(DEBUG_TYPE, "", DebugLoc(), &BBs.front());
62 if (DI.isEnabled())
63 RemarksEnabled = true;
64 }
Haicheng Wu0812c5b2017-08-21 20:00:09 +000065 OptimizationRemarkEmitter ORE(CS.getCaller());
Davide Italianoa8725192017-08-25 22:01:42 +000066
Daniel Jasperaec2fa32016-12-19 08:22:17 +000067 std::function<AssumptionCache &(Function &)> GetAssumptionCache =
68 [&](Function &F) -> AssumptionCache & {
69 return ACT->getAssumptionCache(F);
70 };
Fedor Sergeev652168a2019-04-23 12:43:27 +000071 return llvm::getInlineCost(
72 cast<CallBase>(*CS.getInstruction()), Params, TTI, GetAssumptionCache,
73 /*GetBFI=*/None, PSI, RemarksEnabled ? &ORE : nullptr);
Chandler Carruth0df3e532013-01-21 11:39:14 +000074 }
75
Craig Topper3e4c6972014-03-05 09:10:37 +000076 bool runOnSCC(CallGraphSCC &SCC) override;
77 void getAnalysisUsage(AnalysisUsage &AU) const override;
Easwaran Ramanb9f71202015-12-28 20:28:19 +000078
79private:
80 TargetTransformInfoWrapperPass *TTIWP;
Easwaran Raman1c57cc22016-08-10 00:48:04 +000081
Chandler Carruth0df3e532013-01-21 11:39:14 +000082};
83
84} // end anonymous namespace
Chris Lattner04805fa2002-02-26 21:46:54 +000085
Dan Gohmand78c4002008-05-13 00:00:25 +000086char SimpleInliner::ID = 0;
Chandler Carruth8562d3a2016-08-03 01:02:31 +000087INITIALIZE_PASS_BEGIN(SimpleInliner, "inline", "Function Integration/Inlining",
88 false, false)
Daniel Jasperaec2fa32016-12-19 08:22:17 +000089INITIALIZE_PASS_DEPENDENCY(AssumptionCacheTracker)
Chandler Carruth6378cf52013-11-26 04:19:30 +000090INITIALIZE_PASS_DEPENDENCY(CallGraphWrapperPass)
Easwaran Raman71069cf2016-06-09 22:23:21 +000091INITIALIZE_PASS_DEPENDENCY(ProfileSummaryInfoWrapperPass)
Easwaran Ramanb9f71202015-12-28 20:28:19 +000092INITIALIZE_PASS_DEPENDENCY(TargetTransformInfoWrapperPass)
Chandler Carruth7b560d42015-09-09 17:55:00 +000093INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
Chandler Carruth8562d3a2016-08-03 01:02:31 +000094INITIALIZE_PASS_END(SimpleInliner, "inline", "Function Integration/Inlining",
95 false, false)
Dan Gohmand78c4002008-05-13 00:00:25 +000096
Devang Patel13058a52007-01-26 00:47:38 +000097Pass *llvm::createFunctionInliningPass() { return new SimpleInliner(); }
Chris Lattner51c28a52003-11-21 21:46:09 +000098
Andrew Trickcaa500b2011-10-01 01:27:56 +000099Pass *llvm::createFunctionInliningPass(int Threshold) {
Easwaran Raman1c57cc22016-08-10 00:48:04 +0000100 return new SimpleInliner(llvm::getInlineParams(Threshold));
Chris Lattner22ad7ab2008-01-12 06:49:13 +0000101}
102
Eli Bendersky49f65652014-03-12 16:12:36 +0000103Pass *llvm::createFunctionInliningPass(unsigned OptLevel,
Dehao Chen9907e9d2017-03-21 19:55:36 +0000104 unsigned SizeOptLevel,
105 bool DisableInlineHotCallSite) {
106 auto Param = llvm::getInlineParams(OptLevel, SizeOptLevel);
107 if (DisableInlineHotCallSite)
108 Param.HotCallSiteThreshold = 0;
109 return new SimpleInliner(Param);
Eli Bendersky49f65652014-03-12 16:12:36 +0000110}
111
Easwaran Raman61edc102016-08-11 18:24:08 +0000112Pass *llvm::createFunctionInliningPass(InlineParams &Params) {
113 return new SimpleInliner(Params);
114}
115
Chandler Carruth4319e292013-01-21 11:39:18 +0000116bool SimpleInliner::runOnSCC(CallGraphSCC &SCC) {
Easwaran Ramanb9f71202015-12-28 20:28:19 +0000117 TTIWP = &getAnalysis<TargetTransformInfoWrapperPass>();
Chandler Carruth1d963112016-12-20 03:15:32 +0000118 return LegacyInlinerBase::runOnSCC(SCC);
Tanya Lattnercb90f1d2007-06-06 21:59:26 +0000119}
Devang Patel33227112007-07-25 18:00:25 +0000120
Chandler Carruth4319e292013-01-21 11:39:18 +0000121void SimpleInliner::getAnalysisUsage(AnalysisUsage &AU) const {
Easwaran Ramanb9f71202015-12-28 20:28:19 +0000122 AU.addRequired<TargetTransformInfoWrapperPass>();
Chandler Carruth1d963112016-12-20 03:15:32 +0000123 LegacyInlinerBase::getAnalysisUsage(AU);
Chandler Carruth4319e292013-01-21 11:39:18 +0000124}