|
Packit |
5c3484 |
/* Test for various Toom functions.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
Copyright 2009 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 |
|
|
Packit |
5c3484 |
#include <stdlib.h>
|
|
Packit |
5c3484 |
#include <stdio.h>
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
#include "gmp.h"
|
|
Packit |
5c3484 |
#include "gmp-impl.h"
|
|
Packit |
5c3484 |
#include "tests.h"
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
/* Main file is expected to define mpn_toomMN_mul,
|
|
Packit |
5c3484 |
* mpn_toomMN_mul_itch, MIN_AN, MIN_BN(an), MAX_BN(an) and then
|
|
Packit |
5c3484 |
* include this file. */
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
/* Sizes are up to 2^SIZE_LOG limbs */
|
|
Packit |
5c3484 |
#ifndef SIZE_LOG
|
|
Packit |
5c3484 |
#define SIZE_LOG 10
|
|
Packit |
5c3484 |
#endif
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
#ifndef COUNT
|
|
Packit |
5c3484 |
#define COUNT 2000
|
|
Packit |
5c3484 |
#endif
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
#define MAX_AN (1L << SIZE_LOG)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
#ifndef MAX_BN
|
|
Packit |
5c3484 |
#define MAX_BN(an) (an)
|
|
Packit |
5c3484 |
#endif
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
/* For general toomMN_mul, we need
|
|
Packit |
5c3484 |
*
|
|
Packit |
5c3484 |
* MIN_BN(an) = N + floor(((N-1)*an + M - N)/M)
|
|
Packit |
5c3484 |
*
|
|
Packit |
5c3484 |
* MAX_BN(an) = floor(N*(an-1)/(M-1)) - N + 1
|
|
Packit |
5c3484 |
*/
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
int
|
|
Packit |
5c3484 |
main (int argc, char **argv)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mp_ptr ap, bp, refp, pp, scratch;
|
|
Packit |
5c3484 |
int count = COUNT;
|
|
Packit |
5c3484 |
int test;
|
|
Packit |
5c3484 |
gmp_randstate_ptr rands;
|
|
Packit |
5c3484 |
TMP_DECL;
|
|
Packit |
5c3484 |
TMP_MARK;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
if (argc > 1)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
char *end;
|
|
Packit |
5c3484 |
count = strtol (argv[1], &end, 0);
|
|
Packit |
5c3484 |
if (*end || count <= 0)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
fprintf (stderr, "Invalid test count: %s.\n", argv[1]);
|
|
Packit |
5c3484 |
return 1;
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
tests_start ();
|
|
Packit |
5c3484 |
rands = RANDS;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
ap = TMP_ALLOC_LIMBS (MAX_AN);
|
|
Packit |
5c3484 |
bp = TMP_ALLOC_LIMBS (MAX_BN(MAX_AN));
|
|
Packit |
5c3484 |
refp = TMP_ALLOC_LIMBS (MAX_AN + MAX_BN(MAX_AN));
|
|
Packit |
5c3484 |
pp = 1+TMP_ALLOC_LIMBS (MAX_AN + MAX_BN(MAX_AN)+2);
|
|
Packit |
5c3484 |
scratch
|
|
Packit |
5c3484 |
= 1+TMP_ALLOC_LIMBS (mpn_toomMN_mul_itch (MAX_AN, MAX_BN(MAX_AN))
|
|
Packit |
5c3484 |
+ 2);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
for (test = 0; test < count; test++)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
unsigned size_min;
|
|
Packit |
5c3484 |
unsigned size_range;
|
|
Packit |
5c3484 |
mp_size_t an, bn;
|
|
Packit |
5c3484 |
mp_size_t itch;
|
|
Packit |
5c3484 |
mp_limb_t p_before, p_after, s_before, s_after;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
for (size_min = 1; (1L << size_min) < MIN_AN; size_min++)
|
|
Packit |
5c3484 |
;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
/* We generate an in the MIN_AN <= an <= (1 << size_range). */
|
|
Packit |
5c3484 |
size_range = size_min
|
|
Packit |
5c3484 |
+ gmp_urandomm_ui (rands, SIZE_LOG + 1 - size_min);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
an = MIN_AN
|
|
Packit |
5c3484 |
+ gmp_urandomm_ui (rands, (1L << size_range) + 1 - MIN_AN);
|
|
Packit |
5c3484 |
bn = MIN_BN(an)
|
|
Packit |
5c3484 |
+ gmp_urandomm_ui (rands, MAX_BN(an) + 1 - MIN_BN(an));
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mpn_random2 (ap, an);
|
|
Packit |
5c3484 |
mpn_random2 (bp, bn);
|
|
Packit |
5c3484 |
mpn_random2 (pp-1, an + bn + 2);
|
|
Packit |
5c3484 |
p_before = pp[-1];
|
|
Packit |
5c3484 |
p_after = pp[an + bn];
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
itch = mpn_toomMN_mul_itch (an, bn);
|
|
Packit |
5c3484 |
ASSERT_ALWAYS (itch <= mpn_toomMN_mul_itch (MAX_AN, MAX_BN(MAX_AN)));
|
|
Packit |
5c3484 |
mpn_random2 (scratch-1, itch+2);
|
|
Packit |
5c3484 |
s_before = scratch[-1];
|
|
Packit |
5c3484 |
s_after = scratch[itch];
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mpn_toomMN_mul (pp, ap, an, bp, bn, scratch);
|
|
Packit |
5c3484 |
refmpn_mul (refp, ap, an, bp, bn);
|
|
Packit |
5c3484 |
if (pp[-1] != p_before || pp[an + bn] != p_after
|
|
Packit |
5c3484 |
|| scratch[-1] != s_before || scratch[itch] != s_after
|
|
Packit |
5c3484 |
|| mpn_cmp (refp, pp, an + bn) != 0)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
printf ("ERROR in test %d, an = %d, bn = %d\n",
|
|
Packit |
5c3484 |
test, (int) an, (int) bn);
|
|
Packit |
5c3484 |
if (pp[-1] != p_before)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
printf ("before pp:"); mpn_dump (pp -1, 1);
|
|
Packit |
5c3484 |
printf ("keep: "); mpn_dump (&p_before, 1);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
if (pp[an + bn] != p_after)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
printf ("after pp:"); mpn_dump (pp + an + bn, 1);
|
|
Packit |
5c3484 |
printf ("keep: "); mpn_dump (&p_after, 1);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
if (scratch[-1] != s_before)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
printf ("before scratch:"); mpn_dump (scratch-1, 1);
|
|
Packit |
5c3484 |
printf ("keep: "); mpn_dump (&s_before, 1);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
if (scratch[itch] != s_after)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
printf ("after scratch:"); mpn_dump (scratch + itch, 1);
|
|
Packit |
5c3484 |
printf ("keep: "); mpn_dump (&s_after, 1);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
mpn_dump (ap, an);
|
|
Packit |
5c3484 |
mpn_dump (bp, bn);
|
|
Packit |
5c3484 |
mpn_dump (pp, an + bn);
|
|
Packit |
5c3484 |
mpn_dump (refp, an + bn);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
abort();
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
TMP_FREE;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
tests_end ();
|
|
Packit |
5c3484 |
return 0;
|
|
Packit |
5c3484 |
}
|