Lines Matching defs:Exact

8236   auto *ExitCount = dyn_cast<SCEVConstant>(getBackedgeTakenCount(L, Exact));
8316   case Exact:
8330   case Exact:
8351   case Exact:
8771          "Exact is not allowed to be less precise than Constant Max");
8774          "Exact is not allowed to be less precise than Symbolic Max");
8873     // Exact always implies symbolic, only check symbolic.
8878              "Exact is known but symbolic isn't?");
10644     const SCEV *Exact =
10647     if (Exact != getCouldNotCompute()) {
10648       APInt MaxInt = getUnsignedRangeMax(applyLoopGuards(Exact, Guards));
10650           getConstant(APIntOps::umin(MaxInt, getUnsignedRangeMax(Exact)));
10653         isa<SCEVCouldNotCompute>(Exact) ? ConstantMax : Exact;
10654     return ExitLimit(Exact, ConstantMax, SymbolicMax, false, Predicates);