Lines Matching refs:getNumCols
175 assert(flatExpr.size() == getNumCols()); in FlatAffineValueConstraints()
481 SmallVector<int64_t, 8> eqToAdd(getNumCols(), 0); in composeMatchingMap()
498 eqToAdd[getNumCols() - 1] = -flatExpr[flatExpr.size() - 1]; in composeMatchingMap()
611 SmallVector<int64_t, 8> dividend(getNumCols(), 0); in addAffineForOpDomain()
617 SmallVector<int64_t, 8> eq(getNumCols(), 0); in addAffineForOpDomain()
621 eq[getNumCols() - 2] = -step; in addAffineForOpDomain()
767 if (cst.atEq(curEquality, cst.getNumCols() - 1) != 0) in detectAsMod()
867 SmallVector<int64_t, 8> dividend(cst.getNumCols()); in detectAsFloorDiv()
1194 SmallVector<int64_t> ineq(getNumCols(), 0); in addBound()
1215 ineq[getNumCols() - 1] = (lower ? -flatExpr[flatExpr.size() - 1] in addBound()
1493 bound.reserve(getNumCols() - 1); in getIneqAsAffineValueMap()
1763 unsigned oldCols = localVarCst.getNumCols(); in getRelationFromMap()
1771 SmallVector<int64_t, 8> eq(localVarCst.getNumCols()); in getRelationFromMap()