diff options
Diffstat (limited to 'source/slowfloat.h')
| -rw-r--r-- | source/slowfloat.h | 22 |
1 files changed, 20 insertions, 2 deletions
diff --git a/source/slowfloat.h b/source/slowfloat.h index 7e9d5f5..9ba5580 100644 --- a/source/slowfloat.h +++ b/source/slowfloat.h @@ -1,11 +1,11 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3b, a package of programs for +This C header file is part of TestFloat, Release 3c, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. -Copyright 2011, 2012, 2013, 2014, 2015 The Regents of the University of +Copyright 2011, 2012, 2013, 2014, 2015, 2017 The Regents of the University of California. All rights reserved. Redistribution and use in source and binary forms, with or without @@ -50,7 +50,9 @@ extern uint_fast8_t slow_extF80_roundingPrecision; float16_t slow_ui32_to_f16( uint32_t ); #endif float32_t slow_ui32_to_f32( uint32_t ); +#ifdef FLOAT64 float64_t slow_ui32_to_f64( uint32_t ); +#endif #ifdef EXTFLOAT80 void slow_ui32_to_extF80M( uint32_t, extFloat80_t * ); #endif @@ -61,7 +63,9 @@ void slow_ui32_to_f128M( uint32_t, float128_t * ); float16_t slow_ui64_to_f16( uint64_t ); #endif float32_t slow_ui64_to_f32( uint64_t ); +#ifdef FLOAT64 float64_t slow_ui64_to_f64( uint64_t ); +#endif #ifdef EXTFLOAT80 void slow_ui64_to_extF80M( uint64_t, extFloat80_t * ); #endif @@ -72,7 +76,9 @@ void slow_ui64_to_f128M( uint64_t, float128_t * ); float16_t slow_i32_to_f16( int32_t ); #endif float32_t slow_i32_to_f32( int32_t ); +#ifdef FLOAT64 float64_t slow_i32_to_f64( int32_t ); +#endif #ifdef EXTFLOAT80 void slow_i32_to_extF80M( int32_t, extFloat80_t * ); #endif @@ -83,7 +89,9 @@ void slow_i32_to_f128M( int32_t, float128_t * ); float16_t slow_i64_to_f16( int64_t ); #endif float32_t slow_i64_to_f32( int64_t ); +#ifdef FLOAT64 float64_t slow_i64_to_f64( int64_t ); +#endif #ifdef EXTFLOAT80 void slow_i64_to_extF80M( int64_t, extFloat80_t * ); #endif @@ -101,7 +109,9 @@ uint_fast64_t slow_f16_to_ui64_r_minMag( float16_t, bool ); int_fast32_t slow_f16_to_i32_r_minMag( float16_t, bool ); int_fast64_t slow_f16_to_i64_r_minMag( float16_t, bool ); float32_t slow_f16_to_f32( float16_t ); +#ifdef FLOAT64 float64_t slow_f16_to_f64( float16_t ); +#endif #ifdef EXTFLOAT80 void slow_f16_to_extF80M( float16_t, extFloat80_t * ); #endif @@ -135,7 +145,9 @@ int_fast64_t slow_f32_to_i64_r_minMag( float32_t, bool ); #ifdef FLOAT16 float16_t slow_f32_to_f16( float32_t ); #endif +#ifdef FLOAT64 float64_t slow_f32_to_f64( float32_t ); +#endif #ifdef EXTFLOAT80 void slow_f32_to_extF80M( float32_t, extFloat80_t * ); #endif @@ -157,6 +169,7 @@ bool slow_f32_eq_signaling( float32_t, float32_t ); bool slow_f32_le_quiet( float32_t, float32_t ); bool slow_f32_lt_quiet( float32_t, float32_t ); +#ifdef FLOAT64 uint_fast32_t slow_f64_to_ui32( float64_t, uint_fast8_t, bool ); uint_fast64_t slow_f64_to_ui64( float64_t, uint_fast8_t, bool ); int_fast32_t slow_f64_to_i32( float64_t, uint_fast8_t, bool ); @@ -189,6 +202,7 @@ bool slow_f64_lt( float64_t, float64_t ); bool slow_f64_eq_signaling( float64_t, float64_t ); bool slow_f64_le_quiet( float64_t, float64_t ); bool slow_f64_lt_quiet( float64_t, float64_t ); +#endif #ifdef EXTFLOAT80 uint_fast32_t slow_extF80M_to_ui32( const extFloat80_t *, uint_fast8_t, bool ); @@ -203,7 +217,9 @@ int_fast64_t slow_extF80M_to_i64_r_minMag( const extFloat80_t *, bool ); float16_t slow_extF80M_to_f16( const extFloat80_t * ); #endif float32_t slow_extF80M_to_f32( const extFloat80_t * ); +#ifdef FLOAT64 float64_t slow_extF80M_to_f64( const extFloat80_t * ); +#endif #ifdef FLOAT128 void slow_extF80M_to_f128M( const extFloat80_t *, float128_t * ); #endif @@ -254,7 +270,9 @@ int_fast64_t slow_f128M_to_i64_r_minMag( const float128_t *, bool ); float16_t slow_f128M_to_f16( const float128_t * ); #endif float32_t slow_f128M_to_f32( const float128_t * ); +#ifdef FLOAT64 float64_t slow_f128M_to_f64( const float128_t * ); +#endif #ifdef EXTFLOAT80 void slow_f128M_to_extF80M( const float128_t *, extFloat80_t * ); #endif |