[Mlir-commits] [mlir] [mlir][arith] Add `overflow<zero>` to `arith.remsi` (PR #237021)

[Federico Bruzzone]

================
@@ -1582,3 +1582,23 @@ func.func @do_not_hoist_vector_transfer_ops_memref(
   }
   func.return %final : vector<4x4xf32>
 }
+
+// -----
+
+// INT_MIN % -1 can only be speculated with overflow<zero>.
----------------
FedericoBruzzone wrote:

 Could you add a negative case where `overflow<zero>` is set but the divisor may be zero, checking that it is not hoisted?

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