Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp140 if (hasOnlyDivLocals()) in computeReprWithOnlyDivLocals()
188 if (!s.hasOnlyDivLocals()) in getSetDifference()
815 bool PresburgerRelation::hasOnlyDivLocals() const { in hasOnlyDivLocals() function in PresburgerRelation
817 return rel.hasOnlyDivLocals(); in hasOnlyDivLocals()
H A DIntegerRelation.cpp1196 bool IntegerRelation::hasOnlyDivLocals() const { in hasOnlyDivLocals() function in IntegerRelation
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerRelation.h129 bool hasOnlyDivLocals() const;
H A DIntegerRelation.h515 bool hasOnlyDivLocals() const;
/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DPresburgerSetTest.cpp844 EXPECT_TRUE(repr.hasOnlyDivLocals()); in testComputeReprAtPoints()
857 EXPECT_TRUE(repr.hasOnlyDivLocals()); in testComputeRepr()