[libc-commits] [libc] [libc][math] Implement atan2f correctly rounded to all rounding modes. (PR #86716)

[via libc-commits]

zimmermann6 wrote:

about split_d, I wonder why you use C=0x1p33+1, which makes hi fit into 53-33=20 bits, thus hi*s*k fits into 20+24+4=48 bits.
You could make hi fit into 5 more bits with C=0x1p28+1. Also note that Veltkamp's algorithm also works for directed roundings, see https://inria.hal.science/hal-04480440

https://github.com/llvm/llvm-project/pull/86716