486     return a.high & 0x7FFF;  in extractFloatx80Exp()
499     return a.high>>15;  in extractFloatx80Sign()
533     z.high = ( ( (bits16) zSign )<<15 ) + zExp;  in packFloatx80()
2728         ++z.high;  in floatx80_round_to_int()
2834         z.high = floatx80_default_nan_high;  in subFloatx80Sigs()
2954             z.high = floatx80_default_nan_high;  in floatx80_mul()
3020                 z.high = floatx80_default_nan_high;  in floatx80_div()
3099             z.high = floatx80_default_nan_high;  in floatx80_rem()
3191         z.high = floatx80_default_nan_high;  in floatx80_sqrt()
3263         && (    ( a.high == b.high )  in floatx80_eq()
3265                   && ( (bits16) ( ( a.high | b.high )<<1 ) == 0 ) )  in floatx80_eq()
3295             || (    ( ( (bits16) ( ( a.high | b.high )<<1 ) ) | a.low | b.low )  in floatx80_le()
3299           aSign ? le128( b.high, b.low, a.high, a.low )  in floatx80_le()
3300         : le128( a.high, a.low, b.high, b.low );  in floatx80_le()
3329             && (    ( ( (bits16) ( ( a.high | b.high )<<1 ) ) | a.low | b.low )  in floatx80_lt()
3333           aSign ? lt128( b.high, b.low, a.high, a.low )  in floatx80_lt()
3334         : lt128( a.high, a.low, b.high, b.low );  in floatx80_lt()
3359         && (    ( a.high == b.high )  in floatx80_eq_signaling()
3361                   && ( (bits16) ( ( a.high | b.high )<<1 ) == 0 ) )  in floatx80_eq_signaling()
3391             || (    ( ( (bits16) ( ( a.high | b.high )<<1 ) ) | a.low | b.low )  in floatx80_le_quiet()
3395           aSign ? le128( b.high, b.low, a.high, a.low )  in floatx80_le_quiet()
3396         : le128( a.high, a.low, b.high, b.low );  in floatx80_le_quiet()
3425             && (    ( ( (bits16) ( ( a.high | b.high )<<1 ) ) | a.low | b.low )  in floatx80_lt_quiet()
3429           aSign ? lt128( b.high, b.low, a.high, a.low )  in floatx80_lt_quiet()
3430         : lt128( a.high, a.low, b.high, b.low );  in floatx80_lt_quiet()