separate cmv from caddi

riscv · Jun 10, 2024 · 06d6b6f · 06d6b6f
1 parent d33cd80
commit 06d6b6f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/constants.py b/constants.py
@@ -14,6 +14,7 @@
     'c_mv': {'c_jr'},
     'c_jalr': {'c_ebreak'},
     'c_add': {'c_ebreak', 'c_jalr'},
+    'caddi': {'cmv'}
 }
 
 isa_regex = \

diff --git a/unratified/rv64_cheri b/unratified/rv64_cheri
@@ -1,8 +1,9 @@
 lc                 rd rs1          imm12   14..12=4 6..2=0x03 1..0=3
 sc                 imm12hi rs1 rs2 imm12lo 14..12=4 6..2=0x08 1..0=3
 
-#need to ADDIW
-caddi             rd rs1 imm12            14..12=2 6..2=0x06 1..0=3
+#next to ADDIW
+caddi          rd_n0 rs1 imm12            14..12=2 6..2=0x06 1..0=3
+cmv        11..7=0x0 rs1 imm12            14..12=2 6..2=0x06 1..0=3
 #5-bit immediate and 25 says whether to shift it
 scbndsi           rd rs1 imm5 31..26=1    14..12=5 6..2=0x04 1..0=3