From 0d2862cdb35361d47548020b97dc60b58d53d048 Mon Sep 17 00:00:00 2001 From: John Hauser Date: Fri, 18 Aug 2017 16:21:07 -0700 Subject: Release 3d. See "doc/TestFloat-history.html". --- COPYING.txt | 6 +-- README.html | 4 +- README.md | 20 ++++---- README.txt | 4 +- build/Linux-386-GCC/Makefile | 2 +- build/Linux-386-GCC/platform.h | 2 +- build/Linux-386-SSE2-GCC/Makefile | 2 +- build/Linux-386-SSE2-GCC/platform.h | 2 +- build/Linux-x86_64-GCC/Makefile | 2 +- build/Linux-x86_64-GCC/platform.h | 2 +- build/Win32-MinGW/Makefile | 6 +-- build/Win32-MinGW/platform.h | 2 +- build/Win32-SSE2-MinGW/Makefile | 6 +-- build/Win32-SSE2-MinGW/platform.h | 2 +- build/Win64-MinGW-w64/Makefile | 6 +-- build/Win64-MinGW-w64/platform.h | 2 +- build/template/Makefile | 2 +- build/template/platform.h | 2 +- doc/TestFloat-general.html | 33 +++++--------- doc/TestFloat-history.html | 17 ++++++- doc/TestFloat-source.html | 21 ++++++--- doc/testfloat.html | 4 +- doc/testfloat_gen.html | 4 +- doc/testfloat_ver.html | 4 +- doc/testsoftfloat.html | 4 +- doc/timesoftfloat.html | 4 +- source/fail.c | 2 +- source/fail.h | 2 +- source/functionInfos.c | 2 +- source/functions.h | 2 +- source/functions_common.c | 2 +- source/genCases.h | 2 +- source/genCases_common.c | 2 +- source/genCases_extF80.c | 2 +- source/genCases_f128.c | 2 +- source/genCases_f16.c | 2 +- source/genCases_f32.c | 2 +- source/genCases_f64.c | 2 +- source/genCases_i32.c | 2 +- source/genCases_i64.c | 2 +- source/genCases_ui32.c | 2 +- source/genCases_ui64.c | 2 +- source/genCases_writeTestsTotal.c | 2 +- source/genLoops.c | 2 +- source/genLoops.h | 2 +- source/random.c | 2 +- source/random.h | 2 +- source/readHex.c | 2 +- source/readHex.h | 2 +- source/slowfloat.c | 2 +- source/slowfloat.h | 2 +- source/standardFunctionInfos.c | 2 +- source/subj-C/subjfloat.c | 91 ++++++++++++++++++++++++++++++++++++- source/subj-C/subjfloat_config.h | 25 ++++++++++ source/subjfloat.h | 2 +- source/subjfloat_functions.c | 2 +- source/testLoops.h | 2 +- source/testLoops_common.c | 2 +- source/test_a_extF80_z_f128.c | 2 +- source/test_a_extF80_z_f16.c | 2 +- source/test_a_extF80_z_f32.c | 2 +- source/test_a_extF80_z_f64.c | 2 +- source/test_a_extF80_z_i32_rx.c | 2 +- source/test_a_extF80_z_i32_x.c | 2 +- source/test_a_extF80_z_i64_rx.c | 2 +- source/test_a_extF80_z_i64_x.c | 2 +- source/test_a_extF80_z_ui32_rx.c | 2 +- source/test_a_extF80_z_ui32_x.c | 2 +- source/test_a_extF80_z_ui64_rx.c | 2 +- source/test_a_extF80_z_ui64_x.c | 2 +- source/test_a_f128_z_extF80.c | 2 +- source/test_a_f128_z_f16.c | 2 +- source/test_a_f128_z_f32.c | 2 +- source/test_a_f128_z_f64.c | 2 +- source/test_a_f128_z_i32_rx.c | 2 +- source/test_a_f128_z_i32_x.c | 2 +- source/test_a_f128_z_i64_rx.c | 2 +- source/test_a_f128_z_i64_x.c | 2 +- source/test_a_f128_z_ui32_rx.c | 2 +- source/test_a_f128_z_ui32_x.c | 2 +- source/test_a_f128_z_ui64_rx.c | 2 +- source/test_a_f128_z_ui64_x.c | 2 +- source/test_a_f16_z_extF80.c | 2 +- source/test_a_f16_z_f128.c | 2 +- source/test_a_f16_z_f32.c | 2 +- source/test_a_f16_z_f64.c | 2 +- source/test_a_f16_z_i32_rx.c | 2 +- source/test_a_f16_z_i32_x.c | 2 +- source/test_a_f16_z_i64_rx.c | 2 +- source/test_a_f16_z_i64_x.c | 2 +- source/test_a_f16_z_ui32_rx.c | 2 +- source/test_a_f16_z_ui32_x.c | 2 +- source/test_a_f16_z_ui64_rx.c | 2 +- source/test_a_f16_z_ui64_x.c | 2 +- source/test_a_f32_z_extF80.c | 2 +- source/test_a_f32_z_f128.c | 2 +- source/test_a_f32_z_f16.c | 2 +- source/test_a_f32_z_f64.c | 2 +- source/test_a_f32_z_i32_rx.c | 2 +- source/test_a_f32_z_i32_x.c | 2 +- source/test_a_f32_z_i64_rx.c | 2 +- source/test_a_f32_z_i64_x.c | 2 +- source/test_a_f32_z_ui32_rx.c | 2 +- source/test_a_f32_z_ui32_x.c | 2 +- source/test_a_f32_z_ui64_rx.c | 2 +- source/test_a_f32_z_ui64_x.c | 2 +- source/test_a_f64_z_extF80.c | 2 +- source/test_a_f64_z_f128.c | 2 +- source/test_a_f64_z_f16.c | 2 +- source/test_a_f64_z_f32.c | 2 +- source/test_a_f64_z_i32_rx.c | 2 +- source/test_a_f64_z_i32_x.c | 2 +- source/test_a_f64_z_i64_rx.c | 2 +- source/test_a_f64_z_i64_x.c | 2 +- source/test_a_f64_z_ui32_rx.c | 2 +- source/test_a_f64_z_ui32_x.c | 2 +- source/test_a_f64_z_ui64_rx.c | 2 +- source/test_a_f64_z_ui64_x.c | 2 +- source/test_a_i32_z_extF80.c | 2 +- source/test_a_i32_z_f128.c | 2 +- source/test_a_i32_z_f16.c | 2 +- source/test_a_i32_z_f32.c | 2 +- source/test_a_i32_z_f64.c | 2 +- source/test_a_i64_z_extF80.c | 2 +- source/test_a_i64_z_f128.c | 2 +- source/test_a_i64_z_f16.c | 2 +- source/test_a_i64_z_f32.c | 2 +- source/test_a_i64_z_f64.c | 2 +- source/test_a_ui32_z_extF80.c | 2 +- source/test_a_ui32_z_f128.c | 2 +- source/test_a_ui32_z_f16.c | 2 +- source/test_a_ui32_z_f32.c | 2 +- source/test_a_ui32_z_f64.c | 2 +- source/test_a_ui64_z_extF80.c | 2 +- source/test_a_ui64_z_f128.c | 2 +- source/test_a_ui64_z_f16.c | 2 +- source/test_a_ui64_z_f32.c | 2 +- source/test_a_ui64_z_f64.c | 2 +- source/test_ab_extF80_z_bool.c | 2 +- source/test_ab_f128_z_bool.c | 2 +- source/test_ab_f16_z_bool.c | 2 +- source/test_ab_f32_z_bool.c | 2 +- source/test_ab_f64_z_bool.c | 2 +- source/test_abcz_f128.c | 2 +- source/test_abcz_f16.c | 2 +- source/test_abcz_f32.c | 2 +- source/test_abcz_f64.c | 2 +- source/test_abz_extF80.c | 2 +- source/test_abz_f128.c | 2 +- source/test_abz_f16.c | 2 +- source/test_abz_f32.c | 2 +- source/test_abz_f64.c | 2 +- source/test_az_extF80.c | 2 +- source/test_az_extF80_rx.c | 2 +- source/test_az_f128.c | 2 +- source/test_az_f128_rx.c | 2 +- source/test_az_f16.c | 2 +- source/test_az_f16_rx.c | 2 +- source/test_az_f32.c | 2 +- source/test_az_f32_rx.c | 2 +- source/test_az_f64.c | 2 +- source/test_az_f64_rx.c | 2 +- source/testfloat.c | 2 +- source/testfloat_gen.c | 2 +- source/testfloat_ver.c | 2 +- source/testsoftfloat.c | 2 +- source/timesoftfloat.c | 2 +- source/uint128.c | 2 +- source/uint128.h | 2 +- source/uint128_inline.c | 2 +- source/verCases.h | 2 +- source/verCases_common.c | 2 +- source/verCases_inline.c | 2 +- source/verCases_writeFunctionName.c | 2 +- source/verLoops.c | 2 +- source/verLoops.h | 2 +- source/writeCase.h | 2 +- source/writeCase_a_extF80M.c | 2 +- source/writeCase_a_f128M.c | 2 +- source/writeCase_a_f16.c | 2 +- source/writeCase_a_f32.c | 2 +- source/writeCase_a_f64.c | 2 +- source/writeCase_a_ui32.c | 2 +- source/writeCase_a_ui64.c | 2 +- source/writeCase_ab_extF80M.c | 2 +- source/writeCase_ab_f128M.c | 2 +- source/writeCase_ab_f16.c | 2 +- source/writeCase_ab_f32.c | 2 +- source/writeCase_ab_f64.c | 2 +- source/writeCase_abc_f128M.c | 2 +- source/writeCase_abc_f16.c | 2 +- source/writeCase_abc_f32.c | 2 +- source/writeCase_abc_f64.c | 2 +- source/writeCase_z_bool.c | 2 +- source/writeCase_z_extF80M.c | 2 +- source/writeCase_z_f128M.c | 2 +- source/writeCase_z_f16.c | 2 +- source/writeCase_z_f32.c | 2 +- source/writeCase_z_f64.c | 2 +- source/writeCase_z_ui32.c | 2 +- source/writeCase_z_ui64.c | 2 +- source/writeHex.c | 2 +- source/writeHex.h | 2 +- 203 files changed, 379 insertions(+), 252 deletions(-) diff --git a/COPYING.txt b/COPYING.txt index 279b859..faf2001 100644 --- a/COPYING.txt +++ b/COPYING.txt @@ -1,10 +1,10 @@ -License for Berkeley TestFloat Release 3c +License for Berkeley TestFloat Release 3d John R. Hauser -2017 February 10 +2017 August 18 -The following applies to the whole of TestFloat Release 3c as well as to +The following applies to the whole of TestFloat Release 3d as well as to each source file individually. Copyright 2011, 2012, 2013, 2014, 2015, 2016, 2017 The Regents of the diff --git a/README.html b/README.html index aeea014..80c645c 100644 --- a/README.html +++ b/README.html @@ -7,11 +7,11 @@ -

