Lines Matching refs:un32
135 un32, un21, un10,
147 un32 = (u1 << s) | t;
153 q1 = un32 / vn1;
154 rhat = un32 - q1*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
172 * (4) q1*v <= un32*b + un1
173 * (5) 0 <= un32*b + un1 - q1*v
181 * (6) un32*b + un1 - q1*v <= UINT64_MAX
184 * of un32*b and q1*v can be discarded without any effect
187 un21 = un32*b + un1 - q1*v;
392 un32, un21, un10,
404 un32 = (u1 << s) | t;
410 q1 = un32 / vn1;
411 rhat = un32 - q1*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
429 * (4) q1*v <= un32*b + un1
430 * (5) 0 <= un32*b + un1 - q1*v
438 * (6) un32*b + un1 - q1*v <= UINT32_MAX
441 * of un32*b and q1*v can be discarded without any effect
444 un21 = un32*b + un1 - q1*v;
