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