Blame tests/mpz/reuse.c

Packit 5c3484
/* Test that routines allow reusing a source variable as destination.
Packit 5c3484
Packit 5c3484
   Test all relevant functions except:
Packit 5c3484
	mpz_bin_ui
Packit 5c3484
	mpz_nextprime
Packit 5c3484
	mpz_mul_si
Packit 5c3484
	mpz_addmul_ui (should this really allow a+=a*c?)
Packit 5c3484
Packit 5c3484
Copyright 1996, 1999-2002, 2009, 2012, 2013 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
#include <unistd.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, mpz_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 mpz_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
void dump (const char *, mpz_t, mpz_t, mpz_t);
Packit 5c3484
Packit 5c3484
typedef void (*dss_func) (mpz_ptr, mpz_srcptr, mpz_srcptr);
Packit 5c3484
typedef void (*dsi_func) (mpz_ptr, mpz_srcptr, unsigned long int);
Packit 5c3484
typedef unsigned long int (*dsi_div_func) (mpz_ptr, mpz_srcptr, unsigned long int);
Packit 5c3484
typedef unsigned long int (*ddsi_div_func) (mpz_ptr, mpz_ptr, mpz_srcptr, unsigned long int);
Packit 5c3484
typedef void (*ddss_div_func) (mpz_ptr, mpz_ptr, mpz_srcptr, mpz_srcptr);
Packit 5c3484
typedef void (*ds_func) (mpz_ptr, mpz_srcptr);
Packit 5c3484
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
mpz_xinvert (mpz_ptr r, mpz_srcptr a, mpz_srcptr b)
Packit 5c3484
{
Packit 5c3484
  int res;
Packit 5c3484
  res = mpz_invert (r, a, b);
Packit 5c3484
  if (res == 0)
Packit 5c3484
    mpz_set_ui (r, 0);
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
struct {
Packit 5c3484
  dss_func fptr;
Packit 5c3484
  const char *fname;
Packit 5c3484
  int isdivision;
Packit 5c3484
  int isslow;
Packit 5c3484
} static dss[] =
Packit 5c3484
  { { mpz_add,     "mpz_add",	  0, 0 },
Packit 5c3484
    { mpz_sub,     "mpz_sub",	  0, 0 },
Packit 5c3484
    { mpz_mul,     "mpz_mul",	  0, 0 },
Packit 5c3484
    { mpz_cdiv_q,  "mpz_cdiv_q",  1, 0 },
Packit 5c3484
    { mpz_cdiv_r,  "mpz_cdiv_r",  1, 0 },
Packit 5c3484
    { mpz_fdiv_q,  "mpz_fdiv_q",  1, 0 },
Packit 5c3484
    { mpz_fdiv_r,  "mpz_fdiv_r",  1, 0 },
Packit 5c3484
    { mpz_tdiv_q,  "mpz_tdiv_q",  1, 0 },
Packit 5c3484
    { mpz_tdiv_r,  "mpz_tdiv_r",  1, 0 },
Packit 5c3484
    { mpz_mod,     "mpz_mod",	  1, 0 },
Packit 5c3484
    { mpz_xinvert, "mpz_xinvert", 1, 1 },
Packit 5c3484
    { mpz_gcd,     "mpz_gcd",	  0, 1 },
Packit 5c3484
    { mpz_lcm,     "mpz_lcm",	  0, 1 },
Packit 5c3484
    { mpz_and,     "mpz_and",	  0, 0 },
Packit 5c3484
    { mpz_ior,     "mpz_ior",	  0, 0 },
Packit 5c3484
    { mpz_xor,     "mpz_xor",     0, 0 }
Packit 5c3484
  };
Packit 5c3484
Packit 5c3484
Packit 5c3484
struct {
Packit 5c3484
  dsi_func fptr;
Packit 5c3484
  const char *fname;
Packit 5c3484
  int mod;
Packit 5c3484
} static dsi[] =
Packit 5c3484
{
Packit 5c3484
  /* Don't change order here without changing the code in main(). */
Packit 5c3484
  { mpz_add_ui,         "mpz_add_ui",	     0 },
Packit 5c3484
  { mpz_mul_ui,		"mpz_mul_ui",	     0 },
