diff options
Diffstat (limited to 'lib/Transforms/Scalar/JumpThreading.cpp')
-rw-r--r-- | lib/Transforms/Scalar/JumpThreading.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lib/Transforms/Scalar/JumpThreading.cpp b/lib/Transforms/Scalar/JumpThreading.cpp index ade4fbbcb6f..e6cab3f34cf 100644 --- a/lib/Transforms/Scalar/JumpThreading.cpp +++ b/lib/Transforms/Scalar/JumpThreading.cpp @@ -192,11 +192,12 @@ JumpThreadingPass::JumpThreadingPass(int T) { // P(cond == true ) = P(A) + P(cond == true | B) * P(B) // // which gives us: -// P(A) <= P(c == true), i.e. +// P(A) is less than P(cond == true), i.e. // P(t == true) <= P(cond == true) // -// In other words, if we know P(cond == true), we know that P(t == true) -// can not be greater than 1%. +// In other words, if we know P(cond == true) is unlikely, we know +// that P(t == true) is also unlikely. +// static void updatePredecessorProfileMetadata(PHINode *PN, BasicBlock *BB) { BranchInst *CondBr = dyn_cast<BranchInst>(BB->getTerminator()); if (!CondBr) |