Cheri-research/Toooba
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Trace the next PC correctly for mret.

Browse Source
This commit is contained in:
jon
2020-04-01 18:43:48 +01:00
parent c2917d558f
commit 4714070aef
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src_Core/RISCY_OOO/procs/RV64G_OOO/CommitStage.bsv
View File

@@ -236,9 +236,9 @@ deriving (Eq, FShow, Bits);
`endif
module mkCommitStage#(CommitInput inIfc)(CommitStage);
Bool verbose = False;
Bool verbose = True;
Integer verbosity = 1; // Bluespec: for lightweight verbosity trace
Integer verbosity = 2; // Bluespec: for lightweight verbosity trace
// Used to inform tandem-verifier about program order.
// 0 is used to indicate we've just come out of reset
@@ -904,6 +904,7 @@ module mkCommitStage#(CommitInput inIfc)(CommitStage);
`ifdef RVFI
Rvfi_Traces rvfis = replicate(tagged Invalid);
x.ppc_vaddr_csrData = tagged PPC setAddrUnsafe(x.pc, next_pc);
rvfis[0] = genRVFI(x, traceCnt, getTSB(), next_pc);
rvfiQ.enq(rvfis);
traceCnt <= traceCnt + 1;