Home
last modified time | relevance | path

Searched refs:getEquality (Results 1 – 7 of 7) sorted by relevance

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DIntegerPolyhedronTest.cpp158 EXPECT_THAT(set.getEquality(0), ElementsAre(0, 0)); in TEST()
159 EXPECT_THAT(set.getEquality(1), ElementsAre(3, 3)); in TEST()
160 EXPECT_THAT(set.getEquality(2), ElementsAre(4, 4)); in TEST()
164 EXPECT_THAT(set.getEquality(0), ElementsAre(0, 0)); in TEST()
165 EXPECT_THAT(set.getEquality(1), ElementsAre(4, 4)); in TEST()
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DLinearTransform.cpp119 ArrayRef<int64_t> eq = rel.getEquality(i); in applyTo()
H A DPresburgerRelation.cpp132 ArrayRef<int64_t> eqCoeffs = rel.getEquality(idx / 2); in getIneqCoeffsFromIdx()
768 if (typeEquality(a.getEquality(k), simpB).failed()) in coalescePair()
779 if (typeEquality(b.getEquality(k), simpA).failed()) in coalescePair()
H A DIntegerRelation.cpp65 addEquality(other.getEquality(r)); in append()
137 if (!rangeIsZero(poly.getEquality(i - 1).slice(begin, count))) in removeConstraintsInvolvingVarRange()
398 auto cst = isEq ? getEquality(r) : getInequality(r); in getLowerAndUpperBoundIndices()
886 if (valueAt(getEquality(i), point) != 0) in containsPoint()
1403 auto eq = getEquality(eqPos); in getConstantBoundOnDimSize()
1965 if (a.getEquality(r) == b.getEquality(s)) { in getCommonConstraints()
1966 c.addEquality(a.getEquality(r)); in getCommonConstraints()
H A DSimplex.cpp1308 addEquality(rel.getEquality(i)); in intersectIntegerRelation()
2124 if (!isRedundantEquality(rel.getEquality(i))) in isRationalSubsetOf()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h177 inline ArrayRef<int64_t> getEquality(unsigned idx) const { in getEquality() function
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp946 auto eq = getEquality(idx); in getLowerAndUpperBound()
1565 exprs.push_back(getAffineExprFromFlatForm(getEquality(i), numDims, numSyms, in getAsIntegerSet()