From: Bruno Haible Date: Mon, 27 Feb 2012 10:17:27 +0000 (+0100) Subject: Tests for module 'fmodf-ieee'. X-Git-Tag: v0.1~1046 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=0a3dca844b5b6929bef8ebf140f24dd9fd0c03c5;p=gnulib.git Tests for module 'fmodf-ieee'. * modules/fmodf-ieee-tests: New file. * tests/test-fmodf-ieee.c: New file. * tests/test-fmod-ieee.h: New file. --- diff --git a/ChangeLog b/ChangeLog index b47d704802..1de96096e6 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,10 @@ 2012-02-27 Bruno Haible + Tests for module 'fmodf-ieee'. + * modules/fmodf-ieee-tests: New file. + * tests/test-fmodf-ieee.c: New file. + * tests/test-fmod-ieee.h: New file. + New module 'fmodf-ieee'. * modules/fmodf-ieee: New file. diff --git a/modules/fmodf-ieee-tests b/modules/fmodf-ieee-tests new file mode 100644 index 0000000000..61bbce90d9 --- /dev/null +++ b/modules/fmodf-ieee-tests @@ -0,0 +1,19 @@ +Files: +tests/test-fmodf-ieee.c +tests/test-fmod-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-fmodf-ieee +check_PROGRAMS += test-fmodf-ieee +test_fmodf_ieee_LDADD = $(LDADD) @FMODF_LIBM@ diff --git a/tests/test-fmod-ieee.h b/tests/test-fmod-ieee.h new file mode 100644 index 0000000000..986a8e4465 --- /dev/null +++ b/tests/test-fmod-ieee.h @@ -0,0 +1,98 @@ +/* Test of fmod*() 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. */ + + /* NaN. */ + ASSERT (ISNAN (FMOD (NAN, L_(2.0)))); + ASSERT (ISNAN (FMOD (NAN, L_(0.0)))); + ASSERT (ISNAN (FMOD (L_(2.0), NAN))); + ASSERT (ISNAN (FMOD (L_(0.0), NAN))); + ASSERT (ISNAN (FMOD (NAN, NAN))); + + /* y is zero. */ + ASSERT (ISNAN (FMOD (L_(2.0), L_(0.0)))); + ASSERT (ISNAN (FMOD (L_(2.0), MINUS_ZERO))); + ASSERT (ISNAN (FMOD (INFINITY, L_(0.0)))); + ASSERT (ISNAN (FMOD (INFINITY, MINUS_ZERO))); + + /* x is infinite. */ + ASSERT (ISNAN (FMOD (INFINITY, L_(2.0)))); + ASSERT (ISNAN (FMOD (INFINITY, - L_(2.0)))); + + /* x is zero. */ + { + DOUBLE z = FMOD (L_(0.0), L_(2.0)); + ASSERT (z == L_(0.0)); + ASSERT (!signbit (z)); + } + { + DOUBLE z = FMOD (MINUS_ZERO, L_(2.0)); + ASSERT (z == L_(0.0)); + ASSERT (!!signbit (z) == !!signbit (MINUS_ZERO)); + } + { + DOUBLE z = FMOD (L_(0.0), - L_(2.0)); + ASSERT (z == L_(0.0)); + ASSERT (!signbit (z)); + } + { + DOUBLE z = FMOD (MINUS_ZERO, - L_(2.0)); + ASSERT (z == L_(0.0)); + ASSERT (!!signbit (z) == !!signbit (MINUS_ZERO)); + } + { + DOUBLE z = FMOD (L_(0.0), INFINITY); + ASSERT (z == L_(0.0)); + ASSERT (!signbit (z)); + } + { + DOUBLE z = FMOD (MINUS_ZERO, INFINITY); + ASSERT (z == L_(0.0)); + ASSERT (!!signbit (z) == !!signbit (MINUS_ZERO)); + } + { + DOUBLE z = FMOD (L_(0.0), - INFINITY); + ASSERT (z == L_(0.0)); + ASSERT (!signbit (z)); + } + { + DOUBLE z = FMOD (MINUS_ZERO, - INFINITY); + ASSERT (z == L_(0.0)); + ASSERT (!!signbit (z) == !!signbit (MINUS_ZERO)); + } + + /* y is infinite. */ + { + DOUBLE z = FMOD (L_(2.5), INFINITY); + ASSERT (z == L_(2.5)); + } + { + DOUBLE z = FMOD (L_(2.5), - INFINITY); + ASSERT (z == L_(2.5)); + } + { + DOUBLE z = FMOD (- L_(2.5), INFINITY); + ASSERT (z == - L_(2.5)); + } + { + DOUBLE z = FMOD (- L_(2.5), - INFINITY); + ASSERT (z == - L_(2.5)); + } +} diff --git a/tests/test-fmodf-ieee.c b/tests/test-fmodf-ieee.c new file mode 100644 index 0000000000..22aea08f55 --- /dev/null +++ b/tests/test-fmodf-ieee.c @@ -0,0 +1,45 @@ +/* Test of fmodf() 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 FMOD fmodf +#include "test-fmod-ieee.h" + +int +main () +{ + test_function (); + + return 0; +}