From c4f61cafe2afd53781bc23138b1424430974808f Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Fri, 19 Jul 2019 01:41:18 -0700 Subject: Check vtype.vill for all vector instructions except vsetvl[i] --- riscv/insns/vfmv_f_s.h | 1 + 1 file changed, 1 insertion(+) (limited to 'riscv/insns/vfmv_f_s.h') diff --git a/riscv/insns/vfmv_f_s.h b/riscv/insns/vfmv_f_s.h index 1444e38..c6dbaff 100644 --- a/riscv/insns/vfmv_f_s.h +++ b/riscv/insns/vfmv_f_s.h @@ -1,4 +1,5 @@ // vfmv_f_s: rd = vs2[0] (rs1=0) +require_vector; require(insn.v_vm() == 1); require_fp; require_extension('F'); -- cgit v1.1