Blame tests/mpz/t-pow.c

Packit 5c3484
/* Test mpz_pow_ui and mpz_ui_pow_ui.
Packit 5c3484
Packit 5c3484
Copyright 1997, 1999-2001 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
Packit 5c3484
#include "gmp.h"
Packit 5c3484
#include "gmp-impl.h"
Packit 5c3484
#include "tests.h"
Packit 5c3484
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
check_one (mpz_srcptr want, mpz_srcptr base, unsigned long exp)
Packit 5c3484
{
Packit 5c3484
  mpz_t  got;
Packit 5c3484
Packit 5c3484
  mpz_init (got);
Packit 5c3484
Packit 5c3484
  MPZ_CHECK_FORMAT (want);
Packit 5c3484
Packit 5c3484
  mpz_pow_ui (got, base, exp);
Packit 5c3484
  if (mpz_cmp (got, want))
Packit 5c3484
    {
Packit 5c3484
      printf ("mpz_pow_ui wrong\n");
Packit 5c3484
      mpz_trace ("  base", base);
Packit 5c3484
      printf    ("  exp = %lu (0x%lX)\n", exp, exp);
Packit 5c3484
      mpz_trace ("  got ", got);
Packit 5c3484
      mpz_trace ("  want", want);
Packit 5c3484
      abort ();
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  mpz_set (got, base);
Packit 5c3484
  mpz_pow_ui (got, got, exp);
Packit 5c3484
  if (mpz_cmp (got, want))
Packit 5c3484
    {
Packit 5c3484
      printf ("mpz_pow_ui wrong\n");
Packit 5c3484
      mpz_trace ("  base", base);
Packit 5c3484
      printf    ("  exp = %lu (0x%lX)\n", exp, exp);
Packit 5c3484
      mpz_trace ("  got ", got);
Packit 5c3484
      mpz_trace ("  want", want);
Packit 5c3484
      abort ();
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  if (mpz_fits_ulong_p (base))
Packit 5c3484
    {
Packit 5c3484
      unsigned long  base_u = mpz_get_ui (base);
Packit 5c3484
      mpz_ui_pow_ui (got, base_u, exp);
Packit 5c3484
      if (mpz_cmp (got, want))
Packit 5c3484
	{
Packit 5c3484
	  printf    ("mpz_ui_pow_ui wrong\n");
Packit 5c3484
	  printf    ("  base=%lu (0x%lX)\n", base_u, base_u);
Packit 5c3484
	  printf    ("  exp = %lu (0x%lX)\n", exp, exp);
Packit 5c3484
	  mpz_trace ("  got ", got);
Packit 5c3484
	  mpz_trace ("  want", want);
Packit 5c3484
	  abort ();
Packit 5c3484
	}
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  mpz_clear (got);
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
check_base (mpz_srcptr base)
Packit 5c3484
{
Packit 5c3484
  unsigned long  exp;
Packit 5c3484
  mpz_t          want;
Packit 5c3484
Packit 5c3484
  mpz_init (want);
Packit 5c3484
  mpz_set_ui (want, 1L);
Packit 5c3484
Packit 5c3484
  for (exp = 0; exp < 20; exp++)
Packit 5c3484
    {
Packit 5c3484
      check_one (want, base, exp);
Packit 5c3484
      mpz_mul (want, want, base);
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  mpz_clear (want);
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
check_various (void)
Packit 5c3484
{
Packit 5c3484
  static const struct {
Packit 5c3484
    const char *base;
Packit 5c3484
  } data[] = {
Packit 5c3484
    { "0" },
Packit 5c3484
    { "1" },
Packit 5c3484
    { "2" },
Packit 5c3484
    { "3" },
Packit 5c3484
    { "4" },
Packit 5c3484
    { "5" },
Packit 5c3484
    { "6" },
Packit 5c3484
    { "10" },
Packit 5c3484
    { "15" },
Packit 5c3484
    { "16" },
Packit 5c3484
Packit 5c3484
    { "0x1F" },
Packit 5c3484
    { "0xFF" },
Packit 5c3484
    { "0x1001" },
Packit 5c3484
    { "0xFFFF" },
Packit 5c3484
    { "0x10000001" },
Packit 5c3484
    { "0x1000000000000001" },
Packit 5c3484
Packit 5c3484
    /* actual size closest to estimate */
Packit 5c3484
    { "0xFFFFFFFF" },
