LLVM API Documentation

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
BranchProbabilityInfo.cpp
Go to the documentation of this file.
1 //===-- BranchProbabilityInfo.cpp - Branch Probability Analysis -----------===//
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 // Loops should be simplified before this analysis.
11 //
12 //===----------------------------------------------------------------------===//
13 
16 #include "llvm/Analysis/LoopInfo.h"
17 #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"
22 #include "llvm/Support/CFG.h"
23 #include "llvm/Support/Debug.h"
24 
25 using namespace llvm;
26 
28  "Branch Probability Analysis", false, true)
31  "Branch Probability Analysis", false, true)
32 
33 char BranchProbabilityInfo::ID = 0;
34 
35 // 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
55 static const uint32_t LBH_TAKEN_WEIGHT = 124;
56 static const uint32_t LBH_NONTAKEN_WEIGHT = 4;
57 
58 /// \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.
62 static 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
68 /// taken. Set the weight to an absurdly high value so that nested loops don't
69 /// easily subsume it.
70 static const uint32_t UR_NONTAKEN_WEIGHT = 1024*1024 - 1;
71 
72 /// \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'.
78 static 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.
84 static const uint32_t CC_NONTAKEN_WEIGHT = 64;
85 
86 static const uint32_t PH_TAKEN_WEIGHT = 20;
87 static const uint32_t PH_NONTAKEN_WEIGHT = 12;
88 
89 static const uint32_t ZH_TAKEN_WEIGHT = 20;
90 static const uint32_t ZH_NONTAKEN_WEIGHT = 12;
91 
92 static const uint32_t FPH_TAKEN_WEIGHT = 20;
93 static const uint32_t FPH_NONTAKEN_WEIGHT = 12;
94 
95 /// \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.
100 static 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.
106 static const uint32_t IH_NONTAKEN_WEIGHT = 1;
107 
108 // Standard weight value. Used when none of the heuristics set weight for
109 // the edge.
110 static const uint32_t NORMAL_WEIGHT = 16;
111 
112 // Minimum weight of an edge. Please note, that weight is NEVER 0.
113 static const uint32_t MIN_WEIGHT = 1;
114 
115 static uint32_t getMaxWeightFor(BasicBlock *BB) {
116  return UINT32_MAX / BB->getTerminator()->getNumSuccessors();
117 }
118 
119 
120 /// \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.
124 bool 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 
132  SmallVector<unsigned, 4> UnreachableEdges;
133  SmallVector<unsigned, 4> ReachableEdges;
134 
135  for (succ_iterator I = succ_begin(BB), E = succ_end(BB); I != E; ++I) {
136  if (PostDominatedByUnreachable.count(*I))
137  UnreachableEdges.push_back(I.getSuccessorIndex());
138  else
139  ReachableEdges.push_back(I.getSuccessorIndex());
140  }
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 =
153  std::max(UR_TAKEN_WEIGHT / (unsigned)UnreachableEdges.size(), MIN_WEIGHT);
154  for (SmallVectorImpl<unsigned>::iterator I = UnreachableEdges.begin(),
155  E = UnreachableEdges.end();
156  I != E; ++I)
157  setEdgeWeight(BB, *I, UnreachableWeight);
158 
159  if (ReachableEdges.empty())
160  return true;
161  uint32_t ReachableWeight =
162  std::max(UR_NONTAKEN_WEIGHT / (unsigned)ReachableEdges.size(),
163  NORMAL_WEIGHT);
164  for (SmallVectorImpl<unsigned>::iterator I = ReachableEdges.begin(),
165  E = ReachableEdges.end();
166  I != E; ++I)
167  setEdgeWeight(BB, *I, ReachableWeight);
168 
169  return true;
170 }
171 
172 // Propagate existing explicit probabilities from either profile data or
173 // 'expect' intrinsic processing.
174 bool BranchProbabilityInfo::calcMetadataWeights(BasicBlock *BB) {
175  TerminatorInst *TI = BB->getTerminator();
176  if (TI->getNumSuccessors() == 1)
177  return false;
178  if (!isa<BranchInst>(TI) && !isa<SwitchInst>(TI))
179  return false;
180 
181  MDNode *WeightsNode = TI->getMetadata(LLVMContext::MD_prof);
182  if (!WeightsNode)
183  return false;
184 
185  // 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)
188  return false;
189 
190  // 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)].
193  uint32_t WeightLimit = getMaxWeightFor(BB);
194  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)
205  setEdgeWeight(BB, i, Weights[i]);
206 
207  return true;
208 }
209 
210 /// \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.
218 bool 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;
225  SmallVector<unsigned, 4> NormalEdges;
226  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);
254  for (SmallVectorImpl<unsigned>::iterator I = ColdEdges.begin(),
255  E = ColdEdges.end();
256  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);
263  for (SmallVectorImpl<unsigned>::iterator I = NormalEdges.begin(),
264  E = NormalEdges.end();
265  I != E; ++I)
266  setEdgeWeight(BB, *I, NormalWeight);
267 
268  return true;
269 }
270 
271 // Calculate Edge Weights using "Pointer Heuristics". Predict a comparsion
272 // between two pointer or pointer and NULL will fail.
273 bool BranchProbabilityInfo::calcPointerHeuristics(BasicBlock *BB) {
275  if (!BI || !BI->isConditional())
276  return false;
277 
278  Value *Cond = BI->getCondition();
279  ICmpInst *CI = dyn_cast<ICmpInst>(Cond);
280  if (!CI || !CI->isEquality())
281  return false;
282 
283  Value *LHS = CI->getOperand(0);
284 
285  if (!LHS->getType()->isPointerTy())
286  return false;
287 
288  assert(CI->getOperand(1)->getType()->isPointerTy());
289 
290  // p != 0 -> isProb = true
291  // p == 0 -> isProb = false
292  // p != q -> isProb = true
293  // p == q -> isProb = false;
294  unsigned TakenIdx = 0, NonTakenIdx = 1;
295  bool isProb = CI->getPredicate() == ICmpInst::ICMP_NE;
296  if (!isProb)
297  std::swap(TakenIdx, NonTakenIdx);
298 
299  setEdgeWeight(BB, TakenIdx, PH_TAKEN_WEIGHT);
300  setEdgeWeight(BB, NonTakenIdx, PH_NONTAKEN_WEIGHT);
301  return true;
302 }
303 
304 // Calculate Edge Weights using "Loop Branch Heuristics". Predict backedges
305 // as taken, exiting edges as not-taken.
306 bool BranchProbabilityInfo::calcLoopBranchHeuristics(BasicBlock *BB) {
307  Loop *L = LI->getLoopFor(BB);
308  if (!L)
309  return false;
310 
311  SmallVector<unsigned, 8> BackEdges;
312  SmallVector<unsigned, 8> ExitingEdges;
313  SmallVector<unsigned, 8> InEdges; // Edges from header to the loop.
314 
315  for (succ_iterator I = succ_begin(BB), E = succ_end(BB); I != E; ++I) {
316  if (!L->contains(*I))
317  ExitingEdges.push_back(I.getSuccessorIndex());
318  else if (L->getHeader() == *I)
319  BackEdges.push_back(I.getSuccessorIndex());
320  else
321  InEdges.push_back(I.getSuccessorIndex());
322  }
323 
324  if (uint32_t numBackEdges = BackEdges.size()) {
325  uint32_t backWeight = LBH_TAKEN_WEIGHT / numBackEdges;
326  if (backWeight < NORMAL_WEIGHT)
327  backWeight = NORMAL_WEIGHT;
328 
329  for (SmallVectorImpl<unsigned>::iterator EI = BackEdges.begin(),
330  EE = BackEdges.end(); EI != EE; ++EI) {
331  setEdgeWeight(BB, *EI, backWeight);
332  }
333  }
334 
335  if (uint32_t numInEdges = InEdges.size()) {
336  uint32_t inWeight = LBH_TAKEN_WEIGHT / numInEdges;
337  if (inWeight < NORMAL_WEIGHT)
338  inWeight = NORMAL_WEIGHT;
339 
340  for (SmallVectorImpl<unsigned>::iterator EI = InEdges.begin(),
341  EE = InEdges.end(); EI != EE; ++EI) {
342  setEdgeWeight(BB, *EI, inWeight);
343  }
344  }
345 
346  if (uint32_t numExitingEdges = ExitingEdges.size()) {
347  uint32_t exitWeight = LBH_NONTAKEN_WEIGHT / numExitingEdges;
348  if (exitWeight < MIN_WEIGHT)
349  exitWeight = MIN_WEIGHT;
350 
351  for (SmallVectorImpl<unsigned>::iterator EI = ExitingEdges.begin(),
352  EE = ExitingEdges.end(); EI != EE; ++EI) {
353  setEdgeWeight(BB, *EI, exitWeight);
354  }
355  }
356 
357  return true;
358 }
359 
360 bool BranchProbabilityInfo::calcZeroHeuristics(BasicBlock *BB) {
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 
370  Value *RHS = CI->getOperand(1);
371  ConstantInt *CV = dyn_cast<ConstantInt>(RHS);
372  if (!CV)
373  return false;
374 
375  bool isProb;
376  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
400  isProb = false;
401  } else if (CV->isAllOnesValue()) {
402  switch (CI->getPredicate()) {
403  case CmpInst::ICMP_EQ:
404  // X == -1 -> Unlikely
405  isProb = false;
406  break;
407  case CmpInst::ICMP_NE:
408  // X != -1 -> Likely
409  isProb = true;
410  break;
411  case CmpInst::ICMP_SGT:
412  // InstCombine canonicalizes X >= 0 into X > -1.
413  // X >= 0 -> Likely
414  isProb = true;
415  break;
416  default:
417  return false;
418  }
419  } else {
420  return false;
421  }
422 
423  unsigned TakenIdx = 0, NonTakenIdx = 1;
424 
425  if (!isProb)
426  std::swap(TakenIdx, NonTakenIdx);
427 
428  setEdgeWeight(BB, TakenIdx, ZH_TAKEN_WEIGHT);
429  setEdgeWeight(BB, NonTakenIdx, ZH_NONTAKEN_WEIGHT);
430 
431  return true;
432 }
433 
434 bool BranchProbabilityInfo::calcFloatingPointHeuristics(BasicBlock *BB) {
436  if (!BI || !BI->isConditional())
437  return false;
438 
439  Value *Cond = BI->getCondition();
440  FCmpInst *FCmp = dyn_cast<FCmpInst>(Cond);
441  if (!FCmp)
442  return false;
443 
444  bool isProb;
445  if (FCmp->isEquality()) {
446  // f1 == f2 -> Unlikely
447  // f1 != f2 -> Likely
448  isProb = !FCmp->isTrueWhenEqual();
449  } else if (FCmp->getPredicate() == FCmpInst::FCMP_ORD) {
450  // !isnan -> Likely
451  isProb = true;
452  } else if (FCmp->getPredicate() == FCmpInst::FCMP_UNO) {
453  // isnan -> Unlikely
454  isProb = false;
455  } else {
456  return false;
457  }
458 
459  unsigned TakenIdx = 0, NonTakenIdx = 1;
460 
461  if (!isProb)
462  std::swap(TakenIdx, NonTakenIdx);
463 
464  setEdgeWeight(BB, TakenIdx, FPH_TAKEN_WEIGHT);
465  setEdgeWeight(BB, NonTakenIdx, FPH_NONTAKEN_WEIGHT);
466 
467  return true;
468 }
469 
470 bool BranchProbabilityInfo::calcInvokeHeuristics(BasicBlock *BB) {
472  if (!II)
473  return false;
474 
475  setEdgeWeight(BB, 0/*Index for Normal*/, IH_TAKEN_WEIGHT);
476  setEdgeWeight(BB, 1/*Index for Unwind*/, IH_NONTAKEN_WEIGHT);
477  return true;
478 }
479 
481  AU.addRequired<LoopInfo>();
482  AU.setPreservesAll();
483 }
484 
486  LastF = &F; // Store the last function we ran on for printing.
487  LI = &getAnalysis<LoopInfo>();
488  assert(PostDominatedByUnreachable.empty());
489  assert(PostDominatedByColdCall.empty());
490 
491  // Walk the basic blocks in post-order so that we can build up state about
492  // the successors of a block iteratively.
494  E = po_end(&F.getEntryBlock());
495  I != E; ++I) {
496  DEBUG(dbgs() << "Computing probabilities for " << I->getName() << "\n");
497  if (calcUnreachableHeuristics(*I))
498  continue;
499  if (calcMetadataWeights(*I))
500  continue;
501  if (calcColdCallHeuristics(*I))
502  continue;
503  if (calcLoopBranchHeuristics(*I))
504  continue;
505  if (calcPointerHeuristics(*I))
506  continue;
507  if (calcZeroHeuristics(*I))
508  continue;
509  if (calcFloatingPointHeuristics(*I))
510  continue;
511  calcInvokeHeuristics(*I);
512  }
513 
514  PostDominatedByUnreachable.clear();
515  PostDominatedByColdCall.clear();
516  return false;
517 }
518 
520  OS << "---- Branch Probabilities ----\n";
521  // We print the probabilities from the last function the analysis ran over,
522  // or the function it is currently running over.
523  assert(LastF && "Cannot print prior to running over a function");
524  for (Function::const_iterator BI = LastF->begin(), BE = LastF->end();
525  BI != BE; ++BI) {
526  for (succ_const_iterator SI = succ_begin(BI), SE = succ_end(BI);
527  SI != SE; ++SI) {
528  printEdgeProbability(OS << " ", BI, *SI);
529  }
530  }
531 }
532 
533 uint32_t BranchProbabilityInfo::getSumForBlock(const BasicBlock *BB) const {
534  uint32_t Sum = 0;
535 
536  for (succ_const_iterator I = succ_begin(BB), E = succ_end(BB); I != E; ++I) {
537  uint32_t Weight = getEdgeWeight(BB, I.getSuccessorIndex());
538  uint32_t PrevSum = Sum;
539 
540  Sum += Weight;
541  assert(Sum > PrevSum); (void) PrevSum;
542  }
543 
544  return Sum;
545 }
546 
548 isEdgeHot(const BasicBlock *Src, const BasicBlock *Dst) const {
549  // Hot probability is at least 4/5 = 80%
550  // FIXME: Compare against a static "hot" BranchProbability.
551  return getEdgeProbability(Src, Dst) > BranchProbability(4, 5);
552 }
553 
555  uint32_t Sum = 0;
556  uint32_t MaxWeight = 0;
557  BasicBlock *MaxSucc = 0;
558 
559  for (succ_iterator I = succ_begin(BB), E = succ_end(BB); I != E; ++I) {
560  BasicBlock *Succ = *I;
561  uint32_t Weight = getEdgeWeight(BB, Succ);
562  uint32_t PrevSum = Sum;
563 
564  Sum += Weight;
565  assert(Sum > PrevSum); (void) PrevSum;
566 
567  if (Weight > MaxWeight) {
568  MaxWeight = Weight;
569  MaxSucc = Succ;
570  }
571  }
572 
573  // Hot probability is at least 4/5 = 80%
574  if (BranchProbability(MaxWeight, Sum) > BranchProbability(4, 5))
575  return MaxSucc;
576 
577  return 0;
578 }
579 
580 /// Get the raw edge weight for the edge. If can't find it, return
581 /// DEFAULT_WEIGHT value. Here an edge is specified using PredBlock and an index
582 /// to the successors.
584 getEdgeWeight(const BasicBlock *Src, unsigned IndexInSuccessors) const {
586  Weights.find(std::make_pair(Src, IndexInSuccessors));
587 
588  if (I != Weights.end())
589  return I->second;
590 
591  return DEFAULT_WEIGHT;
592 }
593 
594 /// Get the raw edge weight calculated for the block pair. This returns the sum
595 /// of all raw edge weights from Src to Dst.
597 getEdgeWeight(const BasicBlock *Src, const BasicBlock *Dst) const {
598  uint32_t Weight = 0;
600  for (succ_const_iterator I = succ_begin(Src), E = succ_end(Src); I != E; ++I)
601  if (*I == Dst) {
602  MapI = Weights.find(std::make_pair(Src, I.getSuccessorIndex()));
603  if (MapI != Weights.end())
604  Weight += MapI->second;
605  }
606  return (Weight == 0) ? DEFAULT_WEIGHT : Weight;
607 }
608 
609 /// Set the edge weight for a given edge specified by PredBlock and an index
610 /// to the successors.
612 setEdgeWeight(const BasicBlock *Src, unsigned IndexInSuccessors,
613  uint32_t Weight) {
614  Weights[std::make_pair(Src, IndexInSuccessors)] = Weight;
615  DEBUG(dbgs() << "set edge " << Src->getName() << " -> "
616  << IndexInSuccessors << " successor weight to "
617  << Weight << "\n");
618 }
619 
620 /// Get an edge's probability, relative to other out-edges from Src.
622 getEdgeProbability(const BasicBlock *Src, unsigned IndexInSuccessors) const {
623  uint32_t N = getEdgeWeight(Src, IndexInSuccessors);
624  uint32_t D = getSumForBlock(Src);
625 
626  return BranchProbability(N, D);
627 }
628 
629 /// Get the probability of going from Src to Dst. It returns the sum of all
630 /// probabilities for edges from Src to Dst.
632 getEdgeProbability(const BasicBlock *Src, const BasicBlock *Dst) const {
633 
634  uint32_t N = getEdgeWeight(Src, Dst);
635  uint32_t D = getSumForBlock(Src);
636 
637  return BranchProbability(N, D);
638 }
639 
640 raw_ostream &
642  const BasicBlock *Src,
643  const BasicBlock *Dst) const {
644 
645  const BranchProbability Prob = getEdgeProbability(Src, Dst);
646  OS << "edge " << Src->getName() << " -> " << Dst->getName()
647  << " probability is " << Prob
648  << (isEdgeHot(Src, Dst) ? " [HOT edge]\n" : "\n");
649 
650  return OS;
651 }
void push_back(const T &Elt)
Definition: SmallVector.h:236
void reserve(unsigned N)
Definition: SmallVector.h:425
raw_ostream & printEdgeProbability(raw_ostream &OS, const BasicBlock *Src, const BasicBlock *Dst) const
Print an edge's probability.
The main container class for the LLVM Intermediate Representation.
Definition: Module.h:112
iterator end()
Definition: Function.h:397
enable_if_c<!is_simple_type< Y >::value, typename cast_retty< X, const Y >::ret_type >::type dyn_cast(const Y &Val)
Definition: Casting.h:266
unsigned getNumOperands() const
getNumOperands - Return number of MDNode operands.
Definition: Metadata.h:142
static const uint32_t FPH_TAKEN_WEIGHT
INITIALIZE_PASS_BEGIN(BranchProbabilityInfo,"branch-prob","Branch Probability Analysis", false, true) INITIALIZE_PASS_END(BranchProbabilityInfo
static bool isEquality(Predicate P)
Definition: Instructions.h:997
MDNode - a tuple of other values.
Definition: Metadata.h:69
F(f)
BasicBlock * getHotSucc(BasicBlock *BB) const
Retrieve the hot successor of a block if one exists.
branch prob
static uint32_t getMaxWeightFor(BasicBlock *BB)
BlockT * getHeader() const
Definition: LoopInfo.h:95
StringRef getName() const
Definition: Value.cpp:167
iterator begin()
Definition: BasicBlock.h:193
Value * getOperand(unsigned i) const LLVM_READONLY
getOperand - Return specified operand.
Definition: Metadata.cpp:307
branch Branch Probability false
AnalysisUsage & addRequired()
#define INITIALIZE_PASS_DEPENDENCY(depName)
Definition: PassSupport.h:167
1 0 0 0 True if unordered: isnan(X) | isnan(Y)
Definition: InstrTypes.h:661
void print(raw_ostream &OS, const Module *M=0) const
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
Definition: PassSupport.h:172
po_iterator< T > po_begin(T G)
ID
LLVM Calling Convention Representation.
Definition: CallingConv.h:26
Interval::succ_iterator succ_begin(Interval *I)
Definition: Interval.h:107
bool LLVM_ATTRIBUTE_UNUSED_RESULT empty() const
Definition: SmallVector.h:56
Represents a floating point comparison operator.
uint64_t getLimitedValue(uint64_t Limit=~0ULL) const
Get the constant's value with a saturation limit.
Definition: Constants.h:218
static const uint32_t UR_TAKEN_WEIGHT
Unreachable-terminating branch taken weight.
Loop * getLoopFor(const BasicBlock *BB) const
Definition: LoopInfo.h:618
iterator begin()
Definition: Function.h:395
Interval::succ_iterator succ_end(Interval *I)
Definition: Interval.h:110
unsigned getNumSuccessors() const
Definition: InstrTypes.h:59
#define true
Definition: ConvertUTF.c:65
static const uint32_t IH_NONTAKEN_WEIGHT
Invoke-terminating normal branch not-taken weight.
LLVM Basic Block Representation.
Definition: BasicBlock.h:72
void setEdgeWeight(const BasicBlock *Src, unsigned IndexInSuccessors, uint32_t Weight)
Set the raw edge weight for a given edge.
static const uint32_t CC_TAKEN_WEIGHT
Weight for a branch taken going into a cold block.
bool contains(const LoopT *L) const
Definition: LoopInfo.h:104
Represent an integer comparison operator.
Definition: Instructions.h:911
Value * getOperand(unsigned i) const
Definition: User.h:88
0 1 1 1 True if ordered (no nans)
Definition: InstrTypes.h:660
Predicate getPredicate() const
Return the predicate for this instruction.
Definition: InstrTypes.h:714
static const uint32_t ZH_NONTAKEN_WEIGHT
Marks function as being in a cold path.
Definition: Attributes.h:74
bool isPointerTy() const
Definition: Type.h:220
signed greater than
Definition: InstrTypes.h:678
bool isConditional() const
Class for constant integers.
Definition: Constants.h:51
iterator end()
Definition: BasicBlock.h:195
static const uint32_t NORMAL_WEIGHT
Type * getType() const
Definition: Value.h:111
MDNode * getMetadata(unsigned KindID) const
Definition: Instruction.h:140
signed less than
Definition: InstrTypes.h:680
bool isEquality() const
Determine if this is an equality predicate.
bool isTrueWhenEqual() const
Determine if this is true when both operands are the same.
Definition: InstrTypes.h:792
bool isZero() const
Definition: Constants.h:160
const BasicBlock & getEntryBlock() const
Definition: Function.h:380
bool isEdgeHot(const BasicBlock *Src, const BasicBlock *Dst) const
Test if an edge is hot relative to other out-edges of the Src.
branch Branch Probability Analysis
void getAnalysisUsage(AnalysisUsage &AU) const
raw_ostream & dbgs()
dbgs - Return a circular-buffered debug stream.
Definition: Debug.cpp:101
bool isAllOnesValue() const
Definition: Constants.cpp:88
void swap(llvm::BitVector &LHS, llvm::BitVector &RHS)
Implement std::swap in terms of BitVector swap.
Definition: BitVector.h:591
static const uint32_t FPH_NONTAKEN_WEIGHT
static const uint32_t MIN_WEIGHT
static const uint32_t IH_TAKEN_WEIGHT
Invoke-terminating normal branch taken weight.
Value * getCondition() const
Analysis pass providing branch probability information.
static const uint32_t PH_NONTAKEN_WEIGHT
po_iterator< T > po_end(T G)
static const uint32_t LBH_NONTAKEN_WEIGHT
#define I(x, y, z)
Definition: MD5.cpp:54
#define N
static const uint32_t LBH_TAKEN_WEIGHT
TerminatorInst * getTerminator()
Returns the terminator instruction if the block is well formed or null if the block is not well forme...
Definition: BasicBlock.cpp:120
static const uint32_t CC_NONTAKEN_WEIGHT
Weight for a branch not-taken into a cold block.
LLVM Value Representation.
Definition: Value.h:66
static const uint32_t ZH_TAKEN_WEIGHT
static const uint32_t PH_TAKEN_WEIGHT
BranchProbability getEdgeProbability(const BasicBlock *Src, unsigned IndexInSuccessors) const
Get an edge's probability, relative to other out-edges of the Src.
#define DEBUG(X)
Definition: Debug.h:97
uint32_t getEdgeWeight(const BasicBlock *Src, unsigned IndexInSuccessors) const
Get the raw edge weight calculated for the edge.
bool isOne() const
Determine if the value is one.
Definition: Constants.h:168
static const uint32_t UR_NONTAKEN_WEIGHT
Unreachable-terminating branch not-taken weight.