LLVM 22.0.0git
MachineBranchProbabilityInfo.cpp
Go to the documentation of this file.
1//===- MachineBranchProbabilityInfo.cpp - Machine Branch Probability Info -===//
2//
3// 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
6//
7//===----------------------------------------------------------------------===//
8//
9// This analysis uses probability info stored in Machine Basic Blocks.
10//
11//===----------------------------------------------------------------------===//
12
18
19using namespace llvm;
20
22 "Machine Branch Probability Analysis", false, true)
23namespace llvm {
25 StaticLikelyProb("static-likely-prob",
26 cl::desc("branch probability threshold in percentage"
27 " to be considered very likely"),
28 cl::init(80), cl::Hidden);
29
31 "profile-likely-prob",
32 cl::desc("branch probability threshold in percentage to be considered"
33 " very likely when profile is available"),
34 cl::init(51), cl::Hidden);
35} // namespace llvm
36
42
46 OS << "Printing analysis 'Machine Branch Probability Analysis' for machine "
47 "function '"
48 << MF.getName() << "':\n";
49 auto &MBPI = MFAM.getResult<MachineBranchProbabilityAnalysis>(MF);
50 for (const MachineBasicBlock &MBB : MF) {
51 for (const MachineBasicBlock *Succ : MBB.successors())
52 MBPI.printEdgeProbability(OS << " ", &MBB, Succ);
53 }
55}
56
58
65
66void MachineBranchProbabilityInfoWrapperPass::anchor() {}
67
68AnalysisKey MachineBranchProbabilityAnalysis::Key;
69
72 MachineFunctionAnalysisManager::Invalidator &) {
74 return !PAC.preservedWhenStateless();
75}
76
82
84 const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const {
85 // This is a linear search. Try to use the const_succ_iterator version when
86 // possible.
87 return getEdgeProbability(Src, find(Src->successors(), Dst));
88}
89
91 const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const {
93 return getEdgeProbability(Src, Dst) > HotProb;
94}
95
97 raw_ostream &OS, const MachineBasicBlock *Src,
98 const MachineBasicBlock *Dst) const {
99
100 const BranchProbability Prob = getEdgeProbability(Src, Dst);
101 OS << "edge " << printMBBReference(*Src) << " -> " << printMBBReference(*Dst)
102 << " probability is " << Prob
103 << (isEdgeHot(Src, Dst) ? " [HOT edge]\n" : "\n");
104
105 return OS;
106}
MachineBasicBlock & MBB
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
Definition PassSupport.h:56
PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)
Get the result of an analysis pass for a given IR unit.
ImmutablePass(char &pid)
Definition Pass.h:287
SmallVectorImpl< MachineBasicBlock * >::const_iterator const_succ_iterator
Result run(MachineFunction &, MachineFunctionAnalysisManager &)
raw_ostream & printEdgeProbability(raw_ostream &OS, const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const
bool invalidate(MachineFunction &, const PreservedAnalyses &PA, MachineFunctionAnalysisManager::Invalidator &)
bool isEdgeHot(const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const
BranchProbability getEdgeProbability(const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const
PreservedAnalyses run(MachineFunction &MF, MachineFunctionAnalysisManager &MFAM)
StringRef getName() const
getName - Return the name of the corresponding LLVM function.
PassRegistry - This class manages the registration and intitialization of the pass subsystem as appli...
static LLVM_ABI PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
A set of analyses that are preserved following a run of a transformation pass.
Definition Analysis.h:112
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
Definition Analysis.h:118
PreservedAnalysisChecker getChecker() const
Build a checker for this PreservedAnalyses and the specified analysis type.
Definition Analysis.h:275
A global registry used in conjunction with static constructors to make pluggable components (like tar...
Definition Registry.h:44
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
initializer< Ty > init(const Ty &Val)
This is an optimization pass for GlobalISel generic memory operations.
auto find(R &&Range, const T &Val)
Provide wrappers to std::find which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1751
AnalysisManager< MachineFunction > MachineFunctionAnalysisManager
cl::opt< unsigned > ProfileLikelyProb
LLVM_ABI void initializeMachineBranchProbabilityInfoWrapperPassPass(PassRegistry &)
cl::opt< unsigned > StaticLikelyProb
LLVM_ABI Printable printMBBReference(const MachineBasicBlock &MBB)
Prints a machine basic block reference.
A special type used by analysis passes to provide an address that identifies that particular analysis...
Definition Analysis.h:29