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

[Fehr Mathieu]

================
@@ -420,8 +434,10 @@ def Arith_DivSIOp : Arith_IntBinaryOp<"divsi", [ConditionallySpeculatable]> {
     Signed integer division. Rounds towards zero. Treats the leading bit as
     sign, i.e. `6 / -2 = -3`.
 
-    Note: the semantics of division by zero or signed division overflow (minimum
-    value divided by -1) is TBD; do NOT assume any specific behavior.
+    Divison by zero, or signed division overflow (minimum value divided by -1) 
+    is undefined behaviour. When applied to `vector` and `tensor` values, the 
+    result is undefined if _any_ of its elements are divided by zero or has a 
----------------
math-fehr wrote:

Same here 

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