From: lkcl <lkcl@web>
Date: Fri, 31 Mar 2023 04:59:45 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls012_v1~210
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=792f360d86420668221a0245ac741dc7a6d97f78;p=libreriscv.git

---

diff --git a/openpower/sv/rfc/ls010.mdwn b/openpower/sv/rfc/ls010.mdwn
index 0e051d834..ff992e4f9 100644
--- a/openpower/sv/rfc/ls010.mdwn
+++ b/openpower/sv/rfc/ls010.mdwn
@@ -310,13 +310,17 @@ new 64-bit encoding space, alongside EXT1xx.
 | PO  | 1 | 0 | !zero | n | SVP64Single:EXT000-063 or `RESERVED4` |
 | PO  | 1 | 1 | nnnn  | n | SVP64:EXT000-063       |
 
-Note that for the future SVP64Single Encoding (currently RESERVED) it
+Note that for the future SVP64Single Encoding (currently RESERVED3 and 4) it
 is prohibited to have bits 8-31 be zero, unlike for SVP64 Vector space,
 for which bits 8-31
 can be zero (termed `scalar identity behaviour`). This
 prohibition allows SVP64Single to share its
 Encoding space with Scalar Ext232-263 and Scalar EXT300-363.
 
+Also that RESERVED1 and 2 are given *tentative* naming EXT200-231 and
+EXT300-363 respectively, in reality they are completely unused and
+future use may allocate entirely different naming.
+
 *Architectural Resource Allocation Note: **under no circumstances** must
 different Defined Words be allocated within any `EXT{z}` prefixed
 or unprefixed space for a given value of `z`. Even if UnVectoriseable
@@ -333,15 +337,14 @@ Ecoding spaces and their potential are illustrated:
 | Encoding | Available bits | Scalar | Vectoriseable | SVP64Single  |
 |----------|----------------|--------|---------------|--------------|
 |EXT000-063| 32             | yes    | yes           |yes           |
-|EXT100-163| 64             | yes    | no            |no            |
+|EXT100-163| 64 (?)         | yes    | no            |no            |
 |EXT200-231| 56             | N/A    |not applicable |not applicable|
 |EXT232-263| 32             | yes    | yes           |yes           |
 |EXT300-363| 32             | yes    | no            |no            |
 
 Prefixed-Prefixed (96-bit) instructions are prohibited. EXT200-231 presently
 remains unallocated (RESERVED) and therefore its potential is not yet defined
-(Not Applicable). Additional Sandbox Opcodes are defined as EXT254 and EXT322,
-alongside EXT022.
+(Not Applicable).
 
 # Remapped Encoding (`RM[0:23]`)