This is the mail archive of the
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>
> This is not well defined.
I'm sure he means
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 <firstname.lastname@example.org>