197     const auto &flatExpr = flatExprs[i];  in FlatAffineConstraints()  local
198     assert(flatExpr.size() == getNumCols());  in FlatAffineConstraints()
200       addEquality(flatExpr);  in FlatAffineConstraints()
202       addInequality(flatExpr);  in FlatAffineConstraints()
498     const auto &flatExpr = flatExprs[r];  in composeMap()  local
499     assert(flatExpr.size() >= vMap->getNumOperands() + 1);  in composeMap()
513       eqToAdd[loc] = -flatExpr[i];  in composeMap()
517     unsigned end = flatExpr.size() - 1;  in composeMap()
519       eqToAdd[j] = -flatExpr[i];  in composeMap()
523     eqToAdd[getNumCols() - 1] = -flatExpr[flatExpr.size() - 1];  in composeMap()
571     const auto &flatExpr = flatExprs[r];  in composeMatchingMap()  local
572     assert(flatExpr.size() >= other.getNumInputs() + 1);  in composeMatchingMap()
582       eqToAdd[e + i] = -flatExpr[i];  in composeMatchingMap()
586     unsigned end = flatExpr.size() - 1;  in composeMatchingMap()
588       eqToAdd[j] = -flatExpr[i];  in composeMatchingMap()
592     eqToAdd[getNumCols() - 1] = -flatExpr[flatExpr.size() - 1];  in composeMatchingMap()
1801   for (const auto &flatExpr : flatExprs) {  in addLowerOrUpperBound()  local
1806       ineq[positions[j]] = lower ? -flatExpr[j] : flatExpr[j];  in addLowerOrUpperBound()
1809     unsigned numLocalIds = flatExpr.size() - 1 - numOperands;  in addLowerOrUpperBound()
1813           lower ? -flatExpr[numOperands + jj] : flatExpr[numOperands + jj];  in addLowerOrUpperBound()
1817         lower ? -flatExpr[flatExpr.size() - 1]  in addLowerOrUpperBound()
1819               : flatExpr[flatExpr.size() - 1] - 1;  in addLowerOrUpperBound()