------- Additional Comments From Thomas dot Koenig at online dot de 2005-01-27 19:52 ------- (In reply to comment #3) > In this > case, transformation could be enhanced to combine multiple divisions, as it is > explained in Agner Fog's "How to optimize for the Pentium family of > microprocessors", section 3.7.: a1/b1 + a2/b2 can be combined to (a1*b2 + > a2*b1) > / (b1*b2).
Unless this is combined with a check for overflow or underflow and subdequent possiblity of correction Consider the case where b1 > sqrt(HUGE_VAL). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19150
