1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
/* Test of <math.h> substitute.
Copyright (C) 2007-2024 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 <https://www.gnu.org/licenses/>. */
/* Written by Bruno Haible <bruno@clisp.org>, 2007. */
#include <config.h>
#include <math.h>
#ifndef INFINITY
# error INFINITY should be defined, added in ISO C 99
choke me
#endif
#ifndef NAN
# error NAN should be defined, added in ISO C 99
choke me
#endif
#ifndef HUGE_VALF
# error HUGE_VALF should be defined
choke me
#endif
#ifndef HUGE_VAL
# error HUGE_VAL should be defined
choke me
#endif
#ifndef HUGE_VALL
# error HUGE_VALL should be defined
choke me
#endif
#ifndef FP_ILOGB0
# error FP_ILOGB0 should be defined
choke me
#endif
#ifndef FP_ILOGBNAN
# error FP_ILOGBNAN should be defined
choke me
#endif
/* Check that INFINITY expands into a constant expression. */
float in = INFINITY;
/* Check that NAN expands into a constant expression. */
float na = NAN;
/* Check that HUGE_VALF expands into a constant expression. */
float hf = HUGE_VALF;
/* Check that HUGE_VAL expands into a constant expression. */
double hd = HUGE_VAL;
/* Check that HUGE_VALL expands into a constant expression. */
long double hl = HUGE_VALL;
#include <limits.h>
#include "macros.h"
/* Compare two numbers with ==.
This is a separate function because IRIX 6.5 "cc -O" miscompiles an
'x == x' test. */
static int
numeric_equalf (float x, float y)
{
return x == y;
}
static int
numeric_equald (double x, double y)
{
return x == y;
}
static int
numeric_equall (long double x, long double y)
{
return x == y;
}
int
main (void)
{
double d;
double zero = 0.0;
/* Check that INFINITY is a float. */
ASSERT (sizeof (INFINITY) == sizeof (float));
/* Check that NAN is a float. */
ASSERT (sizeof (NAN) == sizeof (float));
/* Check the value of NAN. */
d = NAN;
ASSERT (!numeric_equald (d, d));
/* Check the value of HUGE_VALF. */
ASSERT (numeric_equalf (HUGE_VALF, HUGE_VALF + HUGE_VALF));
/* Check the value of HUGE_VAL. */
d = HUGE_VAL;
ASSERT (numeric_equald (d, 1.0 / zero));
ASSERT (numeric_equald (HUGE_VAL, HUGE_VAL + HUGE_VAL));
/* Check the value of HUGE_VALL. */
ASSERT (numeric_equall (HUGE_VALL, HUGE_VALL + HUGE_VALL));
/* Check the value of FP_ILOGB0. */
ASSERT (FP_ILOGB0 == INT_MIN || FP_ILOGB0 == - INT_MAX);
/* Check the value of FP_ILOGBNAN. */
ASSERT (FP_ILOGBNAN == INT_MIN || FP_ILOGBNAN == INT_MAX);
return test_exit_status;
}
|
