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 shall provide classification predicates which deliver a true-false response and signal no exception. • issigned(x ) iff x has negative sign, and applies equally to zeros and NaNs. • isnormal( x ) iff x is normal (not zero, subnormal, infinity, or NaN). • isfinite(x ) iff x is zero, subnormal or normal (not infinity or NaN). • iszero(x ) iff x = ±0. • issubnormal( x ) iff x is subnormal. • isinf(x ) iff x is infinity. • isnan( x ) iff x is a NaN. • issignaling( x ) iff x is an optional signaling NaN. 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 50
DRAFT IEEE Standard for Floating-Point Arithmetic – 2003 August 12 10:20 5.10. Min and Max §MINMAX An implementation shall provide operations to find the minimum and maximum of two floating-point values. These operations signal no exception for quiet NaN operands: if both operands are quiet NaNs, a NaN is returned as specified in section 6.2; if only one operand is quiet NaN, these operations return the numerical operand. When both operands are numbers: • min(x,y ) returns the minimum of its operands. When its operands are − 0 and +0, min( x,y ) returns − 0. • max( x,y ) returns the maximum of its operands. When its operands are − 0 and +0, max( x,y ) returns +0. • minmag(x,y ) returns the operand of minimum magnitude. When its operands are equal in magnitude but different in sign, minmag( x,y ) returns the operand with negative sign. • maxmag( x,y ) returns the operand of maximum magnitude. When its operands are equal in magnitude but different in sign, maxmag( x,y ) returns the operand with positive sign. [RATIONALE for min and max: max(x,y) is defined as that value for which the following is true for every z: z =y. This definition implies max(5,NaN) is NaN and max(inf,NaN) is NaN. A third possibility: z>max(x,y) iff z>x AND z>y. This definition implies max(5,NaN) is NaN and max(inf,NaN) is inf. 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 51
Page 1 and 2: DRAFT IEEE Standard for Floating-Po
Page 49: 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?