Lines Matching defs:HotProb
724 // HotProb to break topo-order). If we exclude E that is not in BlockFilter
1497 // edge: Prob(Succ->BB) needs to >= HotProb in order to be selected (without
1538 BranchProbability HotProb = getLayoutSuccessorProbThreshold(BB);
1562 // freq(BB->Succ) > freq(Succ) * HotProb
1563 // i.e. freq(BB->Succ) > freq(BB->Succ) * HotProb + freq(Pred->Succ) *
1564 // HotProb
1565 // i.e. freq((BB->Succ) * (1 - HotProb) > freq(Pred->Succ) * HotProb
1567 // prob(BB->Succ) > HotProb. (freq(Succ) = freq(BB) for a triangle)
1570 if (PredEdgeFreq * HotProb >= CandidateEdgeFreq * HotProb.getCompl()) {
1599 const BranchProbability HotProb(StaticLikelyProb, 100);