LLVM 22.0.0git
MachineBlockFrequencyInfo.cpp
Go to the documentation of this file.
1//===- MachineBlockFrequencyInfo.cpp - MBB Frequency Analysis -------------===//
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// Loops should be simplified before this analysis.
10//
11//===----------------------------------------------------------------------===//
12
14#include "llvm/ADT/DenseMap.h"
15#include "llvm/ADT/iterator.h"
22#include "llvm/Pass.h"
25#include <optional>
26#include <string>
27
28using namespace llvm;
29
30#define DEBUG_TYPE "machine-block-freq"
31
33 "view-machine-block-freq-propagation-dags", cl::Hidden,
34 cl::desc("Pop up a window to show a dag displaying how machine block "
35 "frequencies propagate through the CFG."),
36 cl::values(clEnumValN(GVDT_None, "none", "do not display graphs."),
37 clEnumValN(GVDT_Fraction, "fraction",
38 "display a graph using the "
39 "fractional block frequency representation."),
40 clEnumValN(GVDT_Integer, "integer",
41 "display a graph using the raw "
42 "integer fractional block frequency representation."),
43 clEnumValN(GVDT_Count, "count", "display a graph using the real "
44 "profile count if available.")));
45
46namespace llvm {
47// Similar option above, but used to control BFI display only after MBP pass
49 "view-block-layout-with-bfi", cl::Hidden,
51 "Pop up a window to show a dag displaying MBP layout and associated "
52 "block frequencies of the CFG."),
53 cl::values(clEnumValN(GVDT_None, "none", "do not display graphs."),
54 clEnumValN(GVDT_Fraction, "fraction",
55 "display a graph using the "
56 "fractional block frequency representation."),
57 clEnumValN(GVDT_Integer, "integer",
58 "display a graph using the raw "
59 "integer fractional block frequency representation."),
60 clEnumValN(GVDT_Count, "count",
61 "display a graph using the real "
62 "profile count if available.")));
63
64// Command line option to specify the name of the function for CFG dump
65// Defined in Analysis/BlockFrequencyInfo.cpp: -view-bfi-func-name=
67
68// Command line option to specify hot frequency threshold.
69// Defined in Analysis/BlockFrequencyInfo.cpp: -view-hot-freq-perc=
71
72// Command line option to specify the name of the function for block frequency
73// dump. Defined in Analysis/BlockFrequencyInfo.cpp.
75} // namespace llvm
76
77static cl::opt<bool>
78 PrintMachineBlockFreq("print-machine-bfi", cl::init(false), cl::Hidden,
79 cl::desc("Print the machine block frequency info."));
80
87
89 using NodeRef = const MachineBasicBlock *;
92
94 return &G->getFunction()->front();
95 }
96
98 return N->succ_begin();
99 }
100
101 static ChildIteratorType child_end(const NodeRef N) { return N->succ_end(); }
102
104 return nodes_iterator(G->getFunction()->begin());
105 }
106
108 return nodes_iterator(G->getFunction()->end());
109 }
110};
111
115
116template <>
118 : public MBFIDOTGraphTraitsBase {
119 const MachineFunction *CurFunc = nullptr;
121
122 explicit DOTGraphTraits(bool isSimple = false)
124
126 const MachineBlockFrequencyInfo *Graph) {
127 int layout_order = -1;
128 // Attach additional ordering information if 'isSimple' is false.
129 if (!isSimple()) {
130 const MachineFunction *F = Node->getParent();
131 if (!CurFunc || F != CurFunc) {
132 if (CurFunc)
133 LayoutOrderMap.clear();
134
135 CurFunc = F;
136 int O = 0;
137 for (auto MBI = F->begin(); MBI != F->end(); ++MBI, ++O) {
138 LayoutOrderMap[&*MBI] = O;
139 }
140 }
141 layout_order = LayoutOrderMap[Node];
142 }
144 layout_order);
145 }
146
152
154 const MachineBlockFrequencyInfo *MBFI) {
156 Node, EI, MBFI, MBFI->getMBPI(), ViewHotFreqPercent);
157 }
158};
159
160AnalysisKey MachineBlockFrequencyAnalysis::Key;
161
165 auto &MBPI = MFAM.getResult<MachineBranchProbabilityAnalysis>(MF);
166 auto &MLI = MFAM.getResult<MachineLoopAnalysis>(MF);
167 return Result(MF, MBPI, MLI);
168}
169
173 auto &MBFI = MFAM.getResult<MachineBlockFrequencyAnalysis>(MF);
174 OS << "Machine block frequency for machine function: " << MF.getName()
175 << '\n';
176 MBFI.print(OS);
177 return PreservedAnalyses::all();
178}
179
181 "Machine Block Frequency Analysis", true, true)
185 "Machine Block Frequency Analysis", true, true)
186
188
194
196
198 MachineBlockFrequencyInfo &&) = default;
199
205
207
209 MachineFunction &MF, const PreservedAnalyses &PA,
210 MachineFunctionAnalysisManager::Invalidator &) {
211 // Check whether the analysis, all analyses on machine functions, or the
212 // machine function's CFG have been preserved.
214 return !PAC.preserved() &&
215 !PAC.preservedSet<AllAnalysesOn<MachineFunction>>() &&
216 !PAC.preservedSet<CFGAnalyses>();
217}
218
226
229 const MachineLoopInfo &MLI) {
230 if (!MBFI)
231 MBFI.reset(new ImplType);
232 MBFI->calculate(F, MBPI, MLI);
234 (ViewBlockFreqFuncName.empty() || F.getName() == ViewBlockFreqFuncName)) {
235 view("MachineBlockFrequencyDAGS." + F.getName());
236 }
238 (PrintBFIFuncName.empty() || F.getName() == PrintBFIFuncName)) {
239 MBFI->print(dbgs());
240 }
241}
242
251
252void MachineBlockFrequencyInfo::print(raw_ostream &OS) { MBFI->print(OS); }
253
255
256/// Pop up a ghostview window with the current block frequency propagation
257/// rendered using dot.
258void MachineBlockFrequencyInfo::view(const Twine &Name, bool isSimple) const {
259 // This code is only for debugging.
260 ViewGraph(const_cast<MachineBlockFrequencyInfo *>(this), Name, isSimple);
261}
262
265 return MBFI ? MBFI->getBlockFreq(MBB) : BlockFrequency(0);
266}
267
269 const MachineBasicBlock *MBB) const {
270 if (!MBFI)
271 return std::nullopt;
272
273 const Function &F = MBFI->getFunction()->getFunction();
274 return MBFI->getBlockProfileCount(F, MBB);
275}
276
277std::optional<uint64_t>
279 if (!MBFI)
280 return std::nullopt;
281
282 const Function &F = MBFI->getFunction()->getFunction();
283 return MBFI->getProfileCountFromFreq(F, Freq);
284}
285
287 const MachineBasicBlock *MBB) const {
288 assert(MBFI && "Expected analysis to be available");
289 return MBFI->isIrrLoopHeader(MBB);
290}
291
293 const MachineBasicBlock &NewPredecessor,
294 const MachineBasicBlock &NewSuccessor,
295 const MachineBranchProbabilityInfo &MBPI) {
296 assert(MBFI && "Expected analysis to be available");
297 auto NewSuccFreq = MBFI->getBlockFreq(&NewPredecessor) *
298 MBPI.getEdgeProbability(&NewPredecessor, &NewSuccessor);
299
300 MBFI->setBlockFreq(&NewSuccessor, NewSuccFreq);
301}
302
304 return MBFI ? MBFI->getFunction() : nullptr;
305}
306
308 return MBFI ? &MBFI->getBPI() : nullptr;
309}
310
312 return MBFI ? MBFI->getEntryFreq() : BlockFrequency(0);
313}
314
316 BlockFrequency Freq) {
317 return Printable([&MBFI, Freq](raw_ostream &OS) {
318 printRelativeBlockFreq(OS, MBFI.getEntryFreq(), Freq);
319 });
320}
321
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
MachineBasicBlock & MBB
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
This file defines the DenseMap class.
#define DEBUG_TYPE
#define F(x, y, z)
Definition MD5.cpp:55
#define G(x, y, z)
Definition MD5.cpp:56
static cl::opt< GVDAGType > ViewMachineBlockFreqPropagationDAG("view-machine-block-freq-propagation-dags", cl::Hidden, cl::desc("Pop up a window to show a dag displaying how machine block " "frequencies propagate through the CFG."), cl::values(clEnumValN(GVDT_None, "none", "do not display graphs."), clEnumValN(GVDT_Fraction, "fraction", "display a graph using the " "fractional block frequency representation."), clEnumValN(GVDT_Integer, "integer", "display a graph using the raw " "integer fractional block frequency representation."), clEnumValN(GVDT_Count, "count", "display a graph using the real " "profile count if available.")))
BFIDOTGraphTraitsBase< MachineBlockFrequencyInfo, MachineBranchProbabilityInfo > MBFIDOTGraphTraitsBase
static cl::opt< bool > PrintMachineBlockFreq("print-machine-bfi", cl::init(false), cl::Hidden, cl::desc("Print the machine block frequency info."))
#define INITIALIZE_PASS_DEPENDENCY(depName)
Definition PassSupport.h:42
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
Definition PassSupport.h:44
#define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis)
Definition PassSupport.h:39
static bool isSimple(Instruction *I)
This templated class represents "all analyses that operate over <aparticular IR unit>" (e....
Definition Analysis.h:50
PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)
Get the result of an analysis pass for a given IR unit.
Represent the analysis usage information of a pass.
AnalysisUsage & addRequired()
void setPreservesAll()
Set by analyses that do not transform their input at all.
Represents analyses that only rely on functions' control flow.
Definition Analysis.h:73
SmallVectorImpl< MachineBasicBlock * >::const_iterator const_succ_iterator
LLVM_ABI Result run(MachineFunction &MF, MachineFunctionAnalysisManager &MFAM)
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - This function should be overriden by passes that need analysis information to do t...
bool runOnMachineFunction(MachineFunction &F) override
runOnMachineFunction - This method must be overloaded to perform the desired machine code transformat...
MachineBlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate machine basic b...
LLVM_ABI void view(const Twine &Name, bool isSimple=true) const
Pop up a ghostview window with the current block frequency propagation rendered using dot.
LLVM_ABI bool isIrrLoopHeader(const MachineBasicBlock *MBB) const
LLVM_ABI const MachineBranchProbabilityInfo * getMBPI() const
LLVM_ABI BlockFrequency getBlockFreq(const MachineBasicBlock *MBB) const
getblockFreq - Return block frequency.
LLVM_ABI void onEdgeSplit(const MachineBasicBlock &NewPredecessor, const MachineBasicBlock &NewSuccessor, const MachineBranchProbabilityInfo &MBPI)
incrementally calculate block frequencies when we split edges, to avoid full CFG traversal.
LLVM_ABI void calculate(const MachineFunction &F, const MachineBranchProbabilityInfo &MBPI, const MachineLoopInfo &MLI)
calculate - compute block frequency info for the given function.
LLVM_ABI const MachineFunction * getFunction() const
LLVM_ABI std::optional< uint64_t > getProfileCountFromFreq(BlockFrequency Freq) const
LLVM_ABI bool invalidate(MachineFunction &F, const PreservedAnalyses &PA, MachineFunctionAnalysisManager::Invalidator &)
Handle invalidation explicitly.
LLVM_ABI BlockFrequency getEntryFreq() const
Divide a block's BlockFrequency::getFrequency() value by this value to obtain the entry block - relat...
LLVM_ABI std::optional< uint64_t > getBlockProfileCount(const MachineBasicBlock *MBB) const
LLVM_ABI PreservedAnalyses run(MachineFunction &MF, MachineFunctionAnalysisManager &MFAM)
BranchProbability getEdgeProbability(const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
StringRef getName() const
getName - Return the name of the corresponding LLVM function.
Function & getFunction()
Return the LLVM function that this machine code represents.
Analysis pass that exposes the MachineLoopInfo for a machine function.
LLVM_ABI void calculate(MachineDominatorTree &MDT)
Calculate the natural loop information.
static LLVM_ABI PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
AnalysisType & getAnalysis() const
getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information ...
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
Simple wrapper around std::function<void(raw_ostream&)>.
Definition Printable.h:38
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition Twine.h:82
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition CallingConv.h:24
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)
This is an optimization pass for GlobalISel generic memory operations.
static GVDAGType getGVDT()
cl::opt< std::string > PrintBFIFuncName("print-bfi-func-name", cl::Hidden, cl::desc("The option to specify the name of the function " "whose block frequency info is printed."))
AnalysisManager< MachineFunction > MachineFunctionAnalysisManager
cl::opt< unsigned > ViewHotFreqPercent("view-hot-freq-percent", cl::init(10), cl::Hidden, cl::desc("An integer in percent used to specify " "the hot blocks/edges to be displayed " "in red: a block or edge whose frequency " "is no less than the max frequency of the " "function multiplied by this percent."))
cl::opt< std::string > ViewBlockFreqFuncName("view-bfi-func-name", cl::Hidden, cl::desc("The option to specify " "the name of the function " "whose CFG will be displayed."))
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:207
cl::opt< GVDAGType > ViewBlockLayoutWithBFI("view-block-layout-with-bfi", cl::Hidden, cl::desc("Pop up a window to show a dag displaying MBP layout and associated " "block frequencies of the CFG."), cl::values(clEnumValN(GVDT_None, "none", "do not display graphs."), clEnumValN(GVDT_Fraction, "fraction", "display a graph using the " "fractional block frequency representation."), clEnumValN(GVDT_Integer, "integer", "display a graph using the raw " "integer fractional block frequency representation."), clEnumValN(GVDT_Count, "count", "display a graph using the real " "profile count if available.")))
void ViewGraph(const GraphType &G, const Twine &Name, bool ShortNames=false, const Twine &Title="", GraphProgram::Name Program=GraphProgram::DOT)
ViewGraph - Emit a dot graph, run 'dot', run gv on the postscript file, then cleanup.
LLVM_ABI void printRelativeBlockFreq(raw_ostream &OS, BlockFrequency EntryFreq, BlockFrequency Freq)
LLVM_ABI Printable printBlockFreq(const BlockFrequencyInfo &BFI, BlockFrequency Freq)
Print the block frequency Freq relative to the current functions entry frequency.
LLVM_ABI void initializeMachineBlockFrequencyInfoWrapperPassPass(PassRegistry &)
#define N
A special type used by analysis passes to provide an address that identifies that particular analysis...
Definition Analysis.h:29
std::string getNodeAttributes(NodeRef Node, const MachineBlockFrequencyInfo *Graph, unsigned HotPercentThreshold=0)
std::string getNodeLabel(NodeRef Node, const MachineBlockFrequencyInfo *Graph, GVDAGType GType, int layout_order=-1)
std::string getEdgeAttributes(NodeRef Node, EdgeIter EI, const MachineBlockFrequencyInfo *BFI, const MachineBranchProbabilityInfo *BPI, unsigned HotPercentThreshold=0)
std::string getEdgeAttributes(const MachineBasicBlock *Node, EdgeIter EI, const MachineBlockFrequencyInfo *MBFI)
std::string getNodeAttributes(const MachineBasicBlock *Node, const MachineBlockFrequencyInfo *Graph)
DenseMap< const MachineBasicBlock *, int > LayoutOrderMap
std::string getNodeLabel(const MachineBasicBlock *Node, const MachineBlockFrequencyInfo *Graph)
DOTGraphTraits - Template class that can be specialized to customize how graphs are converted to 'dot...
static ChildIteratorType child_begin(const NodeRef N)
static ChildIteratorType child_end(const NodeRef N)
static NodeRef getEntryNode(const MachineBlockFrequencyInfo *G)
static nodes_iterator nodes_begin(const MachineBlockFrequencyInfo *G)
MachineBasicBlock::const_succ_iterator ChildIteratorType
pointer_iterator< MachineFunction::const_iterator > nodes_iterator
static nodes_iterator nodes_end(const MachineBlockFrequencyInfo *G)