diff options
| author | rbuchner <ryan.buchner@arilinc.com> | 2024-05-23 14:29:21 -0700 |
|---|---|---|
| committer | rbuchner <ryan.buchner@arilinc.com> | 2024-05-27 00:53:43 -0700 |
| commit | 48cf35d027051ac3c0f8d45b472bf00090f492d1 (patch) | |
| tree | 469391529a8d0193d01e70e12cefe3374ca38098 | |
| parent | c81d8e73daf1875d79a54f28f67df150fba0e44c (diff) | |
| download | spike-48cf35d027051ac3c0f8d45b472bf00090f492d1.zip spike-48cf35d027051ac3c0f8d45b472bf00090f492d1.tar.gz spike-48cf35d027051ac3c0f8d45b472bf00090f492d1.tar.bz2 | |
Require vector extension when attempting vxsat writes
Accidentally removed in c9468f6e02.
See #1660.
| -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); } |