Lines Matching defs:UB
327 uint32_t UB = ScoreUBs[T] - getWaitCountMax(EXP_CNT);
328 if (ScoreLBs[T] < UB && UB < ScoreUBs[T])
329 ScoreLBs[T] = UB;
670 uint32_t UB = getScoreUB(T);
674 OS << " VM_CNT(" << UB - LB << "): ";
677 OS << " LGKM_CNT(" << UB - LB << "): ";
680 OS << " EXP_CNT(" << UB - LB << "): ";
683 OS << " VS_CNT(" << UB - LB << "): ";
686 OS << " UNKNOWN(" << UB - LB << "): ";
690 if (LB < UB) {
731 const uint32_t UB = getScoreUB(T);
732 if (Count < UB && UB - Count > LB)
744 const uint32_t UB = getScoreUB(T);
745 if ((UB >= ScoreToWait) && (ScoreToWait > LB)) {
761 uint32_t NeededWait = std::min(UB - ScoreToWait, getWaitCountMax(T) - 1);
775 const uint32_t UB = getScoreUB(T);
776 if (Count >= UB)
781 setScoreLB(T, std::max(getScoreLB(T), UB - Count));
783 setScoreLB(T, UB);