diff options
Diffstat (limited to 'riscv/insns/c_srai.h')
| -rw-r--r-- | riscv/insns/c_srai.h | 2 |
1 files changed, 1 insertions, 1 deletions
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())); |