279 INLINE bits32 extractFloat64Frac1( float64 a )  in extractFloat64Frac1()  function
1415     aSig1 = extractFloat64Frac1( a );  in float64_to_int32()
1488     aSig1 = extractFloat64Frac1( a );  in float64_to_int32_round_to_zero()
1538     aSig1 = extractFloat64Frac1( a );  in float64_to_float32()
1575                  && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) ) {  in float64_round_to_int()
1613                      && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) )  in float64_round_to_int()
1673     aSig1 = extractFloat64Frac1( a );  in addFloat64Sigs()
1676     bSig1 = extractFloat64Frac1( b );  in addFloat64Sigs()
1751     aSig1 = extractFloat64Frac1( a );  in subFloat64Sigs()
1754     bSig1 = extractFloat64Frac1( b );  in subFloat64Sigs()
1875     aSig1 = extractFloat64Frac1( a );  in float64_mul()
1879     bSig1 = extractFloat64Frac1( b );  in float64_mul()
1938     aSig1 = extractFloat64Frac1( a );  in float64_div()
1942     bSig1 = extractFloat64Frac1( b );  in float64_div()
2021     aSig1 = extractFloat64Frac1( a );  in float64_rem()
2025     bSig1 = extractFloat64Frac1( b );  in float64_rem()
2125     aSig1 = extractFloat64Frac1( a );  in float64_sqrt()
2191               && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )  in float64_eq()
2193               && ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )  in float64_eq()
2218               && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )  in float64_le()
2220               && ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )  in float64_le()
2247               && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )  in float64_lt()
2249               && ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )  in float64_lt()
2278               && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )  in float64_eq_signaling()
2280               && ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )  in float64_eq_signaling()
2302               && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )  in float64_le_quiet()
2304               && ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )  in float64_le_quiet()
2331               && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )  in float64_lt_quiet()
2333               && ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )  in float64_lt_quiet()