[Mlir-commits] [mlir] [mlir][affine|ValueBounds] Add transform to simplify affine min max ops with ValueBoundsOpInterface (PR #145068)

[Nicolas Vasilache]

================
@@ -763,14 +801,29 @@ bool ValueBoundsConstraintSet::compare(const Variable &lhs,
   return cstr.comparePos(lhsPos, cmp, rhsPos);
 }
 
+FailureOr<bool> ValueBoundsConstraintSet::strongCompare(const Variable &lhs,
----------------
nicolasvasilache wrote:

strict?

https://github.com/llvm/llvm-project/pull/145068