http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44606
--- Comment #12 from David Kühling <dvdkhlng at gmx dot de> 2011-01-21 15:17:34 UTC --- Ok, looks like the change to reload1.c introduced by GCC revision 168347 (author froydnj): http://gcc.gnu.org/viewcvs/trunk/gcc/reload1.c?r1=168347&r2=168346&pathrev=168347 fixes the problem for me. I just took that patch and applied it to a checkout of the GCC 4.4 branch, now my test-case for this floating point bug passes!
