diff options
author | Andrew Waterman <andrew@sifive.com> | 2019-07-19 01:41:18 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2019-07-19 01:41:18 -0700 |
commit | c4f61cafe2afd53781bc23138b1424430974808f (patch) | |
tree | db781a09726809598000717943601c098920646e /riscv/insns/vfmv_f_s.h | |
parent | de967334ef8d7044f4de5ff521398342127404e7 (diff) | |
download | spike-c4f61cafe2afd53781bc23138b1424430974808f.zip spike-c4f61cafe2afd53781bc23138b1424430974808f.tar.gz spike-c4f61cafe2afd53781bc23138b1424430974808f.tar.bz2 |
Check vtype.vill for all vector instructions except vsetvl[i]
Diffstat (limited to 'riscv/insns/vfmv_f_s.h')
-rw-r--r-- | riscv/insns/vfmv_f_s.h | 1 |
1 files changed, 1 insertions, 0 deletions
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'); |