Lines Matching refs:varStart
294 void IntegerRelation::removeVarRange(VarKind kind, unsigned varStart, in removeVarRange() argument
298 if (varStart >= varLimit) in removeVarRange()
303 equalities.removeColumns(offset + varStart, varLimit - varStart); in removeVarRange()
304 inequalities.removeColumns(offset + varStart, varLimit - varStart); in removeVarRange()
307 space.removeVarRange(kind, varStart, varLimit); in removeVarRange()
310 void IntegerRelation::removeVarRange(unsigned varStart, unsigned varLimit) { in removeVarRange() argument
313 if (varStart >= varLimit) in removeVarRange()
342 removeVarKindInRange(VarKind::Domain, varStart, varLimit); in removeVarRange()
343 removeVarKindInRange(VarKind::Range, varStart, varLimit); in removeVarRange()
344 removeVarKindInRange(VarKind::Symbol, varStart, varLimit); in removeVarRange()
345 removeVarKindInRange(VarKind::Local, varStart, varLimit); in removeVarRange()
1257 void IntegerRelation::convertVarKind(VarKind srcKind, unsigned varStart, in convertVarKind() argument
1262 if (varStart >= varLimit) in convertVarKind()
1266 unsigned convertCount = varLimit - varStart; in convertVarKind()
1278 swapVar(offset + varStart + i, newVarsBegin + i); in convertVarKind()
1281 removeVarRange(srcKind, varStart, varLimit); in convertVarKind()