aboutsummaryrefslogtreecommitdiff
path: root/src/machine.tex
diff options
context:
space:
mode:
authorJohn Hauser <31252952+jhauser-us@users.noreply.github.com>2021-08-13 14:13:29 -0700
committerGitHub <noreply@github.com>2021-08-13 14:13:29 -0700
commit7d0006ed81cfab6a4a09578e91e238e88b1b4b62 (patch)
tree6111736a693fe9ba21ce8f0e7d28754ba1fac6bc /src/machine.tex
parent06ec2b2e3698b20b08446ec0bf84df85d8b9debf (diff)
downloadriscv-isa-manual-7d0006ed81cfab6a4a09578e91e238e88b1b4b62.zip
riscv-isa-manual-7d0006ed81cfab6a4a09578e91e238e88b1b4b62.tar.gz
riscv-isa-manual-7d0006ed81cfab6a4a09578e91e238e88b1b4b62.tar.bz2
Clarify when mstatus.FS may be hardwired zero (#707)
Diffstat (limited to 'src/machine.tex')
-rw-r--r--src/machine.tex8
1 files changed, 5 insertions, 3 deletions
diff --git a/src/machine.tex b/src/machine.tex
index c231534..4618eef 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -916,10 +916,12 @@ Status & FS Meaning & XS Meaning\\
\end{table*}
If the F extension is implemented, the FS field shall not be
-hardwired to zero, regardless of the setting of {\tt misa}.F.
+hardwired to zero.
-If neither S-mode nor the F extension is implemented, the FS
-field shall be hardwired to zero.
+If neither the F extension nor S-mode is implemented, then FS is
+hardwired to zero.
+If S-mode is implemented but the F extension is not, FS may optionally
+be hardwired to zero.
\begin{commentary}
Implementations with S-mode but without the F extension are