Lines Matching defs:SymbolicMaxNotTaken

8638       return ENT.SymbolicMaxNotTaken;
8670       const SCEV *ExitCount = ENT.SymbolicMaxNotTaken;
8706     const SCEV *SymbolicMaxNotTaken, bool MaxOrZero,
8709       SymbolicMaxNotTaken(SymbolicMaxNotTaken), MaxOrZero(MaxOrZero) {
8715     this->SymbolicMaxNotTaken = SymbolicMaxNotTaken = ConstantMaxNotTaken;
8722           !isa<SCEVCouldNotCompute>(SymbolicMaxNotTaken)) &&
8724   assert((isa<SCEVCouldNotCompute>(SymbolicMaxNotTaken) ||
8742     const SCEV *SymbolicMaxNotTaken, bool MaxOrZero,
8744     : ExitLimit(E, ConstantMaxNotTaken, SymbolicMaxNotTaken, MaxOrZero,
8762                                 EL.ConstantMaxNotTaken, EL.SymbolicMaxNotTaken,
8816     if (EL.SymbolicMaxNotTaken != getCouldNotCompute())
8866     if (!isa<SCEVConstant>(Pair.second.SymbolicMaxNotTaken))
8867       BECountUsers[Pair.second.SymbolicMaxNotTaken].insert(
9080     if (EL0.SymbolicMaxNotTaken == getCouldNotCompute())
9081       SymbolicMaxBECount = EL1.SymbolicMaxNotTaken;
9082     else if (EL1.SymbolicMaxNotTaken == getCouldNotCompute())
9083       SymbolicMaxBECount = EL0.SymbolicMaxNotTaken;
9086           EL0.SymbolicMaxNotTaken, EL1.SymbolicMaxNotTaken, UseSequentialUMin);
14026       for (const SCEV *S : {ENT.ExactNotTaken, ENT.SymbolicMaxNotTaken}) {
14379         for (const SCEV *S : {ENT.ExactNotTaken, ENT.SymbolicMaxNotTaken}) {