This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Kahan's Floating Point Test
- To: dewar at gnat dot com
- Subject: Re: Kahan's Floating Point Test
- From: Geoff Keating <geoffk at geoffk dot org>
- Date: 31 May 2001 00:22:57 -0700
- CC: gcc at gcc dot gnu dot org
- References: <20010530223422.7D338F289F@nile.gnat.com>
dewar@gnat.com writes:
> <<-mieee754-compliant-code-no-matter-how-slow-it-is-on-this-buggy-x86-fpu
>
> This is not well defined.
I'm sure he means
-mannexF-compliant-code-no-matter-how-slow-it-is-on-this-buggy-x86-fpu
where Annex F is the chapter in the C standard.
> IEEE 754/854 are standards that provide for the presence of a set
> of well defined floating-point operations, but the issue of how a
> particular high level language *maps* into these operations is not
> addressed by the standard, so you can't complain about the code
> generated by a C compiler being non-IEEE compliant. Yes, you might
> have some informal notions of what the mapping should be, but these
> notions are not in the C standard or in the IEEE754 standard.
See section F.2, Types, and section F.3, Operators and Functions.
--
- Geoffrey Keating <geoffk@geoffk.org>