// 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)