diff options
author | Dan Gohman <gohman@apple.com> | 2009-07-22 22:44:56 +0000 |
---|---|---|
committer | Dan Gohman <gohman@apple.com> | 2009-07-22 22:44:56 +0000 |
commit | 08d012eba490c4906ec773c39db9f2a18a78c997 (patch) | |
tree | ef05ab4b5cfa9dd455f4d6b406b4bbacdaeda956 /docs | |
parent | 92b78bbc7f2ee919a2d09ed00fd35d1eb7f5f548 (diff) | |
download | llvm-08d012eba490c4906ec773c39db9f2a18a78c997.tar.gz llvm-08d012eba490c4906ec773c39db9f2a18a78c997.tar.bz2 llvm-08d012eba490c4906ec773c39db9f2a18a78c997.tar.xz |
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
Diffstat (limited to 'docs')
-rw-r--r-- | docs/LangRef.html | 43 |
1 files changed, 23 insertions, 20 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index bf98e040ca..57aace82ba 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2601,9 +2601,9 @@ Instruction</a> </div> <h5>Syntax:</h5> <pre> <result> = add <ty> <op1>, <op2> <i>; yields {ty}:result</i> - <result> = signed add <ty> <op1>, <op2> <i>; yields {ty}:result</i> - <result> = unsigned add <ty> <op1>, <op2> <i>; yields {ty}:result</i> - <result> = unsigned signed add <ty> <op1>, <op2> <i>; yields {ty}:result</i> + <result> = nuw add <ty> <op1>, <op2> <i>; yields {ty}:result</i> + <result> = nsw add <ty> <op1>, <op2> <i>; yields {ty}:result</i> + <result> = nuw nsw add <ty> <op1>, <op2> <i>; yields {ty}:result</i> </pre> <h5>Overview:</h5> @@ -2623,9 +2623,10 @@ Instruction</a> </div> <p>Because LLVM integers use a two's complement representation, this instruction is appropriate for both signed and unsigned integers.</p> -<p>If the <tt>signed</tt> and/or <tt>unsigned</tt> keywords are present, - the result value of the <tt>add</tt> is undefined if signed and/or unsigned - overflow, respectively, occurs.</p> +<p><tt>nuw</tt> and <tt>nsw</tt> stand for "No Unsigned Wrap" + and "No Signed Wrap", respectively. If the <tt>nuw</tt> and/or + <tt>nsw</tt> keywords are present, the result value of the <tt>add</tt> + is undefined if unsigned and/or signed overflow, respectively, occurs.</p> <h5>Example:</h5> <pre> @@ -2673,10 +2674,10 @@ Instruction</a> </div> <h5>Syntax:</h5> <pre> - <result> = sub <ty> <op1>, <op2> <i>; yields {ty}:result</i> - <result> = signed sub <ty> <op1>, <op2> <i>; yields {ty}:result</i> - <result> = unsigned sub <ty> <op1>, <op2> <i>; yields {ty}:result</i> - <result> = unsigned signed sub <ty> <op1>, <op2> <i>; yields {ty}:result</i> + <result> = sub <ty> <op1>, <op2> <i>; yields {ty}:result</i> + <result> = nuw sub <ty> <op1>, <op2> <i>; yields {ty}:result</i> + <result> = nsw sub <ty> <op1>, <op2> <i>; yields {ty}:result</i> + <result> = nuw nsw sub <ty> <op1>, <op2> <i>; yields {ty}:result</i> </pre> <h5>Overview:</h5> @@ -2702,9 +2703,10 @@ Instruction</a> </div> <p>Because LLVM integers use a two's complement representation, this instruction is appropriate for both signed and unsigned integers.</p> -<p>If the <tt>signed</tt> and/or <tt>unsigned</tt> keywords are present, - the result value of the <tt>sub</tt> is undefined if signed and/or unsigned - overflow, respectively, occurs.</p> +<p><tt>nuw</tt> and <tt>nsw</tt> stand for "No Unsigned Wrap" + and "No Signed Wrap", respectively. If the <tt>nuw</tt> and/or + <tt>nsw</tt> keywords are present, the result value of the <tt>sub</tt> + is undefined if unsigned and/or signed overflow, respectively, occurs.</p> <h5>Example:</h5> <pre> @@ -2759,10 +2761,10 @@ Instruction</a> </div> <h5>Syntax:</h5> <pre> - <result> = mul <ty> <op1>, <op2> <i>; yields {ty}:result</i> - <result> = signed mul <ty> <op1>, <op2> <i>; yields {ty}:result</i> - <result> = unsigned mul <ty> <op1>, <op2> <i>; yields {ty}:result</i> - <result> = unsigned signed mul <ty> <op1>, <op2> <i>; yields {ty}:result</i> + <result> = mul <ty> <op1>, <op2> <i>; yields {ty}:result</i> + <result> = nuw mul <ty> <op1>, <op2> <i>; yields {ty}:result</i> + <result> = nsw mul <ty> <op1>, <op2> <i>; yields {ty}:result</i> + <result> = nuw nsw mul <ty> <op1>, <op2> <i>; yields {ty}:result</i> </pre> <h5>Overview:</h5> @@ -2787,9 +2789,10 @@ Instruction</a> </div> be sign-extended or zero-extended as appropriate to the width of the full product.</p> -<p>If the <tt>signed</tt> and/or <tt>unsigned</tt> keywords are present, - the result value of the <tt>mul</tt> is undefined if signed and/or unsigned - overflow, respectively, occurs.</p> +<p><tt>nuw</tt> and <tt>nsw</tt> stand for "No Unsigned Wrap" + and "No Signed Wrap", respectively. If the <tt>nuw</tt> and/or + <tt>nsw</tt> keywords are present, the result value of the <tt>mul</tt> + is undefined if unsigned and/or signed overflow, respectively, occurs.</p> <h5>Example:</h5> <pre> |