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 { 547be7e781Speixiaokun val arb = Module(new RRArbiterInit(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 { 977be7e781Speixiaokun val arb = Module(new RRArbiterInit(io.tlb.req(0).bits.cloneType, Width)) 9835d6335eSZhangZifei arb.io.in <> io.tlb.req 9935d6335eSZhangZifei arb.io.out 10035d6335eSZhangZifei } 101910eede8SXuan 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)))) 195*2b221cabSXiaokun-Pei 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.vmid, true)} 196185e6164SHaoyuan Feng val ptwResp_EntryMatchFirst = firstValidIndex(ptwResp_EntryMatchVec, true.B) 197*2b221cabSXiaokun-Pei 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, io.csr.satp.asid, io.csr.vsatp.asid, io.csr.hgatp.vmid, 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)) 463910eede8SXuan 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 = { 471*2b221cabSXiaokun-Pei s2xlate === resp.s2xlate && resp.hit(vpn, io.csr.satp.asid, io.csr.vsatp.asid, io.csr.hgatp.vmid, true) 472d0de7e4aSpeixiaokun } 473d0de7e4aSpeixiaokun 474935edac4STang Haojin when (io.ptw.req(0).fire =/= io.ptw.resp.fire) { 475935edac4STang Haojin inflight_counter := Mux(io.ptw.req(0).fire, inflight_counter + 1.U, inflight_counter - 1.U) 476fa9f9690SLemover } 477fa9f9690SLemover 47887f41827SLemover val canEnqueue = Wire(Bool()) // NOTE: actually enqueue 479935edac4STang Haojin val ptwResp = RegEnable(io.ptw.resp.bits, io.ptw.resp.fire) 480d0de7e4aSpeixiaokun val ptwResp_OldMatchVec = vpn.zip(v).zip(s2xlate).map { case (((vpn, v), s2xlate)) =>{ 4816f487a5dSpeixiaokun v && ptwResp_hit(vpn, s2xlate, io.ptw.resp.bits) 482d0de7e4aSpeixiaokun } 483d0de7e4aSpeixiaokun } 4845adc4829SYanqin Li val ptwResp_valid = GatedValidRegNext(io.ptw.resp.fire && Cat(ptwResp_OldMatchVec).orR, init = false.B) 48563632028SHaoyuan Feng // May send repeated requests to L2 tlb with same vpn(26, 3) when sector tlb 486d0de7e4aSpeixiaokun 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 }) 487d0de7e4aSpeixiaokun 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}) 488d0de7e4aSpeixiaokun 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)) 489cccfc98dSLemover 490cccfc98dSLemover (0 until Width) foreach { i => 4915adc4829SYanqin Li tlb_req(i).valid := GatedValidRegNext(io.tlb.req(i).valid && 492d0de7e4aSpeixiaokun !(ptwResp_valid && ptwResp_hit(io.tlb.req(i).bits.vpn, io.tlb.req(i).bits.s2xlate, ptwResp)) && 493cccfc98dSLemover !Cat(lastReqMatchVec_early(i)).orR, 494cccfc98dSLemover init = false.B) 495cccfc98dSLemover tlb_req(i).bits := RegEnable(io.tlb.req(i).bits, io.tlb.req(i).valid) 496cccfc98dSLemover } 497cccfc98dSLemover 4985adc4829SYanqin Li 4995adc4829SYanqin Li val oldMatchVec = oldMatchVec_early.map(a => GatedValidRegNext(Cat(a).orR)) 500cccfc98dSLemover val newMatchVec = (0 until Width).map(i => (0 until Width).map(j => 5015adc4829SYanqin Li GatedValidRegNext(newMatchVec_early(i)(j)) && tlb_req(j).valid 502cccfc98dSLemover )) 503cccfc98dSLemover val ptwResp_newMatchVec = tlb_req.map(a => 504d0de7e4aSpeixiaokun ptwResp_valid && ptwResp_hit(a.bits.vpn, a.bits.s2xlate, ptwResp)) 505cccfc98dSLemover 5065adc4829SYanqin Li val oldMatchVec2 = (0 until Width).map(i => oldMatchVec_early(i).map(GatedValidRegNext(_)).map(_ & tlb_req(i).valid)) 507cccfc98dSLemover val update_ports = v.indices.map(i => oldMatchVec2.map(j => j(i))) 508a0301c0dSLemover val ports_init = (0 until Width).map(i => (1 << i).U(Width.W)) 509a0301c0dSLemover val filter_ports = (0 until Width).map(i => ParallelMux(newMatchVec(i).zip(ports_init).drop(i))) 510935edac4STang Haojin val resp_vector = RegEnable(ParallelMux(ptwResp_OldMatchVec zip ports), io.ptw.resp.fire) 511a4f9c77fSpeixiaokun val resp_getGpa = RegEnable(ParallelMux(ptwResp_OldMatchVec zip getGpa), io.ptw.resp.fire) 5126d5ddbceSLemover 513a0301c0dSLemover def canMerge(index: Int) : Bool = { 514cccfc98dSLemover ptwResp_newMatchVec(index) || oldMatchVec(index) || 515a0301c0dSLemover Cat(newMatchVec(index).take(index)).orR 516a0301c0dSLemover } 517a0301c0dSLemover 518a0301c0dSLemover def filter_req() = { 519a0301c0dSLemover val reqs = tlb_req.indices.map{ i => 5208744445eSMaxpicca-Li val req = Wire(ValidIO(new PtwReqwithMemIdx())) 521a0301c0dSLemover val merge = canMerge(i) 522a0301c0dSLemover req.bits := tlb_req(i).bits 523a0301c0dSLemover req.valid := !merge && tlb_req(i).valid 524a0301c0dSLemover req 525a0301c0dSLemover } 526a0301c0dSLemover reqs 527a0301c0dSLemover } 528a0301c0dSLemover 529a0301c0dSLemover val reqs = filter_req() 530a0301c0dSLemover val req_ports = filter_ports 5316d5ddbceSLemover val isFull = enqPtr === deqPtr && mayFullDeq 5326d5ddbceSLemover val isEmptyDeq = enqPtr === deqPtr && !mayFullDeq 5336d5ddbceSLemover val isEmptyIss = enqPtr === issPtr && !mayFullIss 5346d5ddbceSLemover val accumEnqNum = (0 until Width).map(i => PopCount(reqs.take(i).map(_.valid))) 535cccfc98dSLemover val enqPtrVecInit = VecInit((0 until Width).map(i => enqPtr + i.U)) 536cccfc98dSLemover val enqPtrVec = VecInit((0 until Width).map(i => enqPtrVecInit(accumEnqNum(i)))) 5376d5ddbceSLemover val enqNum = PopCount(reqs.map(_.valid)) 53887f41827SLemover canEnqueue := counter +& enqNum <= Size.U 5396d5ddbceSLemover 540f1fe8698SLemover // the req may recv false ready, but actually received. Filter and TLB will handle it. 541f1fe8698SLemover val enqNum_fake = PopCount(io.tlb.req.map(_.valid)) 542f1fe8698SLemover val canEnqueue_fake = counter +& enqNum_fake <= Size.U 543f1fe8698SLemover io.tlb.req.map(_.ready := canEnqueue_fake) // NOTE: just drop un-fire reqs 544f1fe8698SLemover 5450ab9ba15SLemover // tlb req flushed by ptw resp: last ptw resp && current ptw resp 5460ab9ba15SLemover // the flushed tlb req will fakely enq, with a false valid 547d0de7e4aSpeixiaokun val tlb_req_flushed = reqs.map(a => io.ptw.resp.valid && ptwResp_hit(a.bits.vpn, a.bits.s2xlate, io.ptw.resp.bits)) 5480ab9ba15SLemover 549cccfc98dSLemover io.tlb.resp.valid := ptwResp_valid 55050c7aa78Speixiaokun io.tlb.resp.bits.data.s2xlate := ptwResp.s2xlate 55150c7aa78Speixiaokun io.tlb.resp.bits.data.s1 := ptwResp.s1 55250c7aa78Speixiaokun io.tlb.resp.bits.data.s2 := ptwResp.s2 5538744445eSMaxpicca-Li io.tlb.resp.bits.data.memidx := memidx(OHToUInt(ptwResp_OldMatchVec)) 554a0301c0dSLemover io.tlb.resp.bits.vector := resp_vector 555bad60841SXiaokun-Pei io.tlb.resp.bits.data.getGpa := RegNext(getGpa(OHToUInt(ptwResp_OldMatchVec))) 556a4f9c77fSpeixiaokun io.tlb.resp.bits.getGpa := DontCare 5572c2c1588SLemover 558fa9f9690SLemover val issue_valid = v(issPtr) && !isEmptyIss && !inflight_full 559d0de7e4aSpeixiaokun val issue_filtered = ptwResp_valid && ptwResp_hit(io.ptw.req(0).bits.vpn, io.ptw.req(0).bits.s2xlate, ptwResp) 5602c2c1588SLemover val issue_fire_fake = issue_valid && (io.ptw.req(0).ready || (issue_filtered && false.B /*timing-opt*/)) 5612c2c1588SLemover io.ptw.req(0).valid := issue_valid && !issue_filtered 5626d5ddbceSLemover io.ptw.req(0).bits.vpn := vpn(issPtr) 563d0de7e4aSpeixiaokun io.ptw.req(0).bits.s2xlate := s2xlate(issPtr) 5646d5ddbceSLemover io.ptw.resp.ready := true.B 5656d5ddbceSLemover 5666d5ddbceSLemover reqs.zipWithIndex.map{ 5676d5ddbceSLemover case (req, i) => 5686d5ddbceSLemover when (req.valid && canEnqueue) { 5690ab9ba15SLemover v(enqPtrVec(i)) := !tlb_req_flushed(i) 5706d5ddbceSLemover vpn(enqPtrVec(i)) := req.bits.vpn 571d0de7e4aSpeixiaokun s2xlate(enqPtrVec(i)) := req.bits.s2xlate 572a4f9c77fSpeixiaokun getGpa(enqPtrVec(i)) := req.bits.getGpa 5738744445eSMaxpicca-Li memidx(enqPtrVec(i)) := req.bits.memidx 574a0301c0dSLemover ports(enqPtrVec(i)) := req_ports(i).asBools 575a0301c0dSLemover } 576a0301c0dSLemover } 577a0301c0dSLemover for (i <- ports.indices) { 578a0301c0dSLemover when (v(i)) { 579a0301c0dSLemover ports(i) := ports(i).zip(update_ports(i)).map(a => a._1 || a._2) 5806d5ddbceSLemover } 5816d5ddbceSLemover } 5826d5ddbceSLemover 5836d5ddbceSLemover val do_enq = canEnqueue && Cat(reqs.map(_.valid)).orR 5846d5ddbceSLemover val do_deq = (!v(deqPtr) && !isEmptyDeq) 5852c2c1588SLemover val do_iss = issue_fire_fake || (!v(issPtr) && !isEmptyIss) 5866d5ddbceSLemover when (do_enq) { 5876d5ddbceSLemover enqPtr := enqPtr + enqNum 5886d5ddbceSLemover } 5896d5ddbceSLemover when (do_deq) { 5906d5ddbceSLemover deqPtr := deqPtr + 1.U 5916d5ddbceSLemover } 5926d5ddbceSLemover when (do_iss) { 5936d5ddbceSLemover issPtr := issPtr + 1.U 5946d5ddbceSLemover } 5952c2c1588SLemover when (issue_fire_fake && issue_filtered) { // issued but is filtered 5962c2c1588SLemover v(issPtr) := false.B 5972c2c1588SLemover } 5986d5ddbceSLemover when (do_enq =/= do_deq) { 5996d5ddbceSLemover mayFullDeq := do_enq 6006d5ddbceSLemover } 6016d5ddbceSLemover when (do_enq =/= do_iss) { 6026d5ddbceSLemover mayFullIss := do_enq 6036d5ddbceSLemover } 6046d5ddbceSLemover 605935edac4STang Haojin when (io.ptw.resp.fire) { 606cccfc98dSLemover v.zip(ptwResp_OldMatchVec).map{ case (vi, mi) => when (mi) { vi := false.B }} 6076d5ddbceSLemover } 6086d5ddbceSLemover 6096d5ddbceSLemover counter := counter - do_deq + Mux(do_enq, enqNum, 0.U) 610fa9f9690SLemover assert(counter <= Size.U, "counter should be no more than Size") 611fa9f9690SLemover assert(inflight_counter <= Size.U, "inflight should be no more than Size") 6126d5ddbceSLemover when (counter === 0.U) { 613935edac4STang Haojin assert(!io.ptw.req(0).fire, "when counter is 0, should not req") 6146d5ddbceSLemover assert(isEmptyDeq && isEmptyIss, "when counter is 0, should be empty") 6156d5ddbceSLemover } 6166d5ddbceSLemover when (counter === Size.U) { 6176d5ddbceSLemover assert(mayFullDeq, "when counter is Size, should be full") 6186d5ddbceSLemover } 6196d5ddbceSLemover 62045f497a4Shappy-lx when (flush) { 6216d5ddbceSLemover v.map(_ := false.B) 6226d5ddbceSLemover deqPtr := 0.U 6236d5ddbceSLemover enqPtr := 0.U 6246d5ddbceSLemover issPtr := 0.U 6256d5ddbceSLemover ptwResp_valid := false.B 6266d5ddbceSLemover mayFullDeq := false.B 6276d5ddbceSLemover mayFullIss := false.B 6286d5ddbceSLemover counter := 0.U 629fa9f9690SLemover inflight_counter := 0.U 6306d5ddbceSLemover } 6316d5ddbceSLemover 63260ebee38STang Haojin val robHeadVaddr = io.debugTopDown.robHeadVaddr 633d2b20d1aSTang Haojin io.rob_head_miss_in_tlb := VecInit(v.zip(vpn).map{case (vi, vpni) => { 63460ebee38STang Haojin vi && robHeadVaddr.valid && vpni === get_pn(robHeadVaddr.bits) 635d2b20d1aSTang Haojin }}).asUInt.orR 636d2b20d1aSTang Haojin 6376d5ddbceSLemover // perf 6386d5ddbceSLemover XSPerfAccumulate("tlb_req_count", PopCount(Cat(io.tlb.req.map(_.valid)))) 6396d5ddbceSLemover XSPerfAccumulate("tlb_req_count_filtered", Mux(do_enq, accumEnqNum(Width - 1), 0.U)) 640935edac4STang Haojin XSPerfAccumulate("ptw_req_count", io.ptw.req(0).fire) 6416d5ddbceSLemover XSPerfAccumulate("ptw_req_cycle", inflight_counter) 642935edac4STang Haojin XSPerfAccumulate("tlb_resp_count", io.tlb.resp.fire) 643935edac4STang Haojin XSPerfAccumulate("ptw_resp_count", io.ptw.resp.fire) 6446d5ddbceSLemover XSPerfAccumulate("inflight_cycle", !isEmptyDeq) 6456d5ddbceSLemover for (i <- 0 until Size + 1) { 6466d5ddbceSLemover XSPerfAccumulate(s"counter${i}", counter === i.U) 6476d5ddbceSLemover } 6489bd9cdfaSLemover 6499bd9cdfaSLemover for (i <- 0 until Size) { 6509bd9cdfaSLemover TimeOutAssert(v(i), timeOutThreshold, s"Filter ${i} doesn't recv resp in time") 6519bd9cdfaSLemover } 6526d5ddbceSLemover} 65338ba1efdSLemover 65438ba1efdSLemoverobject PTWRepeater { 655f1fe8698SLemover def apply(fenceDelay: Int, 65638ba1efdSLemover tlb: TlbPtwIO, 65738ba1efdSLemover sfence: SfenceBundle, 65838ba1efdSLemover csr: TlbCsrBundle 65938ba1efdSLemover )(implicit p: Parameters) = { 66038ba1efdSLemover val width = tlb.req.size 661f1fe8698SLemover val repeater = Module(new PTWRepeater(width, fenceDelay)) 66235d6335eSZhangZifei repeater.io.apply(tlb, sfence, csr) 66338ba1efdSLemover repeater 66438ba1efdSLemover } 66538ba1efdSLemover 666f1fe8698SLemover def apply(fenceDelay: Int, 66738ba1efdSLemover tlb: TlbPtwIO, 66838ba1efdSLemover ptw: TlbPtwIO, 66938ba1efdSLemover sfence: SfenceBundle, 67038ba1efdSLemover csr: TlbCsrBundle 67138ba1efdSLemover )(implicit p: Parameters) = { 67238ba1efdSLemover val width = tlb.req.size 673f1fe8698SLemover val repeater = Module(new PTWRepeater(width, fenceDelay)) 67435d6335eSZhangZifei repeater.io.apply(tlb, ptw, sfence, csr) 67535d6335eSZhangZifei repeater 67635d6335eSZhangZifei } 67735d6335eSZhangZifei} 67838ba1efdSLemover 67935d6335eSZhangZifeiobject PTWRepeaterNB { 680f1fe8698SLemover def apply(passReady: Boolean, fenceDelay: Int, 68135d6335eSZhangZifei tlb: TlbPtwIO, 68235d6335eSZhangZifei sfence: SfenceBundle, 68335d6335eSZhangZifei csr: TlbCsrBundle 68435d6335eSZhangZifei )(implicit p: Parameters) = { 68535d6335eSZhangZifei val width = tlb.req.size 686f1fe8698SLemover val repeater = Module(new PTWRepeaterNB(width, passReady,fenceDelay)) 68735d6335eSZhangZifei repeater.io.apply(tlb, sfence, csr) 68835d6335eSZhangZifei repeater 68935d6335eSZhangZifei } 69035d6335eSZhangZifei 691f1fe8698SLemover def apply(passReady: Boolean, fenceDelay: Int, 69235d6335eSZhangZifei tlb: TlbPtwIO, 69335d6335eSZhangZifei ptw: TlbPtwIO, 69435d6335eSZhangZifei sfence: SfenceBundle, 69535d6335eSZhangZifei csr: TlbCsrBundle 69635d6335eSZhangZifei )(implicit p: Parameters) = { 69735d6335eSZhangZifei val width = tlb.req.size 698f1fe8698SLemover val repeater = Module(new PTWRepeaterNB(width, passReady, fenceDelay)) 69935d6335eSZhangZifei repeater.io.apply(tlb, ptw, sfence, csr) 70038ba1efdSLemover repeater 70138ba1efdSLemover } 70238ba1efdSLemover} 70338ba1efdSLemover 70438ba1efdSLemoverobject PTWFilter { 705f1fe8698SLemover def apply(fenceDelay: Int, 706f1fe8698SLemover tlb: VectorTlbPtwIO, 70738ba1efdSLemover ptw: TlbPtwIO, 70838ba1efdSLemover sfence: SfenceBundle, 70938ba1efdSLemover csr: TlbCsrBundle, 71038ba1efdSLemover size: Int 71138ba1efdSLemover )(implicit p: Parameters) = { 71238ba1efdSLemover val width = tlb.req.size 713f1fe8698SLemover val filter = Module(new PTWFilter(width, size, fenceDelay)) 71435d6335eSZhangZifei filter.io.apply(tlb, ptw, sfence, csr) 71538ba1efdSLemover filter 71638ba1efdSLemover } 71735d6335eSZhangZifei 718f1fe8698SLemover def apply(fenceDelay: Int, 719f1fe8698SLemover tlb: VectorTlbPtwIO, 72035d6335eSZhangZifei sfence: SfenceBundle, 72135d6335eSZhangZifei csr: TlbCsrBundle, 72235d6335eSZhangZifei size: Int 72335d6335eSZhangZifei )(implicit p: Parameters) = { 72435d6335eSZhangZifei val width = tlb.req.size 725f1fe8698SLemover val filter = Module(new PTWFilter(width, size, fenceDelay)) 72635d6335eSZhangZifei filter.io.apply(tlb, sfence, csr) 72735d6335eSZhangZifei filter 72835d6335eSZhangZifei } 729185e6164SHaoyuan Feng} 73035d6335eSZhangZifei 731185e6164SHaoyuan Fengobject PTWNewFilter { 732185e6164SHaoyuan Feng def apply(fenceDelay: Int, 733185e6164SHaoyuan Feng tlb: VectorTlbPtwIO, 734185e6164SHaoyuan Feng ptw: TlbPtwIO, 735185e6164SHaoyuan Feng sfence: SfenceBundle, 736185e6164SHaoyuan Feng csr: TlbCsrBundle, 737185e6164SHaoyuan Feng size: Int 738185e6164SHaoyuan Feng )(implicit p: Parameters) = { 739185e6164SHaoyuan Feng val width = tlb.req.size 740185e6164SHaoyuan Feng val filter = Module(new PTWNewFilter(width, size, fenceDelay)) 741185e6164SHaoyuan Feng filter.io.apply(tlb, ptw, sfence, csr) 742185e6164SHaoyuan Feng filter 743185e6164SHaoyuan Feng } 744185e6164SHaoyuan Feng 745185e6164SHaoyuan Feng def apply(fenceDelay: Int, 746185e6164SHaoyuan Feng tlb: VectorTlbPtwIO, 747185e6164SHaoyuan Feng sfence: SfenceBundle, 748185e6164SHaoyuan Feng csr: TlbCsrBundle, 749185e6164SHaoyuan Feng size: Int 750185e6164SHaoyuan Feng )(implicit p: Parameters) = { 751185e6164SHaoyuan Feng val width = tlb.req.size 752185e6164SHaoyuan Feng val filter = Module(new PTWNewFilter(width, size, fenceDelay)) 753185e6164SHaoyuan Feng filter.io.apply(tlb, sfence, csr) 754185e6164SHaoyuan Feng filter 755185e6164SHaoyuan Feng } 75638ba1efdSLemover} 757