Home
last modified time | relevance | path

Searched refs:atIneq (Results 1 – 4 of 4) sorted by relevance

/external/llvm-project/mlir/lib/Analysis/
DAffineStructures.cpp312 atIneq(r, c) = inequalities[r * oldNumReservedCols + c]; in addId()
314 atIneq(r, c + 1) = inequalities[r * oldNumReservedCols + c]; in addId()
316 atIneq(r, absolutePos) = 0; in addId()
733 return isEq ? cst.atEq(rowIdx, colIdx) : cst.atIneq(rowIdx, colIdx); in findConstraintWithNonZeroAt()
751 : constraints->atIneq(rowIdx, colIdx); in normalizeConstraintByGCD()
761 : constraints->atIneq(rowIdx, j) = v; in normalizeConstraintByGCD()
802 int64_t v = isEq ? atEq(i, j) : atIneq(i, j); in hasInvalidConstraint()
812 int64_t v = isEq ? atEq(i, numCols - 1) : atIneq(i, numCols - 1); in hasInvalidConstraint()
835 return isEq ? constraints->atEq(i, j) : constraints->atIneq(i, j); in eliminateFromConstraint()
855 : constraints->atIneq(rowIdx, j) = v; in eliminateFromConstraint()
[all …]
DAffineAnalysis.cpp386 return isEq ? domain.atEq(i, j) : domain.atIneq(i, j); in addDomainConstraints()
549 srcLocalVarCst.atIneq(r, j); in addMemRefAccessConstraints()
552 ineq[newLocalIdOffset + j] = srcLocalVarCst.atIneq(r, srcNumIds + j); in addMemRefAccessConstraints()
555 srcLocalVarCst.atIneq(r, srcLocalVarCst.getNumCols() - 1); in addMemRefAccessConstraints()
564 destLocalVarCst.atIneq(r, j); in addMemRefAccessConstraints()
568 destLocalVarCst.atIneq(r, dstNumIds + j); in addMemRefAccessConstraints()
571 destLocalVarCst.atIneq(r, destLocalVarCst.getNumCols() - 1); in addMemRefAccessConstraints()
/external/llvm-project/mlir/include/mlir/Analysis/
DAffineStructures.h178 inline int64_t atIneq(unsigned i, unsigned j) const { in atIneq() function
182 inline int64_t &atIneq(unsigned i, unsigned j) { in atIneq() function
/external/llvm-project/mlir/lib/Transforms/Utils/
DLoopUtils.cpp2977 cst.atIneq(lbIndex, i) = fullTileLb[i] - cst.atIneq(lbIndex, i); in createSeparationCondition()
2982 cst.atIneq(ubIndex, i) -= fullTileUb[i]; in createSeparationCondition()