]>
Commit | Line | Data |
---|---|---|
3b2f6032 | 1 | /* Support code for testing libm functions (common declarations). |
2b778ceb | 2 | Copyright (C) 1997-2021 Free Software Foundation, Inc. |
3b2f6032 JM |
3 | This file is part of the GNU C Library. |
4 | ||
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. | |
9 | ||
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. | |
14 | ||
15 | You should have received a copy of the GNU Lesser General Public | |
16 | License along with the GNU C Library; if not, see | |
5a82c748 | 17 | <https://www.gnu.org/licenses/>. */ |
3b2f6032 JM |
18 | |
19 | #ifndef LIBM_TEST_SUPPORT_H | |
20 | #define LIBM_TEST_SUPPORT_H 1 | |
21 | ||
22 | #include <complex.h> | |
23 | #include <math.h> | |
24 | #include <float.h> | |
25 | #include <fenv.h> | |
26 | #include <limits.h> | |
27 | ||
28 | #include <stdlib.h> | |
29 | #include <stdint.h> | |
30 | #include <stdio.h> | |
31 | #include <tininess.h> | |
32 | #include <math-tests.h> | |
3b2f6032 JM |
33 | #include <nan-high-order-bit.h> |
34 | ||
35 | extern const int flag_test_errno; | |
36 | extern const int flag_test_exceptions; | |
3b2f6032 | 37 | extern const int flag_test_mathvec; |
31958338 | 38 | extern const int snan_tests_arg; |
3b2f6032 JM |
39 | extern const char test_msg[]; |
40 | extern const char qtype_str[]; | |
41 | extern const char doc[]; | |
42 | ||
43 | /* Possible exceptions */ | |
44 | #define NO_EXCEPTION 0x0 | |
45 | #define INVALID_EXCEPTION 0x1 | |
46 | #define DIVIDE_BY_ZERO_EXCEPTION 0x2 | |
47 | #define OVERFLOW_EXCEPTION 0x4 | |
48 | #define UNDERFLOW_EXCEPTION 0x8 | |
49 | #define INEXACT_EXCEPTION 0x10 | |
50 | /* The next flags signals that those exceptions are allowed but not required. */ | |
51 | #define INVALID_EXCEPTION_OK 0x20 | |
52 | #define DIVIDE_BY_ZERO_EXCEPTION_OK 0x40 | |
53 | #define OVERFLOW_EXCEPTION_OK 0x80 | |
54 | #define UNDERFLOW_EXCEPTION_OK 0x100 | |
55 | /* For "inexact" exceptions, the default is allowed but not required | |
56 | unless INEXACT_EXCEPTION or NO_INEXACT_EXCEPTION is specified. */ | |
57 | #define NO_INEXACT_EXCEPTION 0x200 | |
3b2f6032 JM |
58 | /* Some special test flags, passed together with exceptions. */ |
59 | #define IGNORE_ZERO_INF_SIGN 0x400 | |
60 | #define TEST_NAN_SIGN 0x800 | |
61 | #define TEST_NAN_PAYLOAD 0x1000 | |
3b2f6032 JM |
62 | #define XFAIL_TEST 0x4000 |
63 | /* Indicate errno settings required or disallowed. */ | |
64 | #define ERRNO_UNCHANGED 0x8000 | |
65 | #define ERRNO_EDOM 0x10000 | |
66 | #define ERRNO_ERANGE 0x20000 | |
2813e41e | 67 | /* Flags generated by gen-libm-test.py, not entered here manually. */ |
3b2f6032 | 68 | #define IGNORE_RESULT 0x40000 |
3b2f6032 JM |
69 | #define TEST_SNAN 0x100000 |
70 | #define NO_TEST_MATHVEC 0x200000 | |
71 | ||
72 | #define __CONCATX(a,b) __CONCAT(a,b) | |
73 | ||
74 | #define TYPE_MIN __CONCATX (PREFIX, _MIN) | |
75 | #define TYPE_TRUE_MIN __CONCATX (PREFIX, _TRUE_MIN) | |
76 | #define TYPE_MAX __CONCATX (PREFIX, _MAX) | |
77 | #define MIN_EXP __CONCATX (PREFIX, _MIN_EXP) | |
78 | #define MAX_EXP __CONCATX (PREFIX, _MAX_EXP) | |
79 | #define MANT_DIG __CONCATX (PREFIX, _MANT_DIG) | |
80 | ||
8e554659 JM |
81 | #define ARG_TYPE_MIN __CONCATX (ARG_PREFIX, _MIN) |
82 | #define ARG_TYPE_TRUE_MIN __CONCATX (ARG_PREFIX, _TRUE_MIN) | |
83 | #define ARG_TYPE_MAX __CONCATX (ARG_PREFIX, _MAX) | |
84 | #define ARG_MIN_EXP __CONCATX (ARG_PREFIX, _MIN_EXP) | |
85 | #define ARG_MAX_EXP __CONCATX (ARG_PREFIX, _MAX_EXP) | |
86 | #define ARG_MANT_DIG __CONCATX (ARG_PREFIX, _MANT_DIG) | |
87 | ||
3b2f6032 JM |
88 | /* Format specific test macros. */ |
89 | #define TEST_COND_binary32 (MANT_DIG == 24 \ | |
90 | && MIN_EXP == -125 \ | |
91 | && MAX_EXP == 128) | |
92 | ||
93 | #define TEST_COND_binary64 (MANT_DIG == 53 \ | |
94 | && MIN_EXP == -1021 \ | |
95 | && MAX_EXP == 1024) | |
96 | ||
97 | #define TEST_COND_binary128 (MANT_DIG == 113 \ | |
98 | && MIN_EXP == -16381 \ | |
99 | && MAX_EXP == 16384) | |
100 | ||
101 | #define TEST_COND_ibm128 (MANT_DIG == 106) | |
102 | ||
8e554659 JM |
103 | #define TEST_COND_arg_ibm128 (ARG_MANT_DIG == 106) |
104 | ||
3b2f6032 JM |
105 | #define TEST_COND_intel96 (MANT_DIG == 64 \ |
106 | && MIN_EXP == -16381 \ | |
107 | && MAX_EXP == 16384) | |
108 | ||
109 | #define TEST_COND_m68k96 (MANT_DIG == 64 \ | |
110 | && MIN_EXP == -16382 \ | |
111 | && MAX_EXP == 16384) | |
112 | ||
113 | /* The condition ibm128-libgcc is used instead of ibm128 to mark tests | |
114 | where in principle the glibc code is OK but the tests fail because | |
115 | of limitations of the libgcc support for that format (e.g. GCC bug | |
116 | 59666, in non-default rounding modes). */ | |
8e554659 JM |
117 | #ifdef ARG_FLOAT |
118 | # define TEST_COND_ibm128_libgcc (TEST_COND_ibm128 || TEST_COND_arg_ibm128) | |
119 | #else | |
120 | # define TEST_COND_ibm128_libgcc TEST_COND_ibm128 | |
121 | #endif | |
3b2f6032 JM |
122 | |
123 | /* Mark a test as expected to fail for ibm128-libgcc. This is used | |
2813e41e | 124 | via XFAIL_ROUNDING_IBM128_LIBGCC, which gen-libm-test.py transforms |
3b2f6032 JM |
125 | appropriately for each rounding mode. */ |
126 | #define XFAIL_IBM128_LIBGCC (TEST_COND_ibm128_libgcc ? XFAIL_TEST : 0) | |
127 | ||
c86ed71d JM |
128 | /* On some architectures, glibc can be built with compilers that do |
129 | not have suitable built-in functions for setting the payload of a | |
130 | _Float128 NaN. */ | |
034e7380 JM |
131 | #if ((defined __x86_64__ || defined __i386__ || defined __ia64__) \ |
132 | && !__GNUC_PREREQ (7, 0)) | |
c86ed71d JM |
133 | # define XFAIL_FLOAT128_PAYLOAD (TEST_COND_binary128 ? XFAIL_TEST : 0) |
134 | #else | |
135 | # define XFAIL_FLOAT128_PAYLOAD 0 | |
136 | #endif | |
137 | ||
3b2f6032 JM |
138 | /* Number of bits in NaN payload. */ |
139 | #if TEST_COND_ibm128 | |
140 | # define PAYLOAD_DIG (DBL_MANT_DIG - 2) | |
141 | #else | |
142 | # define PAYLOAD_DIG (MANT_DIG - 2) | |
143 | #endif | |
144 | ||
8e554659 JM |
145 | /* For narrowing functions, whether the argument format can represent |
146 | all the given argument values. */ | |
147 | #define TEST_COND_arg_fmt(MAX_EXP, NUM_ONES, MIN_EXP, MAX_PREC) \ | |
148 | (((MAX_EXP) < ARG_MAX_EXP) \ | |
149 | && (!TEST_COND_arg_ibm128 \ | |
150 | || (MAX_EXP) < ARG_MAX_EXP - 1 \ | |
151 | || (NUM_ONES) <= 53) \ | |
152 | && (MIN_EXP) >= ARG_MIN_EXP - ARG_MANT_DIG \ | |
153 | && (MAX_PREC) <= ARG_MANT_DIG) | |
154 | ||
3b2f6032 JM |
155 | /* Values underflowing on architectures detecting tininess before |
156 | rounding, but not on those detecting tininess after rounding. */ | |
157 | #define UNDERFLOW_EXCEPTION_BEFORE_ROUNDING (TININESS_AFTER_ROUNDING \ | |
158 | ? 0 \ | |
159 | : UNDERFLOW_EXCEPTION) | |
160 | ||
161 | #if LONG_MAX == 0x7fffffff | |
162 | # define TEST_COND_long32 1 | |
163 | # define TEST_COND_long64 0 | |
164 | #else | |
165 | # define TEST_COND_long32 0 | |
166 | # define TEST_COND_long64 1 | |
167 | #endif | |
168 | #define TEST_COND_before_rounding (!TININESS_AFTER_ROUNDING) | |
169 | #define TEST_COND_after_rounding TININESS_AFTER_ROUNDING | |
170 | ||
171 | int enable_test (int); | |
8e554659 | 172 | void init_max_error (const char *, int, int); |
3b2f6032 JM |
173 | void print_max_error (const char *); |
174 | void print_complex_max_error (const char *); | |
175 | void check_float (const char *, FLOAT, FLOAT, int); | |
3c023dbf | 176 | void check_complex (const char *, CFLOAT, CFLOAT, int); |
3b2f6032 JM |
177 | void check_int (const char *, int, int, int); |
178 | void check_long (const char *, long int, long int, int); | |
179 | void check_bool (const char *, int, int, int); | |
180 | void check_longlong (const char *, long long int, long long int, int); | |
181 | void check_intmax_t (const char *, intmax_t, intmax_t, int); | |
182 | void check_uintmax_t (const char *, uintmax_t, uintmax_t, int); | |
183 | void libm_test_init (int, char **); | |
184 | int libm_test_finish (void); | |
185 | ||
186 | #endif /* LIBM_TEST_SUPPORT_H. */ |