Re: errata/273: LRM does not specify result of real division by 0

From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Tue Jan 28 2003 - 22:40:00 PST

  • Next message: Shalom.Bresticker@motorola.com: "errata/277: 3.9: bad references"

    Precedence: bulk

    The following reply was made to PR errata/273; it has been noted by GNATS.

    From: Shalom Bresticker <Shalom.Bresticker@motorola.com>
    To: Steven Sharp <sharp@cadence.com>
    Cc: etf-bugs@boyd.com
    Subject: Re: errata/273: LRM does not specify result of real division by 0
    Date: Wed, 29 Jan 2003 08:35:44 +0200

    > The behavior of floating point division is set by IEEE Std 754 and the
    > fact that the floating point unit that this code executes on implements
    > IEEE floating point.
     
     The LRM references IEEE 754 only with respect to floating point representation,
     but not with respect to floating point arithmetic.
     
     Also, you can not assume that the processor is 100% IEEE 754-compliant.
     I have known processors that were not.
     
     Also, some conversion questions that come to mind:
     
     - How is Infinity (+ or -) converted to an integer?
     - How is NaN converted to an integer?
     - How is a negative number converted to an unsigned integer?
     

    This archive was generated by hypermail 2.1.4 : Tue Jan 28 2003 - 22:41:17 PST and
    sponsored by Boyd Technology, Inc.