874 INLINE int32 extractFloat128Exp( float128 a )  in extractFloat128Exp()  function
4321     aExp = extractFloat128Exp( a );  in float128_to_int32()
4352     aExp = extractFloat128Exp( a );  in float128_to_int32_round_to_zero()
4400     aExp = extractFloat128Exp( a );  in float128_to_int64()
4445     aExp = extractFloat128Exp( a );  in float128_to_int64_round_to_zero()
4501     aExp = extractFloat128Exp( a );  in float128_to_uint64_round_to_zero()
4557     aExp = extractFloat128Exp( a );  in float128_to_float32()
4592     aExp = extractFloat128Exp( a );  in float128_to_float64()
4628     aExp = extractFloat128Exp( a );  in float128_to_floatx80()
4666     aExp = extractFloat128Exp( a );  in float128_round_to_int()
4773     aExp = extractFloat128Exp( a );  in addFloat128Sigs()
4776     bExp = extractFloat128Exp( b );  in addFloat128Sigs()
4853     aExp = extractFloat128Exp( a );  in subFloat128Sigs()
4856     bExp = extractFloat128Exp( b );  in subFloat128Sigs()
4980     aExp = extractFloat128Exp( a );  in float128_mul()
4984     bExp = extractFloat128Exp( b );  in float128_mul()
5046     aExp = extractFloat128Exp( a );  in float128_div()
5050     bExp = extractFloat128Exp( b );  in float128_div()
5132     aExp = extractFloat128Exp( a );  in float128_rem()
5136     bExp = extractFloat128Exp( b );  in float128_rem()
5242     aExp = extractFloat128Exp( a );  in float128_sqrt()
5305     if (    (    ( extractFloat128Exp( a ) == 0x7FFF )  in float128_eq()
5307          || (    ( extractFloat128Exp( b ) == 0x7FFF )  in float128_eq()
5337     if (    (    ( extractFloat128Exp( a ) == 0x7FFF )  in float128_le()
5339          || (    ( extractFloat128Exp( b ) == 0x7FFF )  in float128_le()
5370     if (    (    ( extractFloat128Exp( a ) == 0x7FFF )  in float128_lt()
5372          || (    ( extractFloat128Exp( b ) == 0x7FFF )  in float128_lt()
5403     if (    (    ( extractFloat128Exp( a ) == 0x7FFF )  in float128_eq_signaling()
5405          || (    ( extractFloat128Exp( b ) == 0x7FFF )  in float128_eq_signaling()
5432     if (    (    ( extractFloat128Exp( a ) == 0x7FFF )  in float128_le_quiet()
5434          || (    ( extractFloat128Exp( b ) == 0x7FFF )  in float128_le_quiet()
5469     if (    (    ( extractFloat128Exp( a ) == 0x7FFF )  in float128_lt_quiet()
5471          || (    ( extractFloat128Exp( b ) == 0x7FFF )  in float128_lt_quiet()