From af1a266670d040d2f4083ff309d732d648afba2a Mon Sep 17 00:00:00 2001 From: Angelos Mouzakitis Date: Tue, 10 Oct 2023 14:33:42 +0000 Subject: Add submodule dependency files Change-Id: Iaf8d18082d3991dec7c0ebbea540f092188eb4ec --- .../doc/TestFloat-history.html | 272 +++++++++++++++++++++ 1 file changed, 272 insertions(+) create mode 100644 tests/fp/berkeley-testfloat-3/doc/TestFloat-history.html (limited to 'tests/fp/berkeley-testfloat-3/doc/TestFloat-history.html') diff --git a/tests/fp/berkeley-testfloat-3/doc/TestFloat-history.html b/tests/fp/berkeley-testfloat-3/doc/TestFloat-history.html new file mode 100644 index 000000000..1c247de0b --- /dev/null +++ b/tests/fp/berkeley-testfloat-3/doc/TestFloat-history.html @@ -0,0 +1,272 @@ + + + + +Berkeley TestFloat History + + + + +

History of Berkeley TestFloat, to Release 3e

+ +

+John R. Hauser
+2018 January 20
+

+ + +

+Releases of Berkeley TestFloat normally parallel those of Berkeley SoftFloat, +on which TestFloat is based. +Each TestFloat release necessarily incorporates all bug fixes from the +corresponding release of SoftFloat. +

+ + +

Release 3e (2018 January)

+ +

+Fixed a problem with the all-in-one testfloat program whereby +function set -all1 incorrectly also tested the three-operand fused +multiply-add operations. + +
+Modified the expected behavior of rounding mode odd (jamming) when +rounding to an integer value (either conversion to an integer format or a +‘roundToInt’ function). +Previously, for those cases only, rounding mode odd was expected +to act the same as rounding to minimum magnitude. +Now, when rounding to an integer value, the nearest odd integer is expected, +consistent with the round-to-odd result of other operations. + +
+Added options -checkInvInts and -checkAll to programs +testfloat_ver and testfloat. + +
+Improved the checking of integer results of invalid operations. + +

+ + +

Release 3d (2017 August)

+ +

+When the all-in-one testfloat program is compiled to test the C +language’s arithmetic, added the ability to test library functions +sqrtf, sqrtl, fmaf, fma, +and fmal, which were added to the C Standard in 1999. + +

+ + +

Release 3c (2017 February)

+ +

+Added support for testing rounding mode odd (jamming). + +
+Made support for testing 64-bit double-precistion floating-point +be subject to macro FLOAT64 (akin to macros FLOAT16, +EXTFLOAT80, and FLOAT128 from before). + +
+Fixed some bugs that caused compilation to fail with certain combinations of +option macro settings. + +
+Corrected the types of two internal variables to be sig_atomic_t +instead of bool. + +
+Improved the formatting of some error reports (concerning where lines are +broken when they exceed 79 characters in length). + +

+ + +

Release 3b (2016 July)

+ +

+Added the ability to test the common 16-bit +“half-precision” floating-point format. + +
+Added a -seed option to programs testfloat_gen, +testfloat, and testsoftfloat for setting the seed for +the pseudo-random number generator used to generate test cases. + +
+Where a specific choice is needed for how tininess is detected on underflow, +changed the default to be the detection of tininess after rounding +(-tininessafter) instead of before rounding +(-tininessbefore). + +
+Modified the format of reported discrepancies to show the signs of +floating-point values using + and - characters. + +
+Documented the use of the INLINE macro, and fixed the sources for +the case that function inlining is not supported by the C compiler. + +
+Documented the possible need to define macro THREAD_LOCAL to match +how the SoftFloat library was built. + +
+Modified the provided Makefiles to allow some options to be overridden from the +make command. + +

+ + +

Release 3a (2015 October)

+ +

+Replaced the license text supplied by the University of California, Berkeley, +and fixed some minor build problems. + +

+ + +

Release 3 (2015 February)

+ +

+Complete rewrite, funded by the University of California, Berkeley, and +consequently having a different use license than earlier releases. +Visible changes included different names for testable functions and command +options. + +
+Reinstated separate programs for generating test cases +(testfloat_ver) and verifying test results +(testfloat_gen), as alternatives to the all-in-one +testfloat program (which remained supported). + +
+Added support for testing conversions between floating-point and unsigned +integers, both 32-bit and 64-bit. + +
+Added support for testing a fused multiply-add operation, for all testable +floating-point formats except 80-bit double-extended-precision. + +
+Added support for testing a fifth rounding mode, near_maxMag +(round to nearest, with ties to maximum magnitude, away from zero). + +
+Added timesoftfloat (previously found in the Berkeley SoftFloat +package). + +

+ + +

Release 2c (2015 January)

+ +

+Fixed mistakes affecting some 64-bit processors. + +
+Made minor updates to the documentation, including improved wording for the +legal restrictions on using TestFloat releases through 2c (not +applicable to Release 3 or later). + +

+ + +

+There was never a Release 2b. +

+ + +

Release 2a (1998 December)

+ +

+Added support for testing conversions between floating-point and +64-bit signed integers. + +
+Improved the Makefiles. + +

+ + +

Release 2 (1997 June)

+ +

+Integrated the generation of test cases and the checking of system results into +a single program. +(Before they were separate programs, normally joined by explicit command-line +pipes.) + +
+Improved the sequence of test cases. + +
+Added support for testing 80-bit double-extended-precision and +128-bit quadruple precision. + +
+Made program output more readable, and added new command arguments. + +
+Reduced dependence on the quality of the standard rand function +for generating test cases. +(Previously naively expected rand to be able to generate good +random bits for the entire machine word width.) + +
+Created testsoftfloat, with its own simpler complete software +floating-point (“slowfloat”) for comparison purposes. + +
+Made some changes to the source file structure, including renaming +environment.h to milieu.h (to avoid confusion with +environment variables). + +

+ + +

Release 1a (1996 July)

+ +

+Added the -tininessbefore and -tininessafter options +to control whether tininess should be detected before or after rounding. + +

+ + +

Release 1 (1996 July)

+ +

+Original release. + +

+ + + + -- cgit