diff options
author | marius <marius@FreeBSD.org> | 2010-04-24 12:11:41 +0000 |
---|---|---|
committer | marius <marius@FreeBSD.org> | 2010-04-24 12:11:41 +0000 |
commit | 0b9b56e38ea79db375d5fe8e9d9be5e7a2b36127 (patch) | |
tree | 5a9c2ce49869f7f1e6416b422617592dd962cc8a /tools/test/testfloat/writeHex.c | |
parent | 6225de8b800b8ed895681ae6716c0623a478ad39 (diff) | |
parent | 316da263d2468d9c3b8252c8df57f3f99ccd18aa (diff) | |
download | FreeBSD-src-0b9b56e38ea79db375d5fe8e9d9be5e7a2b36127.zip FreeBSD-src-0b9b56e38ea79db375d5fe8e9d9be5e7a2b36127.tar.gz |
Add a TestFloat based test suite for floating-point implementations
currently supporting sparc64. After a `make depend all` there are
three programs; testsoftfloat for testing against the SoftFloat in
src/lib/libc/softfloat for reference purposes, testemufloat for
testing the emulator source in src/lib/libc/sparc64/fpu and testfloat
for testing with the installed libc. Support for other architectures
can be added as needed.
PR: 144900
Submitted by: Peter Jeremy
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 0000000..f304aed --- /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 ); + +} + |