Home
last modified time | relevance | path

Searched refs:computeReprWithOnlyDivLocals (Results 1 – 5 of 5) sorted by relevance

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerRelation.h135 PresburgerRelation computeReprWithOnlyDivLocals() const;
H A DIntegerRelation.h579 PresburgerRelation computeReprWithOnlyDivLocals() const;
/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DPresburgerSetTest.cpp843 PresburgerRelation repr = poly.computeReprWithOnlyDivLocals(); in testComputeReprAtPoints()
856 PresburgerRelation repr = poly.computeReprWithOnlyDivLocals(); in testComputeRepr()
862 TEST(SetTest, computeReprWithOnlyDivLocals) { in TEST() argument
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp139 PresburgerRelation PresburgerRelation::computeReprWithOnlyDivLocals() const { in computeReprWithOnlyDivLocals() function in PresburgerRelation
146 result.unionInPlace(disjunct.computeReprWithOnlyDivLocals()); in computeReprWithOnlyDivLocals()
189 return getSetDifference(b, s.computeReprWithOnlyDivLocals()); in getSetDifference()
H A DIntegerRelation.cpp168 PresburgerRelation IntegerRelation::computeReprWithOnlyDivLocals() const { in computeReprWithOnlyDivLocals() function in IntegerRelation