From 46e96013a1aef280b0bbe9293a41fda24677746c Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Wed, 22 Jul 2009 22:44:56 +0000 Subject: Rename the new unsigned and signed keywords to nuw and nsw, which stand for no-unsigned-wrap and no-signed-wrap. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76810 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/LangRef.html | 43 +++++++++++++++++++++++-------------------- 1 file changed, 23 insertions(+), 20 deletions(-) (limited to 'docs') diff --git a/docs/LangRef.html b/docs/LangRef.html index bf98e04..57aace8 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2601,9 +2601,9 @@ Instruction
Syntax:
   <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
+  <result> = nuw add <ty> <op1>, <op2>      ; yields {ty}:result
+  <result> = nsw add <ty> <op1>, <op2>      ; yields {ty}:result
+  <result> = nuw nsw add <ty> <op1>, <op2>  ; yields {ty}:result
Overview:
@@ -2623,9 +2623,10 @@ Instruction

Because LLVM integers use a two's complement representation, this instruction is appropriate for both signed and unsigned integers.

-

If the signed and/or unsigned keywords are present, - the result value of the add is undefined if signed and/or unsigned - overflow, respectively, occurs.

+

nuw and nsw stand for "No Unsigned Wrap" + and "No Signed Wrap", respectively. If the nuw and/or + nsw keywords are present, the result value of the add + is undefined if unsigned and/or signed overflow, respectively, occurs.

Example:
@@ -2673,10 +2674,10 @@ Instruction 
 
 
Syntax:

 
-  <result> = sub <ty> <op1>, <op2>            ; yields {ty}:result
-  <result> = signed sub <ty> <op1>, <op2>     ; yields {ty}:result
-  <result> = unsigned sub <ty> <op1>, <op2>   ; yields {ty}:result
-  <result> = unsigned signed sub <ty> <op1>, <op2>   ; yields {ty}:result
+  <result> = sub <ty> <op1>, <op2>          ; yields {ty}:result
+  <result> = nuw sub <ty> <op1>, <op2>      ; yields {ty}:result
+  <result> = nsw sub <ty> <op1>, <op2>      ; yields {ty}:result
+  <result> = nuw nsw sub <ty> <op1>, <op2>  ; yields {ty}:result
 

 
 
Overview:

@@ -2702,9 +2703,10 @@ Instruction 
 
Because LLVM integers use a two's complement representation, this instruction
    is appropriate for both signed and unsigned integers.

 
-
If the signed and/or unsigned keywords are present,
-   the result value of the sub is undefined if signed and/or unsigned
-   overflow, respectively, occurs.

+
nuw and nsw stand for "No Unsigned Wrap"
+   and "No Signed Wrap", respectively. If the nuw and/or
+   nsw keywords are present, the result value of the sub
+   is undefined if unsigned and/or signed overflow, respectively, occurs.

 
 
Example:

 
@@ -2759,10 +2761,10 @@ Instruction 
 
 
Syntax:

 
-  <result> = mul <ty> <op1>, <op2>            ; yields {ty}:result
-  <result> = signed mul <ty> <op1>, <op2>     ; yields {ty}:result
-  <result> = unsigned mul <ty> <op1>, <op2>   ; yields {ty}:result
-  <result> = unsigned signed mul <ty> <op1>, <op2>   ; yields {ty}:result
+  <result> = mul <ty> <op1>, <op2>          ; yields {ty}:result
+  <result> = nuw mul <ty> <op1>, <op2>      ; yields {ty}:result
+  <result> = nsw mul <ty> <op1>, <op2>      ; yields {ty}:result
+  <result> = nuw nsw mul <ty> <op1>, <op2>  ; yields {ty}:result
 

 
 
Overview:

@@ -2787,9 +2789,10 @@ Instruction 
    be sign-extended or zero-extended as appropriate to the width of the full
    product.

 
-
If the signed and/or unsigned keywords are present,
-   the result value of the mul is undefined if signed and/or unsigned
-   overflow, respectively, occurs.

+
nuw and nsw stand for "No Unsigned Wrap"
+   and "No Signed Wrap", respectively. If the nuw and/or
+   nsw keywords are present, the result value of the mul
+   is undefined if unsigned and/or signed overflow, respectively, occurs.

 
 
Example:

 
-- 
cgit v1.1