diff options
| author | Andrew Waterman <andrew@sifive.com> | 2024-05-27 01:27:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-27 01:27:57 -0700 |
| commit | a53a71fcc3c985cf95973e86e40814c30c551a68 (patch) | |
| tree | 83326b99f4a353b606a8ea8a6d4e148d8eeff4b6 | |
| parent | 5c3cc772b6d9c71eee66b19f796f3fe1ec46c4d0 (diff) | |
| parent | 48cf35d027051ac3c0f8d45b472bf00090f492d1 (diff) | |
| download | spike-a53a71fcc3c985cf95973e86e40814c30c551a68.zip spike-a53a71fcc3c985cf95973e86e40814c30c551a68.tar.gz spike-a53a71fcc3c985cf95973e86e40814c30c551a68.tar.bz2 | |
Merge pull request #1678 from rbuchner-aril/rbuchner/vxsat-write
Require vector extension when attempting vxsat writes
| -rw-r--r-- | riscv/csrs.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/riscv/csrs.cc b/riscv/csrs.cc index 95638d3..8d7737f 100644 --- a/riscv/csrs.cc +++ b/riscv/csrs.cc @@ -1452,6 +1452,8 @@ vxsat_csr_t::vxsat_csr_t(processor_t* const proc, const reg_t addr): void vxsat_csr_t::verify_permissions(insn_t insn, bool write) const { require_vector_vs; + if (!proc->extension_enabled('V')) + throw trap_illegal_instruction(insn.bits()); masked_csr_t::verify_permissions(insn, write); } |