Lines Matching defs:v0
59 * v = 2^n v1 * v0
63 * uv = 2^2n u1 v1 + 2^n u1 v0 + 2^n v1 u0 + u0 v0
64 * = 2^2n u1 v1 + 2^n (u1 v0 + v1 u0) + u0 v0
67 * and add 2^n u0 v0 to the last term and subtract it from the middle.
71 * (2^n) (u1 v0 - u1 v1 + u0 v1 - u0 v0) +
72 * (2^n + 1) (u0 v0)
77 * (2^n) (u1 - u0) (v0 - v1) + [(u1-u0)... = mid]
78 * (2^n + 1) (u0 v0) [u0v0 = low]
80 * The terms (u1 v1), (u1 - u0) (v0 - v1), and (u0 v0) can all be done
82 * of (u1 - u0) or (v0 - v1) may be negative.)
118 #define v0 v.ul[L]
122 * u1, u0, v1, and v0 will be directly accessible through the
138 * are small. Here the product is just u0*v0.
140 prod.q = __lmulq(u0, v0);
148 low.q = __lmulq(u0, v0);
154 if (v0 >= v1)
155 vdiff = v0 - v1;
157 vdiff = v1 - v0, negmid ^= 1;
173 #undef v0
196 u_int u1, u0, v1, v0, udiff, vdiff, high, mid, low;
204 v0 = LHALF(v);
206 low = u0 * v0;
216 if (v0 >= v1)
217 vdiff = v0 - v1;
219 vdiff = v1 - v0, neg ^= 1;