summaryrefslogtreecommitdiff
path: root/tests/mpf/t-set.c
blob: ff79b23813f7592dceea2e3b5d248ae340cb4b22 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
/* Test mpf_set, mpf_init_set.

Copyright 2004, 2012 Free Software Foundation, Inc.

This file is part of the GNU MP Library.

The GNU MP Library is free software; you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation; either version 3 of the License, or (at your
option) any later version.

The GNU MP Library is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
License for more details.

You should have received a copy of the GNU Lesser General Public License
along with the GNU MP Library.  If not, see http://www.gnu.org/licenses/.  */

#include <stdio.h>
#include <stdlib.h>
#include "gmp.h"
#include "gmp-impl.h"
#include "tests.h"

void
check_reuse (void)
{
  /* Try mpf_set(f,f) when f is bigger than prec.  In the past this had
     resulted in an MPN_COPY with invalid operand overlap. */
  mpf_t  f;
  mp_size_t      limbs = 20;
  unsigned long  bits = limbs * GMP_NUMB_BITS;
  mpf_init2 (f, bits);
  refmpf_fill (f, limbs, GMP_NUMB_MAX);
  mpf_set_prec_raw (f, bits / 2);
  mpf_set (f, f);
  MPF_CHECK_FORMAT (f);
  mpf_set_prec_raw (f, bits);
  mpf_clear (f);
}

void
check_random (long reps)
{
  unsigned long test;
  gmp_randstate_ptr rands;
  mpf_t a, b;
  mpz_t z;
  int precbits;

#define PRECBITS 10

  rands = RANDS;

  mpz_init (z);
  mpf_init2 (a, 1 << PRECBITS);

  for (test = 0; test < reps; test++)
    {
      mpz_urandomb (z, rands, PRECBITS);
      precbits = mpz_get_ui (z) + 1;
      mpz_urandomb (z, rands, precbits);
      mpz_setbit (z, precbits  - 1);	/* make sure msb is set */
      mpf_set_z (a, z);
      mpz_urandomb (z, rands, PRECBITS);
      mpf_div_2exp (a, a, mpz_get_ui (z) + 1);
      mpz_urandomb (z, rands, PRECBITS);
      precbits -= mpz_get_ui (z);
      if (precbits <= 0)
	precbits = 1 - precbits;
      mpf_set_default_prec (precbits);

      mpf_init_set (b, a);
      MPF_CHECK_FORMAT (b);
      if (!mpf_eq (a, b, precbits))
	{
	  printf ("mpf_init_set wrong.\n");
	  abort();
	}

      mpf_set_ui (b, 0);
      mpf_set (b, a);
      MPF_CHECK_FORMAT (b);
      if (!mpf_eq (a, b, precbits))
	{
	  printf ("mpf_set wrong.\n");
	  abort();
	}

      mpf_clear (b);
    }

  mpf_clear (a);
  mpz_clear (z);
}

int
main (int argc, char *argv[])
{
  long reps = 10000;

  if (argc == 2)
    reps = strtol (argv[1], 0, 0);

  tests_start ();

  check_reuse ();
  check_random (reps);

  tests_end ();
  exit (0);
}