52 typedef unsigned long long int bits64;  typedef
71 bits64 extractFloat64Frac(float64 a);
77 float64 packFloat64(flag zSign, int16 zExp, bits64 zSig);
78 void shift64RightJamming(bits64 a, int16 count, bits64 * zPtr);
90 void add128(bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 * z0Ptr,
91 		   bits64 * z1Ptr);
92 void sub128(bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 * z0Ptr,
93 		   bits64 * z1Ptr);
94 void mul64To128(bits64 a, bits64 b, bits64 * z0Ptr, bits64 * z1Ptr);
97 static int8 countLeadingZeros64(bits64 a);
99 					    bits64 zSig);
105 static float64 roundAndPackFloat64(flag zSign, int16 zExp, bits64 zSig);
108 static void normalizeFloat64Subnormal(bits64 aSig, int16 * zExpPtr,
109 				      bits64 * zSigPtr);
110 static bits64 estimateDiv128To64(bits64 a0, bits64 a1, bits64 b);
114 bits64 extractFloat64Frac(float64 a)  in extractFloat64Frac()
144 float64 packFloat64(flag zSign, int16 zExp, bits64 zSig)  in packFloat64()
146 	return (((bits64) zSign) << 63) + (((bits64) zExp) << 52) + zSig;  in packFloat64()
149 void shift64RightJamming(bits64 a, int16 count, bits64 * zPtr)  in shift64RightJamming()
151 	bits64 z;  in shift64RightJamming()
199 static int8 countLeadingZeros64(bits64 a)  in countLeadingZeros64()
204 	if (a < ((bits64) 1) << 32) {  in countLeadingZeros64()
214 static float64 normalizeRoundAndPackFloat64(flag zSign, int16 zExp, bits64 zSig)  in normalizeRoundAndPackFloat64()
227 	bits64 aSig, bSig, zSig;  in subFloat64Sigs()
288 	bits64 aSig, bSig, zSig;  in addFloat64Sigs()
411 static float64 roundAndPackFloat64(flag zSign, int16 zExp, bits64 zSig)  in roundAndPackFloat64()
629 normalizeFloat64Subnormal(bits64 aSig, int16 * zExpPtr, bits64 * zSigPtr)  in normalizeFloat64Subnormal()
638 void add128(bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 * z0Ptr,  in add128()
639 		   bits64 * z1Ptr)  in add128()
641 	bits64 z1;  in add128()
649 sub128(bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 * z0Ptr,  in sub128()
650        bits64 * z1Ptr)  in sub128()
656 static bits64 estimateDiv128To64(bits64 a0, bits64 a1, bits64 b)  in estimateDiv128To64()
658 	bits64 b0, b1;  in estimateDiv128To64()
659 	bits64 rem0, rem1, term0, term1;  in estimateDiv128To64()
660 	bits64 z, tmp;  in estimateDiv128To64()
682 void mul64To128(bits64 a, bits64 b, bits64 * z0Ptr, bits64 * z1Ptr)  in mul64To128()
685 	bits64 z0, zMiddleA, zMiddleB, z1;  in mul64To128()
691 	z1 = ((bits64) aLow) * bLow;  in mul64To128()
692 	zMiddleA = ((bits64) aLow) * bHigh;  in mul64To128()
693 	zMiddleB = ((bits64) aHigh) * bLow;  in mul64To128()
694 	z0 = ((bits64) aHigh) * bHigh;  in mul64To128()
696 	z0 += (((bits64) (zMiddleA < zMiddleB)) << 32) + (zMiddleA >> 32);  in mul64To128()
720 	bits64 aSig, bSig, zSig;  in float64_div()
721 	bits64 rem0, rem1;  in float64_div()
722 	bits64 term0, term1;  in float64_div()
814 	zSig = (((bits64) aSig) << 32);  in float32_div()
818 		zSig |= (((bits64) bSig) * zSig != ((bits64) aSig) << 32);  in float32_div()
916     bits64 aSig;  in float64_to_float32()