slli

diff --git a/riscv/insns/slli.h b/riscv/insns/slli.h
index 156d4e37b8f226879fa5e1cde9addbcf9083223c..b196afa9578995b74a0e042da297016bf029928f 100644 (file)
--- 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)));