diff options
author | Andrew Waterman <andrew@sifive.com> | 2021-02-09 18:04:48 -0800 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2021-02-09 18:05:08 -0800 |
commit | 51e718cecd74143d6a710dd14d0758d73b8b55e5 (patch) | |
tree | 971cdb404fa7e1b3cd5129cb648065105e3bfc42 | |
parent | 3887f46243bd8ddab7073b2b3a4317301673ab9b (diff) | |
download | spike-51e718cecd74143d6a710dd14d0758d73b8b55e5.zip spike-51e718cecd74143d6a710dd14d0758d73b8b55e5.tar.gz spike-51e718cecd74143d6a710dd14d0758d73b8b55e5.tar.bz2 |
Fix commit log for WFI instructions
Resolves #642
-rw-r--r-- | riscv/execute.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/riscv/execute.cc b/riscv/execute.cc index 51d75b5..ee8257f 100644 --- a/riscv/execute.cc +++ b/riscv/execute.cc @@ -188,6 +188,9 @@ static reg_t execute_insn(processor_t* p, reg_t pc, insn_fetch_t fetch) } #ifdef RISCV_ENABLE_COMMITLOG + } catch (wait_for_interrupt_t &t) { + commit_log_print_insn(p, pc, fetch.insn); + throw; } catch(mem_trap_t& t) { //handle segfault in midlle of vector load/store if (p->get_log_commits_enabled()) { |