diff options
author | Andrew Waterman <andrew@sifive.com> | 2018-04-30 20:20:43 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2018-04-30 20:21:01 -0700 |
commit | 64a488c0f6f1d4057118c5d84a32cc7c7da5aac7 (patch) | |
tree | 8d564cd5560c4dcbc2961c495bd8ac33be8dec1f /riscv/execute.cc | |
parent | 08af893723f1b14ff9dd68c70c277726428b9e9e (diff) | |
download | spike-64a488c0f6f1d4057118c5d84a32cc7c7da5aac7.zip spike-64a488c0f6f1d4057118c5d84a32cc7c7da5aac7.tar.gz spike-64a488c0f6f1d4057118c5d84a32cc7c7da5aac7.tar.bz2 |
Fix commit log for serializing instructions
Resolves #199
Diffstat (limited to 'riscv/execute.cc')
-rw-r--r-- | riscv/execute.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/execute.cc b/riscv/execute.cc index d7e586d..b110d09 100644 --- 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); } |