Lines Matching defs:vn1
133 vn1, vn0,
143 vn1 = v >> 32;
153 q1 = un32 / vn1;
154 rhat = un32 - q1*vn1;
158 rhat = rhat + vn1;
164 * (1) q1*vn1 + rhat = un32
165 * (2) q1*vn1*b + rhat*b + un1 = un32*b + un1
171 * (3) q1*vn1*b + q1*vn0 <= un32*b + un1
189 q0 = un21 / vn1;
190 rhat = un21 - q0*vn1;
194 rhat = rhat + vn1;
390 vn1, vn0,
400 vn1 = v >> 16;
410 q1 = un32 / vn1;
411 rhat = un32 - q1*vn1;
415 rhat = rhat + vn1;
421 * (1) q1*vn1 + rhat = un32
422 * (2) q1*vn1*b + rhat*b + un1 = un32*b + un1
428 * (3) q1*vn1*b + q1*vn0 <= un32*b + un1
446 q0 = un21 / vn1;
447 rhat = un21 - q0*vn1;
451 rhat = rhat + vn1;
