The perennial i386 floating-point rounding issue...

[mike stump]

> 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?