diff options
Diffstat (limited to 'doc/TestFloat-general.html')
| -rw-r--r-- | doc/TestFloat-general.html | 60 |
1 files changed, 30 insertions, 30 deletions
diff --git a/doc/TestFloat-general.html b/doc/TestFloat-general.html index c82f06e..55f67d7 100644 --- a/doc/TestFloat-general.html +++ b/doc/TestFloat-general.html @@ -7,11 +7,11 @@ <BODY> -<H1>Berkeley TestFloat Release 3d: General Documentation</H1> +<H1>Berkeley TestFloat Release 3e: General Documentation</H1> <P> John R. Hauser<BR> -2017 August 18<BR> +2018 January 20<BR> </P> @@ -78,16 +78,24 @@ Details about the standard are available elsewhere. </P> <P> -The current version of TestFloat is <NOBR>Release 3d</NOBR>. -This version differs from earlier releases 3b <NOBR>and 3c</NOBR> in only minor -ways. -Compared to the original <NOBR>Release 3</NOBR>, <NOBR>Release 3b</NOBR> added -the ability to test the <NOBR>16-bit</NOBR> half-precision format, while +The current version of TestFloat is <NOBR>Release 3e</NOBR>. +This version differs from earlier releases 3b through 3d in only minor ways. +Compared to the original <NOBR>Release 3</NOBR>: +<UL> +<LI> +<NOBR>Release 3b</NOBR> added the ability to test the <NOBR>16-bit</NOBR> +half-precision format. +<LI> <NOBR>Release 3c</NOBR> added the ability to test a rarely used rounding mode, <I>round to odd</I>, also known as <I>jamming</I>. -This release modifies the code for testing C arithmetic to potentially include -testing newer library functions <CODE>sqrtf</CODE>, <CODE>sqrtl</CODE>, -<CODE>fmaf</CODE>, <CODE>fma</CODE>, and <CODE>fmal</CODE>. +<LI> +<NOBR>Release 3d</NOBR> modified the code for testing C arithmetic to +potentially include testing newer library functions <CODE>sqrtf</CODE>, +<CODE>sqrtl</CODE>, <CODE>fmaf</CODE>, <CODE>fma</CODE>, and <CODE>fmal</CODE>. +</UL> +This release adds a few more small improvements, including modifying the +expected behavior of rounding mode <CODE>odd</CODE> and fixing a minor bug in +the all-in-one <CODE>testfloat</CODE> program. </P> <P> @@ -124,7 +132,7 @@ bugs can be found through links posted on the TestFloat Web page, The TestFloat package was written by me, <NOBR>John R.</NOBR> Hauser. <NOBR>Release 3</NOBR> of TestFloat was a completely new implementation supplanting earlier releases. -The project to create <NOBR>Release 3</NOBR> (now <NOBR>through 3d</NOBR>) was +The project to create <NOBR>Release 3</NOBR> (now <NOBR>through 3e</NOBR>) 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. @@ -158,12 +166,12 @@ Oracle, and Samsung. </P> <P> -The following applies to the whole of TestFloat <NOBR>Release 3d</NOBR> as well +The following applies to the whole of TestFloat <NOBR>Release 3e</NOBR> as well as to each source file individually. </P> <P> -Copyright 2011, 2012, 2013, 2014, 2015, 2016, 2017 The Regents of the +Copyright 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018 The Regents of the University of California. All rights reserved. </P> @@ -280,8 +288,9 @@ Any NaN is considered as good a result as another. This laxness can be overridden so that TestFloat checks for particular bit patterns within NaN results. See <NOBR>section 8</NOBR> below, <I>Variations Allowed by the IEEE -Floating-Point Standard</I>, plus the <CODE>-checkNaNs</CODE> option documented -for programs <CODE>testfloat_ver</CODE> and <CODE>testfloat</CODE>. +Floating-Point Standard</I>, plus the <CODE>-checkNaNs</CODE> and +<CODE>-checkInvInts</CODE> options documented for programs +<CODE>testfloat_ver</CODE> and <CODE>testfloat</CODE>. </P> <P> @@ -585,13 +594,6 @@ Conversions to integer types are expected never to raise the <I>overflow</I> exception. </P> -<P> -When converting to an integer, if the rounding mode is <CODE>odd</CODE> -(possible only when the rounding mode is not in the function name), TestFloat -expects the result to be rounded <EM>not</EM> to an odd integer but rather to -minimum magnitude, the same as when the rounding mode is <CODE>minMag</CODE>. -</P> - <H3>6.2. Basic Arithmetic Operations</H3> <P> @@ -691,13 +693,6 @@ This irregular system follows the IEEE Standard’s particular specification for the round-to-integer operations. </P> -<P> -If the rounding mode is <CODE>odd</CODE> (possible only when the rounding mode -is not in the function name), TestFloat expects the result to be rounded -<EM>not</EM> to an odd integer but rather to minimum magnitude, the same as -when the rounding mode is <CODE>minMag</CODE>. -</P> - <H3>6.6. Comparison Operations</H3> <P> @@ -1131,7 +1126,12 @@ exception if the source value cannot be rounded to a representable integer. In such cases, TestFloat expects the result value to be the largest-magnitude positive or negative integer or zero, as detailed earlier in <NOBR>section 6.1</NOBR>, <I>Conversion Operations</I>. -The current version of TestFloat provides no means to alter these expectations. +If option <CODE>-checkInvInts</CODE> is selected with programs +<CODE>testfloat_ver</CODE> and <CODE>testfloat</CODE>, integer results of +invalid operations are checked for an exact match. +In order for this option to be sensible, TestFloat must have been compiled so +that its internal floating-point implementation (SoftFloat) generates the +proper integer results for the system being tested. </P> |