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