X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=riscv%2Finsns%2Fc_srli.h;h=008ae6221e89985b2f3a0aef5c74e698137a9114;hb=be0555d585b332fd0496affe559c0a5a4e7e5644;hp=bf29f5f0c0bf44e809ec92d8c5cb0841e766bd47;hpb=bdcb5b297f9919bdd1a1b6031a3b5c469e982d14;p=riscv-isa-sim.git

diff --git a/riscv/insns/c_srli.h b/riscv/insns/c_srli.h
index bf29f5f..008ae62 100644
--- a/riscv/insns/c_srli.h
+++ b/riscv/insns/c_srli.h
@@ -1,3 +1,3 @@
 require_extension('C');
-require(insn.rvc_imm() < xlen);
-WRITE_RD(sext_xlen(zext_xlen(RVC_RS1) >> insn.rvc_imm()));
+require(insn.rvc_zimm() < xlen && insn.rvc_zimm() > 0);
+WRITE_RVC_RS1S(sext_xlen(zext_xlen(RVC_RS1S) >> insn.rvc_zimm()));