Blame mini-gmp/tests/t-mul.c

Packit 5c3484
/*
Packit 5c3484
Packit 5c3484
Copyright 2012, 2014, 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 <limits.h>
Packit 5c3484
#include <stdlib.h>
Packit 5c3484
#include <stdio.h>
Packit 5c3484
#include <string.h>
Packit 5c3484
Packit 5c3484
#include "testutils.h"
Packit 5c3484
Packit 5c3484
#define MAXBITS 400
Packit 5c3484
#define COUNT 10000
Packit 5c3484
Packit 5c3484
#define GMP_LIMB_BITS (sizeof(mp_limb_t) * CHAR_BIT)
Packit 5c3484
#define MAXLIMBS ((MAXBITS + GMP_LIMB_BITS - 1) / GMP_LIMB_BITS)
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
testmain (int argc, char **argv)
Packit 5c3484
{
Packit 5c3484
  unsigned i;
Packit 5c3484
  mpz_t a, b, res, res_ui, ref, tz;
Packit 5c3484
  mp_limb_t t[2*MAXLIMBS];
Packit 5c3484
  mp_size_t an;
Packit 5c3484
Packit 5c3484
  mpz_init (a);
Packit 5c3484
  mpz_init (b);
Packit 5c3484
  mpz_init (res);
Packit 5c3484
  mpz_init (res_ui);
Packit 5c3484
  mpz_init (ref);
Packit 5c3484
Packit 5c3484
  for (i = 0; i < COUNT; i++)
Packit 5c3484
    {
Packit 5c3484
      mini_random_op3 (OP_MUL, MAXBITS, a, b, ref);
Packit 5c3484
      mpz_mul (res, a, b);
Packit 5c3484
      if (mpz_cmp (res, ref))
Packit 5c3484
	{
Packit 5c3484
	  fprintf (stderr, "mpz_mul failed:\n");
Packit 5c3484
	  dump ("a", a);
Packit 5c3484
	  dump ("b", b);
Packit 5c3484
	  dump ("r", res);
Packit 5c3484
	  dump ("ref", ref);
Packit 5c3484
	  abort ();
Packit 5c3484
	}
Packit 5c3484
      if (mpz_size (a) == mpz_size (b))
Packit 5c3484
	{
Packit 5c3484
	  memset (t, 0x55, sizeof(t));
Packit 5c3484
	  an = mpz_size (a);
Packit 5c3484
	  if (an > 0)
Packit 5c3484
	    {
Packit 5c3484
	      mpn_mul_n (t, a->_mp_d, b->_mp_d, an);
Packit 5c3484
Packit 5c3484
	      mpz_roinit_n (tz, t, 2*an);
Packit 5c3484
	      if (mpz_cmpabs (tz, ref))
Packit 5c3484
		{
Packit 5c3484
		  fprintf (stderr, "mpn_mul_n failed:\n");
Packit 5c3484
		  dump ("a", a);
Packit 5c3484
		  dump ("b", b);
Packit 5c3484
		  dump ("ref", ref);
Packit 5c3484
		  abort ();
Packit 5c3484
		}
Packit 5c3484
	    }
Packit 5c3484
	}
Packit 5c3484
      if (mpz_fits_slong_p (b)) {
Packit 5c3484
	mpz_mul_si (res_ui, a, mpz_get_si (b));
Packit 5c3484
	if (mpz_cmp (res_ui, ref))
Packit 5c3484
	  {
Packit 5c3484
	    fprintf (stderr, "mpz_mul_si failed:\n");
Packit 5c3484
	    dump ("a", a);
Packit 5c3484
	    dump ("b", b);
Packit 5c3484
	    dump ("r", res_ui);
Packit 5c3484
	    dump ("ref", ref);
Packit 5c3484
	    abort ();
Packit 5c3484
	  }
Packit 5c3484
      }
Packit 5c3484
      mini_random_op2 (OP_SQR, MAXBITS, a, ref);
Packit 5c3484
      an = mpz_size (a);
Packit 5c3484
      if (an > 0)
Packit 5c3484
	{
Packit 5c3484
	  memset (t, 0x33, sizeof(t));
Packit 5c3484
	  mpn_sqr (t, mpz_limbs_read (a), an);
Packit 5c3484
Packit 5c3484
	  mpz_roinit_n (tz, t, 2*an);
Packit 5c3484
	  if (mpz_cmp (tz, ref))
Packit 5c3484
	    {
Packit 5c3484
	      fprintf (stderr, "mpn (squaring) failed:\n");
Packit 5c3484
	      dump ("a", a);
Packit 5c3484
	      dump ("ref", ref);
Packit 5c3484
	      abort ();
Packit 5c3484
	    }
Packit 5c3484
	}
Packit 5c3484
    }
Packit 5c3484
  mpz_clear (a);
Packit 5c3484
  mpz_clear (b);
Packit 5c3484
  mpz_clear (res);
Packit 5c3484
  mpz_clear (res_ui);
Packit 5c3484
  mpz_clear (ref);
Packit 5c3484
}