Annotation of OpenXM_contrib/gmp/mpfr/tests/tui_sub.c, Revision 1.1
1.1 ! ohara 1: /* Test file for mpfr_ui_sub.
! 2:
! 3: Copyright 2000, 2001, 2002 Free Software Foundation.
! 4:
! 5: This file is part of the MPFR Library.
! 6:
! 7: The MPFR 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 2.1 of the License, or (at your
! 10: option) any later version.
! 11:
! 12: The MPFR 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.
! 16:
! 17: You should have received a copy of the GNU Lesser General Public License
! 18: along with the MPFR Library; see the file COPYING.LIB. If not, write to
! 19: the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
! 20: MA 02111-1307, USA. */
! 21:
! 22: #include <math.h>
! 23: #include <stdio.h>
! 24: #include <stdlib.h>
! 25: #include <time.h>
! 26: #include "gmp.h"
! 27: #include "mpfr.h"
! 28: #include "mpfr-impl.h"
! 29: #include "mpfr-test.h"
! 30:
! 31: void special _PROTO ((void));
! 32: void check _PROTO ((unsigned long, double, mp_rnd_t, double));
! 33: void check_two_sum _PROTO ((mp_prec_t));
! 34:
! 35: void
! 36: special (void)
! 37: {
! 38: mpfr_t x, y, res;
! 39: int inexact;
! 40:
! 41: mpfr_init (x);
! 42: mpfr_init (y);
! 43: mpfr_init (res);
! 44:
! 45: mpfr_set_prec (x, 24);
! 46: mpfr_set_prec (y, 24);
! 47: mpfr_set_str_raw (y, "0.111100110001011010111");
! 48: inexact = mpfr_ui_sub (x, 1, y, GMP_RNDN);
! 49: if (inexact)
! 50: {
! 51: fprintf (stderr, "Wrong inexact flag: got %d, expected 0\n", inexact);
! 52: exit (1);
! 53: }
! 54:
! 55: mpfr_set_prec (x, 24);
! 56: mpfr_set_prec (y, 24);
! 57: mpfr_set_str_raw (y, "0.111100110001011010111");
! 58: if ((inexact = mpfr_ui_sub (x, 38181761, y, GMP_RNDN)) >= 0)
! 59: {
! 60: fprintf (stderr, "Wrong inexact flag: got %d, expected -1\n", inexact);
! 61: exit (1);
! 62: }
! 63:
! 64: mpfr_set_prec (x, 63);
! 65: mpfr_set_prec (y, 63);
! 66: mpfr_set_str_raw (y, "0.111110010010100100110101101010001001100101110001000101110111111E-1");
! 67: if ((inexact = mpfr_ui_sub (x, 1541116494, y, GMP_RNDN)) <= 0)
! 68: {
! 69: fprintf (stderr, "Wrong inexact flag: got %d, expected +1\n", inexact);
! 70: exit (1);
! 71: }
! 72:
! 73: mpfr_set_prec (x, 32);
! 74: mpfr_set_prec (y, 32);
! 75: mpfr_set_str_raw (y, "0.11011000110111010001011100011100E-1");
! 76: if ((inexact = mpfr_ui_sub (x, 2000375416, y, GMP_RNDN)) >= 0)
! 77: {
! 78: fprintf (stderr, "Wrong inexact flag: got %d, expected -1\n", inexact);
! 79: exit (1);
! 80: }
! 81:
! 82: mpfr_set_prec (x, 24);
! 83: mpfr_set_prec (y, 24);
! 84: mpfr_set_str_raw (y, "0.110011011001010011110111E-2");
! 85: if ((inexact = mpfr_ui_sub (x, 927694848, y, GMP_RNDN)) <= 0)
! 86: {
! 87: fprintf (stderr, "Wrong inexact flag: got %d, expected +1\n", inexact);
! 88: exit (1);
! 89: }
! 90:
! 91: /* bug found by Mathieu Dutour, 12 Apr 2001 */
! 92: mpfr_set_prec (x, 5);
! 93: mpfr_set_prec (y, 5);
! 94: mpfr_set_prec (res, 5);
! 95: mpfr_set_str_raw (x, "1e-12");
! 96:
! 97: mpfr_ui_sub (y, 1, x, GMP_RNDD);
! 98: mpfr_set_str_raw (res, "0.11111");
! 99: if (mpfr_cmp (y, res))
! 100: {
! 101: fprintf (stderr, "Error in mpfr_ui_sub (y, 1, x, GMP_RNDD) for x=2^(-12)\nexpected 1.1111e-1, got ");
! 102: mpfr_out_str (stderr, 2, 0, y, GMP_RNDN);
! 103: fprintf (stderr, "\n");
! 104: exit (1);
! 105: }
! 106:
! 107: mpfr_ui_sub (y, 1, x, GMP_RNDU);
! 108: mpfr_set_str_raw (res, "1.0");
! 109: if (mpfr_cmp (y, res))
! 110: {
! 111: fprintf (stderr, "Error in mpfr_ui_sub (y, 1, x, GMP_RNDU) for x=2^(-12)\nexpected 1.0, got ");
! 112: mpfr_out_str (stderr, 2, 0, y, GMP_RNDN);
! 113: fprintf (stderr, "\n");
! 114: exit (1);
! 115: }
! 116:
! 117: mpfr_ui_sub (y, 1, x, GMP_RNDN);
! 118: mpfr_set_str_raw (res, "1.0");
! 119: if (mpfr_cmp (y, res))
! 120: {
! 121: fprintf (stderr, "Error in mpfr_ui_sub (y, 1, x, GMP_RNDN) for x=2^(-12)\nexpected 1.0, got ");
! 122: mpfr_out_str (stderr, 2, 0, y, GMP_RNDN);
! 123: fprintf (stderr, "\n");
! 124: exit (1);
! 125: }
! 126:
! 127: mpfr_clear (x);
! 128: mpfr_clear (y);
! 129: mpfr_clear (res);
! 130: }
! 131:
! 132: /* checks that y/x gives the same results in double
! 133: and with mpfr with 53 bits of precision */
! 134: void
! 135: check (unsigned long y, double x, mp_rnd_t rnd_mode, double z1)
! 136: {
! 137: double z2; mpfr_t xx, zz;
! 138:
! 139: mpfr_init2(xx, 53);
! 140: mpfr_init2(zz, 53);
! 141: mpfr_set_d(xx, x, rnd_mode);
! 142: mpfr_ui_sub(zz, y, xx, rnd_mode);
! 143: #ifdef MPFR_HAVE_FESETROUND
! 144: mpfr_set_machine_rnd_mode(rnd_mode);
! 145: #endif
! 146: if (z1==0.0) z1 = y-x;
! 147: z2 = mpfr_get_d1 (zz);
! 148: if (z1!=z2 && !(isnan(z1) && isnan(z2))) {
! 149: printf("expected difference is %1.20e, got %1.20e\n",z1,z2);
! 150: printf("mpfr_ui_sub failed for y=%lu x=%1.20e with rnd_mode=%s\n",
! 151: y, x, mpfr_print_rnd_mode(rnd_mode));
! 152: exit(1);
! 153: }
! 154: mpfr_clear(xx); mpfr_clear(zz);
! 155: }
! 156:
! 157: /* if u = o(x-y), v = o(u-x), w = o(v+y), then x-y = u-w */
! 158: void
! 159: check_two_sum (mp_prec_t p)
! 160: {
! 161: unsigned int x;
! 162: mpfr_t y, u, v, w;
! 163: mp_rnd_t rnd;
! 164: int inexact;
! 165:
! 166: mpfr_init2 (y, p);
! 167: mpfr_init2 (u, p);
! 168: mpfr_init2 (v, p);
! 169: mpfr_init2 (w, p);
! 170: do
! 171: {
! 172: x = LONG_RAND ();
! 173: }
! 174: while (x < 1);
! 175: mpfr_random (y);
! 176: rnd = LONG_RAND() % 4;
! 177: rnd = GMP_RNDN;
! 178: inexact = mpfr_ui_sub (u, x, y, GMP_RNDN);
! 179: mpfr_sub_ui (v, u, x, GMP_RNDN);
! 180: mpfr_add (w, v, y, GMP_RNDN);
! 181: /* as u = (x-y) + w, we should have inexact and w of same sign */
! 182: if (((inexact == 0) && mpfr_cmp_ui (w, 0)) ||
! 183: ((inexact > 0) && (mpfr_cmp_ui (w, 0) <= 0)) ||
! 184: ((inexact < 0) && (mpfr_cmp_ui (w, 0) >= 0)))
! 185: {
! 186: fprintf (stderr, "Wrong inexact flag for prec=%u, rnd=%s\n", (unsigned)p,
! 187: mpfr_print_rnd_mode (rnd));
! 188: printf ("x=%u\n", x);
! 189: printf ("y="); mpfr_print_binary(y); putchar('\n');
! 190: printf ("u="); mpfr_print_binary(u); putchar('\n');
! 191: printf ("v="); mpfr_print_binary(v); putchar('\n');
! 192: printf ("w="); mpfr_print_binary(w); putchar('\n');
! 193: printf ("inexact = %d\n", inexact);
! 194: exit (1);
! 195: }
! 196: mpfr_clear (y);
! 197: mpfr_clear (u);
! 198: mpfr_clear (v);
! 199: mpfr_clear (w);
! 200: }
! 201:
! 202: int
! 203: main (int argc, char *argv[])
! 204: {
! 205: mp_prec_t p;
! 206: unsigned k;
! 207: #ifdef MPFR_HAVE_FESETROUND
! 208: double x;
! 209: unsigned long y, N;
! 210: int i, rnd_mode, rnd;
! 211:
! 212: mpfr_test_init ();
! 213:
! 214: SEED_RAND (time(NULL));
! 215: N = (argc<2) ? 1000000 : atoi(argv[1]);
! 216: rnd_mode = (argc<3) ? -1 : atoi(argv[2]);
! 217: for (i=0;i<1000000;i++) {
! 218: x = drand ();
! 219: y = LONG_RAND ();
! 220: if (ABS(x)>2.2e-307) {
! 221: /* avoid denormalized numbers and overflows */
! 222: rnd = (rnd_mode==-1) ? LONG_RAND()%4 : rnd_mode;
! 223: check(y, x, rnd, 0.0);
! 224: }
! 225: }
! 226: #endif
! 227: special ();
! 228: for (p=2; p<100; p++)
! 229: for (k=0; k<100; k++)
! 230: check_two_sum (p);
! 231: #ifdef HAVE_INFS
! 232: check (1, DBL_POS_INF, GMP_RNDN, DBL_NEG_INF);
! 233: check (1, DBL_NEG_INF, GMP_RNDN, DBL_POS_INF);
! 234: check (1, DBL_NAN, GMP_RNDN, DBL_NAN);
! 235: #endif
! 236: check(1196426492, 1.4218093058435347e-3, GMP_RNDN, 1.1964264919985781e9);
! 237: check(1092583421, -1.0880649218158844e9, GMP_RNDN, 2.1806483428158845901e9);
! 238: check(948002822, 1.22191250737771397120e+20, GMP_RNDN,
! 239: -1.2219125073682338611e20);
! 240: check(832100416, 4.68311314939691330000e-215, GMP_RNDD,
! 241: 8.3210041599999988079e8);
! 242: check(1976245324, 1.25296395864546893357e+232, GMP_RNDZ,
! 243: -1.2529639586454686577e232);
! 244: check(2128997392, -1.08496826129284207724e+187, GMP_RNDU,
! 245: 1.0849682612928422704e187);
! 246: check(293607738, -1.9967571564050541e-5, GMP_RNDU, 2.9360773800002003e8);
! 247: check(354270183, 2.9469161763489528e3, GMP_RNDN, 3.5426723608382362e8);
! 248:
! 249: return 0;
! 250: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to tui_sub.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib / gmp / mpfr / tests