2010-11-04 Eric Blake <eblake@redhat.com>
+ frexp, tests: work around ICC bug with -zero
+ * m4/frexp.m4 (gl_FUNC_FREXP_WORKS): Compute -0.0 in a way that
+ works with more compilers.
+ * tests/minus-zero.h: New file.
+ * modules/ceilf-tests (Files): Include it.
+ * modules/ceill-tests (Files): Likewise.
+ * modules/floorf-tests (Files): Likewise.
+ * modules/floorl-tests (Files): Likewise.
+ * modules/frexp-nolibm-tests (Files): Likewise.
+ * modules/frexp-tests (Files): Likewise.
+ * modules/frexpl-nolibm-tests (Files): Likewise.
+ * modules/frexpl-tests (Files): Likewise.
+ * modules/isnan-tests (Files): Likewise.
+ * modules/isnand-nolibm-tests (Files): Likewise.
+ * modules/isnand-tests (Files): Likewise.
+ * modules/isnanf-nolibm-tests (Files): Likewise.
+ * modules/isnanf-tests (Files): Likewise.
+ * modules/isnanl-nolibm-tests (Files): Likewise.
+ * modules/isnanl-tests (Files): Likewise.
+ * modules/round-tests (Files): Likewise.
+ * modules/roundf-tests (Files): Likewise.
+ * modules/roundl-tests (Files): Likewise.
+ * modules/ldexpl-tests (Files): Likewise.
+ * modules/signbit-tests (Files): Likewise.
+ * modules/snprintf-posix-tests (Files): Likewise.
+ * modules/sprintf-posix-tests (Files): Likewise.
+ * modules/strtod-tests (Files): Likewise.
+ * modules/trunc-tests (Files): Likewise.
+ * modules/truncf-tests (Files): Likewise.
+ * modules/truncl-tests (Files): Likewise.
+ * modules/vsnprintf-posix-tests (Files): Likewise.
+ * modules/vsprintf-posix-tests (Files): Likewise.
+ * modules/vasnprintf-posix-tests (Files): Likewise.
+ * modules/vasprintf-posix-tests (Files): Likewise.
+ * tests/test-ceilf1.c (main): Use it.
+ * tests/test-ceill.c (main): Likewise.
+ * tests/test-floorf1.c (main): Likewise.
+ * tests/test-floorl.c (main): Likewise.
+ * tests/test-frexp.c (main): Likewise.
+ * tests/test-frexpl.c (main): Likewise.
+ * tests/test-isnan.c (main): Likewise.
+ * tests/test-isnand.h (main): Likewise.
+ * tests/test-isnanf.h (main): Likewise.
+ * tests/test-isnanl.h (main): Likewise.
+ * tests/test-ldexpl.c (main): Likewise.
+ * tests/test-round.c (main): Likewise.
+ * tests/test-roundf.c (main): Likewise.
+ * tests/test-roundl.c (main): Likewise.
+ * tests/test-signbit.c (test_signbitf, test_signbitd)
+ (test_signbitl): Likewise.
+ * tests/test-snprintf-posix.h (test_function): Likewise.
+ * tests/test-sprintf-posix.h (test_function): Likewise.
+ * tests/test-strtod.c (main): Likewise.
+ * tests/test-trunc1.c (main): Likewise.
+ * tests/test-truncf1.c (main): Likewise.
+ * tests/test-truncl.c (main): Likewise.
+
isnanl: work around icc bug
* lib/isnan.c (FUNC): Compute run-time NaN under ICC as well.
#include <float.h>
#include <math.h>
#include <string.h>
+/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
+ ICC 10.0 has a bug when optimizing the expression -zero.
+ The expression -DBL_MIN * DBL_MIN does not work when cross-compiling
+ to PowerPC on MacOS X 10.5. */
+#if defined __hpux || defined __sgi || defined __ICC
+static double
+compute_minus_zero (void)
+{
+ return -DBL_MIN * DBL_MIN;
+}
+# define minus_zero compute_minus_zero ()
+#else
+double minus_zero = -0.0;
+#endif
int main()
{
int i;
volatile double x;
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
- So we use -zero instead. */
double zero = 0.0;
/* Test on denormalized numbers. */
for (i = 1, x = 1.0; i >= DBL_MIN_EXP; i--, x *= 0.5)
return 1;
}
/* Test on negative zero. */
- x = -zero;
+ x = minus_zero;
{
int exp;
double y = frexp (x, &exp);
Files:
tests/test-ceilf1.c
tests/test-ceilf2.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-ceill.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-floorf1.c
tests/test-floorf2.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-floorl.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-frexp.c
+tests/minus-zero.h
+tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-frexp.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-frexpl.c
+tests/minus-zero.h
+tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-frexpl.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-isnan.c
+tests/minus-zero.h
tests/nan.h
tests/macros.h
Files:
tests/test-isnand-nolibm.c
tests/test-isnand.h
+tests/minus-zero.h
tests/nan.h
tests/macros.h
Files:
tests/test-isnand.c
tests/test-isnand.h
+tests/minus-zero.h
tests/nan.h
tests/macros.h
Files:
tests/test-isnanf-nolibm.c
tests/test-isnanf.h
+tests/minus-zero.h
tests/nan.h
tests/macros.h
Files:
tests/test-isnanf.c
tests/test-isnanf.h
+tests/minus-zero.h
tests/nan.h
tests/macros.h
Files:
tests/test-isnanl-nolibm.c
tests/test-isnanl.h
+tests/minus-zero.h
tests/nan.h
tests/macros.h
Files:
tests/test-isnanl.c
tests/test-isnanl.h
+tests/minus-zero.h
tests/nan.h
tests/macros.h
Files:
tests/test-ldexpl.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-round1.c
tests/test-round2.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
tests/test-roundf1.c
tests/test-round2.c
tests/test-roundf2.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-roundl.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-signbit.c
+tests/minus-zero.h
tests/macros.h
m4/exponentf.m4
m4/exponentd.m4
tests/test-snprintf-posix.c
tests/test-snprintf-posix.h
tests/test-snprintf.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-sprintf-posix.c
tests/test-sprintf-posix.h
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-strtod.c
tests/signature.h
+tests/minus-zero.h
tests/macros.h
Depends-on:
Files:
tests/test-trunc1.c
tests/test-trunc2.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-truncf1.c
tests/test-truncf2.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-truncl.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
tests/test-vasnprintf-posix.c
tests/test-vasnprintf-posix2.sh
tests/test-vasnprintf-posix2.c
+tests/minus-zero.h
tests/nan.h
tests/macros.h
m4/locale-fr.m4
Files:
tests/test-vasprintf-posix.c
+tests/minus-zero.h
tests/nan.h
tests/macros.h
tests/test-vsnprintf-posix.c
tests/test-snprintf-posix.h
tests/test-vsnprintf.c
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
Files:
tests/test-vsprintf-posix.c
tests/test-sprintf-posix.h
+tests/minus-zero.h
tests/nan.h
tests/signature.h
tests/macros.h
--- /dev/null
+/* Macros for floating-point negative zero.
+ Copyright (C) 2010 Free Software Foundation, Inc.
+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 3 of the License, or
+ (at your option) any later version.
+
+ This program 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 General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program. If not, see <http://www.gnu.org/licenses/>. */
+
+#include <float.h>
+
+/* minus_zerof represents the value -0.0f. */
+
+/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0f.
+ ICC 10.0 has a bug when optimizing the expression -zero.
+ The expression -FLT_MIN * FLT_MIN does not work when cross-compiling
+ to PowerPC on MacOS X 10.5. */
+#if defined __hpux || defined __sgi || defined __ICC
+static float
+compute_minus_zerof (void)
+{
+ return -FLT_MIN * FLT_MIN;
+}
+# define minus_zerof compute_minus_zerof ()
+#else
+float minus_zerof = -0.0f;
+#endif
+
+
+/* minus_zerod represents the value -0.0. */
+
+/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
+ ICC 10.0 has a bug when optimizing the expression -zero.
+ The expression -DBL_MIN * DBL_MIN does not work when cross-compiling
+ to PowerPC on MacOS X 10.5. */
+#if defined __hpux || defined __sgi || defined __ICC
+static double
+compute_minus_zerod (void)
+{
+ return -DBL_MIN * DBL_MIN;
+}
+# define minus_zerod compute_minus_zerod ()
+#else
+double minus_zerod = -0.0;
+#endif
+
+/* minus_zerol represents the value -0.0L. */
+
+/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0L.
+ IRIX cc can't put -0.0L into .data, but can compute at runtime.
+ ICC 10.0 has a bug when optimizing the expression -zero.
+ The expression -LDBL_MIN * LDBL_MIN does not work when cross-compiling
+ to PowerPC on MacOS X 10.5. */
+#if defined __hpux || defined __sgi || defined __ICC
+static long double
+compute_minus_zerol (void)
+{
+ return -LDBL_MIN * LDBL_MIN;
+}
+# define minus_zerol compute_minus_zerol ()
+#else
+long double minus_zerol = -0.0L;
+#endif
SIGNATURE_CHECK (ceilf, float, (float));
#include "isnanf-nolibm.h"
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0f.
- So we use -zero instead. */
-float zero = 0.0f;
-
int
main ()
{
/* Zero. */
ASSERT (ceilf (0.0f) == 0.0f);
- ASSERT (ceilf (-zero) == 0.0f);
+ ASSERT (ceilf (minus_zerof) == 0.0f);
/* Positive numbers. */
ASSERT (ceilf (0.3f) == 1.0f);
ASSERT (ceilf (0.7f) == 1.0f);
#include "fpucw.h"
#include "isnanl-nolibm.h"
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* On HP-UX 10.20, negating 0.0L does not yield -0.0L.
- So we use minus_zero instead.
- IRIX cc can't put -0.0L into .data, but can compute at runtime.
- Note that the expression -LDBL_MIN * LDBL_MIN does not work on other
- platforms, such as when cross-compiling to PowerPC on MacOS X 10.5. */
-#if defined __hpux || defined __sgi
-static long double
-compute_minus_zero (void)
-{
- return -LDBL_MIN * LDBL_MIN;
-}
-# define minus_zero compute_minus_zero ()
-#else
-long double minus_zero = -0.0L;
-#endif
-
int
main ()
{
/* Zero. */
ASSERT (ceill (0.0L) == 0.0L);
- ASSERT (ceill (minus_zero) == 0.0L);
+ ASSERT (ceill (minus_zerol) == 0.0L);
/* Positive numbers. */
ASSERT (ceill (0.3L) == 1.0L);
ASSERT (ceill (0.7L) == 1.0L);
SIGNATURE_CHECK (floorf, float, (float));
#include "isnanf-nolibm.h"
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0f.
- So we use -zero instead. */
-float zero = 0.0f;
-
int
main ()
{
/* Zero. */
ASSERT (floorf (0.0f) == 0.0f);
- ASSERT (floorf (-zero) == 0.0f);
+ ASSERT (floorf (minus_zerof) == 0.0f);
/* Positive numbers. */
ASSERT (floorf (0.3f) == 0.0f);
ASSERT (floorf (0.7f) == 0.0f);
#include "fpucw.h"
#include "isnanl-nolibm.h"
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* On HP-UX 10.20, negating 0.0L does not yield -0.0L.
- So we use minus_zero instead.
- IRIX cc can't put -0.0L into .data, but can compute at runtime.
- Note that the expression -LDBL_MIN * LDBL_MIN does not work on other
- platforms, such as when cross-compiling to PowerPC on MacOS X 10.5. */
-#if defined __hpux || defined __sgi
-static long double
-compute_minus_zero (void)
-{
- return -LDBL_MIN * LDBL_MIN;
-}
-# define minus_zero compute_minus_zero ()
-#else
-long double minus_zero = -0.0L;
-#endif
-
int
main ()
{
/* Zero. */
ASSERT (floorl (0.0L) == 0.0L);
- ASSERT (floorl (minus_zero) == 0.0L);
+ ASSERT (floorl (minus_zerol) == 0.0L);
/* Positive numbers. */
ASSERT (floorl (0.3L) == 0.0L);
ASSERT (floorl (0.7L) == 0.0L);
#include <float.h>
#include "isnand-nolibm.h"
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
#undef exp
#define exp exponent
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
- So we use -zero instead. */
-double zero = 0.0;
-
static double
my_ldexp (double x, int d)
{
{ /* Negative zero. */
int exp = -9999;
double mantissa;
- x = -zero;
+ x = minus_zerod;
mantissa = frexp (x, &exp);
ASSERT (exp == 0);
ASSERT (mantissa == x);
#include "fpucw.h"
#include "isnanl-nolibm.h"
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
# define MIN_NORMAL_EXP LDBL_MIN_EXP
#endif
-/* On HP-UX 10.20, negating 0.0L does not yield -0.0L.
- So we use minus_zero instead.
- IRIX cc can't put -0.0L into .data, but can compute at runtime.
- Note that the expression -LDBL_MIN * LDBL_MIN does not work on other
- platforms, such as when cross-compiling to PowerPC on MacOS X 10.5. */
-#if defined __hpux || defined __sgi
-static long double
-compute_minus_zero (void)
-{
- return -LDBL_MIN * LDBL_MIN;
-}
-# define minus_zero compute_minus_zero ()
-#else
-long double minus_zero = -0.0L;
-#endif
-
static long double
my_ldexp (long double x, int d)
{
{ /* Negative zero. */
int exp = -9999;
long double mantissa;
- x = minus_zero;
+ x = minus_zerol;
mantissa = frexpl (x, &exp);
ASSERT (exp == 0);
ASSERT (mantissa == x);
#include <float.h>
#include <limits.h>
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0f.
- So we use -zero instead. */
-float zerof = 0.0f;
-
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
- So we use -zero instead. */
-double zerod = 0.0;
-
-/* On HP-UX 10.20, negating 0.0L does not yield -0.0L.
- So we use minus_zerol instead.
- IRIX cc can't put -0.0L into .data, but can compute at runtime.
- Note that the expression -LDBL_MIN * LDBL_MIN does not work on other
- platforms, such as when cross-compiling to PowerPC on MacOS X 10.5. */
-#if defined __hpux || defined __sgi
-static long double
-compute_minus_zerol (void)
-{
- return -LDBL_MIN * LDBL_MIN;
-}
-# define minus_zerol compute_minus_zerol ()
-#else
-long double minus_zerol = -0.0L;
-#endif
-
static void
test_float (void)
{
ASSERT (!isnan (-2.718e30f));
ASSERT (!isnan (-2.718e-30f));
ASSERT (!isnan (0.0f));
- ASSERT (!isnan (-zerof));
+ ASSERT (!isnan (minus_zerof));
/* Infinite values. */
ASSERT (!isnan (1.0f / 0.0f));
ASSERT (!isnan (-1.0f / 0.0f));
ASSERT (!isnan (-2.718e30));
ASSERT (!isnan (-2.718e-30));
ASSERT (!isnan (0.0));
- ASSERT (!isnan (-zerod));
+ ASSERT (!isnan (minus_zerod));
/* Infinite values. */
ASSERT (!isnan (1.0 / 0.0));
ASSERT (!isnan (-1.0 / 0.0));
#include <limits.h>
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
- So we use -zero instead. */
-double zero = 0.0;
-
int
main ()
{
ASSERT (!isnand (-2.718e30));
ASSERT (!isnand (-2.718e-30));
ASSERT (!isnand (0.0));
- ASSERT (!isnand (-zero));
+ ASSERT (!isnand (minus_zerod));
/* Infinite values. */
ASSERT (!isnand (1.0 / 0.0));
ASSERT (!isnand (-1.0 / 0.0));
#include <limits.h>
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0f.
- So we use -zero instead. */
-float zero = 0.0f;
-
int
main ()
{
ASSERT (!isnanf (-2.718e30f));
ASSERT (!isnanf (-2.718e-30f));
ASSERT (!isnanf (0.0f));
- ASSERT (!isnanf (-zero));
+ ASSERT (!isnanf (minus_zerof));
/* Infinite values. */
ASSERT (!isnanf (1.0f / 0.0f));
ASSERT (!isnanf (-1.0f / 0.0f));
#include <float.h>
#include <limits.h>
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* On HP-UX 10.20, negating 0.0L does not yield -0.0L.
- So we use minus_zero instead.
- IRIX cc can't put -0.0L into .data, but can compute at runtime.
- Note that the expression -LDBL_MIN * LDBL_MIN does not work on other
- platforms, such as when cross-compiling to PowerPC on MacOS X 10.5. */
-#if defined __hpux || defined __sgi
-static long double
-compute_minus_zero (void)
-{
- return -LDBL_MIN * LDBL_MIN;
-}
-# define minus_zero compute_minus_zero ()
-#else
-long double minus_zero = -0.0L;
-#endif
-
int
main ()
{
ASSERT (!isnanl (-2.718e30L));
ASSERT (!isnanl (-2.718e-30L));
ASSERT (!isnanl (0.0L));
- ASSERT (!isnanl (minus_zero));
+ ASSERT (!isnanl (minus_zerol));
/* Infinite values. */
ASSERT (!isnanl (1.0L / 0.0L));
ASSERT (!isnanl (-1.0L / 0.0L));
#include "fpucw.h"
#include "isnanl-nolibm.h"
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* On HP-UX 10.20, negating 0.0L does not yield -0.0L.
- So we use minus_zero instead.
- IRIX cc can't put -0.0L into .data, but can compute at runtime.
- Note that the expression -LDBL_MIN * LDBL_MIN does not work on other
- platforms, such as when cross-compiling to PowerPC on MacOS X 10.5. */
-#if defined __hpux || defined __sgi
-static long double
-compute_minus_zero (void)
-{
- return -LDBL_MIN * LDBL_MIN;
-}
-# define minus_zero compute_minus_zero ()
-#else
-long double minus_zero = -0.0L;
-#endif
-
int
main ()
{
}
{ /* Negative zero. */
- x = minus_zero;
+ x = minus_zerol;
y = ldexpl (x, 0); ASSERT (y == x); ASSERT (signbit (x));
y = ldexpl (x, 5); ASSERT (y == x); ASSERT (signbit (x));
y = ldexpl (x, -5); ASSERT (y == x); ASSERT (signbit (x));
SIGNATURE_CHECK (round, double, (double));
#include "isnand-nolibm.h"
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
- So we use -zero instead. */
-double zero = 0.0;
-
int
main ()
{
/* Zero. */
ASSERT (round (0.0) == 0.0);
- ASSERT (round (-zero) == 0.0);
+ ASSERT (round (minus_zerod) == 0.0);
/* Positive numbers. */
ASSERT (round (0.3) == 0.0);
ASSERT (round (0.5) == 1.0);
SIGNATURE_CHECK (roundf, float, (float));
#include "isnanf-nolibm.h"
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0f.
- So we use -zero instead. */
-float zero = 0.0f;
-
int
main ()
{
/* Zero. */
ASSERT (roundf (0.0f) == 0.0f);
- ASSERT (roundf (-zero) == 0.0f);
+ ASSERT (roundf (minus_zerof) == 0.0f);
/* Positive numbers. */
ASSERT (roundf (0.3f) == 0.0f);
ASSERT (roundf (0.5f) == 1.0f);
#include "fpucw.h"
#include "isnanl-nolibm.h"
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* On HP-UX 10.20, negating 0.0L does not yield -0.0L.
- So we use minus_zero instead.
- IRIX cc can't put -0.0L into .data, but can compute at runtime.
- Note that the expression -LDBL_MIN * LDBL_MIN does not work on other
- platforms, such as when cross-compiling to PowerPC on MacOS X 10.5. */
-#if defined __hpux || defined __sgi
-static long double
-compute_minus_zero (void)
-{
- return -LDBL_MIN * LDBL_MIN;
-}
-# define minus_zero compute_minus_zero ()
-#else
-long double minus_zero = -0.0L;
-#endif
-
int
main ()
{
/* Zero. */
ASSERT (roundl (0.0L) == 0.0L);
- ASSERT (roundl (minus_zero) == 0.0L);
+ ASSERT (roundl (minus_zerol) == 0.0L);
/* Positive numbers. */
ASSERT (roundl (0.3L) == 0.0L);
ASSERT (roundl (0.5L) == 1.0L);
#include <float.h>
#include <limits.h>
+#include "minus-zero.h"
#include "macros.h"
float zerof = 0.0f;
double zerod = 0.0;
long double zerol = 0.0L;
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0f.
- So we use -zerof instead. */
-
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
- So we use -zerod instead. */
-
-/* On HP-UX 10.20, negating 0.0L does not yield -0.0L.
- So we use minus_zerol instead.
- IRIX cc can't put -0.0L into .data, but can compute at runtime.
- Note that the expression -LDBL_MIN * LDBL_MIN does not work on other
- platforms, such as when cross-compiling to PowerPC on MacOS X 10.5. */
-#if defined __hpux || defined __sgi
-static long double
-compute_minus_zerol (void)
-{
- return -LDBL_MIN * LDBL_MIN;
-}
-# define minus_zerol compute_minus_zerol ()
-#else
-long double minus_zerol = -0.0L;
-#endif
-
static void
test_signbitf ()
{
ASSERT (signbit (-2.718e-30f));
/* Zeros. */
ASSERT (!signbit (0.0f));
- if (1.0f / -zerof < 0)
- ASSERT (signbit (-zerof));
+ if (1.0f / minus_zerof < 0)
+ ASSERT (signbit (minus_zerof));
else
- ASSERT (!signbit (-zerof));
+ ASSERT (!signbit (minus_zerof));
/* Infinite values. */
ASSERT (!signbit (1.0f / 0.0f));
ASSERT (signbit (-1.0f / 0.0f));
ASSERT (signbit (-2.718e-30));
/* Zeros. */
ASSERT (!signbit (0.0));
- if (1.0 / -zerod < 0)
- ASSERT (signbit (-zerod));
+ if (1.0 / minus_zerod < 0)
+ ASSERT (signbit (minus_zerod));
else
- ASSERT (!signbit (-zerod));
+ ASSERT (!signbit (minus_zerod));
/* Infinite values. */
ASSERT (!signbit (1.0 / 0.0));
ASSERT (signbit (-1.0 / 0.0));
/* Written by Bruno Haible <bruno@clisp.org>, 2007. */
+#include "minus-zero.h"
#include "nan.h"
/* The SGI MIPS floating-point format does not distinguish 0.0 and -0.0. */
have_minus_zero ()
{
static double plus_zero = 0.0;
- double minus_zero = - plus_zero;
+ double minus_zero = minus_zerod;
return memcmp (&plus_zero, &minus_zero, sizeof (double)) != 0;
}
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
- So we use -zerod instead. */
-double zerod = 0.0;
-
-/* On HP-UX 10.20, negating 0.0L does not yield -0.0L.
- So we use minus_zerol instead.
- IRIX cc can't put -0.0L into .data, but can compute at runtime.
- Note that the expression -LDBL_MIN * LDBL_MIN does not work on other
- platforms, such as when cross-compiling to PowerPC on MacOS X 10.5. */
-#if defined __hpux || defined __sgi
-static long double
-compute_minus_zerol (void)
-{
- return -LDBL_MIN * LDBL_MIN;
-}
-# define minus_zerol compute_minus_zerol ()
-#else
-long double minus_zerol = -0.0L;
-#endif
-
/* Representation of an 80-bit 'long double' as an initializer for a sequence
of 'unsigned int' words. */
#ifdef WORDS_BIGENDIAN
{ /* Negative zero. */
char result[100];
int retval =
- my_snprintf (result, sizeof (result), "%a %d", -zerod, 33, 44, 55);
+ my_snprintf (result, sizeof (result), "%a %d", minus_zerod, 33, 44, 55);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0x0p+0 33") == 0);
ASSERT (retval == strlen (result));
{ /* Negative zero. */
char result[100];
int retval =
- my_snprintf (result, sizeof (result), "%f %d", -zerod, 33, 44, 55);
+ my_snprintf (result, sizeof (result), "%f %d", minus_zerod, 33, 44, 55);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0.000000 33") == 0);
ASSERT (retval == strlen (result));
{ /* Negative zero. */
char result[100];
int retval =
- my_snprintf (result, sizeof (result), "%F %d", -zerod, 33, 44, 55);
+ my_snprintf (result, sizeof (result), "%F %d", minus_zerod, 33, 44, 55);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0.000000 33") == 0);
ASSERT (retval == strlen (result));
{ /* Negative zero. */
char result[100];
int retval =
- my_snprintf (result, sizeof (result), "%e %d", -zerod, 33, 44, 55);
+ my_snprintf (result, sizeof (result), "%e %d", minus_zerod, 33, 44, 55);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0.000000e+00 33") == 0
|| strcmp (result, "-0.000000e+000 33") == 0);
{ /* Negative zero. */
char result[100];
int retval =
- my_snprintf (result, sizeof (result), "%g %d", -zerod, 33, 44, 55);
+ my_snprintf (result, sizeof (result), "%g %d", minus_zerod, 33, 44, 55);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0 33") == 0);
ASSERT (retval == strlen (result));
/* Written by Bruno Haible <bruno@clisp.org>, 2007. */
+#include "minus-zero.h"
#include "nan.h"
/* The SGI MIPS floating-point format does not distinguish 0.0 and -0.0. */
have_minus_zero ()
{
static double plus_zero = 0.0;
- double minus_zero = - plus_zero;
+ double minus_zero = minus_zerod;
return memcmp (&plus_zero, &minus_zero, sizeof (double)) != 0;
}
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
- So we use -zerod instead. */
-double zerod = 0.0;
-
-/* On HP-UX 10.20, negating 0.0L does not yield -0.0L.
- So we use minus_zerol instead.
- IRIX cc can't put -0.0L into .data, but can compute at runtime.
- Note that the expression -LDBL_MIN * LDBL_MIN does not work on other
- platforms, such as when cross-compiling to PowerPC on MacOS X 10.5. */
-#if defined __hpux || defined __sgi
-static long double
-compute_minus_zerol (void)
-{
- return -LDBL_MIN * LDBL_MIN;
-}
-# define minus_zerol compute_minus_zerol ()
-#else
-long double minus_zerol = -0.0L;
-#endif
-
/* Representation of an 80-bit 'long double' as an initializer for a sequence
of 'unsigned int' words. */
#ifdef WORDS_BIGENDIAN
{ /* Negative zero. */
char result[1000];
int retval =
- my_sprintf (result, "%a %d", -zerod, 33, 44, 55);
+ my_sprintf (result, "%a %d", minus_zerod, 33, 44, 55);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0x0p+0 33") == 0);
ASSERT (retval == strlen (result));
{ /* Negative zero. */
char result[1000];
int retval =
- my_sprintf (result, "%f %d", -zerod, 33, 44, 55);
+ my_sprintf (result, "%f %d", minus_zerod, 33, 44, 55);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0.000000 33") == 0);
ASSERT (retval == strlen (result));
{ /* Negative zero. */
char result[1000];
int retval =
- my_sprintf (result, "%F %d", -zerod, 33, 44, 55);
+ my_sprintf (result, "%F %d", minus_zerod, 33, 44, 55);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0.000000 33") == 0);
ASSERT (retval == strlen (result));
{ /* Negative zero. */
char result[1000];
int retval =
- my_sprintf (result, "%e %d", -zerod, 33, 44, 55);
+ my_sprintf (result, "%e %d", minus_zerod, 33, 44, 55);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0.000000e+00 33") == 0
|| strcmp (result, "-0.000000e+000 33") == 0);
{ /* Negative zero. */
char result[1000];
int retval =
- my_sprintf (result, "%g %d", -zerod, 33, 44, 55);
+ my_sprintf (result, "%g %d", minus_zerod, 33, 44, 55);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0 33") == 0);
ASSERT (retval == strlen (result));
#include <string.h>
#include "isnand-nolibm.h"
+#include "minus-zero.h"
#include "macros.h"
/* Avoid requiring -lm just for fabs. */
#define FABS(d) ((d) < 0.0 ? -(d) : (d))
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
- So we use -zero instead. */
-double zero = 0.0;
-
int
main (void)
{
errno = 0;
result = strtod (input, &ptr);
ASSERT (result == 0.0);
- ASSERT (!!signbit (result) == !!signbit (-zero)); /* IRIX 6.5, OSF/1 4.0 */
+ ASSERT (!!signbit (result) == !!signbit (minus_zerod)); /* IRIX 6.5, OSF/1 4.0 */
ASSERT (ptr == input + 2);
ASSERT (errno == 0);
}
errno = 0;
result = strtod (input, &ptr);
ASSERT (result == 0.0);
- ASSERT (!!signbit (result) == !!signbit (-zero)); /* MacOS X 10.3, FreeBSD 6.2, IRIX 6.5, OSF/1 4.0 */
+ ASSERT (!!signbit (result) == !!signbit (minus_zerod)); /* MacOS X 10.3, FreeBSD 6.2, IRIX 6.5, OSF/1 4.0 */
ASSERT (ptr == input + 2); /* glibc-2.3.6, MacOS X 10.3, FreeBSD 6.2, AIX 7.1 */
ASSERT (errno == 0);
}
0 on negative underflow, even though quality of implementation
demands preserving the sign. Disable this test until fixed
glibc is more prevalent. */
- ASSERT (!!signbit (result) == !!signbit (-zero)); /* glibc-2.3.6, mingw */
+ ASSERT (!!signbit (result) == !!signbit (minus_zerod)); /* glibc-2.3.6, mingw */
#endif
ASSERT (ptr == input + 10);
ASSERT (errno == ERANGE);
errno = 0;
result = strtod (input, &ptr);
ASSERT (result == 0.0);
- ASSERT (!!signbit (result) == !!signbit (-zero)); /* IRIX 6.5, OSF/1 4.0 */
+ ASSERT (!!signbit (result) == !!signbit (minus_zerod)); /* IRIX 6.5, OSF/1 4.0 */
ASSERT (ptr == input + m);
ASSERT (errno == 0);
}
SIGNATURE_CHECK (trunc, double, (double));
#include "isnand-nolibm.h"
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
- So we use -zero instead. */
-double zero = 0.0;
-
int
main ()
{
/* Zero. */
ASSERT (trunc (0.0) == 0.0);
- ASSERT (trunc (-zero) == 0.0);
+ ASSERT (trunc (minus_zerod) == 0.0);
/* Positive numbers. */
ASSERT (trunc (0.3) == 0.0);
ASSERT (trunc (0.7) == 0.0);
SIGNATURE_CHECK (truncf, float, (float));
#include "isnanf-nolibm.h"
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0f.
- So we use -zero instead. */
-float zero = 0.0f;
-
int
main ()
{
/* Zero. */
ASSERT (truncf (0.0f) == 0.0f);
- ASSERT (truncf (-zero) == 0.0f);
+ ASSERT (truncf (minus_zerof) == 0.0f);
/* Positive numbers. */
ASSERT (truncf (0.3f) == 0.0f);
ASSERT (truncf (0.7f) == 0.0f);
#include "fpucw.h"
#include "isnanl-nolibm.h"
+#include "minus-zero.h"
#include "nan.h"
#include "macros.h"
-/* On HP-UX 10.20, negating 0.0L does not yield -0.0L.
- So we use minus_zero instead.
- IRIX cc can't put -0.0L into .data, but can compute at runtime.
- Note that the expression -LDBL_MIN * LDBL_MIN does not work on other
- platforms, such as when cross-compiling to PowerPC on MacOS X 10.5. */
-#if defined __hpux || defined __sgi
-static long double
-compute_minus_zero (void)
-{
- return -LDBL_MIN * LDBL_MIN;
-}
-# define minus_zero compute_minus_zero ()
-#else
-long double minus_zero = -0.0L;
-#endif
-
int
main ()
{
/* Zero. */
ASSERT (truncl (0.0L) == 0.0L);
- ASSERT (truncl (minus_zero) == 0.0L);
+ ASSERT (truncl (minus_zerol) == 0.0L);
/* Positive numbers. */
ASSERT (truncl (0.3L) == 0.0L);
ASSERT (truncl (0.7L) == 0.0L);
#include <string.h>
#include "macros.h"
+#include "minus-zero.h"
#include "nan.h"
/* The SGI MIPS floating-point format does not distinguish 0.0 and -0.0. */
have_minus_zero ()
{
static double plus_zero = 0.0;
- double minus_zero = - plus_zero;
+ double minus_zero = minus_zerod;
return memcmp (&plus_zero, &minus_zero, sizeof (double)) != 0;
}
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
- So we use -zerod instead. */
-double zerod = 0.0;
-
-/* On HP-UX 10.20, negating 0.0L does not yield -0.0L.
- So we use minus_zerol instead.
- IRIX cc can't put -0.0L into .data, but can compute at runtime.
- Note that the expression -LDBL_MIN * LDBL_MIN does not work on other
- platforms, such as when cross-compiling to PowerPC on MacOS X 10.5. */
-#if defined __hpux || defined __sgi
-static long double
-compute_minus_zerol (void)
-{
- return -LDBL_MIN * LDBL_MIN;
-}
-# define minus_zerol compute_minus_zerol ()
-#else
-long double minus_zerol = -0.0L;
-#endif
-
/* Representation of an 80-bit 'long double' as an initializer for a sequence
of 'unsigned int' words. */
#ifdef WORDS_BIGENDIAN
{ /* Negative zero. */
size_t length;
char *result =
- my_asnprintf (NULL, &length, "%a %d", -zerod, 33, 44, 55);
+ my_asnprintf (NULL, &length, "%a %d", minus_zerod, 33, 44, 55);
ASSERT (result != NULL);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0x0p+0 33") == 0);
{ /* Negative zero. */
size_t length;
char *result =
- my_asnprintf (NULL, &length, "%f %d", -zerod, 33, 44, 55);
+ my_asnprintf (NULL, &length, "%f %d", minus_zerod, 33, 44, 55);
ASSERT (result != NULL);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0.000000 33") == 0);
{ /* Negative zero. */
size_t length;
char *result =
- my_asnprintf (NULL, &length, "%F %d", -zerod, 33, 44, 55);
+ my_asnprintf (NULL, &length, "%F %d", minus_zerod, 33, 44, 55);
ASSERT (result != NULL);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0.000000 33") == 0);
{ /* Negative zero. */
size_t length;
char *result =
- my_asnprintf (NULL, &length, "%e %d", -zerod, 33, 44, 55);
+ my_asnprintf (NULL, &length, "%e %d", minus_zerod, 33, 44, 55);
ASSERT (result != NULL);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0.000000e+00 33") == 0
{ /* Negative zero. */
size_t length;
char *result =
- my_asnprintf (NULL, &length, "%g %d", -zerod, 33, 44, 55);
+ my_asnprintf (NULL, &length, "%g %d", minus_zerod, 33, 44, 55);
ASSERT (result != NULL);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0 33") == 0);
#include <string.h>
#include "macros.h"
+#include "minus-zero.h"
#include "nan.h"
/* The SGI MIPS floating-point format does not distinguish 0.0 and -0.0. */
have_minus_zero ()
{
static double plus_zero = 0.0;
- double minus_zero = - plus_zero;
+ double minus_zero = minus_zerod;
return memcmp (&plus_zero, &minus_zero, sizeof (double)) != 0;
}
-/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
- So we use -zerod instead. */
-double zerod = 0.0;
-
-/* On HP-UX 10.20, negating 0.0L does not yield -0.0L.
- So we use minus_zerol instead.
- IRIX cc can't put -0.0L into .data, but can compute at runtime.
- Note that the expression -LDBL_MIN * LDBL_MIN does not work on other
- platforms, such as when cross-compiling to PowerPC on MacOS X 10.5. */
-#if defined __hpux || defined __sgi
-static long double
-compute_minus_zerol (void)
-{
- return -LDBL_MIN * LDBL_MIN;
-}
-# define minus_zerol compute_minus_zerol ()
-#else
-long double minus_zerol = -0.0L;
-#endif
-
/* Representation of an 80-bit 'long double' as an initializer for a sequence
of 'unsigned int' words. */
#ifdef WORDS_BIGENDIAN
{ /* Negative zero. */
char *result;
int retval =
- my_asprintf (&result, "%a %d", -zerod, 33, 44, 55);
+ my_asprintf (&result, "%a %d", minus_zerod, 33, 44, 55);
ASSERT (result != NULL);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0x0p+0 33") == 0);
{ /* Negative zero. */
char *result;
int retval =
- my_asprintf (&result, "%f %d", -zerod, 33, 44, 55);
+ my_asprintf (&result, "%f %d", minus_zerod, 33, 44, 55);
ASSERT (result != NULL);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0.000000 33") == 0);
{ /* Negative zero. */
char *result;
int retval =
- my_asprintf (&result, "%F %d", -zerod, 33, 44, 55);
+ my_asprintf (&result, "%F %d", minus_zerod, 33, 44, 55);
ASSERT (result != NULL);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0.000000 33") == 0);
{ /* Negative zero. */
char *result;
int retval =
- my_asprintf (&result, "%e %d", -zerod, 33, 44, 55);
+ my_asprintf (&result, "%e %d", minus_zerod, 33, 44, 55);
ASSERT (result != NULL);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0.000000e+00 33") == 0
{ /* Negative zero. */
char *result;
int retval =
- my_asprintf (&result, "%g %d", -zerod, 33, 44, 55);
+ my_asprintf (&result, "%g %d", minus_zerod, 33, 44, 55);
ASSERT (result != NULL);
if (have_minus_zero ())
ASSERT (strcmp (result, "-0 33") == 0);
projects / pspp / commitdiff