Add test case from a recent glibc bug.
[gnulib.git] / tests / test-frexpl.c
blob323e9a32fa20d2845a6b0de3fb3398821b644a02
1 /* Test of splitting a 'long double' into fraction and mantissa.
2 Copyright (C) 2007-2018 Free Software Foundation, Inc.
4 This program is free software: you can redistribute it and/or modify
5 it under the terms of the GNU General Public License as published by
6 the Free Software Foundation; either version 3 of the License, or
7 (at your option) any later version.
9 This program is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 GNU General Public License for more details.
14 You should have received a copy of the GNU General Public License
15 along with this program. If not, see <https://www.gnu.org/licenses/>. */
17 /* Written by Bruno Haible <bruno@clisp.org>, 2007. */
19 #include <config.h>
21 #include <math.h>
23 #include "signature.h"
24 SIGNATURE_CHECK (frexpl, long double, (long double, int *));
26 #include <float.h>
28 #include "fpucw.h"
29 #include "isnanl-nolibm.h"
30 #include "minus-zero.h"
31 #include "infinity.h"
32 #include "nan.h"
33 #include "macros.h"
35 /* Avoid some warnings from "gcc -Wshadow".
36 This file doesn't use the exp() function. */
37 #undef exp
38 #define exp exponent
40 #undef INFINITY
41 #undef NAN
43 #define DOUBLE long double
44 #define VOLATILE
45 #define ISNAN isnanl
46 #define INFINITY Infinityl ()
47 #define NAN NaNl ()
48 #define L_(literal) literal##L
49 #define MINUS_ZERO minus_zerol
50 #define MAX_EXP LDBL_MAX_EXP
51 #define MIN_EXP LDBL_MIN_EXP
52 /* On MIPS IRIX machines, LDBL_MIN_EXP is -1021, but the smallest reliable
53 exponent for 'long double' is -964. Similarly, on PowerPC machines,
54 LDBL_MIN_EXP is -1021, but the smallest reliable exponent for 'long double'
55 is -968. For exponents below that, the precision may be truncated to the
56 precision used for 'double'. */
57 #ifdef __sgi
58 # define MIN_NORMAL_EXP (LDBL_MIN_EXP + 57)
59 #elif defined __ppc || defined __ppc__ || defined __powerpc || defined __powerpc__
60 # define MIN_NORMAL_EXP (LDBL_MIN_EXP + 53)
61 #else
62 # define MIN_NORMAL_EXP LDBL_MIN_EXP
63 #endif
64 #define FREXP frexpl
65 #define RANDOM randoml
66 #include "test-frexp.h"
68 int
69 main ()
71 DECL_LONG_DOUBLE_ROUNDING
73 BEGIN_LONG_DOUBLE_ROUNDING ();
75 test_function ();
77 return 0;