diff --git a/docs/LangRef.html b/docs/LangRef.html index 3ebb1396f97..9f97a4685e9 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -857,12 +857,12 @@ be any type with a size.
The value produced is the integer or floating point product of the two operands.
-There is no signed vs unsigned multiplication. The appropriate -action is taken based on the type of the operand.
+Because the operands are the same width, the result of an integer +multiplication is the same whether the operands should be deemed unsigned or +signed.
<result> = mul i32 4, %var ; yields {i32}:result = 4 * %var@@ -2127,9 +2128,9 @@ operand shifted to the right a specified number of bits. href="#t_integer">integer type. The second argument must be an 'i8' type.
This instruction always performs a logical shift right operation, regardless -of whether the arguments are unsigned or not. The var2 most significant -bits will be filled with zero bits after the shift.
+This instruction always performs a logical shift right operation. The +var2 most significant bits will be filled with zero bits after the +shift.
@@ -4387,7 +4388,7 @@ value.The only argument is the value to be counted. The argument may be of any -unsigned integer type. The return type must match the argument type. +integer type. The return type must match the argument type.
Semantics:
@@ -4423,7 +4424,7 @@ leading zeros in a variable.The only argument is the value to be counted. The argument may be of any -unsigned integer type. The return type must match the argument type. +integer type. The return type must match the argument type.
Semantics:
@@ -4463,7 +4464,7 @@ trailing zeros.The only argument is the value to be counted. The argument may be of any -unsigned integer type. The return type must match the argument type. +integer type. The return type must match the argument type.
Semantics: