diff options
| author | Dan Gohman <gohman@apple.com> | 2009-07-22 00:04:19 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2009-07-22 00:04:19 +0000 |
| commit | 9c5beed5f5a6da5bd86c7dee6f8f803e8960e6a6 (patch) | |
| tree | 32d0a11c5cb995262538cd1358b8bb9fad9b497b /docs/LangRef.html | |
| parent | 5d8f1cae76e4e424bf3b4392eddb3f4dbf38662a (diff) | |
| download | external_llvm-9c5beed5f5a6da5bd86c7dee6f8f803e8960e6a6.zip external_llvm-9c5beed5f5a6da5bd86c7dee6f8f803e8960e6a6.tar.gz external_llvm-9c5beed5f5a6da5bd86c7dee6f8f803e8960e6a6.tar.bz2 | |
Misc. doc fixes following suggestions from Eli.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76699 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/LangRef.html')
| -rw-r--r-- | docs/LangRef.html | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 334cb68..bf98e04 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2603,6 +2603,7 @@ Instruction</a> </div> <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> </pre> <h5>Overview:</h5> @@ -2623,7 +2624,7 @@ Instruction</a> </div> is appropriate for both signed and unsigned integers.</p> <p>If the <tt>signed</tt> and/or <tt>unsigned</tt> keywords are present, - the behavior of the <tt>add</tt> is undefined if signed and/or unsigned + the result value of the <tt>add</tt> is undefined if signed and/or unsigned overflow, respectively, occurs.</p> <h5>Example:</h5> @@ -2675,6 +2676,7 @@ Instruction</a> </div> <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> </pre> <h5>Overview:</h5> @@ -2701,7 +2703,7 @@ Instruction</a> </div> is appropriate for both signed and unsigned integers.</p> <p>If the <tt>signed</tt> and/or <tt>unsigned</tt> keywords are present, - the behavior of the <tt>sub</tt> is undefined if signed and/or unsigned + the result value of the <tt>sub</tt> is undefined if signed and/or unsigned overflow, respectively, occurs.</p> <h5>Example:</h5> @@ -2760,6 +2762,7 @@ Instruction</a> </div> <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> </pre> <h5>Overview:</h5> @@ -2785,7 +2788,7 @@ Instruction</a> </div> product.</p> <p>If the <tt>signed</tt> and/or <tt>unsigned</tt> keywords are present, - the behavior of the <tt>mul</tt> is undefined if signed and/or unsigned + the result value of the <tt>mul</tt> is undefined if signed and/or unsigned overflow, respectively, occurs.</p> <h5>Example:</h5> @@ -2890,8 +2893,9 @@ Instruction</a> </div> undefined behavior; this is a rare case, but can occur, for example, by doing a 32-bit division of -2147483648 by -1.</p> -<p>If the <tt>exact</tt> keyword is present, the result of the <tt>sdiv</tt> - is undefined if the result would be rounded or if overflow occurs.</p> +<p>If the <tt>exact</tt> keyword is present, the result value of the + <tt>sdiv</tt> is undefined if the result would be rounded or if overflow + would occur.</p> <h5>Example:</h5> <pre> |