diff --git a/riscv/insns/c_add.h b/riscv/insns/c_add.h index 796e634a..0c97e3e8 100644 --- a/riscv/insns/c_add.h +++ b/riscv/insns/c_add.h @@ -1,3 +1,2 @@ require_extension(EXT_ZCA); -require(insn.rvc_rs2() != 0); WRITE_RD(sext_xlen(RVC_RS1 + RVC_RS2)); diff --git a/riscv/insns/c_jalr.h b/riscv/insns/c_jalr.h index 9e5866ef..df912543 100644 --- a/riscv/insns/c_jalr.h +++ b/riscv/insns/c_jalr.h @@ -1,5 +1,4 @@ require_extension(EXT_ZCA); -require(insn.rvc_rs1() != 0); reg_t tmp = npc; set_pc(RVC_RS1 & ~reg_t(1)); WRITE_REG(X_RA, tmp); diff --git a/riscv/insns/c_mv.h b/riscv/insns/c_mv.h index b227005e..8edefc51 100644 --- a/riscv/insns/c_mv.h +++ b/riscv/insns/c_mv.h @@ -1,3 +1,2 @@ require_extension(EXT_ZCA); -require(insn.rvc_rs2() != 0); WRITE_RD(RVC_RS2);