config/libbid/bid64_round_integral.c

56   UINT128 P128;
186       __mul_64x64_to_128 (P128, C1, ten2mk64[ind - 1]);
199 	res = P128.w[1];
201 	fstar.w[0] = P128.w[0];
204 	res = (P128.w[1] >> shift);
205 	fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
206 	fstar.w[0] = P128.w[0];
272       __mul_64x64_to_128 (P128, C1, ten2mk64[ind - 1]);
283 	res = P128.w[1];
285 	fstar.w[0] = P128.w[0];
288 	res = (P128.w[1] >> shift);
289 	fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
290 	fstar.w[0] = P128.w[0];
349       __mul_64x64_to_128 (P128, C1, ten2mk64[ind - 1]);
357 	res = P128.w[1];
359 	fstar.w[0] = P128.w[0];
362 	res = (P128.w[1] >> shift);
363 	fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
364 	fstar.w[0] = P128.w[0];
402       __mul_64x64_to_128 (P128, C1, ten2mk64[ind - 1]);
410 	res = P128.w[1];
412 	fstar.w[0] = P128.w[0];
415 	res = (P128.w[1] >> shift);
416 	fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
417 	fstar.w[0] = P128.w[0];
455       __mul_64x64_to_128 (P128, C1, ten2mk64[ind - 1]);
463 	res = P128.w[1];
465 	fstar.w[0] = P128.w[0];
468 	res = (P128.w[1] >> shift);
469 	fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
470 	fstar.w[0] = P128.w[0];
516   UINT128 P128;
602     __mul_64x64_to_128 (P128, C1, ten2mk64[ind - 1]);
615       res = P128.w[1];
617       fstar.w[0] = P128.w[0];
620       res = (P128.w[1] >> shift);
621       fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
622       fstar.w[0] = P128.w[0];
667   UINT128 P128;
755     __mul_64x64_to_128 (P128, C1, ten2mk64[ind - 1]);
763       res = P128.w[1];
765       fstar.w[0] = P128.w[0];
768       res = (P128.w[1] >> shift);
769       fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
770       fstar.w[0] = P128.w[0];
819   UINT128 P128;
907     __mul_64x64_to_128 (P128, C1, ten2mk64[ind - 1]);
915       res = P128.w[1];
917       fstar.w[0] = P128.w[0];
920       res = (P128.w[1] >> shift);
921       fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
922       fstar.w[0] = P128.w[0];
970   UINT128 P128;
1054     __mul_64x64_to_128 (P128, C1, ten2mk64[ind - 1]);
1062       res = P128.w[1];
1064       // redundant fstar.w[0] = P128.w[0];
1067       res = (P128.w[1] >> shift);
1068       // redundant fstar.w[1] = P128.w[1] & maskhigh128[ind - 1];
1069       // redundant fstar.w[0] = P128.w[0];
1110   UINT128 P128;
1196     __mul_64x64_to_128 (P128, C1, ten2mk64[ind - 1]);
1207       res = P128.w[1];
1210       res = (P128.w[1] >> shift);