Lines Matching defs:HotProb
739 // HotProb to break topo-order). If we exclude E that is not in BlockFilter
1510 // edge: Prob(Succ->BB) needs to >= HotProb in order to be selected (without
1551 BranchProbability HotProb = getLayoutSuccessorProbThreshold(BB);
1575 // freq(BB->Succ) > freq(Succ) * HotProb
1576 // i.e. freq(BB->Succ) > freq(BB->Succ) * HotProb + freq(Pred->Succ) *
1577 // HotProb
1578 // i.e. freq((BB->Succ) * (1 - HotProb) > freq(Pred->Succ) * HotProb
1580 // prob(BB->Succ) > HotProb. (freq(Succ) = freq(BB) for a triangle)
1583 if (PredEdgeFreq * HotProb >= CandidateEdgeFreq * HotProb.getCompl()) {
1612 const BranchProbability HotProb(StaticLikelyProb, 100);