1 /* Test mpf_get_d and mpf_set_d.
3 Copyright 1996, 1999, 2000, 2001, 2009 Free Software Foundation, Inc.
5 This file is part of the GNU MP Library.
7 The GNU MP Library is free software; you can redistribute it and/or modify
8 it under the terms of the GNU Lesser General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or (at your
10 option) any later version.
12 The GNU MP Library is distributed in the hope that it will be useful, but
13 WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
15 License for more details.
17 You should have received a copy of the GNU Lesser General Public License
18 along with the GNU MP Library. If not, see http://www.gnu.org/licenses/. */
26 #define LOW_BOUND 1e-38
27 #define HIGH_BOUND 8e37
30 #if defined (_CRAY) && ! defined (_CRAYIEEE)
31 /* The range varies mysteriously between Cray version. On an SV1,
32 the range seem to be 1e-600..1e603, but a cfp (non-ieee) T90
33 has a much smaller range of 1e-240..1e240. */
34 #define LOW_BOUND 1e-240
35 #define HIGH_BOUND 1e240
38 #if ! defined (LOW_BOUND)
39 #define LOW_BOUND 1e-300
40 #define HIGH_BOUND 1e300
44 test_denorms (int prc)
46 #ifdef _GMP_IEEE_FLOATS
51 mpf_set_default_prec (prc);
56 for (i = 0; i < 820; i++)
70 main (int argc, char **argv)
79 mpf_set_d (u, LOW_BOUND);
80 for (d = 2.0 * LOW_BOUND; d < HIGH_BOUND; d *= 1.01)
83 if (mpf_cmp (u, v) >= 0)
87 if (r < 0.99999999999999 || r > 1.00000000000001)
89 fprintf (stderr, "should be one ulp from 1: %.16f\n", r);