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

slli
---

diff --git a/riscv/insns/slli.h b/riscv/insns/slli.h
index 156d4e3..b196afa 100644
--- a/riscv/insns/slli.h
+++ b/riscv/insns/slli.h
@@ -1,2 +1,2 @@
-require(SHAMT < xlen);
+require(rv_lt(SHAMT, sv_reg_t(xlen)));
 WRITE_RD(sext_xlen(rv_sl(RS1, SHAMT)));