Searched refs:SymbolicMax (Results 1 – 2 of 2) sorted by relevance
1513 const SCEV *SymbolicMax = nullptr;
8660 if (!SymbolicMax) { in getSymbolicMax()8683 SymbolicMax = SE->getCouldNotCompute(); in getSymbolicMax()8685 SymbolicMax = in getSymbolicMax()8688 return SymbolicMax; in getSymbolicMax()10557 const SCEV *SymbolicMax = in howFarToZero() local10559 return ExitLimit(Exact, ConstantMax, SymbolicMax, false, Predicates); in howFarToZero()