diff options
author | Bruno Haible <bruno@clisp.org> | 2012-02-27 17:43:58 +0100 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2012-02-27 18:53:08 +0100 |
commit | 3383bf3dc7fa00b3fe931795d5dc9bcc460220c8 (patch) | |
tree | f05e2b3157fa43926f36ab5cc66a953bda50554d /tests/test-remainder-ieee.h | |
parent | 0d7e9e1d23ae323f0f659a02b28639d3c585a08c (diff) | |
download | gnulib-3383bf3dc7fa00b3fe931795d5dc9bcc460220c8.tar.gz |
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.
Diffstat (limited to 'tests/test-remainder-ieee.h')
-rw-r--r-- | tests/test-remainder-ieee.h | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/tests/test-remainder-ieee.h b/tests/test-remainder-ieee.h new file mode 100644 index 0000000000..443a0edd3e --- /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 <http://www.gnu.org/licenses/>. */ + +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)); + } +} |