diff options
Diffstat (limited to 'riscv/insns')
-rw-r--r-- | riscv/insns/c_slli.h | 2 | ||||
-rw-r--r-- | riscv/insns/c_srai.h | 2 | ||||
-rw-r--r-- | riscv/insns/c_srli.h | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/riscv/insns/c_slli.h b/riscv/insns/c_slli.h index 19d7908..24fbb13 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 && insn.rvc_zimm() > 0); +require(insn.rvc_zimm() < xlen); WRITE_RD(sext_xlen(RVC_RS1 << insn.rvc_zimm())); diff --git a/riscv/insns/c_srai.h b/riscv/insns/c_srai.h index 7b594e9..f6638b1 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 && insn.rvc_zimm() > 0); +require(insn.rvc_zimm() < xlen); WRITE_RVC_RS1S(sext_xlen(sext_xlen(RVC_RS1S) >> insn.rvc_zimm())); diff --git a/riscv/insns/c_srli.h b/riscv/insns/c_srli.h index 008ae62..f410fef 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 && insn.rvc_zimm() > 0); +require(insn.rvc_zimm() < xlen); WRITE_RVC_RS1S(sext_xlen(zext_xlen(RVC_RS1S) >> insn.rvc_zimm())); |