Release notes for Linux Kernel VFP support code
-----------------------------------------------

Date: 	20 May 2004
Author:	Russell King

This is the first release of the Linux Kernel VFP support code.  It
provides support for the exceptions bounced from VFP hardware found
on ARM926EJ-S.

This release has been validated against the SoftFloat-2b library by
John R. Hauser using the TestFloat-2a test suite.  Details of this
library and test suite can be found at:

   http://www.cs.berkeley.edu/~jhauser/arithmetic/SoftFloat.html

The operations which have been tested with this package are:

 - fdiv
 - fsub
 - fadd
 - fmul
 - fcmp
 - fcmpe
 - fcvtd
 - fcvts
 - fsito
 - ftosi
 - fsqrt

All the above pass softfloat tests with the following exceptions:

- fadd/fsub shows some differences in the handling of +0 / -0 results
  when input operands differ in signs.
- the handling of underflow exceptions is slightly different.  If a
  result underflows before rounding, but becomes a normalised number
  after rounding, we do not signal an underflow exception.

Other operations which have been tested by basic assembly-only tests
are:

 - fcpy
 - fabs
 - fneg
 - ftoui
 - ftosiz
 - ftouiz

The combination operations have not been tested:

 - fmac
 - fnmac
 - fmsc
 - fnmsc
 - fnmul