Home
last modified time | relevance | path

Searched defs:SymbolicMaxNotTaken (Results 1 – 1 of 1) sorted by relevance

/llvm-project/llvm/lib/Analysis/
H A DScalarEvolution.cpp8704 ExitLimit(const SCEV * E,const SCEV * ConstantMaxNotTaken,const SCEV * SymbolicMaxNotTaken,bool MaxOrZero,ArrayRef<const SmallPtrSetImpl<const SCEVPredicate * > * > PredSetList) ExitLimit() argument
8740 ExitLimit(const SCEV * E,const SCEV * ConstantMaxNotTaken,const SCEV * SymbolicMaxNotTaken,bool MaxOrZero,const SmallPtrSetImpl<const SCEVPredicate * > & PredSet) ExitLimit() argument
[all...]