Clarify that the result of an srem is only guaranteed to have the same sign as the

left-hand-side if the result is non-zero.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127156 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Duncan Sands 2011-03-07 09:12:24 +00:00
parent e7e9a60df6
commit dea3a5e202

View File

@ -3611,9 +3611,10 @@ Instruction</a> </div>
<h5>Semantics:</h5>
<p>This instruction returns the <i>remainder</i> of a division (where the result
has the same sign as the dividend, <tt>op1</tt>), not the <i>modulo</i>
operator (where the result has the same sign as the divisor, <tt>op2</tt>) of
a value. For more information about the difference,
is either zero or has the same sign as the dividend, <tt>op1</tt>), not the
<i>modulo</i> operator (where the result is either zero or has the same sign
as the divisor, <tt>op2</tt>) of a value.
For more information about the difference,
see <a href="http://mathforum.org/dr.math/problems/anne.4.28.99.html">The
Math Forum</a>. For a table of how this is implemented in various languages,
please see <a href="http://en.wikipedia.org/wiki/Modulo_operation">