blob: 53a35b7e89c2dff193ff1a8f341176d1126947dd [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"
Eugene Zelenko5df3d892017-08-24 21:21:39 +000022#include "llvm/Pass.h"
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000023#include "llvm/Support/CommandLine.h"
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000024#include "llvm/Support/GraphWriter.h"
Eugene Zelenko5df3d892017-08-24 21:21:39 +000025#include <string>
Jakub Staszak27131172011-07-16 20:23:20 +000026
27using namespace llvm;
28
Matthias Braun1527baa2017-05-25 21:26:32 +000029#define DEBUG_TYPE "machine-block-freq"
Chandler Carruth1b9dde02014-04-22 02:02:50 +000030
Xinliang David Libc157082016-06-21 23:36:12 +000031static cl::opt<GVDAGType> ViewMachineBlockFreqPropagationDAG(
32 "view-machine-block-freq-propagation-dags", cl::Hidden,
33 cl::desc("Pop up a window to show a dag displaying how machine block "
34 "frequencies propagate through the CFG."),
35 cl::values(clEnumValN(GVDT_None, "none", "do not display graphs."),
36 clEnumValN(GVDT_Fraction, "fraction",
37 "display a graph using the "
38 "fractional block frequency representation."),
39 clEnumValN(GVDT_Integer, "integer",
40 "display a graph using the raw "
41 "integer fractional block frequency representation."),
Xinliang David Li30c50f32016-06-22 19:26:44 +000042 clEnumValN(GVDT_Count, "count", "display a graph using the real "
Mehdi Amini732afdd2016-10-08 19:41:06 +000043 "profile count if available.")));
Eugene Zelenko5df3d892017-08-24 21:21:39 +000044
Xinliang David Lifd3f6452017-01-29 01:57:02 +000045// Similar option above, but used to control BFI display only after MBP pass
46cl::opt<GVDAGType> ViewBlockLayoutWithBFI(
47 "view-block-layout-with-bfi", cl::Hidden,
48 cl::desc(
49 "Pop up a window to show a dag displaying MBP layout and associated "
50 "block frequencies of the CFG."),
51 cl::values(clEnumValN(GVDT_None, "none", "do not display graphs."),
52 clEnumValN(GVDT_Fraction, "fraction",
53 "display a graph using the "
54 "fractional block frequency representation."),
55 clEnumValN(GVDT_Integer, "integer",
56 "display a graph using the raw "
57 "integer fractional block frequency representation."),
58 clEnumValN(GVDT_Count, "count",
59 "display a graph using the real "
60 "profile count if available.")));
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000061
Xinliang David Li58fcc9b2017-02-02 21:29:17 +000062// Command line option to specify the name of the function for CFG dump
63// Defined in Analysis/BlockFrequencyInfo.cpp: -view-bfi-func-name=
Xinliang David Li8dd5ce92016-06-28 04:07:03 +000064extern cl::opt<std::string> ViewBlockFreqFuncName;
Eugene Zelenko5df3d892017-08-24 21:21:39 +000065
Xinliang David Li58fcc9b2017-02-02 21:29:17 +000066// Command line option to specify hot frequency threshold.
67// Defined in Analysis/BlockFrequencyInfo.cpp: -view-hot-freq-perc=
Simon Pilgrim2d531582016-06-28 12:34:44 +000068extern cl::opt<unsigned> ViewHotFreqPercent;
Xinliang David Li80457ce2016-06-22 02:12:54 +000069
Hiroshi Yamauchi63e17eb2017-08-26 00:31:00 +000070static cl::opt<bool> PrintMachineBlockFreq(
71 "print-machine-bfi", cl::init(false), cl::Hidden,
72 cl::desc("Print the machine block frequency info."));
73
74// Command line option to specify the name of the function for block frequency
75// dump. Defined in Analysis/BlockFrequencyInfo.cpp.
76extern cl::opt<std::string> PrintBlockFreqFuncName;
77
Xinliang David Lifd3f6452017-01-29 01:57:02 +000078static GVDAGType getGVDT() {
79 if (ViewBlockLayoutWithBFI != GVDT_None)
80 return ViewBlockLayoutWithBFI;
81
82 return ViewMachineBlockFreqPropagationDAG;
83}
84
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000085namespace llvm {
86
Xinliang David Libc157082016-06-21 23:36:12 +000087template <> struct GraphTraits<MachineBlockFrequencyInfo *> {
Eugene Zelenko5df3d892017-08-24 21:21:39 +000088 using NodeRef = const MachineBasicBlock *;
89 using ChildIteratorType = MachineBasicBlock::const_succ_iterator;
90 using nodes_iterator = pointer_iterator<MachineFunction::const_iterator>;
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000091
Tim Shen48f814e2016-08-31 16:48:13 +000092 static NodeRef getEntryNode(const MachineBlockFrequencyInfo *G) {
Duncan P. N. Exon Smith0ac8eb92015-10-09 19:23:20 +000093 return &G->getFunction()->front();
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000094 }
Michael Gottesman748fe482013-12-03 20:21:17 +000095
Tim Shenf2187ed2016-08-22 21:09:30 +000096 static ChildIteratorType child_begin(const NodeRef N) {
Michael Gottesman65bbcdf2013-12-03 00:49:33 +000097 return N->succ_begin();
98 }
Michael Gottesman748fe482013-12-03 20:21:17 +000099
Tim Shenf2187ed2016-08-22 21:09:30 +0000100 static ChildIteratorType child_end(const NodeRef N) { return N->succ_end(); }
Michael Gottesman748fe482013-12-03 20:21:17 +0000101
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000102 static nodes_iterator nodes_begin(const MachineBlockFrequencyInfo *G) {
Tim Shenb5e0f5a2016-08-19 21:20:13 +0000103 return nodes_iterator(G->getFunction()->begin());
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000104 }
Michael Gottesman748fe482013-12-03 20:21:17 +0000105
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000106 static nodes_iterator nodes_end(const MachineBlockFrequencyInfo *G) {
Tim Shenb5e0f5a2016-08-19 21:20:13 +0000107 return nodes_iterator(G->getFunction()->end());
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000108 }
109};
110
Eugene Zelenko5df3d892017-08-24 21:21:39 +0000111using MBFIDOTGraphTraitsBase =
112 BFIDOTGraphTraitsBase<MachineBlockFrequencyInfo,
113 MachineBranchProbabilityInfo>;
114
Xinliang David Libc157082016-06-21 23:36:12 +0000115template <>
116struct DOTGraphTraits<MachineBlockFrequencyInfo *>
Xinliang David Li55415f22016-06-28 03:41:29 +0000117 : public MBFIDOTGraphTraitsBase {
Eugene Zelenko5df3d892017-08-24 21:21:39 +0000118 const MachineFunction *CurFunc = nullptr;
Xinliang David Lifd3f6452017-01-29 01:57:02 +0000119 DenseMap<const MachineBasicBlock *, int> LayoutOrderMap;
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000120
Eugene Zelenko5df3d892017-08-24 21:21:39 +0000121 explicit DOTGraphTraits(bool isSimple = false)
122 : MBFIDOTGraphTraitsBase(isSimple) {}
123
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000124 std::string getNodeLabel(const MachineBasicBlock *Node,
125 const MachineBlockFrequencyInfo *Graph) {
Xinliang David Lifd3f6452017-01-29 01:57:02 +0000126 int layout_order = -1;
127 // Attach additional ordering information if 'isSimple' is false.
128 if (!isSimple()) {
129 const MachineFunction *F = Node->getParent();
130 if (!CurFunc || F != CurFunc) {
131 if (CurFunc)
132 LayoutOrderMap.clear();
133
134 CurFunc = F;
135 int O = 0;
136 for (auto MBI = F->begin(); MBI != F->end(); ++MBI, ++O) {
137 LayoutOrderMap[&*MBI] = O;
138 }
139 }
140 layout_order = LayoutOrderMap[Node];
141 }
142 return MBFIDOTGraphTraitsBase::getNodeLabel(Node, Graph, getGVDT(),
143 layout_order);
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000144 }
Xinliang David Li55415f22016-06-28 03:41:29 +0000145
Xinliang David Li3e176c72016-06-28 06:58:21 +0000146 std::string getNodeAttributes(const MachineBasicBlock *Node,
147 const MachineBlockFrequencyInfo *Graph) {
148 return MBFIDOTGraphTraitsBase::getNodeAttributes(Node, Graph,
149 ViewHotFreqPercent);
150 }
151
Xinliang David Li55415f22016-06-28 03:41:29 +0000152 std::string getEdgeAttributes(const MachineBasicBlock *Node, EdgeIter EI,
153 const MachineBlockFrequencyInfo *MBFI) {
Xinliang David Li3e176c72016-06-28 06:58:21 +0000154 return MBFIDOTGraphTraitsBase::getEdgeAttributes(
155 Node, EI, MBFI, MBFI->getMBPI(), ViewHotFreqPercent);
Xinliang David Li69317f22016-06-22 16:04:51 +0000156 }
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000157};
158
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000159} // end namespace llvm
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000160
Matthias Braun1527baa2017-05-25 21:26:32 +0000161INITIALIZE_PASS_BEGIN(MachineBlockFrequencyInfo, DEBUG_TYPE,
Jakub Staszak27131172011-07-16 20:23:20 +0000162 "Machine Block Frequency Analysis", true, true)
163INITIALIZE_PASS_DEPENDENCY(MachineBranchProbabilityInfo)
Duncan P. N. Exon Smith10be9a82014-04-21 17:57:07 +0000164INITIALIZE_PASS_DEPENDENCY(MachineLoopInfo)
Matthias Braun1527baa2017-05-25 21:26:32 +0000165INITIALIZE_PASS_END(MachineBlockFrequencyInfo, DEBUG_TYPE,
Jakub Staszak27131172011-07-16 20:23:20 +0000166 "Machine Block Frequency Analysis", true, true)
167
Jakub Staszak875ebd52011-07-25 19:25:40 +0000168char MachineBlockFrequencyInfo::ID = 0;
Jakub Staszak27131172011-07-16 20:23:20 +0000169
Xinliang David Libc157082016-06-21 23:36:12 +0000170MachineBlockFrequencyInfo::MachineBlockFrequencyInfo()
171 : MachineFunctionPass(ID) {
Jakub Staszak875ebd52011-07-25 19:25:40 +0000172 initializeMachineBlockFrequencyInfoPass(*PassRegistry::getPassRegistry());
Jakub Staszak27131172011-07-16 20:23:20 +0000173}
174
Eugene Zelenko5df3d892017-08-24 21:21:39 +0000175MachineBlockFrequencyInfo::~MachineBlockFrequencyInfo() = default;
Jakub Staszak27131172011-07-16 20:23:20 +0000176
Jakub Staszak875ebd52011-07-25 19:25:40 +0000177void MachineBlockFrequencyInfo::getAnalysisUsage(AnalysisUsage &AU) const {
Jakub Staszak27131172011-07-16 20:23:20 +0000178 AU.addRequired<MachineBranchProbabilityInfo>();
Duncan P. N. Exon Smith10be9a82014-04-21 17:57:07 +0000179 AU.addRequired<MachineLoopInfo>();
Jakub Staszak27131172011-07-16 20:23:20 +0000180 AU.setPreservesAll();
Jakub Staszakcb7c0a42011-07-21 22:59:09 +0000181 MachineFunctionPass::getAnalysisUsage(AU);
Jakub Staszak27131172011-07-16 20:23:20 +0000182}
183
Adam Nemetbbb141c2017-02-14 17:21:09 +0000184void MachineBlockFrequencyInfo::calculate(
185 const MachineFunction &F, const MachineBranchProbabilityInfo &MBPI,
186 const MachineLoopInfo &MLI) {
Duncan P. N. Exon Smith3dbe1052014-03-25 18:01:38 +0000187 if (!MBFI)
188 MBFI.reset(new ImplType);
Cong Hou5e67b662015-07-15 19:58:26 +0000189 MBFI->calculate(F, MBPI, MLI);
Xinliang David Li80457ce2016-06-22 02:12:54 +0000190 if (ViewMachineBlockFreqPropagationDAG != GVDT_None &&
Xinliang David Li8dd5ce92016-06-28 04:07:03 +0000191 (ViewBlockFreqFuncName.empty() ||
192 F.getName().equals(ViewBlockFreqFuncName))) {
Xinliang David Li538d6662017-02-15 19:21:04 +0000193 view("MachineBlockFrequencyDAGS." + F.getName());
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000194 }
Hiroshi Yamauchi63e17eb2017-08-26 00:31:00 +0000195 if (PrintMachineBlockFreq &&
196 (PrintBlockFreqFuncName.empty() ||
197 F.getName().equals(PrintBlockFreqFuncName))) {
198 MBFI->print(dbgs());
199 }
Adam Nemetbbb141c2017-02-14 17:21:09 +0000200}
201
202bool MachineBlockFrequencyInfo::runOnMachineFunction(MachineFunction &F) {
203 MachineBranchProbabilityInfo &MBPI =
204 getAnalysis<MachineBranchProbabilityInfo>();
205 MachineLoopInfo &MLI = getAnalysis<MachineLoopInfo>();
206 calculate(F, MBPI, MLI);
Jakub Staszak27131172011-07-16 20:23:20 +0000207 return false;
208}
209
Duncan P. N. Exon Smith3dbe1052014-03-25 18:01:38 +0000210void MachineBlockFrequencyInfo::releaseMemory() { MBFI.reset(); }
211
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000212/// Pop up a ghostview window with the current block frequency propagation
213/// rendered using dot.
Xinliang David Li538d6662017-02-15 19:21:04 +0000214void MachineBlockFrequencyInfo::view(const Twine &Name, bool isSimple) const {
215 // This code is only for debugging.
216 ViewGraph(const_cast<MachineBlockFrequencyInfo *>(this), Name, isSimple);
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000217}
218
Xinliang David Libc157082016-06-21 23:36:12 +0000219BlockFrequency
220MachineBlockFrequencyInfo::getBlockFreq(const MachineBasicBlock *MBB) const {
Duncan P. N. Exon Smith3dbe1052014-03-25 18:01:38 +0000221 return MBFI ? MBFI->getBlockFreq(MBB) : 0;
Jakub Staszak27131172011-07-16 20:23:20 +0000222}
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000223
Xinliang David Li30c50f32016-06-22 19:26:44 +0000224Optional<uint64_t> MachineBlockFrequencyInfo::getBlockProfileCount(
225 const MachineBasicBlock *MBB) const {
Matthias Braunf1caa282017-12-15 22:22:58 +0000226 const Function &F = MBFI->getFunction()->getFunction();
227 return MBFI ? MBFI->getBlockProfileCount(F, MBB) : None;
Xinliang David Li30c50f32016-06-22 19:26:44 +0000228}
229
Sean Silvaf8015752016-08-02 02:15:45 +0000230Optional<uint64_t>
231MachineBlockFrequencyInfo::getProfileCountFromFreq(uint64_t Freq) const {
Matthias Braunf1caa282017-12-15 22:22:58 +0000232 const Function &F = MBFI->getFunction()->getFunction();
233 return MBFI ? MBFI->getProfileCountFromFreq(F, Freq) : None;
Sean Silvaf8015752016-08-02 02:15:45 +0000234}
235
Hiroshi Yamauchidce9def2017-11-02 22:26:51 +0000236bool
237MachineBlockFrequencyInfo::isIrrLoopHeader(const MachineBasicBlock *MBB) {
238 assert(MBFI && "Expected analysis to be available");
239 return MBFI->isIrrLoopHeader(MBB);
240}
241
Duncan P. N. Exon Smith936aef92014-03-25 18:01:32 +0000242const MachineFunction *MachineBlockFrequencyInfo::getFunction() const {
Duncan P. N. Exon Smith10be9a82014-04-21 17:57:07 +0000243 return MBFI ? MBFI->getFunction() : nullptr;
Michael Gottesman65bbcdf2013-12-03 00:49:33 +0000244}
Michael Gottesmanfd5c4b22013-12-14 00:06:03 +0000245
Xinliang David Li3264fdd2016-06-28 00:15:45 +0000246const MachineBranchProbabilityInfo *MachineBlockFrequencyInfo::getMBPI() const {
247 return MBFI ? &MBFI->getBPI() : nullptr;
248}
249
Michael Gottesmanfd5c4b22013-12-14 00:06:03 +0000250raw_ostream &
251MachineBlockFrequencyInfo::printBlockFreq(raw_ostream &OS,
252 const BlockFrequency Freq) const {
Duncan P. N. Exon Smith3dbe1052014-03-25 18:01:38 +0000253 return MBFI ? MBFI->printBlockFreq(OS, Freq) : OS;
Michael Gottesmanfd5c4b22013-12-14 00:06:03 +0000254}
255
256raw_ostream &
257MachineBlockFrequencyInfo::printBlockFreq(raw_ostream &OS,
258 const MachineBasicBlock *MBB) const {
Duncan P. N. Exon Smith3dbe1052014-03-25 18:01:38 +0000259 return MBFI ? MBFI->printBlockFreq(OS, MBB) : OS;
Michael Gottesmanfd5c4b22013-12-14 00:06:03 +0000260}
261
Michael Gottesman5e985ee2013-12-14 02:37:38 +0000262uint64_t MachineBlockFrequencyInfo::getEntryFreq() const {
Duncan P. N. Exon Smith3dbe1052014-03-25 18:01:38 +0000263 return MBFI ? MBFI->getEntryFreq() : 0;
Michael Gottesmanfd5c4b22013-12-14 00:06:03 +0000264}