Searched refs:SymbolicMax (Results 1 – 2 of 2) sorted by relevance
1513 const SCEV *SymbolicMax = nullptr;
8662 if (!SymbolicMax) { in getSymbolicMax()8685 SymbolicMax = SE->getCouldNotCompute(); in getSymbolicMax()8687 SymbolicMax = in getSymbolicMax()8690 return SymbolicMax; in getSymbolicMax()10559 const SCEV *SymbolicMax = in howFarToZero() local10561 return ExitLimit(Exact, ConstantMax, SymbolicMax, false, Predicates); in howFarToZero()