1*0b57cec5SDimitry Andric //===- MachineBranchProbabilityInfo.cpp - Machine Branch Probability Info -===//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric //
9*0b57cec5SDimitry Andric // This analysis uses probability info stored in Machine Basic Blocks.
10*0b57cec5SDimitry Andric //
11*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
12*0b57cec5SDimitry Andric 
13*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineBranchProbabilityInfo.h"
14*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h"
15*0b57cec5SDimitry Andric #include "llvm/InitializePasses.h"
16*0b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h"
17*0b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
18*0b57cec5SDimitry Andric 
19*0b57cec5SDimitry Andric using namespace llvm;
20*0b57cec5SDimitry Andric 
21*0b57cec5SDimitry Andric INITIALIZE_PASS_BEGIN(MachineBranchProbabilityInfo, "machine-branch-prob",
22*0b57cec5SDimitry Andric                       "Machine Branch Probability Analysis", false, true)
23*0b57cec5SDimitry Andric INITIALIZE_PASS_END(MachineBranchProbabilityInfo, "machine-branch-prob",
24*0b57cec5SDimitry Andric                     "Machine Branch Probability Analysis", false, true)
25*0b57cec5SDimitry Andric 
26*0b57cec5SDimitry Andric namespace llvm {
27*0b57cec5SDimitry Andric cl::opt<unsigned>
28*0b57cec5SDimitry Andric     StaticLikelyProb("static-likely-prob",
29*0b57cec5SDimitry Andric                      cl::desc("branch probability threshold in percentage"
30*0b57cec5SDimitry Andric                               "to be considered very likely"),
31*0b57cec5SDimitry Andric                      cl::init(80), cl::Hidden);
32*0b57cec5SDimitry Andric 
33*0b57cec5SDimitry Andric cl::opt<unsigned> ProfileLikelyProb(
34*0b57cec5SDimitry Andric     "profile-likely-prob",
35*0b57cec5SDimitry Andric     cl::desc("branch probability threshold in percentage to be considered"
36*0b57cec5SDimitry Andric              " very likely when profile is available"),
37*0b57cec5SDimitry Andric     cl::init(51), cl::Hidden);
38*0b57cec5SDimitry Andric } // namespace llvm
39*0b57cec5SDimitry Andric 
40*0b57cec5SDimitry Andric char MachineBranchProbabilityInfo::ID = 0;
41*0b57cec5SDimitry Andric 
MachineBranchProbabilityInfo()42*0b57cec5SDimitry Andric MachineBranchProbabilityInfo::MachineBranchProbabilityInfo()
43*0b57cec5SDimitry Andric     : ImmutablePass(ID) {
44*0b57cec5SDimitry Andric   PassRegistry &Registry = *PassRegistry::getPassRegistry();
45*0b57cec5SDimitry Andric   initializeMachineBranchProbabilityInfoPass(Registry);
46*0b57cec5SDimitry Andric }
47*0b57cec5SDimitry Andric 
anchor()48*0b57cec5SDimitry Andric void MachineBranchProbabilityInfo::anchor() {}
49*0b57cec5SDimitry Andric 
getEdgeProbability(const MachineBasicBlock * Src,MachineBasicBlock::const_succ_iterator Dst) const50*0b57cec5SDimitry Andric BranchProbability MachineBranchProbabilityInfo::getEdgeProbability(
51*0b57cec5SDimitry Andric     const MachineBasicBlock *Src,
52*0b57cec5SDimitry Andric     MachineBasicBlock::const_succ_iterator Dst) const {
53*0b57cec5SDimitry Andric   return Src->getSuccProbability(Dst);
54*0b57cec5SDimitry Andric }
55*0b57cec5SDimitry Andric 
getEdgeProbability(const MachineBasicBlock * Src,const MachineBasicBlock * Dst) const56*0b57cec5SDimitry Andric BranchProbability MachineBranchProbabilityInfo::getEdgeProbability(
57*0b57cec5SDimitry Andric     const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const {
58*0b57cec5SDimitry Andric   // This is a linear search. Try to use the const_succ_iterator version when
59*0b57cec5SDimitry Andric   // possible.
60*0b57cec5SDimitry Andric   return getEdgeProbability(Src, find(Src->successors(), Dst));
61*0b57cec5SDimitry Andric }
62*0b57cec5SDimitry Andric 
isEdgeHot(const MachineBasicBlock * Src,const MachineBasicBlock * Dst) const63*0b57cec5SDimitry Andric bool MachineBranchProbabilityInfo::isEdgeHot(
64*0b57cec5SDimitry Andric     const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const {
65*0b57cec5SDimitry Andric   BranchProbability HotProb(StaticLikelyProb, 100);
66*0b57cec5SDimitry Andric   return getEdgeProbability(Src, Dst) > HotProb;
67*0b57cec5SDimitry Andric }
68*0b57cec5SDimitry Andric 
printEdgeProbability(raw_ostream & OS,const MachineBasicBlock * Src,const MachineBasicBlock * Dst) const69*0b57cec5SDimitry Andric raw_ostream &MachineBranchProbabilityInfo::printEdgeProbability(
70*0b57cec5SDimitry Andric     raw_ostream &OS, const MachineBasicBlock *Src,
71*0b57cec5SDimitry Andric     const MachineBasicBlock *Dst) const {
72*0b57cec5SDimitry Andric 
73*0b57cec5SDimitry Andric   const BranchProbability Prob = getEdgeProbability(Src, Dst);
74*0b57cec5SDimitry Andric   OS << "edge " << printMBBReference(*Src) << " -> " << printMBBReference(*Dst)
75*0b57cec5SDimitry Andric      << " probability is " << Prob
76*0b57cec5SDimitry Andric      << (isEdgeHot(Src, Dst) ? " [HOT edge]\n" : "\n");
77*0b57cec5SDimitry Andric 
78*0b57cec5SDimitry Andric   return OS;
79*0b57cec5SDimitry Andric }
80*0b57cec5SDimitry Andric