16d5ddbceSLemover/*************************************************************************************** 26d5ddbceSLemover* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 3f320e0f0SYinan Xu* Copyright (c) 2020-2021 Peng Cheng Laboratory 46d5ddbceSLemover* 56d5ddbceSLemover* XiangShan is licensed under Mulan PSL v2. 66d5ddbceSLemover* You can use this software according to the terms and conditions of the Mulan PSL v2. 76d5ddbceSLemover* You may obtain a copy of Mulan PSL v2 at: 86d5ddbceSLemover* http://license.coscl.org.cn/MulanPSL2 96d5ddbceSLemover* 106d5ddbceSLemover* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 116d5ddbceSLemover* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 126d5ddbceSLemover* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 136d5ddbceSLemover* 146d5ddbceSLemover* See the Mulan PSL v2 for more details. 156d5ddbceSLemover***************************************************************************************/ 166d5ddbceSLemover 176d5ddbceSLemoverpackage xiangshan.cache.mmu 186d5ddbceSLemover 198891a219SYinan Xuimport org.chipsalliance.cde.config.Parameters 206d5ddbceSLemoverimport chisel3._ 216d5ddbceSLemoverimport chisel3.util._ 226d5ddbceSLemoverimport xiangshan._ 236d5ddbceSLemoverimport xiangshan.cache.{HasDCacheParameters, MemoryOpConstants} 246d5ddbceSLemoverimport utils._ 253c02ee8fSwakafaimport utility._ 266d5ddbceSLemoverimport freechips.rocketchip.diplomacy.{LazyModule, LazyModuleImp} 276d5ddbceSLemoverimport freechips.rocketchip.tilelink._ 286d5ddbceSLemover 2945f497a4Shappy-lxclass PTWReapterIO(Width: Int)(implicit p: Parameters) extends MMUIOBaseBundle { 306d5ddbceSLemover val tlb = Flipped(new TlbPtwIO(Width)) 316d5ddbceSLemover val ptw = new TlbPtwIO 3245f497a4Shappy-lx 3335d6335eSZhangZifei def apply(tlb: TlbPtwIO, ptw: TlbPtwIO, sfence: SfenceBundle, csr: TlbCsrBundle): Unit = { 3435d6335eSZhangZifei this.tlb <> tlb 3535d6335eSZhangZifei this.ptw <> ptw 3635d6335eSZhangZifei this.sfence <> sfence 3735d6335eSZhangZifei this.csr <> csr 3835d6335eSZhangZifei } 3935d6335eSZhangZifei 4035d6335eSZhangZifei def apply(tlb: TlbPtwIO, sfence: SfenceBundle, csr: TlbCsrBundle): Unit = { 4135d6335eSZhangZifei this.tlb <> tlb 4235d6335eSZhangZifei this.sfence <> sfence 4335d6335eSZhangZifei this.csr <> csr 4435d6335eSZhangZifei } 4535d6335eSZhangZifei 4645f497a4Shappy-lx} 4745f497a4Shappy-lx 48f1fe8698SLemoverclass PTWRepeater(Width: Int = 1, FenceDelay: Int)(implicit p: Parameters) extends XSModule with HasPtwConst { 4945f497a4Shappy-lx val io = IO(new PTWReapterIO(Width)) 5045f497a4Shappy-lx 516d5ddbceSLemover val req_in = if (Width == 1) { 526d5ddbceSLemover io.tlb.req(0) 536d5ddbceSLemover } else { 546d5ddbceSLemover val arb = Module(new RRArbiter(io.tlb.req(0).bits.cloneType, Width)) 556d5ddbceSLemover arb.io.in <> io.tlb.req 566d5ddbceSLemover arb.io.out 576d5ddbceSLemover } 58d0de7e4aSpeixiaokun val (tlb, ptw, flush) = (io.tlb, io.ptw, DelayN(io.sfence.valid || io.csr.satp.changed || io.csr.vsatp.changed || io.csr.hgatp.changed, FenceDelay)) 59935edac4STang Haojin val req = RegEnable(req_in.bits, req_in.fire) 60935edac4STang Haojin val resp = RegEnable(ptw.resp.bits, ptw.resp.fire) 61935edac4STang Haojin val haveOne = BoolStopWatch(req_in.fire, tlb.resp.fire || flush) 62935edac4STang Haojin val sent = BoolStopWatch(ptw.req(0).fire, req_in.fire || flush) 63935edac4STang Haojin val recv = BoolStopWatch(ptw.resp.fire && haveOne, req_in.fire || flush) 646d5ddbceSLemover 656d5ddbceSLemover req_in.ready := !haveOne 666d5ddbceSLemover ptw.req(0).valid := haveOne && !sent 676d5ddbceSLemover ptw.req(0).bits := req 686d5ddbceSLemover 696d5ddbceSLemover tlb.resp.bits := resp 706d5ddbceSLemover tlb.resp.valid := haveOne && recv 716d5ddbceSLemover ptw.resp.ready := !recv 726d5ddbceSLemover 73935edac4STang Haojin XSPerfAccumulate("req_count", ptw.req(0).fire) 74935edac4STang Haojin XSPerfAccumulate("tlb_req_cycle", BoolStopWatch(req_in.fire, tlb.resp.fire || flush)) 75935edac4STang Haojin XSPerfAccumulate("ptw_req_cycle", BoolStopWatch(ptw.req(0).fire, ptw.resp.fire || flush)) 766d5ddbceSLemover 7745f497a4Shappy-lx XSDebug(haveOne, p"haveOne:${haveOne} sent:${sent} recv:${recv} sfence:${flush} req:${req} resp:${resp}") 786d5ddbceSLemover XSDebug(req_in.valid || io.tlb.resp.valid, p"tlb: ${tlb}\n") 796d5ddbceSLemover XSDebug(io.ptw.req(0).valid || io.ptw.resp.valid, p"ptw: ${ptw}\n") 806d5ddbceSLemover assert(!RegNext(recv && io.ptw.resp.valid, init = false.B), "re-receive ptw.resp") 81a8bd30cdSLemover XSError(io.ptw.req(0).valid && io.ptw.resp.valid && !flush, "ptw repeater recv resp when sending") 82cca17e78Speixiaokun XSError(io.ptw.resp.valid && (req.vpn =/= io.ptw.resp.bits.s1.entry.tag), "ptw repeater recv resp with wrong tag") 83a8bd30cdSLemover XSError(io.ptw.resp.valid && !io.ptw.resp.ready, "ptw repeater's ptw resp back, but not ready") 849bd9cdfaSLemover TimeOutAssert(sent && !recv, timeOutThreshold, "Repeater doesn't recv resp in time") 856d5ddbceSLemover} 866d5ddbceSLemover 876d5ddbceSLemover/* dtlb 886d5ddbceSLemover * 896d5ddbceSLemover */ 9035d6335eSZhangZifei 91f1fe8698SLemoverclass PTWRepeaterNB(Width: Int = 1, passReady: Boolean = false, FenceDelay: Int)(implicit p: Parameters) extends XSModule with HasPtwConst { 9235d6335eSZhangZifei val io = IO(new PTWReapterIO(Width)) 9335d6335eSZhangZifei 9435d6335eSZhangZifei val req_in = if (Width == 1) { 9535d6335eSZhangZifei io.tlb.req(0) 9635d6335eSZhangZifei } else { 9735d6335eSZhangZifei val arb = Module(new RRArbiter(io.tlb.req(0).bits.cloneType, Width)) 9835d6335eSZhangZifei arb.io.in <> io.tlb.req 9935d6335eSZhangZifei arb.io.out 10035d6335eSZhangZifei } 101*910eede8SXuan Hu val (tlb, ptw, flush) = (io.tlb, io.ptw, DelayN(io.sfence.valid || io.csr.satp.changed || io.csr.vsatp.changed || io.csr.hgatp.changed, FenceDelay)) 10235d6335eSZhangZifei /* sent: tlb -> repeater -> ptw 10335d6335eSZhangZifei * recv: ptw -> repeater -> tlb 10435d6335eSZhangZifei * different from PTWRepeater 10535d6335eSZhangZifei */ 10635d6335eSZhangZifei 10735d6335eSZhangZifei // tlb -> repeater -> ptw 108935edac4STang Haojin val req = RegEnable(req_in.bits, req_in.fire) 109935edac4STang Haojin val sent = BoolStopWatch(req_in.fire, ptw.req(0).fire || flush) 11035d6335eSZhangZifei req_in.ready := !sent || { if (passReady) ptw.req(0).ready else false.B } 11135d6335eSZhangZifei ptw.req(0).valid := sent 11235d6335eSZhangZifei ptw.req(0).bits := req 11335d6335eSZhangZifei 11435d6335eSZhangZifei // ptw -> repeater -> tlb 115935edac4STang Haojin val resp = RegEnable(ptw.resp.bits, ptw.resp.fire) 116935edac4STang Haojin val recv = BoolStopWatch(ptw.resp.fire, tlb.resp.fire || flush) 11735d6335eSZhangZifei ptw.resp.ready := !recv || { if (passReady) tlb.resp.ready else false.B } 11835d6335eSZhangZifei tlb.resp.valid := recv 11935d6335eSZhangZifei tlb.resp.bits := resp 12035d6335eSZhangZifei 121935edac4STang Haojin XSPerfAccumulate("req", req_in.fire) 122935edac4STang Haojin XSPerfAccumulate("resp", tlb.resp.fire) 12335d6335eSZhangZifei if (!passReady) { 12435d6335eSZhangZifei XSPerfAccumulate("req_blank", req_in.valid && sent && ptw.req(0).ready) 12535d6335eSZhangZifei XSPerfAccumulate("resp_blank", ptw.resp.valid && recv && tlb.resp.ready) 12635d6335eSZhangZifei XSPerfAccumulate("req_blank_ignore_ready", req_in.valid && sent) 12735d6335eSZhangZifei XSPerfAccumulate("resp_blank_ignore_ready", ptw.resp.valid && recv) 12835d6335eSZhangZifei } 12935d6335eSZhangZifei XSDebug(req_in.valid || io.tlb.resp.valid, p"tlb: ${tlb}\n") 13035d6335eSZhangZifei XSDebug(io.ptw.req(0).valid || io.ptw.resp.valid, p"ptw: ${ptw}\n") 13135d6335eSZhangZifei} 13235d6335eSZhangZifei 133185e6164SHaoyuan Fengclass PTWFilterIO(Width: Int, hasHint: Boolean = false)(implicit p: Parameters) extends MMUIOBaseBundle { 134f1fe8698SLemover val tlb = Flipped(new VectorTlbPtwIO(Width)) 135a0301c0dSLemover val ptw = new TlbPtwIO() 136185e6164SHaoyuan Feng val hint = if (hasHint) Some(new TlbHintIO) else None 137d2b20d1aSTang Haojin val rob_head_miss_in_tlb = Output(Bool()) 13860ebee38STang Haojin val debugTopDown = new Bundle { 13960ebee38STang Haojin val robHeadVaddr = Flipped(Valid(UInt(VAddrBits.W))) 14060ebee38STang Haojin } 1416d5ddbceSLemover 142f1fe8698SLemover def apply(tlb: VectorTlbPtwIO, ptw: TlbPtwIO, sfence: SfenceBundle, csr: TlbCsrBundle): Unit = { 14335d6335eSZhangZifei this.tlb <> tlb 14435d6335eSZhangZifei this.ptw <> ptw 14535d6335eSZhangZifei this.sfence <> sfence 14635d6335eSZhangZifei this.csr <> csr 14735d6335eSZhangZifei } 14835d6335eSZhangZifei 149f1fe8698SLemover def apply(tlb: VectorTlbPtwIO, sfence: SfenceBundle, csr: TlbCsrBundle): Unit = { 15035d6335eSZhangZifei this.tlb <> tlb 15135d6335eSZhangZifei this.sfence <> sfence 15235d6335eSZhangZifei this.csr <> csr 15335d6335eSZhangZifei } 15435d6335eSZhangZifei 15545f497a4Shappy-lx} 15645f497a4Shappy-lx 157185e6164SHaoyuan Fengclass PTWFilterEntryIO(Width: Int, hasHint: Boolean = false)(implicit p: Parameters) extends PTWFilterIO(Width, hasHint){ 158185e6164SHaoyuan Feng val flush = Input(Bool()) 159185e6164SHaoyuan Feng val refill = Output(Bool()) 160a4f9c77fSpeixiaokun val getGpa = Output(Bool()) 161185e6164SHaoyuan Feng val memidx = Output(new MemBlockidxBundle) 162185e6164SHaoyuan Feng} 163185e6164SHaoyuan Feng 164185e6164SHaoyuan Fengclass PTWFilterEntry(Width: Int, Size: Int, hasHint: Boolean = false)(implicit p: Parameters) extends XSModule with HasPtwConst { 16571489510SXuan Hu private val LdExuCnt = backendParams.LdExuCnt 166185e6164SHaoyuan Feng 167185e6164SHaoyuan Feng val io = IO(new PTWFilterEntryIO(Width, hasHint)) 168185e6164SHaoyuan Feng require(isPow2(Size), s"Filter Size ($Size) must be a power of 2") 169185e6164SHaoyuan Feng 170185e6164SHaoyuan Feng def firstValidIndex(v: Seq[Bool], valid: Bool): UInt = { 171185e6164SHaoyuan Feng val index = WireInit(0.U(log2Up(Size).W)) 172185e6164SHaoyuan Feng for (i <- 0 until v.size) { 173185e6164SHaoyuan Feng when (v(i) === valid) { 174185e6164SHaoyuan Feng index := i.U 175185e6164SHaoyuan Feng } 176185e6164SHaoyuan Feng } 177185e6164SHaoyuan Feng index 178185e6164SHaoyuan Feng } 179185e6164SHaoyuan Feng 180185e6164SHaoyuan Feng val v = RegInit(VecInit(Seq.fill(Size)(false.B))) 181185e6164SHaoyuan Feng val sent = RegInit(VecInit(Seq.fill(Size)(false.B))) 182185e6164SHaoyuan Feng val vpn = Reg(Vec(Size, UInt(vpnLen.W))) 1834c4af37cSpeixiaokun val s2xlate = Reg(Vec(Size, UInt(2.W))) 184a4f9c77fSpeixiaokun val getGpa = Reg(Vec(Size, Bool())) 185185e6164SHaoyuan Feng val memidx = Reg(Vec(Size, new MemBlockidxBundle)) 186185e6164SHaoyuan Feng 187185e6164SHaoyuan Feng val enqvalid = WireInit(VecInit(Seq.fill(Width)(false.B))) 188185e6164SHaoyuan Feng val canenq = WireInit(VecInit(Seq.fill(Width)(false.B))) 189185e6164SHaoyuan Feng val enqidx = WireInit(VecInit(Seq.fill(Width)(0.U(log2Up(Size).W)))) 190185e6164SHaoyuan Feng 191185e6164SHaoyuan Feng //val selectCount = RegInit(0.U(log2Up(Width).W)) 192185e6164SHaoyuan Feng 193185e6164SHaoyuan Feng val entryIsMatchVec = WireInit(VecInit(Seq.fill(Width)(false.B))) 194185e6164SHaoyuan Feng val entryMatchIndexVec = WireInit(VecInit(Seq.fill(Width)(0.U(log2Up(Size).W)))) 1954c4af37cSpeixiaokun val ptwResp_EntryMatchVec = vpn.zip(v).zip(s2xlate).map{ case ((pi, vi), s2xlatei) => vi && s2xlatei === io.ptw.resp.bits.s2xlate && io.ptw.resp.bits.hit(pi, io.csr.satp.asid, io.csr.vsatp.asid, io.csr.hgatp.asid, true, true)} 196185e6164SHaoyuan Feng val ptwResp_EntryMatchFirst = firstValidIndex(ptwResp_EntryMatchVec, true.B) 1974c4af37cSpeixiaokun val ptwResp_ReqMatchVec = io.tlb.req.map(a => io.ptw.resp.valid && a.bits.s2xlate === io.ptw.resp.bits.s2xlate && io.ptw.resp.bits.hit(a.bits.vpn, 0.U, 0.U, io.csr.hgatp.asid, allType = true, true)) 198185e6164SHaoyuan Feng 199185e6164SHaoyuan Feng io.refill := Cat(ptwResp_EntryMatchVec).orR && io.ptw.resp.fire 200185e6164SHaoyuan Feng io.ptw.resp.ready := true.B 201185e6164SHaoyuan Feng // DontCare 202185e6164SHaoyuan Feng io.tlb.req.map(_.ready := true.B) 203185e6164SHaoyuan Feng io.tlb.resp.valid := false.B 2044c4af37cSpeixiaokun io.tlb.resp.bits.data := 0.U.asTypeOf(new PtwRespS2withMemIdx) 205185e6164SHaoyuan Feng io.tlb.resp.bits.vector := 0.U.asTypeOf(Vec(Width, Bool())) 206a4f9c77fSpeixiaokun io.tlb.resp.bits.getGpa := 0.U.asTypeOf(Vec(Width, Bool())) 207185e6164SHaoyuan Feng io.memidx := 0.U.asTypeOf(new MemBlockidxBundle) 208a4f9c77fSpeixiaokun io.getGpa := 0.U 209185e6164SHaoyuan Feng 210185e6164SHaoyuan Feng // ugly code, should be optimized later 211ae970023SXuan Hu require(Width <= 4, s"DTLB Filter Width ($Width) must equal or less than 4") 212185e6164SHaoyuan Feng if (Width == 1) { 213185e6164SHaoyuan Feng require(Size == 8, s"prefetch filter Size ($Size) should be 8") 214185e6164SHaoyuan Feng canenq(0) := !(Cat(v).andR) 215185e6164SHaoyuan Feng enqidx(0) := firstValidIndex(v, false.B) 216185e6164SHaoyuan Feng } else if (Width == 2) { 217185e6164SHaoyuan Feng require(Size == 8, s"store filter Size ($Size) should be 8") 218185e6164SHaoyuan Feng canenq(0) := !(Cat(v.take(Size/2)).andR) 219185e6164SHaoyuan Feng enqidx(0) := firstValidIndex(v.take(Size/2), false.B) 220185e6164SHaoyuan Feng canenq(1) := !(Cat(v.drop(Size/2)).andR) 221185e6164SHaoyuan Feng enqidx(1) := firstValidIndex(v.drop(Size/2), false.B) + (Size/2).U 222185e6164SHaoyuan Feng } else if (Width == 3) { 223185e6164SHaoyuan Feng require(Size == 16, s"load filter Size ($Size) should be 16") 224185e6164SHaoyuan Feng canenq(0) := !(Cat(v.take(8)).andR) 225185e6164SHaoyuan Feng enqidx(0) := firstValidIndex(v.take(8), false.B) 226185e6164SHaoyuan Feng canenq(1) := !(Cat(v.drop(8).take(4)).andR) 227185e6164SHaoyuan Feng enqidx(1) := firstValidIndex(v.drop(8).take(4), false.B) + 8.U 228185e6164SHaoyuan Feng // four entries for prefetch 229185e6164SHaoyuan Feng canenq(2) := !(Cat(v.drop(12)).andR) 230185e6164SHaoyuan Feng enqidx(2) := firstValidIndex(v.drop(12), false.B) + 12.U 231ae970023SXuan Hu } else if (Width == 4) { 232ae970023SXuan Hu require(Size == 16, s"load filter Size ($Size) should be 16") 233ae970023SXuan Hu for (i <- 0 until Width) { 234ae970023SXuan Hu canenq(i) := !(Cat(VecInit(v.slice(i * 4, (i + 1) * 4))).andR) 235ae970023SXuan Hu enqidx(i) := firstValidIndex(v.slice(i * 4, (i + 1) * 4), false.B) + (i * 4).U 236ae970023SXuan Hu } 237185e6164SHaoyuan Feng } 238185e6164SHaoyuan Feng 239185e6164SHaoyuan Feng for (i <- 0 until Width) { 240185e6164SHaoyuan Feng enqvalid(i) := io.tlb.req(i).valid && !ptwResp_ReqMatchVec(i) && !entryIsMatchVec(i) && canenq(i) 241185e6164SHaoyuan Feng when (!enqvalid(i)) { 242185e6164SHaoyuan Feng enqidx(i) := entryMatchIndexVec(i) 243185e6164SHaoyuan Feng } 244185e6164SHaoyuan Feng 2454c4af37cSpeixiaokun val entryIsMatch = vpn.zip(v).zip(s2xlate).map{ case ((pi, vi), s2xlatei) => vi && s2xlatei === io.tlb.req(i).bits.s2xlate && pi === io.tlb.req(i).bits.vpn} 246185e6164SHaoyuan Feng entryIsMatchVec(i) := Cat(entryIsMatch).orR 247185e6164SHaoyuan Feng entryMatchIndexVec(i) := firstValidIndex(entryIsMatch, true.B) 248185e6164SHaoyuan Feng 249185e6164SHaoyuan Feng if (i > 0) { 250185e6164SHaoyuan Feng for (j <- 0 until i) { 2514c4af37cSpeixiaokun val newIsMatch = io.tlb.req(i).bits.vpn === io.tlb.req(j).bits.vpn && io.tlb.req(i).bits.s2xlate === io.tlb.req(j).bits.s2xlate 252185e6164SHaoyuan Feng when (newIsMatch && io.tlb.req(j).valid) { 253185e6164SHaoyuan Feng enqidx(i) := enqidx(j) 254185e6164SHaoyuan Feng canenq(i) := canenq(j) 255185e6164SHaoyuan Feng enqvalid(i) := false.B 256185e6164SHaoyuan Feng } 257185e6164SHaoyuan Feng } 258185e6164SHaoyuan Feng } 259185e6164SHaoyuan Feng 260185e6164SHaoyuan Feng when (enqvalid(i)) { 261185e6164SHaoyuan Feng v(enqidx(i)) := true.B 262185e6164SHaoyuan Feng sent(enqidx(i)) := false.B 263185e6164SHaoyuan Feng vpn(enqidx(i)) := io.tlb.req(i).bits.vpn 2644c4af37cSpeixiaokun s2xlate(enqidx(i)) := io.tlb.req(i).bits.s2xlate 265a4f9c77fSpeixiaokun getGpa(enqidx(i)) := io.tlb.req(i).bits.getGpa 266185e6164SHaoyuan Feng memidx(enqidx(i)) := io.tlb.req(i).bits.memidx 267185e6164SHaoyuan Feng } 268185e6164SHaoyuan Feng } 269185e6164SHaoyuan Feng 270185e6164SHaoyuan Feng val issuevec = v.zip(sent).map{ case (v, s) => v && !s} 271185e6164SHaoyuan Feng val issueindex = firstValidIndex(issuevec, true.B) 272185e6164SHaoyuan Feng val canissue = Cat(issuevec).orR 273185e6164SHaoyuan Feng for (i <- 0 until Size) { 274185e6164SHaoyuan Feng io.ptw.req(0).valid := canissue 275185e6164SHaoyuan Feng io.ptw.req(0).bits.vpn := vpn(issueindex) 2764c4af37cSpeixiaokun io.ptw.req(0).bits.s2xlate := s2xlate(issueindex) 277185e6164SHaoyuan Feng } 278185e6164SHaoyuan Feng when (io.ptw.req(0).fire) { 279185e6164SHaoyuan Feng sent(issueindex) := true.B 280185e6164SHaoyuan Feng } 281185e6164SHaoyuan Feng 282185e6164SHaoyuan Feng when (io.ptw.resp.fire) { 283185e6164SHaoyuan Feng v.zip(ptwResp_EntryMatchVec).map{ case (vi, mi) => when (mi) { vi := false.B }} 284185e6164SHaoyuan Feng io.memidx := memidx(ptwResp_EntryMatchFirst) 285a4f9c77fSpeixiaokun io.getGpa := getGpa(ptwResp_EntryMatchFirst) 286185e6164SHaoyuan Feng } 287185e6164SHaoyuan Feng 288185e6164SHaoyuan Feng when (io.flush) { 289185e6164SHaoyuan Feng v.map(_ := false.B) 290185e6164SHaoyuan Feng } 291185e6164SHaoyuan Feng 292185e6164SHaoyuan Feng if (hasHint) { 293185e6164SHaoyuan Feng val hintIO = io.hint.getOrElse(new TlbHintIO) 29471489510SXuan Hu for (i <- 0 until LdExuCnt) { 295185e6164SHaoyuan Feng hintIO.req(i).id := enqidx(i) 296185e6164SHaoyuan Feng hintIO.req(i).full := !canenq(i) || ptwResp_ReqMatchVec(i) 297185e6164SHaoyuan Feng } 298185e6164SHaoyuan Feng hintIO.resp.valid := io.refill 299185e6164SHaoyuan Feng hintIO.resp.bits.id := ptwResp_EntryMatchFirst 300185e6164SHaoyuan Feng hintIO.resp.bits.replay_all := PopCount(ptwResp_EntryMatchVec) > 1.U 301185e6164SHaoyuan Feng } 302185e6164SHaoyuan Feng 303185e6164SHaoyuan Feng io.rob_head_miss_in_tlb := VecInit(v.zip(vpn).map{case (vi, vpni) => { 304185e6164SHaoyuan Feng vi && io.debugTopDown.robHeadVaddr.valid && vpni === get_pn(io.debugTopDown.robHeadVaddr.bits) 305185e6164SHaoyuan Feng }}).asUInt.orR 306185e6164SHaoyuan Feng 307185e6164SHaoyuan Feng 308185e6164SHaoyuan Feng // Perf Counter 309185e6164SHaoyuan Feng val counter = PopCount(v) 310185e6164SHaoyuan Feng val inflight_counter = RegInit(0.U(log2Up(Size).W)) 311185e6164SHaoyuan Feng val inflight_full = inflight_counter === Size.U 312185e6164SHaoyuan Feng when (io.ptw.req(0).fire =/= io.ptw.resp.fire) { 313185e6164SHaoyuan Feng inflight_counter := Mux(io.ptw.req(0).fire, inflight_counter + 1.U, inflight_counter - 1.U) 314185e6164SHaoyuan Feng } 315185e6164SHaoyuan Feng 316185e6164SHaoyuan Feng assert(inflight_counter <= Size.U, "inflight should be no more than Size") 317185e6164SHaoyuan Feng when (counter === 0.U) { 318185e6164SHaoyuan Feng assert(!io.ptw.req(0).fire, "when counter is 0, should not req") 319185e6164SHaoyuan Feng } 320185e6164SHaoyuan Feng 321185e6164SHaoyuan Feng when (io.flush) { 322185e6164SHaoyuan Feng inflight_counter := 0.U 323185e6164SHaoyuan Feng } 324185e6164SHaoyuan Feng 325185e6164SHaoyuan Feng XSPerfAccumulate("tlb_req_count", PopCount(Cat(io.tlb.req.map(_.valid)))) 326185e6164SHaoyuan Feng XSPerfAccumulate("tlb_req_count_filtered", PopCount(enqvalid)) 327185e6164SHaoyuan Feng XSPerfAccumulate("ptw_req_count", io.ptw.req(0).fire) 328185e6164SHaoyuan Feng XSPerfAccumulate("ptw_req_cycle", inflight_counter) 329185e6164SHaoyuan Feng XSPerfAccumulate("tlb_resp_count", io.tlb.resp.fire) 330185e6164SHaoyuan Feng XSPerfAccumulate("ptw_resp_count", io.ptw.resp.fire) 331185e6164SHaoyuan Feng XSPerfAccumulate("inflight_cycle", Cat(sent).orR) 332185e6164SHaoyuan Feng 333185e6164SHaoyuan Feng for (i <- 0 until Size + 1) { 334185e6164SHaoyuan Feng XSPerfAccumulate(s"counter${i}", counter === i.U) 335185e6164SHaoyuan Feng } 336185e6164SHaoyuan Feng 337185e6164SHaoyuan Feng for (i <- 0 until Size) { 338185e6164SHaoyuan Feng TimeOutAssert(v(i), timeOutThreshold, s"Filter ${i} doesn't recv resp in time") 339185e6164SHaoyuan Feng } 340185e6164SHaoyuan Feng 341185e6164SHaoyuan Feng} 342185e6164SHaoyuan Feng 343185e6164SHaoyuan Fengclass PTWNewFilter(Width: Int, Size: Int, FenceDelay: Int)(implicit p: Parameters) extends XSModule with HasPtwConst { 344185e6164SHaoyuan Feng require(Size >= Width) 345185e6164SHaoyuan Feng 3468ef35e01SXuan Hu private val LduCnt = backendParams.LduCnt 3478ef35e01SXuan Hu private val HyuCnt = backendParams.HyuCnt 3488ef35e01SXuan Hu private val StaCnt = backendParams.StaCnt 3498ef35e01SXuan Hu // all load execute units, including ldu and hyu 35071489510SXuan Hu private val LdExuCnt = backendParams.LdExuCnt 3518ef35e01SXuan Hu // all store address execute units, including sta and hyu 35271489510SXuan Hu private val StaExuCnt = backendParams.StaExuCnt 35371489510SXuan Hu 354185e6164SHaoyuan Feng val io = IO(new PTWFilterIO(Width, hasHint = true)) 355185e6164SHaoyuan Feng 356185e6164SHaoyuan Feng val load_filter = VecInit(Seq.fill(1) { 35771489510SXuan Hu val load_entry = Module(new PTWFilterEntry(Width = LdExuCnt + 1, Size = loadfiltersize, hasHint = true)) 358185e6164SHaoyuan Feng load_entry.io 359185e6164SHaoyuan Feng }) 360185e6164SHaoyuan Feng 361185e6164SHaoyuan Feng val store_filter = VecInit(Seq.fill(1) { 3628ef35e01SXuan Hu val store_entry = Module(new PTWFilterEntry(Width = StaCnt, Size = storefiltersize)) 363185e6164SHaoyuan Feng store_entry.io 364185e6164SHaoyuan Feng }) 365185e6164SHaoyuan Feng 366185e6164SHaoyuan Feng val prefetch_filter = VecInit(Seq.fill(1) { 367aee6a6d1SYanqin Li val prefetch_entry = Module(new PTWFilterEntry(Width = 2, Size = prefetchfiltersize)) 368185e6164SHaoyuan Feng prefetch_entry.io 369185e6164SHaoyuan Feng }) 370185e6164SHaoyuan Feng 371185e6164SHaoyuan Feng val filter = load_filter ++ store_filter ++ prefetch_filter 372185e6164SHaoyuan Feng 37371489510SXuan Hu load_filter.map(_.tlb.req := io.tlb.req.take(LdExuCnt + 1)) 3748ef35e01SXuan Hu store_filter.map(_.tlb.req := io.tlb.req.drop(LdExuCnt + 1).take(StaCnt)) 3758ef35e01SXuan Hu prefetch_filter.map(_.tlb.req := io.tlb.req.drop(LdExuCnt + 1 + StaCnt)) 376185e6164SHaoyuan Feng 377b188e334Speixiaokun val flush = DelayN(io.sfence.valid || io.csr.satp.changed || (io.csr.priv.virt && io.csr.vsatp.changed), FenceDelay) 378185e6164SHaoyuan Feng val ptwResp = RegEnable(io.ptw.resp.bits, io.ptw.resp.fire) 379185e6164SHaoyuan Feng val ptwResp_valid = Cat(filter.map(_.refill)).orR 380185e6164SHaoyuan Feng filter.map(_.tlb.resp.ready := true.B) 3815adc4829SYanqin Li filter.map(_.ptw.resp.valid := GatedValidRegNext(io.ptw.resp.fire, init = false.B)) 382185e6164SHaoyuan Feng filter.map(_.ptw.resp.bits := ptwResp) 383185e6164SHaoyuan Feng filter.map(_.flush := flush) 384185e6164SHaoyuan Feng filter.map(_.sfence := io.sfence) 385185e6164SHaoyuan Feng filter.map(_.csr := io.csr) 386185e6164SHaoyuan Feng filter.map(_.debugTopDown.robHeadVaddr := io.debugTopDown.robHeadVaddr) 387185e6164SHaoyuan Feng 388185e6164SHaoyuan Feng io.tlb.req.map(_.ready := true.B) 389185e6164SHaoyuan Feng io.tlb.resp.valid := ptwResp_valid 3904c4af37cSpeixiaokun io.tlb.resp.bits.data.s2xlate := ptwResp.s2xlate 391a4f9c77fSpeixiaokun io.tlb.resp.bits.data.getGpa := DontCare // not used 3924c4af37cSpeixiaokun io.tlb.resp.bits.data.s1 := ptwResp.s1 3934c4af37cSpeixiaokun io.tlb.resp.bits.data.s2 := ptwResp.s2 394185e6164SHaoyuan Feng io.tlb.resp.bits.data.memidx := 0.U.asTypeOf(new MemBlockidxBundle) 395185e6164SHaoyuan Feng // vector used to represent different requestors of DTLB 396185e6164SHaoyuan Feng // (e.g. the store DTLB has StuCnt requestors) 397185e6164SHaoyuan Feng // However, it is only necessary to distinguish between different DTLB now 398185e6164SHaoyuan Feng for (i <- 0 until Width) { 399185e6164SHaoyuan Feng io.tlb.resp.bits.vector(i) := false.B 400a4f9c77fSpeixiaokun io.tlb.resp.bits.getGpa(i) := false.B 401185e6164SHaoyuan Feng } 402185e6164SHaoyuan Feng io.tlb.resp.bits.vector(0) := load_filter(0).refill 40371489510SXuan Hu io.tlb.resp.bits.vector(LdExuCnt + 1) := store_filter(0).refill 4048ef35e01SXuan Hu io.tlb.resp.bits.vector(LdExuCnt + 1 + StaCnt) := prefetch_filter(0).refill 405a4f9c77fSpeixiaokun io.tlb.resp.bits.getGpa(0) := load_filter(0).getGpa 406e25e4d90SXuan Hu io.tlb.resp.bits.getGpa(LdExuCnt + 1) := store_filter(0).getGpa 407e25e4d90SXuan Hu io.tlb.resp.bits.getGpa(LdExuCnt + 1 + StaCnt) := prefetch_filter(0).getGpa 408185e6164SHaoyuan Feng 409185e6164SHaoyuan Feng val hintIO = io.hint.getOrElse(new TlbHintIO) 410185e6164SHaoyuan Feng val load_hintIO = load_filter(0).hint.getOrElse(new TlbHintIO) 41171489510SXuan Hu for (i <- 0 until LdExuCnt) { 412185e6164SHaoyuan Feng hintIO.req(i) := RegNext(load_hintIO.req(i)) 413185e6164SHaoyuan Feng } 4145adc4829SYanqin Li hintIO.resp.valid := RegNext(load_hintIO.resp.valid) 4155adc4829SYanqin Li hintIO.resp.bits := RegEnable(load_hintIO.resp.bits, load_hintIO.resp.valid) 416185e6164SHaoyuan Feng 417185e6164SHaoyuan Feng when (load_filter(0).refill) { 418185e6164SHaoyuan Feng io.tlb.resp.bits.vector(0) := true.B 419185e6164SHaoyuan Feng io.tlb.resp.bits.data.memidx := load_filter(0).memidx 420185e6164SHaoyuan Feng } 421185e6164SHaoyuan Feng when (store_filter(0).refill) { 42271489510SXuan Hu io.tlb.resp.bits.vector(LdExuCnt + 1) := true.B 423185e6164SHaoyuan Feng io.tlb.resp.bits.data.memidx := store_filter(0).memidx 424185e6164SHaoyuan Feng } 425185e6164SHaoyuan Feng when (prefetch_filter(0).refill) { 4268ef35e01SXuan Hu io.tlb.resp.bits.vector(LdExuCnt + 1 + StaCnt) := true.B 427185e6164SHaoyuan Feng io.tlb.resp.bits.data.memidx := 0.U.asTypeOf(new MemBlockidxBundle) 428185e6164SHaoyuan Feng } 429185e6164SHaoyuan Feng 430185e6164SHaoyuan Feng val ptw_arb = Module(new RRArbiterInit(new PtwReq, 3)) 431185e6164SHaoyuan Feng for (i <- 0 until 3) { 432185e6164SHaoyuan Feng ptw_arb.io.in(i).valid := filter(i).ptw.req(0).valid 433185e6164SHaoyuan Feng ptw_arb.io.in(i).bits.vpn := filter(i).ptw.req(0).bits.vpn 4344c4af37cSpeixiaokun ptw_arb.io.in(i).bits.s2xlate := filter(i).ptw.req(0).bits.s2xlate 435185e6164SHaoyuan Feng filter(i).ptw.req(0).ready := ptw_arb.io.in(i).ready 436185e6164SHaoyuan Feng } 437185e6164SHaoyuan Feng ptw_arb.io.out.ready := io.ptw.req(0).ready 438185e6164SHaoyuan Feng io.ptw.req(0).valid := ptw_arb.io.out.valid 439185e6164SHaoyuan Feng io.ptw.req(0).bits.vpn := ptw_arb.io.out.bits.vpn 4404c4af37cSpeixiaokun io.ptw.req(0).bits.s2xlate := ptw_arb.io.out.bits.s2xlate 441185e6164SHaoyuan Feng io.ptw.resp.ready := true.B 442185e6164SHaoyuan Feng 443185e6164SHaoyuan Feng io.rob_head_miss_in_tlb := Cat(filter.map(_.rob_head_miss_in_tlb)).orR 444185e6164SHaoyuan Feng} 445185e6164SHaoyuan Feng 446f1fe8698SLemoverclass PTWFilter(Width: Int, Size: Int, FenceDelay: Int)(implicit p: Parameters) extends XSModule with HasPtwConst { 4476d5ddbceSLemover require(Size >= Width) 4486d5ddbceSLemover 44945f497a4Shappy-lx val io = IO(new PTWFilterIO(Width)) 45045f497a4Shappy-lx 4516d5ddbceSLemover val v = RegInit(VecInit(Seq.fill(Size)(false.B))) 452a0301c0dSLemover val ports = Reg(Vec(Size, Vec(Width, Bool()))) // record which port(s) the entry come from, may not able to cover all the ports 4536d5ddbceSLemover val vpn = Reg(Vec(Size, UInt(vpnLen.W))) 454d0de7e4aSpeixiaokun val s2xlate = Reg(Vec(Size, UInt(2.W))) 455a4f9c77fSpeixiaokun val getGpa = Reg(Vec(Size, Bool())) 4568744445eSMaxpicca-Li val memidx = Reg(Vec(Size, new MemBlockidxBundle)) 4576d5ddbceSLemover val enqPtr = RegInit(0.U(log2Up(Size).W)) // Enq 4586d5ddbceSLemover val issPtr = RegInit(0.U(log2Up(Size).W)) // Iss to Ptw 4596d5ddbceSLemover val deqPtr = RegInit(0.U(log2Up(Size).W)) // Deq 4606d5ddbceSLemover val mayFullDeq = RegInit(false.B) 4616d5ddbceSLemover val mayFullIss = RegInit(false.B) 4626d5ddbceSLemover val counter = RegInit(0.U(log2Up(Size+1).W)) 463*910eede8SXuan Hu val flush = DelayN(io.sfence.valid || io.csr.satp.changed || io.csr.vsatp.changed || io.csr.hgatp.changed, FenceDelay) 464f1fe8698SLemover val tlb_req = WireInit(io.tlb.req) // NOTE: tlb_req is not io.tlb.req, see below codes, just use cloneType 465cccfc98dSLemover tlb_req.suggestName("tlb_req") 466cccfc98dSLemover 467fa9f9690SLemover val inflight_counter = RegInit(0.U(log2Up(Size + 1).W)) 468fa9f9690SLemover val inflight_full = inflight_counter === Size.U 469d0de7e4aSpeixiaokun 470d0de7e4aSpeixiaokun def ptwResp_hit(vpn: UInt, s2xlate: UInt, resp: PtwRespS2): Bool = { 471cca17e78Speixiaokun val enableS2xlate = resp.s2xlate =/= noS2xlate 472ad0d9d89Speixiaokun val onlyS2 = resp.s2xlate === onlyStage2 473cca17e78Speixiaokun val s1hit = resp.s1.hit(vpn, 0.U, io.csr.hgatp.asid, true, true, enableS2xlate) 474d0de7e4aSpeixiaokun val s2hit = resp.s2.hit(vpn, io.csr.hgatp.asid) 475496c751cSpeixiaokun s2xlate === resp.s2xlate && Mux(enableS2xlate && onlyS2, s2hit, s1hit) 476d0de7e4aSpeixiaokun } 477d0de7e4aSpeixiaokun 478935edac4STang Haojin when (io.ptw.req(0).fire =/= io.ptw.resp.fire) { 479935edac4STang Haojin inflight_counter := Mux(io.ptw.req(0).fire, inflight_counter + 1.U, inflight_counter - 1.U) 480fa9f9690SLemover } 481fa9f9690SLemover 48287f41827SLemover val canEnqueue = Wire(Bool()) // NOTE: actually enqueue 483935edac4STang Haojin val ptwResp = RegEnable(io.ptw.resp.bits, io.ptw.resp.fire) 484d0de7e4aSpeixiaokun val ptwResp_OldMatchVec = vpn.zip(v).zip(s2xlate).map { case (((vpn, v), s2xlate)) =>{ 4856f487a5dSpeixiaokun v && ptwResp_hit(vpn, s2xlate, io.ptw.resp.bits) 486d0de7e4aSpeixiaokun } 487d0de7e4aSpeixiaokun } 4885adc4829SYanqin Li val ptwResp_valid = GatedValidRegNext(io.ptw.resp.fire && Cat(ptwResp_OldMatchVec).orR, init = false.B) 48963632028SHaoyuan Feng // May send repeated requests to L2 tlb with same vpn(26, 3) when sector tlb 490d0de7e4aSpeixiaokun val oldMatchVec_early = io.tlb.req.map(a => vpn.zip(v).zip(s2xlate).map{ case ((pi, vi), s2xlate) => vi && pi === a.bits.vpn && s2xlate === a.bits.s2xlate }) 491d0de7e4aSpeixiaokun val lastReqMatchVec_early = io.tlb.req.map(a => tlb_req.map{ b => b.valid && b.bits.vpn === a.bits.vpn && canEnqueue && b.bits.s2xlate === a.bits.s2xlate}) 492d0de7e4aSpeixiaokun val newMatchVec_early = io.tlb.req.map(a => io.tlb.req.map(b => a.bits.vpn === b.bits.vpn && a.bits.s2xlate === b.bits.s2xlate)) 493cccfc98dSLemover 494cccfc98dSLemover (0 until Width) foreach { i => 4955adc4829SYanqin Li tlb_req(i).valid := GatedValidRegNext(io.tlb.req(i).valid && 496d0de7e4aSpeixiaokun !(ptwResp_valid && ptwResp_hit(io.tlb.req(i).bits.vpn, io.tlb.req(i).bits.s2xlate, ptwResp)) && 497cccfc98dSLemover !Cat(lastReqMatchVec_early(i)).orR, 498cccfc98dSLemover init = false.B) 499cccfc98dSLemover tlb_req(i).bits := RegEnable(io.tlb.req(i).bits, io.tlb.req(i).valid) 500cccfc98dSLemover } 501cccfc98dSLemover 5025adc4829SYanqin Li 5035adc4829SYanqin Li val oldMatchVec = oldMatchVec_early.map(a => GatedValidRegNext(Cat(a).orR)) 504cccfc98dSLemover val newMatchVec = (0 until Width).map(i => (0 until Width).map(j => 5055adc4829SYanqin Li GatedValidRegNext(newMatchVec_early(i)(j)) && tlb_req(j).valid 506cccfc98dSLemover )) 507cccfc98dSLemover val ptwResp_newMatchVec = tlb_req.map(a => 508d0de7e4aSpeixiaokun ptwResp_valid && ptwResp_hit(a.bits.vpn, a.bits.s2xlate, ptwResp)) 509cccfc98dSLemover 5105adc4829SYanqin Li val oldMatchVec2 = (0 until Width).map(i => oldMatchVec_early(i).map(GatedValidRegNext(_)).map(_ & tlb_req(i).valid)) 511cccfc98dSLemover val update_ports = v.indices.map(i => oldMatchVec2.map(j => j(i))) 512a0301c0dSLemover val ports_init = (0 until Width).map(i => (1 << i).U(Width.W)) 513a0301c0dSLemover val filter_ports = (0 until Width).map(i => ParallelMux(newMatchVec(i).zip(ports_init).drop(i))) 514935edac4STang Haojin val resp_vector = RegEnable(ParallelMux(ptwResp_OldMatchVec zip ports), io.ptw.resp.fire) 515a4f9c77fSpeixiaokun val resp_getGpa = RegEnable(ParallelMux(ptwResp_OldMatchVec zip getGpa), io.ptw.resp.fire) 5166d5ddbceSLemover 517a0301c0dSLemover def canMerge(index: Int) : Bool = { 518cccfc98dSLemover ptwResp_newMatchVec(index) || oldMatchVec(index) || 519a0301c0dSLemover Cat(newMatchVec(index).take(index)).orR 520a0301c0dSLemover } 521a0301c0dSLemover 522a0301c0dSLemover def filter_req() = { 523a0301c0dSLemover val reqs = tlb_req.indices.map{ i => 5248744445eSMaxpicca-Li val req = Wire(ValidIO(new PtwReqwithMemIdx())) 525a0301c0dSLemover val merge = canMerge(i) 526a0301c0dSLemover req.bits := tlb_req(i).bits 527a0301c0dSLemover req.valid := !merge && tlb_req(i).valid 528a0301c0dSLemover req 529a0301c0dSLemover } 530a0301c0dSLemover reqs 531a0301c0dSLemover } 532a0301c0dSLemover 533a0301c0dSLemover val reqs = filter_req() 534a0301c0dSLemover val req_ports = filter_ports 5356d5ddbceSLemover val isFull = enqPtr === deqPtr && mayFullDeq 5366d5ddbceSLemover val isEmptyDeq = enqPtr === deqPtr && !mayFullDeq 5376d5ddbceSLemover val isEmptyIss = enqPtr === issPtr && !mayFullIss 5386d5ddbceSLemover val accumEnqNum = (0 until Width).map(i => PopCount(reqs.take(i).map(_.valid))) 539cccfc98dSLemover val enqPtrVecInit = VecInit((0 until Width).map(i => enqPtr + i.U)) 540cccfc98dSLemover val enqPtrVec = VecInit((0 until Width).map(i => enqPtrVecInit(accumEnqNum(i)))) 5416d5ddbceSLemover val enqNum = PopCount(reqs.map(_.valid)) 54287f41827SLemover canEnqueue := counter +& enqNum <= Size.U 5436d5ddbceSLemover 544f1fe8698SLemover // the req may recv false ready, but actually received. Filter and TLB will handle it. 545f1fe8698SLemover val enqNum_fake = PopCount(io.tlb.req.map(_.valid)) 546f1fe8698SLemover val canEnqueue_fake = counter +& enqNum_fake <= Size.U 547f1fe8698SLemover io.tlb.req.map(_.ready := canEnqueue_fake) // NOTE: just drop un-fire reqs 548f1fe8698SLemover 5490ab9ba15SLemover // tlb req flushed by ptw resp: last ptw resp && current ptw resp 5500ab9ba15SLemover // the flushed tlb req will fakely enq, with a false valid 551d0de7e4aSpeixiaokun val tlb_req_flushed = reqs.map(a => io.ptw.resp.valid && ptwResp_hit(a.bits.vpn, a.bits.s2xlate, io.ptw.resp.bits)) 5520ab9ba15SLemover 553cccfc98dSLemover io.tlb.resp.valid := ptwResp_valid 55450c7aa78Speixiaokun io.tlb.resp.bits.data.s2xlate := ptwResp.s2xlate 55550c7aa78Speixiaokun io.tlb.resp.bits.data.s1 := ptwResp.s1 55650c7aa78Speixiaokun io.tlb.resp.bits.data.s2 := ptwResp.s2 5578744445eSMaxpicca-Li io.tlb.resp.bits.data.memidx := memidx(OHToUInt(ptwResp_OldMatchVec)) 558a0301c0dSLemover io.tlb.resp.bits.vector := resp_vector 559bad60841SXiaokun-Pei io.tlb.resp.bits.data.getGpa := RegNext(getGpa(OHToUInt(ptwResp_OldMatchVec))) 560a4f9c77fSpeixiaokun io.tlb.resp.bits.getGpa := DontCare 5612c2c1588SLemover 562fa9f9690SLemover val issue_valid = v(issPtr) && !isEmptyIss && !inflight_full 563d0de7e4aSpeixiaokun val issue_filtered = ptwResp_valid && ptwResp_hit(io.ptw.req(0).bits.vpn, io.ptw.req(0).bits.s2xlate, ptwResp) 5642c2c1588SLemover val issue_fire_fake = issue_valid && (io.ptw.req(0).ready || (issue_filtered && false.B /*timing-opt*/)) 5652c2c1588SLemover io.ptw.req(0).valid := issue_valid && !issue_filtered 5666d5ddbceSLemover io.ptw.req(0).bits.vpn := vpn(issPtr) 567d0de7e4aSpeixiaokun io.ptw.req(0).bits.s2xlate := s2xlate(issPtr) 5686d5ddbceSLemover io.ptw.resp.ready := true.B 5696d5ddbceSLemover 5706d5ddbceSLemover reqs.zipWithIndex.map{ 5716d5ddbceSLemover case (req, i) => 5726d5ddbceSLemover when (req.valid && canEnqueue) { 5730ab9ba15SLemover v(enqPtrVec(i)) := !tlb_req_flushed(i) 5746d5ddbceSLemover vpn(enqPtrVec(i)) := req.bits.vpn 575d0de7e4aSpeixiaokun s2xlate(enqPtrVec(i)) := req.bits.s2xlate 576a4f9c77fSpeixiaokun getGpa(enqPtrVec(i)) := req.bits.getGpa 5778744445eSMaxpicca-Li memidx(enqPtrVec(i)) := req.bits.memidx 578a0301c0dSLemover ports(enqPtrVec(i)) := req_ports(i).asBools 579a0301c0dSLemover } 580a0301c0dSLemover } 581a0301c0dSLemover for (i <- ports.indices) { 582a0301c0dSLemover when (v(i)) { 583a0301c0dSLemover ports(i) := ports(i).zip(update_ports(i)).map(a => a._1 || a._2) 5846d5ddbceSLemover } 5856d5ddbceSLemover } 5866d5ddbceSLemover 5876d5ddbceSLemover val do_enq = canEnqueue && Cat(reqs.map(_.valid)).orR 5886d5ddbceSLemover val do_deq = (!v(deqPtr) && !isEmptyDeq) 5892c2c1588SLemover val do_iss = issue_fire_fake || (!v(issPtr) && !isEmptyIss) 5906d5ddbceSLemover when (do_enq) { 5916d5ddbceSLemover enqPtr := enqPtr + enqNum 5926d5ddbceSLemover } 5936d5ddbceSLemover when (do_deq) { 5946d5ddbceSLemover deqPtr := deqPtr + 1.U 5956d5ddbceSLemover } 5966d5ddbceSLemover when (do_iss) { 5976d5ddbceSLemover issPtr := issPtr + 1.U 5986d5ddbceSLemover } 5992c2c1588SLemover when (issue_fire_fake && issue_filtered) { // issued but is filtered 6002c2c1588SLemover v(issPtr) := false.B 6012c2c1588SLemover } 6026d5ddbceSLemover when (do_enq =/= do_deq) { 6036d5ddbceSLemover mayFullDeq := do_enq 6046d5ddbceSLemover } 6056d5ddbceSLemover when (do_enq =/= do_iss) { 6066d5ddbceSLemover mayFullIss := do_enq 6076d5ddbceSLemover } 6086d5ddbceSLemover 609935edac4STang Haojin when (io.ptw.resp.fire) { 610cccfc98dSLemover v.zip(ptwResp_OldMatchVec).map{ case (vi, mi) => when (mi) { vi := false.B }} 6116d5ddbceSLemover } 6126d5ddbceSLemover 6136d5ddbceSLemover counter := counter - do_deq + Mux(do_enq, enqNum, 0.U) 614fa9f9690SLemover assert(counter <= Size.U, "counter should be no more than Size") 615fa9f9690SLemover assert(inflight_counter <= Size.U, "inflight should be no more than Size") 6166d5ddbceSLemover when (counter === 0.U) { 617935edac4STang Haojin assert(!io.ptw.req(0).fire, "when counter is 0, should not req") 6186d5ddbceSLemover assert(isEmptyDeq && isEmptyIss, "when counter is 0, should be empty") 6196d5ddbceSLemover } 6206d5ddbceSLemover when (counter === Size.U) { 6216d5ddbceSLemover assert(mayFullDeq, "when counter is Size, should be full") 6226d5ddbceSLemover } 6236d5ddbceSLemover 62445f497a4Shappy-lx when (flush) { 6256d5ddbceSLemover v.map(_ := false.B) 6266d5ddbceSLemover deqPtr := 0.U 6276d5ddbceSLemover enqPtr := 0.U 6286d5ddbceSLemover issPtr := 0.U 6296d5ddbceSLemover ptwResp_valid := false.B 6306d5ddbceSLemover mayFullDeq := false.B 6316d5ddbceSLemover mayFullIss := false.B 6326d5ddbceSLemover counter := 0.U 633fa9f9690SLemover inflight_counter := 0.U 6346d5ddbceSLemover } 6356d5ddbceSLemover 63660ebee38STang Haojin val robHeadVaddr = io.debugTopDown.robHeadVaddr 637d2b20d1aSTang Haojin io.rob_head_miss_in_tlb := VecInit(v.zip(vpn).map{case (vi, vpni) => { 63860ebee38STang Haojin vi && robHeadVaddr.valid && vpni === get_pn(robHeadVaddr.bits) 639d2b20d1aSTang Haojin }}).asUInt.orR 640d2b20d1aSTang Haojin 6416d5ddbceSLemover // perf 6426d5ddbceSLemover XSPerfAccumulate("tlb_req_count", PopCount(Cat(io.tlb.req.map(_.valid)))) 6436d5ddbceSLemover XSPerfAccumulate("tlb_req_count_filtered", Mux(do_enq, accumEnqNum(Width - 1), 0.U)) 644935edac4STang Haojin XSPerfAccumulate("ptw_req_count", io.ptw.req(0).fire) 6456d5ddbceSLemover XSPerfAccumulate("ptw_req_cycle", inflight_counter) 646935edac4STang Haojin XSPerfAccumulate("tlb_resp_count", io.tlb.resp.fire) 647935edac4STang Haojin XSPerfAccumulate("ptw_resp_count", io.ptw.resp.fire) 6486d5ddbceSLemover XSPerfAccumulate("inflight_cycle", !isEmptyDeq) 6496d5ddbceSLemover for (i <- 0 until Size + 1) { 6506d5ddbceSLemover XSPerfAccumulate(s"counter${i}", counter === i.U) 6516d5ddbceSLemover } 6529bd9cdfaSLemover 6539bd9cdfaSLemover for (i <- 0 until Size) { 6549bd9cdfaSLemover TimeOutAssert(v(i), timeOutThreshold, s"Filter ${i} doesn't recv resp in time") 6559bd9cdfaSLemover } 6566d5ddbceSLemover} 65738ba1efdSLemover 65838ba1efdSLemoverobject PTWRepeater { 659f1fe8698SLemover def apply(fenceDelay: Int, 66038ba1efdSLemover tlb: TlbPtwIO, 66138ba1efdSLemover sfence: SfenceBundle, 66238ba1efdSLemover csr: TlbCsrBundle 66338ba1efdSLemover )(implicit p: Parameters) = { 66438ba1efdSLemover val width = tlb.req.size 665f1fe8698SLemover val repeater = Module(new PTWRepeater(width, fenceDelay)) 66635d6335eSZhangZifei repeater.io.apply(tlb, sfence, csr) 66738ba1efdSLemover repeater 66838ba1efdSLemover } 66938ba1efdSLemover 670f1fe8698SLemover def apply(fenceDelay: Int, 67138ba1efdSLemover tlb: TlbPtwIO, 67238ba1efdSLemover ptw: TlbPtwIO, 67338ba1efdSLemover sfence: SfenceBundle, 67438ba1efdSLemover csr: TlbCsrBundle 67538ba1efdSLemover )(implicit p: Parameters) = { 67638ba1efdSLemover val width = tlb.req.size 677f1fe8698SLemover val repeater = Module(new PTWRepeater(width, fenceDelay)) 67835d6335eSZhangZifei repeater.io.apply(tlb, ptw, sfence, csr) 67935d6335eSZhangZifei repeater 68035d6335eSZhangZifei } 68135d6335eSZhangZifei} 68238ba1efdSLemover 68335d6335eSZhangZifeiobject PTWRepeaterNB { 684f1fe8698SLemover def apply(passReady: Boolean, fenceDelay: Int, 68535d6335eSZhangZifei tlb: TlbPtwIO, 68635d6335eSZhangZifei sfence: SfenceBundle, 68735d6335eSZhangZifei csr: TlbCsrBundle 68835d6335eSZhangZifei )(implicit p: Parameters) = { 68935d6335eSZhangZifei val width = tlb.req.size 690f1fe8698SLemover val repeater = Module(new PTWRepeaterNB(width, passReady,fenceDelay)) 69135d6335eSZhangZifei repeater.io.apply(tlb, sfence, csr) 69235d6335eSZhangZifei repeater 69335d6335eSZhangZifei } 69435d6335eSZhangZifei 695f1fe8698SLemover def apply(passReady: Boolean, fenceDelay: Int, 69635d6335eSZhangZifei tlb: TlbPtwIO, 69735d6335eSZhangZifei ptw: TlbPtwIO, 69835d6335eSZhangZifei sfence: SfenceBundle, 69935d6335eSZhangZifei csr: TlbCsrBundle 70035d6335eSZhangZifei )(implicit p: Parameters) = { 70135d6335eSZhangZifei val width = tlb.req.size 702f1fe8698SLemover val repeater = Module(new PTWRepeaterNB(width, passReady, fenceDelay)) 70335d6335eSZhangZifei repeater.io.apply(tlb, ptw, sfence, csr) 70438ba1efdSLemover repeater 70538ba1efdSLemover } 70638ba1efdSLemover} 70738ba1efdSLemover 70838ba1efdSLemoverobject PTWFilter { 709f1fe8698SLemover def apply(fenceDelay: Int, 710f1fe8698SLemover tlb: VectorTlbPtwIO, 71138ba1efdSLemover ptw: TlbPtwIO, 71238ba1efdSLemover sfence: SfenceBundle, 71338ba1efdSLemover csr: TlbCsrBundle, 71438ba1efdSLemover size: Int 71538ba1efdSLemover )(implicit p: Parameters) = { 71638ba1efdSLemover val width = tlb.req.size 717f1fe8698SLemover val filter = Module(new PTWFilter(width, size, fenceDelay)) 71835d6335eSZhangZifei filter.io.apply(tlb, ptw, sfence, csr) 71938ba1efdSLemover filter 72038ba1efdSLemover } 72135d6335eSZhangZifei 722f1fe8698SLemover def apply(fenceDelay: Int, 723f1fe8698SLemover tlb: VectorTlbPtwIO, 72435d6335eSZhangZifei sfence: SfenceBundle, 72535d6335eSZhangZifei csr: TlbCsrBundle, 72635d6335eSZhangZifei size: Int 72735d6335eSZhangZifei )(implicit p: Parameters) = { 72835d6335eSZhangZifei val width = tlb.req.size 729f1fe8698SLemover val filter = Module(new PTWFilter(width, size, fenceDelay)) 73035d6335eSZhangZifei filter.io.apply(tlb, sfence, csr) 73135d6335eSZhangZifei filter 73235d6335eSZhangZifei } 733185e6164SHaoyuan Feng} 73435d6335eSZhangZifei 735185e6164SHaoyuan Fengobject PTWNewFilter { 736185e6164SHaoyuan Feng def apply(fenceDelay: Int, 737185e6164SHaoyuan Feng tlb: VectorTlbPtwIO, 738185e6164SHaoyuan Feng ptw: TlbPtwIO, 739185e6164SHaoyuan Feng sfence: SfenceBundle, 740185e6164SHaoyuan Feng csr: TlbCsrBundle, 741185e6164SHaoyuan Feng size: Int 742185e6164SHaoyuan Feng )(implicit p: Parameters) = { 743185e6164SHaoyuan Feng val width = tlb.req.size 744185e6164SHaoyuan Feng val filter = Module(new PTWNewFilter(width, size, fenceDelay)) 745185e6164SHaoyuan Feng filter.io.apply(tlb, ptw, sfence, csr) 746185e6164SHaoyuan Feng filter 747185e6164SHaoyuan Feng } 748185e6164SHaoyuan Feng 749185e6164SHaoyuan Feng def apply(fenceDelay: Int, 750185e6164SHaoyuan Feng tlb: VectorTlbPtwIO, 751185e6164SHaoyuan Feng sfence: SfenceBundle, 752185e6164SHaoyuan Feng csr: TlbCsrBundle, 753185e6164SHaoyuan Feng size: Int 754185e6164SHaoyuan Feng )(implicit p: Parameters) = { 755185e6164SHaoyuan Feng val width = tlb.req.size 756185e6164SHaoyuan Feng val filter = Module(new PTWNewFilter(width, size, fenceDelay)) 757185e6164SHaoyuan Feng filter.io.apply(tlb, sfence, csr) 758185e6164SHaoyuan Feng filter 759185e6164SHaoyuan Feng } 76038ba1efdSLemover} 761