diff options
Diffstat (limited to 'tools/test/testfloat/writeHex.c')
-rw-r--r-- | tools/test/testfloat/writeHex.c | 183 |
1 files changed, 183 insertions, 0 deletions
diff --git a/tools/test/testfloat/writeHex.c b/tools/test/testfloat/writeHex.c new file mode 100644 index 000000000000..f304aed631d5 --- /dev/null +++ b/tools/test/testfloat/writeHex.c @@ -0,0 +1,183 @@ + +/* +=============================================================================== + +This C source file is part of TestFloat, Release 2a, a package of programs +for testing the correctness of floating-point arithmetic complying to the +IEC/IEEE Standard for Floating-Point. + +Written by John R. Hauser. More information is available through the Web +page `http://HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'. + +THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE. Although reasonable effort +has been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT +TIMES RESULT IN INCORRECT BEHAVIOR. USE OF THIS SOFTWARE IS RESTRICTED TO +PERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY +AND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE. + +Derivative works are acceptable, even for commercial purposes, so long as +(1) they include prominent notice that the work is derivative, and (2) they +include prominent notice akin to these four paragraphs for those parts of +this code that are retained. + +=============================================================================== +*/ + +#include <stdio.h> +#include "milieu.h" +#include "softfloat.h" +#include "writeHex.h" + +void writeHex_flag( flag a, FILE *stream ) +{ + + fputc( a ? '1' : '0', stream ); + +} + +static void writeHex_bits8( bits8 a, FILE *stream ) +{ + int digit; + + digit = ( a>>4 ) & 0xF; + if ( 9 < digit ) digit += 'A' - ( '0' + 10 ); + fputc( '0' + digit, stream ); + digit = a & 0xF; + if ( 9 < digit ) digit += 'A' - ( '0' + 10 ); + fputc( '0' + digit, stream ); + +} + +static void writeHex_bits12( int16 a, FILE *stream ) +{ + int digit; + + digit = ( a>>8 ) & 0xF; + if ( 9 < digit ) digit += 'A' - ( '0' + 10 ); + fputc( '0' + digit, stream ); + digit = ( a>>4 ) & 0xF; + if ( 9 < digit ) digit += 'A' - ( '0' + 10 ); + fputc( '0' + digit, stream ); + digit = a & 0xF; + if ( 9 < digit ) digit += 'A' - ( '0' + 10 ); + fputc( '0' + digit, stream ); + +} + +static void writeHex_bits16( bits16 a, FILE *stream ) +{ + int digit; + + digit = ( a>>12 ) & 0xF; + if ( 9 < digit ) digit += 'A' - ( '0' + 10 ); + fputc( '0' + digit, stream ); + digit = ( a>>8 ) & 0xF; + if ( 9 < digit ) digit += 'A' - ( '0' + 10 ); + fputc( '0' + digit, stream ); + digit = ( a>>4 ) & 0xF; + if ( 9 < digit ) digit += 'A' - ( '0' + 10 ); + fputc( '0' + digit, stream ); + digit = a & 0xF; + if ( 9 < digit ) digit += 'A' - ( '0' + 10 ); + fputc( '0' + digit, stream ); + +} + +void writeHex_bits32( bits32 a, FILE *stream ) +{ + + writeHex_bits16( a>>16, stream ); + writeHex_bits16( a, stream ); + +} + +#ifdef BITS64 + +void writeHex_bits64( bits64 a, FILE *stream ) +{ + + writeHex_bits32( a>>32, stream ); + writeHex_bits32( a, stream ); + +} + +#endif + +void writeHex_float32( float32 a, FILE *stream ) +{ + + fputc( ( ( (sbits32) a ) < 0 ) ? '8' : '0', stream ); + writeHex_bits8( a>>23, stream ); + fputc( '.', stream ); + writeHex_bits8( ( a>>16 ) & 0x7F, stream ); + writeHex_bits16( a, stream ); + +} + +#ifdef BITS64 + +void writeHex_float64( float64 a, FILE *stream ) +{ + + writeHex_bits12( a>>52, stream ); + fputc( '.', stream ); + writeHex_bits12( a>>40, stream ); + writeHex_bits8( a>>32, stream ); + writeHex_bits32( a, stream ); + +} + +#else + +void writeHex_float64( float64 a, FILE *stream ) +{ + + writeHex_bits12( a.high>>20, stream ); + fputc( '.', stream ); + writeHex_bits12( a.high>>8, stream ); + writeHex_bits8( a.high, stream ); + writeHex_bits32( a.low, stream ); + +} + +#endif + +#ifdef FLOATX80 + +void writeHex_floatx80( floatx80 a, FILE *stream ) +{ + + writeHex_bits16( a.high, stream ); + fputc( '.', stream ); + writeHex_bits64( a.low, stream ); + +} + +#endif + +#ifdef FLOAT128 + +void writeHex_float128( float128 a, FILE *stream ) +{ + + writeHex_bits16( a.high>>48, stream ); + fputc( '.', stream ); + writeHex_bits16( a.high>>32, stream ); + writeHex_bits32( a.high, stream ); + writeHex_bits64( a.low, stream ); + +} + +#endif + +void writeHex_float_flags( uint8 flags, FILE *stream ) +{ + + fputc( flags & float_flag_invalid ? 'v' : '.', stream ); + fputc( flags & float_flag_divbyzero ? 'z' : '.', stream ); + fputc( flags & float_flag_overflow ? 'o' : '.', stream ); + fputc( flags & float_flag_underflow ? 'u' : '.', stream ); + fputc( flags & float_flag_inexact ? 'x' : '.', stream ); + +} + |