blob: 7cdf828c2f4b42694c839b069493867da2f0b7dd [file] [log] [blame]
Bill Wendling0c34ae82012-08-15 12:22:35 +00001//===-- BranchProbabilityInfo.cpp - Branch Probability Analysis -----------===//
Andrew Trick9e764222011-06-04 01:16:30 +00002//
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// Loops should be simplified before this analysis.
11//
12//===----------------------------------------------------------------------===//
13
Chandler Carruthd04a8d42012-12-03 16:50:05 +000014#include "llvm/Analysis/BranchProbabilityInfo.h"
15#include "llvm/ADT/PostOrderIterator.h"
16#include "llvm/Analysis/LoopInfo.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000017#include "llvm/IR/Constants.h"
18#include "llvm/IR/Function.h"
19#include "llvm/IR/Instructions.h"
20#include "llvm/IR/LLVMContext.h"
21#include "llvm/IR/Metadata.h"
Chandler Carruth14edd312011-10-23 21:21:50 +000022#include "llvm/Support/CFG.h"
Andrew Trickf289df22011-06-11 01:05:22 +000023#include "llvm/Support/Debug.h"
Andrew Trick9e764222011-06-04 01:16:30 +000024
25using namespace llvm;
26
27INITIALIZE_PASS_BEGIN(BranchProbabilityInfo, "branch-prob",
28 "Branch Probability Analysis", false, true)
29INITIALIZE_PASS_DEPENDENCY(LoopInfo)
30INITIALIZE_PASS_END(BranchProbabilityInfo, "branch-prob",
31 "Branch Probability Analysis", false, true)
32
33char BranchProbabilityInfo::ID = 0;
34
Chandler Carruthb068bbba2011-10-24 01:40:45 +000035// Weights are for internal use only. They are used by heuristics to help to
36// estimate edges' probability. Example:
37//
38// Using "Loop Branch Heuristics" we predict weights of edges for the
39// block BB2.
40// ...
41// |
42// V
43// BB1<-+
44// | |
45// | | (Weight = 124)
46// V |
47// BB2--+
48// |
49// | (Weight = 4)
50// V
51// BB3
52//
53// Probability of the edge BB2->BB1 = 124 / (124 + 4) = 0.96875
54// Probability of the edge BB2->BB3 = 4 / (124 + 4) = 0.03125
55static const uint32_t LBH_TAKEN_WEIGHT = 124;
56static const uint32_t LBH_NONTAKEN_WEIGHT = 4;
Andrew Trick9e764222011-06-04 01:16:30 +000057
Chandler Carruthde1c9bb2011-10-24 12:01:08 +000058/// \brief Unreachable-terminating branch taken weight.
59///
60/// This is the weight for a branch being taken to a block that terminates
61/// (eventually) in unreachable. These are predicted as unlikely as possible.
62static const uint32_t UR_TAKEN_WEIGHT = 1;
63
64/// \brief Unreachable-terminating branch not-taken weight.
65///
66/// This is the weight for a branch not being taken toward a block that
67/// terminates (eventually) in unreachable. Such a branch is essentially never
Chandler Carruth51f40a72011-12-22 09:26:37 +000068/// taken. Set the weight to an absurdly high value so that nested loops don't
69/// easily subsume it.
70static const uint32_t UR_NONTAKEN_WEIGHT = 1024*1024 - 1;
Andrew Trick9e764222011-06-04 01:16:30 +000071
Diego Novillo77226a02013-05-24 12:26:52 +000072/// \brief Weight for a branch taken going into a cold block.
73///
74/// This is the weight for a branch taken toward a block marked
75/// cold. A block is marked cold if it's postdominated by a
76/// block containing a call to a cold function. Cold functions
77/// are those marked with attribute 'cold'.
78static const uint32_t CC_TAKEN_WEIGHT = 4;
79
80/// \brief Weight for a branch not-taken into a cold block.
81///
82/// This is the weight for a branch not taken toward a block marked
83/// cold.
84static const uint32_t CC_NONTAKEN_WEIGHT = 64;
85
Chandler Carruthb068bbba2011-10-24 01:40:45 +000086static const uint32_t PH_TAKEN_WEIGHT = 20;
87static const uint32_t PH_NONTAKEN_WEIGHT = 12;
Andrew Trick9e764222011-06-04 01:16:30 +000088
Chandler Carruthb068bbba2011-10-24 01:40:45 +000089static const uint32_t ZH_TAKEN_WEIGHT = 20;
90static const uint32_t ZH_NONTAKEN_WEIGHT = 12;
Andrew Trick9e764222011-06-04 01:16:30 +000091
Chandler Carruthb068bbba2011-10-24 01:40:45 +000092static const uint32_t FPH_TAKEN_WEIGHT = 20;
93static const uint32_t FPH_NONTAKEN_WEIGHT = 12;
Andrew Trick9e764222011-06-04 01:16:30 +000094
Bill Wendling0c34ae82012-08-15 12:22:35 +000095/// \brief Invoke-terminating normal branch taken weight
96///
97/// This is the weight for branching to the normal destination of an invoke
98/// instruction. We expect this to happen most of the time. Set the weight to an
99/// absurdly high value so that nested loops subsume it.
100static const uint32_t IH_TAKEN_WEIGHT = 1024 * 1024 - 1;
101
102/// \brief Invoke-terminating normal branch not-taken weight.
103///
104/// This is the weight for branching to the unwind destination of an invoke
105/// instruction. This is essentially never taken.
106static const uint32_t IH_NONTAKEN_WEIGHT = 1;
107
Chandler Carruthb068bbba2011-10-24 01:40:45 +0000108// Standard weight value. Used when none of the heuristics set weight for
109// the edge.
110static const uint32_t NORMAL_WEIGHT = 16;
Andrew Trick9e764222011-06-04 01:16:30 +0000111
Chandler Carruthb068bbba2011-10-24 01:40:45 +0000112// Minimum weight of an edge. Please note, that weight is NEVER 0.
113static const uint32_t MIN_WEIGHT = 1;
Andrew Trick9e764222011-06-04 01:16:30 +0000114
Chandler Carruthb068bbba2011-10-24 01:40:45 +0000115static uint32_t getMaxWeightFor(BasicBlock *BB) {
116 return UINT32_MAX / BB->getTerminator()->getNumSuccessors();
117}
Andrew Trick9e764222011-06-04 01:16:30 +0000118
Andrew Trick9e764222011-06-04 01:16:30 +0000119
Chandler Carruthde1c9bb2011-10-24 12:01:08 +0000120/// \brief Calculate edge weights for successors lead to unreachable.
121///
122/// Predict that a successor which leads necessarily to an
123/// unreachable-terminated block as extremely unlikely.
124bool BranchProbabilityInfo::calcUnreachableHeuristics(BasicBlock *BB) {
125 TerminatorInst *TI = BB->getTerminator();
126 if (TI->getNumSuccessors() == 0) {
127 if (isa<UnreachableInst>(TI))
128 PostDominatedByUnreachable.insert(BB);
129 return false;
130 }
131
Manman Ren1a710fd2012-08-24 18:14:27 +0000132 SmallVector<unsigned, 4> UnreachableEdges;
133 SmallVector<unsigned, 4> ReachableEdges;
Chandler Carruthde1c9bb2011-10-24 12:01:08 +0000134
135 for (succ_iterator I = succ_begin(BB), E = succ_end(BB); I != E; ++I) {
136 if (PostDominatedByUnreachable.count(*I))
Manman Ren1a710fd2012-08-24 18:14:27 +0000137 UnreachableEdges.push_back(I.getSuccessorIndex());
Chandler Carruthde1c9bb2011-10-24 12:01:08 +0000138 else
Manman Ren1a710fd2012-08-24 18:14:27 +0000139 ReachableEdges.push_back(I.getSuccessorIndex());
Chandler Carruthde1c9bb2011-10-24 12:01:08 +0000140 }
141
142 // If all successors are in the set of blocks post-dominated by unreachable,
143 // this block is too.
144 if (UnreachableEdges.size() == TI->getNumSuccessors())
145 PostDominatedByUnreachable.insert(BB);
146
147 // Skip probabilities if this block has a single successor or if all were
148 // reachable.
149 if (TI->getNumSuccessors() == 1 || UnreachableEdges.empty())
150 return false;
151
152 uint32_t UnreachableWeight =
Manman Ren1a710fd2012-08-24 18:14:27 +0000153 std::max(UR_TAKEN_WEIGHT / (unsigned)UnreachableEdges.size(), MIN_WEIGHT);
Craig Topper6227d5c2013-07-04 01:31:24 +0000154 for (SmallVectorImpl<unsigned>::iterator I = UnreachableEdges.begin(),
155 E = UnreachableEdges.end();
Chandler Carruthde1c9bb2011-10-24 12:01:08 +0000156 I != E; ++I)
157 setEdgeWeight(BB, *I, UnreachableWeight);
158
159 if (ReachableEdges.empty())
160 return true;
161 uint32_t ReachableWeight =
Manman Ren1a710fd2012-08-24 18:14:27 +0000162 std::max(UR_NONTAKEN_WEIGHT / (unsigned)ReachableEdges.size(),
163 NORMAL_WEIGHT);
Craig Topper6227d5c2013-07-04 01:31:24 +0000164 for (SmallVectorImpl<unsigned>::iterator I = ReachableEdges.begin(),
165 E = ReachableEdges.end();
Chandler Carruthde1c9bb2011-10-24 12:01:08 +0000166 I != E; ++I)
167 setEdgeWeight(BB, *I, ReachableWeight);
168
169 return true;
170}
171
Chandler Carruth99d01c52011-10-19 10:30:30 +0000172// Propagate existing explicit probabilities from either profile data or
173// 'expect' intrinsic processing.
Chandler Carruthb068bbba2011-10-24 01:40:45 +0000174bool BranchProbabilityInfo::calcMetadataWeights(BasicBlock *BB) {
Chandler Carruth941aa7b2011-10-19 10:32:19 +0000175 TerminatorInst *TI = BB->getTerminator();
176 if (TI->getNumSuccessors() == 1)
177 return false;
178 if (!isa<BranchInst>(TI) && !isa<SwitchInst>(TI))
Chandler Carruth99d01c52011-10-19 10:30:30 +0000179 return false;
180
Chandler Carruth941aa7b2011-10-19 10:32:19 +0000181 MDNode *WeightsNode = TI->getMetadata(LLVMContext::MD_prof);
182 if (!WeightsNode)
Chandler Carruth99d01c52011-10-19 10:30:30 +0000183 return false;
184
Chandler Carruth941aa7b2011-10-19 10:32:19 +0000185 // Ensure there are weights for all of the successors. Note that the first
186 // operand to the metadata node is a name, not a weight.
187 if (WeightsNode->getNumOperands() != TI->getNumSuccessors() + 1)
Chandler Carruth99d01c52011-10-19 10:30:30 +0000188 return false;
189
Chandler Carruth941aa7b2011-10-19 10:32:19 +0000190 // Build up the final weights that will be used in a temporary buffer, but
191 // don't add them until all weihts are present. Each weight value is clamped
192 // to [1, getMaxWeightFor(BB)].
Chandler Carruth99d01c52011-10-19 10:30:30 +0000193 uint32_t WeightLimit = getMaxWeightFor(BB);
Chandler Carruth941aa7b2011-10-19 10:32:19 +0000194 SmallVector<uint32_t, 2> Weights;
195 Weights.reserve(TI->getNumSuccessors());
196 for (unsigned i = 1, e = WeightsNode->getNumOperands(); i != e; ++i) {
197 ConstantInt *Weight = dyn_cast<ConstantInt>(WeightsNode->getOperand(i));
198 if (!Weight)
199 return false;
200 Weights.push_back(
201 std::max<uint32_t>(1, Weight->getLimitedValue(WeightLimit)));
202 }
203 assert(Weights.size() == TI->getNumSuccessors() && "Checked above");
204 for (unsigned i = 0, e = TI->getNumSuccessors(); i != e; ++i)
Manman Ren1a710fd2012-08-24 18:14:27 +0000205 setEdgeWeight(BB, i, Weights[i]);
Chandler Carruth99d01c52011-10-19 10:30:30 +0000206
207 return true;
208}
209
Diego Novillo77226a02013-05-24 12:26:52 +0000210/// \brief Calculate edge weights for edges leading to cold blocks.
211///
212/// A cold block is one post-dominated by a block with a call to a
213/// cold function. Those edges are unlikely to be taken, so we give
214/// them relatively low weight.
215///
216/// Return true if we could compute the weights for cold edges.
217/// Return false, otherwise.
218bool BranchProbabilityInfo::calcColdCallHeuristics(BasicBlock *BB) {
219 TerminatorInst *TI = BB->getTerminator();
220 if (TI->getNumSuccessors() == 0)
221 return false;
222
223 // Determine which successors are post-dominated by a cold block.
224 SmallVector<unsigned, 4> ColdEdges;
Diego Novillo77226a02013-05-24 12:26:52 +0000225 SmallVector<unsigned, 4> NormalEdges;
Diego Novillo77226a02013-05-24 12:26:52 +0000226 for (succ_iterator I = succ_begin(BB), E = succ_end(BB); I != E; ++I)
227 if (PostDominatedByColdCall.count(*I))
228 ColdEdges.push_back(I.getSuccessorIndex());
229 else
230 NormalEdges.push_back(I.getSuccessorIndex());
231
232 // If all successors are in the set of blocks post-dominated by cold calls,
233 // this block is in the set post-dominated by cold calls.
234 if (ColdEdges.size() == TI->getNumSuccessors())
235 PostDominatedByColdCall.insert(BB);
236 else {
237 // Otherwise, if the block itself contains a cold function, add it to the
238 // set of blocks postdominated by a cold call.
239 assert(!PostDominatedByColdCall.count(BB));
240 for (BasicBlock::iterator I = BB->begin(), E = BB->end(); I != E; ++I)
241 if (CallInst *CI = dyn_cast<CallInst>(I))
242 if (CI->hasFnAttr(Attribute::Cold)) {
243 PostDominatedByColdCall.insert(BB);
244 break;
245 }
246 }
247
248 // Skip probabilities if this block has a single successor.
249 if (TI->getNumSuccessors() == 1 || ColdEdges.empty())
250 return false;
251
252 uint32_t ColdWeight =
253 std::max(CC_TAKEN_WEIGHT / (unsigned) ColdEdges.size(), MIN_WEIGHT);
Craig Topper6227d5c2013-07-04 01:31:24 +0000254 for (SmallVectorImpl<unsigned>::iterator I = ColdEdges.begin(),
255 E = ColdEdges.end();
Diego Novillo77226a02013-05-24 12:26:52 +0000256 I != E; ++I)
257 setEdgeWeight(BB, *I, ColdWeight);
258
259 if (NormalEdges.empty())
260 return true;
261 uint32_t NormalWeight = std::max(
262 CC_NONTAKEN_WEIGHT / (unsigned) NormalEdges.size(), NORMAL_WEIGHT);
Craig Topper6227d5c2013-07-04 01:31:24 +0000263 for (SmallVectorImpl<unsigned>::iterator I = NormalEdges.begin(),
264 E = NormalEdges.end();
Diego Novillo77226a02013-05-24 12:26:52 +0000265 I != E; ++I)
266 setEdgeWeight(BB, *I, NormalWeight);
267
268 return true;
269}
270
Andrew Trick9e764222011-06-04 01:16:30 +0000271// Calculate Edge Weights using "Pointer Heuristics". Predict a comparsion
272// between two pointer or pointer and NULL will fail.
Chandler Carruthb068bbba2011-10-24 01:40:45 +0000273bool BranchProbabilityInfo::calcPointerHeuristics(BasicBlock *BB) {
Andrew Trick9e764222011-06-04 01:16:30 +0000274 BranchInst * BI = dyn_cast<BranchInst>(BB->getTerminator());
275 if (!BI || !BI->isConditional())
Jakub Staszak7241caf2011-07-28 21:45:07 +0000276 return false;
Andrew Trick9e764222011-06-04 01:16:30 +0000277
278 Value *Cond = BI->getCondition();
279 ICmpInst *CI = dyn_cast<ICmpInst>(Cond);
Jakub Staszakd7932ca2011-07-15 20:51:06 +0000280 if (!CI || !CI->isEquality())
Jakub Staszak7241caf2011-07-28 21:45:07 +0000281 return false;
Andrew Trick9e764222011-06-04 01:16:30 +0000282
283 Value *LHS = CI->getOperand(0);
Andrew Trick9e764222011-06-04 01:16:30 +0000284
285 if (!LHS->getType()->isPointerTy())
Jakub Staszak7241caf2011-07-28 21:45:07 +0000286 return false;
Andrew Trick9e764222011-06-04 01:16:30 +0000287
Nick Lewycky404b53e2011-06-04 02:07:10 +0000288 assert(CI->getOperand(1)->getType()->isPointerTy());
Andrew Trick9e764222011-06-04 01:16:30 +0000289
Andrew Trick9e764222011-06-04 01:16:30 +0000290 // p != 0 -> isProb = true
291 // p == 0 -> isProb = false
292 // p != q -> isProb = true
293 // p == q -> isProb = false;
Manman Ren1a710fd2012-08-24 18:14:27 +0000294 unsigned TakenIdx = 0, NonTakenIdx = 1;
Jakub Staszakd7932ca2011-07-15 20:51:06 +0000295 bool isProb = CI->getPredicate() == ICmpInst::ICMP_NE;
Andrew Trick9e764222011-06-04 01:16:30 +0000296 if (!isProb)
Manman Ren1a710fd2012-08-24 18:14:27 +0000297 std::swap(TakenIdx, NonTakenIdx);
Andrew Trick9e764222011-06-04 01:16:30 +0000298
Manman Ren1a710fd2012-08-24 18:14:27 +0000299 setEdgeWeight(BB, TakenIdx, PH_TAKEN_WEIGHT);
300 setEdgeWeight(BB, NonTakenIdx, PH_NONTAKEN_WEIGHT);
Jakub Staszak7241caf2011-07-28 21:45:07 +0000301 return true;
Andrew Trick9e764222011-06-04 01:16:30 +0000302}
303
304// Calculate Edge Weights using "Loop Branch Heuristics". Predict backedges
305// as taken, exiting edges as not-taken.
Chandler Carruthb068bbba2011-10-24 01:40:45 +0000306bool BranchProbabilityInfo::calcLoopBranchHeuristics(BasicBlock *BB) {
Andrew Trick9e764222011-06-04 01:16:30 +0000307 Loop *L = LI->getLoopFor(BB);
308 if (!L)
Jakub Staszak7241caf2011-07-28 21:45:07 +0000309 return false;
Andrew Trick9e764222011-06-04 01:16:30 +0000310
Manman Ren1a710fd2012-08-24 18:14:27 +0000311 SmallVector<unsigned, 8> BackEdges;
312 SmallVector<unsigned, 8> ExitingEdges;
313 SmallVector<unsigned, 8> InEdges; // Edges from header to the loop.
Jakub Staszakfa447252011-07-28 21:33:46 +0000314
Andrew Trick9e764222011-06-04 01:16:30 +0000315 for (succ_iterator I = succ_begin(BB), E = succ_end(BB); I != E; ++I) {
Chandler Carruth45baf6b2011-10-25 09:47:41 +0000316 if (!L->contains(*I))
Manman Ren1a710fd2012-08-24 18:14:27 +0000317 ExitingEdges.push_back(I.getSuccessorIndex());
Chandler Carruth45baf6b2011-10-25 09:47:41 +0000318 else if (L->getHeader() == *I)
Manman Ren1a710fd2012-08-24 18:14:27 +0000319 BackEdges.push_back(I.getSuccessorIndex());
Chandler Carruth45baf6b2011-10-25 09:47:41 +0000320 else
Manman Ren1a710fd2012-08-24 18:14:27 +0000321 InEdges.push_back(I.getSuccessorIndex());
Andrew Trick9e764222011-06-04 01:16:30 +0000322 }
323
Andrew Trickf289df22011-06-11 01:05:22 +0000324 if (uint32_t numBackEdges = BackEdges.size()) {
325 uint32_t backWeight = LBH_TAKEN_WEIGHT / numBackEdges;
Andrew Trick9e764222011-06-04 01:16:30 +0000326 if (backWeight < NORMAL_WEIGHT)
327 backWeight = NORMAL_WEIGHT;
328
Craig Topper6227d5c2013-07-04 01:31:24 +0000329 for (SmallVectorImpl<unsigned>::iterator EI = BackEdges.begin(),
Andrew Trick9e764222011-06-04 01:16:30 +0000330 EE = BackEdges.end(); EI != EE; ++EI) {
Manman Ren1a710fd2012-08-24 18:14:27 +0000331 setEdgeWeight(BB, *EI, backWeight);
Andrew Trick9e764222011-06-04 01:16:30 +0000332 }
333 }
334
Jakub Staszakfa447252011-07-28 21:33:46 +0000335 if (uint32_t numInEdges = InEdges.size()) {
336 uint32_t inWeight = LBH_TAKEN_WEIGHT / numInEdges;
337 if (inWeight < NORMAL_WEIGHT)
338 inWeight = NORMAL_WEIGHT;
339
Craig Topper6227d5c2013-07-04 01:31:24 +0000340 for (SmallVectorImpl<unsigned>::iterator EI = InEdges.begin(),
Jakub Staszakfa447252011-07-28 21:33:46 +0000341 EE = InEdges.end(); EI != EE; ++EI) {
Manman Ren1a710fd2012-08-24 18:14:27 +0000342 setEdgeWeight(BB, *EI, inWeight);
Jakub Staszakfa447252011-07-28 21:33:46 +0000343 }
344 }
345
Chandler Carruth45baf6b2011-10-25 09:47:41 +0000346 if (uint32_t numExitingEdges = ExitingEdges.size()) {
347 uint32_t exitWeight = LBH_NONTAKEN_WEIGHT / numExitingEdges;
Andrew Trick9e764222011-06-04 01:16:30 +0000348 if (exitWeight < MIN_WEIGHT)
349 exitWeight = MIN_WEIGHT;
350
Craig Topper6227d5c2013-07-04 01:31:24 +0000351 for (SmallVectorImpl<unsigned>::iterator EI = ExitingEdges.begin(),
Andrew Trick9e764222011-06-04 01:16:30 +0000352 EE = ExitingEdges.end(); EI != EE; ++EI) {
Manman Ren1a710fd2012-08-24 18:14:27 +0000353 setEdgeWeight(BB, *EI, exitWeight);
Andrew Trick9e764222011-06-04 01:16:30 +0000354 }
355 }
Jakub Staszak7241caf2011-07-28 21:45:07 +0000356
357 return true;
Andrew Trick9e764222011-06-04 01:16:30 +0000358}
359
Chandler Carruthb068bbba2011-10-24 01:40:45 +0000360bool BranchProbabilityInfo::calcZeroHeuristics(BasicBlock *BB) {
Jakub Staszaka5dd5502011-07-31 03:27:24 +0000361 BranchInst * BI = dyn_cast<BranchInst>(BB->getTerminator());
362 if (!BI || !BI->isConditional())
363 return false;
364
365 Value *Cond = BI->getCondition();
366 ICmpInst *CI = dyn_cast<ICmpInst>(Cond);
367 if (!CI)
368 return false;
369
Jakub Staszaka5dd5502011-07-31 03:27:24 +0000370 Value *RHS = CI->getOperand(1);
Jakub Staszaka385c202011-07-31 04:47:20 +0000371 ConstantInt *CV = dyn_cast<ConstantInt>(RHS);
Benjamin Kramer26eb8702011-09-04 23:53:04 +0000372 if (!CV)
Jakub Staszaka5dd5502011-07-31 03:27:24 +0000373 return false;
374
375 bool isProb;
Benjamin Kramer26eb8702011-09-04 23:53:04 +0000376 if (CV->isZero()) {
377 switch (CI->getPredicate()) {
378 case CmpInst::ICMP_EQ:
379 // X == 0 -> Unlikely
380 isProb = false;
381 break;
382 case CmpInst::ICMP_NE:
383 // X != 0 -> Likely
384 isProb = true;
385 break;
386 case CmpInst::ICMP_SLT:
387 // X < 0 -> Unlikely
388 isProb = false;
389 break;
390 case CmpInst::ICMP_SGT:
391 // X > 0 -> Likely
392 isProb = true;
393 break;
394 default:
395 return false;
396 }
397 } else if (CV->isOne() && CI->getPredicate() == CmpInst::ICMP_SLT) {
398 // InstCombine canonicalizes X <= 0 into X < 1.
399 // X <= 0 -> Unlikely
Jakub Staszaka5dd5502011-07-31 03:27:24 +0000400 isProb = false;
Benjamin Kramer26eb8702011-09-04 23:53:04 +0000401 } else if (CV->isAllOnesValue() && CI->getPredicate() == CmpInst::ICMP_SGT) {
402 // InstCombine canonicalizes X >= 0 into X > -1.
403 // X >= 0 -> Likely
Jakub Staszaka5dd5502011-07-31 03:27:24 +0000404 isProb = true;
Benjamin Kramer26eb8702011-09-04 23:53:04 +0000405 } else {
Jakub Staszaka5dd5502011-07-31 03:27:24 +0000406 return false;
Benjamin Kramer26eb8702011-09-04 23:53:04 +0000407 }
Jakub Staszaka5dd5502011-07-31 03:27:24 +0000408
Manman Ren1a710fd2012-08-24 18:14:27 +0000409 unsigned TakenIdx = 0, NonTakenIdx = 1;
Jakub Staszaka5dd5502011-07-31 03:27:24 +0000410
411 if (!isProb)
Manman Ren1a710fd2012-08-24 18:14:27 +0000412 std::swap(TakenIdx, NonTakenIdx);
Jakub Staszaka5dd5502011-07-31 03:27:24 +0000413
Manman Ren1a710fd2012-08-24 18:14:27 +0000414 setEdgeWeight(BB, TakenIdx, ZH_TAKEN_WEIGHT);
415 setEdgeWeight(BB, NonTakenIdx, ZH_NONTAKEN_WEIGHT);
Jakub Staszaka5dd5502011-07-31 03:27:24 +0000416
417 return true;
418}
419
Chandler Carruthb068bbba2011-10-24 01:40:45 +0000420bool BranchProbabilityInfo::calcFloatingPointHeuristics(BasicBlock *BB) {
Benjamin Kramerc888aa42011-10-21 20:12:47 +0000421 BranchInst *BI = dyn_cast<BranchInst>(BB->getTerminator());
422 if (!BI || !BI->isConditional())
423 return false;
424
425 Value *Cond = BI->getCondition();
426 FCmpInst *FCmp = dyn_cast<FCmpInst>(Cond);
Benjamin Kramer675c02b2011-10-21 21:13:47 +0000427 if (!FCmp)
Benjamin Kramerc888aa42011-10-21 20:12:47 +0000428 return false;
429
Benjamin Kramer675c02b2011-10-21 21:13:47 +0000430 bool isProb;
431 if (FCmp->isEquality()) {
432 // f1 == f2 -> Unlikely
433 // f1 != f2 -> Likely
434 isProb = !FCmp->isTrueWhenEqual();
435 } else if (FCmp->getPredicate() == FCmpInst::FCMP_ORD) {
436 // !isnan -> Likely
437 isProb = true;
438 } else if (FCmp->getPredicate() == FCmpInst::FCMP_UNO) {
439 // isnan -> Unlikely
440 isProb = false;
441 } else {
442 return false;
443 }
444
Manman Ren1a710fd2012-08-24 18:14:27 +0000445 unsigned TakenIdx = 0, NonTakenIdx = 1;
Benjamin Kramerc888aa42011-10-21 20:12:47 +0000446
Benjamin Kramer675c02b2011-10-21 21:13:47 +0000447 if (!isProb)
Manman Ren1a710fd2012-08-24 18:14:27 +0000448 std::swap(TakenIdx, NonTakenIdx);
Benjamin Kramerc888aa42011-10-21 20:12:47 +0000449
Manman Ren1a710fd2012-08-24 18:14:27 +0000450 setEdgeWeight(BB, TakenIdx, FPH_TAKEN_WEIGHT);
451 setEdgeWeight(BB, NonTakenIdx, FPH_NONTAKEN_WEIGHT);
Benjamin Kramerc888aa42011-10-21 20:12:47 +0000452
453 return true;
454}
Jakub Staszaka5dd5502011-07-31 03:27:24 +0000455
Bill Wendling0c34ae82012-08-15 12:22:35 +0000456bool BranchProbabilityInfo::calcInvokeHeuristics(BasicBlock *BB) {
457 InvokeInst *II = dyn_cast<InvokeInst>(BB->getTerminator());
458 if (!II)
459 return false;
460
Manman Ren1a710fd2012-08-24 18:14:27 +0000461 setEdgeWeight(BB, 0/*Index for Normal*/, IH_TAKEN_WEIGHT);
462 setEdgeWeight(BB, 1/*Index for Unwind*/, IH_NONTAKEN_WEIGHT);
Bill Wendling0c34ae82012-08-15 12:22:35 +0000463 return true;
464}
465
Chandler Carruthb068bbba2011-10-24 01:40:45 +0000466void BranchProbabilityInfo::getAnalysisUsage(AnalysisUsage &AU) const {
467 AU.addRequired<LoopInfo>();
468 AU.setPreservesAll();
469}
470
471bool BranchProbabilityInfo::runOnFunction(Function &F) {
472 LastF = &F; // Store the last function we ran on for printing.
473 LI = &getAnalysis<LoopInfo>();
Chandler Carruthde1c9bb2011-10-24 12:01:08 +0000474 assert(PostDominatedByUnreachable.empty());
Diego Novillo77226a02013-05-24 12:26:52 +0000475 assert(PostDominatedByColdCall.empty());
Chandler Carruthb068bbba2011-10-24 01:40:45 +0000476
Chandler Carruthde1c9bb2011-10-24 12:01:08 +0000477 // Walk the basic blocks in post-order so that we can build up state about
478 // the successors of a block iteratively.
479 for (po_iterator<BasicBlock *> I = po_begin(&F.getEntryBlock()),
480 E = po_end(&F.getEntryBlock());
481 I != E; ++I) {
482 DEBUG(dbgs() << "Computing probabilities for " << I->getName() << "\n");
483 if (calcUnreachableHeuristics(*I))
Chandler Carruth99d01c52011-10-19 10:30:30 +0000484 continue;
Chandler Carruthde1c9bb2011-10-24 12:01:08 +0000485 if (calcMetadataWeights(*I))
Jakub Staszak7241caf2011-07-28 21:45:07 +0000486 continue;
Diego Novillo77226a02013-05-24 12:26:52 +0000487 if (calcColdCallHeuristics(*I))
488 continue;
Chandler Carruthde1c9bb2011-10-24 12:01:08 +0000489 if (calcLoopBranchHeuristics(*I))
Jakub Staszak7241caf2011-07-28 21:45:07 +0000490 continue;
Chandler Carruthde1c9bb2011-10-24 12:01:08 +0000491 if (calcPointerHeuristics(*I))
Jakub Staszaka5dd5502011-07-31 03:27:24 +0000492 continue;
Chandler Carruthde1c9bb2011-10-24 12:01:08 +0000493 if (calcZeroHeuristics(*I))
Benjamin Kramerc888aa42011-10-21 20:12:47 +0000494 continue;
Bill Wendling0c34ae82012-08-15 12:22:35 +0000495 if (calcFloatingPointHeuristics(*I))
496 continue;
497 calcInvokeHeuristics(*I);
Andrew Trick9e764222011-06-04 01:16:30 +0000498 }
Chandler Carruthde1c9bb2011-10-24 12:01:08 +0000499
500 PostDominatedByUnreachable.clear();
Diego Novillo77226a02013-05-24 12:26:52 +0000501 PostDominatedByColdCall.clear();
Andrew Trick9e764222011-06-04 01:16:30 +0000502 return false;
503}
504
Chandler Carruth14edd312011-10-23 21:21:50 +0000505void BranchProbabilityInfo::print(raw_ostream &OS, const Module *) const {
506 OS << "---- Branch Probabilities ----\n";
507 // We print the probabilities from the last function the analysis ran over,
508 // or the function it is currently running over.
509 assert(LastF && "Cannot print prior to running over a function");
510 for (Function::const_iterator BI = LastF->begin(), BE = LastF->end();
511 BI != BE; ++BI) {
512 for (succ_const_iterator SI = succ_begin(BI), SE = succ_end(BI);
513 SI != SE; ++SI) {
514 printEdgeProbability(OS << " ", BI, *SI);
515 }
516 }
517}
518
Jakub Staszak6f6baf12011-07-29 19:30:00 +0000519uint32_t BranchProbabilityInfo::getSumForBlock(const BasicBlock *BB) const {
Andrew Trickf289df22011-06-11 01:05:22 +0000520 uint32_t Sum = 0;
521
Jakub Staszak6f6baf12011-07-29 19:30:00 +0000522 for (succ_const_iterator I = succ_begin(BB), E = succ_end(BB); I != E; ++I) {
Manman Ren1a710fd2012-08-24 18:14:27 +0000523 uint32_t Weight = getEdgeWeight(BB, I.getSuccessorIndex());
Andrew Trickf289df22011-06-11 01:05:22 +0000524 uint32_t PrevSum = Sum;
Andrew Trick9e764222011-06-04 01:16:30 +0000525
526 Sum += Weight;
527 assert(Sum > PrevSum); (void) PrevSum;
528 }
529
Andrew Trickf289df22011-06-11 01:05:22 +0000530 return Sum;
531}
532
Jakub Staszak6f6baf12011-07-29 19:30:00 +0000533bool BranchProbabilityInfo::
534isEdgeHot(const BasicBlock *Src, const BasicBlock *Dst) const {
Andrew Trickf289df22011-06-11 01:05:22 +0000535 // Hot probability is at least 4/5 = 80%
Benjamin Kramer341473c2011-10-23 11:19:14 +0000536 // FIXME: Compare against a static "hot" BranchProbability.
537 return getEdgeProbability(Src, Dst) > BranchProbability(4, 5);
Andrew Trick9e764222011-06-04 01:16:30 +0000538}
539
540BasicBlock *BranchProbabilityInfo::getHotSucc(BasicBlock *BB) const {
Andrew Trickf289df22011-06-11 01:05:22 +0000541 uint32_t Sum = 0;
542 uint32_t MaxWeight = 0;
Andrew Trick9e764222011-06-04 01:16:30 +0000543 BasicBlock *MaxSucc = 0;
544
545 for (succ_iterator I = succ_begin(BB), E = succ_end(BB); I != E; ++I) {
546 BasicBlock *Succ = *I;
Andrew Trickf289df22011-06-11 01:05:22 +0000547 uint32_t Weight = getEdgeWeight(BB, Succ);
548 uint32_t PrevSum = Sum;
Andrew Trick9e764222011-06-04 01:16:30 +0000549
550 Sum += Weight;
551 assert(Sum > PrevSum); (void) PrevSum;
552
553 if (Weight > MaxWeight) {
554 MaxWeight = Weight;
555 MaxSucc = Succ;
556 }
557 }
558
Benjamin Kramer341473c2011-10-23 11:19:14 +0000559 // Hot probability is at least 4/5 = 80%
560 if (BranchProbability(MaxWeight, Sum) > BranchProbability(4, 5))
Andrew Trick9e764222011-06-04 01:16:30 +0000561 return MaxSucc;
562
563 return 0;
564}
565
Manman Ren1a710fd2012-08-24 18:14:27 +0000566/// Get the raw edge weight for the edge. If can't find it, return
567/// DEFAULT_WEIGHT value. Here an edge is specified using PredBlock and an index
568/// to the successors.
Jakub Staszak6f6baf12011-07-29 19:30:00 +0000569uint32_t BranchProbabilityInfo::
Manman Ren1a710fd2012-08-24 18:14:27 +0000570getEdgeWeight(const BasicBlock *Src, unsigned IndexInSuccessors) const {
571 DenseMap<Edge, uint32_t>::const_iterator I =
572 Weights.find(std::make_pair(Src, IndexInSuccessors));
Andrew Trick9e764222011-06-04 01:16:30 +0000573
574 if (I != Weights.end())
575 return I->second;
576
577 return DEFAULT_WEIGHT;
578}
579
Manman Ren1a710fd2012-08-24 18:14:27 +0000580/// Get the raw edge weight calculated for the block pair. This returns the sum
581/// of all raw edge weights from Src to Dst.
582uint32_t BranchProbabilityInfo::
583getEdgeWeight(const BasicBlock *Src, const BasicBlock *Dst) const {
584 uint32_t Weight = 0;
585 DenseMap<Edge, uint32_t>::const_iterator MapI;
586 for (succ_const_iterator I = succ_begin(Src), E = succ_end(Src); I != E; ++I)
587 if (*I == Dst) {
588 MapI = Weights.find(std::make_pair(Src, I.getSuccessorIndex()));
589 if (MapI != Weights.end())
590 Weight += MapI->second;
591 }
592 return (Weight == 0) ? DEFAULT_WEIGHT : Weight;
Andrew Trickf289df22011-06-11 01:05:22 +0000593}
594
Manman Ren1a710fd2012-08-24 18:14:27 +0000595/// Set the edge weight for a given edge specified by PredBlock and an index
596/// to the successors.
597void BranchProbabilityInfo::
598setEdgeWeight(const BasicBlock *Src, unsigned IndexInSuccessors,
599 uint32_t Weight) {
600 Weights[std::make_pair(Src, IndexInSuccessors)] = Weight;
601 DEBUG(dbgs() << "set edge " << Src->getName() << " -> "
602 << IndexInSuccessors << " successor weight to "
603 << Weight << "\n");
604}
Andrew Trickf289df22011-06-11 01:05:22 +0000605
Manman Ren1a710fd2012-08-24 18:14:27 +0000606/// Get an edge's probability, relative to other out-edges from Src.
607BranchProbability BranchProbabilityInfo::
608getEdgeProbability(const BasicBlock *Src, unsigned IndexInSuccessors) const {
609 uint32_t N = getEdgeWeight(Src, IndexInSuccessors);
610 uint32_t D = getSumForBlock(Src);
611
612 return BranchProbability(N, D);
613}
614
615/// Get the probability of going from Src to Dst. It returns the sum of all
616/// probabilities for edges from Src to Dst.
Andrew Trickf289df22011-06-11 01:05:22 +0000617BranchProbability BranchProbabilityInfo::
Jakub Staszak6f6baf12011-07-29 19:30:00 +0000618getEdgeProbability(const BasicBlock *Src, const BasicBlock *Dst) const {
Andrew Trickf289df22011-06-11 01:05:22 +0000619
620 uint32_t N = getEdgeWeight(Src, Dst);
621 uint32_t D = getSumForBlock(Src);
622
623 return BranchProbability(N, D);
Andrew Trick9e764222011-06-04 01:16:30 +0000624}
625
626raw_ostream &
Chandler Carruth14edd312011-10-23 21:21:50 +0000627BranchProbabilityInfo::printEdgeProbability(raw_ostream &OS,
628 const BasicBlock *Src,
629 const BasicBlock *Dst) const {
Andrew Trick9e764222011-06-04 01:16:30 +0000630
Jakub Staszak7cc2b072011-06-16 20:22:37 +0000631 const BranchProbability Prob = getEdgeProbability(Src, Dst);
Benjamin Kramera7b0cb72011-11-15 16:27:03 +0000632 OS << "edge " << Src->getName() << " -> " << Dst->getName()
Andrew Trickf289df22011-06-11 01:05:22 +0000633 << " probability is " << Prob
634 << (isEdgeHot(Src, Dst) ? " [HOT edge]\n" : "\n");
Andrew Trick9e764222011-06-04 01:16:30 +0000635
636 return OS;
637}