Lines Matching refs:b1
39 mp_limb_t c0, c1, b1;
60 b1 = d >> 1; /* d/2, between 2^30 and 2^31 - 1 */
64 if (a1 < b1) /* A < 2^32*b1, so A/2 < 2^31*b1 */
66 sdiv_qrnnd (q, r, c1, c0, b1); /* (A/2) / (d/2) */
68 r = 2*r + (a0 & 1); /* Remainder from A/(2*b1) */
85 else if (c1 < b1) /* So 2^31 <= (A/2)/b1 < 2^32 */
87 c1 = (b1 - 1) - c1;
90 sdiv_qrnnd (q, r, c1, c0, b1); /* (A/2) / (d/2) */
92 q = ~q; /* (A/2)/b1 */
93 r = (b1 - 1) - r;
95 r = 2*r + (a0 & 1); /* A/(2*b1) */
113 else /* Implies c1 = b1 */
114 { /* Hence a1 = d - 1 = 2*b1 - 1 */