|
Packit |
5c3484 |
/* Test mpf_set, mpf_init_set.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
Copyright 2004, 2012 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 |
void
|
|
Packit |
5c3484 |
check_reuse (void)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
/* Try mpf_set(f,f) when f is bigger than prec. In the past this had
|
|
Packit |
5c3484 |
resulted in an MPN_COPY with invalid operand overlap. */
|
|
Packit |
5c3484 |
mpf_t f;
|
|
Packit |
5c3484 |
mp_size_t limbs = 20;
|
|
Packit |
5c3484 |
unsigned long bits = limbs * GMP_NUMB_BITS;
|
|
Packit |
5c3484 |
mpf_init2 (f, bits);
|
|
Packit |
5c3484 |
refmpf_fill (f, limbs, GMP_NUMB_MAX);
|
|
Packit |
5c3484 |
mpf_set_prec_raw (f, bits / 2);
|
|
Packit |
5c3484 |
mpf_set (f, f);
|
|
Packit |
5c3484 |
MPF_CHECK_FORMAT (f);
|
|
Packit |
5c3484 |
mpf_set_prec_raw (f, bits);
|
|
Packit |
5c3484 |
mpf_clear (f);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
void
|
|
Packit |
5c3484 |
check_random (long reps)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
unsigned long test;
|
|
Packit |
5c3484 |
gmp_randstate_ptr rands;
|
|
Packit |
5c3484 |
mpf_t a, b;
|
|
Packit |
5c3484 |
mpz_t z;
|
|
Packit |
5c3484 |
int precbits;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
#define PRECBITS 10
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
rands = RANDS;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mpz_init (z);
|
|
Packit |
5c3484 |
mpf_init2 (a, 1 << PRECBITS);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
for (test = 0; test < reps; test++)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_urandomb (z, rands, PRECBITS + 1);
|
|
Packit |
5c3484 |
precbits = mpz_get_ui (z) + 1;
|
|
Packit |
5c3484 |
mpz_urandomb (z, rands, precbits);
|
|
Packit |
5c3484 |
mpz_setbit (z, precbits - 1); /* make sure msb is set */
|
|
Packit |
5c3484 |
mpf_set_z (a, z);
|
|
Packit |
5c3484 |
if (precbits & 1)
|
|
Packit |
5c3484 |
mpf_neg (a, a);
|
|
Packit |
5c3484 |
mpz_urandomb (z, rands, PRECBITS);
|
|
Packit |
5c3484 |
mpf_div_2exp (a, a, mpz_get_ui (z) + 1);
|
|
Packit |
5c3484 |
mpz_urandomb (z, rands, PRECBITS);
|
|
Packit |
5c3484 |
precbits -= mpz_get_ui (z);
|
|
Packit |
5c3484 |
if (precbits <= 0)
|
|
Packit |
5c3484 |
precbits = 1 - precbits;
|
|
Packit |
5c3484 |
mpf_set_default_prec (precbits);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mpf_init_set (b, a);
|
|
Packit |
5c3484 |
MPF_CHECK_FORMAT (b);
|
|
Packit |
5c3484 |
if (!mpf_eq (a, b, precbits))
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
printf ("mpf_init_set wrong.\n");
|
|
Packit |
5c3484 |
abort();
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mpf_set_ui (b, 0);
|
|
Packit |
5c3484 |
mpf_set (b, a);
|
|
Packit |
5c3484 |
MPF_CHECK_FORMAT (b);
|
|
Packit |
5c3484 |
if (!mpf_eq (a, b, precbits))
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
printf ("mpf_set wrong.\n");
|
|
Packit |
5c3484 |
abort();
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mpf_clear (b);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mpf_clear (a);
|
|
Packit |
5c3484 |
mpz_clear (z);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
int
|
|
Packit |
5c3484 |
main (int argc, char *argv[])
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
long reps = 10000;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
tests_start ();
|
|
Packit |
5c3484 |
TESTS_REPS (reps, argv, argc);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
check_reuse ();
|
|
Packit |
5c3484 |
check_random (reps);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
tests_end ();
|
|
Packit |
5c3484 |
exit (0);
|
|
Packit |
5c3484 |
}
|