Added printing for xTIDC registers

CTSRD-CHERI · May 13, 2024 · f6113c3 · f6113c3
1 parent cea1f33
commit f6113c3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/RISCV/RV32_Xcheri.hs b/src/RISCV/RV32_Xcheri.hs
@@ -310,14 +310,17 @@ pretty_cspecialrw instr idx cs1 cd =
   concat [instr, " ", reg cd, ", ", name_scr idx, ", ", reg cs1]
   where name_scr 0 = "pcc"
         name_scr 1 = "ddc"
+        name_scr 3 = "utidc"
         name_scr 4 = "utcc"
         name_scr 5 = "utdc"
         name_scr 6 = "uscratchc"
         name_scr 7 = "uepcc"
+        name_scr 11 = "stidc"
         name_scr 12 = "stcc"
         name_scr 13 = "stdc"
         name_scr 14 = "sscratchc"
         name_scr 15 = "sepcc"
+        name_scr 27 = "mtidc"
         name_scr 28 = "mtcc"
         name_scr 29 = "mtdc"
         name_scr 30 = "mscratchc"