c_srli

diff --git a/riscv/insns/c_srli.h b/riscv/insns/c_srli.h
index 904dbf16f97019882fb4f042b9ac8ca09e6aed5f..419ee308e025e059224a880218154a0cb2a41b4a 100644 (file)
--- a/riscv/insns/c_srli.h
+++ b/riscv/insns/c_srli.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(zext_xlen(RVC_RS1S), insn.rvc_zimm())));