Re: Time to evaluate the CORE-MATH project?
- Reply: enh : "Re: Time to evaluate the CORE-MATH project?"
- In reply to: Pedro Giffuni : "Time to evaluate the CORE-MATH project?"
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 10 Feb 2025 17:25:15 UTC
On Mon, Feb 10, 2025 at 04:14:00PM +0000, Pedro Giffuni wrote: > Quoting a recent posting in hackers@:https://lists.freebsd.org/archives/freebsd-hackers/2025-February/004304.txt > From: Paul Zimmermann <Paul.Zimmermann_at_inria.fr>Date: Mon, 10 Feb 2025 08:53:53 UTC Dear all, > a new update of our comparison is available, with FreeBSD 14.2: > https://members.loria.fr/PZimmermann/papers/accuracy.pdf > Main changes in this update: > * GNU libc now provides 21 correctly-rounded functions in single precision (integrating the CORE-MATH code)* LLVM-libc provides more correctly-rounded functions > Brian GladmanVincenzo InnocenteJohn MatherPaul Zimmermann______ > The code is under an MIT license:https://core-math.gitlabpages.inria.fr/ From the table, code is available for float and for double except lgamma. There are only 6 functions implemented for LD80 long double and no code for LD128 long double. This suggest that if someone starts importing parts of core-math, then freebsd's libm will be a mixture of msun and core-math, i.e, maintenance will become more challenging. Someone has already imported a few routines from Cephus to cover missing functionality in LD128. I know bde would not look at cephus code, and I seldom look at it as there is no one to review a change if I made one. PS: The core-math LD80 routines would need to be tested on IA32 due to the way FreeBSD sets the FPU to 53-bit precision. Of course, FreeBSD may drop IA32 support, so this might not be an issue. -- Steve