Return to t-set_f.c CVS log

Up to [local] / OpenXM_contrib / gmp / tests / mpz

Annotation of OpenXM_contrib/gmp/tests/mpz/t-set_f.c, Revision 1.1.1.1

1.1       ohara       1: /* Test mpz_set_f.
                      2:
                      3: Copyright 2001 Free Software Foundation, Inc.
                      4:
                      5: This file is part of the GNU MP Library.
                      6:
                      7: The GNU MP Library is free software; you can redistribute it and/or modify
                      8: it under the terms of the GNU Lesser General Public License as published by
                      9: the Free Software Foundation; either version 2.1 of the License, or (at your
                     10: option) any later version.
                     11:
                     12: The GNU MP Library is distributed in the hope that it will be useful, but
                     13: WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
                     14: or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
                     15: License for more details.
                     16:
                     17: You should have received a copy of the GNU Lesser General Public License
                     18: along with the GNU MP Library; see the file COPYING.LIB.  If not, write to
                     19: the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
                     20: MA 02111-1307, USA. */
                     21:
                     22: #include <stdio.h>
                     23: #include <stdlib.h>
                     24: #include "gmp.h"
                     25: #include "gmp-impl.h"
                     26: #include "tests.h"
                     27:
                     28:
                     29: void
                     30: check_one (mpz_srcptr z)
                     31: {
                     32:   static const int shift[] = {
                     33:     0, 1, BITS_PER_MP_LIMB, 2*BITS_PER_MP_LIMB, 5*BITS_PER_MP_LIMB
                     34:   };
                     35:
                     36:   int    sh, shneg, neg;
                     37:   mpf_t  f;
                     38:   mpz_t  got, want;
                     39:
                     40:   mpf_init2 (f, mpz_sizeinbase(z,2));
                     41:   mpz_init (got);
                     42:   mpz_init (want);
                     43:
                     44:   for (sh = 0; sh < numberof(shift); sh++)
                     45:     {
                     46:       for (shneg = 0; shneg <= 1; shneg++)
                     47:         {
                     48:           for (neg = 0; neg <= 1; neg++)
                     49:             {
                     50:               mpf_set_z (f, z);
                     51:               mpz_set (want, z);
                     52:
                     53:               if (neg)
                     54:                 {
                     55:                   mpf_neg (f, f);
                     56:                   mpz_neg (want, want);
                     57:                 }
                     58:
                     59:               if (shneg)
                     60:                 {
                     61:                   mpz_tdiv_q_2exp (want, want, shift[sh]);
                     62:                   mpf_div_2exp (f, f, shift[sh]);
                     63:                 }
                     64:               else
                     65:                 {
                     66:                   mpz_mul_2exp (want, want, shift[sh]);
                     67:                   mpf_mul_2exp (f, f, shift[sh]);
                     68:                 }
                     69:
                     70:               mpz_set_f (got, f);
                     71:               MPZ_CHECK_FORMAT (got);
                     72:
                     73:               if (mpz_cmp (got, want) != 0)
                     74:                 {
                     75:                   printf ("wrong result\n");
                     76:                   printf ("  shift  %d\n", shneg ? -shift[sh] : shift[sh]);
                     77:                   printf ("  neg    %d\n", neg);
                     78:                   mpf_trace ("     f", f);
                     79:                   mpz_trace ("   got", got);
                     80:                   mpz_trace ("  want", want);
                     81:                   abort ();
                     82:                 }
                     83:             }
                     84:         }
                     85:     }
                     86:
                     87:   mpf_clear (f);
                     88:   mpz_clear (got);
                     89:   mpz_clear (want);
                     90: }
                     91:
                     92:
                     93: void
                     94: check_various (void)
                     95: {
                     96:   mpz_t  z;
                     97:
                     98:   mpz_init (z);
                     99:
                    100:   mpz_set_ui (z, 0L);
                    101:   check_one (z);
                    102:
                    103:   mpz_set_si (z, 123L);
                    104:   check_one (z);
                    105:
                    106:   mpz_rrandomb (z, RANDS, 2*BITS_PER_MP_LIMB);
                    107:   check_one (z);
                    108:
                    109:   mpz_rrandomb (z, RANDS, 5*BITS_PER_MP_LIMB);
                    110:   check_one (z);
                    111:
                    112:   mpz_clear (z);
                    113: }
                    114:
                    115:
                    116: int
                    117: main (int argc, char *argv[])
                    118: {
                    119: #if GMP_NAIL_BITS == 0
                    120:   tests_start ();
                    121:   mp_trace_base = 16;
                    122:
                    123:   check_various ();
                    124:
                    125:   tests_end ();
                    126: #endif
                    127:   exit (0);
                    128: }