Searched defs:NewConstraint (Results 1 – 4 of 4) sorted by relevance
132 const Formula &NewConstraint = in simplifyConstraints() local
1369 Constraint &NewConstraint, const SCEV *&SplitIter) const { in weakCrossingSIVtest() argument 2227 testSIV(const SCEV * Src,const SCEV * Dst,unsigned & Level,FullDependence & Result,Constraint & NewConstraint,const SCEV * & SplitIter) const testSIV() argument 3786 Constraint NewConstraint; depends() local 4112 Constraint NewConstraint; getSplitIteration() local [all...]
2068 ClassOrSymbol CoS, RangeSet NewConstraint) { in assign() argument 2108 [[nodiscard]] ProgramStateRef assign(SymbolRef Sym, RangeSet NewConstraint) { in assign() argument 2123 RangeSet NewConstraint) { in assign() argument [all...]