Lines Matching defs:a1
44 mpn_udiv_w_sdiv (mp_limb_t *rp, mp_limb_t a1, mp_limb_t a0, mp_limb_t d)
50 ASSERT (a1 < d);
54 if (a1 < d - a1 - (a0 >> (GMP_LIMB_BITS - 1)))
57 sdiv_qrnnd (q, r, a1, a0, d);
61 /* Compute c1*2^32 + c0 = a1*2^32 + a0 - 2^31*d */
62 sub_ddmmss (c1, c0, a1, a0, d >> 1, d << (GMP_LIMB_BITS - 1));
72 c1 = a1 >> 1; /* A/2 */
73 c0 = (a1 << (GMP_LIMB_BITS - 1)) + (a0 >> 1);
75 if (a1 < b1) /* A < 2^32*b1, so A/2 < 2^31*b1 */
125 { /* Hence a1 = d - 1 = 2*b1 - 1 */