t-bdiv.c revision 1.1.1.2 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.2 mrg the GNU MP Library test suite. If not, see http://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 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 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