tools/test/testfloat/README.txt

   1
   2 Package Overview for TestFloat Release 2a
   3
   4 John R. Hauser
   5 1998 December 16
   6
   7
   8 TestFloat is a program for testing that a floating-point implementation
   9 conforms to the IEC/IEEE Standard for Binary Floating-Point Arithmetic.
  10 TestFloat is distributed in the form of C source code.  The TestFloat
  11 package actually provides two related programs:
  12
  13 -- The `testfloat' program tests a system's floating-point for conformance
  14    to the IEC/IEEE Standard.  This program uses the SoftFloat software
  15    floating-point implementation as a basis for comparison.
  16
  17 -- The `testsoftfloat' program tests SoftFloat itself for conformance to
  18    the IEC/IEEE Standard.  These tests are performed by comparing against a
  19    separate, slower software floating-point that is included in the TestFloat
  20    package.
  21
  22 TestFloat depends on SoftFloat, but SoftFloat is not included in the
  23 TestFloat package.  SoftFloat can be obtained through the Web page `http://
  24 HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/SoftFloat.html'.
  25
  26 TestFloat is documented in three text files:
  27
  28    testfloat.txt          Documentation for using the TestFloat programs
  29                               (both `testfloat' and `testsoftfloat').
  30    testfloat-source.txt   Documentation for porting and compiling TestFloat.
  31    testfloat-history.txt  History of major changes to TestFloat.
  32
  33 The following file is also provided:
  34
  35    systemBugs.txt         Information about processor bugs found using
  36                               TestFloat.
  37
  38 Other files in the package comprise the source code for TestFloat.
  39
  40 Please be aware that some work is involved in porting this software to other
  41 targets.  It is not just a matter of getting `make' to complete without
  42 error messages.  I would have written the code that way if I could, but
  43 there are fundamental differences between systems that I can't make go away.
  44 You should not attempt to compile the TestFloat sources without first
  45 reading `testfloat-source.txt'.
  46
  47 At the time of this writing, the most up-to-date information about
  48 TestFloat and the latest release can be found at the Web page `http://
  49 HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'.
  50