Re: [gnugo-devel] The killer heuristic

[Dave Denholm]

Arend Bayer <address@hidden> writes:

> Evan wrote:
> 
> > Floating point rounding problems is an interesting thought...  is there a
> > way to compile things to do IEEE floating point instead of platform
> > dependent, to test this out?
> 
> Well gcc has an option -mieee-fp but I doubt this works.
> 
> Try the example program below. I consistently get "not equal" as result
> (also with -mieee-fp). When compiling this with -O2, the executable

>       float x = 1.0;
>       float y = 1.0/3.0;
> 
>       if (x / 3.0 == y)

LHS is double, whereas RHS is float, so they don't have to be the same.

ie it's  ((double)x / (double)3.0) == (double)(float)(1.0/3.0)


dd
-- 
address@hidden          http://www.insignia.com