[Bug middle-end/54550] GCC -O3 breaks floating point equality comparison

[veiokej at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54550

--- Comment #5 from Veiokej <veiokej at gmail dot com> 2012-09-12 03:28:43 UTC ---
Johnathan,

Yes, I've read the floating point nonbug stuff. This isn't a nonbug.

Michael,

I understand your point, and thanks for the command line option. However, this
is a subtly different issue than saying "64-bit double precision is slightly
more accurate on X86 platforms due to 80-bit temporaries, vs. X64 platforms".
The reason it's different is because there is no math done, and 80-bit
precision can hold 100% of 64-bit values with no loss of precision. So no
matter what, my equality test should not fail.

Andrew,

I appreciate that. Let me see if I can come up with something short of
uploading the entire codebase. It's extremely sensitive to neighboring code,
and is thus hard to isolate.