Fix error in string_of_capreg_idx.

The MTCC / MTDC were incorrectly reported due to a one bit typo in the match case.
CHERIoT-Platform · Jun 24, 2024 · 9829a91 · 9829a91
1 parent bbf90ec
commit 9829a91
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/sail-riscv b/sail-riscv
diff --git a/src/cheri_regs.sail b/src/cheri_regs.sail
@@ -211,7 +211,7 @@ function string_of_capreg_idx(reg : capreg_idx) -> string =
   match reg {
     0b0 @ greg : bits(5) => "c" ^ dec_str(unsigned(greg)) ^ "/" ^ cap_reg_name_abi(greg),
     0b100000 => "PCC",
-    0b111101 => "MTCC",
+    0b111100 => "MTCC",
     0b111101 => "MTDC",
     0b111110 => "MScratchC",
     0b111111 => "EPCC",