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

c_slli c_srai
---

diff --git a/riscv/insns/c_slli.h b/riscv/insns/c_slli.h
index 91fff82..56f5df9 100644
--- 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 171375d..beabdb6 100644
--- 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())));