weird optimization in sin+cos, x86 backend

Sun Feb 5 19:01:00 GMT 2012

On 2012-02-04 13:00:45 +0100, Andreas Schwab wrote:
> But it is indistinguishable from 10^22+pi.  So both -0.8522008497671888
> and 0.8522008497671888 are correct results, or anything inbetween.

No, 10^22 and 10^22+pi are different numbers. You are not
following the IEEE 754 model, where each input is assumed
to be exact.

-- 
Vincent LefÃ¨vre <vincent@vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)