Blame tests/mpz/t-get_si.c

Packit 5c3484
/* Exercise mpz_get_si.
Packit 5c3484
Packit 5c3484
Copyright 2000, 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
#include "gmp.h"
Packit 5c3484
#include "gmp-impl.h"
Packit 5c3484
#include "tests.h"
Packit 5c3484
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
check_data (void)
Packit 5c3484
{
Packit 5c3484
  static const struct {
Packit 5c3484
    const char  *n;
Packit 5c3484
    long        want;
Packit 5c3484
  } data[] = {
Packit 5c3484
    { "0",      0L },
Packit 5c3484
    { "1",      1L },
Packit 5c3484
    { "-1",     -1L },
Packit 5c3484
    { "2",      2L },
Packit 5c3484
    { "-2",     -2L },
Packit 5c3484
    { "12345",  12345L },
Packit 5c3484
    { "-12345", -12345L },
Packit 5c3484
  };
Packit 5c3484
Packit 5c3484
  int    i;
Packit 5c3484
  mpz_t  n;
Packit 5c3484
  long   got;
Packit 5c3484
Packit 5c3484
  mpz_init (n);
Packit 5c3484
  for (i = 0; i < numberof (data); i++)
Packit 5c3484
    {
Packit 5c3484
      mpz_set_str_or_abort (n, data[i].n, 0);
Packit 5c3484
Packit 5c3484
      got = mpz_get_si (n);
Packit 5c3484
      if (got != data[i].want)
Packit 5c3484
	{
Packit 5c3484
	  printf ("mpz_get_si wrong at data[%d]\n", i);
Packit 5c3484
	  printf ("   n     \"%s\" (", data[i].n);
Packit 5c3484
	  mpz_out_str (stdout, 10, n); printf (", hex ");
Packit 5c3484
	  mpz_out_str (stdout, 16, n); printf (")\n");
Packit 5c3484
	  printf ("   got   %ld (0x%lX)\n", got, got);
Packit 5c3484
	  printf ("   want  %ld (0x%lX)\n", data[i].want, data[i].want);
Packit 5c3484
	  abort();
Packit 5c3484
	}
Packit 5c3484
    }
Packit 5c3484
  mpz_clear (n);
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
check_max (void)
Packit 5c3484
{
Packit 5c3484
  mpz_t  n;
Packit 5c3484
  long   want;
Packit 5c3484
  long   got;
Packit 5c3484
Packit 5c3484
  mpz_init (n);
Packit 5c3484
Packit 5c3484
#define CHECK_MAX(name)                                 \
Packit 5c3484
  if (got != want)                                      \
Packit 5c3484
    {                                                   \
Packit 5c3484
      printf ("mpz_get_si wrong on %s\n", name);        \
Packit 5c3484
      printf ("   n    ");                              \
Packit 5c3484
      mpz_out_str (stdout, 10, n); printf (", hex ");   \
Packit 5c3484
      mpz_out_str (stdout, 16, n); printf ("\n");       \
Packit 5c3484
      printf ("   got  %ld, hex %lX\n", got, got);      \
Packit 5c3484
      printf ("   want %ld, hex %lX\n", want, want);    \
Packit 5c3484
      abort();                                          \
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  want = LONG_MAX;
Packit 5c3484
  mpz_set_si (n, want);
Packit 5c3484
  got = mpz_get_si (n);
Packit 5c3484
  CHECK_MAX ("LONG_MAX");
Packit 5c3484
Packit 5c3484
  want = LONG_MIN;
Packit 5c3484
  mpz_set_si (n, want);
Packit 5c3484
  got = mpz_get_si (n);
Packit 5c3484
  CHECK_MAX ("LONG_MIN");
Packit 5c3484
Packit 5c3484
  /* The following checks that -0x100000000 gives -0x80000000.  This doesn't
Packit 5c3484
     actually fit in a long and the result from mpz_get_si() is undefined,
Packit 5c3484
     but -0x80000000 is what comes out currently, and it should be that
Packit 5c3484
     value irrespective of the mp_limb_t size (long or long long).  */
Packit 5c3484
Packit 5c3484
  want = LONG_MIN;
Packit 5c3484
  mpz_mul_2exp (n, n, 1);
Packit 5c3484
  CHECK_MAX ("-0x100...00");
Packit 5c3484
Packit 5c3484
  mpz_clear (n);
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
Packit 5c3484
int
Packit 5c3484
main (void)
Packit 5c3484
{
Packit 5c3484
  tests_start ();
Packit 5c3484
Packit 5c3484
  check_data ();
Packit 5c3484
  check_max ();
Packit 5c3484
Packit 5c3484
  tests_end ();
Packit 5c3484
  exit (0);
Packit 5c3484
}