Lines Matching defs:varStart

388 void IntegerRelation::removeVarRange(VarKind kind, unsigned varStart,
392   if (varStart >= varLimit)
397   equalities.removeColumns(offset + varStart, varLimit - varStart);
398   inequalities.removeColumns(offset + varStart, varLimit - varStart);
401   space.removeVarRange(kind, varStart, varLimit);
404 void IntegerRelation::removeVarRange(unsigned varStart, unsigned varLimit) {
407   if (varStart >= varLimit)
436   removeVarKindInRange(VarKind::Domain, varStart, varLimit);
437   removeVarKindInRange(VarKind::Range, varStart, varLimit);
438   removeVarKindInRange(VarKind::Symbol, varStart, varLimit);
439   removeVarKindInRange(VarKind::Local, varStart, varLimit);
1462 void IntegerRelation::convertVarKind(VarKind srcKind, unsigned varStart,
1467   if (varStart >= varLimit)
1472   unsigned convertCount = varLimit - varStart;
1475   equalities.moveColumns(srcOffset + varStart, convertCount,
1477   inequalities.moveColumns(srcOffset + varStart, convertCount,
1480   space.convertVarKind(srcKind, varStart, varLimit - varStart, dstKind, pos);