diff options
author | Joseph Myers <joseph@codesourcery.com> | 2012-09-29 18:31:54 +0000 |
---|---|---|
committer | Joseph Myers <joseph@codesourcery.com> | 2012-09-29 18:31:54 +0000 |
commit | 8ec5b01346114da38e806ca1867da688d3a360e2 (patch) | |
tree | 8a55bd704c2a6ca8164202217e2048bb33a7dacb /sysdeps/ieee754/ldbl-128/s_fma.c | |
parent | b1fa802e1ad4104060fe93b4b3b078ba46be0933 (diff) | |
download | glibc-8ec5b01346114da38e806ca1867da688d3a360e2.tar.gz |
Fix sign of exact zero return from fma (bug 14638).
Diffstat (limited to 'sysdeps/ieee754/ldbl-128/s_fma.c')
-rw-r--r-- | sysdeps/ieee754/ldbl-128/s_fma.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/sysdeps/ieee754/ldbl-128/s_fma.c b/sysdeps/ieee754/ldbl-128/s_fma.c index 355b60ebbb..b08ff29c04 100644 --- a/sysdeps/ieee754/ldbl-128/s_fma.c +++ b/sysdeps/ieee754/ldbl-128/s_fma.c @@ -1,5 +1,5 @@ /* Compute x * y + z as ternary operation. - Copyright (C) 2010 Free Software Foundation, Inc. + Copyright (C) 2010-2012 Free Software Foundation, Inc. This file is part of the GNU C Library. Contributed by Jakub Jelinek <jakub@redhat.com>, 2010. @@ -33,6 +33,12 @@ __fma (double x, double y, double z) fenv_t env; /* Multiplication is always exact. */ long double temp = (long double) x * (long double) y; + + /* Ensure correct sign of an exact zero result by performing the + addition in the original rounding mode in that case. */ + if (temp == -z) + return (double) temp + z; + union ieee854_long_double u; feholdexcept (&env); fesetround (FE_TOWARDZERO); |