diff options
-rw-r--r-- | src/zfinx.tex | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/zfinx.tex b/src/zfinx.tex index e2a125f..035a7bf 100644 --- a/src/zfinx.tex +++ b/src/zfinx.tex @@ -56,6 +56,20 @@ We retain the NaN-boxing of results to keep Zfinx as similar as possible and to ease debugging. \end{commentary} +\section{Zhinx} + +The Zhinx extension provides analogous half-precision floating-point +instructions. +The Zhinx extension requires the Zfinx extension. + +The Zhinx extension adds all of the instructions that the Zfh extension +adds, {\em except} for the transfer instructions FLH, FSH, FMV.H.X, +and FMV.X.H. + +The Zhinx variants of these Zfh-extension instructions have the same semantics, +except that whenever such an instruction would have accessed an {\tt f} +register, it instead accesses the {\tt x} register with the same number. + \section{Zdinx} The Zdinx extension provides analogous double-precision floating-point |