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