Fix commit log for WFI instructions

Resolves #642
6 years ago · 51e718cecd
1 changed files with 3 additions and 0 deletions
--- 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()) {