From bbc00d69eef38027624d05ac6526f4e51d78758c Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Thu, 18 Oct 2018 23:38:55 +0100 Subject: [PATCH] slli --- riscv/insns/slli.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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))); -- 2.30.2