Corrected mapping for S mode SCRs in cheri_scr_map.sail

CTSRD-CHERI · Apr 19, 2024 · 9c7a81b · 9c7a81b
1 parent 6e3613a
commit 9c7a81b
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/cheri_scr_map.sail b/src/cheri_scr_map.sail
@@ -74,10 +74,10 @@ mapping clause scr_name_map = 0b00101 <-> "utdc"
 mapping clause scr_name_map = 0b00110 <-> "uscratchc"
 mapping clause scr_name_map = 0b00111 <-> "uepcc"
 
-mapping clause scr_name_map = 0b10100 <-> "stcc"
-mapping clause scr_name_map = 0b10101 <-> "stdc"
-mapping clause scr_name_map = 0b10110 <-> "sscratchc"
-mapping clause scr_name_map = 0b10111 <-> "sepcc"
+mapping clause scr_name_map = 0b01100 <-> "stcc"
+mapping clause scr_name_map = 0b01101 <-> "stdc"
+mapping clause scr_name_map = 0b01110 <-> "sscratchc"
+mapping clause scr_name_map = 0b01111 <-> "sepcc"
 
 mapping clause scr_name_map = 0b11100 <-> "mtcc"
 mapping clause scr_name_map = 0b11101 <-> "mtdc"