From f6113c3a79f8366cc11d181e98d433701b40b33b Mon Sep 17 00:00:00 2001
From: Franz Fuchs <franz.fuchs@cl.cam.ac.uk>
Date: Mon, 13 May 2024 13:44:59 +0100
Subject: [PATCH] Added printing for xTIDC registers

---
 src/RISCV/RV32_Xcheri.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/RISCV/RV32_Xcheri.hs b/src/RISCV/RV32_Xcheri.hs
index a5faf13..ebc23cc 100644
--- 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"