Back to home page

OSCL-LXR

 
 

    


0001 ===============================================
0002 Release notes for Linux Kernel VFP support code
0003 ===============================================
0004 
0005 Date:   20 May 2004
0006 
0007 Author: Russell King
0008 
0009 This is the first release of the Linux Kernel VFP support code.  It
0010 provides support for the exceptions bounced from VFP hardware found
0011 on ARM926EJ-S.
0012 
0013 This release has been validated against the SoftFloat-2b library by
0014 John R. Hauser using the TestFloat-2a test suite.  Details of this
0015 library and test suite can be found at:
0016 
0017    http://www.jhauser.us/arithmetic/SoftFloat.html
0018 
0019 The operations which have been tested with this package are:
0020 
0021  - fdiv
0022  - fsub
0023  - fadd
0024  - fmul
0025  - fcmp
0026  - fcmpe
0027  - fcvtd
0028  - fcvts
0029  - fsito
0030  - ftosi
0031  - fsqrt
0032 
0033 All the above pass softfloat tests with the following exceptions:
0034 
0035 - fadd/fsub shows some differences in the handling of +0 / -0 results
0036   when input operands differ in signs.
0037 - the handling of underflow exceptions is slightly different.  If a
0038   result underflows before rounding, but becomes a normalised number
0039   after rounding, we do not signal an underflow exception.
0040 
0041 Other operations which have been tested by basic assembly-only tests
0042 are:
0043 
0044  - fcpy
0045  - fabs
0046  - fneg
0047  - ftoui
0048  - ftosiz
0049  - ftouiz
0050 
0051 The combination operations have not been tested:
0052 
0053  - fmac
0054  - fnmac
0055  - fmsc
0056  - fnmsc
0057  - fnmul