[BACK]Return to tset_d.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib / gmp / mpfr / tests

File: [local] / OpenXM_contrib / gmp / mpfr / tests / Attic / tset_d.c (download)

Revision 1.1.1.2 (vendor branch), Mon Aug 25 16:06:10 2003 UTC (20 years, 10 months ago) by ohara
Branch: GMP
CVS Tags: VERSION_4_1_2, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX
Changes since 1.1.1.1: +85 -43 lines

Import gmp 4.1.2

/* Test file for mpfr_set_d and mpfr_get_d.

Copyright 1999, 2000, 2001, 2002 Free Software Foundation, Inc.

This file is part of the MPFR Library.

The MPFR Library is free software; you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation; either version 2.1 of the License, or (at your
option) any later version.

The MPFR Library is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
License for more details.

You should have received a copy of the GNU Lesser General Public License
along with the MPFR Library; see the file COPYING.LIB.  If not, write to
the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
MA 02111-1307, USA. */

#include <float.h>
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include "gmp.h"
#include "mpfr.h"
#include "mpfr-test.h"

int
main (int argc, char *argv[])
{
  mpfr_t x, y, z;
  unsigned long k, n;
  double d, dd;
  
  mpfr_test_init ();

  mpfr_init2 (x, 2);

  /* checks that denormalized are not flushed to zero */
  d = DBL_MIN; /* 2^(-1022) */
  for (n=0; n<52; n++, d /= 2.0)
    if (d != 0.0) /* should be 2^(-1022-n) */
      {
        mpfr_set_d (x, d, GMP_RNDN);
        if (mpfr_cmp_ui_2exp (x, 1, -1022-n))
          {
            fprintf (stderr, "Wrong result for d=2^(%ld), ", -1022-n);
            fprintf (stderr, "got ");
            mpfr_out_str (stderr, 10, 10, x, GMP_RNDN);
            fprintf (stderr, "\n");
            mpfr_print_binary (x); putchar ('\n');
            exit (1);
          }
      }

   /* checks that rounds to nearest sets the last
     bit to zero in case of equal distance */
   mpfr_set_d (x, 5.0, GMP_RNDN);
   if (mpfr_get_d1 (x) != 4.0)
     {
       fprintf (stderr, "Error in tset_d: got %g instead of 4.0\n",
	       mpfr_get_d1 (x));
       exit (1);
     }
   mpfr_set_d (x, -5.0, GMP_RNDN);
   if (mpfr_get_d1 (x) != -4.0)
     {
       fprintf (stderr, "Error in tset_d: got %g instead of -4.0\n",
	       mpfr_get_d1 (x));
       exit (1);
     }

   mpfr_set_d (x, 9.84891017624509146344e-01, GMP_RNDU); 
   if (mpfr_get_d1 (x) != 1.0)
     {
       fprintf (stderr, "Error in tset_d: got %g instead of 1.0\n",
		mpfr_get_d1 (x));
       exit (1);
     }

  mpfr_init2(z, 32);
  mpfr_set_d(z, 1.0, 0);
  if (mpfr_get_d1 (z) != 1.0) {
    mpfr_print_binary(z); putchar('\n');
    printf("Error: 1.0 != 1.0\n"); exit(1);
  }
  mpfr_set_prec(x, 53); mpfr_init2(y, 53);
  mpfr_set_d(x, d=-1.08007920352320089721e+150, 0);
  if (mpfr_get_d1 (x) != d) {
    mpfr_print_binary(x); putchar('\n');
    printf("Error: get_d o set_d <> identity for d = %1.20e %1.20e\n",d,
	   mpfr_get_d1 (x)); exit(1);
  }

  SEED_RAND (time(NULL));
  mpfr_set_d(x, 8.06294740693074521573e-310, 0); 
  d = -6.72658901114033715233e-165;
  mpfr_set_d(x, d, 0);
  if (d != mpfr_get_d1 (x)) {
    mpfr_print_binary(x); putchar('\n');
    printf("Error: get_d o set_d <> identity for d = %1.20e %1.20e\n",d,
	   mpfr_get_d1 (x)); exit(1);
  }
  n = (argc==1) ? 1000000 : atoi(argv[1]);
  for (k = 1; k <= n; k++)
    {      
      do
	{
	  d = drand();
	}
#ifdef HAVE_DENORMS
      while (0);
#else
      while (ABS(d) <= 2.2e-307);
#endif
      mpfr_set_d (x, d, 0);
      dd = mpfr_get_d1 (x);
      if (d != dd && (!isnan(d) || !isnan(dd)))
	{ 
	  fprintf(stderr, 
		  "Mismatch on : %1.18g != %1.18g\n", d, mpfr_get_d1 (x)); 
	  mpfr_print_binary(x); putchar('\n');
	  exit(1);
	}
    }

  mpfr_clear(x); mpfr_clear(y); mpfr_clear(z);

  return 0; 
}