aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/viota_m.h
diff options
context:
space:
mode:
Diffstat (limited to 'riscv/insns/viota_m.h')
-rw-r--r--riscv/insns/viota_m.h7
1 files changed, 3 insertions, 4 deletions
diff --git a/riscv/insns/viota_m.h b/riscv/insns/viota_m.h
index 642a7f9..69c0d20 100644
--- a/riscv/insns/viota_m.h
+++ b/riscv/insns/viota_m.h
@@ -7,10 +7,9 @@ reg_t rd_num = insn.rd();
reg_t rs1_num = insn.rs1();
reg_t rs2_num = insn.rs2();
require(P.VU.vstart == 0);
-require(!is_overlapped(rd_num, P.VU.vlmul, rs2_num, 1));
-if (insn.v_vm() == 0)
- require(!is_overlapped(rd_num, P.VU.vlmul, 0, 1));
-require((rd_num & (P.VU.vlmul - 1)) == 0);
+require_noover(rd_num, P.VU.vflmul, rs2_num, 1);
+require_vm;
+require_align(rd_num, P.VU.vflmul);
int cnt = 0;
for (reg_t i = 0; i < vl; ++i) {