[Mlir-commits] [mlir] [mlir][arith] Implement ValueBoundsOpInterface for min/max ops (PR #203269)

[Matthias Springer]

================
@@ -160,6 +160,70 @@ struct SelectOpInterface
     populateBounds(cast<SelectOp>(op), dim, cstr);
   }
 };
+
+struct MinUIOpInterface
----------------
matthias-springer wrote:

There could be some tricks like checking (with a nested constraint set call; I think we have something similar for `scf.for`) if each operand is >= 0 and < signed_int_max. In that case, `minui` and `minsi` are identical. And only add the constraints in that case. But I haven't fully thought it through. Could be a dead end.

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