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_s_f.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_s_f.h')
-rw-r--r-- | riscv/insns/vfmv_s_f.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/riscv/insns/vfmv_s_f.h b/riscv/insns/vfmv_s_f.h index 4d1ec2d..cb81008 100644 --- a/riscv/insns/vfmv_s_f.h +++ b/riscv/insns/vfmv_s_f.h @@ -1,4 +1,5 @@ // vfmv_s_f: vd[0] = rs1 (vs2=0) +require_vector; require(insn.v_vm() == 1); require_fp; require_extension('F'); |