diff options
| author | Andrew Waterman <andrew@sifive.com> | 2018-12-14 11:49:29 -0800 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2018-12-14 11:49:29 -0800 |
| commit | 4096ba487e2ae26b0406fffc0225610c10e9d920 (patch) | |
| tree | f78a6311b9688dec2ce416993525cca61cb08cb1 | |
| parent | 619b1938bdb2da7fd97853d61e767f455cf2a62a (diff) | |
| download | riscv-isa-manual-4096ba487e2ae26b0406fffc0225610c10e9d920.zip riscv-isa-manual-4096ba487e2ae26b0406fffc0225610c10e9d920.tar.gz riscv-isa-manual-4096ba487e2ae26b0406fffc0225610c10e9d920.tar.bz2 | |
Disambiguate P extension in ISA strings
Closes #305
| -rw-r--r-- | src/naming.tex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/naming.tex b/src/naming.tex index ee84fb0..f3e9ed0 100644 --- a/src/naming.tex +++ b/src/naming.tex @@ -73,6 +73,11 @@ time of this document, e.g., ``RV32G'' is equivalent to Underscores ``\_'' may be used to separate ISA extensions to improve readability and to provide disambiguation, e.g., ``RV32I2\_M2\_A2''. +Because the ``P'' extension for Packed SIMD can be confused for the decimal +point in a version number, it must be preceded by an underscore if it follows +a number. For example, ``rv32i2p2'' means version 2.2 of RV32I, whereas +``rv32i2\_p2'' means version 2.0 of RV32I with version 2.0 of the P extension. + \section{Additional Standard Extension Names} Standard extensions can also be named using a single ``Z'' followed by an |