* EXT009, like EXT001 of Public v3.1, is **defined** as a 64-bit
encoding. This makes Multi-Issue Length-identification trivial.
* bit 6 if 0b1 is 100% for Simple-V augmentation of (Public v3.1 1.6.3)
- "Defined Words" (aka EXT000-063), with the exception of 0x24000000
+ "Defined Words" (aka EXT000-063), with the exception of 0x26000000
as a Prefix, which is a new RESERVED encoding.
* when bit 6 is 0b0 and bits 32-33 are 0b11 are **defined** as also
allocated to Simple-V
purposes (just over 37.5%).
| 0-5 | 6 | 7 | 8-31 | 32:33 | Description |
-|-----|---|---|-------|-------|---------------------------|
+|-----|---|---|-------|-------|----------------------------|
| PO9?| 0 | 0 | 0000 | xx | RESERVED (other) |
+| PO9?| 0 | 0 | !zero | 00-10 | RESERVED (other) |
+| PO9?| 0 | 1 | xxxx | 00-10 | RESERVED (other) |
+| PO9?| 1 | 0 | 0000 | xx | RESERVED (other) |
| PO9?| 0 | 0 | !zero | 11 | SVP64 (current and future) |
-| PO9?| 0 | 0 | !zero | 00-10 | RESERVED (other) |
| PO9?| 0 | 1 | xxxx | 11 | SVP64 (current and future) |
-| PO9?| 0 | x | xxxx | 00-10 | RESERVED (other) |
-| PO9?| 1 | x | xxxx | xx | SVP64 (current and future) |
+| PO9?| 1 | 0 | !zero | xx | SVP64 (current and future) |
+| PO9?| 1 | 1 | xxxx | xx | SVP64 (current and future) |
This ensures that any potential for future conflict over uses of the
EXT009 space, jeapordising Simple-V in the process, are avoided,