Searched refs:SymbolicMax (Results 1 – 2 of 2) sorted by relevance
1573 const SCEV *SymbolicMax = nullptr;
8692 if (!SymbolicMax) { in getSymbolicMax()8714 SymbolicMax = SE->getCouldNotCompute(); in getSymbolicMax()8716 SymbolicMax = in getSymbolicMax()8719 return SymbolicMax; in getSymbolicMax()10631 const SCEV *SymbolicMax = in howFarToZero() local10633 return ExitLimit(Exact, ConstantMax, SymbolicMax, false, Predicates); in howFarToZero()