1 /* Copyright (C) 1999 Free Software Foundation, Inc.
2 This file is part of the GNU C Library.
3 Contributed by Andreas Jaeger <aj@suse.de>, 1999.
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, see
17 <http://www.gnu.org/licenses/>. */
19 #define _ISOC99_SOURCE
25 static int errors
= 0;
29 check (const char *testname
, int result
)
32 printf ("Failure: %s\n", testname
);
37 #define TEST_FUNC(NAME, FLOAT, NANFUNC, EPSILON, HUGEVAL) \
41 /* Variables are declared volatile to forbid some compiler \
43 volatile FLOAT Inf_var, NaN_var, zero_var, one_var; \
48 NaN_var = zero_var/zero_var; \
49 Inf_var = one_var / zero_var; \
57 check (#FLOAT " isinf (inf) == 1", isinf (Inf_var) == 1); \
58 check (#FLOAT " isinf (-inf) == -1", isinf (-Inf_var) == -1); \
59 check (#FLOAT " !isinf (1)", !(isinf (one_var))); \
60 check (#FLOAT " !isinf (NaN)", !(isinf (NaN_var))); \
62 check (#FLOAT " isnan (NaN)", isnan (NaN_var)); \
63 check (#FLOAT " isnan (-NaN)", isnan (-NaN_var)); \
64 check (#FLOAT " !isnan (1)", !(isnan (one_var))); \
65 check (#FLOAT " !isnan (inf)", !(isnan (Inf_var))); \
68 the same tests but this time with NAN from <bits/nan.h> \
69 NAN is a double const \
71 check (#FLOAT " isnan (NAN)", isnan (NAN)); \
72 check (#FLOAT " isnan (-NAN)", isnan (-NAN)); \
73 check (#FLOAT " !isinf (NAN)", !(isinf (NAN))); \
74 check (#FLOAT " !isinf (-NAN)", !(isinf (-NAN))); \
77 And again with the value returned by the `nan' function. \
79 check (#FLOAT " isnan (NAN)", isnan (NANFUNC (""))); \
80 check (#FLOAT " isnan (-NAN)", isnan (-NANFUNC (""))); \
81 check (#FLOAT " !isinf (NAN)", !(isinf (NANFUNC ("")))); \
82 check (#FLOAT " !isinf (-NAN)", !(isinf (-NANFUNC ("")))); \
83 check (#FLOAT " NAN != NAN", NANFUNC ("") != NANFUNC ("")); \
85 /* test if HUGE_VALx is ok */ \
87 check (#FLOAT " isinf (HUGE_VALx) == +1", isinf (x1) == +1); \
89 check (#FLOAT " isinf (-HUGE_VALx) == -1", isinf (x1) == -1); \
93 # define TEST_FUNC(NAME, FLOAT, NANFUNC, EPSILON, HUGEVAL) \
99 #define TEST_VAL(NAME, FLOAT, NANFUNC, EPSILON, HUGEVAL) \
103 /* Variables are declared volatile to forbid some compiler \
105 volatile FLOAT Inf_var, NaN_var, zero_var, one_var; \
110 NaN_var = zero_var/zero_var; \
111 Inf_var = one_var / zero_var; \
119 check (#FLOAT " inf == inf", Inf_var == Inf_var); \
120 check (#FLOAT " -inf == -inf", -Inf_var == -Inf_var); \
121 check (#FLOAT " inf != -inf", Inf_var != -Inf_var); \
122 check (#FLOAT " NaN != NaN", NaN_var != NaN_var); \
124 check (#FLOAT " NAN != NAN", NAN != NAN); \
127 /* test if EPSILON is ok */ \
130 check (#FLOAT " 1 != 1+EPSILON", x1 != x2); \
134 check (#FLOAT " 1 != 1-EPSILON", x1 != x2); \
138 TEST_VAL (float_test_value
, float, nanf
, FLT_EPSILON
, HUGE_VALF
)
139 TEST_FUNC (float_test_call
, float, nanf
, FLT_EPSILON
, HUGE_VALF
)
140 TEST_VAL (double_test_value
, double, nan
, DBL_EPSILON
, HUGE_VAL
)
141 TEST_FUNC (double_test_call
, double, nan
, DBL_EPSILON
, HUGE_VAL
)
142 #ifndef NO_LONG_DOUBLE
143 TEST_VAL (ldouble_test_value
, long double, nanl
, LDBL_EPSILON
, HUGE_VALL
)
144 TEST_FUNC (ldouble_test_call
, long double, nanl
, LDBL_EPSILON
, HUGE_VALL
)
152 double_test_value ();
155 #ifndef NO_LONG_DOUBLE
156 ldouble_test_value ();
157 ldouble_test_call ();