diff options
author | Andrew Waterman <andrew@sifive.com> | 2021-05-01 18:10:19 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2021-08-02 16:46:30 -0700 |
commit | 0966b917ebbd44f6d8ec8d69d7bb117cd4bdca2a (patch) | |
tree | fe2466971fd04925b54735026366ea45d26f5dfa | |
parent | 0af7c7f79c26b053439c2aa800c21873c24c15fa (diff) | |
download | riscv-isa-manual-0966b917ebbd44f6d8ec8d69d7bb117cd4bdca2a.zip riscv-isa-manual-0966b917ebbd44f6d8ec8d69d7bb117cd4bdca2a.tar.gz riscv-isa-manual-0966b917ebbd44f6d8ec8d69d7bb117cd4bdca2a.tar.bz2 |
Add Zhinx
-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 |