1
2/*
3===============================================================================
4
5This C header file is part of TestFloat, Release 2a, a package of programs
6for testing the correctness of floating-point arithmetic complying to the
7IEC/IEEE Standard for Floating-Point.
8
9Written by John R. Hauser.  More information is available through the Web
10page `http://HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'.
11
12THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE.  Although reasonable effort
13has been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT
14TIMES RESULT IN INCORRECT BEHAVIOR.  USE OF THIS SOFTWARE IS RESTRICTED TO
15PERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY
16AND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE.
17
18Derivative works are acceptable, even for commercial purposes, so long as
19(1) they include prominent notice that the work is derivative, and (2) they
20include prominent notice akin to these four paragraphs for those parts of
21this code that are retained.
22
23===============================================================================
24*/
25
26#include <stdio.h>
27
28void writeHex_flag( flag, FILE * );
29void writeHex_bits32( bits32, FILE * );
30#ifdef BITS64
31void writeHex_bits64( bits64, FILE * );
32#endif
33void writeHex_float32( float32, FILE * );
34void writeHex_float64( float64, FILE * );
35#ifdef FLOATX80
36void writeHex_floatx80( floatx80, FILE * );
37#endif
38#ifdef FLOAT128
39void writeHex_float128( float128, FILE * );
40#endif
41void writeHex_float_flags( uint8, FILE * );
42
43