]>
Commit | Line | Data |
---|---|---|
da1067a9 UD |
1 | macro FLT_RADIX |
2 | ||
3 | constant FLT_ROUNDS | |
4 | ||
5 | macro FLT_MANT_DIG | |
6 | macro DBL_MANT_DIG | |
7 | macro LDBL_MANT_DIG | |
8 | ||
75cabb04 AJ |
9 | constant FLT_DIG >= 6 |
10 | constant DBL_DIG >= 10 | |
11 | constant LDBL_DIG >= 10 | |
da1067a9 UD |
12 | |
13 | macro FLT_MIN_EXP | |
14 | macro DBL_MIN_EXP | |
15 | macro LDBL_MIN_EXP | |
16 | ||
75cabb04 AJ |
17 | constant FLT_MIN_10_EXP <= -37 |
18 | constant DBL_MIN_10_EXP <= -37 | |
19 | constant LDBL_MIN_10_EXP <= -37 | |
da1067a9 UD |
20 | |
21 | macro FLT_MAX_EXP | |
22 | macro DBL_MAX_EXP | |
23 | macro LDBL_MAX_EXP | |
24 | ||
75cabb04 AJ |
25 | constant FLT_MAX_10_EXP >= 37 |
26 | constant DBL_MAX_10_EXP >= 37 | |
27 | constant LDBL_MAX_10_EXP >= 37 | |
da1067a9 | 28 | |
75cabb04 AJ |
29 | constant FLT_MAX >= 1.0E37 |
30 | constant DBL_MAX >= 1.0E37 | |
31 | constant LDBL_MAX >= 1.0E37 | |
da1067a9 UD |
32 | |
33 | macro FLT_EPSILON | |
34 | macro DBL_EPSILON | |
35 | macro LDBL_EPSILON | |
36 | ||
37 | macro FLT_MIN | |
38 | macro DBL_MIN | |
39 | macro LDBL_MIN | |
52cf7d34 | 40 | |
31341567 UD |
41 | #if !defined ISO && !defined XPG3 && !defined XPG4 && !defined POSIX && !defined UNIX98 |
42 | constant DECIMAL_DIG >= 10 | |
43 | constant FLT_EVAL_METHOD | |
44 | #endif | |
45 | ||
46 | #if defined ISO11 | |
47 | constant DBL_HAS_SUBNORM | |
48 | constant FLT_HAS_SUBNORM | |
49 | constant LDBL_HAS_SUBNORM | |
50 | ||
51 | constant DBL_DECIMAL_DIG >= 10 | |
52 | constant FLT_DECIMAL_DIG >= 6 | |
53 | constant LDBL_DECIMAL_DIG >= 10 | |
54 | ||
55 | constant DBL_TRUE_MIN <= 1E-37 | |
56 | constant FLT_TRUE_MIN <= 1E-37 | |
57 | constant LDBL_TRUE_MIN <= 1E-37 | |
58 | #endif | |
59 | ||
52cf7d34 | 60 | allow *_t |