Lines Matching refs:b0
34 uint32_t a0, a1, b0, hi, g, q, tb;
64 * b = b0 * w^N + b2
69 * w/2 <= b0 < w
73 * b0, we ensured that b0 is "full" (high bit set), and a is
78 * a0*w+a1 = b0*u + v (with 0 <= v < b0)
89 b0 = m[mlen];
97 b0 = ((m[mlen] << (31 - mblr)) | (m[mlen - 1] >> mblr))
104 * -- If a0 == b0 then g == 0; we want q = 0x7FFFFFFF.
111 * Take care that a0, a1 and b0 are 31-bit words, not 32-bit. We
114 g = br_div(a0 >> 1, a1 | (a0 << 31), b0);
115 q = MUX(EQ(a0, b0), 0x7FFFFFFF, MUX(EQ(g, 0), 0, g - 1));