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,
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);
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()
226 	int16 aExp, bExp, zExp;  in subFloat64Sigs()  local
263 	zExp = bExp;  in subFloat64Sigs()
279 	zExp = aExp;  in subFloat64Sigs()
281 	--zExp;  in subFloat64Sigs()
282 	return normalizeRoundAndPackFloat64(zSign, zExp, zSig);  in subFloat64Sigs()
287 	int16 aExp, bExp, zExp;  in addFloat64Sigs()  local
308 		zExp = aExp;  in addFloat64Sigs()
319 		zExp = bExp;  in addFloat64Sigs()
327 		zExp = aExp;  in addFloat64Sigs()
332 	--zExp;  in addFloat64Sigs()
335 		++zExp;  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
373 	if (0xFD <= (bits16) zExp) {  in roundAndPackFloat32()
374 		if ((0xFD < zExp)  in roundAndPackFloat32()
375 		    || ((zExp == 0xFD)  in roundAndPackFloat32()
382 		if (zExp < 0) {  in roundAndPackFloat32()
383 			isTiny = (zExp < -1)  in roundAndPackFloat32()
385 			shift32RightJamming(zSig, -zExp, &zSig);  in roundAndPackFloat32()
386 			zExp = 0;  in roundAndPackFloat32()
397 		zExp = 0;  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
424 	if (0x7FD <= (bits16) zExp) {  in roundAndPackFloat64()
425 		if ((0x7FD < zExp)  in roundAndPackFloat64()
426 		    || ((zExp == 0x7FD)  in roundAndPackFloat64()
433 		if (zExp < 0) {  in roundAndPackFloat64()
434 			isTiny = (zExp < -1)  in roundAndPackFloat64()
437 			shift64RightJamming(zSig, -zExp, &zSig);  in roundAndPackFloat64()
438 			zExp = 0;  in roundAndPackFloat64()
449 		zExp = 0;  in roundAndPackFloat64()
450 	return packFloat64(zSign, zExp, zSig);  in roundAndPackFloat64()
456 	int16 aExp, bExp, zExp;  in subFloat32Sigs()  local
493 	zExp = bExp;  in subFloat32Sigs()
509 	zExp = aExp;  in subFloat32Sigs()
511 	--zExp;  in subFloat32Sigs()
512 	return normalizeRoundAndPackFloat32(zSign, zExp, zSig);  in subFloat32Sigs()
518 	int16 aExp, bExp, zExp;  in addFloat32Sigs()  local
539 		zExp = aExp;  in addFloat32Sigs()
550 		zExp = bExp;  in addFloat32Sigs()
558 		zExp = aExp;  in addFloat32Sigs()
563 	--zExp;  in addFloat32Sigs()
566 		++zExp;  in addFloat32Sigs()
569 	return roundAndPackFloat32(zSign, zExp, zSig);  in addFloat32Sigs()
719 	int16 aExp, bExp, zExp;  in float64_div()  local
753 	zExp = aExp - bExp + 0x3FD;  in float64_div()
758 		++zExp;  in float64_div()
770 	return roundAndPackFloat64(zSign, zExp, zSig);  in float64_div()
777 	int16 aExp, bExp, zExp;  in float32_div()  local
807 	zExp = aExp - bExp + 0x7D;  in float32_div()
812 		++zExp;  in float32_div()
820 	return roundAndPackFloat32(zSign, zExp, (bits32)zSig);  in float32_div()
827 	int aExp, bExp, zExp;  in float32_mul()  local
852 	zExp = aExp + bExp - 0x7F;  in float32_mul()
859 		--zExp;  in float32_mul()
861 	return roundAndPackFloat32(zSign, zExp, zSig);  in float32_mul()
868 	int aExp, bExp, zExp;  in float64_mul()  local
892 	zExp = aExp + bExp - 0x3FF;  in float64_mul()
899 		--zExp;  in float64_mul()
901 	return roundAndPackFloat64(zSign, zExp, zSig0);  in float64_mul()