DRAFT IEEE Standard for Binary Floating-Point Arithmetic - Sonic.net

More documents

Recommendations

Info

DRAFT IEEE Standard for Floating-Point Arithmetic – 2003 August 12 10:20 Implementations that provide predicates shall provide the first six predicates in Table 4 and should provide the seventh, and a means of logically negating predicates. §PRED-TABLE These quiet predicates do not signal an exception on quiet NaN operands and shall be available to all programs: §PRED-TABLE Table 4a: Required quiet predicates and negations §PRED-TABLE Quiet predicate True relations Names True relations eq equal = lt gt un Quiet negation Names not-equal ? NOT(=) ≠ Copyright © 2003 by the Institute of Electrical and Electronics Engineers, Inc. This document is an unapproved draft of a proposed IEEE-SA Standard - USE AT YOUR OWN RISK. See statement on page 1. Page 44
DRAFT IEEE Standard for Floating-Point Arithmetic – 2003 August 12 10:20 These signaling predicates signal an invalid exception on quiet NaN operands and shall be available to all programs not written to take into account the possibility of NaN operands [e.g. programs written in C or Fortran prior to IEEE 754]: §PRED-TABLE True relations gt gt eq lt lt eq Table 4b: Required signaling predicates and negations §PRED-TABLE Signaling predicate Names greater > greater-equal >= ≥ less < less-equal ) signaling-less-unordered NOT(>=) signaling-not-less NOT(
Page 1 and 2: DRAFT IEEE Standard for Floating-Po
Page 43: DRAFT IEEE Standard for Floating-Po
Page 69: DRAFT IEEE Standard for Floating-Po

DRAFT IEEE Standard for Binary Floating-Point Arithmetic - Sonic.net

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?