Skip to content

Commit

Permalink
[difftest] fix online difftest bug because of new spike_rs
Browse files Browse the repository at this point in the history
  • Loading branch information
Clo91eaf committed Sep 8, 2024
1 parent 3a0ab0e commit 361930e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion difftest/offline_t1/src/json_events.rs
Original file line number Diff line number Diff line change
Expand Up @@ -329,7 +329,7 @@ impl JsonEventRunner for SpikeRunner {
);

// if instruction writes rd, it will retire in check_rd()
if count == se.vrf_access_record.retired_writes && !se.is_rd_written {
if count == se.vrf_access_record.retired_writes && !se.is_rd_written && !se.is_fd_written {
should_retire = Some(issue_idx);
}
// if all writes are committed, retire the se
Expand Down

0 comments on commit 361930e

Please sign in to comment.