Trevor Gross 23989245ce fma: Ensure zero has the correct sign ...

Currently, `fma(tiny, -tiny, 0.0)` returns 0.0 while the answer should
be -0.0. This is because `-0.0 + 0.0 = +0.0` in the default rounding
mode; however, the result should be negative. Musl has the same pattern
but that version worked because the C compiler was contracting `x*y + z`
to (ironically) `fmadd`.

Musl was fixed in 9683bd6241 ("math: fix fma(x,y,0) when x*y rounds to
-0"). Add the same fix here, which allows dropping the xfails.

2025-02-06 02:03:19 +00:00

..

math

fma: Ensure zero has the correct sign

2025-02-06 02:03:19 +00:00

lib.rs

Use core::arch::wasm functions rather than intrinsics

2025-01-11 17:04:29 -05:00

libm_helper.rs

Add checks via annotation that lists are sorted or exhaustive

2025-02-05 15:18:05 +00:00