diff options
| author | Andrew Waterman <andrew@sifive.com> | 2018-12-14 11:41:27 -0800 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2018-12-14 11:41:27 -0800 |
| commit | 619b1938bdb2da7fd97853d61e767f455cf2a62a (patch) | |
| tree | 3e273a6429522057bc357548f7bea5b23c5e4846 /src/naming.tex | |
| parent | 303d8dde10da6c5ae603ea80ec56aeb9aa3f55e4 (diff) | |
| download | riscv-isa-manual-619b1938bdb2da7fd97853d61e767f455cf2a62a.zip riscv-isa-manual-619b1938bdb2da7fd97853d61e767f455cf2a62a.tar.gz riscv-isa-manual-619b1938bdb2da7fd97853d61e767f455cf2a62a.tar.bz2 | |
ISA extension dependences can be assumed in ISA name strings
Diffstat (limited to 'src/naming.tex')
| -rw-r--r-- | src/naming.tex | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/src/naming.tex b/src/naming.tex index aa1b14a..ee84fb0 100644 --- a/src/naming.tex +++ b/src/naming.tex @@ -44,15 +44,9 @@ letters, e.g., ``Q'' for quad-precision floating-point, or ``C'' for the 16-bit compressed instruction format. Some ISA extensions depend on the presence of other extensions, e.g., ``D'' -requires ``F'' and ``F'' requires ``Zicsr''. However, ISA strings may not -omit the implied extensions, so, for example, RV32ID may not be used to imply -RV32IFDZicsr. - -\begin{commentary} -Disallowing the use of the shorthand RV32ID to imply RV32IFDZicsr admits the -possibility that, in the future, the dependence between these extensions could -be broken, and pure RV32ID implementations could be named under this scheme. -\end{commentary} +depends on ``F'' and ``F'' depends on ``Zicsr''. These dependences may be +implicit in the ISA name: for example, RV32IF is equivalent to RV32IFZicsr, +and RV32ID is equivalent to RV32IFD and RV32IFDZicsr. \section{Version Numbers} Recognizing that instruction sets may expand or alter over time, we |