annotate tests/test-fmod-ieee.h @ 17363:5a51fb7777a9

sys_select, sys_time: port 2013-01-30 Solaris 2.6 fix to Cygwin Problem reported by Marco Atzeri in <http://lists.gnu.org/archive/html/bug-gnulib/2013-03/msg00000.html>. * lib/sys_select.in.h [HAVE_SYS_SELECT_H && _CYGWIN_SYS_TIME_H]: Simply delegate to the system <sys/select.h> in this case too. Also, pay attention to _GL_SYS_SELECT_H_REDIRECT_FROM_SYS_TIME_H only if OSF/1, since otherwise Cygwin breaks, and it doesn't seem to be needed on Solaris either. * lib/sys_time.in.h [_CYGWIN_SYS_TIME_H]: Simply delgate to the system <sys/time.h> in this case.
author Paul Eggert <eggert@cs.ucla.edu>
date Tue, 19 Mar 2013 09:08:47 -0700
parents e542fd46ad6f
children 344018b6e5d7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
16480
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
1 /* Test of fmod*() function family.
17249
e542fd46ad6f maint: update all copyright year number ranges
Eric Blake <eblake@redhat.com>
parents: 16480
diff changeset
2 Copyright (C) 2012-2013 Free Software Foundation, Inc.
16480
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
3
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
4 This program is free software: you can redistribute it and/or modify
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
5 it under the terms of the GNU General Public License as published by
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
6 the Free Software Foundation; either version 3 of the License, or
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
7 (at your option) any later version.
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
8
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
9 This program is distributed in the hope that it will be useful,
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
12 GNU General Public License for more details.
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
13
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
14 You should have received a copy of the GNU General Public License
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
15 along with this program. If not, see <http://www.gnu.org/licenses/>. */
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
16
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
17 static void
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
18 test_function (void)
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
19 {
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
20 /* [MX] shaded specification in POSIX. */
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
21
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
22 /* NaN. */
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
23 ASSERT (ISNAN (FMOD (NAN, L_(2.0))));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
24 ASSERT (ISNAN (FMOD (NAN, L_(0.0))));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
25 ASSERT (ISNAN (FMOD (L_(2.0), NAN)));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
26 ASSERT (ISNAN (FMOD (L_(0.0), NAN)));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
27 ASSERT (ISNAN (FMOD (NAN, NAN)));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
28
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
29 /* y is zero. */
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
30 ASSERT (ISNAN (FMOD (L_(2.0), L_(0.0))));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
31 ASSERT (ISNAN (FMOD (L_(2.0), MINUS_ZERO)));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
32 ASSERT (ISNAN (FMOD (INFINITY, L_(0.0))));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
33 ASSERT (ISNAN (FMOD (INFINITY, MINUS_ZERO)));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
34
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
35 /* x is infinite. */
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
36 ASSERT (ISNAN (FMOD (INFINITY, L_(2.0))));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
37 ASSERT (ISNAN (FMOD (INFINITY, - L_(2.0))));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
38
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
39 /* x is zero. */
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
40 {
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
41 DOUBLE z = FMOD (L_(0.0), L_(2.0));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
42 ASSERT (z == L_(0.0));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
43 ASSERT (!signbit (z));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
44 }
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
45 {
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
46 DOUBLE z = FMOD (MINUS_ZERO, L_(2.0));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
47 ASSERT (z == L_(0.0));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
48 ASSERT (!!signbit (z) == !!signbit (MINUS_ZERO));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
49 }
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
50 {
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
51 DOUBLE z = FMOD (L_(0.0), - L_(2.0));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
52 ASSERT (z == L_(0.0));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
53 ASSERT (!signbit (z));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
54 }
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
55 {
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
56 DOUBLE z = FMOD (MINUS_ZERO, - L_(2.0));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
57 ASSERT (z == L_(0.0));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
58 ASSERT (!!signbit (z) == !!signbit (MINUS_ZERO));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
59 }
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
60 {
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
61 DOUBLE z = FMOD (L_(0.0), INFINITY);
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
62 ASSERT (z == L_(0.0));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
63 ASSERT (!signbit (z));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
64 }
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
65 {
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
66 DOUBLE z = FMOD (MINUS_ZERO, INFINITY);
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
67 ASSERT (z == L_(0.0));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
68 ASSERT (!!signbit (z) == !!signbit (MINUS_ZERO));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
69 }
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
70 {
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
71 DOUBLE z = FMOD (L_(0.0), - INFINITY);
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
72 ASSERT (z == L_(0.0));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
73 ASSERT (!signbit (z));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
74 }
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
75 {
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
76 DOUBLE z = FMOD (MINUS_ZERO, - INFINITY);
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
77 ASSERT (z == L_(0.0));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
78 ASSERT (!!signbit (z) == !!signbit (MINUS_ZERO));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
79 }
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
80
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
81 /* y is infinite. */
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
82 {
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
83 DOUBLE z = FMOD (L_(2.5), INFINITY);
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
84 ASSERT (z == L_(2.5));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
85 }
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
86 {
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
87 DOUBLE z = FMOD (L_(2.5), - INFINITY);
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
88 ASSERT (z == L_(2.5));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
89 }
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
90 {
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
91 DOUBLE z = FMOD (- L_(2.5), INFINITY);
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
92 ASSERT (z == - L_(2.5));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
93 }
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
94 {
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
95 DOUBLE z = FMOD (- L_(2.5), - INFINITY);
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
96 ASSERT (z == - L_(2.5));
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
97 }
e66f1b478a12 Tests for module 'fmodf-ieee'.
Bruno Haible <bruno@clisp.org>
parents:
diff changeset
98 }