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

[Mehdi Amini]

================
@@ -198,7 +198,9 @@ def Arith_AddIOp : Arith_TotalIntBinaryOp<"addi", [Commutative]> {
     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.
+    has no standard attributes. If an overflow occurs, the result is the 
+    mathematical value of the addition modulo 2^n, where `n` is the width of
+    the integer type. 
----------------
joker-eph wrote:

And I'm not saying some LLVM style "nuw" "nsw" wouldn't be reasonable, but this isn't "the state of the world" right now. 
(actually I had a proposal to just use LLVM for arithmetic, but we're not there yet)

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