1 files changed, 6 insertions, 0 deletions

diff --git a/rv64_m b/rv64_m
new file mode 100644
index 0000000..cfac0b1
--- /dev/null
+++ b/rv64_m
@@ -0,0 +1,6 @@
+# RV64M additions to RV32M
+mulw    rd rs1 rs2 31..25=1 14..12=0 6..2=0x0E 1..0=3
+divw    rd rs1 rs2 31..25=1 14..12=4 6..2=0x0E 1..0=3
+divuw   rd rs1 rs2 31..25=1 14..12=5 6..2=0x0E 1..0=3
+remw    rd rs1 rs2 31..25=1 14..12=6 6..2=0x0E 1..0=3
+remuw   rd rs1 rs2 31..25=1 14..12=7 6..2=0x0E 1..0=3