Home
last modified time | relevance | path

Searched refs:isEmptyByGCDTest (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp595 if (isEmptyByGCDTest() || hasInvalidConstraint()) in isEmpty()
602 if (tmpCst.isEmptyByGCDTest() || tmpCst.hasInvalidConstraint()) in isEmpty()
614 if (tmpCst.hasInvalidConstraint() || tmpCst.isEmptyByGCDTest()) in isEmpty()
655 bool IntegerRelation::isEmptyByGCDTest() const { in isEmptyByGCDTest() function in IntegerRelation
768 if (isEmptyByGCDTest()) in findIntegerSample()
H A DPresburgerRelation.cpp185 if (b.isEmptyByGCDTest()) in getSetDifference()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h321 bool isEmptyByGCDTest() const;