config/libbid/bid128_to_int32.c

42      UINT128 Cstar;		// C* represents up to 34 decimal digits ~ 113 bits
273 	Cstar.w[1] = P256.w[3];
274 	Cstar.w[0] = P256.w[2];
280 	Cstar.w[1] = 0;
281 	Cstar.w[0] = P256.w[3];
302 	Cstar.w[0] =
303 	  (Cstar.w[0] >> shift) | (Cstar.w[1] << (64 - shift));
304 	// redundant, it will be 0! Cstar.w[1] = (Cstar.w[1] >> shift);
306 	Cstar.w[0] = (Cstar.w[0] >> (shift - 64));	// 2 <= shift - 64 <= 38
317 	if (Cstar.w[0] & 0x01) {	// Cstar.w[0] is odd; MP in [EVEN, ODD]
319 	  Cstar.w[0]--;	// Cstar.w[0] is now even
323 	res = -Cstar.w[0];
325 	res = Cstar.w[0];
363      UINT128 Cstar;		// C* represents up to 34 decimal digits ~ 113 bits
598 	Cstar.w[1] = P256.w[3];
599 	Cstar.w[0] = P256.w[2];
605 	Cstar.w[1] = 0;
606 	Cstar.w[0] = P256.w[3];
627 	Cstar.w[0] =
628 	  (Cstar.w[0] >> shift) | (Cstar.w[1] << (64 - shift));
629 	// redundant, it will be 0! Cstar.w[1] = (Cstar.w[1] >> shift);
631 	Cstar.w[0] = (Cstar.w[0] >> (shift - 64));	// 2 <= shift - 64 <= 38
701 	if (Cstar.w[0] & 0x01) {	// Cstar.w[0] is odd; MP in [EVEN, ODD]
703 	  Cstar.w[0]--;	// Cstar.w[0] is now even
707 	res = -Cstar.w[0];
709 	res = Cstar.w[0];
746      UINT128 Cstar;		// C* represents up to 34 decimal digits ~ 113 bits
960 	Cstar.w[1] = P256.w[3];
961 	Cstar.w[0] = P256.w[2];
967 	Cstar.w[1] = 0;
968 	Cstar.w[0] = P256.w[3];
989 	Cstar.w[0] =
990 	  (Cstar.w[0] >> shift) | (Cstar.w[1] << (64 - shift));
991 	// redundant, it will be 0! Cstar.w[1] = (Cstar.w[1] >> shift);
993 	Cstar.w[0] = (Cstar.w[0] >> (shift - 64));	// 2 <= shift - 64 <= 38
1058 	if (Cstar.w[0] & 0x01) {	// Cstar.w[0] is odd; MP in [EVEN, ODD]
1060 	  Cstar.w[0]--;	// Cstar.w[0] is now even
1072 	Cstar.w[0] = Cstar.w[0] + 1;
1075 	Cstar.w[0] = Cstar.w[0] - 1;
1080 	res = -Cstar.w[0];
1082 	res = Cstar.w[0];
1121      UINT128 Cstar;		// C* represents up to 34 decimal digits ~ 113 bits
1337 	Cstar.w[1] = P256.w[3];
1338 	Cstar.w[0] = P256.w[2];
1344 	Cstar.w[1] = 0;
1345 	Cstar.w[0] = P256.w[3];
1366 	Cstar.w[0] =
1367 	  (Cstar.w[0] >> shift) | (Cstar.w[1] << (64 - shift));
1368 	// redundant, it will be 0! Cstar.w[1] = (Cstar.w[1] >> shift);
1370 	Cstar.w[0] = (Cstar.w[0] >> (shift - 64));	// 2 <= shift - 64 <= 38
1447 	if (Cstar.w[0] & 0x01) {	// Cstar.w[0] is odd; MP in [EVEN, ODD]
1449 	  Cstar.w[0]--;	// Cstar.w[0] is now even
1461 	Cstar.w[0] = Cstar.w[0] + 1;
1464 	Cstar.w[0] = Cstar.w[0] - 1;
1469 	res = -Cstar.w[0];
1471 	res = Cstar.w[0];
1508      UINT128 Cstar;		// C* represents up to 34 decimal digits ~ 113 bits
1722 	Cstar.w[1] = P256.w[3];
1723 	Cstar.w[0] = P256.w[2];
1729 	Cstar.w[1] = 0;
1730 	Cstar.w[0] = P256.w[3];
1751 	Cstar.w[0] =
1752 	  (Cstar.w[0] >> shift) | (Cstar.w[1] << (64 - shift));
1753 	// redundant, it will be 0! Cstar.w[1] = (Cstar.w[1] >> shift);
1755 	Cstar.w[0] = (Cstar.w[0] >> (shift - 64));	// 2 <= shift - 64 <= 38
1820 	if (Cstar.w[0] & 0x01) {	// Cstar.w[0] is odd; MP in [EVEN, ODD]
1822 	  Cstar.w[0]--;	// Cstar.w[0] is now even
1834 	Cstar.w[0] = Cstar.w[0] - 1;
1837 	Cstar.w[0] = Cstar.w[0] + 1;
1842 	res = -Cstar.w[0];
1844 	res = Cstar.w[0];
1881      UINT128 Cstar;		// C* represents up to 34 decimal digits ~ 113 bits
2097 	Cstar.w[1] = P256.w[3];
2098 	Cstar.w[0] = P256.w[2];
2104 	Cstar.w[1] = 0;
2105 	Cstar.w[0] = P256.w[3];
2126 	Cstar.w[0] =
2127 	  (Cstar.w[0] >> shift) | (Cstar.w[1] << (64 - shift));
2128 	// redundant, it will be 0! Cstar.w[1] = (Cstar.w[1] >> shift);
2130 	Cstar.w[0] = (Cstar.w[0] >> (shift - 64));	// 2 <= shift - 64 <= 38
2207 	if (Cstar.w[0] & 0x01) {	// Cstar.w[0] is odd; MP in [EVEN, ODD]
2209 	  Cstar.w[0]--;	// Cstar.w[0] is now even
2221 	Cstar.w[0] = Cstar.w[0] - 1;
2224 	Cstar.w[0] = Cstar.w[0] + 1;
2229 	res = -Cstar.w[0];
2231 	res = Cstar.w[0];
2268      UINT128 Cstar;		// C* represents up to 34 decimal digits ~ 113 bits
2478 	Cstar.w[1] = P256.w[3];
2479 	Cstar.w[0] = P256.w[2];
2485 	Cstar.w[1] = 0;
2486 	Cstar.w[0] = P256.w[3];
2507 	Cstar.w[0] =
2508 	  (Cstar.w[0] >> shift) | (Cstar.w[1] << (64 - shift));
2509 	// redundant, it will be 0! Cstar.w[1] = (Cstar.w[1] >> shift);
2511 	Cstar.w[0] = (Cstar.w[0] >> (shift - 64));	// 2 <= shift - 64 <= 38
2573 	if (Cstar.w[0] & 0x01) {	// Cstar.w[0] is odd; MP in [EVEN, ODD]
2575 	  Cstar.w[0]--;	// Cstar.w[0] is now even
2584 	Cstar.w[0] = Cstar.w[0] - 1;
2589 	res = -Cstar.w[0];
2591 	res = Cstar.w[0];
2628      UINT128 Cstar;		// C* represents up to 34 decimal digits ~ 113 bits
2840 	Cstar.w[1] = P256.w[3];
2841 	Cstar.w[0] = P256.w[2];
2847 	Cstar.w[1] = 0;
2848 	Cstar.w[0] = P256.w[3];
2869 	Cstar.w[0] =
2870 	  (Cstar.w[0] >> shift) | (Cstar.w[1] << (64 - shift));
2871 	// redundant, it will be 0! Cstar.w[1] = (Cstar.w[1] >> shift);
2873 	Cstar.w[0] = (Cstar.w[0] >> (shift - 64));	// 2 <= shift - 64 <= 38
2948 	if (Cstar.w[0] & 0x01) {	// Cstar.w[0] is odd; MP in [EVEN, ODD]
2950 	  Cstar.w[0]--;	// Cstar.w[0] is now even
2959 	Cstar.w[0] = Cstar.w[0] - 1;
2964 	res = -Cstar.w[0];
2966 	res = Cstar.w[0];
3004      UINT128 Cstar;		// C* represents up to 34 decimal digits ~ 113 bits
3235 	Cstar.w[1] = P256.w[3];
3236 	Cstar.w[0] = P256.w[2];
3238 	Cstar.w[1] = 0;
3239 	Cstar.w[0] = P256.w[3];
3256 	Cstar.w[0] =
3257 	  (Cstar.w[0] >> shift) | (Cstar.w[1] << (64 - shift));
3258 	// redundant, it will be 0! Cstar.w[1] = (Cstar.w[1] >> shift);
3260 	Cstar.w[0] = (Cstar.w[0] >> (shift - 64));	// 2 <= shift - 64 <= 38
3264 	res = -Cstar.w[0];
3266 	res = Cstar.w[0];
3305      UINT128 Cstar;		// C* represents up to 34 decimal digits ~ 113 bits
3541 	Cstar.w[1] = P256.w[3];
3542 	Cstar.w[0] = P256.w[2];
3548 	Cstar.w[1] = 0;
3549 	Cstar.w[0] = P256.w[3];
3570 	Cstar.w[0] =
3571 	  (Cstar.w[0] >> shift) | (Cstar.w[1] << (64 - shift));
3572 	// redundant, it will be 0! Cstar.w[1] = (Cstar.w[1] >> shift);
3574 	Cstar.w[0] = (Cstar.w[0] >> (shift - 64));	// 2 <= shift - 64 <= 38
3578 	res = -Cstar.w[0];
3580 	res = Cstar.w[0];