Blame tests/mpq/reuse.c

Packit 5c3484
/* Test that routines allow reusing a source variable as destination.
Packit 5c3484
Packit 5c3484
Copyright 1996, 2000-2002, 2012, 2015 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
#include <string.h>
Packit 5c3484
Packit 5c3484
#include "gmp.h"
Packit 5c3484
#include "gmp-impl.h"
Packit 5c3484
#include "tests.h"
Packit 5c3484
Packit 5c3484
#if __GMP_LIBGMP_DLL
Packit 5c3484
Packit 5c3484
/* FIXME: When linking to a DLL libgmp, mpq_add etc can't be used as
Packit 5c3484
   initializers for global variables because they're effectively global
Packit 5c3484
   variables (function pointers) themselves.  Perhaps calling a test
Packit 5c3484
   function successively with mpq_add etc would be better.  */
Packit 5c3484
Packit 5c3484
int
Packit 5c3484
main (void)
Packit 5c3484
{
Packit 5c3484
  printf ("Test suppressed for windows DLL\n");
Packit 5c3484
  exit (0);
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
Packit 5c3484
#else /* ! DLL_EXPORT */
Packit 5c3484
Packit 5c3484
#ifndef SIZE
Packit 5c3484
#define SIZE 16
Packit 5c3484
#endif
Packit 5c3484
Packit 5c3484
void dump_abort (const char *, mpq_t, mpq_t);
Packit 5c3484
Packit 5c3484
typedef void (*dss_func) (mpq_ptr, mpq_srcptr, mpq_srcptr);
Packit 5c3484
Packit 5c3484
dss_func dss_funcs[] =
Packit 5c3484
{
Packit 5c3484
  mpq_div, mpq_add, mpq_mul, mpq_sub,
Packit 5c3484
};
Packit 5c3484
Packit 5c3484
const char *dss_func_names[] =
Packit 5c3484
{
Packit 5c3484
  "mpq_div", "mpq_add", "mpq_mul", "mpq_sub",
Packit 5c3484
};
Packit 5c3484
Packit 5c3484
typedef void (*ds_func) (mpq_ptr, mpq_srcptr);
Packit 5c3484
Packit 5c3484
ds_func ds_funcs[] =
Packit 5c3484
{
Packit 5c3484
  mpq_abs, mpq_neg,
Packit 5c3484
};
Packit 5c3484
Packit 5c3484
const char *ds_func_names[] =
Packit 5c3484
{
Packit 5c3484
  "mpq_abs", "mpq_neg",
Packit 5c3484
};
Packit 5c3484
Packit 5c3484
typedef void (*dsi_func) (mpq_ptr, mpq_srcptr, unsigned long int);
Packit 5c3484
Packit 5c3484
dsi_func dsi_funcs[] =
Packit 5c3484
{
Packit 5c3484
  mpq_mul_2exp, mpq_div_2exp
Packit 5c3484
};
Packit 5c3484
Packit 5c3484
const char *dsi_func_names[] =
Packit 5c3484
{
Packit 5c3484
  "mpq_mul_2exp", "mpq_div_2exp"
Packit 5c3484
};
Packit 5c3484
Packit 5c3484
int
Packit 5c3484
main (int argc, char **argv)
Packit 5c3484
{
Packit 5c3484
  int i;
Packit 5c3484
  int pass, reps = 100;
Packit 5c3484
  mpq_t in1, in2, out1;
Packit 5c3484
  unsigned long int randbits, in2i;
Packit 5c3484
  mpq_t res1, res2;
Packit 5c3484
  gmp_randstate_ptr  rands;
Packit 5c3484
Packit 5c3484
  tests_start ();
Packit 5c3484
Packit 5c3484
  if (argc > 1)
Packit 5c3484
    reps = strtol (argv[1], 0, 0);
Packit 5c3484
Packit 5c3484
  rands = RANDS;
Packit 5c3484
Packit 5c3484
  mpq_init (in1);
Packit 5c3484
  mpq_init (in2);
Packit 5c3484
  mpq_init (out1);
Packit 5c3484
  mpq_init (res1);
Packit 5c3484
  mpq_init (res2);
Packit 5c3484
Packit 5c3484
  for (pass = 1; pass <= reps; pass++)
Packit 5c3484
    {
Packit 5c3484
      randbits = urandom ();
Packit 5c3484
Packit 5c3484
      if (randbits & 1)
Packit 5c3484
	{
Packit 5c3484
	  mpq_clear (in1);
Packit 5c3484
	  mpq_init (in1);
Packit 5c3484
	}
Packit 5c3484
      randbits >>= 1;
Packit 5c3484
      mpz_errandomb (mpq_numref(in1), rands, 512L);
Packit 5c3484
      mpz_errandomb_nonzero (mpq_denref(in1), rands, 512L);
Packit 5c3484
      if (randbits & 1)
Packit 5c3484
	mpz_neg (mpq_numref(in1),mpq_numref(in1));
Packit 5c3484
      randbits >>= 1;
Packit 5c3484
      mpq_canonicalize (in1);
Packit 5c3484
Packit 5c3484
      if (randbits & 1)
Packit 5c3484
	{
Packit 5c3484
	  mpq_clear (in2);
Packit 5c3484
	  mpq_init (in2);
Packit 5c3484
	}
Packit 5c3484
      randbits >>= 1;
Packit 5c3484
      mpz_errandomb (mpq_numref(in2), rands, 512L);
Packit 5c3484
      mpz_errandomb_nonzero (mpq_denref(in2), rands, 512L);
Packit 5c3484
      if (randbits & 1)
Packit 5c3484
	mpz_neg (mpq_numref(in2),mpq_numref(in2));
Packit 5c3484
      randbits >>= 1;
Packit 5c3484
      mpq_canonicalize (in2);
Packit 5c3484
Packit 5c3484
      for (i = 0; i < sizeof (dss_funcs) / sizeof (dss_func); i++)
Packit 5c3484
	{
Packit 5c3484
	  /* Don't divide by 0.  */
Packit 5c3484
	  if (i == 0 && mpq_cmp_ui (in2, 0, 1) == 0)
Packit 5c3484
	    continue;
Packit 5c3484
Packit 5c3484
	  if (randbits & 1)
Packit 5c3484
	    {
Packit 5c3484
	      mpq_clear (res1);
Packit 5c3484
	      mpq_init (res1);
Packit 5c3484
	    }
Packit 5c3484
	  randbits >>= 1;
Packit 5c3484
Packit 5c3484
	  (dss_funcs[i]) (res1, in1, in2);
Packit 5c3484
	  MPQ_CHECK_FORMAT(res1);
Packit 5c3484
Packit 5c3484
	  mpq_set (out1, in1);
Packit 5c3484
	  (dss_funcs[i]) (out1, out1, in2);
Packit 5c3484
	  MPQ_CHECK_FORMAT(out1);
Packit 5c3484
Packit 5c3484
	  if (mpq_cmp (res1, out1) != 0)
Packit 5c3484
	    dump_abort (dss_func_names[i], res1, out1);
Packit 5c3484
Packit 5c3484
	  mpq_set (out1, in2);
Packit 5c3484
	  (dss_funcs[i]) (out1, in1, out1);
Packit 5c3484
	  MPQ_CHECK_FORMAT(out1);
Packit 5c3484
Packit 5c3484
	  if (mpq_cmp (res1, out1) != 0)
Packit 5c3484
	    dump_abort (dss_func_names[i], res1, out1);
Packit 5c3484
Packit 5c3484
	  mpq_set (out1, in2);
Packit 5c3484
	  (dss_funcs[i]) (res1, out1, in2);
Packit 5c3484
	  MPQ_CHECK_FORMAT(res1);
Packit 5c3484
Packit 5c3484
	  (dss_funcs[i]) (res2, in2, in2);
Packit 5c3484
	  MPQ_CHECK_FORMAT(res2);
Packit 5c3484
Packit 5c3484
	  (dss_funcs[i]) (out1, out1, out1);
Packit 5c3484
	  MPQ_CHECK_FORMAT(out1);
Packit 5c3484
Packit 5c3484
	  if (mpq_cmp (res1, res2) != 0)
Packit 5c3484
	    dump_abort (dss_func_names[i], res1, res2);
Packit 5c3484
	  if (mpq_cmp (res1, out1) != 0)
Packit 5c3484
	    dump_abort (dss_func_names[i], res1, out1);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      for (i = 0; i < sizeof (ds_funcs) / sizeof (ds_func); i++)
Packit 5c3484
	{
Packit 5c3484
	  if (randbits & 1)
Packit 5c3484
	    {
Packit 5c3484
	      mpq_clear (res1);
Packit 5c3484
	      mpq_init (res1);
Packit 5c3484
	    }
Packit 5c3484
	  randbits >>= 1;
Packit 5c3484
	  (ds_funcs[i]) (res1, in1);
Packit 5c3484
	  MPQ_CHECK_FORMAT(res1);
Packit 5c3484
Packit 5c3484
	  mpq_set (out1, in1);
Packit 5c3484
	  (ds_funcs[i]) (out1, out1);
Packit 5c3484
	  MPQ_CHECK_FORMAT(out1);
Packit 5c3484
Packit 5c3484
	  if (mpq_cmp (res1, out1) != 0)
Packit 5c3484
	    dump_abort (ds_func_names[i], res1, out1);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      in2i = urandom () % 65536;
Packit 5c3484
      for (i = 0; i < sizeof (dsi_funcs) / sizeof (dsi_func); i++)
Packit 5c3484
	{
Packit 5c3484
	  if (randbits & 1)
Packit 5c3484
	    {
Packit 5c3484
	      mpq_clear (res1);
Packit 5c3484
	      mpq_init (res1);
Packit 5c3484
	    }
Packit 5c3484
	  randbits >>= 1;
Packit 5c3484
Packit 5c3484
	  (dsi_funcs[i]) (res1, in1, in2i);
Packit 5c3484
	  MPQ_CHECK_FORMAT(res1);
Packit 5c3484
Packit 5c3484
	  mpq_set (out1, in1);
Packit 5c3484
	  (dsi_funcs[i]) (out1, out1, in2i);
Packit 5c3484
	  MPQ_CHECK_FORMAT(out1);
Packit 5c3484
Packit 5c3484
	  if (mpq_cmp (res1, out1) != 0)
Packit 5c3484
	    dump_abort (dsi_func_names[i], res1, out1);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  mpq_clear (in1);
Packit 5c3484
  mpq_clear (in2);
Packit 5c3484
  mpq_clear (out1);
Packit 5c3484
  mpq_clear (res1);
Packit 5c3484
  mpq_clear (res2);
Packit 5c3484
Packit 5c3484
  tests_end ();
Packit 5c3484
  exit (0);
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
dump_abort (const char *name, mpq_t res1, mpq_t res2)
Packit 5c3484
{
Packit 5c3484
  printf ("failure in %s:\n", name);
Packit 5c3484
  mpq_trace ("  res1  ", res1);
Packit 5c3484
  mpq_trace ("  res2  ", res2);
Packit 5c3484
  abort ();
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
#endif /* ! DLL_EXPORT */