diff options
-rw-r--r-- | riscv/insns/vfwredosum_vs.h | 1 | ||||
-rw-r--r-- | riscv/insns/vfwredsum_vs.h | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/riscv/insns/vfwredosum_vs.h b/riscv/insns/vfwredosum_vs.h index d6da222..49c9ebf 100644 --- a/riscv/insns/vfwredosum_vs.h +++ b/riscv/insns/vfwredosum_vs.h @@ -2,7 +2,6 @@ require_vector; require(P.VU.vsew * 2 <= P.VU.ELEN); require((insn.rs2() & (P.VU.vlmul - 1)) == 0); -require(P.VU.vlmul <= 4); VI_VFP_VV_LOOP_WIDE_REDUCTION ({ vd_0 = f64_add(vd_0, vs2); diff --git a/riscv/insns/vfwredsum_vs.h b/riscv/insns/vfwredsum_vs.h index 13bd1ab..3426ef8 100644 --- a/riscv/insns/vfwredsum_vs.h +++ b/riscv/insns/vfwredsum_vs.h @@ -2,7 +2,6 @@ require_vector; require(P.VU.vsew * 2 <= P.VU.ELEN); require((insn.rs2() & (P.VU.vlmul - 1)) == 0); -require(P.VU.vlmul <= 4); VI_VFP_VV_LOOP_WIDE_REDUCTION ({ vd_0 = f64_add(vd_0, vs2); |