[llvm-commits] [llvm] r76699 - /llvm/trunk/docs/LangRef.html

[Dan Gohman]

Author: djg
Date: Tue Jul 21 19:04:19 2009
New Revision: 76699

URL: http://llvm.org/viewvc/llvm-project?rev=76699&view=rev
Log:
Misc. doc fixes following suggestions from Eli.

Modified:
    llvm/trunk/docs/LangRef.html

Modified: llvm/trunk/docs/LangRef.html
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/docs/LangRef.html?rev=76699&r1=76698&r2=76699&view=diff

==============================================================================
--- llvm/trunk/docs/LangRef.html (original)
+++ llvm/trunk/docs/LangRef.html Tue Jul 21 19:04:19 2009
@@ -2603,6 +2603,7 @@
   <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 @@
    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 @@
   <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 @@
    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 @@
   <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 @@
    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 @@
    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>