77 float64 packFloat64(flag zSign, int16 zExp, bits64 zSig);
79 float32 packFloat32(flag zSign, int16 zExp, bits32 zSig);
98 static float64 normalizeRoundAndPackFloat64(flag zSign, int16 zExp,
100 static float64 subFloat64Sigs(float64 a, float64 b, flag zSign);
101 static float64 addFloat64Sigs(float64 a, float64 b, flag zSign);
102 static float32 roundAndPackFloat32(flag zSign, int16 zExp, bits32 zSig);
103 static float32 normalizeRoundAndPackFloat32(flag zSign, int16 zExp,
105 static float64 roundAndPackFloat64(flag zSign, int16 zExp, bits64 zSig);
106 static float32 subFloat32Sigs(float32 a, float32 b, flag zSign);
107 static float32 addFloat32Sigs(float32 a, float32 b, flag zSign);
144 float64 packFloat64(flag zSign, int16 zExp, bits64 zSig)  in packFloat64()  argument
146 	return (((bits64) zSign) << 63) + (((bits64) zExp) << 52) + zSig;  in packFloat64()
214 static float64 normalizeRoundAndPackFloat64(flag zSign, int16 zExp, bits64 zSig)  in normalizeRoundAndPackFloat64()  argument
219 	return roundAndPackFloat64(zSign, zExp - shiftCount,  in normalizeRoundAndPackFloat64()
224 static float64 subFloat64Sigs(float64 a, float64 b, flag zSign)  in subFloat64Sigs()  argument
252 		return packFloat64(zSign ^ 1, 0x7FF, 0);  in subFloat64Sigs()
264 	zSign ^= 1;  in subFloat64Sigs()
282 	return normalizeRoundAndPackFloat64(zSign, zExp, zSig);  in subFloat64Sigs()
285 static float64 addFloat64Sigs(float64 a, float64 b, flag zSign)  in addFloat64Sigs()  argument
311 			return packFloat64(zSign, 0x7FF, 0);  in addFloat64Sigs()
325 			return packFloat64(zSign, 0, (aSig + bSig) >> 9);  in addFloat64Sigs()
338 	return roundAndPackFloat64(zSign, zExp, zSig);  in addFloat64Sigs()
342 float32 packFloat32(flag zSign, int16 zExp, bits32 zSig)  in packFloat32()  argument
344 	return (((bits32) zSign) << 31) + (((bits32) zExp) << 23) + zSig;  in packFloat32()
360 static float32 roundAndPackFloat32(flag zSign, int16 zExp, bits32 zSig)  in roundAndPackFloat32()  argument
379 			return packFloat32(zSign, 0xFF,  in roundAndPackFloat32()
398 	return packFloat32(zSign, zExp, zSig);  in roundAndPackFloat32()
402 static float32 normalizeRoundAndPackFloat32(flag zSign, int16 zExp, bits32 zSig)  in normalizeRoundAndPackFloat32()  argument
407 	return roundAndPackFloat32(zSign, zExp - shiftCount,  in normalizeRoundAndPackFloat32()
411 static float64 roundAndPackFloat64(flag zSign, int16 zExp, bits64 zSig)  in roundAndPackFloat64()  argument
430 			return packFloat64(zSign, 0x7FF,  in roundAndPackFloat64()
450 	return packFloat64(zSign, zExp, zSig);  in roundAndPackFloat64()
454 static float32 subFloat32Sigs(float32 a, float32 b, flag zSign)  in subFloat32Sigs()  argument
482 		return packFloat32(zSign ^ 1, 0xFF, 0);  in subFloat32Sigs()
494 	zSign ^= 1;  in subFloat32Sigs()
512 	return normalizeRoundAndPackFloat32(zSign, zExp, zSig);  in subFloat32Sigs()
516 static float32 addFloat32Sigs(float32 a, float32 b, flag zSign)  in addFloat32Sigs()  argument
542 			return packFloat32(zSign, 0xFF, 0);  in addFloat32Sigs()
556 			return packFloat32(zSign, 0, (aSig + bSig) >> 6);  in addFloat32Sigs()
569 	return roundAndPackFloat32(zSign, zExp, zSig);  in addFloat32Sigs()
718 	flag aSign, bSign, zSign;  in float64_div()  local
730 	zSign = aSign ^ bSign;  in float64_div()
734 		return packFloat64(zSign, 0x7FF, 0);  in float64_div()
737 		return packFloat64(zSign, 0, 0);  in float64_div()
744 			return packFloat64(zSign, 0x7FF, 0);  in float64_div()
750 			return packFloat64(zSign, 0, 0);  in float64_div()
770 	return roundAndPackFloat64(zSign, zExp, zSig);  in float64_div()
776 	flag aSign, bSign, zSign;  in float32_div()  local
787 	zSign = aSign ^ bSign;  in float32_div()
791 		return packFloat32(zSign, 0xFF, 0);  in float32_div()
794 		return packFloat32(zSign, 0, 0);  in float32_div()
798 			return packFloat32(zSign, 0xFF, 0);  in float32_div()
804 			return packFloat32(zSign, 0, 0);  in float32_div()
820 	return roundAndPackFloat32(zSign, zExp, (bits32)zSig);  in float32_div()
826 	char aSign, bSign, zSign;  in float32_mul()  local
838 	zSign = aSign ^ bSign;  in float32_mul()
841 			return packFloat32(zSign, 0, 0);  in float32_mul()
846 			return packFloat32(zSign, 0, 0);  in float32_mul()
850 		return roundAndPackFloat32(zSign, 0xff, 0);  in float32_mul()
861 	return roundAndPackFloat32(zSign, zExp, zSig);  in float32_mul()
867 	char aSign, bSign, zSign;  in float64_mul()  local
877 	zSign = aSign ^ bSign;  in float64_mul()
881 			return packFloat64(zSign, 0, 0);  in float64_mul()
886 			return packFloat64(zSign, 0, 0);  in float64_mul()
890 		return roundAndPackFloat64(zSign, 0x7ff, 0);  in float64_mul()
901 	return roundAndPackFloat64(zSign, zExp, zSig0);  in float64_mul()