Searched refs:SymbolicMax (Results 1 – 2 of 2) sorted by relevance
1486 const SCEV *SymbolicMax = nullptr;
8641 if (!SymbolicMax) in getSymbolicMax()8642 SymbolicMax = SE->computeSymbolicMaxBackedgeTakenCount(L); in getSymbolicMax()8643 return SymbolicMax; in getSymbolicMax()10490 const SCEV *SymbolicMax = in howFarToZero() local10492 return ExitLimit(Exact, ConstantMax, SymbolicMax, false, Predicates); in howFarToZero()