Kahan's Floating Point Test

[Geoff Keating]

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>