[Mlir-commits] [mlir] [mlir][arith] doc updates for ub semantics, and int representations (PR #72932)

[Fehr Mathieu]

================
@@ -567,8 +589,9 @@ def Arith_RemSIOp : Arith_TotalIntBinaryOp<"remsi"> {
     Signed integer division remainder. Treats the leading bit as sign, i.e. `6 %
     -2 = 0`.
 
-    Note: the semantics of division by zero is TBD; do NOT assume any specific
-    behavior.
+    Division by zero is undefined behaviour. When applied to `vector` and 
+    `tensor` values, the result is undefined if _any_ elements are divided by 
----------------
math-fehr wrote:

Same here

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