[Mlir-commits] [mlir] [mlir][arith] Overflow semantics in documentation for muli, subi, and addi (PR #74346)
Jakub Kuderski
llvmlistbot at llvm.org
Mon Dec 4 09:38:25 PST 2023
================
@@ -288,6 +305,17 @@ def Arith_MulIOp : Arith_TotalIntBinaryOp<"muli", [Commutative]> {
let summary = [{
Integer multiplication operation.
}];
+ let description = [{
+ The `muli` 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.
+
+ The operands are interpreted as unsigned bitvectors. The result is represented by a
+ bitvector containing the mathematical value of the multiplication modulo 2^n, where `n`
----------------
kuhar wrote:
nit: would be nice to make this consistent with the notation used in AddUIExtended and MulSIExtended
https://github.com/llvm/llvm-project/pull/74346
More information about the Mlir-commits
mailing list