math/libm-test-support.h

   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.pl, 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.pl 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.  */