aboutsummaryrefslogtreecommitdiff
path: root/unratified/rv32_zpn
diff options
context:
space:
mode:
Diffstat (limited to 'unratified/rv32_zpn')
-rw-r--r--unratified/rv32_zpn3
1 files changed, 0 insertions, 3 deletions
diff --git a/unratified/rv32_zpn b/unratified/rv32_zpn
deleted file mode 100644
index aa1c333..0000000
--- a/unratified/rv32_zpn
+++ /dev/null
@@ -1,3 +0,0 @@
-$import rv_m::mulh
-$pseudo_op rv64_zpn::srai.u srai.u 31..25=0b1101010 imm5 rs1 14..12=0b001 rd 6..0=0b1110111
-$pseudo_op rv64_zpn::insb insb 31..25=0b1010110 24..22=0b000 imm2 rs1 14..12=0b000 rd 6..0=0b1110111