Lines Matching defs:SymbolicMaxNotTaken

8722       const SCEV *ExitCount = ENT.SymbolicMaxNotTaken;
8757     const SCEV *SymbolicMaxNotTaken, bool MaxOrZero,
8760       SymbolicMaxNotTaken(SymbolicMaxNotTaken), MaxOrZero(MaxOrZero) {
8766     this->SymbolicMaxNotTaken = SymbolicMaxNotTaken = ConstantMaxNotTaken;
8773           !isa<SCEVCouldNotCompute>(SymbolicMaxNotTaken)) &&
8775   assert((isa<SCEVCouldNotCompute>(SymbolicMaxNotTaken) ||
8799                                       const SCEV *SymbolicMaxNotTaken,
8802     : ExitLimit(E, ConstantMaxNotTaken, SymbolicMaxNotTaken, MaxOrZero,
8820                                 EL.ConstantMaxNotTaken, EL.SymbolicMaxNotTaken,
8874     if (EL.SymbolicMaxNotTaken != getCouldNotCompute())
8924     if (!isa<SCEVConstant>(Pair.second.SymbolicMaxNotTaken))
8925       BECountUsers[Pair.second.SymbolicMaxNotTaken].insert(
9138     if (EL0.SymbolicMaxNotTaken == getCouldNotCompute())
9139       SymbolicMaxBECount = EL1.SymbolicMaxNotTaken;
9140     else if (EL1.SymbolicMaxNotTaken == getCouldNotCompute())
9141       SymbolicMaxBECount = EL0.SymbolicMaxNotTaken;
9144           EL0.SymbolicMaxNotTaken, EL1.SymbolicMaxNotTaken, UseSequentialUMin);
14200       for (const SCEV *S : {ENT.ExactNotTaken, ENT.SymbolicMaxNotTaken}) {
14553         for (const SCEV *S : {ENT.ExactNotTaken, ENT.SymbolicMaxNotTaken}) {