276 INLINE bits32 extractFloat64Frac1( float64 a )  in extractFloat64Frac1()  function
1412     aSig1 = extractFloat64Frac1( a );  in float64_to_int32()
1485     aSig1 = extractFloat64Frac1( a );  in float64_to_int32_round_to_zero()
1535     aSig1 = extractFloat64Frac1( a );  in float64_to_float32()
1572                  && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) ) {  in float64_round_to_int()
1610                      && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) )  in float64_round_to_int()
1670     aSig1 = extractFloat64Frac1( a );  in addFloat64Sigs()
1673     bSig1 = extractFloat64Frac1( b );  in addFloat64Sigs()
1748     aSig1 = extractFloat64Frac1( a );  in subFloat64Sigs()
1751     bSig1 = extractFloat64Frac1( b );  in subFloat64Sigs()
1872     aSig1 = extractFloat64Frac1( a );  in float64_mul()
1876     bSig1 = extractFloat64Frac1( b );  in float64_mul()
1935     aSig1 = extractFloat64Frac1( a );  in float64_div()
1939     bSig1 = extractFloat64Frac1( b );  in float64_div()
2018     aSig1 = extractFloat64Frac1( a );  in float64_rem()
2022     bSig1 = extractFloat64Frac1( b );  in float64_rem()
2122     aSig1 = extractFloat64Frac1( a );  in float64_sqrt()
2188               && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )  in float64_eq()
2190               && ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )  in float64_eq()
2215               && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )  in float64_le()
2217               && ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )  in float64_le()
2244               && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )  in float64_lt()
2246               && ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )  in float64_lt()
2275               && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )  in float64_eq_signaling()
2277               && ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )  in float64_eq_signaling()
2299               && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )  in float64_le_quiet()
2301               && ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )  in float64_le_quiet()
2328               && ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )  in float64_lt_quiet()
2330               && ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )  in float64_lt_quiet()