diff options
Diffstat (limited to 'doc/testfloat_gen.html')
| -rw-r--r-- | doc/testfloat_gen.html | 79 |
1 files changed, 42 insertions, 37 deletions
diff --git a/doc/testfloat_gen.html b/doc/testfloat_gen.html index 43e6d20..3cbdf9a 100644 --- a/doc/testfloat_gen.html +++ b/doc/testfloat_gen.html @@ -11,19 +11,7 @@ <P> John R. Hauser<BR> -2014 ______<BR> -</P> - -<P> -*** CONTENT DONE. -</P> - -<P> -*** REPLACE QUOTATION MARKS. -<BR> -*** REPLACE APOSTROPHES. -<BR> -*** REPLACE EM DASH. +2014 Dec 17<BR> </P> @@ -55,8 +43,8 @@ cases as they are supplied. Depending on use, the total output from <CODE>testfloat_gen</CODE> can be large, so piping to another program may be the best choice to avoid consuming inordinate file space. -The format of <CODE>testfloat_gen</CODE>'s output is raw hexadecimal text, -described in the section below titled <I>Output Format</I>. +The format of <CODE>testfloat_gen</CODE>’s output is raw hexadecimal +text, described in the section below titled <I>Output Format</I>. </P> @@ -65,10 +53,12 @@ described in the section below titled <I>Output Format</I>. <P> The <CODE>testfloat_gen</CODE> program is executed as a command in one of these forms: +<BLOCKQUOTE> <PRE> - testfloat_gen [<option>...] <type> - testfloat_gen [<option>...] <function> +testfloat_gen [<option>...] <type> +testfloat_gen [<option>...] <function> </PRE> +</BLOCKQUOTE> Square brackets (<CODE>[ ]</CODE>) denote optional arguments, and <CODE><option></CODE> is a supported option, documented below. A <CODE>testfloat_gen</CODE> command expects either a <CODE><type></CODE> @@ -81,7 +71,7 @@ usage is written. <P> A <CODE><type></CODE> can be one of the following: <BLOCKQUOTE> -<TABLE> +<TABLE CELLSPACING=0 CELLPADDING=0> <TR> <TD><CODE>ui32</CODE></TD> <TD>unsigned <NOBR>32-bit</NOBR> integers</TD> @@ -139,7 +129,8 @@ If a <CODE><function></CODE> operation name is given, then each line of output from <CODE>testfloat_gen</CODE> contains not only the operands for that operation (as would be generated by an appropriate <CODE><type></CODE> argument) but also the expected results as determined by -<CODE>testfloat_gen</CODE>'s internal floating-point emulation (SoftFloat). +<CODE>testfloat_gen</CODE>’s internal floating-point emulation +(SoftFloat). The available operation names are listed in <A HREF="TestFloat-general.html"><NOBR><CODE>TestFloat-general.html</CODE></NOBR></A>. In all cases, floating-point operations have two results: @@ -283,17 +274,21 @@ integer value or one, two, or three floating-point values. Each value is written to output as a raw hexadecimal number. When there is more than one value per line, they are separated by spaces. For example, output from executing +<BLOCKQUOTE> <PRE> - testfloat_gen f64 2 +testfloat_gen f64 2 </PRE> +</BLOCKQUOTE> might look like this: +<BLOCKQUOTE> <PRE> - 3F90EB5825D6851E C3E0080080000000 - 41E3C00000000000 C182024F8AE474A8 - 7FD80FFFFFFFFFFF 7FEFFFFFFFFFFF80 - 3FFFED6A25C534BE 3CA1000000020000 - ... +3F90EB5825D6851E C3E0080080000000 +41E3C00000000000 C182024F8AE474A8 +7FD80FFFFFFFFFFF 7FEFFFFFFFFFFF80 +3FFFED6A25C534BE 3CA1000000020000 +... </PRE> +</BLOCKQUOTE> with each hexadecimal number being one <NOBR>64-bit</NOBR> floating-point value. Note that, for floating-point values, the sign and exponent are at the @@ -310,28 +305,38 @@ operation name, each line of output has not only the operands for the operation but also the expected output, consisting of a result value and the exception flags that are raised. For example, the output from +<BLOCKQUOTE> <PRE> - testfloat_gen f64_add +testfloat_gen f64_add </PRE> +</BLOCKQUOTE> could include these lines: +<BLOCKQUOTE> <PRE> - 3F90EB5825D6851E C3E0080080000000 C3E0080080000000 01 - 41E3C00000000000 C182024F8AE474A8 41E377F6C1D46E2D 01 - 7FD80FFFFFFFFFFF 7FEFFFFFFFFFFF80 7FF0000000000000 05 - 3FFFED6A25C534BE 3CA1000000020000 3FFFED6A25C534BF 01 - ... +3F90EB5825D6851E C3E0080080000000 C3E0080080000000 01 +41E3C00000000000 C182024F8AE474A8 41E377F6C1D46E2D 01 +7FD80FFFFFFFFFFF 7FEFFFFFFFFFFF80 7FF0000000000000 05 +3FFFED6A25C534BE 3CA1000000020000 3FFFED6A25C534BF 01 +... </PRE> +</BLOCKQUOTE> On each line, the first two numbers are the operands for the floating-point addition, and the third and fourth numbers are the expected floating-point result (the sum) and the exception flags raised. Exception flags are encoded with one bit per flag as follows: <BLOCKQUOTE> -<TABLE> -<TR><TD>bit 0</TD><TD> </TD><TD><I>inexact</I> exception</TD></TR> -<TR><TD>bit 1</TD><TD> </TD><TD><I>underflow</I> exception</TD></TR> -<TR><TD>bit 2</TD><TD> </TD><TD><I>overflow</I> exception</TD></TR> -<TR><TD>bit 3</TD><TD> </TD><TD><I>infinite</I> exception ("divide by zero")</TD></TR> -<TR><TD>bit 4</TD><TD> </TD><TD><I>invalid</I> exception</TD></TR> +<TABLE CELLSPACING=0 CELLPADDING=0> +<TR> + <TD>bit 0<CODE> </CODE></TD> + <TD><I>inexact</I> exception</TD> +</TR> +<TR><TD>bit 1</TD><TD><I>underflow</I> exception</TD></TR> +<TR><TD>bit 2</TD><TD><I>overflow</I> exception</TD></TR> +<TR> + <TD>bit 3</TD> + <TD><I>infinite</I> exception (“divide by zero”)</TD> +</TR> +<TR><TD>bit 4</TD><TD><I>invalid</I> exception</TD></TR> </TABLE> </BLOCKQUOTE> </P> |