mirror of
https://github.com/RPCS3/llvm.git
synced 2024-12-03 09:21:02 +00:00
Misc. doc fixes following suggestions from Eli.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76699 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
5d8f1cae76
commit
9c5beed5f5
@ -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>
|
||||
|
Loading…
Reference in New Issue
Block a user