Lines Matching defs:ConstantMaxNotTaken

8629       return ENT.ConstantMaxNotTaken;
8705     const SCEV *E, const SCEV *ConstantMaxNotTaken,
8708     : ExactNotTaken(E), ConstantMaxNotTaken(ConstantMaxNotTaken),
8713   if (ConstantMaxNotTaken->isZero()) {
8714     this->ExactNotTaken = E = ConstantMaxNotTaken;
8715     this->SymbolicMaxNotTaken = SymbolicMaxNotTaken = ConstantMaxNotTaken;
8719           !isa<SCEVCouldNotCompute>(ConstantMaxNotTaken)) &&
8725           !isa<SCEVCouldNotCompute>(ConstantMaxNotTaken)) &&
8727   assert((isa<SCEVCouldNotCompute>(ConstantMaxNotTaken) ||
8728           isa<SCEVConstant>(ConstantMaxNotTaken)) &&
8735   assert((isa<SCEVCouldNotCompute>(ConstantMaxNotTaken) ||
8736           !ConstantMaxNotTaken->getType()->isPointerTy()) &&
8741     const SCEV *E, const SCEV *ConstantMaxNotTaken,
8744     : ExitLimit(E, ConstantMaxNotTaken, SymbolicMaxNotTaken, MaxOrZero,
8762                                 EL.ConstantMaxNotTaken, EL.SymbolicMaxNotTaken,
8830     // MaxBECount is the minimum EL.ConstantMaxNotTaken of computable
8832     // EL.ConstantMaxNotTaken, where CouldNotCompute is considered greater than
8834     // computable EL.ConstantMaxNotTaken.
8835     if (EL.ConstantMaxNotTaken != getCouldNotCompute() && Latch &&
8838         MustExitMaxBECount = EL.ConstantMaxNotTaken;
8842                                                         EL.ConstantMaxNotTaken);
8845       if (!MayExitMaxBECount || EL.ConstantMaxNotTaken == getCouldNotCompute())
8846         MayExitMaxBECount = EL.ConstantMaxNotTaken;
8849                                                        EL.ConstantMaxNotTaken);
8861   // EL.ConstantMaxNotTaken
9073     if (EL0.ConstantMaxNotTaken == getCouldNotCompute())
9074       ConstantMaxBECount = EL1.ConstantMaxNotTaken;
9075     else if (EL1.ConstantMaxNotTaken == getCouldNotCompute())
9076       ConstantMaxBECount = EL0.ConstantMaxNotTaken;
9078       ConstantMaxBECount = getUMinFromMismatchedTypes(EL0.ConstantMaxNotTaken,
9079                                                       EL1.ConstantMaxNotTaken);
9098   // EL1.ExactNotTaken to match, but for EL0.ConstantMaxNotTaken and
9099   // EL1.ConstantMaxNotTaken to not.