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

[Fehr Mathieu]

================
@@ -486,8 +503,10 @@ def Arith_CeilDivSIOp : Arith_IntBinaryOp<"ceildivsi",
   let description = [{
     Signed integer division. Rounds towards positive infinity, i.e. `7 / -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