From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 18 Oct 2018 22:22:07 +0000 (+0100)
Subject: c_srli
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f6958dc0d4a8d859faf8864f8c72734a78a5b609;p=riscv-isa-sim.git

c_srli
---

diff --git a/riscv/insns/c_srli.h b/riscv/insns/c_srli.h
index 904dbf1..419ee30 100644
--- 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())));