Fix commit log for serializing instructions

Resolves #199

diff --git a/riscv/execute.cc b/riscv/execute.cc
index d7e586dcc33a42e664a9eed195995154057ccd5c..b110d093d51a8950b376d37e137b3e9c4c48dfff 100644 (file)
--- a/riscv/execute.cc
+++ b/riscv/execute.cc
@@ -76,7 +76,7 @@ static reg_t execute_insn(processor_t* p, reg_t pc, insn_fetch_t fetch)
 {
   commit_log_stash_privilege(p);
   reg_t npc = fetch.func(p, fetch.insn, pc);
-  if (!invalid_pc(npc)) {
+  if (npc != PC_SERIALIZE_BEFORE) {
     commit_log_print_insn(p->get_state(), pc, fetch.insn);
     p->update_histogram(pc);
   }