aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2017-02-02 18:25:19 -0800
committerAndrew Waterman <andrew@sifive.com>2017-02-02 18:25:19 -0800
commit30b118b58e2fa8cdf4cb2d34c07cc35cfec65f92 (patch)
treedbc89cf037e0cb158b0d1fb27b5d3e6a61e03615
parentab6f8c9bd7bc85361fcf35667d1fddfaf367a53f (diff)
downloadriscv-isa-manual-30b118b58e2fa8cdf4cb2d34c07cc35cfec65f92.zip
riscv-isa-manual-30b118b58e2fa8cdf4cb2d34c07cc35cfec65f92.tar.gz
riscv-isa-manual-30b118b58e2fa8cdf4cb2d34c07cc35cfec65f92.tar.bz2
Remove half-true description of tininess-after-rounding
-rw-r--r--src/f.tex4
-rw-r--r--src/history.tex4
2 files changed, 3 insertions, 5 deletions
diff --git a/src/f.tex b/src/f.tex
index 94c0920..c6a5259 100644
--- a/src/f.tex
+++ b/src/f.tex
@@ -299,9 +299,7 @@ provide exceptional default values.
Operations on subnormal numbers are handled in accordance with the IEEE
754-2008 standard.
-In the parlance of the IEEE standard, tininess is detected after
-rounding---that is, the underflow exception is raised only if the rounded
-result is subnormal, even if the unrounded result would have been subnormal.
+In the parlance of the IEEE standard, tininess is detected after rounding.
\begin{commentary}
Detecting tininess after rounding results in fewer spurious underflow signals.
diff --git a/src/history.tex b/src/history.tex
index 8305c8d..650b820 100644
--- a/src/history.tex
+++ b/src/history.tex
@@ -217,8 +217,8 @@ Hauser for comments on the version 2.0 specification.
\section*{Acknowledgments}
-Thanks to Alex Bradbury and David Horner for comments on the version 2.1
-specification.
+Thanks to Alex Bradbury, David Horner, and Joseph Myers for comments on the
+version 2.1 specification.
\section{Funding}