Blame tests/mpf/t-pow_ui.c

Packit 5c3484
/* Test mpf_pow_ui
Packit 5c3484
Packit 5c3484
Copyright 2015 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
void
Packit 5c3484
check_data (void)
Packit 5c3484
{
Packit 5c3484
  unsigned int b, e;
Packit 5c3484
  mpf_t b1, r, r2, limit;
Packit 5c3484
Packit 5c3484
  mpf_inits (b1, r, r2, NULL);
Packit 5c3484
  mpf_init_set_ui (limit, 1);
Packit 5c3484
  mpf_mul_2exp (limit, limit, MAX (GMP_NUMB_BITS, 53)); 
Packit 5c3484
Packit 5c3484
  /* This test just test integers with results that fit in a single
Packit 5c3484
     limb or 53 bits.  This avoids any rounding.  */
Packit 5c3484
Packit 5c3484
  for (b = 0; b <= 400; b++)
Packit 5c3484
    {
Packit 5c3484
      mpf_set_ui (b1, b);
Packit 5c3484
      mpf_set_ui (r2, 1);
Packit 5c3484
      for (e = 0; e <= GMP_LIMB_BITS; e++)
Packit 5c3484
	{
Packit 5c3484
	  mpf_pow_ui (r, b1, e);
Packit 5c3484
Packit 5c3484
	  if (mpf_cmp (r, r2))
Packit 5c3484
	    abort ();
Packit 5c3484
Packit 5c3484
	  mpf_mul_ui (r2, r2, b);
Packit 5c3484
Packit 5c3484
	  if (mpf_cmp (r2, limit) >= 0)
Packit 5c3484
	    break;
Packit 5c3484
	}
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  mpf_clears (b1, r, r2, limit, NULL);
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
int
Packit 5c3484
main (int argc, char **argv)
Packit 5c3484
{
Packit 5c3484
  tests_start ();
Packit 5c3484
Packit 5c3484
  check_data ();
Packit 5c3484
Packit 5c3484
  tests_end ();
Packit 5c3484
  exit (0);
Packit 5c3484
}