mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-15 04:30:12 +00:00
Clean up the documentation to have a common description area for fast-math flags.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@169052 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Michael Ilseman
parent
a7a26f3bba
commit
01b3710eae
@ -55,6 +55,7 @@
|
|||||||
<li><a href="#volatile">Volatile Memory Accesses</a></li>
|
<li><a href="#volatile">Volatile Memory Accesses</a></li>
|
||||||
<li><a href="#memmodel">Memory Model for Concurrent Operations</a></li>
|
<li><a href="#memmodel">Memory Model for Concurrent Operations</a></li>
|
||||||
<li><a href="#ordering">Atomic Memory Ordering Constraints</a></li>
|
<li><a href="#ordering">Atomic Memory Ordering Constraints</a></li>
|
||||||
|
<li><a href="#fastmath">Fast-Math Flags</a></li>
|
||||||
</ol>
|
</ol>
|
||||||
</li>
|
</li>
|
||||||
<li><a href="#typesystem">Type System</a>
|
<li><a href="#typesystem">Type System</a>
|
||||||
@ -1751,6 +1752,54 @@ in signal handlers).</p>
|
|||||||
|
|
||||||
</div>
|
</div>
|
||||||
|
|
||||||
|
<!-- ======================================================================= -->
|
||||||
|
<h3>
|
||||||
|
<a name="fastmath">Fast-Math Flags</a>
|
||||||
|
</h3>
|
||||||
|
|
||||||
|
<div>
|
||||||
|
|
||||||
|
<p> LLVM IR floating-point binary ops (<a href="#i_fadd"><code>fadd</code></a>,
|
||||||
|
<a href="#i_fsub"><code>fsub</code></a>, <a
|
||||||
|
href="#i_fmul"><code>fmul</code></a>, <a href="#i_fdiv"><code>fdiv</code></a>,
|
||||||
|
<a href="#i_frem"><code>frem</code></a>) instructions have the following flags
|
||||||
|
that can set to enable otherwise unsafe floating point operations</p>
|
||||||
|
|
||||||
|
<dt><code>nnan</dt></code>
|
||||||
|
<dd>
|
||||||
|
No NaNs - Allow optimizations to assume the arguments and result are not
|
||||||
|
NaN. Such optimizations are required to retain defined behavior over NaNs, but
|
||||||
|
the value of the result is undefined.
|
||||||
|
</dd>
|
||||||
|
|
||||||
|
<dt><code>ninf</code></dt>
|
||||||
|
<dd>
|
||||||
|
No Infs - Allow optimizations to assume the arguments and result are not
|
||||||
|
+/-Inf. Such optimizations are required to retain defined behavior over +/-Inf,
|
||||||
|
but the value of the result is undefined.
|
||||||
|
</dd>
|
||||||
|
|
||||||
|
<dt><code>nsz</code></dt>
|
||||||
|
<dd>
|
||||||
|
No Signed Zeros - Allow optimizations to treat the sign of a zero argument or
|
||||||
|
result as insignificant.
|
||||||
|
</dd>
|
||||||
|
|
||||||
|
<dt><code>arcp</code></dt>
|
||||||
|
<dd>
|
||||||
|
Allow Reciprocal - Allow optimizations to use the reciprocal of an argument
|
||||||
|
rather than perform division.
|
||||||
|
</dd>
|
||||||
|
|
||||||
|
<dt><code>fast</code></TD>
|
||||||
|
<dd>
|
||||||
|
Fast - Allow algebraically equivalent transformations that may dramatically
|
||||||
|
change results in floating point (e.g. reassociate). This flag implies all the
|
||||||
|
others.
|
||||||
|
</dd>
|
||||||
|
|
||||||
|
</div>
|
||||||
|
|
||||||
</div>
|
</div>
|
||||||
|
|
||||||
<!-- *********************************************************************** -->
|
<!-- *********************************************************************** -->
|
||||||
@ -3982,28 +4031,10 @@ IfUnequal:
|
|||||||
floating point values. Both arguments must have identical types.</p>
|
floating point values. Both arguments must have identical types.</p>
|
||||||
|
|
||||||
<h5>Semantics:</h5>
|
<h5>Semantics:</h5>
|
||||||
<p>The value produced is the floating point sum of the two operands. This
|
<p>The value produced is the floating point sum of the two operands. This
|
||||||
instruction can also take any number of fast-math flags, which are
|
instruction can also take any number of <a href="#fastmath">fast-math
|
||||||
optimization hints to enable otherwise unsafe floating point
|
flags</a>, which are optimization hints to enable otherwise unsafe floating
|
||||||
optimizations:</p>
|
point optimizations:</p>
|
||||||
<ol>
|
|
||||||
|
|
||||||
<li><tt>nnan</tt>: No NaNs - Allow optimizations to assume the arguments and
|
|
||||||
result are not NaN. Such optimizations are required to retain defined behavior
|
|
||||||
over NaNs, but the value of the result is undefined.</li>
|
|
||||||
|
|
||||||
<li><tt>ninf</tt>: No Inf - Allow optimizations to assume the arguments and
|
|
||||||
result are not +/-Inf. Such optimizations are required to retain defined
|
|
||||||
behavior over +/-Inf, but the value of the result is undefined.</li>
|
|
||||||
|
|
||||||
<li><tt>nsz</tt>: No Signed Zeros: Allow optimizations to treat the
|
|
||||||
sign of a zero argument or result as insignificant. </li>
|
|
||||||
|
|
||||||
<li><tt>fast</tt>: Allow algebraically equivalent transformations that may
|
|
||||||
dramatically change results in floating point (e.g. reassociate). This flag
|
|
||||||
implies all the others.</li>
|
|
||||||
|
|
||||||
</ol>
|
|
||||||
|
|
||||||
<h5>Example:</h5>
|
<h5>Example:</h5>
|
||||||
<pre>
|
<pre>
|
||||||
@ -4090,28 +4121,10 @@ IfUnequal:
|
|||||||
floating point values. Both arguments must have identical types.</p>
|
floating point values. Both arguments must have identical types.</p>
|
||||||
|
|
||||||
<h5>Semantics:</h5>
|
<h5>Semantics:</h5>
|
||||||
<p>The value produced is the floating point difference of the two operands. This
|
<p>The value produced is the floating point difference of the two operands.
|
||||||
instruction can also take any number of fast-math flags, which are
|
This instruction can also take any number of <a href="#fastmath">fast-math
|
||||||
optimization hints to enable otherwise unsafe floating point
|
flags</a>, which are optimization hints to enable otherwise unsafe floating
|
||||||
optimizations:</p>
|
point optimizations:</p>
|
||||||
<ol>
|
|
||||||
|
|
||||||
<li><tt>nnan</tt>: No NaNs - Allow optimizations to assume the arguments and
|
|
||||||
result are not NaN. Such optimizations are required to retain defined behavior
|
|
||||||
over NaNs, but the value of the result is undefined.</li>
|
|
||||||
|
|
||||||
<li><tt>ninf</tt>: No Inf - Allow optimizations to assume the arguments and
|
|
||||||
result are not +/-Inf. Such optimizations are required to retain defined
|
|
||||||
behavior over +/-Inf, but the value of the result is undefined.</li>
|
|
||||||
|
|
||||||
<li><tt>nsz</tt>: No Signed Zeros: Allow optimizations to treat the
|
|
||||||
sign of a zero argument or result as insignificant. </li>
|
|
||||||
|
|
||||||
<li><tt>fast</tt>: Allow algebraically equivalent transformations that may
|
|
||||||
dramatically change results in floating point (e.g. reassociate). This flag
|
|
||||||
implies all the others.</li>
|
|
||||||
|
|
||||||
</ol>
|
|
||||||
|
|
||||||
<h5>Example:</h5>
|
<h5>Example:</h5>
|
||||||
<pre>
|
<pre>
|
||||||
@ -4192,28 +4205,10 @@ IfUnequal:
|
|||||||
floating point values. Both arguments must have identical types.</p>
|
floating point values. Both arguments must have identical types.</p>
|
||||||
|
|
||||||
<h5>Semantics:</h5>
|
<h5>Semantics:</h5>
|
||||||
<p>The value produced is the floating point product of the two operands. This
|
<p>The value produced is the floating point product of the two operands. This
|
||||||
instruction can also take any number of fast-math flags, which are
|
instruction can also take any number of <a href="#fastmath">fast-math
|
||||||
optimization hints to enable otherwise unsafe floating point
|
flags</a>, which are optimization hints to enable otherwise unsafe floating
|
||||||
optimizations:</p>
|
point optimizations:</p>
|
||||||
<ol>
|
|
||||||
|
|
||||||
<li><tt>nnan</tt>: No NaNs - Allow optimizations to assume the arguments and
|
|
||||||
result are not NaN. Such optimizations are required to retain defined behavior
|
|
||||||
over NaNs, but the value of the result is undefined.</li>
|
|
||||||
|
|
||||||
<li><tt>ninf</tt>: No Inf - Allow optimizations to assume the arguments and
|
|
||||||
result are not +/-Inf. Such optimizations are required to retain defined
|
|
||||||
behavior over +/-Inf, but the value of the result is undefined.</li>
|
|
||||||
|
|
||||||
<li><tt>nsz</tt>: No Signed Zeros: Allow optimizations to treat the
|
|
||||||
sign of a zero argument or result as insignificant. </li>
|
|
||||||
|
|
||||||
<li><tt>fast</tt>: Allow algebraically equivalent transformations that may
|
|
||||||
dramatically change results in floating point (e.g. reassociate). This flag
|
|
||||||
implies all the others.</li>
|
|
||||||
|
|
||||||
</ol>
|
|
||||||
|
|
||||||
<h5>Example:</h5>
|
<h5>Example:</h5>
|
||||||
<pre>
|
<pre>
|
||||||
@ -4327,31 +4322,10 @@ IfUnequal:
|
|||||||
floating point values. Both arguments must have identical types.</p>
|
floating point values. Both arguments must have identical types.</p>
|
||||||
|
|
||||||
<h5>Semantics:</h5>
|
<h5>Semantics:</h5>
|
||||||
<p>The value produced is the floating point quotient of the two operands. This
|
<p>The value produced is the floating point quotient of the two operands. This
|
||||||
instruction can also take any number of fast-math flags, which are
|
instruction can also take any number of <a href="#fastmath">fast-math
|
||||||
optimization hints to enable otherwise unsafe floating point
|
flags</a>, which are optimization hints to enable otherwise unsafe floating
|
||||||
optimizations:</p>
|
point optimizations:</p>
|
||||||
<ol>
|
|
||||||
|
|
||||||
<li><tt>nnan</tt>: No NaNs - Allow optimizations to assume the arguments and
|
|
||||||
result are not NaN. Such optimizations are required to retain defined behavior
|
|
||||||
over NaNs, but the value of the result is undefined.</li>
|
|
||||||
|
|
||||||
<li><tt>ninf</tt>: No Inf - Allow optimizations to assume the arguments and
|
|
||||||
result are not +/-Inf. Such optimizations are required to retain defined
|
|
||||||
behavior over +/-Inf, but the value of the result is undefined.</li>
|
|
||||||
|
|
||||||
<li><tt>nsz</tt>: No Signed Zeros: Allow optimizations to treat the
|
|
||||||
sign of a zero argument or result as insignificant. </li>
|
|
||||||
|
|
||||||
<li><tt>arcp</tt>: Allow Reciprocal: Allow optimizations to use the reciprocal
|
|
||||||
of an argument rather than perform division. </li>
|
|
||||||
|
|
||||||
<li><tt>fast</tt>: Allow algebraically equivalent transformations that may
|
|
||||||
dramatically change results in floating point (e.g. reassociate). This flag
|
|
||||||
implies all the others.</li>
|
|
||||||
|
|
||||||
</ol>
|
|
||||||
</p>
|
</p>
|
||||||
|
|
||||||
<h5>Example:</h5>
|
<h5>Example:</h5>
|
||||||
@ -4474,30 +4448,8 @@ IfUnequal:
|
|||||||
<h5>Semantics:</h5>
|
<h5>Semantics:</h5>
|
||||||
<p>This instruction returns the <i>remainder</i> of a division. The remainder
|
<p>This instruction returns the <i>remainder</i> of a division. The remainder
|
||||||
has the same sign as the dividend. This instruction can also take any number
|
has the same sign as the dividend. This instruction can also take any number
|
||||||
of fast-math flags, which are optimization hints to enable otherwise unsafe
|
of <a href="#fastmath">fast-math flags</a>, which are optimization hints to
|
||||||
floating point optimizations:</p>
|
enable otherwise unsafe floating point optimizations:</p>
|
||||||
|
|
||||||
<ol>
|
|
||||||
|
|
||||||
<li><tt>nnan</tt>: No NaNs - Allow optimizations to assume the arguments and
|
|
||||||
result are not NaN. Such optimizations are required to retain defined behavior
|
|
||||||
over NaNs, but the value of the result is undefined.</li>
|
|
||||||
|
|
||||||
<li><tt>ninf</tt>: No Inf - Allow optimizations to assume the arguments and
|
|
||||||
result are not +/-Inf. Such optimizations are required to retain defined
|
|
||||||
behavior over +/-Inf, but the value of the result is undefined.</li>
|
|
||||||
|
|
||||||
<li><tt>nsz</tt>: No Signed Zeros: Allow optimizations to treat the
|
|
||||||
sign of a zero argument or result as insignificant. </li>
|
|
||||||
|
|
||||||
<li><tt>arcp</tt>: Allow Reciprocal: Allow optimizations to use the reciprocal
|
|
||||||
of an argument rather than perform division. </li>
|
|
||||||
|
|
||||||
<li><tt>fast</tt>: Allow algebraically equivalent transformations that may
|
|
||||||
dramatically change results in floating point (e.g. reassociate). This flag
|
|
||||||
implies all the others.</li>
|
|
||||||
|
|
||||||
</ol>
|
|
||||||
|
|
||||||
<h5>Example:</h5>
|
<h5>Example:</h5>
|
||||||
<pre>
|
<pre>
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user