X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=tests%2Ftest-floorl.c;h=5bbcaac44da97b1175712ca49787685b3b262ab3;hb=3ac9b4577c78342bdd022b31cf56de2b12f7297b;hp=49cc8c251732603806566075179cc224033ac41f;hpb=4eb59b32a2a687c113f3c0dfc166fc2573acb84f;p=gnulib.git diff --git a/tests/test-floorl.c b/tests/test-floorl.c index 49cc8c251..5bbcaac44 100644 --- a/tests/test-floorl.c +++ b/tests/test-floorl.c @@ -1,5 +1,5 @@ /* Test of rounding towards negative infinity. - Copyright (C) 2007-2008 Free Software Foundation, Inc. + Copyright (C) 2007-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 @@ -20,27 +20,31 @@ #include -#include -#include +#include "signature.h" +SIGNATURE_CHECK (floorl, long double, (long double)); + +#include #include "fpucw.h" #include "isnanl-nolibm.h" +#include "nan.h" +#include "macros.h" -#define ASSERT(expr) \ - do \ - { \ - if (!(expr)) \ - { \ - fprintf (stderr, "%s:%d: assertion failed\n", __FILE__, __LINE__); \ - fflush (stderr); \ - abort (); \ - } \ - } \ - while (0) - -/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0L. - So we use -zero instead. */ -long double zero = 0.0L; +/* 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 () @@ -51,7 +55,7 @@ main () /* Zero. */ ASSERT (floorl (0.0L) == 0.0L); - ASSERT (floorl (-zero) == 0.0L); + ASSERT (floorl (minus_zero) == 0.0L); /* Positive numbers. */ ASSERT (floorl (0.3L) == 0.0L); ASSERT (floorl (0.7L) == 0.0L); @@ -77,7 +81,7 @@ main () ASSERT (floorl (1.0L / 0.0L) == 1.0L / 0.0L); ASSERT (floorl (-1.0L / 0.0L) == -1.0L / 0.0L); /* NaNs. */ - ASSERT (isnanl (floorl (0.0L / 0.0L))); + ASSERT (isnanl (floorl (NaNl ()))); return 0; }