Lines Matching defs:ConstantMaxNotTaken

8756     const SCEV *E, const SCEV *ConstantMaxNotTaken,
8759     : ExactNotTaken(E), ConstantMaxNotTaken(ConstantMaxNotTaken),
8764   if (ConstantMaxNotTaken->isZero()) {
8765     this->ExactNotTaken = E = ConstantMaxNotTaken;
8766     this->SymbolicMaxNotTaken = SymbolicMaxNotTaken = ConstantMaxNotTaken;
8770           !isa<SCEVCouldNotCompute>(ConstantMaxNotTaken)) &&
8776           !isa<SCEVCouldNotCompute>(ConstantMaxNotTaken)) &&
8778   assert((isa<SCEVCouldNotCompute>(ConstantMaxNotTaken) ||
8779           isa<SCEVConstant>(ConstantMaxNotTaken)) &&
8792   assert((isa<SCEVCouldNotCompute>(ConstantMaxNotTaken) ||
8793           !ConstantMaxNotTaken->getType()->isPointerTy()) &&
8798                                       const SCEV *ConstantMaxNotTaken,
8802     : ExitLimit(E, ConstantMaxNotTaken, SymbolicMaxNotTaken, MaxOrZero,
8820                                 EL.ConstantMaxNotTaken, EL.SymbolicMaxNotTaken,
8888     // MaxBECount is the minimum EL.ConstantMaxNotTaken of computable
8890     // EL.ConstantMaxNotTaken, where CouldNotCompute is considered greater than
8892     // computable EL.ConstantMaxNotTaken.
8893     if (EL.ConstantMaxNotTaken != getCouldNotCompute() && Latch &&
8896         MustExitMaxBECount = EL.ConstantMaxNotTaken;
8900                                                         EL.ConstantMaxNotTaken);
8903       if (!MayExitMaxBECount || EL.ConstantMaxNotTaken == getCouldNotCompute())
8904         MayExitMaxBECount = EL.ConstantMaxNotTaken;
8907                                                        EL.ConstantMaxNotTaken);
8919   // EL.ConstantMaxNotTaken
9131     if (EL0.ConstantMaxNotTaken == getCouldNotCompute())
9132       ConstantMaxBECount = EL1.ConstantMaxNotTaken;
9133     else if (EL1.ConstantMaxNotTaken == getCouldNotCompute())
9134       ConstantMaxBECount = EL0.ConstantMaxNotTaken;
9136       ConstantMaxBECount = getUMinFromMismatchedTypes(EL0.ConstantMaxNotTaken,
9137                                                       EL1.ConstantMaxNotTaken);
9156   // EL1.ExactNotTaken to match, but for EL0.ConstantMaxNotTaken and
9157   // EL1.ConstantMaxNotTaken to not.