Merge pull request #189 from charlie-rivos/support_rv32_shift

Generate compressed shift instructions for rv32
riscv · Sep 16, 2023 · 1757d85 · 1757d85
2 parents 2c1a8e1 + 7c15234
commit 1757d85
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/rv32_c b/rv32_c
@@ -1,5 +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 
+$pseudo_op rv64_c::c.srli c.srli_rv32 rd_rs1_p c_nzuimm5  1..0=1 15..13=4 12..10=0
+$pseudo_op rv64_c::c.srai c.srai_rv32 rd_rs1_p c_nzuimm5  1..0=1 15..13=4 12..10=1
+$pseudo_op rv64_c::c.slli c.slli_rv32 rd_rs1_n0 c_nzuimm6lo  1..0=2 15..12=0