From 3d4837df4ab1a826871e31822694e137779fd7d0 Mon Sep 17 00:00:00 2001 From: Ulrich Drepper Date: Wed, 7 Sep 2011 22:17:33 -0400 Subject: Check for finite/infinity parms in IBM Long Double 128 fmal( ) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This patch addresses some IBM Long Double 128 fmal () test-ldouble.out and test-ildoubl.out failures. If the ‘x’ and ‘y’ parameters are finite values and ‘z’ is infinity, the result of fmal () should be ‘z’ not NaN. Conflicts: ChangeLog --- sysdeps/ieee754/ldbl-128ibm/s_fmal.c | 39 ++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 sysdeps/ieee754/ldbl-128ibm/s_fmal.c (limited to 'sysdeps/ieee754') diff --git a/sysdeps/ieee754/ldbl-128ibm/s_fmal.c b/sysdeps/ieee754/ldbl-128ibm/s_fmal.c new file mode 100644 index 0000000000..e59d2c349f --- /dev/null +++ b/sysdeps/ieee754/ldbl-128ibm/s_fmal.c @@ -0,0 +1,39 @@ +/* Compute x * y + z as ternary operation. + Copyright (C) 2011 Free Software Foundation, Inc. + This file is part of the GNU C Library. + Contributed by David Flaherty . + + The GNU C Library is free software; you can redistribute it and/or + modify it under the terms of the GNU Lesser General Public + License as published by the Free Software Foundation; either + version 2.1 of the License, or (at your option) any later version. + + The GNU C Library is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + Lesser General Public License for more details. + + You should have received a copy of the GNU Lesser General Public + License along with the GNU C Library; if not, write to the Free + Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA + 02111-1307 USA. */ + +#include +#include + +long double +__fmal (long double x, long double y, long double z) +{ + /* An IBM long double 128 is really just 2 IEEE64 doubles, and in + * the case of inf/nan only the first double counts. So we use the + * (double) cast to avoid any data movement. */ + if ((finite ((double)x) && finite ((double)y)) && isinf ((double)z)) + return (z); + + return (x * y) + z; +} +#ifdef IS_IN_libm +long_double_symbol (libm, __fmal, fmal); +#else +long_double_symbol (libc, __fmal, fmal); +#endif -- cgit 1.4.1