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

[Jakub Kuderski]

================
@@ -273,7 +275,11 @@ def Arith_AddUIExtendedOp : Arith_Op<"addui_extended", [Pure, Commutative,
 //===----------------------------------------------------------------------===//
 
 def Arith_SubIOp : Arith_TotalIntBinaryOp<"subi"> {
-  let summary = "integer subtraction operation";
+  let summary = [{
+    integer subtraction operation. If an overflow occurs, the result is the 
+    mathematical value of the addition modulo 2^n, where `n` is the width of
----------------
kuhar wrote:

Same here RE overflow, also in other ops below

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