Packit 5c3484
  { mpz_sub_ui,		"mpz_sub_ui",	     0 },
Packit 5c3484
  { mpz_fdiv_q_2exp,    "mpz_fdiv_q_2exp",   0x1000 },
Packit 5c3484
  { mpz_fdiv_r_2exp,    "mpz_fdiv_r_2exp",   0x1000 },
Packit 5c3484
  { mpz_cdiv_q_2exp,    "mpz_cdiv_q_2exp",   0x1000 },
Packit 5c3484
  { mpz_cdiv_r_2exp,    "mpz_cdiv_r_2exp",   0x1000 },
Packit 5c3484
  { mpz_tdiv_q_2exp,    "mpz_tdiv_q_2exp",   0x1000 },
Packit 5c3484
  { mpz_tdiv_r_2exp,    "mpz_tdiv_r_2exp",   0x1000 },
Packit 5c3484
  { mpz_mul_2exp,	"mpz_mul_2exp",      0x100 },
Packit 5c3484
  { mpz_pow_ui,		"mpz_pow_ui",        0x10 }
Packit 5c3484
};
Packit 5c3484
Packit 5c3484
struct {
Packit 5c3484
  dsi_div_func fptr;
Packit 5c3484
  const char *fname;
Packit 5c3484
} static dsi_div[] =
Packit 5c3484
{
Packit 5c3484
  { mpz_cdiv_q_ui,       "mpz_cdiv_q_ui" },
Packit 5c3484
  { mpz_cdiv_r_ui,       "mpz_cdiv_r_ui" },
Packit 5c3484
  { mpz_fdiv_q_ui,       "mpz_fdiv_q_ui" },
Packit 5c3484
  { mpz_fdiv_r_ui,       "mpz_fdiv_r_ui" },
Packit 5c3484
  { mpz_tdiv_q_ui,       "mpz_tdiv_q_ui" },
Packit 5c3484
  { mpz_tdiv_r_ui,       "mpz_tdiv_r_ui" }
Packit 5c3484
};
Packit 5c3484
Packit 5c3484
struct {
Packit 5c3484
  ddsi_div_func fptr;
Packit 5c3484
  const char *fname;
Packit 5c3484
  int isslow;
Packit 5c3484
} static ddsi_div[] =
Packit 5c3484
{
Packit 5c3484
  { mpz_cdiv_qr_ui,     "mpz_cdiv_qr_ui",    0 },
Packit 5c3484
  { mpz_fdiv_qr_ui,     "mpz_fdiv_qr_ui",    0 },
Packit 5c3484
  { mpz_tdiv_qr_ui,     "mpz_tdiv_qr_ui",    0 },
Packit 5c3484
};
Packit 5c3484
Packit 5c3484
Packit 5c3484
struct {
Packit 5c3484
  ddss_div_func fptr;
Packit 5c3484
  const char *fname;
Packit 5c3484
  int isslow;
Packit 5c3484
} static ddss_div[] =
Packit 5c3484
{
Packit 5c3484
  { mpz_cdiv_qr,  "mpz_cdiv_qr",    0 },
Packit 5c3484
  { mpz_fdiv_qr,  "mpz_fdiv_qr",    0 },
Packit 5c3484
  { mpz_tdiv_qr,  "mpz_tdiv_qr",    0 },
Packit 5c3484
};
Packit 5c3484
Packit 5c3484
struct {
Packit 5c3484
  ds_func fptr;
Packit 5c3484
  const char *fname;
Packit 5c3484
  int nonneg;
Packit 5c3484
} static ds[] =
Packit 5c3484
{
Packit 5c3484
  { mpz_abs,    "mpz_abs",    0 },
Packit 5c3484
  { mpz_com,    "mpz_com",    0 },
Packit 5c3484
  { mpz_neg,    "mpz_neg",    0 },
Packit 5c3484
  { mpz_sqrt,   "mpz_sqrt",   1 },
Packit 5c3484
};
Packit 5c3484
Packit 5c3484
#define FAIL(class,indx,op1,op2,op3)					\
Packit 5c3484
  do {									\
Packit 5c3484
    dump (class[indx].fname, op1, op2, op3);				\
Packit 5c3484
    exit (1);								\
Packit 5c3484
  } while (0)
