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

[Fehr Mathieu]

================
@@ -196,9 +196,10 @@ def Arith_AddIOp : Arith_TotalIntBinaryOp<"addi", [Commutative]> {
   let summary = "integer addition operation";
   let description = [{
     The `addi` operation takes two operands and returns one result, each of
-    these is required to be the same type. This type may be an integer scalar
-    type, a vector whose element type is integer, or a tensor of integers. It
-    has no standard attributes.
+    these is required to be the same type. The result is the mathematical value 
+    of the addition modulo 2^n, where `n` is the bitwidth. This type may be an 
+    integer scalar type, a vector whose element type is integer, or a tensor of 
+    integers. It has no standard attributes. If an overflow occurs, 
----------------
math-fehr wrote:

This line is not complete anymore.

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