diff --git a/docs/LangRef.html b/docs/LangRef.html index 334cb68772c..bf98e040ca7 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2603,6 +2603,7 @@ Instruction <result> = add <ty> <op1>, <op2> ; yields {ty}:result <result> = signed add <ty> <op1>, <op2> ; yields {ty}:result <result> = unsigned add <ty> <op1>, <op2> ; yields {ty}:result + <result> = unsigned signed add <ty> <op1>, <op2> ; yields {ty}:result
If the signed and/or unsigned keywords are present, - the behavior of the add is undefined if signed and/or unsigned + the result value of the add is undefined if signed and/or unsigned overflow, respectively, occurs.
If the signed and/or unsigned keywords are present, - the behavior of the sub is undefined if signed and/or unsigned + the result value of the sub is undefined if signed and/or unsigned overflow, respectively, occurs.
If the signed and/or unsigned keywords are present, - the behavior of the mul is undefined if signed and/or unsigned + the result value of the mul is undefined if signed and/or unsigned overflow, respectively, occurs.
If the exact keyword is present, the result of the sdiv - is undefined if the result would be rounded or if overflow occurs.
+If the exact keyword is present, the result value of the + sdiv is undefined if the result would be rounded or if overflow + would occur.