Searched refs:getNumInequalities (Results 1 – 8 of 8) sorted by relevance
| /external/llvm-project/mlir/unittests/Analysis/ |
| D | AffineStructuresTest.cpp | 273 EXPECT_EQ(fac.getNumInequalities(), 0u); in TEST()
287 EXPECT_EQ(fac2.getNumInequalities(), 1u); in TEST()
299 EXPECT_EQ(fac3.getNumInequalities(), 0u); in TEST()
344 unsigned nIneq = fac4.getNumInequalities(); in TEST()
347 ASSERT_EQ(fac4.getNumInequalities(), nIneq); in TEST()
352 EXPECT_EQ(fac4.getNumInequalities(), nIneq); in TEST()
368 EXPECT_EQ(fac5.getNumInequalities(), 3u); in TEST()
|
| /external/llvm-project/mlir/lib/Analysis/ |
| D | PresburgerSet.cpp | 186 for (unsigned j = 0; j < 2 * sI.getNumEqualities() + sI.getNumInequalities(); in subtractRecursively()
202 b.removeInequality(b.getNumInequalities() - 1); in subtractRecursively()
219 unsigned originalNumIneqs = b.getNumInequalities(); in subtractRecursively()
222 for (unsigned j = 0, e = sI.getNumInequalities(); j < e; j++) { in subtractRecursively()
228 offset = sI.getNumInequalities(); in subtractRecursively()
240 for (unsigned i = b.getNumInequalities(); i > originalNumIneqs; --i) in subtractRecursively()
|
| D | AffineStructures.cpp | 162 for (unsigned r = 0, e = other.getNumInequalities(); r < e; r++) { in FlatAffineConstraints()
181 inequalities.reserve(set.getNumInequalities() * numReservedCols); in FlatAffineConstraints()
248 other.getNumInequalities() * numReservedCols); in append()
252 for (unsigned r = 0, e = other.getNumInequalities(); r < e; r++) { in append()
287 inequalities.resize(getNumInequalities() * (getNumCols() + 1)); in addId()
306 int numInequalities = static_cast<int>(getNumInequalities()); in addId()
735 unsigned e = isEq ? cst.getNumEqualities() : cst.getNumInequalities(); in findConstraintWithNonZeroAt()
770 for (unsigned i = 0, e = getNumInequalities(); i < e; ++i) { in normalizeConstraintsByGCD()
776 if (inequalities.size() != getNumInequalities() * numReservedCols) in hasConsistentState()
798 unsigned numRows = isEq ? getNumEqualities() : getNumInequalities(); in hasInvalidConstraint()
[all …]
|
| D | AffineAnalysis.cpp | 310 srcDomain.getNumInequalities() + dstDomain.getNumInequalities(); in initDependenceConstraints()
383 isEq ? domain.getNumEqualities() : domain.getNumInequalities(); in addDomainConstraints()
543 for (unsigned r = 0, e = srcLocalVarCst.getNumInequalities(); r < e; r++) { in addMemRefAccessConstraints()
559 for (unsigned r = 0, e = destLocalVarCst.getNumInequalities(); r < e; r++) { in addMemRefAccessConstraints()
|
| /external/llvm-project/mlir/lib/IR/ |
| D | IntegerSet.cpp | 33 unsigned IntegerSet::getNumInequalities() const { in getNumInequalities() function in IntegerSet
|
| /external/llvm-project/mlir/include/mlir/IR/ |
| D | IntegerSet.h | 82 unsigned getNumInequalities() const;
|
| /external/llvm-project/mlir/include/mlir/Analysis/ |
| D | AffineStructures.h | 195 inline unsigned getNumInequalities() const { in getNumInequalities() function
431 return getNumInequalities() + getNumEqualities(); in getNumConstraints()
|
| /external/llvm-project/mlir/lib/Analysis/Presburger/ |
| D | Simplex.cpp | 32 for (unsigned i = 0, numIneqs = constraints.getNumInequalities(); in Simplex()
458 for (unsigned i = 0, e = fac.getNumInequalities(); i < e; ++i) in intersectFlatAffineConstraints()
|