diff options
| author | Andrew Waterman <andrew@sifive.com> | 2022-05-02 19:18:13 -0700 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2022-05-02 19:18:44 -0700 |
| commit | 55cd85c891f21302cdd9d1bfa60ee87a7a241f93 (patch) | |
| tree | 26b91e83df373598992fac20a0e955750fd1f4cc /src/machine.tex | |
| parent | c13690a19d9c659d852366bfddee9462dce79c59 (diff) | |
| download | riscv-isa-manual-55cd85c891f21302cdd9d1bfa60ee87a7a241f93.zip riscv-isa-manual-55cd85c891f21302cdd9d1bfa60ee87a7a241f93.tar.gz riscv-isa-manual-55cd85c891f21302cdd9d1bfa60ee87a7a241f93.tar.bz2 | |
Improve implemented/enabled text
Diffstat (limited to 'src/machine.tex')
| -rw-r--r-- | src/machine.tex | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/machine.tex b/src/machine.tex index 0d00fb8..abd715f 100644 --- a/src/machine.tex +++ b/src/machine.tex @@ -117,17 +117,16 @@ being not implemented for M-mode, because the F extension's instructions will not act as the Unprivileged ISA requires but may instead raise an illegal instruction exception. -We acknowledge that defining the term \emph{implemented} -based strictly on the observable behavior can conflict +Defining the term \emph{implemented} +based strictly on the observable behavior might conflict with other common understandings of the same word. In particular, although common usage may allow for the combination ``implemented but disabled,'' in this document it is considered a contradiction of terms, because \emph{disabled} implies execution will not behave as required for the feature to be considered \emph{implemented}. -In the same vein, ``implemented and enabled'' -would be redundant here; -either ``implemented'' or ``enabled'' is sufficient. +In the same vein, ``implemented and enabled'' is redundant here; +``implemented'' suffices. \end{commentary} The design of the RV128I base ISA is not yet complete, and while much of the remainder of this |