Packit 5c3484
Packit 5c3484
#define FAIL2(fname,op1,op2,op3)					\
Packit 5c3484
  do {									\
Packit 5c3484
    dump (#fname, op1, op2, op3);					\
Packit 5c3484
    exit (1);								\
Packit 5c3484
  } while (0)
Packit 5c3484
Packit 5c3484
Packit 5c3484
#define INVOKE_RRS(desc,r1,r2,i1)					\
Packit 5c3484
  do {									\
Packit 5c3484
    if (pass & 1) _mpz_realloc (r1, ABSIZ(r1));				\
Packit 5c3484
    if (pass & 2) _mpz_realloc (r2, ABSIZ(r2));				\
Packit 5c3484
    (desc).fptr (r1, r2, i1);						\
Packit 5c3484
  } while (0)
Packit 5c3484
#define INVOKE_RS(desc,r1,i1)						\
Packit 5c3484
  do {									\
Packit 5c3484
    if (pass & 1) _mpz_realloc (r1, ABSIZ(r1));				\
Packit 5c3484
    (desc).fptr (r1, i1);						\
Packit 5c3484
  } while (0)
Packit 5c3484
#define INVOKE_RRSS(desc,r1,r2,i1,i2)					\
Packit 5c3484
  do {									\
Packit 5c3484
    if (pass & 1) _mpz_realloc (r1, ABSIZ(r1));				\
Packit 5c3484
    if (pass & 2) _mpz_realloc (r2, ABSIZ(r2));				\
Packit 5c3484
    (desc).fptr (r1, r2, i1, i2);					\
Packit 5c3484
  } while (0)
Packit 5c3484
#define INVOKE_RSS(desc,r1,i1,i2)					\
Packit 5c3484
  do {									\
Packit 5c3484
    if (pass & 1) _mpz_realloc (r1, ABSIZ(r1));				\
Packit 5c3484
    (desc).fptr (r1, i1, i2);						\
Packit 5c3484
  } while (0)
Packit 5c3484
Packit 5c3484
int
Packit 5c3484
main (int argc, char **argv)
Packit 5c3484
{
Packit 5c3484
  int i;
Packit 5c3484
  int pass, reps = 400;
Packit 5c3484
  mpz_t in1, in2, in3;
Packit 5c3484
  unsigned long int in2i;
Packit 5c3484
  mp_size_t size;
Packit 5c3484
  mpz_t res1, res2, res3;
Packit 5c3484
  mpz_t ref1, ref2, ref3;
Packit 5c3484
  mpz_t t;
Packit 5c3484
  unsigned long int r1, r2;
Packit 5c3484
  gmp_randstate_ptr rands;
Packit 5c3484
  mpz_t bs;
Packit 5c3484
  unsigned long bsi, size_range;
Packit 5c3484
Packit 5c3484
  tests_start ();
Packit 5c3484
  TESTS_REPS (reps, argv, argc);
Packit 5c3484
Packit 5c3484
  rands = RANDS;
Packit 5c3484
Packit 5c3484
  mpz_init (bs);
Packit 5c3484
Packit 5c3484
  mpz_init (in1);
Packit 5c3484
  mpz_init (in2);
Packit 5c3484
  mpz_init (in3);
Packit 5c3484
  mpz_init (ref1);
Packit 5c3484
  mpz_init (ref2);
Packit 5c3484
  mpz_init (ref3);
Packit 5c3484
  mpz_init (res1);
Packit 5c3484
  mpz_init (res2);
Packit 5c3484
  mpz_init (res3);
Packit 5c3484
  mpz_init (t);
Packit 5c3484
Packit 5c3484
  for (pass = 1; pass <= reps; pass++)
Packit 5c3484
    {
Packit 5c3484
      if (isatty (fileno (stdout)))
Packit 5c3484
	{
Packit 5c3484
	  printf ("\r%d/%d passes", pass, reps);
Packit 5c3484
	  fflush (stdout);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      mpz_urandomb (bs, rands, 32);
Packit 5c3484
      size_range = mpz_get_ui (bs) % 21 + 2;
Packit 5c3484
Packit 5c3484
      if ((pass & 1) == 0)
Packit 5c3484
	{
Packit 5c3484
	  /* Make all input operands have quite different sizes */
Packit 5c3484
	  mpz_urandomb (bs, rands, 32);
Packit 5c3484
	  size = mpz_get_ui (bs) % size_range;
Packit 5c3484
	  mpz_rrandomb (in1, rands, size);
Packit 5c3484
Packit 5c3484
	  mpz_urandomb (bs, rands, 32);
Packit 5c3484
	  size = mpz_get_ui (bs) % size_range;
Packit 5c3484
	  mpz_rrandomb (in2, rands, size);
Packit 5c3484
Packit 5c3484
	  mpz_urandomb (bs, rands, 32);
Packit 5c3484
	  size = mpz_get_ui (bs) % size_range;
Packit 5c3484
	  mpz_rrandomb (in3, rands, size);
Packit 5c3484
	}
Packit 5c3484
      else
Packit 5c3484
	{
Packit 5c3484
	  /* Make all input operands have about the same size */
Packit 5c3484
	  mpz_urandomb (bs, rands, size_range);
Packit 5c3484
	  size = mpz_get_ui (bs);
Packit 5c3484
	  mpz_rrandomb (in1, rands, size);
Packit 5c3484
Packit 5c3484
	  mpz_urandomb (bs, rands, size_range);
Packit 5c3484
	  size = mpz_get_ui (bs);
Packit 5c3484
	  mpz_rrandomb (in2, rands, size);
Packit 5c3484
Packit 5c3484
	  mpz_urandomb (bs, rands, size_range);
Packit 5c3484
	  size = mpz_get_ui (bs);
Packit 5c3484
	  mpz_rrandomb (in3, rands, size);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      mpz_urandomb (bs, rands, 3);
Packit 5c3484
      bsi = mpz_get_ui (bs);
Packit 5c3484
      if ((bsi & 1) != 0)
Packit 5c3484
	mpz_neg (in1, in1);
Packit 5c3484
      if ((bsi & 2) != 0)
Packit 5c3484
	mpz_neg (in2, in2);
Packit 5c3484
      if ((bsi & 4) != 0)
Packit 5c3484
	mpz_neg (in3, in3);
Packit 5c3484
Packit 5c3484
      for (i = 0; i < numberof (dss); i++)
Packit 5c3484
	{
Packit 5c3484
	  if (dss[i].isdivision && mpz_sgn (in2) == 0)
Packit 5c3484
	    continue;
Packit 5c3484
	  if (dss[i].isslow && size_range > 19)
Packit 5c3484
	    continue;
Packit 5c3484
Packit 5c3484
	  (dss[i].fptr) (ref1, in1, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in1);
Packit 5c3484
	  INVOKE_RSS (dss[i], res1, res1, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL (dss, i, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in2);
Packit 5c3484
	  INVOKE_RSS (dss[i], res1, in1, res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL (dss, i, in1, in2, NULL);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      for (i = 0; i < numberof (ddss_div); i++)
Packit 5c3484
	{
Packit 5c3484
	  if (mpz_sgn (in2) == 0)
Packit 5c3484
	    continue;
Packit 5c3484
Packit 5c3484
	  (ddss_div[i].fptr) (ref1, ref2, in1, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref2);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in1);
Packit 5c3484
	  INVOKE_RRSS (ddss_div[i], res1, res2, res1, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
Packit 5c3484
	    FAIL (ddss_div, i, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res2, in1);
Packit 5c3484
	  INVOKE_RRSS (ddss_div[i], res1, res2, res2, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
Packit 5c3484
	    FAIL (ddss_div, i, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in2);
Packit 5c3484
	  INVOKE_RRSS (ddss_div[i], res1, res2, in1, res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
Packit 5c3484
	    FAIL (ddss_div, i, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res2, in2);
Packit 5c3484
	  INVOKE_RRSS (ddss_div[i], res1, res2, in1, res2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
Packit 5c3484
	    FAIL (ddss_div, i, in1, in2, NULL);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      for (i = 0; i < numberof (ds); i++)
Packit 5c3484
	{
Packit 5c3484
	  if (ds[i].nonneg && mpz_sgn (in1) < 0)
Packit 5c3484
	    continue;
Packit 5c3484
Packit 5c3484
	  (ds[i].fptr) (ref1, in1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in1);
Packit 5c3484
	  INVOKE_RS (ds[i], res1, res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL (ds, i, in1, in2, NULL);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      in2i = mpz_get_ui (in2);
Packit 5c3484
Packit 5c3484
      for (i = 0; i < numberof (dsi); i++)
Packit 5c3484
	{
Packit 5c3484
	  if (dsi[i].mod != 0)
Packit 5c3484
	    in2i = mpz_get_ui (in2) % dsi[i].mod;
Packit 5c3484
Packit 5c3484
	  (dsi[i].fptr) (ref1, in1, in2i);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in1);
Packit 5c3484
	  INVOKE_RRS (dsi[i], res1, res1, in2i);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL (dsi, i, in1, in2, NULL);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      if (in2i != 0)	  /* Don't divide by 0.  */
Packit 5c3484
	{
Packit 5c3484
	  for (i = 0; i < numberof (dsi_div); i++)
Packit 5c3484
	    {
Packit 5c3484
	      r1 = (dsi_div[i].fptr) (ref1, in1, in2i);
Packit 5c3484
	      MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
Packit 5c3484
	      mpz_set (res1, in1);
Packit 5c3484
	      r2 = (dsi_div[i].fptr) (res1, res1, in2i);
Packit 5c3484
	      MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	      if (mpz_cmp (ref1, res1) != 0 || r1 != r2)
Packit 5c3484
		FAIL (dsi_div, i, in1, in2, NULL);
Packit 5c3484
	    }
Packit 5c3484
Packit 5c3484
	  for (i = 0; i < numberof (ddsi_div); i++)
Packit 5c3484
	    {
Packit 5c3484
	      r1 = (ddsi_div[i].fptr) (ref1, ref2, in1, in2i);
Packit 5c3484
	      MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
Packit 5c3484
	      mpz_set (res1, in1);
Packit 5c3484
	      r2 = (ddsi_div[i].fptr) (res1, res2, res1, in2i);
Packit 5c3484
	      MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	      if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 || r1 != r2)
Packit 5c3484
		FAIL (ddsi_div, i, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	      mpz_set (res2, in1);
Packit 5c3484
	      (ddsi_div[i].fptr) (res1, res2, res2, in2i);
Packit 5c3484
	      MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	      if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0 || r1 != r2)
Packit 5c3484
		FAIL (ddsi_div, i, in1, in2, NULL);
Packit 5c3484
	    }
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      if (mpz_sgn (in1) >= 0)
Packit 5c3484
	{
Packit 5c3484
	  mpz_sqrtrem (ref1, ref2, in1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref2);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in1);
Packit 5c3484
	  mpz_sqrtrem (res1, res2, res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
Packit 5c3484
	    FAIL2 (mpz_sqrtrem, in1, NULL, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res2, in1);
Packit 5c3484
	  mpz_sqrtrem (res1, res2, res2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
Packit 5c3484
	    FAIL2 (mpz_sqrtrem, in1, NULL, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in1);
Packit 5c3484
	  mpz_sqrtrem (res1, res1, res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref2, res1) != 0)
Packit 5c3484
	    FAIL2 (mpz_sqrtrem, in1, NULL, NULL);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      if (mpz_sgn (in1) >= 0)
Packit 5c3484
	{
Packit 5c3484
	  mpz_root (ref1, in1, in2i % 0x100 + 1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in1);
Packit 5c3484
	  mpz_root (res1, res1, in2i % 0x100 + 1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL2 (mpz_root, in1, in2, NULL);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      if (mpz_sgn (in1) >= 0)
Packit 5c3484
	{
Packit 5c3484
	  mpz_rootrem (ref1, ref2, in1, in2i % 0x100 + 1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref2);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in1);
Packit 5c3484
	  mpz_rootrem (res1, res2, res1, in2i % 0x100 + 1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
Packit 5c3484
	    FAIL2 (mpz_rootrem, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res2, in1);
Packit 5c3484
	  mpz_rootrem (res1, res2, res2, in2i % 0x100 + 1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0)
Packit 5c3484
	    FAIL2 (mpz_rootrem, in1, in2, NULL);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      if (size_range < 18)	/* run fewer tests since gcdext is slow */
Packit 5c3484
	{
Packit 5c3484
	  mpz_gcdext (ref1, ref2, ref3, in1, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref3);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in1);
Packit 5c3484
	  mpz_gcdext (res1, res2, res3, res1, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res3);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
Packit 5c3484
	      || mpz_cmp (ref3, res3) != 0)
Packit 5c3484
	    FAIL2 (mpz_gcdext, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res2, in1);
Packit 5c3484
	  mpz_gcdext (res1, res2, res3, res2, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res3);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
Packit 5c3484
	      || mpz_cmp (ref3, res3) != 0)
Packit 5c3484
	    FAIL2 (mpz_gcdext, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res3, in1);
Packit 5c3484
	  mpz_gcdext (res1, res2, res3, res3, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res3);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
Packit 5c3484
	      || mpz_cmp (ref3, res3) != 0)
Packit 5c3484
	    FAIL2 (mpz_gcdext, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in2);
Packit 5c3484
	  mpz_gcdext (res1, res2, res3, in1, res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res3);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
Packit 5c3484
	      || mpz_cmp (ref3, res3) != 0)
Packit 5c3484
	    FAIL2 (mpz_gcdext, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res2, in2);
Packit 5c3484
	  mpz_gcdext (res1, res2, res3, in1, res2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res3);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
Packit 5c3484
	      || mpz_cmp (ref3, res3) != 0)
Packit 5c3484
	    FAIL2 (mpz_gcdext, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res3, in2);
Packit 5c3484
	  mpz_gcdext (res1, res2, res3, in1, res3);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res3);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
Packit 5c3484
	      || mpz_cmp (ref3, res3) != 0)
Packit 5c3484
	    FAIL2 (mpz_gcdext, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in1);
Packit 5c3484
	  mpz_gcdext (res1, res2, NULL, res1, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
Packit 5c3484
	      || mpz_cmp (ref3, res3) != 0)
Packit 5c3484
	    FAIL2 (mpz_gcdext, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res2, in1);
Packit 5c3484
	  mpz_gcdext (res1, res2, NULL, res2, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
Packit 5c3484
	      || mpz_cmp (ref3, res3) != 0)
Packit 5c3484
	    FAIL2 (mpz_gcdext, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in2);
Packit 5c3484
	  mpz_gcdext (res1, res2, NULL, in1, res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
Packit 5c3484
	      || mpz_cmp (ref3, res3) != 0)
Packit 5c3484
	    FAIL2 (mpz_gcdext, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res2, in2);
Packit 5c3484
	  mpz_gcdext (res1, res2, NULL, in1, res2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res2);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || mpz_cmp (ref2, res2) != 0
Packit 5c3484
	      || mpz_cmp (ref3, res3) != 0)
Packit 5c3484
	    FAIL2 (mpz_gcdext, in1, in2, NULL);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      /* Don't run mpz_powm for huge exponents or when undefined.  */
Packit 5c3484
      if (size_range < 17 && mpz_sizeinbase (in2, 2) < 250 && mpz_sgn (in3) != 0
Packit 5c3484
	  && (mpz_sgn (in2) >= 0 || mpz_invert (t, in1, in3)))
Packit 5c3484
	{
Packit 5c3484
	  mpz_powm (ref1, in1, in2, in3);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in1);
Packit 5c3484
	  mpz_powm (res1, res1, in2, in3);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL2 (mpz_powm, in1, in2, in3);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in2);
Packit 5c3484
	  mpz_powm (res1, in1, res1, in3);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL2 (mpz_powm, in1, in2, in3);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in3);
Packit 5c3484
	  mpz_powm (res1, in1, in2, res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL2 (mpz_powm, in1, in2, in3);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      /* Don't run mpz_powm_ui when undefined.  */
Packit 5c3484
      if (size_range < 17 && mpz_sgn (in3) != 0)
Packit 5c3484
	{
Packit 5c3484
	  mpz_powm_ui (ref1, in1, in2i, in3);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in1);
Packit 5c3484
	  mpz_powm_ui (res1, res1, in2i, in3);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL2 (mpz_powm_ui, in1, in2, in3);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in3);
Packit 5c3484
	  mpz_powm_ui (res1, in1, in2i, res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL2 (mpz_powm_ui, in1, in2, in3);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      {
Packit 5c3484
	r1 = mpz_gcd_ui (ref1, in1, in2i);
Packit 5c3484
	MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
Packit 5c3484
	mpz_set (res1, in1);
Packit 5c3484
	r2 = mpz_gcd_ui (res1, res1, in2i);
Packit 5c3484
	MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	  FAIL2 (mpz_gcd_ui, in1, in2, NULL);
Packit 5c3484
      }
Packit 5c3484
Packit 5c3484
      if (mpz_sgn (in2) != 0)
Packit 5c3484
	{
Packit 5c3484
	  /* Test mpz_remove */
Packit 5c3484
	  mp_bitcnt_t refretval, retval;
Packit 5c3484
	  refretval = mpz_remove (ref1, in1, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in1);
Packit 5c3484
	  retval = mpz_remove (res1, res1, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || refretval != retval)
Packit 5c3484
	    FAIL2 (mpz_remove, in1, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in2);
Packit 5c3484
	  retval = mpz_remove (res1, in1, res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0 || refretval != retval)
Packit 5c3484
	    FAIL2 (mpz_remove, in1, in2, NULL);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      if (mpz_sgn (in2) != 0)
Packit 5c3484
	{
Packit 5c3484
	  /* Test mpz_divexact */
Packit 5c3484
	  mpz_mul (t, in1, in2);
Packit 5c3484
	  mpz_divexact (ref1, t, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, t);
Packit 5c3484
	  mpz_divexact (res1, res1, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL2 (mpz_divexact, t, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in2);
Packit 5c3484
	  mpz_divexact (res1, t, res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL2 (mpz_divexact, t, in2, NULL);
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      if (mpz_sgn (in2) > 0)
Packit 5c3484
	{
Packit 5c3484
	  /* Test mpz_divexact_gcd, same as mpz_divexact */
Packit 5c3484
	  mpz_mul (t, in1, in2);
Packit 5c3484
	  mpz_divexact_gcd (ref1, t, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (ref1);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, t);
Packit 5c3484
	  mpz_divexact_gcd (res1, res1, in2);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL2 (mpz_divexact_gcd, t, in2, NULL);
Packit 5c3484
Packit 5c3484
	  mpz_set (res1, in2);
Packit 5c3484
	  mpz_divexact_gcd (res1, t, res1);
Packit 5c3484
	  MPZ_CHECK_FORMAT (res1);
Packit 5c3484
	  if (mpz_cmp (ref1, res1) != 0)
Packit 5c3484
	    FAIL2 (mpz_divexact_gcd, t, in2, NULL);
Packit 5c3484
	}
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  if (isatty (fileno (stdout)))
Packit 5c3484
    printf ("\r%20s", "");
Packit 5c3484
Packit 5c3484
  mpz_clear (bs);
Packit 5c3484
  mpz_clear (in1);
Packit 5c3484
  mpz_clear (in2);
Packit 5c3484
  mpz_clear (in3);
Packit 5c3484
  mpz_clear (ref1);
Packit 5c3484
  mpz_clear (ref2);
Packit 5c3484
  mpz_clear (ref3);
Packit 5c3484
  mpz_clear (res1);
Packit 5c3484
  mpz_clear (res2);
Packit 5c3484
  mpz_clear (res3);
Packit 5c3484
  mpz_clear (t);
Packit 5c3484
Packit 5c3484
  if (isatty (fileno (stdout)))
Packit 5c3484
    printf ("\r");
Packit 5c3484
Packit 5c3484
  tests_end ();
Packit 5c3484
  exit (0);
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
dump (const char *name, mpz_t in1, mpz_t in2, mpz_t in3)
Packit 5c3484
{
Packit 5c3484
  printf ("failure in %s (", name);
Packit 5c3484
  0 && mpz_out_str (stdout, -16, in1);
Packit 5c3484
  if (in2 != NULL)
Packit 5c3484
    {
Packit 5c3484
      printf (" ");
Packit 5c3484
      0 && mpz_out_str (stdout, -16, in2);
Packit 5c3484
    }
Packit 5c3484
  if (in3 != NULL)
Packit 5c3484
    {
Packit 5c3484
      printf (" ");
Packit 5c3484
      0 && mpz_out_str (stdout, -16, in3);
Packit 5c3484
    }
Packit 5c3484
  printf (")\n");
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
#endif /* ! DLL_EXPORT */