Home | History | Annotate | Line # | Download | only in mpn
t-bdiv.c revision 1.1
      1  1.1  mrg /* Copyright 2006, 2007, 2009, 2010 Free Software Foundation, Inc.
      2  1.1  mrg 
      3  1.1  mrg This program is free software; you can redistribute it and/or modify it under
      4  1.1  mrg the terms of the GNU General Public License as published by the Free Software
      5  1.1  mrg Foundation; either version 3 of the License, or (at your option) any later
      6  1.1  mrg version.
      7  1.1  mrg 
      8  1.1  mrg This program is distributed in the hope that it will be useful, but WITHOUT ANY
      9  1.1  mrg WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
     10  1.1  mrg PARTICULAR PURPOSE.  See the GNU General Public License for more details.
     11  1.1  mrg 
     12  1.1  mrg You should have received a copy of the GNU General Public License along with
     13  1.1  mrg this program.  If not, see http://www.gnu.org/licenses/.  */
     14  1.1  mrg 
     15  1.1  mrg 
     16  1.1  mrg #include <stdlib.h>		/* for strtol */
     17  1.1  mrg #include <stdio.h>		/* for printf */
     18  1.1  mrg 
     19  1.1  mrg #include "gmp.h"
     20  1.1  mrg #include "gmp-impl.h"
     21  1.1  mrg #include "longlong.h"
     22  1.1  mrg #include "tests/tests.h"
     23  1.1  mrg 
     24  1.1  mrg 
     25  1.1  mrg static void
     26  1.1  mrg dumpy (mp_srcptr p, mp_size_t n)
     27  1.1  mrg {
     28  1.1  mrg   mp_size_t i;
     29  1.1  mrg   if (n > 20)
     30  1.1  mrg     {
     31  1.1  mrg       for (i = n - 1; i >= n - 4; i--)
     32  1.1  mrg 	{
     33  1.1  mrg 	  printf ("%0*lx", (int) (2 * sizeof (mp_limb_t)), p[i]);
     34  1.1  mrg 	  printf (" ");
     35  1.1  mrg 	}
     36  1.1  mrg       printf ("... ");
     37  1.1  mrg       for (i = 3; i >= 0; i--)
     38  1.1  mrg 	{
     39  1.1  mrg 	  printf ("%0*lx", (int) (2 * sizeof (mp_limb_t)), p[i]);
     40  1.1  mrg 	  printf (" " + (i == 0));
     41  1.1  mrg 	}
     42  1.1  mrg     }
     43  1.1  mrg   else
     44  1.1  mrg     {
     45  1.1  mrg       for (i = n - 1; i >= 0; i--)
     46  1.1  mrg 	{
     47  1.1  mrg 	  printf ("%0*lx", (int) (2 * sizeof (mp_limb_t)), p[i]);
     48  1.1  mrg 	  printf (" " + (i == 0));
     49  1.1  mrg 	}
     50  1.1  mrg     }
     51  1.1  mrg   puts ("");
     52  1.1  mrg }
     53  1.1  mrg 
     54  1.1  mrg static unsigned long test;
     55  1.1  mrg 
     56  1.1  mrg void
     57  1.1  mrg check_one (mp_ptr qp, mp_srcptr rp, mp_limb_t rh,
     58  1.1  mrg 	   mp_srcptr np, mp_size_t nn, mp_srcptr dp, mp_size_t dn, char *fname)
     59  1.1  mrg {
     60  1.1  mrg   mp_size_t qn;
     61  1.1  mrg   int cmp;
     62  1.1  mrg   mp_ptr tp;
     63  1.1  mrg   mp_limb_t cy = 4711;		/* silence warnings */
     64  1.1  mrg   TMP_DECL;
     65  1.1  mrg 
     66  1.1  mrg   qn = nn - dn;
     67  1.1  mrg 
     68  1.1  mrg   if (qn == 0)
     69  1.1  mrg     return;
     70  1.1  mrg 
     71  1.1  mrg   TMP_MARK;
     72  1.1  mrg 
     73  1.1  mrg   tp = TMP_ALLOC_LIMBS (nn + 1);
     74  1.1  mrg 
     75  1.1  mrg   if (dn >= qn)
     76  1.1  mrg     mpn_mul (tp, dp, dn, qp, qn);
     77  1.1  mrg   else
     78  1.1  mrg     mpn_mul (tp, qp, qn, dp, dn);
     79  1.1  mrg 
     80  1.1  mrg   if (rp != NULL)
     81  1.1  mrg     {
     82  1.1  mrg       cy = mpn_add_n (tp + qn, tp + qn, rp, dn);
     83  1.1  mrg       cmp = cy != rh || mpn_cmp (tp, np, nn) != 0;
     84  1.1  mrg     }
     85  1.1  mrg   else
     86  1.1  mrg     cmp = mpn_cmp (tp, np, nn - dn) != 0;
     87  1.1  mrg 
     88  1.1  mrg   if (cmp != 0)
     89  1.1  mrg     {
     90  1.1  mrg       printf ("\r*******************************************************************************\n");
     91  1.1  mrg       printf ("%s inconsistent in test %lu\n", fname, test);
     92  1.1  mrg       printf ("N=   "); dumpy (np, nn);
     93  1.1  mrg       printf ("D=   "); dumpy (dp, dn);
     94  1.1  mrg       printf ("Q=   "); dumpy (qp, qn);
     95  1.1  mrg       if (rp != NULL)
     96  1.1  mrg 	{
     97  1.1  mrg 	  printf ("R=   "); dumpy (rp, dn);
     98  1.1  mrg 	  printf ("Rb=  %d, Cy=%d\n", (int) cy, (int) rh);
     99  1.1  mrg 	}
    100  1.1  mrg       printf ("T=   "); dumpy (tp, nn);
    101  1.1  mrg       printf ("nn = %ld, dn = %ld, qn = %ld", nn, dn, qn);
    102  1.1  mrg       printf ("\n*******************************************************************************\n");
    103  1.1  mrg       abort ();
    104  1.1  mrg     }
    105  1.1  mrg 
    106  1.1  mrg   TMP_FREE;
    107  1.1  mrg }
    108  1.1  mrg 
    109  1.1  mrg 
    110  1.1  mrg /* These are *bit* sizes. */
    111  1.1  mrg #define SIZE_LOG 16
    112  1.1  mrg #define MAX_DN (1L << SIZE_LOG)
    113  1.1  mrg #define MAX_NN (1L << (SIZE_LOG + 1))
    114  1.1  mrg 
    115  1.1  mrg #define COUNT 500
    116  1.1  mrg 
    117  1.1  mrg mp_limb_t
    118  1.1  mrg random_word (gmp_randstate_ptr rs)
    119  1.1  mrg {
    120  1.1  mrg   mpz_t x;
    121  1.1  mrg   mp_limb_t r;
    122  1.1  mrg   TMP_DECL;
    123  1.1  mrg   TMP_MARK;
    124  1.1  mrg 
    125  1.1  mrg   MPZ_TMP_INIT (x, 2);
    126  1.1  mrg   mpz_urandomb (x, rs, 32);
    127  1.1  mrg   r = mpz_get_ui (x);
    128  1.1  mrg   TMP_FREE;
    129  1.1  mrg   return r;
    130  1.1  mrg }
    131  1.1  mrg 
    132  1.1  mrg int
    133  1.1  mrg main (int argc, char **argv)
    134  1.1  mrg {
    135  1.1  mrg   gmp_randstate_ptr rands;
    136  1.1  mrg   unsigned long maxnbits, maxdbits, nbits, dbits;
    137  1.1  mrg   mpz_t n, d, tz;
    138  1.1  mrg   mp_size_t maxnn, maxdn, nn, dn, clearn, i;
    139  1.1  mrg   mp_ptr np, dp, qp, rp;
    140  1.1  mrg   mp_limb_t rh;
    141  1.1  mrg   mp_limb_t t;
    142  1.1  mrg   mp_limb_t dinv;
    143  1.1  mrg   int count = COUNT;
    144  1.1  mrg   mp_ptr scratch;
    145  1.1  mrg   mp_limb_t ran;
    146  1.1  mrg   mp_size_t alloc, itch;
    147  1.1  mrg   mp_limb_t rran0, rran1, qran0, qran1;
    148  1.1  mrg   TMP_DECL;
    149  1.1  mrg 
    150  1.1  mrg   if (argc > 1)
    151  1.1  mrg     {
    152  1.1  mrg       char *end;
    153  1.1  mrg       count = strtol (argv[1], &end, 0);
    154  1.1  mrg       if (*end || count <= 0)
    155  1.1  mrg 	{
    156  1.1  mrg 	  fprintf (stderr, "Invalid test count: %s.\n", argv[1]);
    157  1.1  mrg 	  return 1;
    158  1.1  mrg 	}
    159  1.1  mrg     }
    160  1.1  mrg 
    161  1.1  mrg 
    162  1.1  mrg   maxdbits = MAX_DN;
    163  1.1  mrg   maxnbits = MAX_NN;
    164  1.1  mrg 
    165  1.1  mrg   tests_start ();
    166  1.1  mrg   rands = RANDS;
    167  1.1  mrg 
    168  1.1  mrg   mpz_init (n);
    169  1.1  mrg   mpz_init (d);
    170  1.1  mrg   mpz_init (tz);
    171  1.1  mrg 
    172  1.1  mrg   maxnn = maxnbits / GMP_NUMB_BITS + 1;
    173  1.1  mrg   maxdn = maxdbits / GMP_NUMB_BITS + 1;
    174  1.1  mrg 
    175  1.1  mrg   TMP_MARK;
    176  1.1  mrg 
    177  1.1  mrg   qp = TMP_ALLOC_LIMBS (maxnn + 2) + 1;
    178  1.1  mrg   rp = TMP_ALLOC_LIMBS (maxnn + 2) + 1;
    179  1.1  mrg 
    180  1.1  mrg   alloc = 1;
    181  1.1  mrg   scratch = __GMP_ALLOCATE_FUNC_LIMBS (alloc);
    182  1.1  mrg 
    183  1.1  mrg   for (test = 0; test < count;)
    184  1.1  mrg     {
    185  1.1  mrg       nbits = random_word (rands) % (maxnbits - GMP_NUMB_BITS) + 2 * GMP_NUMB_BITS;
    186  1.1  mrg       if (maxdbits > nbits)
    187  1.1  mrg 	dbits = random_word (rands) % nbits + 1;
    188  1.1  mrg       else
    189  1.1  mrg 	dbits = random_word (rands) % maxdbits + 1;
    190  1.1  mrg 
    191  1.1  mrg #if RAND_UNIFORM
    192  1.1  mrg #define RANDFUNC mpz_urandomb
    193  1.1  mrg #else
    194  1.1  mrg #define RANDFUNC mpz_rrandomb
    195  1.1  mrg #endif
    196  1.1  mrg 
    197  1.1  mrg       do
    198  1.1  mrg 	{
    199  1.1  mrg 	  RANDFUNC (n, rands, nbits);
    200  1.1  mrg 	  do
    201  1.1  mrg 	    {
    202  1.1  mrg 	      RANDFUNC (d, rands, dbits);
    203  1.1  mrg 	    }
    204  1.1  mrg 	  while (mpz_sgn (d) == 0);
    205  1.1  mrg 
    206  1.1  mrg 	  np = PTR (n);
    207  1.1  mrg 	  dp = PTR (d);
    208  1.1  mrg 	  nn = SIZ (n);
    209  1.1  mrg 	  dn = SIZ (d);
    210  1.1  mrg 	}
    211  1.1  mrg       while (nn < dn);
    212  1.1  mrg 
    213  1.1  mrg       dp[0] |= 1;
    214  1.1  mrg 
    215  1.1  mrg       mpz_urandomb (tz, rands, 32);
    216  1.1  mrg       t = mpz_get_ui (tz);
    217  1.1  mrg 
    218  1.1  mrg       if (t % 17 == 0)
    219  1.1  mrg 	dp[0] = GMP_NUMB_MAX;
    220  1.1  mrg 
    221  1.1  mrg       switch ((int) t % 16)
    222  1.1  mrg 	{
    223  1.1  mrg 	case 0:
    224  1.1  mrg 	  clearn = random_word (rands) % nn;
    225  1.1  mrg 	  for (i = 0; i <= clearn; i++)
    226  1.1  mrg 	    np[i] = 0;
    227  1.1  mrg 	  break;
    228  1.1  mrg 	case 1:
    229  1.1  mrg 	  mpn_sub_1 (np + nn - dn, dp, dn, random_word (rands));
    230  1.1  mrg 	  break;
    231  1.1  mrg 	case 2:
    232  1.1  mrg 	  mpn_add_1 (np + nn - dn, dp, dn, random_word (rands));
    233  1.1  mrg 	  break;
    234  1.1  mrg 	}
    235  1.1  mrg 
    236  1.1  mrg       test++;
    237  1.1  mrg 
    238  1.1  mrg       binvert_limb (dinv, dp[0]);
    239  1.1  mrg 
    240  1.1  mrg       rran0 = random_word (rands);
    241  1.1  mrg       rran1 = random_word (rands);
    242  1.1  mrg       qran0 = random_word (rands);
    243  1.1  mrg       qran1 = random_word (rands);
    244  1.1  mrg 
    245  1.1  mrg       qp[-1] = qran0;
    246  1.1  mrg       qp[nn - dn + 1] = qran1;
    247  1.1  mrg       rp[-1] = rran0;
    248  1.1  mrg 
    249  1.1  mrg       ran = random_word (rands);
    250  1.1  mrg 
    251  1.1  mrg       if ((double) (nn - dn) * dn < 1e5)
    252  1.1  mrg 	{
    253  1.1  mrg 	  if (nn > dn)
    254  1.1  mrg 	    {
    255  1.1  mrg 	      /* Test mpn_sbpi1_bdiv_qr */
    256  1.1  mrg 	      MPN_ZERO (qp, nn - dn);
    257  1.1  mrg 	      MPN_ZERO (rp, dn);
    258  1.1  mrg 	      MPN_COPY (rp, np, nn);
    259  1.1  mrg 	      rh = mpn_sbpi1_bdiv_qr (qp, rp, nn, dp, dn, -dinv);
    260  1.1  mrg 	      ASSERT_ALWAYS (qp[-1] == qran0);  ASSERT_ALWAYS (qp[nn - dn + 1] == qran1);
    261  1.1  mrg 	      ASSERT_ALWAYS (rp[-1] == rran0);
    262  1.1  mrg 	      check_one (qp, rp + nn - dn, rh, np, nn, dp, dn, "mpn_sbpi1_bdiv_qr");
    263  1.1  mrg 	    }
    264  1.1  mrg 
    265  1.1  mrg 	  if (nn > dn)
    266  1.1  mrg 	    {
    267  1.1  mrg 	      /* Test mpn_sbpi1_bdiv_q */
    268  1.1  mrg 	      MPN_COPY (rp, np, nn);
    269  1.1  mrg 	      MPN_ZERO (qp, nn - dn);
    270  1.1  mrg 	      mpn_sbpi1_bdiv_q (qp, rp, nn - dn, dp, MIN(dn,nn-dn), -dinv);
    271  1.1  mrg 	      ASSERT_ALWAYS (qp[-1] == qran0);  ASSERT_ALWAYS (qp[nn - dn + 1] == qran1);
    272  1.1  mrg 	      ASSERT_ALWAYS (rp[-1] == rran0);
    273  1.1  mrg 	      check_one (qp, NULL, 0, np, nn, dp, dn, "mpn_sbpi1_bdiv_q");
    274  1.1  mrg 	    }
    275  1.1  mrg 	}
    276  1.1  mrg 
    277  1.1  mrg       if (dn >= 4 && nn - dn >= 2)
    278  1.1  mrg 	{
    279  1.1  mrg 	  /* Test mpn_dcpi1_bdiv_qr */
    280  1.1  mrg 	  MPN_COPY (rp, np, nn);
    281  1.1  mrg 	  MPN_ZERO (qp, nn - dn);
    282  1.1  mrg 	  rh = mpn_dcpi1_bdiv_qr (qp, rp, nn, dp, dn, -dinv);
    283  1.1  mrg 	  ASSERT_ALWAYS (qp[-1] == qran0);  ASSERT_ALWAYS (qp[nn - dn + 1] == qran1);
    284  1.1  mrg 	  ASSERT_ALWAYS (rp[-1] == rran0);
    285  1.1  mrg 	  check_one (qp, rp + nn - dn, rh, np, nn, dp, dn, "mpn_dcpi1_bdiv_qr");
    286  1.1  mrg 	}
    287  1.1  mrg 
    288  1.1  mrg       if (dn >= 4 && nn - dn >= 2)
    289  1.1  mrg 	{
    290  1.1  mrg 	  /* Test mpn_dcpi1_bdiv_q */
    291  1.1  mrg 	  MPN_COPY (rp, np, nn);
    292  1.1  mrg 	  MPN_ZERO (qp, nn - dn);
    293  1.1  mrg 	  mpn_dcpi1_bdiv_q (qp, rp, nn - dn, dp, MIN(dn,nn-dn), -dinv);
    294  1.1  mrg 	  ASSERT_ALWAYS (qp[-1] == qran0);  ASSERT_ALWAYS (qp[nn - dn + 1] == qran1);
    295  1.1  mrg 	  ASSERT_ALWAYS (rp[-1] == rran0);
    296  1.1  mrg 	  check_one (qp, NULL, 0, np, nn, dp, dn, "mpn_dcpi1_bdiv_q");
    297  1.1  mrg 	}
    298  1.1  mrg 
    299  1.1  mrg       if (nn - dn < 2 || dn < 2)
    300  1.1  mrg 	continue;
    301  1.1  mrg 
    302  1.1  mrg       /* Test mpn_mu_bdiv_qr */
    303  1.1  mrg       itch = mpn_mu_bdiv_qr_itch (nn, dn);
    304  1.1  mrg       if (itch + 1 > alloc)
    305  1.1  mrg 	{
    306  1.1  mrg 	  scratch = __GMP_REALLOCATE_FUNC_LIMBS (scratch, alloc, itch + 1);
    307  1.1  mrg 	  alloc = itch + 1;
    308  1.1  mrg 	}
    309  1.1  mrg       scratch[itch] = ran;
    310  1.1  mrg       MPN_ZERO (qp, nn - dn);
    311  1.1  mrg       MPN_ZERO (rp, dn);
    312  1.1  mrg       rp[dn] = rran1;
    313  1.1  mrg       rh = mpn_mu_bdiv_qr (qp, rp, np, nn, dp, dn, scratch);
    314  1.1  mrg       ASSERT_ALWAYS (ran == scratch[itch]);
    315  1.1  mrg       ASSERT_ALWAYS (qp[-1] == qran0);  ASSERT_ALWAYS (qp[nn - dn + 1] == qran1);
    316  1.1  mrg       ASSERT_ALWAYS (rp[-1] == rran0);  ASSERT_ALWAYS (rp[dn] == rran1);
    317  1.1  mrg       check_one (qp, rp, rh, np, nn, dp, dn, "mpn_mu_bdiv_qr");
    318  1.1  mrg 
    319  1.1  mrg       /* Test mpn_mu_bdiv_q */
    320  1.1  mrg       itch = mpn_mu_bdiv_q_itch (nn, dn);
    321  1.1  mrg       if (itch + 1 > alloc)
    322  1.1  mrg 	{
    323  1.1  mrg 	  scratch = __GMP_REALLOCATE_FUNC_LIMBS (scratch, alloc, itch + 1);
    324  1.1  mrg 	  alloc = itch + 1;
    325  1.1  mrg 	}
    326  1.1  mrg       scratch[itch] = ran;
    327  1.1  mrg       MPN_ZERO (qp, nn - dn + 1);
    328  1.1  mrg       mpn_mu_bdiv_q (qp, np, nn - dn, dp, dn, scratch);
    329  1.1  mrg       ASSERT_ALWAYS (ran == scratch[itch]);
    330  1.1  mrg       ASSERT_ALWAYS (qp[-1] == qran0);  ASSERT_ALWAYS (qp[nn - dn + 1] == qran1);
    331  1.1  mrg       check_one (qp, NULL, 0, np, nn, dp, dn, "mpn_mu_bdiv_q");
    332  1.1  mrg     }
    333  1.1  mrg 
    334  1.1  mrg   __GMP_FREE_FUNC_LIMBS (scratch, alloc);
    335  1.1  mrg 
    336  1.1  mrg   TMP_FREE;
    337  1.1  mrg 
    338  1.1  mrg   mpz_clear (n);
    339  1.1  mrg   mpz_clear (d);
    340  1.1  mrg   mpz_clear (tz);
    341  1.1  mrg 
    342  1.1  mrg   tests_end ();
    343  1.1  mrg   return 0;
    344  1.1  mrg }
    345