[libc][math] Create tool for deterministic coefficient generation.
Open
libc
- Dominant language
- LLVM
- Stars
- 40.5k
- Forks
- 18.7k
- PR merge metrics
- PR metrics pending
Description
Standard coefficient-generation tools such as Sollya are able to produce minimax polynomials for a target function.
In Libc math routines, correctly rounded FP32 routines are often computed via an FP64 intermediate and then rounded back to FP32. However, using an FP64 minumax polynomial does not guarantee the FP32 result will round correctly for all inputs.
Iteratively adjusting coefficients in these minmax polynomials can remove many (or sometimes all) of these cases, however there is currently no tool to deterministically reproduce coefficients in this manner.
A tool should be created to address this issue.
Contributor guide
Assessment
This issue has not been assessed yet.