[Bug target/32180] Paranoia UCB GSL TestFloat libm tests fail - accuracy of recent gcc math poor

["rob1weld at aol dot com" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #15 from rob1weld at aol dot com  2007-06-12 17:50 -------
Correctly Rounded mathematical library
http://lipforge.ens-lyon.fr/www/crlibm/index.html


CRlibm, an efficient and proven correctly-rounded mathematical library
CRlibm is a free mathematical library (libm) which provides:

* implementations of the double-precision C99 standard elementary functions,

* correctly rounded in the four IEEE-754 rounding modes,

* with a comprehensive proof of both the algorithms used and their
implementation,

* sufficiently efficient in average time, worst-case time, and memory
consumption to replace existing libms transparently,


CRlibm is distributed under the GNU Lesser General Public License (LGPL). 

Included in the distribution is an extensive documentation with the proof of
each function (currently more than 100 pages), as well as all the Maple scripts
used to develop the functions. This makes this library an excellent tutorial on
software elementary function development.


Note than they provide "proof" for the library. I'll examine this link more
closely. Nearly finished my patch testing - may be a few days. 

Some functions are _many_ times faster than MPFR.


-- 


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