whoops

[libreriscv.git] / openpower / isatables.mdwn

diff --git a/openpower/isatables.mdwn b/openpower/isatables.mdwn
index 7928af4a65aaa5a5f72f7ca376f369dc32dc6451..6ae8503498c9e025d2c154c9094e57c0eddef38f 100644 (file)
--- a/openpower/isatables.mdwn
+++ b/openpower/isatables.mdwn
@@ -1,8 +1,7 @@
 # ISA Reference Tables
 
-TODO
-
-Based on Anton Blanchard's microwatt decode1.vhdl
+These are from 3.0B p1145 Appendix C, and are
+based on Anton Blanchard's microwatt decode1.vhdl
 
 # Major opcodes
 
@@ -12,11 +11,11 @@ decodes using f_in.insn(31 downto 26)
 
 # Minor opcode 19
 
-valid from table using f_in.insn(10 downto 1)
+decodes using f_in.insn(5 downto 1)
 
-[[!table format=csv file="openpower/isatables/minor_19_valid.csv"]]
+[[!table format=csv file="openpower/isatables/minor_19_00000.csv"]]
 
-decodes using f_in.insn(5) & f_in.insn(3) & f_in.insn(2)
+decodes using f_in.insn(10 downto 1)
 
 [[!table format=csv file="openpower/isatables/minor_19.csv"]]
 
@@ -51,3 +50,13 @@ These can match against the (full) row[0] spec: nmigen Case supports "-" as
 
 [[!table format=csv file="openpower/isatables/extra.csv"]]
 
+# SPRs
+
+Special Purpose Registers.  These are listed in 3.0B Table 18 p971.
+
+[[!table format=csv file="openpower/isatables/sprs.csv"]]
+
+# Fields
+
+These can be downloaded in plain text format here:
+<http://libre-riscv.org/openpower/isatables/fields.text>