Home
last modified time | relevance | path

Searched refs:hasInvalidConstraint (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp491 bool IntegerRelation::hasInvalidConstraint() const { in hasInvalidConstraint() function in IntegerRelation
595 if (isEmptyByGCDTest() || hasInvalidConstraint()) in isEmpty()
602 if (tmpCst.isEmptyByGCDTest() || tmpCst.hasInvalidConstraint()) in isEmpty()
614 if (tmpCst.hasInvalidConstraint() || tmpCst.isEmptyByGCDTest()) in isEmpty()
634 if (tmpCst.hasInvalidConstraint()) in isEmpty()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h617 bool hasInvalidConstraint() const;