diff options
-rw-r--r-- | riscv/insns/vmsbf_m.h | 4 | ||||
-rw-r--r-- | riscv/insns/vmsif_m.h | 6 | ||||
-rw-r--r-- | riscv/insns/vmsof_m.h | 4 |
3 files changed, 7 insertions, 7 deletions
diff --git a/riscv/insns/vmsbf_m.h b/riscv/insns/vmsbf_m.h index 2be6f41..d90df5e 100644 --- a/riscv/insns/vmsbf_m.h +++ b/riscv/insns/vmsbf_m.h @@ -2,8 +2,8 @@ require(P.VU.vsew >= e8 && P.VU.vsew <= e64); require_vector; require(P.VU.vstart == 0); -if (insn.v_vm() == 0) - require(insn.rd() != 0 && insn.rd() != insn.rs2()); +require_vm; +require(insn.rd() != insn.rs2()); reg_t vl = P.VU.vl; reg_t rd_num = insn.rd(); diff --git a/riscv/insns/vmsif_m.h b/riscv/insns/vmsif_m.h index 73aadbc..6e941eb 100644 --- a/riscv/insns/vmsif_m.h +++ b/riscv/insns/vmsif_m.h @@ -1,9 +1,9 @@ -// vmpopc rd, vs2, vm +// vmsif.m rd, vs2, vm require(P.VU.vsew >= e8 && P.VU.vsew <= e64); require_vector; require(P.VU.vstart == 0); -if (insn.v_vm() == 0) - require(insn.rd() != 0 && insn.rd() != insn.rs2()); +require_vm; +require(insn.rd() != insn.rs2()); reg_t vl = P.VU.vl; reg_t rd_num = insn.rd(); diff --git a/riscv/insns/vmsof_m.h b/riscv/insns/vmsof_m.h index 218ac61..9dd122d 100644 --- a/riscv/insns/vmsof_m.h +++ b/riscv/insns/vmsof_m.h @@ -2,8 +2,8 @@ require(P.VU.vsew >= e8 && P.VU.vsew <= e64); require_vector; require(P.VU.vstart == 0); -if (insn.v_vm() == 0) - require(insn.rd() != 0 && insn.rd() != insn.rs2()); +require_vm; +require(insn.rd() != insn.rs2()); reg_t vl = P.VU.vl; reg_t rd_num = insn.rd(); |