config/libbid/bid128_add.c

695 	    // 64 x 64 C2_lo * ten2k64[scale]
696 	    __mul_64x64_to_128MACH (res, C2_lo, ten2k64[scale]);
702 	  // 64 x 128 ten2k64[scale] * C2
705 	  __mul_128x64_to_128 (res, ten2k64[scale], C2);
768 	  // 64 x 64 C1_lo * ten2k64[scale]
769 	  __mul_64x64_to_128MACH (res, C1_lo, ten2k64[scale]);
775 	// 64 x 128 ten2k64[scale] * C1
778 	__mul_128x64_to_128 (res, ten2k64[scale], C1);
888 	      __mul_64x64_to_128MACH (C1, ten2k64[scale], C1_lo);
892 	      C1_lo = C1_lo * ten2k64[scale - 19];
893 	      __mul_64x64_to_128MACH (C1, ten2k64[19], C1_lo);
899 	    // C1 = ten2k64[P34 - q1] * C1
900 	    __mul_128x64_to_128 (C1, ten2k64[P34 - q1], C1);
1001 				     || C1_lo != ten2k64[q1 - 1]))
1020 		    __mul_64x64_to_128MACH (C1, ten2k64[scale], C1_lo);
1024 		    C1_lo = C1_lo * ten2k64[scale - 19];
1025 		    __mul_64x64_to_128MACH (C1, ten2k64[19], C1_lo);
1031 		  // C1 = ten2k64[P34 - q1] * C1
1032 		  __mul_128x64_to_128 (C1, ten2k64[P34 - q1], C1);
1104 		    __mul_64x64_to_128MACH (C1, ten2k64[scale], C1_lo);
1108 		    C1_lo = C1_lo * ten2k64[scale - 19];
1109 		    __mul_64x64_to_128MACH (C1, ten2k64[19], C1_lo);
1115 		  // C1 = ten2k64[P34 - q1] * C1
1116 		  __mul_128x64_to_128 (C1, ten2k64[P34 - q1], C1);
1191 		    __mul_64x64_to_128MACH (C1, ten2k64[scale], C1_lo);
1195 		    C1_lo = C1_lo * ten2k64[scale - 19];
1196 		    __mul_64x64_to_128MACH (C1, ten2k64[19], C1_lo);
1202 		  // C1 = ten2k64[P34 - q1] * C1
1203 		  __mul_128x64_to_128 (C1, ten2k64[P34 - q1], C1);
1289 		    __mul_64x64_to_128MACH (C1, ten2k64[scale], C1_lo);
1293 		    C1_lo = C1_lo * ten2k64[scale - 19];
1294 		    __mul_64x64_to_128MACH (C1, ten2k64[19], C1_lo);
1300 		  // C1 = ten2k64[P34 - q1] * C1
1301 		  __mul_128x64_to_128 (C1, ten2k64[P34 - q1], C1);
1375 		    __mul_64x64_to_128MACH (C1, ten2k64[scale], C1_lo);
1379 		    C1_lo = C1_lo * ten2k64[scale - 19];
1380 		    __mul_64x64_to_128MACH (C1, ten2k64[19], C1_lo);
1386 		  // C1 = ten2k64[P34 - q1] * C1
1387 		  __mul_128x64_to_128 (C1, ten2k64[P34 - q1], C1);
1457 		    __mul_64x64_to_128MACH (C1, ten2k64[scale], C1_lo);
1461 		    C1_lo = C1_lo * ten2k64[scale - 19];
1462 		    __mul_64x64_to_128MACH (C1, ten2k64[19], C1_lo);
1468 		  // C1 = ten2k64[P34 - q1] * C1
1469 		  __mul_128x64_to_128 (C1, ten2k64[P34 - q1], C1);
1557 	      __mul_64x64_to_128MACH (C1, C1_lo, ten2k64[scale]);
1561 	      __mul_128x64_to_128 (C1, ten2k64[scale], C1);
1847 	      __mul_64x64_to_128MACH (C1, C1_lo, ten2k64[scale]);
1851 	      __mul_128x64_to_128 (C1, ten2k64[scale], C1);
1909 	      __mul_64x64_to_128MACH (C1, C1_lo, ten2k64[scale]);
1913 	      __mul_128x64_to_128 (C1, ten2k64[scale], C1);
2150 	      __mul_64x64_to_128MACH (C1, C1_lo, ten2k64[scale]);
2154 	      __mul_128x64_to_128 (C1, ten2k64[scale], C1);
2674 	    __mul_64x64_to_128MACH (C1, C1_lo, ten2k64[scale]);
2678 	    __mul_128x64_to_128 (C1, ten2k64[scale], C1);