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