From 51e718cecd74143d6a710dd14d0758d73b8b55e5 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Tue, 9 Feb 2021 18:04:48 -0800
Subject: Fix commit log for WFI instructions

Resolves #642
---
 riscv/execute.cc | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'riscv/execute.cc')

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()) {
-- 
cgit v1.1