c_slli c_srai

diff --git a/riscv/insns/c_slli.h b/riscv/insns/c_slli.h
index 91fff82100bf55f85ca265646aa96fe5ebef69ed..56f5df9f0536fd9a1beed067b9e8154afd871515 100644 (file)
--- a/riscv/insns/c_slli.h
+++ b/riscv/insns/c_slli.h
@@ -1,3 +1,3 @@
 require_extension('C');
-require(insn.rvc_zimm() < xlen);
+require(rv_lt(insn.rvc_zimm(), sv_sreg_t(xlen)));
 WRITE_RD(sext_xlen(rv_sl(RVC_RS1, insn.rvc_zimm())));

diff --git a/riscv/insns/c_srai.h b/riscv/insns/c_srai.h
index 171375d6a91ee788b3aba98f60a051b5bc4b38cf..beabdb6a829cc9781f2551a1eefb016f0ecea22e 100644 (file)
--- a/riscv/insns/c_srai.h
+++ b/riscv/insns/c_srai.h
@@ -1,3 +1,3 @@
 require_extension('C');
-require(insn.rvc_zimm() < xlen);
+require(rv_lt(insn.rvc_zimm(), sv_sreg_t(xlen)));
 WRITE_RVC_RS1S(sext_xlen(rv_sr(sext_xlen(RVC_RS1S), insn.rvc_zimm())));