Lines Matching refs:a1
34 mpi_limp_t *a1,
43 if (a1 < d - a1 - (a0 >> (BITS_PER_MP_LIMB - 1)))
46 sdiv_qrnnd (q, r, a1, a0, d);
50 /* Compute c1*2^32 + c0 = a1*2^32 + a0 - 2^31*d */
51 sub_ddmmss (c1, c0, a1, a0, d >> 1, d << (BITS_PER_MP_LIMB - 1));
61 c1 = a1 >> 1; /* A/2 */
62 c0 = (a1 << (BITS_PER_MP_LIMB - 1)) + (a0 >> 1);
64 if (a1 < b1) /* A < 2^32*b1, so A/2 < 2^31*b1 */
114 { /* Hence a1 = d - 1 = 2*b1 - 1 */