[BACK]Return to t-pow.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib / gmp / tests / mpz

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

1.1       ohara       1: /* Test mpz_pow_ui and mpz_ui_pow_ui.
                      2:
                      3: Copyright 1997, 1999, 2000, 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:
                     23: #include <stdio.h>
                     24: #include <stdlib.h>
                     25:
                     26: #include "gmp.h"
                     27: #include "gmp-impl.h"
                     28: #include "tests.h"
                     29:
                     30:
                     31: void
                     32: check_one (mpz_srcptr want, mpz_srcptr base, unsigned long exp)
                     33: {
                     34:   mpz_t  got;
                     35:
                     36:   mpz_init (got);
                     37:
                     38:   mpz_pow_ui (got, base, exp);
                     39:   if (mpz_cmp (got, want))
                     40:     {
                     41:       printf ("mpz_pow_ui wrong\n");
                     42:       mpz_trace ("  base", base);
                     43:       printf    ("  exp = %lu (0x%lX)\n", exp, exp);
                     44:       mpz_trace ("  got ", got);
                     45:       mpz_trace ("  want", want);
                     46:       abort ();
                     47:     }
                     48:
                     49:   mpz_set (got, base);
                     50:   mpz_pow_ui (got, got, exp);
                     51:   if (mpz_cmp (got, want))
                     52:     {
                     53:       printf ("mpz_pow_ui wrong\n");
                     54:       mpz_trace ("  base", base);
                     55:       printf    ("  exp = %lu (0x%lX)\n", exp, exp);
                     56:       mpz_trace ("  got ", got);
                     57:       mpz_trace ("  want", want);
                     58:       abort ();
                     59:     }
                     60:
                     61:   if (mpz_fits_ulong_p (base))
                     62:     {
                     63:       unsigned long  base_u = mpz_get_ui (base);
                     64:       mpz_ui_pow_ui (got, base_u, exp);
                     65:       if (mpz_cmp (got, want))
                     66:         {
                     67:           printf    ("mpz_ui_pow_ui wrong\n");
                     68:           printf    ("  base=%lu (0x%lX)\n", base_u, base_u);
                     69:           printf    ("  exp = %lu (0x%lX)\n", exp, exp);
                     70:           mpz_trace ("  got ", got);
                     71:           mpz_trace ("  want", want);
                     72:           abort ();
                     73:         }
                     74:     }
                     75:
                     76:   mpz_clear (got);
                     77: }
                     78:
                     79: void
                     80: check_base (mpz_srcptr base)
                     81: {
                     82:   unsigned long  exp;
                     83:   mpz_t          want;
                     84:
                     85:   mpz_init (want);
                     86:   mpz_set_ui (want, 1L);
                     87:
                     88:   for (exp = 0; exp < 20; exp++)
                     89:     {
                     90:       check_one (want, base, exp);
                     91:       mpz_mul (want, want, base);
                     92:     }
                     93:
                     94:   mpz_clear (want);
                     95: }
                     96:
                     97: void
                     98: check_various (void)
                     99: {
                    100:   static const struct {
                    101:     const char *base;
                    102:   } data[] = {
                    103:     { "0" },
                    104:     { "1" },
                    105:     { "2" },
                    106:     { "3" },
                    107:     { "4" },
                    108:     { "5" },
                    109:     { "6" },
                    110:     { "10" },
                    111:     { "15" },
                    112:     { "16" },
                    113:
                    114:     { "0x1F" },
                    115:     { "0xFF" },
                    116:     { "0x1001" },
                    117:     { "0xFFFF" },
                    118:     { "0x10000001" },
                    119:     { "0x1000000000000001" },
                    120:
                    121:     /* actual size closest to estimate */
                    122:     { "0xFFFFFFFF" },
                    123:     { "0xFFFFFFFFFFFFFFFF" },
                    124:
                    125:     /* same after rshift */
                    126:     { "0xFFFFFFFF0" },
                    127:     { "0xFFFFFFFF00" },
                    128:     { "0xFFFFFFFFFFFFFFFF0" },
                    129:     { "0xFFFFFFFFFFFFFFFF00" },
                    130:
                    131:     /* change from 2 limbs to 1 after rshift */
                    132:     { "0x180000000" },
                    133:     { "0x18000000000000000" },
                    134:
                    135:     /* change from 3 limbs to 2 after rshift */
                    136:     { "0x18000000100000000" },
                    137:     { "0x180000000000000010000000000000000" },
                    138:
                    139:     /* handling of absolute value */
                    140:     { "-0x80000000" },
                    141:     { "-0x8000000000000000" },
                    142:
                    143:     /* low zero limb, and size>2, checking argument overlap detection */
                    144:     { "0x3000000000000000300000000000000030000000000000000" },
                    145:   };
                    146:
                    147:   mpz_t  base;
                    148:   int    i;
                    149:
                    150:   mpz_init (base);
                    151:
                    152:   for (i = 0; i < numberof (data); i++)
                    153:     {
                    154:       mpz_set_str_or_abort (base, data[i].base, 0);
                    155:       check_base (base);
                    156:     }
                    157:
                    158:   mpz_clear (base);
                    159: }
                    160:
                    161: void
                    162: check_random (int reps)
                    163: {
                    164:   mpz_t              base, want;
                    165:   mp_size_t          base_size;
                    166:   int                i;
                    167:   unsigned long      size_range, exp;
                    168:   gmp_randstate_ptr  rands = RANDS;
                    169:
                    170:   mpz_init (base);
                    171:   mpz_init (want);
                    172:
                    173:   for (i = 0; i < reps; i++)
                    174:     {
                    175:       /* exponentially random 0 to 2^13 bits for base */
                    176:       mpz_urandomb (want, rands, 32);
                    177:       size_range = mpz_get_ui (want) % 12 + 2;
                    178:       mpz_urandomb (want, rands, size_range);
                    179:       base_size = mpz_get_ui (want);
                    180:       mpz_rrandomb (base, rands, base_size);
                    181:
                    182:       /* randomly signed base */
                    183:       mpz_urandomb (want, rands, 2);
                    184:       if ((mpz_get_ui (want) & 1) != 0)
                    185:        mpz_neg (base, base);
                    186:
                    187:       /* random 5 bits for exponent */
                    188:       mpz_urandomb (want, rands, 5L);
                    189:       exp = mpz_get_ui (want);
                    190:
                    191:       refmpz_pow_ui (want, base, exp);
                    192:       check_one (want, base, exp);
                    193:     }
                    194:
                    195:   mpz_clear (base);
                    196:   mpz_clear (want);
                    197: }
                    198:
                    199: int
                    200: main (int argc, char **argv)
                    201: {
                    202:   int reps = 500;
                    203:
                    204:   /* dummy call to drag in refmpn.o for testing mpz/n_pow_ui.c with
                    205:      refmpn_mul_2 */
                    206:   refmpn_zero_p (NULL, (mp_size_t) 0);
                    207:
                    208:   tests_start ();
                    209:   mp_trace_base = -16;
                    210:
                    211:   if (argc == 2)
                    212:      reps = atoi (argv[1]);
                    213:
                    214:   check_various ();
                    215:   check_random (reps);
                    216:
                    217:   tests_end ();
                    218:   exit (0);
                    219: }

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>