svn commit: r206917 - in vendor/testfloat: . processors testfloat
testfloat/386-Win32-gcc testfloat/SPARC-Solaris-gcc
testfloat/templates
Marius Strobl
marius at FreeBSD.org
Tue Apr 20 20:47:59 UTC 2010
Author: marius
Date: Tue Apr 20 20:47:58 2010
New Revision: 206917
URL: http://svn.freebsd.org/changeset/base/206917
Log:
Initial import of TestFloat 2a.
Obtained from: http://www.jhauser.us/arithmetic/TestFloat.html
Added:
vendor/testfloat/
vendor/testfloat/processors/
vendor/testfloat/processors/386-gcc.h (contents, props changed)
vendor/testfloat/processors/SPARC-gcc.h (contents, props changed)
vendor/testfloat/testfloat/
vendor/testfloat/testfloat/386-Win32-gcc/
vendor/testfloat/testfloat/386-Win32-gcc/Makefile (contents, props changed)
vendor/testfloat/testfloat/386-Win32-gcc/milieu.h (contents, props changed)
vendor/testfloat/testfloat/386-Win32-gcc/systflags.S (contents, props changed)
vendor/testfloat/testfloat/386-Win32-gcc/systfloat.S (contents, props changed)
vendor/testfloat/testfloat/386-Win32-gcc/systfloat.h (contents, props changed)
vendor/testfloat/testfloat/386-Win32-gcc/systmodes.S (contents, props changed)
vendor/testfloat/testfloat/README.txt (contents, props changed)
vendor/testfloat/testfloat/SPARC-Solaris-gcc/
vendor/testfloat/testfloat/SPARC-Solaris-gcc/Makefile (contents, props changed)
vendor/testfloat/testfloat/SPARC-Solaris-gcc/milieu.h (contents, props changed)
vendor/testfloat/testfloat/SPARC-Solaris-gcc/systflags.c (contents, props changed)
vendor/testfloat/testfloat/SPARC-Solaris-gcc/systfloat.S (contents, props changed)
vendor/testfloat/testfloat/SPARC-Solaris-gcc/systfloat.h (contents, props changed)
vendor/testfloat/testfloat/SPARC-Solaris-gcc/systmodes.c (contents, props changed)
vendor/testfloat/testfloat/fail.c (contents, props changed)
vendor/testfloat/testfloat/fail.h (contents, props changed)
vendor/testfloat/testfloat/random.c (contents, props changed)
vendor/testfloat/testfloat/random.h (contents, props changed)
vendor/testfloat/testfloat/slowfloat-32.c (contents, props changed)
vendor/testfloat/testfloat/slowfloat-64.c (contents, props changed)
vendor/testfloat/testfloat/slowfloat.c (contents, props changed)
vendor/testfloat/testfloat/slowfloat.h (contents, props changed)
vendor/testfloat/testfloat/systemBugs.txt (contents, props changed)
vendor/testfloat/testfloat/systflags.h (contents, props changed)
vendor/testfloat/testfloat/systfloat.c (contents, props changed)
vendor/testfloat/testfloat/systfloat.h (contents, props changed)
vendor/testfloat/testfloat/systmodes.h (contents, props changed)
vendor/testfloat/testfloat/templates/
vendor/testfloat/testfloat/templates/Makefile (contents, props changed)
vendor/testfloat/testfloat/templates/milieu.h (contents, props changed)
vendor/testfloat/testfloat/templates/systflags.c (contents, props changed)
vendor/testfloat/testfloat/templates/systmodes.c (contents, props changed)
vendor/testfloat/testfloat/testCases.c (contents, props changed)
vendor/testfloat/testfloat/testCases.h (contents, props changed)
vendor/testfloat/testfloat/testFunction.c (contents, props changed)
vendor/testfloat/testfloat/testFunction.h (contents, props changed)
vendor/testfloat/testfloat/testLoops.c (contents, props changed)
vendor/testfloat/testfloat/testLoops.h (contents, props changed)
vendor/testfloat/testfloat/testfloat-history.txt (contents, props changed)
vendor/testfloat/testfloat/testfloat-source.txt (contents, props changed)
vendor/testfloat/testfloat/testfloat.c (contents, props changed)
vendor/testfloat/testfloat/testfloat.txt (contents, props changed)
vendor/testfloat/testfloat/testsoftfloat.c (contents, props changed)
vendor/testfloat/testfloat/writeHex.c (contents, props changed)
vendor/testfloat/testfloat/writeHex.h (contents, props changed)
Added: vendor/testfloat/processors/386-gcc.h
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ vendor/testfloat/processors/386-gcc.h Tue Apr 20 20:47:58 2010 (r206917)
@@ -0,0 +1,80 @@
+
+/*
+-------------------------------------------------------------------------------
+One of the macros `BIGENDIAN' or `LITTLEENDIAN' must be defined.
+-------------------------------------------------------------------------------
+*/
+#define LITTLEENDIAN
+
+/*
+-------------------------------------------------------------------------------
+The macro `BITS64' can be defined to indicate that 64-bit integer types are
+supported by the compiler.
+-------------------------------------------------------------------------------
+*/
+#define BITS64
+
+/*
+-------------------------------------------------------------------------------
+Each of the following `typedef's defines the most convenient type that holds
+integers of at least as many bits as specified. For example, `uint8' should
+be the most convenient type that can hold unsigned integers of as many as
+8 bits. The `flag' type must be able to hold either a 0 or 1. For most
+implementations of C, `flag', `uint8', and `int8' should all be `typedef'ed
+to the same as `int'.
+-------------------------------------------------------------------------------
+*/
+typedef char flag;
+typedef unsigned char uint8;
+typedef signed char int8;
+typedef int uint16;
+typedef int int16;
+typedef unsigned int uint32;
+typedef signed int int32;
+#ifdef BITS64
+typedef unsigned long long int uint64;
+typedef signed long long int int64;
+#endif
+
+/*
+-------------------------------------------------------------------------------
+Each of the following `typedef's defines a type that holds integers
+of _exactly_ the number of bits specified. For instance, for most
+implementation of C, `bits16' and `sbits16' should be `typedef'ed to
+`unsigned short int' and `signed short int' (or `short int'), respectively.
+-------------------------------------------------------------------------------
+*/
+typedef unsigned char bits8;
+typedef signed char sbits8;
+typedef unsigned short int bits16;
+typedef signed short int sbits16;
+typedef unsigned int bits32;
+typedef signed int sbits32;
+#ifdef BITS64
+typedef unsigned long long int bits64;
+typedef signed long long int sbits64;
+#endif
+
+#ifdef BITS64
+/*
+-------------------------------------------------------------------------------
+The `LIT64' macro takes as its argument a textual integer literal and
+if necessary ``marks'' the literal as having a 64-bit integer type.
+For example, the GNU C Compiler (`gcc') requires that 64-bit literals be
+appended with the letters `LL' standing for `long long', which is `gcc's
+name for the 64-bit integer type. Some compilers may allow `LIT64' to be
+defined as the identity macro: `#define LIT64( a ) a'.
+-------------------------------------------------------------------------------
+*/
+#define LIT64( a ) a##LL
+#endif
+
+/*
+-------------------------------------------------------------------------------
+The macro `INLINE' can be used before functions that should be inlined. If
+a compiler does not support explicit inlining, this macro should be defined
+to be `static'.
+-------------------------------------------------------------------------------
+*/
+#define INLINE extern inline
+
Added: vendor/testfloat/processors/SPARC-gcc.h
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ vendor/testfloat/processors/SPARC-gcc.h Tue Apr 20 20:47:58 2010 (r206917)
@@ -0,0 +1,80 @@
+
+/*
+-------------------------------------------------------------------------------
+One of the macros `BIGENDIAN' or `LITTLEENDIAN' must be defined.
+-------------------------------------------------------------------------------
+*/
+#define BIGENDIAN
+
+/*
+-------------------------------------------------------------------------------
+The macro `BITS64' can be defined to indicate that 64-bit integer types are
+supported by the compiler.
+-------------------------------------------------------------------------------
+*/
+#define BITS64
+
+/*
+-------------------------------------------------------------------------------
+Each of the following `typedef's defines the most convenient type that holds
+integers of at least as many bits as specified. For example, `uint8' should
+be the most convenient type that can hold unsigned integers of as many as
+8 bits. The `flag' type must be able to hold either a 0 or 1. For most
+implementations of C, `flag', `uint8', and `int8' should all be `typedef'ed
+to the same as `int'.
+-------------------------------------------------------------------------------
+*/
+typedef int flag;
+typedef int uint8;
+typedef int int8;
+typedef int uint16;
+typedef int int16;
+typedef unsigned int uint32;
+typedef signed int int32;
+#ifdef BITS64
+typedef unsigned long long int uint64;
+typedef signed long long int int64;
+#endif
+
+/*
+-------------------------------------------------------------------------------
+Each of the following `typedef's defines a type that holds integers
+of _exactly_ the number of bits specified. For instance, for most
+implementation of C, `bits16' and `sbits16' should be `typedef'ed to
+`unsigned short int' and `signed short int' (or `short int'), respectively.
+-------------------------------------------------------------------------------
+*/
+typedef unsigned char bits8;
+typedef signed char sbits8;
+typedef unsigned short int bits16;
+typedef signed short int sbits16;
+typedef unsigned int bits32;
+typedef signed int sbits32;
+#ifdef BITS64
+typedef unsigned long long int bits64;
+typedef signed long long int sbits64;
+#endif
+
+#ifdef BITS64
+/*
+-------------------------------------------------------------------------------
+The `LIT64' macro takes as its argument a textual integer literal and
+if necessary ``marks'' the literal as having a 64-bit integer type.
+For example, the GNU C Compiler (`gcc') requires that 64-bit literals be
+appended with the letters `LL' standing for `long long', which is `gcc's
+name for the 64-bit integer type. Some compilers may allow `LIT64' to be
+defined as the identity macro: `#define LIT64( a ) a'.
+-------------------------------------------------------------------------------
+*/
+#define LIT64( a ) a##LL
+#endif
+
+/*
+-------------------------------------------------------------------------------
+The macro `INLINE' can be used before functions that should be inlined. If
+a compiler does not support explicit inlining, this macro should be defined
+to be `static'.
+-------------------------------------------------------------------------------
+*/
+#define INLINE extern inline
+
Added: vendor/testfloat/testfloat/386-Win32-gcc/Makefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ vendor/testfloat/testfloat/386-Win32-gcc/Makefile Tue Apr 20 20:47:58 2010 (r206917)
@@ -0,0 +1,64 @@
+
+PROCESSOR_H = ../../processors/386-gcc.h
+SOFTFLOAT_VERSION = bits64
+TARGET = 386-Win32-gcc
+SOFTFLOAT_DIR = ../../softfloat/$(SOFTFLOAT_VERSION)/$(TARGET)
+
+OBJ = .o
+EXE = .exe
+INCLUDES = -I. -I.. -I$(SOFTFLOAT_DIR)
+COMPILE_ASM = gcc -c -o $@
+COMPILE_C = gcc -c -o $@ $(INCLUDES) -I- -O2
+COMPILE_SLOWFLOAT_C = gcc -c -o $@ $(INCLUDES) -I- -O3
+LINK = gcc -o $@
+
+SOFTFLOAT_H = $(SOFTFLOAT_DIR)/softfloat.h
+SOFTFLOAT_OBJ = $(SOFTFLOAT_DIR)/softfloat$(OBJ)
+
+ALL: testsoftfloat$(EXE) testfloat$(EXE)
+
+milieu.h: $(PROCESSOR_H)
+ touch milieu.h
+
+fail$(OBJ): milieu.h ../fail.h
+ $(COMPILE_C) ../fail.c
+
+random$(OBJ): milieu.h ../random.h
+ $(COMPILE_C) ../random.c
+
+testCases$(OBJ): milieu.h ../fail.h ../random.h $(SOFTFLOAT_H) ../testCases.h ../testCases.c
+ $(COMPILE_C) ../testCases.c
+
+writeHex$(OBJ): milieu.h $(SOFTFLOAT_H) ../writeHex.h ../writeHex.c
+ $(COMPILE_C) ../writeHex.c
+
+testLoops$(OBJ): milieu.h $(SOFTFLOAT_H) ../testCases.h ../writeHex.h ../testLoops.h ../testLoops.c
+ $(COMPILE_C) ../testLoops.c
+
+slowfloat$(OBJ): milieu.h $(SOFTFLOAT_H) ../slowfloat.h ../slowfloat-32.c ../slowfloat-64.c ../slowfloat.c
+ $(COMPILE_SLOWFLOAT_C) ../slowfloat.c
+
+testsoftfloat$(OBJ): milieu.h ../fail.h $(SOFTFLOAT_H) ../testCases.h ../testLoops.h ../slowfloat.h ../testsoftfloat.c
+ $(COMPILE_C) ../testsoftfloat.c
+
+testsoftfloat$(EXE): fail$(OBJ) random$(OBJ) $(SOFTFLOAT_OBJ) testCases$(OBJ) writeHex$(OBJ) testLoops$(OBJ) slowfloat$(OBJ) testsoftfloat$(OBJ)
+ $(LINK) fail$(OBJ) random$(OBJ) $(SOFTFLOAT_OBJ) testCases$(OBJ) writeHex$(OBJ) testLoops$(OBJ) slowfloat$(OBJ) testsoftfloat$(OBJ)
+
+systmodes$(OBJ): systmodes.S
+ $(COMPILE_ASM) systmodes.S
+
+systflags$(OBJ): systflags.S
+ $(COMPILE_ASM) systflags.S
+
+systfloat$(OBJ): systfloat.S
+ $(COMPILE_ASM) systfloat.S
+
+testFunction$(OBJ): milieu.h $(SOFTFLOAT_H) ../testCases.h ../testLoops.h ../systmodes.h ../systflags.h systfloat.h ../testFunction.h ../testFunction.c
+ $(COMPILE_C) ../testFunction.c
+
+testfloat$(OBJ): milieu.h ../fail.h $(SOFTFLOAT_H) ../testCases.h ../testLoops.h ../systflags.h ../testFunction.h ../testfloat.c
+ $(COMPILE_C) ../testfloat.c
+
+testfloat$(EXE): fail$(OBJ) random$(OBJ) $(SOFTFLOAT_OBJ) testCases$(OBJ) writeHex$(OBJ) testLoops$(OBJ) systmodes$(OBJ) systflags$(OBJ) systfloat$(OBJ) testFunction$(OBJ) testfloat$(OBJ)
+ $(LINK) fail$(OBJ) random$(OBJ) $(SOFTFLOAT_OBJ) testCases$(OBJ) writeHex$(OBJ) testLoops$(OBJ) systmodes$(OBJ) systflags$(OBJ) systfloat$(OBJ) testFunction$(OBJ) testfloat$(OBJ)
+
Added: vendor/testfloat/testfloat/386-Win32-gcc/milieu.h
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ vendor/testfloat/testfloat/386-Win32-gcc/milieu.h Tue Apr 20 20:47:58 2010 (r206917)
@@ -0,0 +1,51 @@
+
+/*
+===============================================================================
+
+This C header file is part of TestFloat, Release 2a, a package of programs
+for testing the correctness of floating-point arithmetic complying to the
+IEC/IEEE Standard for Floating-Point.
+
+Written by John R. Hauser. More information is available through the Web
+page `http://HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'.
+
+THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE. Although reasonable effort
+has been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT
+TIMES RESULT IN INCORRECT BEHAVIOR. USE OF THIS SOFTWARE IS RESTRICTED TO
+PERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY
+AND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE.
+
+Derivative works are acceptable, even for commercial purposes, so long as
+(1) they include prominent notice that the work is derivative, and (2) they
+include prominent notice akin to these four paragraphs for those parts of
+this code that are retained.
+
+===============================================================================
+*/
+
+/*
+-------------------------------------------------------------------------------
+Include common integer types and flags.
+-------------------------------------------------------------------------------
+*/
+#include "../../processors/386-gcc.h"
+
+/*
+-------------------------------------------------------------------------------
+If the `BITS64' macro is defined by the processor header file but the
+version of SoftFloat being tested is the 32-bit one (`bits32'), the `BITS64'
+macro must be undefined here.
+-------------------------------------------------------------------------------
+#undef BITS64
+*/
+
+/*
+-------------------------------------------------------------------------------
+Symbolic Boolean literals.
+-------------------------------------------------------------------------------
+*/
+enum {
+ FALSE = 0,
+ TRUE = 1
+};
+
Added: vendor/testfloat/testfloat/386-Win32-gcc/systflags.S
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ vendor/testfloat/testfloat/386-Win32-gcc/systflags.S Tue Apr 20 20:47:58 2010 (r206917)
@@ -0,0 +1,41 @@
+
+/*
+===============================================================================
+
+This GNU assembler source file is part of TestFloat, Release 2a, a package
+of programs for testing the correctness of floating-point arithmetic
+complying to the IEC/IEEE Standard for Floating-Point.
+
+Written by John R. Hauser. More information is available through the Web
+page `http://HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'.
+
+THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE. Although reasonable effort
+has been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT
+TIMES RESULT IN INCORRECT BEHAVIOR. USE OF THIS SOFTWARE IS RESTRICTED TO
+PERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY
+AND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE.
+
+Derivative works are acceptable, even for commercial purposes, so long as
+(1) they include prominent notice that the work is derivative, and (2) they
+include prominent notice akin to these four paragraphs for those parts of
+this code that are retained.
+
+===============================================================================
+*/
+
+ .text
+
+/*
+-------------------------------------------------------------------------------
+Clears the system's IEC/IEEE floating-point exception flags. Returns the
+previous value of the flags.
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_float_flags_clear
+_syst_float_flags_clear:
+ fnstsw %ax
+ fnclex
+ andl $61,%eax
+ ret
+
Added: vendor/testfloat/testfloat/386-Win32-gcc/systfloat.S
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ vendor/testfloat/testfloat/386-Win32-gcc/systfloat.S Tue Apr 20 20:47:58 2010 (r206917)
@@ -0,0 +1,332 @@
+
+/*
+===============================================================================
+
+This GNU assembler source file is part of TestFloat, Release 2a, a package
+of programs for testing the correctness of floating-point arithmetic
+complying to the IEC/IEEE Standard for Floating-Point.
+
+Written by John R. Hauser. More information is available through the Web
+page `http://HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'.
+
+THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE. Although reasonable effort
+has been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT
+TIMES RESULT IN INCORRECT BEHAVIOR. USE OF THIS SOFTWARE IS RESTRICTED TO
+PERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY
+AND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE.
+
+Derivative works are acceptable, even for commercial purposes, so long as
+(1) they include prominent notice that the work is derivative, and (2) they
+include prominent notice akin to these four paragraphs for those parts of
+this code that are retained.
+
+===============================================================================
+*/
+
+ .text
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_int32_to_floatx80
+_syst_int32_to_floatx80:
+ fildl 8(%esp)
+ movl 4(%esp),%eax
+ fstpt (%eax)
+ ret $4
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_int64_to_floatx80
+_syst_int64_to_floatx80:
+ fildq 8(%esp)
+ movl 4(%esp),%eax
+ fstpt (%eax)
+ ret $4
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_float32_to_floatx80
+_syst_float32_to_floatx80:
+ flds 8(%esp)
+ movl 4(%esp),%eax
+ fstpt (%eax)
+ ret $4
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_float64_to_floatx80
+_syst_float64_to_floatx80:
+ fldl 8(%esp)
+ movl 4(%esp),%eax
+ fstpt (%eax)
+ ret $4
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_to_int32
+_syst_floatx80_to_int32:
+ fldt 4(%esp)
+ subl $4,%esp
+ fistpl (%esp)
+ movl (%esp),%eax
+ addl $4,%esp
+ ret
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_to_int64
+_syst_floatx80_to_int64:
+ fldt 4(%esp)
+ subl $8,%esp
+ fistpq (%esp)
+ movl (%esp),%eax
+ movl 4(%esp),%edx
+ addl $8,%esp
+ ret
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_to_float32
+_syst_floatx80_to_float32:
+ fldt 4(%esp)
+ subl $4,%esp
+ fstps (%esp)
+ movl (%esp),%eax
+ addl $4,%esp
+ ret
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_to_float64
+_syst_floatx80_to_float64:
+ fldt 4(%esp)
+ subl $8,%esp
+ fstpl (%esp)
+ movl 4(%esp),%edx
+ movl (%esp),%eax
+ addl $8,%esp
+ ret
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_round_to_int
+_syst_floatx80_round_to_int:
+ fldt 8(%esp)
+ frndint
+ movl 4(%esp),%eax
+ fstpt (%eax)
+ ret $4
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_add
+_syst_floatx80_add:
+ fldt 8(%esp)
+ fldt 20(%esp)
+ faddp
+ movl 4(%esp),%eax
+ fstpt (%eax)
+ ret $4
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_sub
+_syst_floatx80_sub:
+ fldt 8(%esp)
+ fldt 20(%esp)
+ fsubrp
+ movl 4(%esp),%eax
+ fstpt (%eax)
+ ret $4
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_mul
+_syst_floatx80_mul:
+ fldt 8(%esp)
+ fldt 20(%esp)
+ fmulp
+ movl 4(%esp),%eax
+ fstpt (%eax)
+ ret $4
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_div
+_syst_floatx80_div:
+ fldt 8(%esp)
+ fldt 20(%esp)
+ fdivrp
+ movl 4(%esp),%eax
+ fstpt (%eax)
+ ret $4
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_rem
+_syst_floatx80_rem:
+ fldt 20(%esp)
+ fldt 8(%esp)
+floatx80_rem_loop:
+ fprem1
+ fnstsw %ax
+ btw $10,%ax
+ jc floatx80_rem_loop
+ movl 4(%esp),%eax
+ fstpt (%eax)
+ fstp %st(0)
+ ret $4
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_sqrt
+_syst_floatx80_sqrt:
+ fldt 8(%esp)
+ fsqrt
+ movl 4(%esp),%eax
+ fstpt (%eax)
+ ret $4
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_eq
+_syst_floatx80_eq:
+ fldt 16(%esp)
+ fldt 4(%esp)
+ fucompp
+ fnstsw %ax
+ andw $17664,%ax
+ cmpw $16384,%ax
+ seteb %al
+ movzb %al,%eax
+ ret
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_le
+_syst_floatx80_le:
+ fldt 4(%esp)
+ fldt 16(%esp)
+ fcompp
+ fnstsw %ax
+ notl %eax
+ shrl $8,%eax
+ andl $1,%eax
+ ret
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_lt
+_syst_floatx80_lt:
+ fldt 4(%esp)
+ fldt 16(%esp)
+ fcompp
+ fnstsw %ax
+ andw $17664,%ax
+ setzb %al
+ movzb %al,%eax
+ ret
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_eq_signaling
+_syst_floatx80_eq_signaling:
+ fldt 16(%esp)
+ fldt 4(%esp)
+ fcompp
+ fnstsw %ax
+ andw $17664,%ax
+ cmpw $16384,%ax
+ seteb %al
+ movzb %al,%eax
+ ret
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_le_quiet
+_syst_floatx80_le_quiet:
+ fldt 4(%esp)
+ fldt 16(%esp)
+ fucompp
+ fnstsw %ax
+ notl %eax
+ shrl $8,%eax
+ andl $1,%eax
+ ret
+
+/*
+-------------------------------------------------------------------------------
+-------------------------------------------------------------------------------
+*/
+ .align 2
+.globl _syst_floatx80_lt_quiet
+_syst_floatx80_lt_quiet:
+ fldt 4(%esp)
+ fldt 16(%esp)
+ fucompp
+ fnstsw %ax
+ andw $17664,%ax
+ setzb %al
+ movzb %al,%eax
+ ret
+
Added: vendor/testfloat/testfloat/386-Win32-gcc/systfloat.h
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ vendor/testfloat/testfloat/386-Win32-gcc/systfloat.h Tue Apr 20 20:47:58 2010 (r206917)
@@ -0,0 +1,181 @@
+
+/*
+===============================================================================
+
+This C header file is part of TestFloat, Release 2a, a package of programs
+for testing the correctness of floating-point arithmetic complying to the
+IEC/IEEE Standard for Floating-Point.
+
+Written by John R. Hauser. More information is available through the Web
+page `http://HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'.
+
+THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE. Although reasonable effort
+has been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT
+TIMES RESULT IN INCORRECT BEHAVIOR. USE OF THIS SOFTWARE IS RESTRICTED TO
+PERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY
+AND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE.
+
+Derivative works are acceptable, even for commercial purposes, so long as
+(1) they include prominent notice that the work is derivative, and (2) they
+include prominent notice akin to these four paragraphs for those parts of
+this code that are retained.
+
+===============================================================================
+*/
+
+/*
+-------------------------------------------------------------------------------
+The following macros are defined to indicate that the corresponding
+functions exist.
+-------------------------------------------------------------------------------
+*/
+#define SYST_INT32_TO_FLOATX80
+#define SYST_INT64_TO_FLOATX80
+#define SYST_FLOAT32_TO_FLOATX80
+#define SYST_FLOAT64_TO_FLOATX80
+#define SYST_FLOATX80_TO_INT32
+#define SYST_FLOATX80_TO_INT64
+#define SYST_FLOATX80_TO_FLOAT32
+#define SYST_FLOATX80_TO_FLOAT64
+#define SYST_FLOATX80_ROUND_TO_INT
+#define SYST_FLOATX80_ADD
+#define SYST_FLOATX80_SUB
+#define SYST_FLOATX80_MUL
+#define SYST_FLOATX80_DIV
+#define SYST_FLOATX80_REM
+#define SYST_FLOATX80_SQRT
+#define SYST_FLOATX80_EQ
+#define SYST_FLOATX80_LE
+#define SYST_FLOATX80_LT
+#define SYST_FLOATX80_EQ_SIGNALING
+#define SYST_FLOATX80_LE_QUIET
+#define SYST_FLOATX80_LT_QUIET
+
+/*
+-------------------------------------------------------------------------------
+System function declarations. (Some of these functions may not exist.)
+-------------------------------------------------------------------------------
+*/
+float32 syst_int32_to_float32( int32 );
+float64 syst_int32_to_float64( int32 );
+#ifdef FLOATX80
+floatx80 syst_int32_to_floatx80( int32 );
+#endif
+#ifdef FLOAT128
+float128 syst_int32_to_float128( int32 );
+#endif
+#ifdef BITS64
+float32 syst_int64_to_float32( int64 );
+float64 syst_int64_to_float64( int64 );
+#ifdef FLOATX80
+floatx80 syst_int64_to_floatx80( int64 );
+#endif
+#ifdef FLOAT128
+float128 syst_int64_to_float128( int64 );
+#endif
+#endif
+int32 syst_float32_to_int32( float32 );
+int32 syst_float32_to_int32_round_to_zero( float32 );
+#ifdef BITS64
+int64 syst_float32_to_int64( float32 );
+int64 syst_float32_to_int64_round_to_zero( float32 );
+#endif
+float64 syst_float32_to_float64( float32 );
+#ifdef FLOATX80
+floatx80 syst_float32_to_floatx80( float32 );
+#endif
+#ifdef FLOAT128
+float128 syst_float32_to_float128( float32 );
+#endif
+float32 syst_float32_round_to_int( float32 );
+float32 syst_float32_add( float32, float32 );
+float32 syst_float32_sub( float32, float32 );
+float32 syst_float32_mul( float32, float32 );
+float32 syst_float32_div( float32, float32 );
+float32 syst_float32_rem( float32, float32 );
+float32 syst_float32_sqrt( float32 );
+flag syst_float32_eq( float32, float32 );
+flag syst_float32_le( float32, float32 );
+flag syst_float32_lt( float32, float32 );
+flag syst_float32_eq_signaling( float32, float32 );
+flag syst_float32_le_quiet( float32, float32 );
+flag syst_float32_lt_quiet( float32, float32 );
+int32 syst_float64_to_int32( float64 );
+int32 syst_float64_to_int32_round_to_zero( float64 );
+#ifdef BITS64
+int64 syst_float64_to_int64( float64 );
+int64 syst_float64_to_int64_round_to_zero( float64 );
+#endif
+float32 syst_float64_to_float32( float64 );
+#ifdef FLOATX80
+floatx80 syst_float64_to_floatx80( float64 );
+#endif
+#ifdef FLOAT128
+float128 syst_float64_to_float128( float64 );
+#endif
+float64 syst_float64_round_to_int( float64 );
+float64 syst_float64_add( float64, float64 );
+float64 syst_float64_sub( float64, float64 );
+float64 syst_float64_mul( float64, float64 );
+float64 syst_float64_div( float64, float64 );
+float64 syst_float64_rem( float64, float64 );
+float64 syst_float64_sqrt( float64 );
+flag syst_float64_eq( float64, float64 );
+flag syst_float64_le( float64, float64 );
+flag syst_float64_lt( float64, float64 );
+flag syst_float64_eq_signaling( float64, float64 );
+flag syst_float64_le_quiet( float64, float64 );
+flag syst_float64_lt_quiet( float64, float64 );
+#ifdef FLOATX80
+int32 syst_floatx80_to_int32( floatx80 );
+int32 syst_floatx80_to_int32_round_to_zero( floatx80 );
+#ifdef BITS64
+int64 syst_floatx80_to_int64( floatx80 );
+int64 syst_floatx80_to_int64_round_to_zero( floatx80 );
+#endif
+float32 syst_floatx80_to_float32( floatx80 );
+float64 syst_floatx80_to_float64( floatx80 );
+#ifdef FLOAT128
+float128 syst_floatx80_to_float128( floatx80 );
+#endif
+floatx80 syst_floatx80_round_to_int( floatx80 );
+floatx80 syst_floatx80_add( floatx80, floatx80 );
+floatx80 syst_floatx80_sub( floatx80, floatx80 );
+floatx80 syst_floatx80_mul( floatx80, floatx80 );
+floatx80 syst_floatx80_div( floatx80, floatx80 );
+floatx80 syst_floatx80_rem( floatx80, floatx80 );
+floatx80 syst_floatx80_sqrt( floatx80 );
+flag syst_floatx80_eq( floatx80, floatx80 );
+flag syst_floatx80_le( floatx80, floatx80 );
+flag syst_floatx80_lt( floatx80, floatx80 );
+flag syst_floatx80_eq_signaling( floatx80, floatx80 );
+flag syst_floatx80_le_quiet( floatx80, floatx80 );
+flag syst_floatx80_lt_quiet( floatx80, floatx80 );
+#endif
+#ifdef FLOAT128
+int32 syst_float128_to_int32( float128 );
+int32 syst_float128_to_int32_round_to_zero( float128 );
+#ifdef BITS64
+int64 syst_float128_to_int64( float128 );
+int64 syst_float128_to_int64_round_to_zero( float128 );
+#endif
+float32 syst_float128_to_float32( float128 );
+float64 syst_float128_to_float64( float128 );
+#ifdef FLOATX80
+floatx80 syst_float128_to_floatx80( float128 );
+#endif
+float128 syst_float128_round_to_int( float128 );
+float128 syst_float128_add( float128, float128 );
+float128 syst_float128_sub( float128, float128 );
+float128 syst_float128_mul( float128, float128 );
+float128 syst_float128_div( float128, float128 );
+float128 syst_float128_rem( float128, float128 );
+float128 syst_float128_sqrt( float128 );
+flag syst_float128_eq( float128, float128 );
+flag syst_float128_le( float128, float128 );
+flag syst_float128_lt( float128, float128 );
+flag syst_float128_eq_signaling( float128, float128 );
+flag syst_float128_le_quiet( float128, float128 );
+flag syst_float128_lt_quiet( float128, float128 );
+#endif
+
Added: vendor/testfloat/testfloat/386-Win32-gcc/systmodes.S
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ vendor/testfloat/testfloat/386-Win32-gcc/systmodes.S Tue Apr 20 20:47:58 2010 (r206917)
@@ -0,0 +1,82 @@
+
+/*
+===============================================================================
+
+This GNU assembler source file is part of TestFloat, Release 2a, a package
+of programs for testing the correctness of floating-point arithmetic
+complying to the IEC/IEEE Standard for Floating-Point.
+
+Written by John R. Hauser. More information is available through the Web
+page `http://HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'.
+
+THIS SOFTWARE IS DISTRIBUTED AS IS, FOR FREE. Although reasonable effort
+has been made to avoid it, THIS SOFTWARE MAY CONTAIN FAULTS THAT WILL AT
+TIMES RESULT IN INCORRECT BEHAVIOR. USE OF THIS SOFTWARE IS RESTRICTED TO
+PERSONS AND ORGANIZATIONS WHO CAN AND WILL TAKE FULL RESPONSIBILITY FOR ANY
+AND ALL LOSSES, COSTS, OR OTHER PROBLEMS ARISING FROM ITS USE.
+
+Derivative works are acceptable, even for commercial purposes, so long as
+(1) they include prominent notice that the work is derivative, and (2) they
+include prominent notice akin to these four paragraphs for those parts of
+this code that are retained.
+
+===============================================================================
+*/
+
+ .text
+
+/*
+-------------------------------------------------------------------------------
+Sets the system's IEC/IEEE floating-point rounding mode. Also disables all
+system exception traps.
+-------------------------------------------------------------------------------
+*/
+ .align 4
+ .global _syst_float_set_rounding_mode
+_syst_float_set_rounding_mode:
+ movb 4(%esp),%al
+ andb $3,%al
+ shlw $10,%ax
+ orw $63,%ax
+ subl $2,%esp
+ fnstcw 0(%esp)
+ andw $768,0(%esp)
+ orw %ax,0(%esp)
+ fldcw 0(%esp)
+ addl $2,%esp
+ ret
+
+/*
+-------------------------------------------------------------------------------
+Sets the rounding precision of subsequent extended double-precision
+operations. The `precision' argument should be one of 0, 32, 64, or 80.
+If `precision' is 32, the rounding precision is set equivalent to single
+precision; else if `precision' is 64, the rounding precision is set
+equivalent to double precision; else the rounding precision is set to full
+extended double precision.
+-------------------------------------------------------------------------------
+*/
+ .align 4
+ .global _syst_float_set_rounding_precision
+_syst_float_set_rounding_precision:
+ movb 4(%esp),%al
+ movb $0,%ah
+ cmpb $32,%al
+ je setRoundingPrecision
+ movb $2,%ah
+ cmpb $64,%al
+ je setRoundingPrecision
+ movb $3,%ah
+ cmpb $80,%al
+ je setRoundingPrecision
+ movb $0,%ah
+setRoundingPrecision:
+ movb $0,%al
+ subl $2,%esp
+ fnstcw 0(%esp)
+ andw $64767,0(%esp)
+ orw %ax,0(%esp)
+ fldcw 0(%esp)
+ addl $2,%esp
+ ret
+
Added: vendor/testfloat/testfloat/README.txt
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ vendor/testfloat/testfloat/README.txt Tue Apr 20 20:47:58 2010 (r206917)
@@ -0,0 +1,50 @@
+
+Package Overview for TestFloat Release 2a
+
+John R. Hauser
+1998 December 16
+
+
+TestFloat is a program for testing that a floating-point implementation
+conforms to the IEC/IEEE Standard for Binary Floating-Point Arithmetic.
+TestFloat is distributed in the form of C source code. The TestFloat
+package actually provides two related programs:
+
+-- The `testfloat' program tests a system's floating-point for conformance
+ to the IEC/IEEE Standard. This program uses the SoftFloat software
+ floating-point implementation as a basis for comparison.
+
+-- The `testsoftfloat' program tests SoftFloat itself for conformance to
+ the IEC/IEEE Standard. These tests are performed by comparing against a
+ separate, slower software floating-point that is included in the TestFloat
+ package.
+
+TestFloat depends on SoftFloat, but SoftFloat is not included in the
+TestFloat package. SoftFloat can be obtained through the Web page `http://
+HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/SoftFloat.html'.
+
+TestFloat is documented in three text files:
+
+ testfloat.txt Documentation for using the TestFloat programs
+ (both `testfloat' and `testsoftfloat').
+ testfloat-source.txt Documentation for porting and compiling TestFloat.
+ testfloat-history.txt History of major changes to TestFloat.
+
+The following file is also provided:
+
+ systemBugs.txt Information about processor bugs found using
+ TestFloat.
+
+Other files in the package comprise the source code for TestFloat.
+
+Please be aware that some work is involved in porting this software to other
+targets. It is not just a matter of getting `make' to complete without
+error messages. I would have written the code that way if I could, but
+there are fundamental differences between systems that I can't make go away.
+You should not attempt to compile the TestFloat sources without first
+reading `testfloat-source.txt'.
+
+At the time of this writing, the most up-to-date information about
+TestFloat and the latest release can be found at the Web page `http://
+HTTP.CS.Berkeley.EDU/~jhauser/arithmetic/TestFloat.html'.
+
Added: vendor/testfloat/testfloat/SPARC-Solaris-gcc/Makefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ vendor/testfloat/testfloat/SPARC-Solaris-gcc/Makefile Tue Apr 20 20:47:58 2010 (r206917)
@@ -0,0 +1,64 @@
+
+PROCESSOR_H = ../../processors/SPARC-gcc.h
+SOFTFLOAT_VERSION = bits64
+TARGET = SPARC-Solaris-gcc
+SOFTFLOAT_DIR = ../../softfloat/$(SOFTFLOAT_VERSION)/$(TARGET)
+
+OBJ = .o
+EXE =
+INCLUDES = -I. -I.. -I$(SOFTFLOAT_DIR)
*** DIFF OUTPUT TRUNCATED AT 1000 LINES ***
More information about the svn-src-all
mailing list