blob: 1168b01a835f119ccb0abc0cf9fe61a712984df7 [file] [log] [blame]
Duncan P. N. Exon Smith689a5072014-04-11 23:20:58 +00001//===- MachineBlockFrequencyInfo.cpp - MBB Frequency Analysis -------------===//
Jakub Staszak27131172011-07-16 20:23:20 +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
Jakub Staszak27131172011-07-16 20:23:20 +00006//
7//===----------------------------------------------------------------------===//
8//
9// Loops should be simplified before this analysis.
10//
11//===----------------------------------------------------------------------===//
12
Jakub Staszak875ebd52011-07-25 19:25:40 +000013#include "llvm/CodeGen/MachineBlockFrequencyInfo.h"
Eugene Zelenko5df3d892017-08-24 21:21:39 +000014#include "llvm/ADT/DenseMap.h"
15#include "llvm/ADT/None.h"
16#include "llvm/ADT/iterator.h"
Duncan P. N. Exon Smith689a5072014-04-11 23:20:58 +000017#include "llvm/Analysis/BlockFrequencyInfoImpl.h"
Eugene Zelenko5df3d892017-08-24 21:21:39 +000018#include "llvm/CodeGen/MachineBasicBlock.h"
Jakub Staszak27131172011-07-16 20:23:20 +000019#include "llvm/CodeGen/MachineBranchProbabilityInfo.h"
Duncan P. N. Exon Smith10be9a82014-04-21 17:57:07 +000020#include "llvm/CodeGen/MachineFunction.h"
21#include "llvm/CodeGen/MachineLoopInfo.h"
Reid Kleckner05da2fe2019-11-13 13:15:01 -080022#include "llvm/InitializePasses.h"
Eugene Zelenko5df3d892017-08-24 21:21:39 +000023#include "llvm/Pass.h"
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000024#include "llvm/Support/CommandLine.h"
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000025#include "llvm/Support/GraphWriter.h"
Eugene Zelenko5df3d892017-08-24 21:21:39 +000026#include <string>
Jakub Staszak27131172011-07-16 20:23:20 +000027
28using namespace llvm;
29
Matthias Braun1527baa2017-05-25 21:26:32 +000030#define DEBUG_TYPE "machine-block-freq"
Chandler Carruth1b9dde02014-04-22 02:02:50 +000031
Xinliang David Libc157082016-06-21 23:36:12 +000032static cl::opt<GVDAGType> ViewMachineBlockFreqPropagationDAG(
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."),
Xinliang David Li30c50f32016-06-22 19:26:44 +000043 clEnumValN(GVDT_Count, "count", "display a graph using the real "
Mehdi Amini732afdd2016-10-08 19:41:06 +000044 "profile count if available.")));
Eugene Zelenko5df3d892017-08-24 21:21:39 +000045
Xinliang David Lifd3f6452017-01-29 01:57:02 +000046// Similar option above, but used to control BFI display only after MBP pass
47cl::opt<GVDAGType> ViewBlockLayoutWithBFI(
48 "view-block-layout-with-bfi", cl::Hidden,
49 cl::desc(
50 "Pop up a window to show a dag displaying MBP layout and associated "
51 "block frequencies of the CFG."),
52 cl::values(clEnumValN(GVDT_None, "none", "do not display graphs."),
53 clEnumValN(GVDT_Fraction, "fraction",
54 "display a graph using the "
55 "fractional block frequency representation."),
56 clEnumValN(GVDT_Integer, "integer",
57 "display a graph using the raw "
58 "integer fractional block frequency representation."),
59 clEnumValN(GVDT_Count, "count",
60 "display a graph using the real "
61 "profile count if available.")));
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000062
Xinliang David Li58fcc9b2017-02-02 21:29:17 +000063// Command line option to specify the name of the function for CFG dump
64// Defined in Analysis/BlockFrequencyInfo.cpp: -view-bfi-func-name=
Xinliang David Li8dd5ce92016-06-28 04:07:03 +000065extern cl::opt<std::string> ViewBlockFreqFuncName;
Eugene Zelenko5df3d892017-08-24 21:21:39 +000066
Xinliang David Li58fcc9b2017-02-02 21:29:17 +000067// Command line option to specify hot frequency threshold.
68// Defined in Analysis/BlockFrequencyInfo.cpp: -view-hot-freq-perc=
Simon Pilgrim2d531582016-06-28 12:34:44 +000069extern cl::opt<unsigned> ViewHotFreqPercent;
Xinliang David Li80457ce2016-06-22 02:12:54 +000070
Hiroshi Yamauchi63e17eb2017-08-26 00:31:00 +000071static cl::opt<bool> PrintMachineBlockFreq(
72 "print-machine-bfi", cl::init(false), cl::Hidden,
73 cl::desc("Print the machine block frequency info."));
74
75// Command line option to specify the name of the function for block frequency
76// dump. Defined in Analysis/BlockFrequencyInfo.cpp.
77extern cl::opt<std::string> PrintBlockFreqFuncName;
78
Xinliang David Lifd3f6452017-01-29 01:57:02 +000079static GVDAGType getGVDT() {
80 if (ViewBlockLayoutWithBFI != GVDT_None)
81 return ViewBlockLayoutWithBFI;
82
83 return ViewMachineBlockFreqPropagationDAG;
84}
85
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000086namespace llvm {
87
Xinliang David Libc157082016-06-21 23:36:12 +000088template <> struct GraphTraits<MachineBlockFrequencyInfo *> {
Eugene Zelenko5df3d892017-08-24 21:21:39 +000089 using NodeRef = const MachineBasicBlock *;
90 using ChildIteratorType = MachineBasicBlock::const_succ_iterator;
91 using nodes_iterator = pointer_iterator<MachineFunction::const_iterator>;
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000092
Tim Shen48f814e2016-08-31 16:48:13 +000093 static NodeRef getEntryNode(const MachineBlockFrequencyInfo *G) {
Duncan P. N. Exon Smith0ac8eb92015-10-09 19:23:20 +000094 return &G->getFunction()->front();
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000095 }
Michael Gottesman748fe482013-12-03 20:21:17 +000096
Tim Shenf2187ed2016-08-22 21:09:30 +000097 static ChildIteratorType child_begin(const NodeRef N) {
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000098 return N->succ_begin();
99 }
Michael Gottesman748fe482013-12-03 20:21:17 +0000100
Tim Shenf2187ed2016-08-22 21:09:30 +0000101 static ChildIteratorType child_end(const NodeRef N) { return N->succ_end(); }
Michael Gottesman748fe482013-12-03 20:21:17 +0000102
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000103 static nodes_iterator nodes_begin(const MachineBlockFrequencyInfo *G) {
Tim Shenb5e0f5a2016-08-19 21:20:13 +0000104 return nodes_iterator(G->getFunction()->begin());
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000105 }
Michael Gottesman748fe482013-12-03 20:21:17 +0000106
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000107 static nodes_iterator nodes_end(const MachineBlockFrequencyInfo *G) {
Tim Shenb5e0f5a2016-08-19 21:20:13 +0000108 return nodes_iterator(G->getFunction()->end());
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000109 }
110};
111
Eugene Zelenko5df3d892017-08-24 21:21:39 +0000112using MBFIDOTGraphTraitsBase =
113 BFIDOTGraphTraitsBase<MachineBlockFrequencyInfo,
114 MachineBranchProbabilityInfo>;
115
Xinliang David Libc157082016-06-21 23:36:12 +0000116template <>
117struct DOTGraphTraits<MachineBlockFrequencyInfo *>
Xinliang David Li55415f22016-06-28 03:41:29 +0000118 : public MBFIDOTGraphTraitsBase {
Eugene Zelenko5df3d892017-08-24 21:21:39 +0000119 const MachineFunction *CurFunc = nullptr;
Xinliang David Lifd3f6452017-01-29 01:57:02 +0000120 DenseMap<const MachineBasicBlock *, int> LayoutOrderMap;
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000121
Eugene Zelenko5df3d892017-08-24 21:21:39 +0000122 explicit DOTGraphTraits(bool isSimple = false)
123 : MBFIDOTGraphTraitsBase(isSimple) {}
124
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000125 std::string getNodeLabel(const MachineBasicBlock *Node,
126 const MachineBlockFrequencyInfo *Graph) {
Xinliang David Lifd3f6452017-01-29 01:57:02 +0000127 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 }
143 return MBFIDOTGraphTraitsBase::getNodeLabel(Node, Graph, getGVDT(),
144 layout_order);
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000145 }
Xinliang David Li55415f22016-06-28 03:41:29 +0000146
Xinliang David Li3e176c72016-06-28 06:58:21 +0000147 std::string getNodeAttributes(const MachineBasicBlock *Node,
148 const MachineBlockFrequencyInfo *Graph) {
149 return MBFIDOTGraphTraitsBase::getNodeAttributes(Node, Graph,
150 ViewHotFreqPercent);
151 }
152
Xinliang David Li55415f22016-06-28 03:41:29 +0000153 std::string getEdgeAttributes(const MachineBasicBlock *Node, EdgeIter EI,
154 const MachineBlockFrequencyInfo *MBFI) {
Xinliang David Li3e176c72016-06-28 06:58:21 +0000155 return MBFIDOTGraphTraitsBase::getEdgeAttributes(
156 Node, EI, MBFI, MBFI->getMBPI(), ViewHotFreqPercent);
Xinliang David Li69317f22016-06-22 16:04:51 +0000157 }
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000158};
159
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000160} // end namespace llvm
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000161
Matthias Braun1527baa2017-05-25 21:26:32 +0000162INITIALIZE_PASS_BEGIN(MachineBlockFrequencyInfo, DEBUG_TYPE,
Jakub Staszak27131172011-07-16 20:23:20 +0000163 "Machine Block Frequency Analysis", true, true)
164INITIALIZE_PASS_DEPENDENCY(MachineBranchProbabilityInfo)
Duncan P. N. Exon Smith10be9a82014-04-21 17:57:07 +0000165INITIALIZE_PASS_DEPENDENCY(MachineLoopInfo)
Matthias Braun1527baa2017-05-25 21:26:32 +0000166INITIALIZE_PASS_END(MachineBlockFrequencyInfo, DEBUG_TYPE,
Jakub Staszak27131172011-07-16 20:23:20 +0000167 "Machine Block Frequency Analysis", true, true)
168
Jakub Staszak875ebd52011-07-25 19:25:40 +0000169char MachineBlockFrequencyInfo::ID = 0;
Jakub Staszak27131172011-07-16 20:23:20 +0000170
Xinliang David Libc157082016-06-21 23:36:12 +0000171MachineBlockFrequencyInfo::MachineBlockFrequencyInfo()
172 : MachineFunctionPass(ID) {
Jakub Staszak875ebd52011-07-25 19:25:40 +0000173 initializeMachineBlockFrequencyInfoPass(*PassRegistry::getPassRegistry());
Jakub Staszak27131172011-07-16 20:23:20 +0000174}
175
Hiroshi Yamauchi75f72f62019-10-28 12:35:34 -0700176MachineBlockFrequencyInfo::MachineBlockFrequencyInfo(
177 MachineFunction &F,
178 MachineBranchProbabilityInfo &MBPI,
179 MachineLoopInfo &MLI) : MachineFunctionPass(ID) {
180 calculate(F, MBPI, MLI);
181}
182
Eugene Zelenko5df3d892017-08-24 21:21:39 +0000183MachineBlockFrequencyInfo::~MachineBlockFrequencyInfo() = default;
Jakub Staszak27131172011-07-16 20:23:20 +0000184
Jakub Staszak875ebd52011-07-25 19:25:40 +0000185void MachineBlockFrequencyInfo::getAnalysisUsage(AnalysisUsage &AU) const {
Jakub Staszak27131172011-07-16 20:23:20 +0000186 AU.addRequired<MachineBranchProbabilityInfo>();
Duncan P. N. Exon Smith10be9a82014-04-21 17:57:07 +0000187 AU.addRequired<MachineLoopInfo>();
Jakub Staszak27131172011-07-16 20:23:20 +0000188 AU.setPreservesAll();
Jakub Staszakcb7c0a42011-07-21 22:59:09 +0000189 MachineFunctionPass::getAnalysisUsage(AU);
Jakub Staszak27131172011-07-16 20:23:20 +0000190}
191
Adam Nemetbbb141c2017-02-14 17:21:09 +0000192void MachineBlockFrequencyInfo::calculate(
193 const MachineFunction &F, const MachineBranchProbabilityInfo &MBPI,
194 const MachineLoopInfo &MLI) {
Duncan P. N. Exon Smith3dbe1052014-03-25 18:01:38 +0000195 if (!MBFI)
196 MBFI.reset(new ImplType);
Cong Hou5e67b662015-07-15 19:58:26 +0000197 MBFI->calculate(F, MBPI, MLI);
Xinliang David Li80457ce2016-06-22 02:12:54 +0000198 if (ViewMachineBlockFreqPropagationDAG != GVDT_None &&
Xinliang David Li8dd5ce92016-06-28 04:07:03 +0000199 (ViewBlockFreqFuncName.empty() ||
200 F.getName().equals(ViewBlockFreqFuncName))) {
Xinliang David Li538d6662017-02-15 19:21:04 +0000201 view("MachineBlockFrequencyDAGS." + F.getName());
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000202 }
Hiroshi Yamauchi63e17eb2017-08-26 00:31:00 +0000203 if (PrintMachineBlockFreq &&
204 (PrintBlockFreqFuncName.empty() ||
205 F.getName().equals(PrintBlockFreqFuncName))) {
206 MBFI->print(dbgs());
207 }
Adam Nemetbbb141c2017-02-14 17:21:09 +0000208}
209
210bool MachineBlockFrequencyInfo::runOnMachineFunction(MachineFunction &F) {
211 MachineBranchProbabilityInfo &MBPI =
212 getAnalysis<MachineBranchProbabilityInfo>();
213 MachineLoopInfo &MLI = getAnalysis<MachineLoopInfo>();
214 calculate(F, MBPI, MLI);
Jakub Staszak27131172011-07-16 20:23:20 +0000215 return false;
216}
217
Duncan P. N. Exon Smith3dbe1052014-03-25 18:01:38 +0000218void MachineBlockFrequencyInfo::releaseMemory() { MBFI.reset(); }
219
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000220/// Pop up a ghostview window with the current block frequency propagation
221/// rendered using dot.
Xinliang David Li538d6662017-02-15 19:21:04 +0000222void MachineBlockFrequencyInfo::view(const Twine &Name, bool isSimple) const {
223 // This code is only for debugging.
224 ViewGraph(const_cast<MachineBlockFrequencyInfo *>(this), Name, isSimple);
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000225}
226
Xinliang David Libc157082016-06-21 23:36:12 +0000227BlockFrequency
228MachineBlockFrequencyInfo::getBlockFreq(const MachineBasicBlock *MBB) const {
Duncan P. N. Exon Smith3dbe1052014-03-25 18:01:38 +0000229 return MBFI ? MBFI->getBlockFreq(MBB) : 0;
Jakub Staszak27131172011-07-16 20:23:20 +0000230}
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000231
Xinliang David Li30c50f32016-06-22 19:26:44 +0000232Optional<uint64_t> MachineBlockFrequencyInfo::getBlockProfileCount(
233 const MachineBasicBlock *MBB) const {
Matthias Braunf1caa282017-12-15 22:22:58 +0000234 const Function &F = MBFI->getFunction()->getFunction();
235 return MBFI ? MBFI->getBlockProfileCount(F, MBB) : None;
Xinliang David Li30c50f32016-06-22 19:26:44 +0000236}
237
Sean Silvaf8015752016-08-02 02:15:45 +0000238Optional<uint64_t>
239MachineBlockFrequencyInfo::getProfileCountFromFreq(uint64_t Freq) const {
Matthias Braunf1caa282017-12-15 22:22:58 +0000240 const Function &F = MBFI->getFunction()->getFunction();
241 return MBFI ? MBFI->getProfileCountFromFreq(F, Freq) : None;
Sean Silvaf8015752016-08-02 02:15:45 +0000242}
243
Hiroshi Yamauchidce9def2017-11-02 22:26:51 +0000244bool
245MachineBlockFrequencyInfo::isIrrLoopHeader(const MachineBasicBlock *MBB) {
246 assert(MBFI && "Expected analysis to be available");
247 return MBFI->isIrrLoopHeader(MBB);
248}
249
Hiroshi Yamauchi0e3e2422020-02-12 14:55:53 -0800250void MachineBlockFrequencyInfo::setBlockFreq(const MachineBasicBlock *MBB,
251 uint64_t Freq) {
252 assert(MBFI && "Expected analysis to be available");
253 MBFI->setBlockFreq(MBB, Freq);
254}
255
Duncan P. N. Exon Smith936aef92014-03-25 18:01:32 +0000256const MachineFunction *MachineBlockFrequencyInfo::getFunction() const {
Duncan P. N. Exon Smith10be9a82014-04-21 17:57:07 +0000257 return MBFI ? MBFI->getFunction() : nullptr;
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000258}
Michael Gottesmanfd5c4b22013-12-14 00:06:03 +0000259
Xinliang David Li3264fdd2016-06-28 00:15:45 +0000260const MachineBranchProbabilityInfo *MachineBlockFrequencyInfo::getMBPI() const {
261 return MBFI ? &MBFI->getBPI() : nullptr;
262}
263
Michael Gottesmanfd5c4b22013-12-14 00:06:03 +0000264raw_ostream &
265MachineBlockFrequencyInfo::printBlockFreq(raw_ostream &OS,
266 const BlockFrequency Freq) const {
Duncan P. N. Exon Smith3dbe1052014-03-25 18:01:38 +0000267 return MBFI ? MBFI->printBlockFreq(OS, Freq) : OS;
Michael Gottesmanfd5c4b22013-12-14 00:06:03 +0000268}
269
270raw_ostream &
271MachineBlockFrequencyInfo::printBlockFreq(raw_ostream &OS,
272 const MachineBasicBlock *MBB) const {
Duncan P. N. Exon Smith3dbe1052014-03-25 18:01:38 +0000273 return MBFI ? MBFI->printBlockFreq(OS, MBB) : OS;
Michael Gottesmanfd5c4b22013-12-14 00:06:03 +0000274}
275
Michael Gottesman5e985ee2013-12-14 02:37:38 +0000276uint64_t MachineBlockFrequencyInfo::getEntryFreq() const {
Duncan P. N. Exon Smith3dbe1052014-03-25 18:01:38 +0000277 return MBFI ? MBFI->getEntryFreq() : 0;
Michael Gottesmanfd5c4b22013-12-14 00:06:03 +0000278}