--- /dev/null
+# alternative 32-64 encoding
+
+| 0-5 | 7 | 8-31 | 6 | 32|33-63|Description |
+|-----|---|-------|---|-----|-----------------------------------|
+| PO9 | x | xxxx | 0 | 0 | xxxx| `RESERVED2` (57-bit) |
+| PO9 | 0 | !zero | 0 | 1 | DWd | SVP64Single:EXT232-263, or `RESERVED3` |
+| PO9 | 0 | 0000 | 0 | 1 | DWd | Scalar EXT232-263 |
+| PO9 | 1 | nnnn | 0 | 1 | DWd | SVP64:EXT232-263 |
+| PO9 | 0 | 0000 | 1 | x | xxxx| `RESERVED1` (32-bit) |
+| PO9 | 0 | !zero | 1 | n | DWd | SVP64Single:EXT000-063 or `RESERVED4` |
+| PO9 | 1 | nnnn | 1 | n | DWd | SVP64:EXT000-063 |