| Index: gcc/gmp/tests/mpz/t-perfsqr.c
|
| diff --git a/gcc/gmp/tests/mpz/t-perfsqr.c b/gcc/gmp/tests/mpz/t-perfsqr.c
|
| deleted file mode 100644
|
| index f5fa15bfaa41c6628c64ce8580ae496aab308a32..0000000000000000000000000000000000000000
|
| --- a/gcc/gmp/tests/mpz/t-perfsqr.c
|
| +++ /dev/null
|
| @@ -1,155 +0,0 @@
|
| -/* Test mpz_perfect_square_p.
|
| -
|
| -Copyright 2000, 2001, 2002 Free Software Foundation, Inc.
|
| -
|
| -This file is part of the GNU MP Library.
|
| -
|
| -The GNU MP Library is free software; you can redistribute it and/or modify
|
| -it under the terms of the GNU Lesser General Public License as published by
|
| -the Free Software Foundation; either version 3 of the License, or (at your
|
| -option) any later version.
|
| -
|
| -The GNU MP Library is distributed in the hope that it will be useful, but
|
| -WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
|
| -or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
|
| -License for more details.
|
| -
|
| -You should have received a copy of the GNU Lesser General Public License
|
| -along with the GNU MP Library. If not, see http://www.gnu.org/licenses/. */
|
| -
|
| -#include <stdio.h>
|
| -#include <stdlib.h>
|
| -
|
| -#include "gmp.h"
|
| -#include "gmp-impl.h"
|
| -#include "tests.h"
|
| -
|
| -#include "mpn/perfsqr.h"
|
| -
|
| -
|
| -/* check_modulo() exercises mpz_perfect_square_p on squares which cover each
|
| - possible quadratic residue to each divisor used within
|
| - mpn_perfect_square_p, ensuring those residues aren't incorrectly claimed
|
| - to be non-residues.
|
| -
|
| - Each divisor is taken separately. It's arranged that n is congruent to 0
|
| - modulo the other divisors, 0 of course being a quadratic residue to any
|
| - modulus.
|
| -
|
| - The values "(j*others)^2" cover all quadratic residues mod divisor[i],
|
| - but in no particular order. j is run from 1<=j<=divisor[i] so that zero
|
| - is excluded. A literal n==0 doesn't reach the residue tests. */
|
| -
|
| -void
|
| -check_modulo (void)
|
| -{
|
| - static const unsigned long divisor[] = PERFSQR_DIVISORS;
|
| - unsigned long i, j;
|
| -
|
| - mpz_t alldiv, others, n;
|
| -
|
| - mpz_init (alldiv);
|
| - mpz_init (others);
|
| - mpz_init (n);
|
| -
|
| - /* product of all divisors */
|
| - mpz_set_ui (alldiv, 1L);
|
| - for (i = 0; i < numberof (divisor); i++)
|
| - mpz_mul_ui (alldiv, alldiv, divisor[i]);
|
| -
|
| - for (i = 0; i < numberof (divisor); i++)
|
| - {
|
| - /* product of all divisors except i */
|
| - mpz_set_ui (others, 1L);
|
| - for (j = 0; j < numberof (divisor); j++)
|
| - if (i != j)
|
| - mpz_mul_ui (others, others, divisor[j]);
|
| -
|
| - for (j = 1; j <= divisor[i]; j++)
|
| - {
|
| - /* square */
|
| - mpz_mul_ui (n, others, j);
|
| - mpz_mul (n, n, n);
|
| - if (! mpz_perfect_square_p (n))
|
| - {
|
| - printf ("mpz_perfect_square_p got 0, want 1\n");
|
| - mpz_trace (" n", n);
|
| - abort ();
|
| - }
|
| - }
|
| - }
|
| -
|
| - mpz_clear (alldiv);
|
| - mpz_clear (others);
|
| - mpz_clear (n);
|
| -}
|
| -
|
| -
|
| -/* Exercise mpz_perfect_square_p compared to what mpz_sqrt says. */
|
| -void
|
| -check_sqrt (int reps)
|
| -{
|
| - mpz_t x2, x2t, x;
|
| - mp_size_t x2n;
|
| - int res;
|
| - int i;
|
| - /* int cnt = 0; */
|
| - gmp_randstate_ptr rands = RANDS;
|
| - mpz_t bs;
|
| -
|
| - mpz_init (bs);
|
| -
|
| - mpz_init (x2);
|
| - mpz_init (x);
|
| - mpz_init (x2t);
|
| -
|
| - for (i = 0; i < reps; i++)
|
| - {
|
| - mpz_urandomb (bs, rands, 9);
|
| - x2n = mpz_get_ui (bs);
|
| - mpz_rrandomb (x2, rands, x2n);
|
| - /* mpz_out_str (stdout, -16, x2); puts (""); */
|
| -
|
| - res = mpz_perfect_square_p (x2);
|
| - mpz_sqrt (x, x2);
|
| - mpz_mul (x2t, x, x);
|
| -
|
| - if (res != (mpz_cmp (x2, x2t) == 0))
|
| - {
|
| - printf ("mpz_perfect_square_p and mpz_sqrt differ\n");
|
| - mpz_trace (" x ", x);
|
| - mpz_trace (" x2 ", x2);
|
| - mpz_trace (" x2t", x2t);
|
| - printf (" mpz_perfect_square_p %d\n", res);
|
| - printf (" mpz_sqrt %d\n", mpz_cmp (x2, x2t) == 0);
|
| - abort ();
|
| - }
|
| -
|
| - /* cnt += res != 0; */
|
| - }
|
| - /* printf ("%d/%d perfect squares\n", cnt, reps); */
|
| -
|
| - mpz_clear (bs);
|
| - mpz_clear (x2);
|
| - mpz_clear (x);
|
| - mpz_clear (x2t);
|
| -}
|
| -
|
| -
|
| -int
|
| -main (int argc, char **argv)
|
| -{
|
| - int reps = 200000;
|
| -
|
| - tests_start ();
|
| - mp_trace_base = -16;
|
| -
|
| - if (argc == 2)
|
| - reps = atoi (argv[1]);
|
| -
|
| - check_modulo ();
|
| - check_sqrt (reps);
|
| -
|
| - tests_end ();
|
| - exit (0);
|
| -}
|
|
|