Blame tests/mpz/t-powm_ui.c

Packit 5c3484
/* Test mpz_powm_ui, mpz_mul, mpz_mod.
Packit 5c3484
Packit 5c3484
Copyright 1991, 1993, 1994, 1996, 1997, 2000-2002, 2013 Free Software
Packit 5c3484
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
Packit 5c3484
#include "gmp.h"
Packit 5c3484
#include "gmp-impl.h"
Packit 5c3484
#include "tests.h"
Packit 5c3484
Packit 5c3484
int
Packit 5c3484
main (int argc, char **argv)
Packit 5c3484
{
Packit 5c3484
  mpz_t base, exp, mod;
Packit 5c3484
  mpz_t r1, r2, base2;
Packit 5c3484
  mp_size_t base_size, exp_size, mod_size;
Packit 5c3484
  unsigned long int exp2;
Packit 5c3484
  int i;
Packit 5c3484
  int reps = 100;
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
  rands = RANDS;
Packit 5c3484
Packit 5c3484
  TESTS_REPS (reps, argv, argc);
Packit 5c3484
Packit 5c3484
  mpz_inits (bs, base, exp, mod, r1, r2, base2, NULL);
Packit 5c3484
Packit 5c3484
  for (i = 0; i < reps; i++)
Packit 5c3484
    {
Packit 5c3484
      mpz_urandomb (bs, rands, 32);
Packit 5c3484
      size_range = mpz_get_ui (bs) % 18 + 2;
Packit 5c3484
Packit 5c3484
      do  /* Loop until mathematically well-defined.  */
Packit 5c3484
	{
Packit 5c3484
	  mpz_urandomb (bs, rands, size_range);
Packit 5c3484
	  base_size = mpz_get_ui (bs);
Packit 5c3484
	  mpz_rrandomb (base, rands, base_size);
Packit 5c3484
Packit 5c3484
	  mpz_urandomb (bs, rands, 6L);
Packit 5c3484
	  exp_size = mpz_get_ui (bs);
Packit 5c3484
	  mpz_rrandomb (exp, rands, exp_size);
Packit 5c3484
	  exp2 = mpz_getlimbn (exp, (mp_size_t) 0);
Packit 5c3484
	}
Packit 5c3484
      while (mpz_cmp_ui (base, 0) == 0 && exp2 == 0);
Packit 5c3484
Packit 5c3484
      do
Packit 5c3484
        {
Packit 5c3484
	  mpz_urandomb (bs, rands, size_range);
Packit 5c3484
	  mod_size = mpz_get_ui (bs);
Packit 5c3484
	  mpz_rrandomb (mod, rands, mod_size);
Packit 5c3484
	}
Packit 5c3484
      while (mpz_cmp_ui (mod, 0) == 0);
Packit 5c3484
Packit 5c3484
      mpz_urandomb (bs, rands, 2);
Packit 5c3484
      bsi = mpz_get_ui (bs);
Packit 5c3484
      if ((bsi & 1) != 0)
Packit 5c3484
	mpz_neg (base, base);
Packit 5c3484
Packit 5c3484
      /* printf ("%ld %ld\n", SIZ (base), SIZ (mod)); */
Packit 5c3484
Packit 5c3484
#if 0
Packit 5c3484
      putc ('\n', stderr);
Packit 5c3484
      gmp_fprintf (stderr, "B = 0x%Zx\n", base);
Packit 5c3484
      gmp_fprintf (stderr, "M = 0x%Zx\n", mod);
Packit 5c3484
#endif
Packit 5c3484
Packit 5c3484
      exp2 = mpz_getlimbn (exp, (mp_size_t) 0);
Packit 5c3484
      mpz_set_ui (r2, 1);
Packit 5c3484
      mpz_set (base2, base);
Packit 5c3484
      mpz_mod (r2, r2, mod);	/* needed when exp==0 and mod==1 */
Packit 5c3484
      while (exp2 != 0)
Packit 5c3484
	{
Packit 5c3484
	  if (exp2 % 2 != 0)
Packit 5c3484
	    {
Packit 5c3484
	      mpz_mul (r2, r2, base2);
Packit 5c3484
	      mpz_mod (r2, r2, mod);
Packit 5c3484
	    }
Packit 5c3484
	  mpz_mul (base2, base2, base2);
Packit 5c3484
	  mpz_mod (base2, base2, mod);
Packit 5c3484
	  exp2 = exp2 / 2;
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      exp2 = mpz_getlimbn (exp, (mp_size_t) 0);
Packit 5c3484
      mpz_powm_ui (r1, base, exp2, mod);
Packit 5c3484
      MPZ_CHECK_FORMAT (r1);
Packit 5c3484
Packit 5c3484
#if 0
Packit 5c3484
      gmp_fprintf (stderr, "R   = 0x%Zx\n", r1);
Packit 5c3484
      gmp_fprintf (stderr, "REF = 0x%Zx\n", r2);
Packit 5c3484
#endif
Packit 5c3484
Packit 5c3484
      if (mpz_cmp (r1, r2) != 0)
Packit 5c3484
	{
Packit 5c3484
	  fprintf (stderr, "\ntest %d: Incorrect results for operands:\n", i);
Packit 5c3484
	  gmp_fprintf (stderr, "B = 0x%Zx\n", base);
Packit 5c3484
	  gmp_fprintf (stderr, "E = 0x%Zx\n", exp);
Packit 5c3484
	  gmp_fprintf (stderr, "M = 0x%Zx\n", mod);
Packit 5c3484
	  gmp_fprintf (stderr, "R   = 0x%Zx\n", r1);
Packit 5c3484
	  gmp_fprintf (stderr, "REF = 0x%Zx\n", r2);
Packit 5c3484
	  abort ();
Packit 5c3484
	}
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  mpz_clears (bs, base, exp, mod, r1, r2, base2, NULL);
Packit 5c3484
Packit 5c3484
  tests_end ();
Packit 5c3484
  exit (0);
Packit 5c3484
}