|
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 */
|