Lines Matching refs:v0
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
62 * and add 2^n u0 v0 to the last term and subtract it from the middle.
66 * (2^n) (u1 v0 - u1 v1 + u0 v1 - u0 v0) +
67 * (2^n + 1) (u0 v0)
72 * (2^n) (u1 - u0) (v0 - v1) + [(u1-u0)... = mid]
73 * (2^n + 1) (u0 v0) [u0v0 = low]
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.)
112 #define v0 v.ul[L]
116 * u1, u0, v1, and v0 will be directly accessible through the
132 * are small. Here the product is just u0*v0.
134 prod.q = __lmulq(u0, v0);
142 low.q = __lmulq(u0, v0);
148 if (v0 >= v1)
149 vdiff = v0 - v1;
151 vdiff = v1 - v0, negmid ^= 1;
167 #undef v0
190 ulong_t u1, u0, v1, v0, udiff, vdiff, high, mid, low;
198 v0 = LHALF(v);
200 low = u0 * v0;
210 if (v0 >= v1)
211 vdiff = v0 - v1;
213 vdiff = v1 - v0, neg ^= 1;