15ffd83dbSDimitry Andric //===- InlineAdvisor.cpp - analysis pass implementation -------------------===//
25ffd83dbSDimitry Andric //
35ffd83dbSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
45ffd83dbSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
55ffd83dbSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65ffd83dbSDimitry Andric //
75ffd83dbSDimitry Andric //===----------------------------------------------------------------------===//
85ffd83dbSDimitry Andric //
95ffd83dbSDimitry Andric // This file implements InlineAdvisorAnalysis and DefaultInlineAdvisor, and
105ffd83dbSDimitry Andric // related types.
115ffd83dbSDimitry Andric //
125ffd83dbSDimitry Andric //===----------------------------------------------------------------------===//
135ffd83dbSDimitry Andric
145ffd83dbSDimitry Andric #include "llvm/Analysis/InlineAdvisor.h"
155ffd83dbSDimitry Andric #include "llvm/ADT/Statistic.h"
1606c3fb27SDimitry Andric #include "llvm/ADT/StringExtras.h"
1781ad6265SDimitry Andric #include "llvm/Analysis/AssumptionCache.h"
185ffd83dbSDimitry Andric #include "llvm/Analysis/InlineCost.h"
195ffd83dbSDimitry Andric #include "llvm/Analysis/OptimizationRemarkEmitter.h"
205ffd83dbSDimitry Andric #include "llvm/Analysis/ProfileSummaryInfo.h"
21e8d8bef9SDimitry Andric #include "llvm/Analysis/ReplayInlineAdvisor.h"
225ffd83dbSDimitry Andric #include "llvm/Analysis/TargetLibraryInfo.h"
235ffd83dbSDimitry Andric #include "llvm/Analysis/TargetTransformInfo.h"
2481ad6265SDimitry Andric #include "llvm/Analysis/Utils/ImportedFunctionsInliningStatistics.h"
255ffd83dbSDimitry Andric #include "llvm/IR/DebugInfoMetadata.h"
26*0fca6ea1SDimitry Andric #include "llvm/IR/Module.h"
2704eeddc0SDimitry Andric #include "llvm/IR/PassManager.h"
285ffd83dbSDimitry Andric #include "llvm/Support/CommandLine.h"
295ffd83dbSDimitry Andric #include "llvm/Support/raw_ostream.h"
305ffd83dbSDimitry Andric
315ffd83dbSDimitry Andric using namespace llvm;
325ffd83dbSDimitry Andric #define DEBUG_TYPE "inline"
3304eeddc0SDimitry Andric #ifdef LLVM_HAVE_TF_AOT_INLINERSIZEMODEL
3404eeddc0SDimitry Andric #define LLVM_HAVE_TF_AOT
3504eeddc0SDimitry Andric #endif
365ffd83dbSDimitry Andric
375ffd83dbSDimitry Andric // This weirdly named statistic tracks the number of times that, when attempting
385ffd83dbSDimitry Andric // to inline a function A into B, we analyze the callers of B in order to see
395ffd83dbSDimitry Andric // if those would be more profitable and blocked inline steps.
405ffd83dbSDimitry Andric STATISTIC(NumCallerCallersAnalyzed, "Number of caller-callers analyzed");
415ffd83dbSDimitry Andric
425ffd83dbSDimitry Andric /// Flag to add inline messages as callsite attributes 'inline-remark'.
435ffd83dbSDimitry Andric static cl::opt<bool>
445ffd83dbSDimitry Andric InlineRemarkAttribute("inline-remark-attribute", cl::init(false),
455ffd83dbSDimitry Andric cl::Hidden,
465ffd83dbSDimitry Andric cl::desc("Enable adding inline-remark attribute to"
475ffd83dbSDimitry Andric " callsites processed by inliner but decided"
485ffd83dbSDimitry Andric " to be not inlined"));
495ffd83dbSDimitry Andric
500eae32dcSDimitry Andric static cl::opt<bool> EnableInlineDeferral("inline-deferral", cl::init(false),
510eae32dcSDimitry Andric cl::Hidden,
520eae32dcSDimitry Andric cl::desc("Enable deferred inlining"));
530eae32dcSDimitry Andric
545ffd83dbSDimitry Andric // An integer used to limit the cost of inline deferral. The default negative
555ffd83dbSDimitry Andric // number tells shouldBeDeferred to only take the secondary cost into account.
565ffd83dbSDimitry Andric static cl::opt<int>
575ffd83dbSDimitry Andric InlineDeferralScale("inline-deferral-scale",
585ffd83dbSDimitry Andric cl::desc("Scale to limit the cost of inline deferral"),
595ffd83dbSDimitry Andric cl::init(2), cl::Hidden);
605ffd83dbSDimitry Andric
61753f127fSDimitry Andric static cl::opt<bool>
62753f127fSDimitry Andric AnnotateInlinePhase("annotate-inline-phase", cl::Hidden, cl::init(false),
6381ad6265SDimitry Andric cl::desc("If true, annotate inline advisor remarks "
6481ad6265SDimitry Andric "with LTO and pass information."));
6581ad6265SDimitry Andric
66bdd1243dSDimitry Andric namespace llvm {
67e8d8bef9SDimitry Andric extern cl::opt<InlinerFunctionImportStatsOpts> InlinerFunctionImportStats;
68*0fca6ea1SDimitry Andric } // namespace llvm
695ffd83dbSDimitry Andric
70349cc55cSDimitry Andric namespace {
71349cc55cSDimitry Andric using namespace llvm::ore;
72349cc55cSDimitry Andric class MandatoryInlineAdvice : public InlineAdvice {
73349cc55cSDimitry Andric public:
MandatoryInlineAdvice(InlineAdvisor * Advisor,CallBase & CB,OptimizationRemarkEmitter & ORE,bool IsInliningMandatory)74349cc55cSDimitry Andric MandatoryInlineAdvice(InlineAdvisor *Advisor, CallBase &CB,
75349cc55cSDimitry Andric OptimizationRemarkEmitter &ORE,
76349cc55cSDimitry Andric bool IsInliningMandatory)
77349cc55cSDimitry Andric : InlineAdvice(Advisor, CB, ORE, IsInliningMandatory) {}
78349cc55cSDimitry Andric
79349cc55cSDimitry Andric private:
recordInliningWithCalleeDeletedImpl()80349cc55cSDimitry Andric void recordInliningWithCalleeDeletedImpl() override { recordInliningImpl(); }
81349cc55cSDimitry Andric
recordInliningImpl()82349cc55cSDimitry Andric void recordInliningImpl() override {
83349cc55cSDimitry Andric if (IsInliningRecommended)
84349cc55cSDimitry Andric emitInlinedInto(ORE, DLoc, Block, *Callee, *Caller, IsInliningRecommended,
85349cc55cSDimitry Andric [&](OptimizationRemark &Remark) {
86349cc55cSDimitry Andric Remark << ": always inline attribute";
87349cc55cSDimitry Andric });
88349cc55cSDimitry Andric }
89349cc55cSDimitry Andric
recordUnsuccessfulInliningImpl(const InlineResult & Result)90349cc55cSDimitry Andric void recordUnsuccessfulInliningImpl(const InlineResult &Result) override {
91349cc55cSDimitry Andric if (IsInliningRecommended)
92349cc55cSDimitry Andric ORE.emit([&]() {
9381ad6265SDimitry Andric return OptimizationRemarkMissed(Advisor->getAnnotatedInlinePassName(),
9481ad6265SDimitry Andric "NotInlined", DLoc, Block)
95349cc55cSDimitry Andric << "'" << NV("Callee", Callee) << "' is not AlwaysInline into '"
96349cc55cSDimitry Andric << NV("Caller", Caller)
97349cc55cSDimitry Andric << "': " << NV("Reason", Result.getFailureReason());
98349cc55cSDimitry Andric });
99349cc55cSDimitry Andric }
100349cc55cSDimitry Andric
recordUnattemptedInliningImpl()101349cc55cSDimitry Andric void recordUnattemptedInliningImpl() override {
102349cc55cSDimitry Andric assert(!IsInliningRecommended && "Expected to attempt inlining");
103349cc55cSDimitry Andric }
104349cc55cSDimitry Andric };
105349cc55cSDimitry Andric } // namespace
106349cc55cSDimitry Andric
recordUnsuccessfulInliningImpl(const InlineResult & Result)107e8d8bef9SDimitry Andric void DefaultInlineAdvice::recordUnsuccessfulInliningImpl(
108e8d8bef9SDimitry Andric const InlineResult &Result) {
1095ffd83dbSDimitry Andric using namespace ore;
1105ffd83dbSDimitry Andric llvm::setInlineRemark(*OriginalCB, std::string(Result.getFailureReason()) +
1115ffd83dbSDimitry Andric "; " + inlineCostStr(*OIC));
1125ffd83dbSDimitry Andric ORE.emit([&]() {
11381ad6265SDimitry Andric return OptimizationRemarkMissed(Advisor->getAnnotatedInlinePassName(),
11481ad6265SDimitry Andric "NotInlined", DLoc, Block)
115349cc55cSDimitry Andric << "'" << NV("Callee", Callee) << "' is not inlined into '"
116349cc55cSDimitry Andric << NV("Caller", Caller)
117349cc55cSDimitry Andric << "': " << NV("Reason", Result.getFailureReason());
1185ffd83dbSDimitry Andric });
1195ffd83dbSDimitry Andric }
1205ffd83dbSDimitry Andric
recordInliningWithCalleeDeletedImpl()121e8d8bef9SDimitry Andric void DefaultInlineAdvice::recordInliningWithCalleeDeletedImpl() {
122e8d8bef9SDimitry Andric if (EmitRemarks)
12381ad6265SDimitry Andric emitInlinedIntoBasedOnCost(ORE, DLoc, Block, *Callee, *Caller, *OIC,
12481ad6265SDimitry Andric /* ForProfileContext= */ false,
12581ad6265SDimitry Andric Advisor->getAnnotatedInlinePassName());
1265ffd83dbSDimitry Andric }
1275ffd83dbSDimitry Andric
recordInliningImpl()128e8d8bef9SDimitry Andric void DefaultInlineAdvice::recordInliningImpl() {
129e8d8bef9SDimitry Andric if (EmitRemarks)
13081ad6265SDimitry Andric emitInlinedIntoBasedOnCost(ORE, DLoc, Block, *Callee, *Caller, *OIC,
13181ad6265SDimitry Andric /* ForProfileContext= */ false,
13281ad6265SDimitry Andric Advisor->getAnnotatedInlinePassName());
1335ffd83dbSDimitry Andric }
1345ffd83dbSDimitry Andric
getDefaultInlineAdvice(CallBase & CB,FunctionAnalysisManager & FAM,const InlineParams & Params)135bdd1243dSDimitry Andric std::optional<llvm::InlineCost> static getDefaultInlineAdvice(
136e8d8bef9SDimitry Andric CallBase &CB, FunctionAnalysisManager &FAM, const InlineParams &Params) {
1375ffd83dbSDimitry Andric Function &Caller = *CB.getCaller();
1385ffd83dbSDimitry Andric ProfileSummaryInfo *PSI =
1395ffd83dbSDimitry Andric FAM.getResult<ModuleAnalysisManagerFunctionProxy>(Caller)
1405ffd83dbSDimitry Andric .getCachedResult<ProfileSummaryAnalysis>(
1415ffd83dbSDimitry Andric *CB.getParent()->getParent()->getParent());
1425ffd83dbSDimitry Andric
1435ffd83dbSDimitry Andric auto &ORE = FAM.getResult<OptimizationRemarkEmitterAnalysis>(Caller);
1445ffd83dbSDimitry Andric auto GetAssumptionCache = [&](Function &F) -> AssumptionCache & {
1455ffd83dbSDimitry Andric return FAM.getResult<AssumptionAnalysis>(F);
1465ffd83dbSDimitry Andric };
1475ffd83dbSDimitry Andric auto GetBFI = [&](Function &F) -> BlockFrequencyInfo & {
1485ffd83dbSDimitry Andric return FAM.getResult<BlockFrequencyAnalysis>(F);
1495ffd83dbSDimitry Andric };
1505ffd83dbSDimitry Andric auto GetTLI = [&](Function &F) -> const TargetLibraryInfo & {
1515ffd83dbSDimitry Andric return FAM.getResult<TargetLibraryAnalysis>(F);
1525ffd83dbSDimitry Andric };
1535ffd83dbSDimitry Andric
1545ffd83dbSDimitry Andric auto GetInlineCost = [&](CallBase &CB) {
1555ffd83dbSDimitry Andric Function &Callee = *CB.getCalledFunction();
1565ffd83dbSDimitry Andric auto &CalleeTTI = FAM.getResult<TargetIRAnalysis>(Callee);
1575ffd83dbSDimitry Andric bool RemarksEnabled =
1585ffd83dbSDimitry Andric Callee.getContext().getDiagHandlerPtr()->isMissedOptRemarkEnabled(
1595ffd83dbSDimitry Andric DEBUG_TYPE);
1605ffd83dbSDimitry Andric return getInlineCost(CB, Params, CalleeTTI, GetAssumptionCache, GetTLI,
1615ffd83dbSDimitry Andric GetBFI, PSI, RemarksEnabled ? &ORE : nullptr);
1625ffd83dbSDimitry Andric };
1630eae32dcSDimitry Andric return llvm::shouldInline(
1640eae32dcSDimitry Andric CB, GetInlineCost, ORE,
16581ad6265SDimitry Andric Params.EnableDeferral.value_or(EnableInlineDeferral));
1665ffd83dbSDimitry Andric }
1675ffd83dbSDimitry Andric
168e8d8bef9SDimitry Andric std::unique_ptr<InlineAdvice>
getAdviceImpl(CallBase & CB)169e8d8bef9SDimitry Andric DefaultInlineAdvisor::getAdviceImpl(CallBase &CB) {
1705ffd83dbSDimitry Andric auto OIC = getDefaultInlineAdvice(CB, FAM, Params);
1715ffd83dbSDimitry Andric return std::make_unique<DefaultInlineAdvice>(
1725ffd83dbSDimitry Andric this, CB, OIC,
1735ffd83dbSDimitry Andric FAM.getResult<OptimizationRemarkEmitterAnalysis>(*CB.getCaller()));
1745ffd83dbSDimitry Andric }
1755ffd83dbSDimitry Andric
InlineAdvice(InlineAdvisor * Advisor,CallBase & CB,OptimizationRemarkEmitter & ORE,bool IsInliningRecommended)1765ffd83dbSDimitry Andric InlineAdvice::InlineAdvice(InlineAdvisor *Advisor, CallBase &CB,
1775ffd83dbSDimitry Andric OptimizationRemarkEmitter &ORE,
1785ffd83dbSDimitry Andric bool IsInliningRecommended)
1795ffd83dbSDimitry Andric : Advisor(Advisor), Caller(CB.getCaller()), Callee(CB.getCalledFunction()),
1805ffd83dbSDimitry Andric DLoc(CB.getDebugLoc()), Block(CB.getParent()), ORE(ORE),
1815ffd83dbSDimitry Andric IsInliningRecommended(IsInliningRecommended) {}
1825ffd83dbSDimitry Andric
recordInlineStatsIfNeeded()183e8d8bef9SDimitry Andric void InlineAdvice::recordInlineStatsIfNeeded() {
184e8d8bef9SDimitry Andric if (Advisor->ImportedFunctionsStats)
185e8d8bef9SDimitry Andric Advisor->ImportedFunctionsStats->recordInline(*Caller, *Callee);
186e8d8bef9SDimitry Andric }
187e8d8bef9SDimitry Andric
recordInlining()188e8d8bef9SDimitry Andric void InlineAdvice::recordInlining() {
189e8d8bef9SDimitry Andric markRecorded();
190e8d8bef9SDimitry Andric recordInlineStatsIfNeeded();
191e8d8bef9SDimitry Andric recordInliningImpl();
192e8d8bef9SDimitry Andric }
193e8d8bef9SDimitry Andric
recordInliningWithCalleeDeleted()1945ffd83dbSDimitry Andric void InlineAdvice::recordInliningWithCalleeDeleted() {
1955ffd83dbSDimitry Andric markRecorded();
196e8d8bef9SDimitry Andric recordInlineStatsIfNeeded();
1975ffd83dbSDimitry Andric recordInliningWithCalleeDeletedImpl();
1985ffd83dbSDimitry Andric }
1995ffd83dbSDimitry Andric
2005ffd83dbSDimitry Andric AnalysisKey InlineAdvisorAnalysis::Key;
201bdd1243dSDimitry Andric AnalysisKey PluginInlineAdvisorAnalysis::Key;
202bdd1243dSDimitry Andric bool PluginInlineAdvisorAnalysis::HasBeenRegistered = false;
2035ffd83dbSDimitry Andric
tryCreate(InlineParams Params,InliningAdvisorMode Mode,const ReplayInlinerSettings & ReplaySettings,InlineContext IC)204349cc55cSDimitry Andric bool InlineAdvisorAnalysis::Result::tryCreate(
205349cc55cSDimitry Andric InlineParams Params, InliningAdvisorMode Mode,
20681ad6265SDimitry Andric const ReplayInlinerSettings &ReplaySettings, InlineContext IC) {
2075ffd83dbSDimitry Andric auto &FAM = MAM.getResult<FunctionAnalysisManagerModuleProxy>(M).getManager();
208bdd1243dSDimitry Andric if (PluginInlineAdvisorAnalysis::HasBeenRegistered) {
209bdd1243dSDimitry Andric auto &DA = MAM.getResult<PluginInlineAdvisorAnalysis>(M);
210bdd1243dSDimitry Andric Advisor.reset(DA.Factory(M, FAM, Params, IC));
211bdd1243dSDimitry Andric return !!Advisor;
212bdd1243dSDimitry Andric }
21306c3fb27SDimitry Andric auto GetDefaultAdvice = [&FAM, Params](CallBase &CB) {
21406c3fb27SDimitry Andric auto OIC = getDefaultInlineAdvice(CB, FAM, Params);
21506c3fb27SDimitry Andric return OIC.has_value();
21606c3fb27SDimitry Andric };
2175ffd83dbSDimitry Andric switch (Mode) {
2185ffd83dbSDimitry Andric case InliningAdvisorMode::Default:
219fe6060f1SDimitry Andric LLVM_DEBUG(dbgs() << "Using default inliner heuristic.\n");
22081ad6265SDimitry Andric Advisor.reset(new DefaultInlineAdvisor(M, FAM, Params, IC));
221e8d8bef9SDimitry Andric // Restrict replay to default advisor, ML advisors are stateful so
222e8d8bef9SDimitry Andric // replay will need augmentations to interleave with them correctly.
223349cc55cSDimitry Andric if (!ReplaySettings.ReplayFile.empty()) {
224349cc55cSDimitry Andric Advisor = llvm::getReplayInlineAdvisor(M, FAM, M.getContext(),
225349cc55cSDimitry Andric std::move(Advisor), ReplaySettings,
22681ad6265SDimitry Andric /* EmitRemarks =*/true, IC);
227e8d8bef9SDimitry Andric }
2285ffd83dbSDimitry Andric break;
2295ffd83dbSDimitry Andric case InliningAdvisorMode::Development:
230bdd1243dSDimitry Andric #ifdef LLVM_HAVE_TFLITE
231fe6060f1SDimitry Andric LLVM_DEBUG(dbgs() << "Using development-mode inliner policy.\n");
23206c3fb27SDimitry Andric Advisor = llvm::getDevelopmentModeAdvisor(M, MAM, GetDefaultAdvice);
233e8d8bef9SDimitry Andric #endif
2345ffd83dbSDimitry Andric break;
2355ffd83dbSDimitry Andric case InliningAdvisorMode::Release:
236fe6060f1SDimitry Andric LLVM_DEBUG(dbgs() << "Using release-mode inliner policy.\n");
23706c3fb27SDimitry Andric Advisor = llvm::getReleaseModeAdvisor(M, MAM, GetDefaultAdvice);
2385ffd83dbSDimitry Andric break;
2395ffd83dbSDimitry Andric }
240e8d8bef9SDimitry Andric
2415ffd83dbSDimitry Andric return !!Advisor;
2425ffd83dbSDimitry Andric }
2435ffd83dbSDimitry Andric
2445ffd83dbSDimitry Andric /// Return true if inlining of CB can block the caller from being
2455ffd83dbSDimitry Andric /// inlined which is proved to be more beneficial. \p IC is the
2465ffd83dbSDimitry Andric /// estimated inline cost associated with callsite \p CB.
2475ffd83dbSDimitry Andric /// \p TotalSecondaryCost will be set to the estimated cost of inlining the
2485ffd83dbSDimitry Andric /// caller if \p CB is suppressed for inlining.
2495ffd83dbSDimitry Andric static bool
shouldBeDeferred(Function * Caller,InlineCost IC,int & TotalSecondaryCost,function_ref<InlineCost (CallBase & CB)> GetInlineCost)2505ffd83dbSDimitry Andric shouldBeDeferred(Function *Caller, InlineCost IC, int &TotalSecondaryCost,
2515ffd83dbSDimitry Andric function_ref<InlineCost(CallBase &CB)> GetInlineCost) {
2525ffd83dbSDimitry Andric // For now we only handle local or inline functions.
2535ffd83dbSDimitry Andric if (!Caller->hasLocalLinkage() && !Caller->hasLinkOnceODRLinkage())
2545ffd83dbSDimitry Andric return false;
2555ffd83dbSDimitry Andric // If the cost of inlining CB is non-positive, it is not going to prevent the
2565ffd83dbSDimitry Andric // caller from being inlined into its callers and hence we don't need to
2575ffd83dbSDimitry Andric // defer.
2585ffd83dbSDimitry Andric if (IC.getCost() <= 0)
2595ffd83dbSDimitry Andric return false;
2605ffd83dbSDimitry Andric // Try to detect the case where the current inlining candidate caller (call
2615ffd83dbSDimitry Andric // it B) is a static or linkonce-ODR function and is an inlining candidate
2625ffd83dbSDimitry Andric // elsewhere, and the current candidate callee (call it C) is large enough
2635ffd83dbSDimitry Andric // that inlining it into B would make B too big to inline later. In these
2645ffd83dbSDimitry Andric // circumstances it may be best not to inline C into B, but to inline B into
2655ffd83dbSDimitry Andric // its callers.
2665ffd83dbSDimitry Andric //
2675ffd83dbSDimitry Andric // This only applies to static and linkonce-ODR functions because those are
2685ffd83dbSDimitry Andric // expected to be available for inlining in the translation units where they
2695ffd83dbSDimitry Andric // are used. Thus we will always have the opportunity to make local inlining
2705ffd83dbSDimitry Andric // decisions. Importantly the linkonce-ODR linkage covers inline functions
2715ffd83dbSDimitry Andric // and templates in C++.
2725ffd83dbSDimitry Andric //
2735ffd83dbSDimitry Andric // FIXME: All of this logic should be sunk into getInlineCost. It relies on
2745ffd83dbSDimitry Andric // the internal implementation of the inline cost metrics rather than
2755ffd83dbSDimitry Andric // treating them as truly abstract units etc.
2765ffd83dbSDimitry Andric TotalSecondaryCost = 0;
2775ffd83dbSDimitry Andric // The candidate cost to be imposed upon the current function.
2785ffd83dbSDimitry Andric int CandidateCost = IC.getCost() - 1;
2795ffd83dbSDimitry Andric // If the caller has local linkage and can be inlined to all its callers, we
2805ffd83dbSDimitry Andric // can apply a huge negative bonus to TotalSecondaryCost.
2815ffd83dbSDimitry Andric bool ApplyLastCallBonus = Caller->hasLocalLinkage() && !Caller->hasOneUse();
2825ffd83dbSDimitry Andric // This bool tracks what happens if we DO inline C into B.
2835ffd83dbSDimitry Andric bool InliningPreventsSomeOuterInline = false;
2845ffd83dbSDimitry Andric unsigned NumCallerUsers = 0;
2855ffd83dbSDimitry Andric for (User *U : Caller->users()) {
2865ffd83dbSDimitry Andric CallBase *CS2 = dyn_cast<CallBase>(U);
2875ffd83dbSDimitry Andric
2885ffd83dbSDimitry Andric // If this isn't a call to Caller (it could be some other sort
2895ffd83dbSDimitry Andric // of reference) skip it. Such references will prevent the caller
2905ffd83dbSDimitry Andric // from being removed.
2915ffd83dbSDimitry Andric if (!CS2 || CS2->getCalledFunction() != Caller) {
2925ffd83dbSDimitry Andric ApplyLastCallBonus = false;
2935ffd83dbSDimitry Andric continue;
2945ffd83dbSDimitry Andric }
2955ffd83dbSDimitry Andric
2965ffd83dbSDimitry Andric InlineCost IC2 = GetInlineCost(*CS2);
2975ffd83dbSDimitry Andric ++NumCallerCallersAnalyzed;
2985ffd83dbSDimitry Andric if (!IC2) {
2995ffd83dbSDimitry Andric ApplyLastCallBonus = false;
3005ffd83dbSDimitry Andric continue;
3015ffd83dbSDimitry Andric }
3025ffd83dbSDimitry Andric if (IC2.isAlways())
3035ffd83dbSDimitry Andric continue;
3045ffd83dbSDimitry Andric
3055ffd83dbSDimitry Andric // See if inlining of the original callsite would erase the cost delta of
3065ffd83dbSDimitry Andric // this callsite. We subtract off the penalty for the call instruction,
3075ffd83dbSDimitry Andric // which we would be deleting.
3085ffd83dbSDimitry Andric if (IC2.getCostDelta() <= CandidateCost) {
3095ffd83dbSDimitry Andric InliningPreventsSomeOuterInline = true;
3105ffd83dbSDimitry Andric TotalSecondaryCost += IC2.getCost();
3115ffd83dbSDimitry Andric NumCallerUsers++;
3125ffd83dbSDimitry Andric }
3135ffd83dbSDimitry Andric }
3145ffd83dbSDimitry Andric
3155ffd83dbSDimitry Andric if (!InliningPreventsSomeOuterInline)
3165ffd83dbSDimitry Andric return false;
3175ffd83dbSDimitry Andric
3185ffd83dbSDimitry Andric // If all outer calls to Caller would get inlined, the cost for the last
3195ffd83dbSDimitry Andric // one is set very low by getInlineCost, in anticipation that Caller will
3205ffd83dbSDimitry Andric // be removed entirely. We did not account for this above unless there
3215ffd83dbSDimitry Andric // is only one caller of Caller.
3225ffd83dbSDimitry Andric if (ApplyLastCallBonus)
3235ffd83dbSDimitry Andric TotalSecondaryCost -= InlineConstants::LastCallToStaticBonus;
3245ffd83dbSDimitry Andric
3255ffd83dbSDimitry Andric // If InlineDeferralScale is negative, then ignore the cost of primary
3265ffd83dbSDimitry Andric // inlining -- IC.getCost() multiplied by the number of callers to Caller.
3275ffd83dbSDimitry Andric if (InlineDeferralScale < 0)
3285ffd83dbSDimitry Andric return TotalSecondaryCost < IC.getCost();
3295ffd83dbSDimitry Andric
3305ffd83dbSDimitry Andric int TotalCost = TotalSecondaryCost + IC.getCost() * NumCallerUsers;
3315ffd83dbSDimitry Andric int Allowance = IC.getCost() * InlineDeferralScale;
3325ffd83dbSDimitry Andric return TotalCost < Allowance;
3335ffd83dbSDimitry Andric }
3345ffd83dbSDimitry Andric
3355ffd83dbSDimitry Andric namespace llvm {
operator <<(raw_ostream & R,const ore::NV & Arg)336fe6060f1SDimitry Andric static raw_ostream &operator<<(raw_ostream &R, const ore::NV &Arg) {
3375ffd83dbSDimitry Andric return R << Arg.Val;
3385ffd83dbSDimitry Andric }
3395ffd83dbSDimitry Andric
3405ffd83dbSDimitry Andric template <class RemarkT>
operator <<(RemarkT && R,const InlineCost & IC)3415ffd83dbSDimitry Andric RemarkT &operator<<(RemarkT &&R, const InlineCost &IC) {
3425ffd83dbSDimitry Andric using namespace ore;
3435ffd83dbSDimitry Andric if (IC.isAlways()) {
3445ffd83dbSDimitry Andric R << "(cost=always)";
3455ffd83dbSDimitry Andric } else if (IC.isNever()) {
3465ffd83dbSDimitry Andric R << "(cost=never)";
3475ffd83dbSDimitry Andric } else {
3485ffd83dbSDimitry Andric R << "(cost=" << ore::NV("Cost", IC.getCost())
3495ffd83dbSDimitry Andric << ", threshold=" << ore::NV("Threshold", IC.getThreshold()) << ")";
3505ffd83dbSDimitry Andric }
3515ffd83dbSDimitry Andric if (const char *Reason = IC.getReason())
3525ffd83dbSDimitry Andric R << ": " << ore::NV("Reason", Reason);
3535ffd83dbSDimitry Andric return R;
3545ffd83dbSDimitry Andric }
3555ffd83dbSDimitry Andric } // namespace llvm
3565ffd83dbSDimitry Andric
inlineCostStr(const InlineCost & IC)3575ffd83dbSDimitry Andric std::string llvm::inlineCostStr(const InlineCost &IC) {
358fe6060f1SDimitry Andric std::string Buffer;
359fe6060f1SDimitry Andric raw_string_ostream Remark(Buffer);
3605ffd83dbSDimitry Andric Remark << IC;
3615ffd83dbSDimitry Andric return Remark.str();
3625ffd83dbSDimitry Andric }
3635ffd83dbSDimitry Andric
setInlineRemark(CallBase & CB,StringRef Message)3645ffd83dbSDimitry Andric void llvm::setInlineRemark(CallBase &CB, StringRef Message) {
3655ffd83dbSDimitry Andric if (!InlineRemarkAttribute)
3665ffd83dbSDimitry Andric return;
3675ffd83dbSDimitry Andric
3685ffd83dbSDimitry Andric Attribute Attr = Attribute::get(CB.getContext(), "inline-remark", Message);
369349cc55cSDimitry Andric CB.addFnAttr(Attr);
3705ffd83dbSDimitry Andric }
3715ffd83dbSDimitry Andric
3725ffd83dbSDimitry Andric /// Return the cost only if the inliner should attempt to inline at the given
3735ffd83dbSDimitry Andric /// CallSite. If we return the cost, we will emit an optimisation remark later
374bdd1243dSDimitry Andric /// using that cost, so we won't do so from this function. Return std::nullopt
375bdd1243dSDimitry Andric /// if inlining should not be attempted.
376bdd1243dSDimitry Andric std::optional<InlineCost>
shouldInline(CallBase & CB,function_ref<InlineCost (CallBase & CB)> GetInlineCost,OptimizationRemarkEmitter & ORE,bool EnableDeferral)3775ffd83dbSDimitry Andric llvm::shouldInline(CallBase &CB,
3785ffd83dbSDimitry Andric function_ref<InlineCost(CallBase &CB)> GetInlineCost,
3795ffd83dbSDimitry Andric OptimizationRemarkEmitter &ORE, bool EnableDeferral) {
3805ffd83dbSDimitry Andric using namespace ore;
3815ffd83dbSDimitry Andric
3825ffd83dbSDimitry Andric InlineCost IC = GetInlineCost(CB);
3835ffd83dbSDimitry Andric Instruction *Call = &CB;
3845ffd83dbSDimitry Andric Function *Callee = CB.getCalledFunction();
3855ffd83dbSDimitry Andric Function *Caller = CB.getCaller();
3865ffd83dbSDimitry Andric
3875ffd83dbSDimitry Andric if (IC.isAlways()) {
3885ffd83dbSDimitry Andric LLVM_DEBUG(dbgs() << " Inlining " << inlineCostStr(IC)
3895ffd83dbSDimitry Andric << ", Call: " << CB << "\n");
3905ffd83dbSDimitry Andric return IC;
3915ffd83dbSDimitry Andric }
3925ffd83dbSDimitry Andric
3935ffd83dbSDimitry Andric if (!IC) {
3945ffd83dbSDimitry Andric LLVM_DEBUG(dbgs() << " NOT Inlining " << inlineCostStr(IC)
3955ffd83dbSDimitry Andric << ", Call: " << CB << "\n");
3965ffd83dbSDimitry Andric if (IC.isNever()) {
3975ffd83dbSDimitry Andric ORE.emit([&]() {
3985ffd83dbSDimitry Andric return OptimizationRemarkMissed(DEBUG_TYPE, "NeverInline", Call)
399349cc55cSDimitry Andric << "'" << NV("Callee", Callee) << "' not inlined into '"
400349cc55cSDimitry Andric << NV("Caller", Caller)
401349cc55cSDimitry Andric << "' because it should never be inlined " << IC;
4025ffd83dbSDimitry Andric });
4035ffd83dbSDimitry Andric } else {
4045ffd83dbSDimitry Andric ORE.emit([&]() {
4055ffd83dbSDimitry Andric return OptimizationRemarkMissed(DEBUG_TYPE, "TooCostly", Call)
406349cc55cSDimitry Andric << "'" << NV("Callee", Callee) << "' not inlined into '"
407349cc55cSDimitry Andric << NV("Caller", Caller) << "' because too costly to inline "
4085ffd83dbSDimitry Andric << IC;
4095ffd83dbSDimitry Andric });
4105ffd83dbSDimitry Andric }
4115ffd83dbSDimitry Andric setInlineRemark(CB, inlineCostStr(IC));
412bdd1243dSDimitry Andric return std::nullopt;
4135ffd83dbSDimitry Andric }
4145ffd83dbSDimitry Andric
4155ffd83dbSDimitry Andric int TotalSecondaryCost = 0;
4165ffd83dbSDimitry Andric if (EnableDeferral &&
4175ffd83dbSDimitry Andric shouldBeDeferred(Caller, IC, TotalSecondaryCost, GetInlineCost)) {
4185ffd83dbSDimitry Andric LLVM_DEBUG(dbgs() << " NOT Inlining: " << CB
4195ffd83dbSDimitry Andric << " Cost = " << IC.getCost()
4205ffd83dbSDimitry Andric << ", outer Cost = " << TotalSecondaryCost << '\n');
4215ffd83dbSDimitry Andric ORE.emit([&]() {
4225ffd83dbSDimitry Andric return OptimizationRemarkMissed(DEBUG_TYPE, "IncreaseCostInOtherContexts",
4235ffd83dbSDimitry Andric Call)
424349cc55cSDimitry Andric << "Not inlining. Cost of inlining '" << NV("Callee", Callee)
425349cc55cSDimitry Andric << "' increases the cost of inlining '" << NV("Caller", Caller)
426349cc55cSDimitry Andric << "' in other contexts";
4275ffd83dbSDimitry Andric });
4285ffd83dbSDimitry Andric setInlineRemark(CB, "deferred");
429bdd1243dSDimitry Andric return std::nullopt;
4305ffd83dbSDimitry Andric }
4315ffd83dbSDimitry Andric
4325ffd83dbSDimitry Andric LLVM_DEBUG(dbgs() << " Inlining " << inlineCostStr(IC) << ", Call: " << CB
4335ffd83dbSDimitry Andric << '\n');
4345ffd83dbSDimitry Andric return IC;
4355ffd83dbSDimitry Andric }
4365ffd83dbSDimitry Andric
formatCallSiteLocation(DebugLoc DLoc,const CallSiteFormat & Format)437349cc55cSDimitry Andric std::string llvm::formatCallSiteLocation(DebugLoc DLoc,
438349cc55cSDimitry Andric const CallSiteFormat &Format) {
439fe6060f1SDimitry Andric std::string Buffer;
440fe6060f1SDimitry Andric raw_string_ostream CallSiteLoc(Buffer);
441e8d8bef9SDimitry Andric bool First = true;
442e8d8bef9SDimitry Andric for (DILocation *DIL = DLoc.get(); DIL; DIL = DIL->getInlinedAt()) {
443e8d8bef9SDimitry Andric if (!First)
444e8d8bef9SDimitry Andric CallSiteLoc << " @ ";
445e8d8bef9SDimitry Andric // Note that negative line offset is actually possible, but we use
446e8d8bef9SDimitry Andric // unsigned int to match line offset representation in remarks so
447e8d8bef9SDimitry Andric // it's directly consumable by relay advisor.
448e8d8bef9SDimitry Andric uint32_t Offset =
449e8d8bef9SDimitry Andric DIL->getLine() - DIL->getScope()->getSubprogram()->getLine();
450e8d8bef9SDimitry Andric uint32_t Discriminator = DIL->getBaseDiscriminator();
451e8d8bef9SDimitry Andric StringRef Name = DIL->getScope()->getSubprogram()->getLinkageName();
452e8d8bef9SDimitry Andric if (Name.empty())
453e8d8bef9SDimitry Andric Name = DIL->getScope()->getSubprogram()->getName();
454349cc55cSDimitry Andric CallSiteLoc << Name.str() << ":" << llvm::utostr(Offset);
455349cc55cSDimitry Andric if (Format.outputColumn())
456349cc55cSDimitry Andric CallSiteLoc << ":" << llvm::utostr(DIL->getColumn());
457349cc55cSDimitry Andric if (Format.outputDiscriminator() && Discriminator)
458e8d8bef9SDimitry Andric CallSiteLoc << "." << llvm::utostr(Discriminator);
459e8d8bef9SDimitry Andric First = false;
460e8d8bef9SDimitry Andric }
461e8d8bef9SDimitry Andric
462e8d8bef9SDimitry Andric return CallSiteLoc.str();
463e8d8bef9SDimitry Andric }
464e8d8bef9SDimitry Andric
addLocationToRemarks(OptimizationRemark & Remark,DebugLoc DLoc)4655ffd83dbSDimitry Andric void llvm::addLocationToRemarks(OptimizationRemark &Remark, DebugLoc DLoc) {
46681ad6265SDimitry Andric if (!DLoc) {
4675ffd83dbSDimitry Andric return;
468e8d8bef9SDimitry Andric }
4695ffd83dbSDimitry Andric
4705ffd83dbSDimitry Andric bool First = true;
4715ffd83dbSDimitry Andric Remark << " at callsite ";
4725ffd83dbSDimitry Andric for (DILocation *DIL = DLoc.get(); DIL; DIL = DIL->getInlinedAt()) {
4735ffd83dbSDimitry Andric if (!First)
4745ffd83dbSDimitry Andric Remark << " @ ";
4755ffd83dbSDimitry Andric unsigned int Offset = DIL->getLine();
4765ffd83dbSDimitry Andric Offset -= DIL->getScope()->getSubprogram()->getLine();
4775ffd83dbSDimitry Andric unsigned int Discriminator = DIL->getBaseDiscriminator();
4785ffd83dbSDimitry Andric StringRef Name = DIL->getScope()->getSubprogram()->getLinkageName();
4795ffd83dbSDimitry Andric if (Name.empty())
4805ffd83dbSDimitry Andric Name = DIL->getScope()->getSubprogram()->getName();
481e8d8bef9SDimitry Andric Remark << Name << ":" << ore::NV("Line", Offset) << ":"
482e8d8bef9SDimitry Andric << ore::NV("Column", DIL->getColumn());
4835ffd83dbSDimitry Andric if (Discriminator)
4845ffd83dbSDimitry Andric Remark << "." << ore::NV("Disc", Discriminator);
4855ffd83dbSDimitry Andric First = false;
4865ffd83dbSDimitry Andric }
487e8d8bef9SDimitry Andric
488e8d8bef9SDimitry Andric Remark << ";";
4895ffd83dbSDimitry Andric }
4905ffd83dbSDimitry Andric
emitInlinedInto(OptimizationRemarkEmitter & ORE,DebugLoc DLoc,const BasicBlock * Block,const Function & Callee,const Function & Caller,bool AlwaysInline,function_ref<void (OptimizationRemark &)> ExtraContext,const char * PassName)491349cc55cSDimitry Andric void llvm::emitInlinedInto(
492349cc55cSDimitry Andric OptimizationRemarkEmitter &ORE, DebugLoc DLoc, const BasicBlock *Block,
493349cc55cSDimitry Andric const Function &Callee, const Function &Caller, bool AlwaysInline,
494349cc55cSDimitry Andric function_ref<void(OptimizationRemark &)> ExtraContext,
495349cc55cSDimitry Andric const char *PassName) {
4965ffd83dbSDimitry Andric ORE.emit([&]() {
4975ffd83dbSDimitry Andric StringRef RemarkName = AlwaysInline ? "AlwaysInline" : "Inlined";
4985ffd83dbSDimitry Andric OptimizationRemark Remark(PassName ? PassName : DEBUG_TYPE, RemarkName,
4995ffd83dbSDimitry Andric DLoc, Block);
500349cc55cSDimitry Andric Remark << "'" << ore::NV("Callee", &Callee) << "' inlined into '"
501349cc55cSDimitry Andric << ore::NV("Caller", &Caller) << "'";
502349cc55cSDimitry Andric if (ExtraContext)
503349cc55cSDimitry Andric ExtraContext(Remark);
5045ffd83dbSDimitry Andric addLocationToRemarks(Remark, DLoc);
5055ffd83dbSDimitry Andric return Remark;
5065ffd83dbSDimitry Andric });
5075ffd83dbSDimitry Andric }
508e8d8bef9SDimitry Andric
emitInlinedIntoBasedOnCost(OptimizationRemarkEmitter & ORE,DebugLoc DLoc,const BasicBlock * Block,const Function & Callee,const Function & Caller,const InlineCost & IC,bool ForProfileContext,const char * PassName)509349cc55cSDimitry Andric void llvm::emitInlinedIntoBasedOnCost(
510349cc55cSDimitry Andric OptimizationRemarkEmitter &ORE, DebugLoc DLoc, const BasicBlock *Block,
511349cc55cSDimitry Andric const Function &Callee, const Function &Caller, const InlineCost &IC,
512349cc55cSDimitry Andric bool ForProfileContext, const char *PassName) {
513349cc55cSDimitry Andric llvm::emitInlinedInto(
514349cc55cSDimitry Andric ORE, DLoc, Block, Callee, Caller, IC.isAlways(),
515349cc55cSDimitry Andric [&](OptimizationRemark &Remark) {
516349cc55cSDimitry Andric if (ForProfileContext)
517349cc55cSDimitry Andric Remark << " to match profiling context";
518349cc55cSDimitry Andric Remark << " with " << IC;
519349cc55cSDimitry Andric },
520349cc55cSDimitry Andric PassName);
521349cc55cSDimitry Andric }
522349cc55cSDimitry Andric
InlineAdvisor(Module & M,FunctionAnalysisManager & FAM,std::optional<InlineContext> IC)52381ad6265SDimitry Andric InlineAdvisor::InlineAdvisor(Module &M, FunctionAnalysisManager &FAM,
524bdd1243dSDimitry Andric std::optional<InlineContext> IC)
52581ad6265SDimitry Andric : M(M), FAM(FAM), IC(IC),
526753f127fSDimitry Andric AnnotatedInlinePassName((IC && AnnotateInlinePhase)
527753f127fSDimitry Andric ? llvm::AnnotateInlinePassName(*IC)
52881ad6265SDimitry Andric : DEBUG_TYPE) {
529e8d8bef9SDimitry Andric if (InlinerFunctionImportStats != InlinerFunctionImportStatsOpts::No) {
530e8d8bef9SDimitry Andric ImportedFunctionsStats =
531e8d8bef9SDimitry Andric std::make_unique<ImportedFunctionsInliningStatistics>();
532e8d8bef9SDimitry Andric ImportedFunctionsStats->setModuleInfo(M);
533e8d8bef9SDimitry Andric }
534e8d8bef9SDimitry Andric }
535e8d8bef9SDimitry Andric
~InlineAdvisor()536e8d8bef9SDimitry Andric InlineAdvisor::~InlineAdvisor() {
537e8d8bef9SDimitry Andric if (ImportedFunctionsStats) {
538e8d8bef9SDimitry Andric assert(InlinerFunctionImportStats != InlinerFunctionImportStatsOpts::No);
539e8d8bef9SDimitry Andric ImportedFunctionsStats->dump(InlinerFunctionImportStats ==
540e8d8bef9SDimitry Andric InlinerFunctionImportStatsOpts::Verbose);
541e8d8bef9SDimitry Andric }
542e8d8bef9SDimitry Andric }
543e8d8bef9SDimitry Andric
getMandatoryAdvice(CallBase & CB,bool Advice)544e8d8bef9SDimitry Andric std::unique_ptr<InlineAdvice> InlineAdvisor::getMandatoryAdvice(CallBase &CB,
545e8d8bef9SDimitry Andric bool Advice) {
546349cc55cSDimitry Andric return std::make_unique<MandatoryInlineAdvice>(this, CB, getCallerORE(CB),
547349cc55cSDimitry Andric Advice);
548e8d8bef9SDimitry Andric }
549e8d8bef9SDimitry Andric
getLTOPhase(ThinOrFullLTOPhase LTOPhase)55081ad6265SDimitry Andric static inline const char *getLTOPhase(ThinOrFullLTOPhase LTOPhase) {
55181ad6265SDimitry Andric switch (LTOPhase) {
55281ad6265SDimitry Andric case (ThinOrFullLTOPhase::None):
55381ad6265SDimitry Andric return "main";
55481ad6265SDimitry Andric case (ThinOrFullLTOPhase::ThinLTOPreLink):
55581ad6265SDimitry Andric case (ThinOrFullLTOPhase::FullLTOPreLink):
55681ad6265SDimitry Andric return "prelink";
55781ad6265SDimitry Andric case (ThinOrFullLTOPhase::ThinLTOPostLink):
55881ad6265SDimitry Andric case (ThinOrFullLTOPhase::FullLTOPostLink):
55981ad6265SDimitry Andric return "postlink";
56081ad6265SDimitry Andric }
56181ad6265SDimitry Andric llvm_unreachable("unreachable");
56281ad6265SDimitry Andric }
56381ad6265SDimitry Andric
getInlineAdvisorContext(InlinePass IP)56481ad6265SDimitry Andric static inline const char *getInlineAdvisorContext(InlinePass IP) {
56581ad6265SDimitry Andric switch (IP) {
56681ad6265SDimitry Andric case (InlinePass::AlwaysInliner):
56781ad6265SDimitry Andric return "always-inline";
56881ad6265SDimitry Andric case (InlinePass::CGSCCInliner):
56981ad6265SDimitry Andric return "cgscc-inline";
57081ad6265SDimitry Andric case (InlinePass::EarlyInliner):
57181ad6265SDimitry Andric return "early-inline";
57281ad6265SDimitry Andric case (InlinePass::MLInliner):
57381ad6265SDimitry Andric return "ml-inline";
57481ad6265SDimitry Andric case (InlinePass::ModuleInliner):
57581ad6265SDimitry Andric return "module-inline";
57681ad6265SDimitry Andric case (InlinePass::ReplayCGSCCInliner):
57781ad6265SDimitry Andric return "replay-cgscc-inline";
57881ad6265SDimitry Andric case (InlinePass::ReplaySampleProfileInliner):
57981ad6265SDimitry Andric return "replay-sample-profile-inline";
58081ad6265SDimitry Andric case (InlinePass::SampleProfileInliner):
58181ad6265SDimitry Andric return "sample-profile-inline";
58281ad6265SDimitry Andric }
58381ad6265SDimitry Andric
58481ad6265SDimitry Andric llvm_unreachable("unreachable");
58581ad6265SDimitry Andric }
58681ad6265SDimitry Andric
AnnotateInlinePassName(InlineContext IC)58781ad6265SDimitry Andric std::string llvm::AnnotateInlinePassName(InlineContext IC) {
58881ad6265SDimitry Andric return std::string(getLTOPhase(IC.LTOPhase)) + "-" +
58981ad6265SDimitry Andric std::string(getInlineAdvisorContext(IC.Pass));
59081ad6265SDimitry Andric }
59181ad6265SDimitry Andric
592e8d8bef9SDimitry Andric InlineAdvisor::MandatoryInliningKind
getMandatoryKind(CallBase & CB,FunctionAnalysisManager & FAM,OptimizationRemarkEmitter & ORE)593e8d8bef9SDimitry Andric InlineAdvisor::getMandatoryKind(CallBase &CB, FunctionAnalysisManager &FAM,
594e8d8bef9SDimitry Andric OptimizationRemarkEmitter &ORE) {
595e8d8bef9SDimitry Andric auto &Callee = *CB.getCalledFunction();
596e8d8bef9SDimitry Andric
597e8d8bef9SDimitry Andric auto GetTLI = [&](Function &F) -> const TargetLibraryInfo & {
598e8d8bef9SDimitry Andric return FAM.getResult<TargetLibraryAnalysis>(F);
599e8d8bef9SDimitry Andric };
600e8d8bef9SDimitry Andric
601e8d8bef9SDimitry Andric auto &TIR = FAM.getResult<TargetIRAnalysis>(Callee);
602e8d8bef9SDimitry Andric
603e8d8bef9SDimitry Andric auto TrivialDecision =
604e8d8bef9SDimitry Andric llvm::getAttributeBasedInliningDecision(CB, &Callee, TIR, GetTLI);
605e8d8bef9SDimitry Andric
60681ad6265SDimitry Andric if (TrivialDecision) {
607e8d8bef9SDimitry Andric if (TrivialDecision->isSuccess())
608e8d8bef9SDimitry Andric return MandatoryInliningKind::Always;
609e8d8bef9SDimitry Andric else
610e8d8bef9SDimitry Andric return MandatoryInliningKind::Never;
611e8d8bef9SDimitry Andric }
612e8d8bef9SDimitry Andric return MandatoryInliningKind::NotMandatory;
613e8d8bef9SDimitry Andric }
614e8d8bef9SDimitry Andric
getAdvice(CallBase & CB,bool MandatoryOnly)615e8d8bef9SDimitry Andric std::unique_ptr<InlineAdvice> InlineAdvisor::getAdvice(CallBase &CB,
616e8d8bef9SDimitry Andric bool MandatoryOnly) {
617e8d8bef9SDimitry Andric if (!MandatoryOnly)
618e8d8bef9SDimitry Andric return getAdviceImpl(CB);
619e8d8bef9SDimitry Andric bool Advice = CB.getCaller() != CB.getCalledFunction() &&
620e8d8bef9SDimitry Andric MandatoryInliningKind::Always ==
621e8d8bef9SDimitry Andric getMandatoryKind(CB, FAM, getCallerORE(CB));
622e8d8bef9SDimitry Andric return getMandatoryAdvice(CB, Advice);
623e8d8bef9SDimitry Andric }
624e8d8bef9SDimitry Andric
getCallerORE(CallBase & CB)625e8d8bef9SDimitry Andric OptimizationRemarkEmitter &InlineAdvisor::getCallerORE(CallBase &CB) {
626e8d8bef9SDimitry Andric return FAM.getResult<OptimizationRemarkEmitterAnalysis>(*CB.getCaller());
627e8d8bef9SDimitry Andric }
62804eeddc0SDimitry Andric
62904eeddc0SDimitry Andric PreservedAnalyses
run(Module & M,ModuleAnalysisManager & MAM)63004eeddc0SDimitry Andric InlineAdvisorAnalysisPrinterPass::run(Module &M, ModuleAnalysisManager &MAM) {
63104eeddc0SDimitry Andric const auto *IA = MAM.getCachedResult<InlineAdvisorAnalysis>(M);
63204eeddc0SDimitry Andric if (!IA)
63304eeddc0SDimitry Andric OS << "No Inline Advisor\n";
63404eeddc0SDimitry Andric else
63504eeddc0SDimitry Andric IA->getAdvisor()->print(OS);
63604eeddc0SDimitry Andric return PreservedAnalyses::all();
63704eeddc0SDimitry Andric }
63881ad6265SDimitry Andric
run(LazyCallGraph::SCC & InitialC,CGSCCAnalysisManager & AM,LazyCallGraph & CG,CGSCCUpdateResult & UR)63981ad6265SDimitry Andric PreservedAnalyses InlineAdvisorAnalysisPrinterPass::run(
64081ad6265SDimitry Andric LazyCallGraph::SCC &InitialC, CGSCCAnalysisManager &AM, LazyCallGraph &CG,
64181ad6265SDimitry Andric CGSCCUpdateResult &UR) {
64281ad6265SDimitry Andric const auto &MAMProxy =
64381ad6265SDimitry Andric AM.getResult<ModuleAnalysisManagerCGSCCProxy>(InitialC, CG);
64481ad6265SDimitry Andric
64581ad6265SDimitry Andric if (InitialC.size() == 0) {
64681ad6265SDimitry Andric OS << "SCC is empty!\n";
64781ad6265SDimitry Andric return PreservedAnalyses::all();
64881ad6265SDimitry Andric }
64981ad6265SDimitry Andric Module &M = *InitialC.begin()->getFunction().getParent();
65081ad6265SDimitry Andric const auto *IA = MAMProxy.getCachedResult<InlineAdvisorAnalysis>(M);
65181ad6265SDimitry Andric if (!IA)
65281ad6265SDimitry Andric OS << "No Inline Advisor\n";
65381ad6265SDimitry Andric else
65481ad6265SDimitry Andric IA->getAdvisor()->print(OS);
65581ad6265SDimitry Andric return PreservedAnalyses::all();
65681ad6265SDimitry Andric }
657