10b57cec5SDimitry Andric //===- MachineBranchProbabilityInfo.cpp - Machine Branch Probability Info -===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This analysis uses probability info stored in Machine Basic Blocks.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
130b57cec5SDimitry Andric #include "llvm/CodeGen/MachineBranchProbabilityInfo.h"
140b57cec5SDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h"
150b57cec5SDimitry Andric #include "llvm/IR/Instructions.h"
16480093f4SDimitry Andric #include "llvm/InitializePasses.h"
17480093f4SDimitry Andric #include "llvm/Support/CommandLine.h"
180b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
190b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
200b57cec5SDimitry Andric 
210b57cec5SDimitry Andric using namespace llvm;
220b57cec5SDimitry Andric 
230b57cec5SDimitry Andric INITIALIZE_PASS_BEGIN(MachineBranchProbabilityInfo, "machine-branch-prob",
240b57cec5SDimitry Andric                       "Machine Branch Probability Analysis", false, true)
250b57cec5SDimitry Andric INITIALIZE_PASS_END(MachineBranchProbabilityInfo, "machine-branch-prob",
260b57cec5SDimitry Andric                     "Machine Branch Probability Analysis", false, true)
270b57cec5SDimitry Andric 
28*5f7ddb14SDimitry Andric namespace llvm {
290b57cec5SDimitry Andric cl::opt<unsigned>
300b57cec5SDimitry Andric     StaticLikelyProb("static-likely-prob",
310b57cec5SDimitry Andric                      cl::desc("branch probability threshold in percentage"
320b57cec5SDimitry Andric                               "to be considered very likely"),
330b57cec5SDimitry Andric                      cl::init(80), cl::Hidden);
340b57cec5SDimitry Andric 
350b57cec5SDimitry Andric cl::opt<unsigned> ProfileLikelyProb(
360b57cec5SDimitry Andric     "profile-likely-prob",
370b57cec5SDimitry Andric     cl::desc("branch probability threshold in percentage to be considered"
380b57cec5SDimitry Andric              " very likely when profile is available"),
390b57cec5SDimitry Andric     cl::init(51), cl::Hidden);
40*5f7ddb14SDimitry Andric } // namespace llvm
410b57cec5SDimitry Andric 
420b57cec5SDimitry Andric char MachineBranchProbabilityInfo::ID = 0;
430b57cec5SDimitry Andric 
MachineBranchProbabilityInfo()44480093f4SDimitry Andric MachineBranchProbabilityInfo::MachineBranchProbabilityInfo()
45480093f4SDimitry Andric     : ImmutablePass(ID) {
46480093f4SDimitry Andric   PassRegistry &Registry = *PassRegistry::getPassRegistry();
47480093f4SDimitry Andric   initializeMachineBranchProbabilityInfoPass(Registry);
48480093f4SDimitry Andric }
49480093f4SDimitry Andric 
anchor()500b57cec5SDimitry Andric void MachineBranchProbabilityInfo::anchor() {}
510b57cec5SDimitry Andric 
getEdgeProbability(const MachineBasicBlock * Src,MachineBasicBlock::const_succ_iterator Dst) const520b57cec5SDimitry Andric BranchProbability MachineBranchProbabilityInfo::getEdgeProbability(
530b57cec5SDimitry Andric     const MachineBasicBlock *Src,
540b57cec5SDimitry Andric     MachineBasicBlock::const_succ_iterator Dst) const {
550b57cec5SDimitry Andric   return Src->getSuccProbability(Dst);
560b57cec5SDimitry Andric }
570b57cec5SDimitry Andric 
getEdgeProbability(const MachineBasicBlock * Src,const MachineBasicBlock * Dst) const580b57cec5SDimitry Andric BranchProbability MachineBranchProbabilityInfo::getEdgeProbability(
590b57cec5SDimitry Andric     const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const {
600b57cec5SDimitry Andric   // This is a linear search. Try to use the const_succ_iterator version when
610b57cec5SDimitry Andric   // possible.
620b57cec5SDimitry Andric   return getEdgeProbability(Src, find(Src->successors(), Dst));
630b57cec5SDimitry Andric }
640b57cec5SDimitry Andric 
isEdgeHot(const MachineBasicBlock * Src,const MachineBasicBlock * Dst) const650b57cec5SDimitry Andric bool MachineBranchProbabilityInfo::isEdgeHot(
660b57cec5SDimitry Andric     const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const {
670b57cec5SDimitry Andric   BranchProbability HotProb(StaticLikelyProb, 100);
680b57cec5SDimitry Andric   return getEdgeProbability(Src, Dst) > HotProb;
690b57cec5SDimitry Andric }
700b57cec5SDimitry Andric 
printEdgeProbability(raw_ostream & OS,const MachineBasicBlock * Src,const MachineBasicBlock * Dst) const710b57cec5SDimitry Andric raw_ostream &MachineBranchProbabilityInfo::printEdgeProbability(
720b57cec5SDimitry Andric     raw_ostream &OS, const MachineBasicBlock *Src,
730b57cec5SDimitry Andric     const MachineBasicBlock *Dst) const {
740b57cec5SDimitry Andric 
750b57cec5SDimitry Andric   const BranchProbability Prob = getEdgeProbability(Src, Dst);
760b57cec5SDimitry Andric   OS << "edge " << printMBBReference(*Src) << " -> " << printMBBReference(*Dst)
770b57cec5SDimitry Andric      << " probability is " << Prob
780b57cec5SDimitry Andric      << (isEdgeHot(Src, Dst) ? " [HOT edge]\n" : "\n");
790b57cec5SDimitry Andric 
800b57cec5SDimitry Andric   return OS;
810b57cec5SDimitry Andric }
82