From 3383bf3dc7fa00b3fe931795d5dc9bcc460220c8 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Mon, 27 Feb 2012 17:43:58 +0100 Subject: [PATCH] Tests for module 'remainderf-ieee'. * modules/remainderf-ieee-tests: New file. * tests/test-remainderf-ieee.c: New file. * tests/test-remainder-ieee.h: New file. --- ChangeLog | 5 ++++ modules/remainderf-ieee-tests | 19 +++++++++++++ tests/test-remainder-ieee.h | 63 +++++++++++++++++++++++++++++++++++++++++++ tests/test-remainderf-ieee.c | 45 +++++++++++++++++++++++++++++++ 4 files changed, 132 insertions(+) create mode 100644 modules/remainderf-ieee-tests create mode 100644 tests/test-remainder-ieee.h create mode 100644 tests/test-remainderf-ieee.c diff --git a/ChangeLog b/ChangeLog index 968432c56..ae0ca7633 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,10 @@ 2012-02-27 Bruno Haible + Tests for module 'remainderf-ieee'. + * modules/remainderf-ieee-tests: New file. + * tests/test-remainderf-ieee.c: New file. + * tests/test-remainder-ieee.h: New file. + New module 'remainderf-ieee'. * modules/remainderf-ieee: New file. diff --git a/modules/remainderf-ieee-tests b/modules/remainderf-ieee-tests new file mode 100644 index 000000000..acda16419 --- /dev/null +++ b/modules/remainderf-ieee-tests @@ -0,0 +1,19 @@ +Files: +tests/test-remainderf-ieee.c +tests/test-remainder-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-remainderf-ieee +check_PROGRAMS += test-remainderf-ieee +test_remainderf_ieee_LDADD = $(LDADD) @REMAINDERF_LIBM@ diff --git a/tests/test-remainder-ieee.h b/tests/test-remainder-ieee.h new file mode 100644 index 000000000..443a0edd3 --- /dev/null +++ b/tests/test-remainder-ieee.h @@ -0,0 +1,63 @@ +/* Test of remainder*() 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 (REMAINDER (NAN, L_(2.0)))); + ASSERT (ISNAN (REMAINDER (NAN, L_(0.0)))); + ASSERT (ISNAN (REMAINDER (L_(2.0), NAN))); + ASSERT (ISNAN (REMAINDER (L_(0.0), NAN))); + ASSERT (ISNAN (REMAINDER (NAN, NAN))); + + /* y is zero. */ + ASSERT (ISNAN (REMAINDER (L_(2.0), L_(0.0)))); + ASSERT (ISNAN (REMAINDER (L_(2.0), MINUS_ZERO))); + ASSERT (ISNAN (REMAINDER (INFINITY, L_(0.0)))); + ASSERT (ISNAN (REMAINDER (INFINITY, MINUS_ZERO))); + + /* x is infinite. */ + ASSERT (ISNAN (REMAINDER (INFINITY, L_(2.0)))); + ASSERT (ISNAN (REMAINDER (INFINITY, - L_(2.0)))); + + /* The following tests originally applied to the FMOD function. + They are not specified for the REMAINDER function by POSIX. */ + + /* x is zero. */ + { + DOUBLE z = REMAINDER (L_(0.0), L_(2.0)); + ASSERT (z == L_(0.0)); + ASSERT (!signbit (z)); + } + { + DOUBLE z = REMAINDER (MINUS_ZERO, L_(2.0)); + ASSERT (z == L_(0.0)); + ASSERT (!!signbit (z) == !!signbit (MINUS_ZERO)); + } + { + DOUBLE z = REMAINDER (L_(0.0), - L_(2.0)); + ASSERT (z == L_(0.0)); + ASSERT (!signbit (z)); + } + { + DOUBLE z = REMAINDER (MINUS_ZERO, - L_(2.0)); + ASSERT (z == L_(0.0)); + ASSERT (!!signbit (z) == !!signbit (MINUS_ZERO)); + } +} diff --git a/tests/test-remainderf-ieee.c b/tests/test-remainderf-ieee.c new file mode 100644 index 000000000..8959c4ca2 --- /dev/null +++ b/tests/test-remainderf-ieee.c @@ -0,0 +1,45 @@ +/* Test of remainderf() 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 REMAINDER remainderf +#include "test-remainder-ieee.h" + +int +main () +{ + test_function (); + + return 0; +} -- 2.11.0