483 INLINE int32 extractFloatx80Exp( floatx80 a )  in extractFloatx80Exp()  function
2548     aExp = extractFloatx80Exp( a );  in floatx80_to_int32()
2577     aExp = extractFloatx80Exp( a );  in floatx80_to_int32_round_to_zero()
2619     aExp = extractFloatx80Exp( a );  in floatx80_to_float32()
2648     aExp = extractFloatx80Exp( a );  in floatx80_to_float64()
2678     aExp = extractFloatx80Exp( a );  in floatx80_round_to_int()
2752     aExp = extractFloatx80Exp( a );  in addFloatx80Sigs()
2754     bExp = extractFloatx80Exp( b );  in addFloatx80Sigs()
2822     aExp = extractFloatx80Exp( a );  in subFloatx80Sigs()
2824     bExp = extractFloatx80Exp( b );  in subFloatx80Sigs()
2934     aExp = extractFloatx80Exp( a );  in floatx80_mul()
2937     bExp = extractFloatx80Exp( b );  in floatx80_mul()
2996     aExp = extractFloatx80Exp( a );  in floatx80_div()
2999     bExp = extractFloatx80Exp( b );  in floatx80_div()
3078     aExp = extractFloatx80Exp( a );  in floatx80_rem()
3081     bExp = extractFloatx80Exp( b );  in floatx80_rem()
3179     aExp = extractFloatx80Exp( a );  in floatx80_sqrt()
3250     if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )  in floatx80_eq()
3252          || (    ( extractFloatx80Exp( b ) == 0x7FFF )  in floatx80_eq()
3282     if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )  in floatx80_le()
3284          || (    ( extractFloatx80Exp( b ) == 0x7FFF )  in floatx80_le()
3316     if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )  in floatx80_lt()
3318          || (    ( extractFloatx80Exp( b ) == 0x7FFF )  in floatx80_lt()
3349     if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )  in floatx80_eq_signaling()
3351          || (    ( extractFloatx80Exp( b ) == 0x7FFF )  in floatx80_eq_signaling()
3378     if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )  in floatx80_le_quiet()
3380          || (    ( extractFloatx80Exp( b ) == 0x7FFF )  in floatx80_le_quiet()
3412     if (    (    ( extractFloatx80Exp( a ) == 0x7FFF )  in floatx80_lt_quiet()
3414          || (    ( extractFloatx80Exp( b ) == 0x7FFF )  in floatx80_lt_quiet()