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

Move to vector functions as it's cleaner.

Browse Source
This commit is contained in:
Jonathan Woodruff
2024-01-17 13:41:43 +00:00
parent 5a1ed7c57f
commit 829a787be5
1 changed files with 4 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src_Core/RISCY_OOO/procs/RV64G_OOO/FetchStage.bsv
View File

@@ -546,10 +546,7 @@ module mkFetchStage(FetchStage);
TlbResp tr <- tlb_server.response.get;
translateAddress.deq;
// Check if, because of pipelining, we already have this vpn.
Bool found = False;
for (Integer i = 0; i < valueOf(PageBuffSize); i=i+1)
if (buffered_translation_virt_pc[i] matches tagged Valid .vpn &&& getVpn(translateAddress.first) == vpn)
found = True;
Bool found = elem(Valid(getVpn(translateAddress.first)), buffered_translation_virt_pc);
if (!found) begin
buffered_translation_virt_pc[buffered_translation_count] <= Valid(getVpn(translateAddress.first));
buffered_translation_tlb_resp[buffered_translation_count] <= tr;
@@ -586,10 +583,10 @@ module mkFetchStage(FetchStage);
`endif
// Search the last few translations to look for a match.
Maybe#(Bit#(TLog#(PageBuffSize))) m_buff_match_idx = Invalid;
for (Integer i = 0; i < valueOf(PageBuffSize); i=i+1)
Maybe#(UInt#(TLog#(PageBuffSize))) m_buff_match_idx = findElem(Valid(getVpn(getAddr(pc))), buffered_translation_virt_pc);
/*for (Integer i = 0; i < valueOf(PageBuffSize); i=i+1)
if (buffered_translation_virt_pc[i] matches tagged Valid .vpn &&& getVpn(getAddr(pc)) == vpn)
m_buff_match_idx = tagged Valid fromInteger(i);
m_buff_match_idx = tagged Valid fromInteger(i);*/
if (m_buff_match_idx matches tagged Valid .buff_match_idx) begin
let next_fetch_pc = fromMaybe(addPc(pc, 2 * (zeroExtend(posLastSupX2) + 1)), pred_next_pc);
let pc_idxs <- pcBlocks.insertAndReserve(truncateLSB(pc), truncateLSB(next_fetch_pc));