From: lkcl <lkcl@web>
Date: Fri, 27 Nov 2020 06:56:23 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~1643
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4a6ee22a9fc137fd6c7f088a4b9244a490353e4d;p=libreriscv.git

---

diff --git a/openpower/sv/major_opcode_allocation.mdwn b/openpower/sv/major_opcode_allocation.mdwn
index 784790a9e..19d7220f1 100644
--- a/openpower/sv/major_opcode_allocation.mdwn
+++ b/openpower/sv/major_opcode_allocation.mdwn
@@ -64,6 +64,28 @@ Spare:
 
 * EXT22
 
+## C10/16 FSM
+
+    if EXT == 00/01
+         start @ 10bit
+    if state==10bit:
+         if bit15:
+             next = 16bit
+         else:
+             next = Standard
+    if state==16bit:
+         if bit0 & bit15:
+             insn = C.immediate
+         if ~bit15:
+             if ~bit0:
+                 next = Standard
+             else
+                 next = Standard.then.16bit
+
+## SV-Compressed
+
+TODO
+
 # Major opcode map
 
 Table 9: Primary Opcode Map (opcode bits 0:5)