1 1.1.1.4 mrg /* Copyright 2006, 2007, 2009, 2010, 2017 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-impl.h" 23 1.1 mrg #include "longlong.h" 24 1.1 mrg #include "tests/tests.h" 25 1.1 mrg 26 1.1 mrg 27 1.1 mrg static void 28 1.1 mrg dumpy (mp_srcptr p, mp_size_t n) 29 1.1 mrg { 30 1.1 mrg mp_size_t i; 31 1.1 mrg if (n > 20) 32 1.1 mrg { 33 1.1 mrg for (i = n - 1; i >= n - 4; i--) 34 1.1 mrg { 35 1.1 mrg printf ("%0*lx", (int) (2 * sizeof (mp_limb_t)), p[i]); 36 1.1 mrg printf (" "); 37 1.1 mrg } 38 1.1 mrg printf ("... "); 39 1.1 mrg for (i = 3; i >= 0; i--) 40 1.1 mrg { 41 1.1 mrg printf ("%0*lx", (int) (2 * sizeof (mp_limb_t)), p[i]); 42 1.1.1.3 mrg printf (i == 0 ? "" : " "); 43 1.1 mrg } 44 1.1 mrg } 45 1.1 mrg else 46 1.1 mrg { 47 1.1 mrg for (i = n - 1; i >= 0; i--) 48 1.1 mrg { 49 1.1 mrg printf ("%0*lx", (int) (2 * sizeof (mp_limb_t)), p[i]); 50 1.1.1.3 mrg printf (i == 0 ? "" : " "); 51 1.1 mrg } 52 1.1 mrg } 53 1.1 mrg puts (""); 54 1.1 mrg } 55 1.1 mrg 56 1.1 mrg static unsigned long test; 57 1.1 mrg 58 1.1 mrg void 59 1.1 mrg check_one (mp_ptr qp, mp_srcptr rp, mp_limb_t rh, 60 1.1.1.2 mrg mp_srcptr np, mp_size_t nn, mp_srcptr dp, mp_size_t dn, const char *fname) 61 1.1 mrg { 62 1.1 mrg mp_size_t qn; 63 1.1 mrg mp_ptr tp; 64 1.1 mrg mp_limb_t cy = 4711; /* silence warnings */ 65 1.1 mrg TMP_DECL; 66 1.1 mrg 67 1.1 mrg qn = nn - dn; 68 1.1 mrg 69 1.1 mrg if (qn == 0) 70 1.1 mrg return; 71 1.1 mrg 72 1.1 mrg TMP_MARK; 73 1.1 mrg 74 1.1 mrg tp = TMP_ALLOC_LIMBS (nn + 1); 75 1.1 mrg 76 1.1 mrg if (dn >= qn) 77 1.1 mrg mpn_mul (tp, dp, dn, qp, qn); 78 1.1 mrg else 79 1.1 mrg mpn_mul (tp, qp, qn, dp, dn); 80 1.1 mrg 81 1.1.1.4 mrg cy = mpn_add_n (tp, tp, np, nn); 82 1.1 mrg 83 1.1.1.4 mrg if (! mpn_zero_p (tp, qn) 84 1.1.1.4 mrg || (rp != NULL && (cy != rh || mpn_cmp (tp + qn, rp, dn) != 0))) 85 1.1 mrg { 86 1.1 mrg printf ("\r*******************************************************************************\n"); 87 1.1 mrg printf ("%s inconsistent in test %lu\n", fname, test); 88 1.1 mrg printf ("N= "); dumpy (np, nn); 89 1.1 mrg printf ("D= "); dumpy (dp, dn); 90 1.1 mrg printf ("Q= "); dumpy (qp, qn); 91 1.1 mrg if (rp != NULL) 92 1.1 mrg { 93 1.1 mrg printf ("R= "); dumpy (rp, dn); 94 1.1 mrg printf ("Rb= %d, Cy=%d\n", (int) cy, (int) rh); 95 1.1 mrg } 96 1.1 mrg printf ("T= "); dumpy (tp, nn); 97 1.1 mrg printf ("nn = %ld, dn = %ld, qn = %ld", nn, dn, qn); 98 1.1 mrg printf ("\n*******************************************************************************\n"); 99 1.1 mrg abort (); 100 1.1 mrg } 101 1.1 mrg 102 1.1 mrg TMP_FREE; 103 1.1 mrg } 104 1.1 mrg 105 1.1 mrg 106 1.1 mrg /* These are *bit* sizes. */ 107 1.1 mrg #define SIZE_LOG 16 108 1.1 mrg #define MAX_DN (1L << SIZE_LOG) 109 1.1 mrg #define MAX_NN (1L << (SIZE_LOG + 1)) 110 1.1 mrg 111 1.1 mrg #define COUNT 500 112 1.1 mrg 113 1.1 mrg mp_limb_t 114 1.1 mrg random_word (gmp_randstate_ptr rs) 115 1.1 mrg { 116 1.1 mrg mpz_t x; 117 1.1 mrg mp_limb_t r; 118 1.1 mrg TMP_DECL; 119 1.1 mrg TMP_MARK; 120 1.1 mrg 121 1.1 mrg MPZ_TMP_INIT (x, 2); 122 1.1 mrg mpz_urandomb (x, rs, 32); 123 1.1 mrg r = mpz_get_ui (x); 124 1.1 mrg TMP_FREE; 125 1.1 mrg return r; 126 1.1 mrg } 127 1.1 mrg 128 1.1 mrg int 129 1.1 mrg main (int argc, char **argv) 130 1.1 mrg { 131 1.1 mrg gmp_randstate_ptr rands; 132 1.1 mrg unsigned long maxnbits, maxdbits, nbits, dbits; 133 1.1 mrg mpz_t n, d, tz; 134 1.1 mrg mp_size_t maxnn, maxdn, nn, dn, clearn, i; 135 1.1 mrg mp_ptr np, dp, qp, rp; 136 1.1 mrg mp_limb_t rh; 137 1.1 mrg mp_limb_t t; 138 1.1 mrg mp_limb_t dinv; 139 1.1 mrg int count = COUNT; 140 1.1 mrg mp_ptr scratch; 141 1.1 mrg mp_limb_t ran; 142 1.1 mrg mp_size_t alloc, itch; 143 1.1 mrg mp_limb_t rran0, rran1, qran0, qran1; 144 1.1 mrg TMP_DECL; 145 1.1 mrg 146 1.1.1.4 mrg TESTS_REPS (count, argv, argc); 147 1.1 mrg 148 1.1 mrg maxdbits = MAX_DN; 149 1.1 mrg maxnbits = MAX_NN; 150 1.1 mrg 151 1.1 mrg tests_start (); 152 1.1 mrg rands = RANDS; 153 1.1 mrg 154 1.1 mrg mpz_init (n); 155 1.1 mrg mpz_init (d); 156 1.1 mrg mpz_init (tz); 157 1.1 mrg 158 1.1 mrg maxnn = maxnbits / GMP_NUMB_BITS + 1; 159 1.1 mrg maxdn = maxdbits / GMP_NUMB_BITS + 1; 160 1.1 mrg 161 1.1 mrg TMP_MARK; 162 1.1 mrg 163 1.1 mrg qp = TMP_ALLOC_LIMBS (maxnn + 2) + 1; 164 1.1 mrg rp = TMP_ALLOC_LIMBS (maxnn + 2) + 1; 165 1.1 mrg 166 1.1 mrg alloc = 1; 167 1.1 mrg scratch = __GMP_ALLOCATE_FUNC_LIMBS (alloc); 168 1.1 mrg 169 1.1 mrg for (test = 0; test < count;) 170 1.1 mrg { 171 1.1 mrg nbits = random_word (rands) % (maxnbits - GMP_NUMB_BITS) + 2 * GMP_NUMB_BITS; 172 1.1 mrg if (maxdbits > nbits) 173 1.1 mrg dbits = random_word (rands) % nbits + 1; 174 1.1 mrg else 175 1.1 mrg dbits = random_word (rands) % maxdbits + 1; 176 1.1 mrg 177 1.1 mrg #if RAND_UNIFORM 178 1.1 mrg #define RANDFUNC mpz_urandomb 179 1.1 mrg #else 180 1.1 mrg #define RANDFUNC mpz_rrandomb 181 1.1 mrg #endif 182 1.1 mrg 183 1.1 mrg do 184 1.1 mrg { 185 1.1 mrg RANDFUNC (n, rands, nbits); 186 1.1 mrg do 187 1.1 mrg { 188 1.1 mrg RANDFUNC (d, rands, dbits); 189 1.1 mrg } 190 1.1 mrg while (mpz_sgn (d) == 0); 191 1.1 mrg 192 1.1 mrg np = PTR (n); 193 1.1 mrg dp = PTR (d); 194 1.1 mrg nn = SIZ (n); 195 1.1 mrg dn = SIZ (d); 196 1.1 mrg } 197 1.1 mrg while (nn < dn); 198 1.1 mrg 199 1.1 mrg dp[0] |= 1; 200 1.1 mrg 201 1.1 mrg mpz_urandomb (tz, rands, 32); 202 1.1 mrg t = mpz_get_ui (tz); 203 1.1 mrg 204 1.1 mrg if (t % 17 == 0) 205 1.1 mrg dp[0] = GMP_NUMB_MAX; 206 1.1 mrg 207 1.1 mrg switch ((int) t % 16) 208 1.1 mrg { 209 1.1 mrg case 0: 210 1.1 mrg clearn = random_word (rands) % nn; 211 1.1 mrg for (i = 0; i <= clearn; i++) 212 1.1 mrg np[i] = 0; 213 1.1 mrg break; 214 1.1 mrg case 1: 215 1.1 mrg mpn_sub_1 (np + nn - dn, dp, dn, random_word (rands)); 216 1.1 mrg break; 217 1.1 mrg case 2: 218 1.1 mrg mpn_add_1 (np + nn - dn, dp, dn, random_word (rands)); 219 1.1 mrg break; 220 1.1 mrg } 221 1.1 mrg 222 1.1 mrg test++; 223 1.1 mrg 224 1.1 mrg binvert_limb (dinv, dp[0]); 225 1.1 mrg 226 1.1 mrg rran0 = random_word (rands); 227 1.1 mrg rran1 = random_word (rands); 228 1.1 mrg qran0 = random_word (rands); 229 1.1 mrg qran1 = random_word (rands); 230 1.1 mrg 231 1.1 mrg qp[-1] = qran0; 232 1.1 mrg qp[nn - dn + 1] = qran1; 233 1.1 mrg rp[-1] = rran0; 234 1.1 mrg 235 1.1 mrg ran = random_word (rands); 236 1.1 mrg 237 1.1 mrg if ((double) (nn - dn) * dn < 1e5) 238 1.1 mrg { 239 1.1 mrg if (nn > dn) 240 1.1 mrg { 241 1.1 mrg /* Test mpn_sbpi1_bdiv_qr */ 242 1.1 mrg MPN_ZERO (qp, nn - dn); 243 1.1 mrg MPN_ZERO (rp, dn); 244 1.1 mrg MPN_COPY (rp, np, nn); 245 1.1 mrg rh = mpn_sbpi1_bdiv_qr (qp, rp, nn, dp, dn, -dinv); 246 1.1 mrg ASSERT_ALWAYS (qp[-1] == qran0); ASSERT_ALWAYS (qp[nn - dn + 1] == qran1); 247 1.1 mrg ASSERT_ALWAYS (rp[-1] == rran0); 248 1.1 mrg check_one (qp, rp + nn - dn, rh, np, nn, dp, dn, "mpn_sbpi1_bdiv_qr"); 249 1.1 mrg 250 1.1 mrg /* Test mpn_sbpi1_bdiv_q */ 251 1.1 mrg MPN_COPY (rp, np, nn); 252 1.1 mrg MPN_ZERO (qp, nn - dn); 253 1.1 mrg mpn_sbpi1_bdiv_q (qp, rp, nn - dn, dp, MIN(dn,nn-dn), -dinv); 254 1.1 mrg ASSERT_ALWAYS (qp[-1] == qran0); ASSERT_ALWAYS (qp[nn - dn + 1] == qran1); 255 1.1 mrg ASSERT_ALWAYS (rp[-1] == rran0); 256 1.1 mrg check_one (qp, NULL, 0, np, nn, dp, dn, "mpn_sbpi1_bdiv_q"); 257 1.1.1.4 mrg 258 1.1.1.4 mrg /* Test mpn_sbpi1_bdiv_r; we use mpn_sbpi1_bdiv_q's quotient. */ 259 1.1.1.4 mrg MPN_COPY (rp, np, nn); 260 1.1.1.4 mrg mpn_sbpi1_bdiv_r (rp, nn, dp, dn, -dinv); 261 1.1.1.4 mrg ASSERT_ALWAYS (rp[-1] == rran0); 262 1.1.1.4 mrg check_one (qp, NULL, 0, np, nn, dp, dn, "mpn_sbpi1_bdiv_r"); 263 1.1 mrg } 264 1.1 mrg } 265 1.1 mrg 266 1.1 mrg if (dn >= 4 && nn - dn >= 2) 267 1.1 mrg { 268 1.1 mrg /* Test mpn_dcpi1_bdiv_qr */ 269 1.1 mrg MPN_COPY (rp, np, nn); 270 1.1 mrg MPN_ZERO (qp, nn - dn); 271 1.1 mrg rh = mpn_dcpi1_bdiv_qr (qp, rp, nn, dp, dn, -dinv); 272 1.1 mrg ASSERT_ALWAYS (qp[-1] == qran0); ASSERT_ALWAYS (qp[nn - dn + 1] == qran1); 273 1.1 mrg ASSERT_ALWAYS (rp[-1] == rran0); 274 1.1 mrg check_one (qp, rp + nn - dn, rh, np, nn, dp, dn, "mpn_dcpi1_bdiv_qr"); 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_q */ 280 1.1 mrg MPN_COPY (rp, np, nn); 281 1.1 mrg MPN_ZERO (qp, nn - dn); 282 1.1 mrg mpn_dcpi1_bdiv_q (qp, rp, nn - dn, dp, MIN(dn,nn-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, NULL, 0, np, nn, dp, dn, "mpn_dcpi1_bdiv_q"); 286 1.1 mrg } 287 1.1 mrg 288 1.1.1.2 mrg if (nn > dn) 289 1.1.1.2 mrg { 290 1.1.1.2 mrg /* Test mpn_bdiv_qr */ 291 1.1.1.2 mrg itch = mpn_bdiv_qr_itch (nn, dn); 292 1.1.1.2 mrg if (itch + 1 > alloc) 293 1.1.1.2 mrg { 294 1.1.1.2 mrg scratch = __GMP_REALLOCATE_FUNC_LIMBS (scratch, alloc, itch + 1); 295 1.1.1.2 mrg alloc = itch + 1; 296 1.1.1.2 mrg } 297 1.1.1.2 mrg scratch[itch] = ran; 298 1.1.1.2 mrg MPN_ZERO (qp, nn - dn); 299 1.1.1.2 mrg MPN_ZERO (rp, dn); 300 1.1.1.2 mrg rp[dn] = rran1; 301 1.1.1.2 mrg rh = mpn_bdiv_qr (qp, rp, np, nn, dp, dn, scratch); 302 1.1.1.2 mrg ASSERT_ALWAYS (ran == scratch[itch]); 303 1.1.1.2 mrg ASSERT_ALWAYS (qp[-1] == qran0); ASSERT_ALWAYS (qp[nn - dn + 1] == qran1); 304 1.1.1.2 mrg ASSERT_ALWAYS (rp[-1] == rran0); ASSERT_ALWAYS (rp[dn] == rran1); 305 1.1.1.2 mrg 306 1.1.1.2 mrg check_one (qp, rp, rh, np, nn, dp, dn, "mpn_bdiv_qr"); 307 1.1.1.2 mrg } 308 1.1.1.2 mrg 309 1.1 mrg if (nn - dn < 2 || dn < 2) 310 1.1 mrg continue; 311 1.1 mrg 312 1.1 mrg /* Test mpn_mu_bdiv_qr */ 313 1.1 mrg itch = mpn_mu_bdiv_qr_itch (nn, dn); 314 1.1 mrg if (itch + 1 > alloc) 315 1.1 mrg { 316 1.1 mrg scratch = __GMP_REALLOCATE_FUNC_LIMBS (scratch, alloc, itch + 1); 317 1.1 mrg alloc = itch + 1; 318 1.1 mrg } 319 1.1 mrg scratch[itch] = ran; 320 1.1 mrg MPN_ZERO (qp, nn - dn); 321 1.1 mrg MPN_ZERO (rp, dn); 322 1.1 mrg rp[dn] = rran1; 323 1.1 mrg rh = mpn_mu_bdiv_qr (qp, rp, np, nn, dp, dn, scratch); 324 1.1 mrg ASSERT_ALWAYS (ran == scratch[itch]); 325 1.1 mrg ASSERT_ALWAYS (qp[-1] == qran0); ASSERT_ALWAYS (qp[nn - dn + 1] == qran1); 326 1.1 mrg ASSERT_ALWAYS (rp[-1] == rran0); ASSERT_ALWAYS (rp[dn] == rran1); 327 1.1 mrg check_one (qp, rp, rh, np, nn, dp, dn, "mpn_mu_bdiv_qr"); 328 1.1 mrg 329 1.1 mrg /* Test mpn_mu_bdiv_q */ 330 1.1 mrg itch = mpn_mu_bdiv_q_itch (nn, dn); 331 1.1 mrg if (itch + 1 > alloc) 332 1.1 mrg { 333 1.1 mrg scratch = __GMP_REALLOCATE_FUNC_LIMBS (scratch, alloc, itch + 1); 334 1.1 mrg alloc = itch + 1; 335 1.1 mrg } 336 1.1 mrg scratch[itch] = ran; 337 1.1 mrg MPN_ZERO (qp, nn - dn + 1); 338 1.1 mrg mpn_mu_bdiv_q (qp, np, nn - dn, dp, dn, scratch); 339 1.1 mrg ASSERT_ALWAYS (ran == scratch[itch]); 340 1.1 mrg ASSERT_ALWAYS (qp[-1] == qran0); ASSERT_ALWAYS (qp[nn - dn + 1] == qran1); 341 1.1 mrg check_one (qp, NULL, 0, np, nn, dp, dn, "mpn_mu_bdiv_q"); 342 1.1 mrg } 343 1.1 mrg 344 1.1 mrg __GMP_FREE_FUNC_LIMBS (scratch, alloc); 345 1.1 mrg 346 1.1 mrg TMP_FREE; 347 1.1 mrg 348 1.1 mrg mpz_clear (n); 349 1.1 mrg mpz_clear (d); 350 1.1 mrg mpz_clear (tz); 351 1.1 mrg 352 1.1 mrg tests_end (); 353 1.1 mrg return 0; 354 1.1 mrg } 355