blob: 3554e4efa5f6ad94be54d8d677163ec1fd2bdc24 [file] [log] [blame]
Jakub Staszak12a43bd2011-06-16 20:22:37 +00001//===- MachineBranchProbabilityInfo.cpp - Machine Branch Probability Info -===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This analysis uses probability info stored in Machine Basic Blocks.
11//
12//===----------------------------------------------------------------------===//
13
Jakub Staszak12a43bd2011-06-16 20:22:37 +000014#include "llvm/CodeGen/MachineBranchProbabilityInfo.h"
15#include "llvm/CodeGen/MachineBasicBlock.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000016#include "llvm/IR/Instructions.h"
Jakub Staszak12a43bd2011-06-16 20:22:37 +000017#include "llvm/Support/Debug.h"
18#include "llvm/Support/raw_ostream.h"
19
20using namespace llvm;
21
22INITIALIZE_PASS_BEGIN(MachineBranchProbabilityInfo, "machine-branch-prob",
23 "Machine Branch Probability Analysis", false, true)
24INITIALIZE_PASS_END(MachineBranchProbabilityInfo, "machine-branch-prob",
25 "Machine Branch Probability Analysis", false, true)
26
Xinliang David Liff287372016-06-03 23:48:36 +000027cl::opt<unsigned> StaticLikelyProb(
28 "static-likely-prob",
29 cl::desc("branch probability threshold to be considered very likely"),
30 cl::init(80), cl::Hidden);
31
Jakub Staszak12a43bd2011-06-16 20:22:37 +000032char MachineBranchProbabilityInfo::ID = 0;
33
Xinliang David Liff287372016-06-03 23:48:36 +000034void MachineBranchProbabilityInfo::anchor() {}
David Blaikiea379b1812011-12-20 02:50:00 +000035
Cong Houd97c1002015-12-01 05:29:22 +000036BranchProbability MachineBranchProbabilityInfo::getEdgeProbability(
37 const MachineBasicBlock *Src,
38 MachineBasicBlock::const_succ_iterator Dst) const {
39 return Src->getSuccProbability(Dst);
40}
41
42BranchProbability MachineBranchProbabilityInfo::getEdgeProbability(
43 const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const {
44 // This is a linear search. Try to use the const_succ_iterator version when
45 // possible.
46 return getEdgeProbability(Src,
47 std::find(Src->succ_begin(), Src->succ_end(), Dst));
48}
49
Xinliang David Liff287372016-06-03 23:48:36 +000050bool MachineBranchProbabilityInfo::isEdgeHot(
51 const MachineBasicBlock *Src, const MachineBasicBlock *Dst) const {
52 BranchProbability HotProb(StaticLikelyProb, 100);
Cong Houd97c1002015-12-01 05:29:22 +000053 return getEdgeProbability(Src, Dst) > HotProb;
Jakub Staszak12a43bd2011-06-16 20:22:37 +000054}
55
56MachineBasicBlock *
57MachineBranchProbabilityInfo::getHotSucc(MachineBasicBlock *MBB) const {
Cong Houd97c1002015-12-01 05:29:22 +000058 auto MaxProb = BranchProbability::getZero();
Craig Topperc0196b12014-04-14 00:51:57 +000059 MachineBasicBlock *MaxSucc = nullptr;
Jakub Staszak12a43bd2011-06-16 20:22:37 +000060 for (MachineBasicBlock::const_succ_iterator I = MBB->succ_begin(),
61 E = MBB->succ_end(); I != E; ++I) {
Cong Houd97c1002015-12-01 05:29:22 +000062 auto Prob = getEdgeProbability(MBB, I);
63 if (Prob > MaxProb) {
64 MaxProb = Prob;
Chandler Carrutha9e71fa2011-11-14 08:55:59 +000065 MaxSucc = *I;
Jakub Staszak12a43bd2011-06-16 20:22:37 +000066 }
67 }
68
Xinliang David Liff287372016-06-03 23:48:36 +000069 BranchProbability HotProb(StaticLikelyProb, 100);
Cong Houd97c1002015-12-01 05:29:22 +000070 if (getEdgeProbability(MBB, MaxSucc) >= HotProb)
Jakub Staszak12a43bd2011-06-16 20:22:37 +000071 return MaxSucc;
72
Craig Topperc0196b12014-04-14 00:51:57 +000073 return nullptr;
Jakub Staszak12a43bd2011-06-16 20:22:37 +000074}
75
Duncan P. N. Exon Smith936aef92014-03-25 18:01:32 +000076raw_ostream &MachineBranchProbabilityInfo::printEdgeProbability(
77 raw_ostream &OS, const MachineBasicBlock *Src,
78 const MachineBasicBlock *Dst) const {
Jakub Staszak12a43bd2011-06-16 20:22:37 +000079
80 const BranchProbability Prob = getEdgeProbability(Src, Dst);
81 OS << "edge MBB#" << Src->getNumber() << " -> MBB#" << Dst->getNumber()
Duncan P. N. Exon Smith936aef92014-03-25 18:01:32 +000082 << " probability is " << Prob
Jakub Staszak12a43bd2011-06-16 20:22:37 +000083 << (isEdgeHot(Src, Dst) ? " [HOT edge]\n" : "\n");
84
85 return OS;
86}