Packit 5c3484
    { "0xFFFFFFFFFFFFFFFF" },
Packit 5c3484
Packit 5c3484
    /* same after rshift */
Packit 5c3484
    { "0xFFFFFFFF0" },
Packit 5c3484
    { "0xFFFFFFFF00" },
Packit 5c3484
    { "0xFFFFFFFFFFFFFFFF0" },
Packit 5c3484
    { "0xFFFFFFFFFFFFFFFF00" },
Packit 5c3484
Packit 5c3484
    /* change from 2 limbs to 1 after rshift */
Packit 5c3484
    { "0x180000000" },
Packit 5c3484
    { "0x18000000000000000" },
Packit 5c3484
Packit 5c3484
    /* change from 3 limbs to 2 after rshift */
Packit 5c3484
    { "0x18000000100000000" },
Packit 5c3484
    { "0x180000000000000010000000000000000" },
Packit 5c3484
Packit 5c3484
    /* handling of absolute value */
Packit 5c3484
    { "-0x80000000" },
Packit 5c3484
    { "-0x8000000000000000" },
Packit 5c3484
Packit 5c3484
    /* low zero limb, and size>2, checking argument overlap detection */
Packit 5c3484
    { "0x3000000000000000300000000000000030000000000000000" },
Packit 5c3484
  };
Packit 5c3484
Packit 5c3484
  mpz_t  base;
Packit 5c3484
  int    i;
Packit 5c3484
Packit 5c3484
  mpz_init (base);
Packit 5c3484
Packit 5c3484
  for (i = 0; i < numberof (data); i++)
Packit 5c3484
    {
Packit 5c3484
      mpz_set_str_or_abort (base, data[i].base, 0);
Packit 5c3484
      check_base (base);
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  mpz_clear (base);
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
check_random (int reps)
Packit 5c3484
{
Packit 5c3484
  mpz_t              base, want;
Packit 5c3484
  mp_size_t          base_size;
Packit 5c3484
  int                i;
Packit 5c3484
  unsigned long      size_range, exp;
Packit 5c3484
  gmp_randstate_ptr  rands = RANDS;
Packit 5c3484
Packit 5c3484
  mpz_init (base);
Packit 5c3484
  mpz_init (want);
Packit 5c3484
Packit 5c3484
  for (i = 0; i < reps; i++)
Packit 5c3484
    {
Packit 5c3484
      /* exponentially random 0 to 2^13 bits for base */
Packit 5c3484
      mpz_urandomb (want, rands, 32);
Packit 5c3484
      size_range = mpz_get_ui (want) % 12 + 2;
Packit 5c3484
      mpz_urandomb (want, rands, size_range);
Packit 5c3484
      base_size = mpz_get_ui (want);
Packit 5c3484
      mpz_rrandomb (base, rands, base_size);
Packit 5c3484
Packit 5c3484
      /* randomly signed base */
Packit 5c3484
      mpz_urandomb (want, rands, 2);
Packit 5c3484
      if ((mpz_get_ui (want) & 1) != 0)
Packit 5c3484
	mpz_neg (base, base);
Packit 5c3484
Packit 5c3484
      /* random 5 bits for exponent */
Packit 5c3484
      mpz_urandomb (want, rands, 5L);
Packit 5c3484
      exp = mpz_get_ui (want);
Packit 5c3484
Packit 5c3484
      refmpz_pow_ui (want, base, exp);
Packit 5c3484
      check_one (want, base, exp);
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  mpz_clear (base);
Packit 5c3484
  mpz_clear (want);
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
int
Packit 5c3484
main (int argc, char **argv)
Packit 5c3484
{
Packit 5c3484
  int reps = 5000;
Packit 5c3484
Packit 5c3484
  /* dummy call to drag in refmpn.o for testing mpz/n_pow_ui.c with
Packit 5c3484
     refmpn_mul_2 */
Packit 5c3484
  refmpn_zero_p (NULL, (mp_size_t) 0);
Packit 5c3484
Packit 5c3484
  tests_start ();
Packit 5c3484
  mp_trace_base = -16;
Packit 5c3484
Packit 5c3484
  if (argc == 2)
Packit 5c3484
     reps = atoi (argv[1]);
Packit 5c3484
Packit 5c3484
  check_various ();
Packit 5c3484
  check_random (reps);
Packit 5c3484
Packit 5c3484
  tests_end ();
Packit 5c3484
  exit (0);
Packit 5c3484
}