X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=tests%2Ftest-ldexpl.c;h=5fbe35664d88cf32e3e74bf339eb99ee911c9b9b;hb=d357bb12e2b267dbd4bdbd96f97851f609b9b4a3;hp=510841cf409e53c9887d5bcf7f7c5481b9877f1d;hpb=987e5651e8d1c5aa933c9ce88562806af4093702;p=gnulib.git diff --git a/tests/test-ldexpl.c b/tests/test-ldexpl.c index 510841cf4..5fbe35664 100644 --- a/tests/test-ldexpl.c +++ b/tests/test-ldexpl.c @@ -1,5 +1,5 @@ /* Test of multiplying a 'long double' by a power of 2. - Copyright (C) 2007-2009 Free Software Foundation, Inc. + Copyright (C) 2007-2012 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 @@ -27,104 +27,34 @@ SIGNATURE_CHECK (ldexpl, long double, (long double, int)); #include "fpucw.h" #include "isnanl-nolibm.h" +#include "minus-zero.h" +#include "infinity.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 +#undef INFINITY +#undef NAN + +#define DOUBLE long double +#define ISNAN isnanl +#define INFINITY Infinityl () +#define NAN NaNl () +#define L_(literal) literal##L +#define MINUS_ZERO minus_zerol +#define MIN_EXP LDBL_MIN_EXP +#define MAX_EXP LDBL_MAX_EXP +#define LDEXP ldexpl +#define RANDOM randoml +#include "test-ldexp.h" int main () { - int i; - long double x; - long double y; DECL_LONG_DOUBLE_ROUNDING BEGIN_LONG_DOUBLE_ROUNDING (); - { /* NaN. */ - x = NaNl (); - y = ldexpl (x, 0); ASSERT (isnanl (y)); - y = ldexpl (x, 5); ASSERT (isnanl (y)); - y = ldexpl (x, -5); ASSERT (isnanl (y)); - } - - { /* Positive infinity. */ - x = 1.0L / 0.0L; - y = ldexpl (x, 0); ASSERT (y == x); - y = ldexpl (x, 5); ASSERT (y == x); - y = ldexpl (x, -5); ASSERT (y == x); - } - - { /* Negative infinity. */ - x = -1.0L / 0.0L; - y = ldexpl (x, 0); ASSERT (y == x); - y = ldexpl (x, 5); ASSERT (y == x); - y = ldexpl (x, -5); ASSERT (y == x); - } - - { /* Positive zero. */ - x = 0.0L; - 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)); - } - - { /* Negative zero. */ - x = minus_zero; - 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)); - } - - { /* Positive finite number. */ - x = 1.73205L; - y = ldexpl (x, 0); ASSERT (y == x); - y = ldexpl (x, 5); ASSERT (y == x * 32.0L); - y = ldexpl (x, -5); ASSERT (y == x * 0.03125L); - } - - { /* Negative finite number. */ - x = -20.085536923187667742L; - y = ldexpl (x, 0); ASSERT (y == x); - y = ldexpl (x, 5); ASSERT (y == x * 32.0L); - y = ldexpl (x, -5); ASSERT (y == x * 0.03125L); - } - - for (i = 1, x = 1.73205L; i <= LDBL_MAX_EXP; i++, x *= 2.0L) - { - y = ldexpl (x, 0); ASSERT (y == x); - y = ldexpl (x, 5); ASSERT (y == x * 32.0L); - y = ldexpl (x, -5); ASSERT (y == x * 0.03125L); - } - for (i = 1, x = 1.73205L; i >= LDBL_MIN_EXP; i--, x *= 0.5L) - { - y = ldexpl (x, 0); ASSERT (y == x); - y = ldexpl (x, 5); ASSERT (y == x * 32.0L); - if (i - 5 >= LDBL_MIN_EXP) - { - y = ldexpl (x, -5); ASSERT (y == x * 0.03125L); - } - } - for (; i >= LDBL_MIN_EXP - 100 && x > 0.0L; i--, x *= 0.5L) - { - y = ldexpl (x, 0); ASSERT (y == x); - y = ldexpl (x, 5); ASSERT (y == x * 32.0L); - } + test_function (); return 0; }