From 9eb10ae92822cd19f8b5392bceffbf0a9db793f8 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Thu, 18 Oct 2018 23:21:18 +0100 Subject: [PATCH] c_slli c_srai --- riscv/insns/c_slli.h | 2 +- riscv/insns/c_srai.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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()))); -- 2.30.2