This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: The perennial i386 floating-point rounding issue...
- From: mike stump <mrs at windriver dot com>
- To: gcc at gcc dot gnu dot org, zack at codesourcery dot com
- Date: Fri, 7 Jun 2002 17:52:10 -0700 (PDT)
- Subject: Re: The perennial i386 floating-point rounding issue...
- References: <20020607213146.GD26754@codesourcery.com>
> Date: Fri, 7 Jun 2002 14:31:46 -0700
> To: gcc@gcc.gnu.org
> From: Zack Weinberg <zack@codesourcery.com>
> 5.1.2.3p12
> EXAMPLE 4 Implementations employing wide registers have to take care
> to honor appropriate semantics. Values are independent of whether
> they are represented in a register or in memory. For example, an
> implicit spilling of a register is not permitted to alter the value.
> This sure sounds like we are required to do 80-bit spills, if we use
> the extended precision mode.
Or, maybe we are just required to recommend the user set the 64 bit
rounding mode thang?