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