Lines Matching refs:a0
34 uint32_t a0, a1, b0, hi, g, q, tb;
63 * a = (w*a0 + a1) * w^N + a2
66 * 0 <= a0 < w
72 * I.e. the two top words of a are a0:a1, the top word of b is
78 * a0*w+a1 = b0*u + v (with 0 <= v < b0)
85 a0 = x[mlen];
91 a0 = ((x[mlen] << (31 - mblr)) | (x[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));