floatx80
flag floatx80_is_nan( floatx80 a )
flag floatx80_is_signaling_nan( floatx80 a )
static commonNaNT floatx80ToCommonNaN( floatx80 a )
static floatx80 commonNaNToFloatx80( commonNaNT a )
floatx80 z;
static floatx80 propagateFloatx80NaN( floatx80 a, floatx80 b )
floatx80 int32_to_floatx80( int ) __dso_protected;
floatx80 int64_to_floatx80( long long ) __dso_protected;
floatx80 float32_to_floatx80( float32 ) __dso_protected;
floatx80 float64_to_floatx80( float64 ) __dso_protected;
int floatx80_to_int32( floatx80 ) __dso_protected;
int floatx80_to_int32_round_to_zero( floatx80 ) __dso_protected;
long long floatx80_to_int64( floatx80 ) __dso_protected;
long long floatx80_to_int64_round_to_zero( floatx80 ) __dso_protected;
float32 floatx80_to_float32( floatx80 ) __dso_protected;
float64 floatx80_to_float64( floatx80 ) __dso_protected;
float128 floatx80_to_float128( floatx80 ) __dso_protected;
floatx80 floatx80_round_to_int( floatx80 ) __dso_protected;
floatx80 floatx80_add( floatx80, floatx80 ) __dso_protected;
floatx80 floatx80_sub( floatx80, floatx80 ) __dso_protected;
floatx80 floatx80_mul( floatx80, floatx80 ) __dso_protected;
floatx80 floatx80_div( floatx80, floatx80 ) __dso_protected;
floatx80 floatx80_rem( floatx80, floatx80 ) __dso_protected;
floatx80 floatx80_sqrt( floatx80 ) __dso_protected;
int floatx80_eq( floatx80, floatx80 ) __dso_protected;
int floatx80_le( floatx80, floatx80 ) __dso_protected;
int floatx80_lt( floatx80, floatx80 ) __dso_protected;
int floatx80_eq_signaling( floatx80, floatx80 ) __dso_protected;
int floatx80_le_quiet( floatx80, floatx80 ) __dso_protected;
int floatx80_lt_quiet( floatx80, floatx80 ) __dso_protected;
int floatx80_is_signaling_nan( floatx80 ) __dso_protected;
floatx80 float128_to_floatx80( float128 ) __dso_protected;
static void time_a_floatx80_z_int32( int32 function( floatx80 ) )
floatx80 a;
static void time_a_floatx80_z_int64( int64 function( floatx80 ) )
floatx80 a;
static void time_a_floatx80_z_float32( float32 function( floatx80 ) )
floatx80 a;
static void time_a_floatx80_z_float64( float64 function( floatx80 ) )
floatx80 a;
static void time_a_floatx80_z_float128( float128 function( floatx80 ) )
floatx80 a;
static void time_az_floatx80( floatx80 function( floatx80 ) )
floatx80 a;
static void time_ab_floatx80_z_flag( flag function( floatx80, floatx80 ) )
floatx80 a, b;
static void time_abz_floatx80( floatx80 function( floatx80, floatx80 ) )
floatx80 a, b;
static void time_az_floatx80_pos( floatx80 function( floatx80 ) )
floatx80 a;
static void time_a_float128_z_floatx80( floatx80 function( float128 ) )
static void time_a_int32_z_floatx80( floatx80 function( int32 ) )
static void time_a_int64_z_floatx80( floatx80 function( int64 ) )
static void time_a_float32_z_floatx80( floatx80 function( float32 ) )
static void time_a_float64_z_floatx80( floatx80 function( float64 ) )
static flag floatx80_is_nan( floatx80 a )
flag floatx80_is_signaling_nan( floatx80 a )
static commonNaNT floatx80ToCommonNaN( floatx80 a )
static floatx80 commonNaNToFloatx80( commonNaNT a )
floatx80 z;
static floatx80 propagateFloatx80NaN( floatx80 a, floatx80 b )
floatx80 int32_to_floatx80( int32 a )
floatx80 int64_to_floatx80( int64 a )
floatx80 float32_to_floatx80( float32 a )
floatx80 float64_to_floatx80( float64 a )
int32 floatx80_to_int32( floatx80 a )
int32 floatx80_to_int32_round_to_zero( floatx80 a )
int64 floatx80_to_int64( floatx80 a )
int64 floatx80_to_int64_round_to_zero( floatx80 a )
float32 floatx80_to_float32( floatx80 a )
float64 floatx80_to_float64( floatx80 a )
float128 floatx80_to_float128( floatx80 a )
floatx80 floatx80_round_to_int( floatx80 a )
floatx80 z;
static floatx80 addFloatx80Sigs( floatx80 a, floatx80 b, flag zSign )
static floatx80 subFloatx80Sigs( floatx80 a, floatx80 b, flag zSign )
floatx80 z;
floatx80 floatx80_add( floatx80 a, floatx80 b )
floatx80 floatx80_sub( floatx80 a, floatx80 b )
floatx80 floatx80_mul( floatx80 a, floatx80 b )
floatx80 z;
floatx80 floatx80_div( floatx80 a, floatx80 b )
floatx80 z;
floatx80 floatx80_rem( floatx80 a, floatx80 b )
floatx80 z;
floatx80 floatx80_sqrt( floatx80 a )
floatx80 z;
flag floatx80_eq( floatx80 a, floatx80 b )
flag floatx80_le( floatx80 a, floatx80 b )
flag floatx80_lt( floatx80 a, floatx80 b )
flag floatx80_eq_signaling( floatx80 a, floatx80 b )
flag floatx80_le_quiet( floatx80 a, floatx80 b )
flag floatx80_lt_quiet( floatx80 a, floatx80 b )
floatx80 float128_to_floatx80( float128 a )
INLINE bits64 extractFloatx80Frac( floatx80 a )
INLINE int32 extractFloatx80Exp( floatx80 a )
INLINE flag extractFloatx80Sign( floatx80 a )
INLINE floatx80 packFloatx80( flag zSign, int32 zExp, bits64 zSig )
floatx80 z;
static floatx80
static floatx80
floatx80 int32_to_floatx80( int );
floatx80 int64_to_floatx80( int64_t );
floatx80 float32_to_floatx80( float32 );
floatx80 float64_to_floatx80( float64 );
int floatx80_to_int32( floatx80 );
int floatx80_to_int32_round_to_zero( floatx80 );
int64_t floatx80_to_int64( floatx80 );
int64_t floatx80_to_int64_round_to_zero( floatx80 );
float32 floatx80_to_float32( floatx80 );
float64 floatx80_to_float64( floatx80 );
float128 floatx80_to_float128( floatx80 );
floatx80 floatx80_round_to_int( floatx80 );
floatx80 floatx80_add( floatx80, floatx80 );
floatx80 floatx80_sub( floatx80, floatx80 );
floatx80 floatx80_mul( floatx80, floatx80 );
floatx80 floatx80_div( floatx80, floatx80 );
floatx80 floatx80_rem( floatx80, floatx80 );
floatx80 floatx80_sqrt( floatx80 );
int floatx80_eq( floatx80, floatx80 );
int floatx80_le( floatx80, floatx80 );
int floatx80_lt( floatx80, floatx80 );
int floatx80_eq_signaling( floatx80, floatx80 );
int floatx80_le_quiet( floatx80, floatx80 );
int floatx80_lt_quiet( floatx80, floatx80 );
int floatx80_is_signaling_nan( floatx80 );
floatx80 float128_to_floatx80( float128 );