81 float64 float64_sub(float64 a, float64 b);
82 float32 float32_sub(float32 a, float32 b);
83 float32 float32_add(float32 a, float32 b);
84 float64 float64_add(float64 a, float64 b);
85 float64 float64_div(float64 a, float64 b);
86 float32 float32_div(float32 a, float32 b);
87 float32 float32_mul(float32 a, float32 b);
88 float64 float64_mul(float64 a, float64 b);
94 void mul64To128(bits64 a, bits64 b, bits64 * z0Ptr, bits64 * z1Ptr);
100 static float64 subFloat64Sigs(float64 a, float64 b, flag zSign);
101 static float64 addFloat64Sigs(float64 a, float64 b, flag zSign);
106 static float32 subFloat32Sigs(float32 a, float32 b, flag zSign);
107 static float32 addFloat32Sigs(float32 a, float32 b, flag zSign);
110 static bits64 estimateDiv128To64(bits64 a0, bits64 a1, bits64 b);
224 static float64 subFloat64Sigs(float64 a, float64 b, flag zSign)  in subFloat64Sigs()  argument
232 	bSig = extractFloat64Frac(b);  in subFloat64Sigs()
233 	bExp = extractFloat64Exp(b);  in subFloat64Sigs()
285 static float64 addFloat64Sigs(float64 a, float64 b, flag zSign)  in addFloat64Sigs()  argument
293 	bSig = extractFloat64Frac(b);  in addFloat64Sigs()
294 	bExp = extractFloat64Exp(b);  in addFloat64Sigs()
454 static float32 subFloat32Sigs(float32 a, float32 b, flag zSign)  in subFloat32Sigs()  argument
462 	bSig = extractFloat32Frac(b);  in subFloat32Sigs()
463 	bExp = extractFloat32Exp(b);  in subFloat32Sigs()
516 static float32 addFloat32Sigs(float32 a, float32 b, flag zSign)  in addFloat32Sigs()  argument
524 	bSig = extractFloat32Frac(b);  in addFloat32Sigs()
525 	bExp = extractFloat32Exp(b);  in addFloat32Sigs()
573 float64 float64_sub(float64 a, float64 b)  in float64_sub()  argument
578 	bSign = extractFloat64Sign(b);  in float64_sub()
580 		return subFloat64Sigs(a, b, aSign);  in float64_sub()
582 		return addFloat64Sigs(a, b, aSign);  in float64_sub()
587 float32 float32_sub(float32 a, float32 b)  in float32_sub()  argument
592 	bSign = extractFloat32Sign(b);  in float32_sub()
594 		return subFloat32Sigs(a, b, aSign);  in float32_sub()
596 		return addFloat32Sigs(a, b, aSign);  in float32_sub()
601 float32 float32_add(float32 a, float32 b)  in float32_add()  argument
606 	bSign = extractFloat32Sign(b);  in float32_add()
608 		return addFloat32Sigs(a, b, aSign);  in float32_add()
610 		return subFloat32Sigs(a, b, aSign);  in float32_add()
615 float64 float64_add(float64 a, float64 b)  in float64_add()  argument
620 	bSign = extractFloat64Sign(b);  in float64_add()
622 		return addFloat64Sigs(a, b, aSign);  in float64_add()
624 		return subFloat64Sigs(a, b, aSign);  in float64_add()
656 static bits64 estimateDiv128To64(bits64 a0, bits64 a1, bits64 b)  in estimateDiv128To64()  argument
661 	if (b <= a0)  in estimateDiv128To64()
663 	b0 = b >> 32;  in estimateDiv128To64()
668 	mul64To128(b, z, &term0, &term1);  in estimateDiv128To64()
672 		b1 = b << 32;  in estimateDiv128To64()
682 void mul64To128(bits64 a, bits64 b, bits64 * z0Ptr, bits64 * z1Ptr)  in mul64To128()  argument
689 	bLow = b;  in mul64To128()
690 	bHigh = b >> 32;  in mul64To128()
716 float64 float64_div(float64 a, float64 b)  in float64_div()  argument
727 	bSig = extractFloat64Frac(b);  in float64_div()
728 	bExp = extractFloat64Exp(b);  in float64_div()
729 	bSign = extractFloat64Sign(b);  in float64_div()
774 float32 float32_div(float32 a, float32 b)  in float32_div()  argument
784 	bSig = extractFloat32Frac(b);  in float32_div()
785 	bExp = extractFloat32Exp(b);  in float32_div()
786 	bSign = extractFloat32Sign(b);  in float32_div()
824 float32 float32_mul(float32 a, float32 b)  in float32_mul()  argument
835 	bSig = extractFloat32Frac(b);  in float32_mul()
836 	bExp = extractFloat32Exp(b);  in float32_mul()
837 	bSign = extractFloat32Sign(b);  in float32_mul()
865 float64 float64_mul(float64 a, float64 b)  in float64_mul()  argument
874 	bSig = extractFloat64Frac(b);  in float64_mul()
875 	bExp = extractFloat64Exp(b);  in float64_mul()
876 	bSign = extractFloat64Sign(b);  in float64_mul()