used RVFI defines as declared in ToReorderBuffer

This commit is contained in:
Franz Fuchs
2022-07-11 14:18:19 +01:00
parent 9960d67ed8
commit ad9f2cab3d

View File

@@ -384,6 +384,8 @@ module mkRenameStage#(RenameInput inIfc)(RenameStage);
spec_bits: specTagManager.currentSpecBits
`ifdef RVFI_DII
, dii_pid: x.dii_pid
`endif
`ifdef RVFI
, traceBundle: unpack(0)
`endif
};
@@ -596,6 +598,8 @@ module mkRenameStage#(RenameInput inIfc)(RenameStage);
spec_bits: spec_bits
`ifdef RVFI_DII
, dii_pid: x.dii_pid
`endif
`ifdef RVFI
, traceBundle: unpack(0)
`endif
};
@@ -1147,6 +1151,8 @@ module mkRenameStage#(RenameInput inIfc)(RenameStage);
spec_bits: spec_bits
`ifdef RVFI_DII
, dii_pid: x.dii_pid
`endif
`ifdef RVFI
, traceBundle: unpack(0)
`endif
};