config/libbid/bid64_to_uint32.c

52   UINT64 Cstar;			// C* represents up to 16 decimal digits ~ 54 bits
218       Cstar = P128.w[1];
235       Cstar = Cstar >> shift;
245 	if (Cstar & 0x01) {	// Cstar is odd; MP in [EVEN, ODD]
247 	  Cstar--;	// Cstar is now even
250       res = Cstar;	// the result is positive
289   UINT64 Cstar;			// C* represents up to 16 decimal digits ~ 54 bits
459       Cstar = P128.w[1];
476       Cstar = Cstar >> shift;
522 	if (Cstar & 0x01) {	// Cstar is odd; MP in [EVEN, ODD]
524 	  Cstar--;	// Cstar is now even
527       res = Cstar;	// the result is positive
566   UINT64 Cstar;			// C* represents up to 16 decimal digits ~ 54 bits
702       Cstar = P128.w[1];
711       Cstar = Cstar >> shift;
713       res = Cstar;	// the result is positive
752   UINT64 Cstar;			// C* represents up to 16 decimal digits ~ 54 bits
891       Cstar = P128.w[1];
902       Cstar = Cstar >> shift;
924       res = Cstar;	// the result is positive
963   UINT64 Cstar;			// C* represents up to 16 decimal digits ~ 54 bits
1112       Cstar = P128.w[1];
1123       Cstar = Cstar >> shift;
1133 	  Cstar++;
1139 	  Cstar++;
1143       res = Cstar;	// the result is positive
1182   UINT64 Cstar;			// C* represents up to 16 decimal digits ~ 54 bits
1333       Cstar = P128.w[1];
1344       Cstar = Cstar >> shift;
1354 	  Cstar++;
1362 	  Cstar++;
1368       res = Cstar;	// the result is positive
1407   UINT64 Cstar;			// C* represents up to 16 decimal digits ~ 54 bits
1552       Cstar = P128.w[1];
1561       Cstar = Cstar >> shift;
1563       res = Cstar;	// the result is positive
1602   UINT64 Cstar;			// C* represents up to 16 decimal digits ~ 54 bits
1750       Cstar = P128.w[1];
1761       Cstar = Cstar >> shift;
1783       res = Cstar;	// the result is positive
1822   UINT64 Cstar;			// C* represents up to 16 decimal digits ~ 54 bits
1987       Cstar = P128.w[1];
1996       Cstar = Cstar >> shift;
1999       res = Cstar;	// the result is positive
2038   UINT64 Cstar;			// C* represents up to 16 decimal digits ~ 54 bits
2208       Cstar = P128.w[1];
2219       Cstar = Cstar >> shift;
2259       res = Cstar;	// the result is positive