Package Overview for Berkeley TestFloat Release 3c

+

Package Overview for Berkeley TestFloat Release 3d

John R. Hauser
-2017 February 10
+2017 August 18

diff --git a/README.md b/README.md index 4a4c256..d4cee62 100644 --- a/README.md +++ b/README.md @@ -1,9 +1,9 @@ -Package Overview for Berkeley TestFloat Release 3c +Package Overview for Berkeley TestFloat Release 3d ================================================== John R. Hauser
-2017 February 10 +2017 August 18 Berkeley TestFloat is a small collection of programs for testing that an @@ -15,14 +15,14 @@ code. The TestFloat package is documented in the following files in the `doc` subdirectory: -* [TestFloat-general.html](http://www.jhauser.us/arithmetic/TestFloat-3c/doc/TestFloat-general.html) General documentation for understanding and using the TestFloat programs. -* [testfloat_gen.html](http://www.jhauser.us/arithmetic/TestFloat-3c/doc/testfloat_gen.html) Specific documentation for the `testfloat_gen` program. -* [testfloat_ver.html](http://www.jhauser.us/arithmetic/TestFloat-3c/doc/testfloat_ver.html) Specific documentation for the `testfloat_ver` program. -* [testfloat.html](http://www.jhauser.us/arithmetic/TestFloat-3c/doc/testfloat.html) Specific documentation for the all-in-one `testfloat` program. -* [testsoftfloat.html](http://www.jhauser.us/arithmetic/TestFloat-3c/doc/testsoftfloat.html) Specific documentation for the `testsoftfloat` program. -* [timesoftfloat.html](http://www.jhauser.us/arithmetic/TestFloat-3c/doc/timesoftfloat.html) Specific documentation for the `timesoftfloat` program. -* [TestFloat-source.html](http://www.jhauser.us/arithmetic/TestFloat-3c/doc/TestFloat-source.html) Documentation for building TestFloat. -* [TestFloat-history.html](http://www.jhauser.us/arithmetic/TestFloat-3c/doc/TestFloat-history.html) History of the major changes to TestFloat. +* [TestFloat-general.html](http://www.jhauser.us/arithmetic/TestFloat-3/doc/TestFloat-general.html) General documentation for understanding and using the TestFloat programs. +* [testfloat_gen.html](http://www.jhauser.us/arithmetic/TestFloat-3/doc/testfloat_gen.html) Specific documentation for the `testfloat_gen` program. +* [testfloat_ver.html](http://www.jhauser.us/arithmetic/TestFloat-3/doc/testfloat_ver.html) Specific documentation for the `testfloat_ver` program. +* [testfloat.html](http://www.jhauser.us/arithmetic/TestFloat-3/doc/testfloat.html) Specific documentation for the all-in-one `testfloat` program. +* [testsoftfloat.html](http://www.jhauser.us/arithmetic/TestFloat-3/doc/testsoftfloat.html) Specific documentation for the `testsoftfloat` program. +* [timesoftfloat.html](http://www.jhauser.us/arithmetic/TestFloat-3/doc/timesoftfloat.html) Specific documentation for the `timesoftfloat` program. +* [TestFloat-source.html](http://www.jhauser.us/arithmetic/TestFloat-3/doc/TestFloat-source.html) Documentation for building TestFloat. +* [TestFloat-history.html](http://www.jhauser.us/arithmetic/TestFloat-3/doc/TestFloat-history.html) History of the major changes to TestFloat. Other files in the package comprise the source code for TestFloat. diff --git a/README.txt b/README.txt index cc28024..e736084 100644 --- a/README.txt +++ b/README.txt @@ -1,8 +1,8 @@ -Package Overview for Berkeley TestFloat Release 3c +Package Overview for Berkeley TestFloat Release 3d John R. Hauser -2017 February 10 +2017 August 18 Berkeley TestFloat is a small collection of programs for testing that an implementation of binary floating-point conforms to the IEEE Standard for diff --git a/build/Linux-386-GCC/Makefile b/build/Linux-386-GCC/Makefile index b735bfd..9c3ffbe 100644 --- a/build/Linux-386-GCC/Makefile +++ b/build/Linux-386-GCC/Makefile @@ -1,7 +1,7 @@ #============================================================================= # -# This Makefile is part of TestFloat, Release 3c, a package of programs for +# This Makefile is part of TestFloat, Release 3d, a package of programs for # testing the correctness of floating-point arithmetic complying with the IEEE # Standard for Floating-Point, by John R. Hauser. # diff --git a/build/Linux-386-GCC/platform.h b/build/Linux-386-GCC/platform.h index ffaf89f..802bc4c 100644 --- a/build/Linux-386-GCC/platform.h +++ b/build/Linux-386-GCC/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3c, a package of programs for +This C header file is part of TestFloat, Release 3d, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. diff --git a/build/Linux-386-SSE2-GCC/Makefile b/build/Linux-386-SSE2-GCC/Makefile index e082d93..42f579d 100644 --- a/build/Linux-386-SSE2-GCC/Makefile +++ b/build/Linux-386-SSE2-GCC/Makefile @@ -1,7 +1,7 @@ #============================================================================= # -# This Makefile is part of TestFloat, Release 3c, a package of programs for +# This Makefile is part of TestFloat, Release 3d, a package of programs for # testing the correctness of floating-point arithmetic complying with the IEEE # Standard for Floating-Point, by John R. Hauser. # diff --git a/build/Linux-386-SSE2-GCC/platform.h b/build/Linux-386-SSE2-GCC/platform.h index ffaf89f..802bc4c 100644 --- a/build/Linux-386-SSE2-GCC/platform.h +++ b/build/Linux-386-SSE2-GCC/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3c, a package of programs for +This C header file is part of TestFloat, Release 3d, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. diff --git a/build/Linux-x86_64-GCC/Makefile b/build/Linux-x86_64-GCC/Makefile index b0ff067..ffccb0d 100644 --- a/build/Linux-x86_64-GCC/Makefile +++ b/build/Linux-x86_64-GCC/Makefile @@ -1,7 +1,7 @@ #============================================================================= # -# This Makefile is part of TestFloat, Release 3c, a package of programs for +# This Makefile is part of TestFloat, Release 3d, a package of programs for # testing the correctness of floating-point arithmetic complying with the IEEE # Standard for Floating-Point, by John R. Hauser. # diff --git a/build/Linux-x86_64-GCC/platform.h b/build/Linux-x86_64-GCC/platform.h index ffaf89f..802bc4c 100644 --- a/build/Linux-x86_64-GCC/platform.h +++ b/build/Linux-x86_64-GCC/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3c, a package of programs for +This C header file is part of TestFloat, Release 3d, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. diff --git a/build/Win32-MinGW/Makefile b/build/Win32-MinGW/Makefile index c35269f..34f0ce8 100644 --- a/build/Win32-MinGW/Makefile +++ b/build/Win32-MinGW/Makefile @@ -1,7 +1,7 @@ #============================================================================= # -# This Makefile is part of TestFloat, Release 3c, a package of programs for +# This Makefile is part of TestFloat, Release 3d, a package of programs for # testing the correctness of floating-point arithmetic complying with the IEEE # Standard for Floating-Point, by John R. Hauser. # @@ -55,10 +55,10 @@ DELETE = rm -f C_INCLUDES = \ -I. -I$(SUBJ_SOURCE_DIR) -I$(SOURCE_DIR) -I$(SOFTFLOAT_INCLUDE_DIR) COMPILE_C = \ - gcc -c -Werror-implicit-function-declaration $(TESTFLOAT_OPTS) \ + gcc -std=c99 -c -Werror-implicit-function-declaration $(TESTFLOAT_OPTS) \ $(C_INCLUDES) -O2 -o $@ COMPILE_SLOWFLOAT_C = \ - gcc -c -Werror-implicit-function-declaration $(TESTFLOAT_OPTS) \ + gcc -std=c99 -c -Werror-implicit-function-declaration $(TESTFLOAT_OPTS) \ $(C_INCLUDES) -O3 -o $@ MAKELIB = ar crs $@ LINK = gcc -o $@ diff --git a/build/Win32-MinGW/platform.h b/build/Win32-MinGW/platform.h index ffaf89f..802bc4c 100644 --- a/build/Win32-MinGW/platform.h +++ b/build/Win32-MinGW/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3c, a package of programs for +This C header file is part of TestFloat, Release 3d, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. diff --git a/build/Win32-SSE2-MinGW/Makefile b/build/Win32-SSE2-MinGW/Makefile index 9af2d80..cf02838 100644 --- a/build/Win32-SSE2-MinGW/Makefile +++ b/build/Win32-SSE2-MinGW/Makefile @@ -1,7 +1,7 @@ #============================================================================= # -# This Makefile is part of TestFloat, Release 3c, a package of programs for +# This Makefile is part of TestFloat, Release 3d, a package of programs for # testing the correctness of floating-point arithmetic complying with the IEEE # Standard for Floating-Point, by John R. Hauser. # @@ -55,10 +55,10 @@ DELETE = rm -f C_INCLUDES = \ -I. -I$(SUBJ_SOURCE_DIR) -I$(SOURCE_DIR) -I$(SOFTFLOAT_INCLUDE_DIR) COMPILE_C = \ - gcc -c -Werror-implicit-function-declaration -msse2 -mfpmath=sse \ + gcc -std=c99 -c -Werror-implicit-function-declaration -msse2 -mfpmath=sse \ $(TESTFLOAT_OPTS) $(C_INCLUDES) -O2 -o $@ COMPILE_SLOWFLOAT_C = \ - gcc -c -Werror-implicit-function-declaration $(TESTFLOAT_OPTS) \ + gcc -std=c99 -c -Werror-implicit-function-declaration $(TESTFLOAT_OPTS) \ $(C_INCLUDES) -O3 -o $@ MAKELIB = ar crs $@ LINK = gcc -o $@ diff --git a/build/Win32-SSE2-MinGW/platform.h b/build/Win32-SSE2-MinGW/platform.h index ffaf89f..802bc4c 100644 --- a/build/Win32-SSE2-MinGW/platform.h +++ b/build/Win32-SSE2-MinGW/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3c, a package of programs for +This C header file is part of TestFloat, Release 3d, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. diff --git a/build/Win64-MinGW-w64/Makefile b/build/Win64-MinGW-w64/Makefile index e16749f..4339beb 100644 --- a/build/Win64-MinGW-w64/Makefile +++ b/build/Win64-MinGW-w64/Makefile @@ -1,7 +1,7 @@ #============================================================================= # -# This Makefile is part of TestFloat, Release 3c, a package of programs for +# This Makefile is part of TestFloat, Release 3d, a package of programs for # testing the correctness of floating-point arithmetic complying with the IEEE # Standard for Floating-Point, by John R. Hauser. # @@ -55,10 +55,10 @@ DELETE = rm -f C_INCLUDES = \ -I. -I$(SUBJ_SOURCE_DIR) -I$(SOURCE_DIR) -I$(SOFTFLOAT_INCLUDE_DIR) COMPILE_C = \ - x86_64-w64-mingw32-gcc -c -Werror-implicit-function-declaration \ + x86_64-w64-mingw32-gcc -std=c99 -c -Werror-implicit-function-declaration \ $(TESTFLOAT_OPTS) $(C_INCLUDES) -O2 -o $@ COMPILE_SLOWFLOAT_C = \ - x86_64-w64-mingw32-gcc -c -Werror-implicit-function-declaration \ + x86_64-w64-mingw32-gcc -std=c99 -c -Werror-implicit-function-declaration \ $(TESTFLOAT_OPTS) $(C_INCLUDES) -O3 -o $@ MAKELIB = x86_64-w64-mingw32-ar crs $@ LINK = x86_64-w64-mingw32-gcc -o $@ diff --git a/build/Win64-MinGW-w64/platform.h b/build/Win64-MinGW-w64/platform.h index ffaf89f..802bc4c 100644 --- a/build/Win64-MinGW-w64/platform.h +++ b/build/Win64-MinGW-w64/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header file is part of TestFloat, Release 3c, a package of programs for +This C header file is part of TestFloat, Release 3d, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. diff --git a/build/template/Makefile b/build/template/Makefile index 56e9a56..30c18fd 100644 --- a/build/template/Makefile +++ b/build/template/Makefile @@ -1,7 +1,7 @@ #============================================================================= # -# This Makefile template is part of TestFloat, Release 3c, a package of +# This Makefile template is part of TestFloat, Release 3d, a package of # programs for testing the correctness of floating-point arithmetic complying # with the IEEE Standard for Floating-Point, by John R. Hauser. # diff --git a/build/template/platform.h b/build/template/platform.h index e65b264..d0cb069 100644 --- a/build/template/platform.h +++ b/build/template/platform.h @@ -1,7 +1,7 @@ /*============================================================================ -This C header template is part of TestFloat, Release 3c, a package of programs +This C header template is part of TestFloat, Release 3d, a package of programs for testing the correctness of floating-point arithmetic complying with the IEEE Standard for Floating-Point, by John R. Hauser. diff --git a/doc/TestFloat-general.html b/doc/TestFloat-general.html index 0c766a4..c82f06e 100644 --- a/doc/TestFloat-general.html +++ b/doc/TestFloat-general.html @@ -7,11 +7,11 @@ -

Berkeley TestFloat Release 3c: General Documentation

+

Berkeley TestFloat Release 3d: General Documentation

John R. Hauser
-2017 February 10
+2017 August 18

@@ -78,25 +78,16 @@ Details about the standard are available elsewhere.

-The current version of TestFloat is Release 3c. -This release differs from the previous Release 3b in only minor +The current version of TestFloat is Release 3d. +This version differs from earlier releases 3b and 3c in only minor ways. -Release 3c adds the ability to test a rarely used rounding mode, +Compared to the original Release 3, Release 3b added +the ability to test the 16-bit half-precision format, while +Release 3c added the ability to test a rarely used rounding mode, round to odd, also known as jamming. -It also permits TestFloat to be built for testing only 32-bit -single-precision and no other floating-point formats. -(This is relevant for very small computers, which may benefit from leaving out -the code for testing formats they don’t support.) -Previously, TestFloat's minimum set of testable formats was two: -32-bit single-precision and 64-bit double-precision. -Now the minimum set is just 32-bit single-precision -alone. -

- -

-For its part, Release 3b differed from the earlier -Release 3a mainly in the ability to test the 16-bit -half-precision format. +This release modifies the code for testing C arithmetic to potentially include +testing newer library functions sqrtf, sqrtl, +fmaf, fma, and fmal.

@@ -133,7 +124,7 @@ bugs can be found through links posted on the TestFloat Web page, The TestFloat package was written by me, John R. Hauser. Release 3 of TestFloat was a completely new implementation supplanting earlier releases. -The project to create Release 3 (now through 3c) was +The project to create Release 3 (now through 3d) was done in the employ of the University of California, Berkeley, within the Department of Electrical Engineering and Computer Sciences, first for the Parallel Computing Laboratory (Par Lab) and then for the ASPIRE Lab. @@ -167,7 +158,7 @@ Oracle, and Samsung.

-The following applies to the whole of TestFloat Release 3c as well +The following applies to the whole of TestFloat Release 3d as well as to each source file individually.

diff --git a/doc/TestFloat-history.html b/doc/TestFloat-history.html index 3d3db9e..ed34043 100644 --- a/doc/TestFloat-history.html +++ b/doc/TestFloat-history.html @@ -7,11 +7,11 @@ -

History of Berkeley TestFloat, to Release 3c

+

History of Berkeley TestFloat, to Release 3d

John R. Hauser
-2017 February 10
+2017 August 18

@@ -23,6 +23,19 @@ corresponding release of SoftFloat.

+

Release 3d (2017 August)

+ + + +

Release 3c (2017 February)