57 		const uint32_t *m, uint32_t m0i, uint32_t *t1, uint32_t *t2);
230 	mpz_t p, a, b, v, t1;  in test_modint()  local
240 	mpz_init(t1);  in test_modint()
241 	mpz_set_ui(t1, (unsigned long)time(NULL));  in test_modint()
242 	gmp_randseed(RNG, t1);  in test_modint()
297 			mpz_add(t1, a, b);  in test_modint()
298 			mpz_mod(t1, t1, p);  in test_modint()
299 			check_eqz(ma, t1);  in test_modint()
304 			mpz_sub(t1, a, b);  in test_modint()
305 			mpz_mod(t1, t1, p);  in test_modint()
306 			check_eqz(ma, t1);  in test_modint()
309 			mpz_mod(t1, v, p);  in test_modint()
310 			check_eqz(ma, t1);  in test_modint()
314 			mpz_mod(t1, v, p);  in test_modint()
315 			check_eqz(ma, t1);  in test_modint()
319 			mpz_mul_2exp(t1, a, ((k + impl->word_size - 1)  in test_modint()
321 			mpz_mod(t1, t1, p);  in test_modint()
322 			check_eqz(ma, t1);  in test_modint()
330 			mpz_mul(t1, a, b);  in test_modint()
331 			mpz_mod(t1, t1, p);  in test_modint()
332 			check_eqz(mt1, t1);  in test_modint()
336 			mpz_powm(t1, a, v, p);  in test_modint()
337 			check_eqz(ma, t1);  in test_modint()
346 			mpz_sub_ui(t1, p, 2);  in test_modint()
347 			mpz_powm(t1, b, t1, p);  in test_modint()
348 			mpz_mul(t1, a, t1);  in test_modint()
349 			mpz_mod(t1, t1, p);  in test_modint()
350 			check_eqz(ma, t1);  in test_modint()
356 				mpz_add(t1, a, b);  in test_modint()
357 				mpz_tdiv_r_2exp(t1, t1, j);  in test_modint()
358 				check_eqz(mx, t1);  in test_modint()
361 				mpz_mul(t1, a, b);  in test_modint()
362 				mpz_tdiv_r_2exp(t1, t1, j);  in test_modint()
363 				check_eqz(mx, t1);  in test_modint()
374 	mpz_clear(t1);  in test_modint()
385 	mpz_t n, e, d, p, q, dp, dq, iq, t1, t2, phi;
399 	mpz_init(t1);
402 	mpz_set_ui(t1, (unsigned long)time(NULL));
403 	gmp_randseed(RNG, t1);
430 			mpz_sub_ui(t1, p, 1);
432 			mpz_mul(phi, t1, t2);
434 			mpz_mod(dp, d, t1);
453 				mpz_urandomm(t1, RNG, n);
454 				mpz_powm(t2, t1, e, n);
457 				check_eqz(mx, t1);