projects
/
musl
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
support cputime clocks for processes/threads other than self
[musl]
/
src
/
math
/
fmaf.c
diff --git
a/src/math/fmaf.c
b/src/math/fmaf.c
index
cc427fb
..
745ee39
100644
(file)
--- a/
src/math/fmaf.c
+++ b/
src/math/fmaf.c
@@
-37,6
+37,7
@@
*/
float fmaf(float x, float y, float z)
{
*/
float fmaf(float x, float y, float z)
{
+ #pragma STDC FENV_ACCESS ON
double xy, result;
uint32_t hr, lr;
double xy, result;
uint32_t hr, lr;
@@
-48,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 */
(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,
/*
* If result is inexact, and exactly halfway between two float values,
@@
-62,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);
fesetround(FE_TONEAREST);
if (result == adjusted_result)
SET_LOW_WORD(adjusted_result, lr + 1);
- return (adjusted_result);
+ z = adjusted_result;
+ return z;
}
}