X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=src%2Fmath%2Ffmaf.c;h=745ee393c553d171d85b4cfcce06eccfcb4378df;hb=01739902843e93ec6e9bf8e17d32c8ddf73fad81;hp=a1c7f4f83df1e3bb0f6c67c37765345db5be4feb;hpb=8bb181622222f2ee3462c8b021bcae4fcdbbd37a;p=musl diff --git a/src/math/fmaf.c b/src/math/fmaf.c index a1c7f4f8..745ee393 100644 --- a/src/math/fmaf.c +++ b/src/math/fmaf.c @@ -49,7 +49,14 @@ float fmaf(float x, float y, float z) (hr & 0x7ff00000) == 0x7ff00000 || /* NaN */ result - xy == z || /* exact */ fegetround() != FE_TONEAREST) /* not round-to-nearest */ - return (result); + { + /* + TODO: underflow is not raised correctly, example in + downward rouding: fmaf(0x1p-120f, 0x1p-120f, 0x1p-149f) + */ + z = result; + return z; + } /* * If result is inexact, and exactly halfway between two float values, @@ -63,5 +70,6 @@ float fmaf(float x, float y, float z) fesetround(FE_TONEAREST); if (result == adjusted_result) SET_LOW_WORD(adjusted_result, lr + 1); - return (adjusted_result); + z = adjusted_result; + return z; }