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