Simplified and made more comprehensive the description of handling narrower n-bit floating-point source operands.

1 files changed, 6 insertions, 14 deletions

diff --git a/src/d.tex b/src/d.tex
index 25a2dd0..d72120d 100644
--- a/src/d.tex
+++ b/src/d.tex
@@ -54,20 +54,12 @@ valid NaN-boxed value.  A narrower $n$-bit transfer out of
 the floating-point registers will transfer the lower $n$ bits of the
 register ignoring the upper FLEN$-n$ bits.
 
-Floating-point compute and sign-injection operations calculate results
-based on the FLEN-bit values held in the {\tt f} registers.  A narrow
-$n$-bit operation, where \mbox{$n<$ FLEN}, checks that input operands
-are correctly NaN-boxed, i.e., all upper FLEN$-n$ bits are 1.  If so,
-the $n$ least-significant bits of the input are used as the input
-value, otherwise the input value is treated as an $n$-bit canonical
-NaN.  An $n$-bit floating-point result is written as a NaN-boxed value
-to the destination {\tt f} register.
-
-Conversions from integer to floating-point (e.g., FCVT.S.X), will
-NaN-box any results narrower than FLEN.  Conversions from narrower
-$n$-bit floating-point values to integer (e.g., FCVT.X.S) will check
-for legal NaN-boxing and treat the input as the $n$-bit canonical NaN
-if not a legal $n$-bit value.
+Apart from transfer operations described in the previous paragraph,
+all other floating-point operations on narrower $n$-bit operations,
+\mbox{$n<$ FLEN}, check if the input operands are correctly NaN-boxed,
+i.e., all upper FLEN$-n$ bits are 1.  If so, the $n$ least-significant
+bits of the input are used as the input value, otherwise the input
+value is treated as an $n$-bit canonical NaN.
 
 \begin{commentary}
 Earlier versions of this document did not define the behavior of