llvm / llvm/llvm-project

[libc][math] Create tool for deterministic coefficient generation.

Open
#220,984 1 comment 0 reactions 1 assignee Claimed by @DylanFleming-arm View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.