update MODESW

riscv · Oct 4, 2024 · 8b620fa · 8b620fa
1 parent 49f4fdf
commit 8b620fa
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/unratified/rv64_cheri b/unratified/rv64_cheri
@@ -31,10 +31,8 @@ gclen             rd rs1 31..25=8 24..20=6 14..12=0 6..2=0x0C 1..0=3
 cram              rd rs1 31..25=8 24..20=7 14..12=0 6..2=0x0C 1..0=3
 sentry            rd rs1 31..25=8 24..20=8 14..12=0 6..2=0x0C 1..0=3
 
-modesw            31..25=9 24..15=0 14..12=1 11..7=0 6..2=0x0C 1..0=3
-
-#adjacent to c.not
-c.modesw          15..13=4 12..10=7 9..7=0 6..5=3 4..2=7 1..0=1
+modesw.cap        31..25=9  24..15=0 14..12=1 11..7=0 6..2=0x0C 1..0=3
+modesw.int        31..25=10 24..15=0 14..12=1 11..7=0 6..2=0x0C 1..0=3
 
 #adjacent to sh[123]add
 sh4add     rd rs1 rs2 31..25=16 14..12=7 6..2=0x0C 1..0=3