[musl] Re: integration of CORE-MATH routines into Musl?

[Rich Felker <dalias@libc.org>]

On Fri, Sep 02, 2022 at 12:10:18PM +0200, Paul Zimmermann wrote:
>        Dear Rich,
> 
> we now distribute the CORE-MATH routines under the MIT license,
> to ease integration into Musl (among other libraries).
> 
> Please can you point out to a Musl developer who might be
> interested to integrate some CORE-MATH routines?
> 
> We will try to answer potential issues that might arise
> during this integration.
> 
> Best regards,
> Paul
> 
> PS: see https://hal.inria.fr/hal-03721525 for more details about
> the CORE-MATH project.

Could you summaraize briefly what you have in mind, and what tradeoffs
might be? Are these intended to be drop-in replacements for the
existing standard functions, or implementations for the "cr" versions
thereof? I have not followed closely the "mandatory requirement of
correct rounding for mathematical functions in the next revision of
the IEEE-754 standard" topic and how it relates to the future of C,
but my vague recollection was that the direction folks were leaning
was towards a separate set of cr*() functions or something. But if
it's possible to do correct rounding in a way that's all-wins
(performance, size, quality of results) or nearly all wins (maybe
slightly larger?), at least for select functions, that seems very
interesting.

Rich