[Mlir-commits] [mlir] [mlir][arith] Add ValueBoundsOpInterface external models for the arith integer CeilDiv, RemSI, RemUI, MaxUI, MinUI. (PR #204966)

[Aviad Cohen]

================
@@ -17,6 +17,30 @@ namespace mlir {
 namespace arith {
 namespace {
 
+static bool isProvablyNonNegative(Value value, ValueBoundsConstraintSet &cstr) {
----------------
AviadCo wrote:

nit: useful helper function for other dialects as well, consider move to `mlir/lib/Interfaces/ValueBoundsOpInterface.cpp`

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