aboutsummaryrefslogtreecommitdiff
path: root/rv32_c
diff options
context:
space:
mode:
Diffstat (limited to 'rv32_c')
-rw-r--r--rv32_c5
1 files changed, 5 insertions, 0 deletions
diff --git a/rv32_c b/rv32_c
new file mode 100644
index 0000000..d9a9072
--- /dev/null
+++ b/rv32_c
@@ -0,0 +1,5 @@
+# quadrant 1
+c.jal c_imm12 1..0=1 15..13=1
+$pseudo_op rv64_c::c.srli c.srli rd_rs1_p c_nzuimm5 1..0=1 15..13=4 12..10=0
+$pseudo_op rv64_c::c.srai c.srai rd_rs1_p c_nzuimm5 1..0=1 15..13=4 12..10=1
+$pseudo_op rv64_c::c.slli c.slli rd_rs1_n0 c_nzuimm6lo 1..0=2 15..12=0