DRAFT IEEE Standard for Binary Floating-Point Arithmetic - Sonic.net
DRAFT IEEE Standard for Binary Floating-Point Arithmetic - Sonic.net
DRAFT IEEE Standard for Binary Floating-Point Arithmetic - Sonic.net
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>DRAFT</strong> <strong>IEEE</strong> <strong>Standard</strong> <strong>for</strong> <strong>Floating</strong>-<strong>Point</strong> <strong>Arithmetic</strong> – 2003 August 12 10:20<br />
Implementations that provide predicates shall provide the first six predicates in<br />
Table 4 and should provide the seventh, and a means of logically negating<br />
predicates. §PRED-TABLE<br />
These quiet predicates do not signal an exception on quiet NaN operands and<br />
shall be available to all programs: §PRED-TABLE<br />
Table 4a: Required quiet predicates and negations §PRED-TABLE<br />
Quiet predicate<br />
True relations Names True<br />
relations<br />
eq<br />
equal<br />
=<br />
lt gt un<br />
Quiet negation<br />
Names<br />
not-equal<br />
?<br />
NOT(=)<br />
≠<br />
Copyright © 2003 by the Institute of Electrical and Electronics Engineers, Inc. This document is an unapproved<br />
draft of a proposed <strong>IEEE</strong>-SA <strong>Standard</strong> - USE AT YOUR OWN RISK. See statement on page 1.<br />
Page 44