Lines Matching refs:v1
54 * v = 2^n v1 * v0
58 * uv = 2^2n u1 v1 + 2^n u1 v0 + 2^n v1 u0 + u0 v0
59 * = 2^2n u1 v1 + 2^n (u1 v0 + v1 u0) + u0 v0
61 * Now add 2^n u1 v1 to the first term and subtract it from the middle,
65 * uv = (2^2n + 2^n) (u1 v1) +
66 * (2^n) (u1 v0 - u1 v1 + u0 v1 - u0 v0) +
71 * uv = (2^2n + 2^n) (u1 v1) + [u1v1 = high]
72 * (2^n) (u1 - u0) (v0 - v1) + [(u1-u0)... = mid]
75 * The terms (u1 v1), (u1 - u0) (v0 - v1), and (u0 v0) can all be done
77 * of (u1 - u0) or (v0 - v1) may be negative.)
111 #define v1 v.ul[H]
116 * u1, u0, v1, and v0 will be directly accessible through the
128 if (u1 == 0 && v1 == 0) {
130 * An (I hope) important optimization occurs when u1 and v1
148 if (v0 >= v1)
149 vdiff = v0 - v1;
151 vdiff = v1 - v0, negmid ^= 1;
154 high = u1 * v1;
166 #undef v1
190 ulong_t u1, u0, v1, v0, udiff, vdiff, high, mid, low;
197 v1 = HHALF(v);
203 if (u1 == 0 && v1 == 0)
210 if (v0 >= v1)
211 vdiff = v0 - v1;
213 vdiff = v1 - v0, neg ^= 1;
216 high = u1 * v1;