diff options
| author | John Hauser <jhauser@eecs.berkeley.edu> | 2018-01-26 12:52:36 -0800 |
|---|---|---|
| committer | John Hauser <jhauser@eecs.berkeley.edu> | 2018-01-26 12:52:36 -0800 |
| commit | 06b20075dd3c1a5d0dd007a93643282832221612 (patch) | |
| tree | 5ccf80c275685bccd4f0b4de41c66cf7dbbf34b4 /doc/testfloat.html | |
| parent | 0d2862cdb35361d47548020b97dc60b58d53d048 (diff) | |
| download | berkeley-testfloat-3-06b20075dd3c1a5d0dd007a93643282832221612.zip berkeley-testfloat-3-06b20075dd3c1a5d0dd007a93643282832221612.tar.gz berkeley-testfloat-3-06b20075dd3c1a5d0dd007a93643282832221612.tar.bz2 | |
Release 3e. See "doc/TestFloat-history.html".
Diffstat (limited to 'doc/testfloat.html')
| -rw-r--r-- | doc/testfloat.html | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/doc/testfloat.html b/doc/testfloat.html index 27736b8..f9404e0 100644 --- a/doc/testfloat.html +++ b/doc/testfloat.html @@ -7,11 +7,11 @@ <BODY> -<H1>Berkeley TestFloat Release 3d: <CODE>testfloat</CODE></H1> +<H1>Berkeley TestFloat Release 3e: <CODE>testfloat</CODE></H1> <P> John R. Hauser<BR> -2017 August 18<BR> +2018 January 20<BR> </P> @@ -193,6 +193,23 @@ compiled so that its internal reference implementation of floating-point tested. </P> +<H3><CODE>-checkInvInts</CODE></H3> + +<P> +The <CODE>-checkInvInts</CODE> option causes <CODE>testfloat</CODE> to verify +the bitwise correctness of integer results of invalid operations. +In order for this option to be sensible, <CODE>testfloat</CODE> must have been +compiled so that its internal reference implementation of floating-point +(Berkeley SoftFloat) generates the proper integer results for the system being +tested. +</P> + +<H3><CODE>-checkAll</CODE></H3> + +<P> +Enables both <CODE>-checkNaNs</CODE> and <CODE>-checkInvInts</CODE>. +</P> + <H3><CODE>-precision32, -precision64, -precision80</CODE></H3> <P> |