Blame tests/mpf/t-muldiv.c

Packit 5c3484
/* Test mpf_mul, mpf_div, mpf_ui_div, and mpf_div_ui.
Packit 5c3484
Packit 5c3484
Copyright 1996, 2000, 2001, 2003 Free Software Foundation, Inc.
Packit 5c3484
Packit 5c3484
This file is part of the GNU MP Library test suite.
Packit 5c3484
Packit 5c3484
The GNU MP Library test suite is free software; you can redistribute it
Packit 5c3484
and/or modify it under the terms of the GNU General Public License as
Packit 5c3484
published by the Free Software Foundation; either version 3 of the License,
Packit 5c3484
or (at your option) any later version.
Packit 5c3484
Packit 5c3484
The GNU MP Library test suite is distributed in the hope that it will be
Packit 5c3484
useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit 5c3484
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General
Packit 5c3484
Public License for more details.
Packit 5c3484
Packit 5c3484
You should have received a copy of the GNU General Public License along with
Packit 5c3484
the GNU MP Library test suite.  If not, see https://www.gnu.org/licenses/.  */
Packit 5c3484
Packit 5c3484
#include <stdio.h>
Packit 5c3484
#include <stdlib.h>
Packit 5c3484
Packit 5c3484
#include "gmp.h"
Packit 5c3484
#include "gmp-impl.h"
Packit 5c3484
#include "tests.h"
Packit 5c3484
Packit 5c3484
#ifndef SIZE
Packit 5c3484
#define SIZE 16
Packit 5c3484
#endif
Packit 5c3484
Packit 5c3484
int
Packit 5c3484
main (int argc, char **argv)
Packit 5c3484
{
Packit 5c3484
  mp_size_t size;
Packit 5c3484
  mp_exp_t exp;
Packit 5c3484
  int reps = 10000;
Packit 5c3484
  int i;
Packit 5c3484
  mpf_t u, v, w, x;
Packit 5c3484
  mp_size_t bprec = SIZE * GMP_LIMB_BITS;
Packit 5c3484
  mpf_t rerr, limit_rerr;
Packit 5c3484
  unsigned long ulimb, vlimb;
Packit 5c3484
  int single_flag;
Packit 5c3484
Packit 5c3484
  tests_start ();
Packit 5c3484
Packit 5c3484
  if (argc > 1)
Packit 5c3484
    {
Packit 5c3484
      reps = strtol (argv[1], 0, 0);
Packit 5c3484
      if (argc > 2)
Packit 5c3484
	bprec = strtol (argv[2], 0, 0);
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  mpf_set_default_prec (bprec);
Packit 5c3484
Packit 5c3484
  mpf_init (rerr);
Packit 5c3484
  mpf_init (limit_rerr);
Packit 5c3484
Packit 5c3484
  mpf_init (u);
Packit 5c3484
  mpf_init (v);
Packit 5c3484
  mpf_init (w);
Packit 5c3484
  mpf_init (x);
Packit 5c3484
Packit 5c3484
  for (i = 0; i < reps; i++)
Packit 5c3484
    {
Packit 5c3484
      mp_size_t res_prec;
Packit 5c3484
Packit 5c3484
      res_prec = urandom () % bprec + 1;
Packit 5c3484
      mpf_set_prec (w, res_prec);
Packit 5c3484
      mpf_set_prec (x, res_prec);
Packit 5c3484
Packit 5c3484
      mpf_set_ui (limit_rerr, 1);
Packit 5c3484
      mpf_div_2exp (limit_rerr, limit_rerr, res_prec - 1);
Packit 5c3484
Packit 5c3484
      single_flag = 0;
Packit 5c3484
Packit 5c3484
      if ((urandom () & 1) != 0)
Packit 5c3484
	{
Packit 5c3484
	  size = urandom () % (2 * SIZE) - SIZE;
Packit 5c3484
	  exp = urandom () % SIZE;
Packit 5c3484
	  mpf_random2 (u, size, exp);
Packit 5c3484
	}
Packit 5c3484
      else
Packit 5c3484
	{
Packit 5c3484
	  ulimb = urandom ();
Packit 5c3484
	  mpf_set_ui (u, ulimb);
Packit 5c3484
	  single_flag = 1;
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      if ((urandom () & 1) != 0)
Packit 5c3484
	{
Packit 5c3484
	  size = urandom () % (2 * SIZE) - SIZE;
Packit 5c3484
	  exp = urandom () % SIZE;
Packit 5c3484
	  mpf_random2 (v, size, exp);
Packit 5c3484
	}
Packit 5c3484
      else
Packit 5c3484
	{
Packit 5c3484
	  vlimb = urandom ();
Packit 5c3484
	  mpf_set_ui (v, vlimb);
Packit 5c3484
	  single_flag = 2;
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      if (mpf_sgn (v) == 0)
Packit 5c3484
	continue;
Packit 5c3484
Packit 5c3484
      mpf_div (w, u, v);
Packit 5c3484
      mpf_mul (x, w, v);
Packit 5c3484
      mpf_reldiff (rerr, u, x);
Packit 5c3484
      if (mpf_cmp (rerr, limit_rerr) > 0)
Packit 5c3484
	{
Packit 5c3484
	  printf ("ERROR in mpf_mul or mpf_div after %d tests\n", i);
Packit 5c3484
	  printf ("   u = "); mpf_dump (u);
Packit 5c3484
	  printf ("   v = "); mpf_dump (v);
Packit 5c3484
	  printf ("   x = "); mpf_dump (x);
Packit 5c3484
	  printf ("   w = "); mpf_dump (w);
Packit 5c3484
	  abort ();
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      if (single_flag == 2)
Packit 5c3484
	{
Packit 5c3484
	  mpf_div_ui (x, u, vlimb);
Packit 5c3484
	  mpf_reldiff (rerr, w, x);
Packit 5c3484
	  if (mpf_cmp (rerr, limit_rerr) > 0)
Packit 5c3484
	    {
Packit 5c3484
	      printf ("ERROR in mpf_div or mpf_div_ui after %d tests\n", i);
Packit 5c3484
	      printf ("   u = "); mpf_dump (u);
Packit 5c3484
	      printf ("   v = "); mpf_dump (v);
Packit 5c3484
	      printf ("   x = "); mpf_dump (x);
Packit 5c3484
	      printf ("   w = "); mpf_dump (w);
Packit 5c3484
	      abort ();
Packit 5c3484
	    }
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      if (single_flag == 1)
Packit 5c3484
	{
Packit 5c3484
	  mpf_ui_div (x, ulimb, v);
Packit 5c3484
	  mpf_reldiff (rerr, w, x);
Packit 5c3484
	  if (mpf_cmp (rerr, limit_rerr) > 0)
Packit 5c3484
	    {
Packit 5c3484
	      printf ("ERROR in mpf_div or mpf_ui_div after %d tests\n", i);
Packit 5c3484
	      printf ("   u = "); mpf_dump (u);
Packit 5c3484
	      printf ("   v = "); mpf_dump (v);
Packit 5c3484
	      printf ("   x = "); mpf_dump (x);
Packit 5c3484
	      printf ("   w = "); mpf_dump (w);
Packit 5c3484
	      abort ();
Packit 5c3484
	    }
Packit 5c3484
	}
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  mpf_clear (rerr);
Packit 5c3484
  mpf_clear (limit_rerr);
Packit 5c3484
Packit 5c3484
  mpf_clear (u);
Packit 5c3484
  mpf_clear (v);
Packit 5c3484
  mpf_clear (w);
Packit 5c3484
  mpf_clear (x);
Packit 5c3484
Packit 5c3484
  tests_end ();
Packit 5c3484
  exit (0);
Packit 5c3484
}