diff options
Diffstat (limited to 'source/verLoops.h')
-rw-r--r-- | source/verLoops.h | 34 |
1 files changed, 21 insertions, 13 deletions
diff --git a/source/verLoops.h b/source/verLoops.h index 347bda3..61d59ca 100644 --- a/source/verLoops.h +++ b/source/verLoops.h @@ -1,12 +1,12 @@ /*============================================================================ -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, 2016 The Regents of the University of -California. All rights reserved. +Copyright 2011, 2012, 2013, 2014, 2015, 2016, 2017 The Regents of the +University of California. All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: @@ -45,7 +45,9 @@ extern uint_fast8_t *verLoops_trueFlagsPtr; void ver_a_ui32_z_f16( float16_t ( uint32_t ) ); #endif void ver_a_ui32_z_f32( float32_t ( uint32_t ) ); +#ifdef FLOAT64 void ver_a_ui32_z_f64( float64_t ( uint32_t ) ); +#endif #ifdef EXTFLOAT80 void ver_a_ui32_z_extF80( void ( uint32_t, extFloat80_t * ) ); #endif @@ -56,7 +58,9 @@ void ver_a_ui32_z_f128( void ( uint32_t, float128_t * ) ); void ver_a_ui64_z_f16( float16_t ( uint64_t ) ); #endif void ver_a_ui64_z_f32( float32_t ( uint64_t ) ); +#ifdef FLOAT64 void ver_a_ui64_z_f64( float64_t ( uint64_t ) ); +#endif #ifdef EXTFLOAT80 void ver_a_ui64_z_extF80( void ( uint64_t, extFloat80_t * ) ); #endif @@ -67,7 +71,9 @@ void ver_a_ui64_z_f128( void ( uint64_t, float128_t * ) ); void ver_a_i32_z_f16( float16_t ( int32_t ) ); #endif void ver_a_i32_z_f32( float32_t ( int32_t ) ); +#ifdef FLOAT64 void ver_a_i32_z_f64( float64_t ( int32_t ) ); +#endif #ifdef EXTFLOAT80 void ver_a_i32_z_extF80( void ( int32_t, extFloat80_t * ) ); #endif @@ -78,7 +84,9 @@ void ver_a_i32_z_f128( void ( int32_t, float128_t * ) ); void ver_a_i64_z_f16( float16_t ( int64_t ) ); #endif void ver_a_i64_z_f32( float32_t ( int64_t ) ); +#ifdef FLOAT64 void ver_a_i64_z_f64( float64_t ( int64_t ) ); +#endif #ifdef EXTFLOAT80 void ver_a_i64_z_extF80( void ( int64_t, extFloat80_t * ) ); #endif @@ -104,7 +112,9 @@ void ver_a_f16_z_ui64_x( uint_fast64_t ( float16_t, bool ), bool ); void ver_a_f16_z_i32_x( int_fast32_t ( float16_t, bool ), bool ); void ver_a_f16_z_i64_x( int_fast64_t ( float16_t, bool ), bool ); void ver_a_f16_z_f32( float32_t ( float16_t ) ); +#ifdef FLOAT64 void ver_a_f16_z_f64( float64_t ( float16_t ) ); +#endif #ifdef EXTFLOAT80 void ver_a_f16_z_extF80( void ( float16_t, extFloat80_t * ) ); #endif @@ -139,7 +149,9 @@ void ver_a_f32_z_i64_x( int_fast64_t ( float32_t, bool ), bool ); #ifdef FLOAT16 void ver_a_f32_z_f16( float16_t ( float32_t ) ); #endif +#ifdef FLOAT64 void ver_a_f32_z_f64( float64_t ( float32_t ) ); +#endif #ifdef EXTFLOAT80 void ver_a_f32_z_extF80( void ( float32_t, extFloat80_t * ) ); #endif @@ -154,6 +166,7 @@ void ver_abz_f32( float32_t ( float32_t, float32_t ) ); void ver_abcz_f32( float32_t ( float32_t, float32_t, float32_t ) ); void ver_ab_f32_z_bool( bool ( float32_t, float32_t ) ); +#ifdef FLOAT64 void ver_a_f64_z_ui32_rx( uint_fast32_t ( float64_t, uint_fast8_t, bool ), uint_fast8_t, bool ); @@ -187,6 +200,7 @@ void void ver_abz_f64( float64_t ( float64_t, float64_t ) ); void ver_abcz_f64( float64_t ( float64_t, float64_t, float64_t ) ); void ver_ab_f64_z_bool( bool ( float64_t, float64_t ) ); +#endif #ifdef EXTFLOAT80 void @@ -223,7 +237,9 @@ void ver_a_extF80_z_i64_x( int_fast64_t ( const extFloat80_t *, bool ), bool ); void ver_a_extF80_z_f16( float16_t ( const extFloat80_t * ) ); #endif void ver_a_extF80_z_f32( float32_t ( const extFloat80_t * ) ); +#ifdef FLOAT64 void ver_a_extF80_z_f64( float64_t ( const extFloat80_t * ) ); +#endif #ifdef FLOAT128 void ver_a_extF80_z_f128( void ( const extFloat80_t *, float128_t * ) ); #endif @@ -238,16 +254,6 @@ void ver_abz_extF80( void ( const extFloat80_t *, const extFloat80_t *, extFloat80_t * ) ); void - ver_abcz_extF80( - void - ( - const extFloat80_t *, - const extFloat80_t *, - const extFloat80_t *, - extFloat80_t * - ) - ); -void ver_ab_extF80_z_bool( bool ( const extFloat80_t *, const extFloat80_t * ) ); #endif @@ -284,7 +290,9 @@ void ver_a_f128_z_i64_x( int_fast64_t ( const float128_t *, bool ), bool ); void ver_a_f128_z_f16( float16_t ( const float128_t * ) ); #endif void ver_a_f128_z_f32( float32_t ( const float128_t * ) ); +#ifdef FLOAT64 void ver_a_f128_z_f64( float64_t ( const float128_t * ) ); +#endif #ifdef EXTFLOAT80 void ver_a_f128_z_extF80( void ( const float128_t *, extFloat80_t * ) ); #endif |