From: Bruno Haible Date: Sat, 10 Mar 2012 23:53:46 +0000 (+0100) Subject: Tests for module 'log1pf-ieee'. X-Git-Tag: v0.1~864 X-Git-Url: http://erislabs.net/gitweb/?a=commitdiff_plain;h=893f75bfc4d025e22075e1c441e594cc6b738066;hp=0ec1aa07e4a4221a131f0da9f5fcf17a57c052e2;p=gnulib.git Tests for module 'log1pf-ieee'. * modules/log1pf-ieee-tests: New file. * tests/test-log1pf-ieee.c: New file. * tests/test-log1p-ieee.h: New file. --- diff --git a/ChangeLog b/ChangeLog index bf38a9ef4..aff96657f 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,10 @@ 2012-03-10 Bruno Haible + Tests for module 'log1pf-ieee'. + * modules/log1pf-ieee-tests: New file. + * tests/test-log1pf-ieee.c: New file. + * tests/test-log1p-ieee.h: New file. + New module 'log1pf-ieee'. * modules/log1pf-ieee: New file. diff --git a/modules/log1pf-ieee-tests b/modules/log1pf-ieee-tests new file mode 100644 index 000000000..5eca5eb1b --- /dev/null +++ b/modules/log1pf-ieee-tests @@ -0,0 +1,19 @@ +Files: +tests/test-log1pf-ieee.c +tests/test-log1p-ieee.h +tests/minus-zero.h +tests/infinity.h +tests/nan.h +tests/macros.h + +Depends-on: +isnanf-nolibm +float +signbit + +configure.ac: + +Makefile.am: +TESTS += test-log1pf-ieee +check_PROGRAMS += test-log1pf-ieee +test_log1pf_ieee_LDADD = $(LDADD) @LOG1PF_LIBM@ diff --git a/tests/test-log1p-ieee.h b/tests/test-log1p-ieee.h new file mode 100644 index 000000000..2b75d3b9f --- /dev/null +++ b/tests/test-log1p-ieee.h @@ -0,0 +1,45 @@ +/* Test of log1p*() function family. + Copyright (C) 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 + 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 . */ + +static void +test_function (void) +{ + /* [MX] shaded specification in POSIX. */ + + /* Negative arguments. */ + ASSERT (ISNAN (LOG1P (- L_(1.00001)))); + ASSERT (ISNAN (LOG1P (- L_(2.0)))); + ASSERT (ISNAN (LOG1P (- L_(1000000.0)))); + ASSERT (ISNAN (LOG1P (- INFINITY))); + + /* NaN. */ + ASSERT (ISNAN (LOG1P (NAN))); + + /* Only rational value. */ + { + DOUBLE z = LOG1P (L_(0.0)); + ASSERT (z == L_(0.0)); + ASSERT (!signbit (z)); + } + { + DOUBLE z = LOG1P (MINUS_ZERO); + ASSERT (z == L_(0.0)); + ASSERT (!!signbit (z) == !!signbit (MINUS_ZERO)); + } + + /* Infinity. */ + ASSERT (LOG1P (INFINITY) == INFINITY); +} diff --git a/tests/test-log1pf-ieee.c b/tests/test-log1pf-ieee.c new file mode 100644 index 000000000..ead303aea --- /dev/null +++ b/tests/test-log1pf-ieee.c @@ -0,0 +1,45 @@ +/* Test of log1pf() function. + Copyright (C) 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 + 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 . */ + +#include + +#include + +#include "isnanf-nolibm.h" +#include "minus-zero.h" +#include "infinity.h" +#include "nan.h" +#include "macros.h" + +#undef INFINITY +#undef NAN + +#define DOUBLE float +#define ISNAN isnanf +#define INFINITY Infinityf () +#define NAN NaNf () +#define L_(literal) literal##f +#define MINUS_ZERO minus_zerof +#define LOG1P log1pf +#include "test-log1p-ieee.h" + +int +main () +{ + test_function (); + + return 0; +}