40 "inliner-interactive-channel-base",
cl::Hidden,
42 "Base file path for the interactive mode. The incoming filename should "
43 "have the name <inliner-interactive-channel-base>.in, while the "
44 "outgoing name should be <inliner-interactive-channel-base>.out"));
46 (
Twine(
"In interactive mode, also send the default policy decision: ") +
59 "if-caller-not-cold",
"if the caller is not cold")));
67#if defined(LLVM_HAVE_TF_AOT_INLINERSIZEMODEL)
69#include "InlinerSizeModel.h"
75#if defined(LLVM_HAVE_MLIR_LOWERING_INLINER)
78#include "llvm/Analysis/InlinerModels.h"
82#define MLGO_MODEL(CLASS_NAME, CLI_FLAG) CLASS_NAME,
83#include "llvm/Analysis/InlinerModels.def"
90 "Use standard heuristic")
91#define MLGO_MODEL(CLASS_NAME, CLI_FLAG) \
92 ,
clEnumValN(EmitCModelChoice::CLASS_NAME, CLI_FLAG, \
93 "Use the " CLI_FLAG
" MLGO model")
94#include
"llvm/Analysis/InlinerModels.def"
97static std::unique_ptr<MLModelRunner>
103#define MLGO_MODEL(CLASS_NAME, CLI_FLAG) \
104 case EmitCModelChoice::CLASS_NAME: \
105 return std::make_unique<EmitCModelRunner<CLASS_NAME>>(Ctx, InputFeatures);
106#include "llvm/Analysis/InlinerModels.def"
114static inline std::unique_ptr<MLModelRunner>
120std::unique_ptr<InlineAdvisor>
122 std::function<
bool(
CallBase &)> GetDefaultAdvice) {
126 auto RunnerFactory = [&](
const std::vector<TensorSpec> &
InputFeatures)
127 -> std::unique_ptr<MLModelRunner> {
134 return std::make_unique<MLInlineAdvisor>(M,
MAM, RunnerFactory,
138#define DEBUG_TYPE "inline-ml"
141 "ml-advisor-size-increase-threshold",
cl::Hidden,
142 cl::desc(
"Maximum factor by which expected native size may increase before "
143 "blocking any further inlining."),
149 "For test - keep the ML Inline advisor's FunctionPropertiesInfo cache"),
155#define POPULATE_NAMES(DTYPE, SHAPE, NAME, __) TensorSpec::createSpec<DTYPE>(#NAME, SHAPE),
177 if (
Function *Callee = CS->getCalledFunction()) {
178 if (!Callee->isDeclaration()) {
188 std::unique_ptr<MLModelRunner>(
const std::vector<TensorSpec> &)>
196 InitialIRSize(getModuleIRSize()), CurrentIRSize(InitialIRSize),
206 const std::vector<CallGraphNode *> &CGNodes = *
I;
208 for (
auto *CGNode : CGNodes) {
210 if (!
F ||
F->isDeclaration())
214 auto *Called = CS->getCalledFunction();
215 auto Pos = FunctionLevels.find(&CG.get(*Called));
219 if (Pos == FunctionLevels.end())
221 Level = std::max(Level, Pos->second + 1);
225 for (
auto *CGNode : CGNodes) {
227 if (
F && !
F->isDeclaration())
228 FunctionLevels[&CG.get(*
F)] = Level;
231 for (
auto KVP : FunctionLevels) {
232 AllNodes.insert(KVP.first);
235 NodeCount = AllNodes.size();
238 if (!IR2VecVocabResult->isValid()) {
239 M.getContext().emitError(
"IR2VecVocabAnalysis is not valid");
243 auto IR2VecDim = IR2VecVocabResult->getDimension();
254 M.getContext().emitError(
"Could not create model runner");
262 return CG.lookup(
F) ? FunctionLevels.at(CG.lookup(
F)) : 0;
266 if (!CurSCC || ForceStop)
286 while (!NodesInLastSCC.empty()) {
287 const auto *
N = *NodesInLastSCC.begin();
289 NodesInLastSCC.erase(
N);
291 const auto NLevel = FunctionLevels.at(
N);
292 for (
const auto &E : *(*
N)) {
293 const auto *AdjNode = &E.getNode();
294 assert(!AdjNode->isDead() && !AdjNode->getFunction().isDeclaration());
295 auto I = AllNodes.insert(AdjNode);
299 NodesInLastSCC.insert(AdjNode);
300 FunctionLevels[AdjNode] = NLevel;
305 EdgeCount -= EdgesOfLastSeenNodes;
306 EdgesOfLastSeenNodes = 0;
310 assert(NodesInLastSCC.empty());
311 for (
const auto &
N : *CurSCC)
312 NodesInLastSCC.insert(&
N);
319 if (!CurSCC || ForceStop)
324 EdgesOfLastSeenNodes = 0;
333 for (
const auto &
N : *CurSCC) {
335 auto I = NodesInLastSCC.insert(&
N);
339 assert(NodeCount >= NodesInLastSCC.size());
340 assert(EdgeCount >= EdgesOfLastSeenNodes);
353 bool CalleeWasDeleted) {
362 FAM.invalidate(*Caller, PA);
365 if (Caller == Callee) {
366 assert(!CalleeWasDeleted);
375 int64_t IRSizeAfter =
384 int64_t NewCallerAndCalleeEdges =
390 if (CalleeWasDeleted) {
392 NodesInLastSCC.erase(CG.lookup(*Callee));
393 DeadFunctions.insert(Callee);
395 NewCallerAndCalleeEdges +=
403 assert(CurrentIRSize >= 0 && EdgeCount >= 0 && NodeCount >= 0);
406int64_t MLInlineAdvisor::getModuleIRSize()
const {
409 if (!
F.isDeclaration())
415 auto InsertPair = FPICache.try_emplace(&
F);
416 if (!InsertPair.second)
417 return InsertPair.first->second;
419 return InsertPair.first->second;
423 if (
auto Skip = getSkipAdviceIfUnreachableCallsite(CB))
436 if (!PSI.isFunctionEntryCold(&Caller)) {
442 return ForceStop ? std::make_unique<InlineAdvice>(
this, CB, ORE,
444 : std::make_unique<MLInlineAdvice>(
this, CB, ORE,
465 <<
"Won't attempt inlining because module size grew too much.";
467 return std::make_unique<InlineAdvice>(
this, CB, ORE, Mandatory);
470 int CostEstimate = 0;
472 auto IsCallSiteInlinable =
474 if (!IsCallSiteInlinable) {
478 return std::make_unique<InlineAdvice>(
this, CB, ORE,
false);
480 CostEstimate = *IsCallSiteInlinable;
483 const auto CostFeatures =
486 return std::make_unique<InlineAdvice>(
this, CB, ORE,
false);
492 auto NumCtantParams = 0;
500 *
ModelRunner->getTensor<int64_t>(FeatureIndex::callee_basic_block_count) =
501 CalleeBefore.BasicBlockCount;
502 *
ModelRunner->getTensor<int64_t>(FeatureIndex::callsite_height) =
504 *
ModelRunner->getTensor<int64_t>(FeatureIndex::node_count) = NodeCount;
505 *
ModelRunner->getTensor<int64_t>(FeatureIndex::nr_ctant_params) =
507 *
ModelRunner->getTensor<int64_t>(FeatureIndex::edge_count) = EdgeCount;
508 *
ModelRunner->getTensor<int64_t>(FeatureIndex::caller_users) =
511 FeatureIndex::caller_conditionally_executed_blocks) =
512 CallerBefore.BlocksReachedFromConditionalInstruction;
513 *
ModelRunner->getTensor<int64_t>(FeatureIndex::caller_basic_block_count) =
514 CallerBefore.BasicBlockCount;
516 FeatureIndex::callee_conditionally_executed_blocks) =
517 CalleeBefore.BlocksReachedFromConditionalInstruction;
518 *
ModelRunner->getTensor<int64_t>(FeatureIndex::callee_users) =
520 *
ModelRunner->getTensor<int64_t>(FeatureIndex::cost_estimate) = CostEstimate;
521 *
ModelRunner->getTensor<int64_t>(FeatureIndex::is_callee_avail_external) =
522 Callee.hasAvailableExternallyLinkage();
523 *
ModelRunner->getTensor<int64_t>(FeatureIndex::is_caller_avail_external) =
524 Caller.hasAvailableExternallyLinkage();
533 [](
double Val) { return static_cast<float>(Val); });
536 setEmbedding(CalleeBefore.getFunctionEmbedding(),
538 setEmbedding(CallerBefore.getFunctionEmbedding(),
555std::unique_ptr<MLInlineAdvice>
558 return std::make_unique<MLInlineAdvice>(
559 this, CB, ORE,
static_cast<bool>(
ModelRunner->evaluate<int64_t>()));
562std::unique_ptr<InlineAdvice>
563MLInlineAdvisor::getSkipAdviceIfUnreachableCallsite(
CallBase &CB) {
566 return std::make_unique<InlineAdvice>(
this, CB,
getCallerORE(CB),
false);
573 if (
auto Skip = getSkipAdviceIfUnreachableCallsite(CB))
575 if (Advice && !ForceStop)
582 return std::make_unique<InlineAdvice>(
this, CB,
getCallerORE(CB), Advice);
585std::unique_ptr<MLInlineAdvice>
587 return std::make_unique<MLInlineAdvice>(
this, CB,
getCallerORE(CB),
true);
590void MLInlineAdvisor::print(
raw_ostream &OS)
const {
591 OS <<
"[MLInlineAdvisor] Nodes: " << NodeCount <<
" Edges: " << EdgeCount
592 <<
" EdgesOfLastSeenNodes: " << EdgesOfLastSeenNodes <<
"\n";
593 OS <<
"[MLInlineAdvisor] FPI:\n";
594 for (
auto I : FPICache) {
595 OS <<
I.first->getName() <<
":\n";
600 OS <<
"[MLInlineAdvisor] FuncLevels:\n";
601 for (
auto I : FunctionLevels)
602 OS << (DeadFunctions.
contains(&
I.first->getFunction())
604 :
I.first->getFunction().getName())
605 <<
" : " <<
I.second <<
"\n";
625void MLInlineAdvice::reportContextForRemark(
630 OR << NV(getAdvisor()->getFeatureMap()[
I].
name(),
631 *getAdvisor()->getModelRunner().getTensor<int64_t>(
I));
642 reportContextForRemark(R);
645 getAdvisor()->onSuccessfulInlining(*
this,
false);
652 reportContextForRemark(R);
655 getAdvisor()->onSuccessfulInlining(*
this,
true);
660 getAdvisor()->getCachedFPI(*
Caller) = PreInlineCallerFPI;
664 reportContextForRemark(R);
672 reportContextForRemark(R);
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
Expand Atomic instructions
This file provides interfaces used to build and manipulate a call graph, which is a very useful tool ...
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
This file implements a model runner wrapping an EmitC compiled ML model.
Module.h This file contains the declarations for the Module class.
This header defines various interfaces for pass management in LLVM.
#define INLINE_COST_FEATURE_ITERATOR(M)
#define INLINE_FEATURE_ITERATOR(M)
Implements a lazy call graph analysis and related passes for the new pass manager.
This file provides helper functions for creating MLModelRunners and checking model validity in releas...
static cl::opt< bool > KeepFPICache("ml-advisor-keep-fpi-cache", cl::Hidden, cl::desc("For test - keep the ML Inline advisor's FunctionPropertiesInfo cache"), cl::init(false))
static cl::opt< std::string > ModelSelector("ml-inliner-model-selector", cl::Hidden, cl::init(""))
static const EmitCModelChoice SelectedMLGOModel
CallBase * getInlinableCS(Instruction &I)
constexpr bool HaveMLIRLoweringInliner
NoopSavedModelImpl CompiledModelType
static cl::opt< std::string > InteractiveChannelBaseName("inliner-interactive-channel-base", cl::Hidden, cl::desc("Base file path for the interactive mode. The incoming filename should " "have the name <inliner-interactive-channel-base>.in, while the " "outgoing name should be <inliner-interactive-channel-base>.out"))
#define POPULATE_NAMES(DTYPE, SHAPE, NAME, __)
static std::unique_ptr< MLModelRunner > createEmitCModelRunner(LLVMContext &, const std::vector< TensorSpec > &)
static cl::opt< bool > StopImmediatelyForTest("ml-inliner-stop-immediately", cl::Hidden)
static cl::opt< float > SizeIncreaseThreshold("ml-advisor-size-increase-threshold", cl::Hidden, cl::desc("Maximum factor by which expected native size may increase before " "blocking any further inlining."), cl::init(2.0))
static const std::string InclDefaultMsg
static cl::opt< SkipMLPolicyCriteria > SkipPolicy("ml-inliner-skip-policy", cl::Hidden, cl::init(SkipMLPolicyCriteria::Never), cl::values(clEnumValN(SkipMLPolicyCriteria::Never, "never", "never"), clEnumValN(SkipMLPolicyCriteria::IfCallerIsNotCold, "if-caller-not-cold", "if the caller is not cold")))
static cl::opt< bool > InteractiveIncludeDefault("inliner-interactive-include-default", cl::Hidden, cl::desc(InclDefaultMsg))
FunctionAnalysisManager FAM
ModuleAnalysisManager MAM
This builds on the llvm/ADT/GraphTraits.h file to find the strongly connected components (SCCs) of a ...
A function analysis which provides an AssumptionCache.
A cache of @llvm.assume calls within a function.
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
Function * getCalledFunction() const
Returns the function called, or null if this is an indirect function invocation or the function signa...
User::op_iterator arg_begin()
Return the iterator pointing to the beginning of the argument list.
User::op_iterator arg_end()
Return the iterator pointing to the end of the argument list.
LLVM_ABI Function * getCaller()
Helper to get the caller (the parent function).
The basic data container for the call graph of a Module of IR.
Common features for diagnostics dealing with optimization remarks that are used by both IR and MIR pa...
Analysis pass which computes a DominatorTree.
int64_t DirectCallsToDefinedFunctions
Number of direct calls made from this function to other functions defined in this module.
This analysis provides the vocabulary for IR2Vec.
Function *const Caller
Caller and Callee are pre-inlining.
const BasicBlock *const Block
OptimizationRemarkEmitter & ORE
InlineAdvisor *const Advisor
LLVM_ABI InlineAdvice(InlineAdvisor *Advisor, CallBase &CB, OptimizationRemarkEmitter &ORE, bool IsInliningRecommended)
bool isInliningRecommended() const
Get the inlining recommendation.
OptimizationRemarkEmitter & getCallerORE(CallBase &CB)
FunctionAnalysisManager & FAM
static MandatoryInliningKind getMandatoryKind(CallBase &CB, FunctionAnalysisManager &FAM, OptimizationRemarkEmitter &ORE)
InlineAdvisor(InlineAdvisor &&)=delete
InlineResult is basically true or false.
This is an important class for using LLVM in a threaded context.
An analysis pass which computes the call graph for a module.
A node in the call graph.
An SCC of the call graph.
Analysis pass that exposes the LoopInfo for a function.
InlineAdvice that tracks changes post inlining.
void updateCachedCallerFPI(FunctionAnalysisManager &FAM) const
const int64_t CallerIRSize
MLInlineAdvice(MLInlineAdvisor *Advisor, CallBase &CB, OptimizationRemarkEmitter &ORE, bool Recommendation)
const int64_t CalleeIRSize
void recordInliningImpl() override
Function * getCaller() const
const int64_t CallerAndCalleeEdges
void recordUnsuccessfulInliningImpl(const InlineResult &Result) override
Function * getCallee() const
void recordInliningWithCalleeDeletedImpl() override
void recordUnattemptedInliningImpl() override
const std::vector< TensorSpec > & getFeatureMap() const
std::unique_ptr< MLModelRunner > ModelRunner
FunctionPropertiesInfo & getCachedFPI(Function &) const
void onPassExit(LazyCallGraph::SCC *SCC) override
This must be called when the Inliner pass is exited, as function passes may be run subsequently.
void onSuccessfulInlining(const MLInlineAdvice &Advice, bool CalleeWasDeleted)
static const std::vector< TensorSpec > & getInitialFeatureMap()
virtual std::unique_ptr< MLInlineAdvice > getMandatoryAdviceImpl(CallBase &CB)
void onPassEntry(LazyCallGraph::SCC *SCC) override
This must be called when the Inliner pass is entered, to allow the InlineAdvisor update internal stat...
MLInlineAdvisor(Module &M, ModuleAnalysisManager &MAM, std::function< std::unique_ptr< MLModelRunner >(const std::vector< TensorSpec > &)> GetModelRunner, std::function< bool(CallBase &)> GetDefaultAdvice)
int64_t getLocalCalls(Function &F)
std::vector< TensorSpec > FeatureMap
virtual std::unique_ptr< MLInlineAdvice > getAdviceFromModel(CallBase &CB, OptimizationRemarkEmitter &ORE)
int64_t getIRSize(Function &F) const
std::function< bool(CallBase &)> GetDefaultAdvice
std::unique_ptr< InlineAdvice > getAdviceImpl(CallBase &CB) override
std::unique_ptr< InlineAdvice > getMandatoryAdvice(CallBase &CB, bool Advice) override
unsigned getInitialFunctionLevel(const Function &F) const
A Module instance is used to store all the information related to an LLVM module.
A mock class satisfying the interface expected by ReleaseModeModelRunner for its TGen parameter.
A set of analyses that are preserved following a run of a transformation pass.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
PreservedAnalyses & abandon()
Mark an analysis as abandoned.
An analysis pass based on the new PM to deliver ProfileSummaryInfo.
Analysis pass providing the TargetTransformInfo.
static TensorSpec createSpec(const std::string &Name, const std::vector< int64_t > &Shape, int Port=0)
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
LLVM_ABI StringRef getName() const
Return a constant reference to the value's name.
bool contains(const_arg_type_t< ValueT > V) const
Check if the set contains the given element.
const ParentTy * getParent() const
This class implements an extremely fast bulk output stream that can only output to a stream.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
ValuesClass values(OptsTy... Options)
Helper to build a ValuesClass by forwarding a variable number of arguments as an initializer list to ...
initializer< Ty > init(const Ty &Val)
Add a small namespace to avoid name clashes with the classes used in the streaming interface.
This is an optimization pass for GlobalISel generic memory operations.
constexpr FeatureIndex inlineCostFeatureToMlFeature(InlineCostFeatureIndex Feature)
LLVM_ABI const char *const DefaultDecisionName
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
scc_iterator< T > scc_begin(const T &G)
Construct the begin iterator for a deduced graph type T.
LLVM_ABI std::unique_ptr< InlineAdvisor > getReleaseModeAdvisor(Module &M, ModuleAnalysisManager &MAM, std::function< bool(CallBase &)> GetDefaultAdvice)
InnerAnalysisManagerProxy< FunctionAnalysisManager, Module > FunctionAnalysisManagerModuleProxy
Provide the FunctionAnalysisManager to Module proxy.
bool isReleaseModelValid(StringRef InteractiveChannelBaseName, const cl::opt< EnumType, ExternalStorage, ParserClass > &SelectedModel, EnumType DefaultModelVal=EnumType::Default)
Helper to check if a release-mode ML advisor has a valid model to execute.
OutputIt transform(R &&Range, OutputIt d_first, UnaryFunction F)
Wrapper function around std::transform to apply a function to a range and store the result elsewhere.
LLVM_ABI const TensorSpec DefaultDecisionSpec
LLVM_ABI const char *const DecisionName
@ Never
Never set the bit.
static const std::vector< TensorSpec > InputFeatures
LLVM_ABI std::optional< InlineCostFeatures > getInliningCostFeatures(CallBase &Call, TargetTransformInfo &CalleeTTI, function_ref< AssumptionCache &(Function &)> GetAssumptionCache, function_ref< BlockFrequencyInfo &(Function &)> GetBFI=nullptr, function_ref< const TargetLibraryInfo &(Function &)> GetTLI=nullptr, ProfileSummaryInfo *PSI=nullptr, OptimizationRemarkEmitter *ORE=nullptr)
Get the expanded cost features.
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
LLVM_ABI const TensorSpec InlineDecisionSpec
LLVM_ABI const char *const RewardName
LLVM_ABI std::optional< int > getInliningCostEstimate(CallBase &Call, TargetTransformInfo &CalleeTTI, function_ref< AssumptionCache &(Function &)> GetAssumptionCache, function_ref< BlockFrequencyInfo &(Function &)> GetBFI=nullptr, function_ref< const TargetLibraryInfo &(Function &)> GetTLI=nullptr, ProfileSummaryInfo *PSI=nullptr, OptimizationRemarkEmitter *ORE=nullptr)
Get the cost estimate ignoring thresholds.
std::unique_ptr< MLModelRunner > createReleaseModeModelRunner(LLVMContext &Ctx, const std::vector< TensorSpec > &InputFeatures, StringRef DecisionName, const std::string &InteractiveChannelBaseName, const TensorSpec &InteractiveDecisionSpec, CreateEmitCFunc &&CreateEmitCModelRunner, const EmbeddedModelRunnerOptions &Options={})
Helper to construct the appropriate MLModelRunner in release mode:
AnalysisManager< Function > FunctionAnalysisManager
Convenience typedef for the Function analysis manager.
AnalysisManager< Module > ModuleAnalysisManager
Convenience typedef for the Module analysis manager.
ReleaseModeModelRunner - production mode implementation of the MLModelRunner.
Embedding is a datatype that wraps std::vector<double>.