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 | d2e9a109e8f7b851fd153b469cc42a8519d85679 (patch) | |
| tree | 8d564cd5560c4dcbc2961c495bd8ac33be8dec1f | |
| parent | 3d016e2765f9ad5f34e471e345004c6e16438e3c (diff) | |
| download | spike-d2e9a109e8f7b851fd153b469cc42a8519d85679.zip spike-d2e9a109e8f7b851fd153b469cc42a8519d85679.tar.gz spike-d2e9a109e8f7b851fd153b469cc42a8519d85679.tar.bz2 | |
Fix commit log for serializing instructions
Resolves #199
| -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); } |