xref: /XiangShan/src/main/scala/xiangshan/cache/mmu/Repeater.scala (revision 60ebee385ce85a25a994f6da0c84ecce9bb91bca)
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
196d5ddbceSLemoverimport chipsalliance.rocketchip.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  }
58f1fe8698SLemover  val (tlb, ptw, flush) = (io.tlb, io.ptw, DelayN(io.sfence.valid || io.csr.satp.changed, FenceDelay))
596d5ddbceSLemover  val req = RegEnable(req_in.bits, req_in.fire())
606d5ddbceSLemover  val resp = RegEnable(ptw.resp.bits, ptw.resp.fire())
6145f497a4Shappy-lx  val haveOne = BoolStopWatch(req_in.fire(), tlb.resp.fire() || flush)
6245f497a4Shappy-lx  val sent = BoolStopWatch(ptw.req(0).fire(), req_in.fire() || flush)
63a8bd30cdSLemover  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
736d5ddbceSLemover  XSPerfAccumulate("req_count", ptw.req(0).fire())
7445f497a4Shappy-lx  XSPerfAccumulate("tlb_req_cycle", BoolStopWatch(req_in.fire(), tlb.resp.fire() || flush))
7545f497a4Shappy-lx  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")
82a8bd30cdSLemover  XSError(io.ptw.resp.valid && (req.vpn =/= io.ptw.resp.bits.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  }
101f1fe8698SLemover  val (tlb, ptw, flush) = (io.tlb, io.ptw, DelayN(io.sfence.valid || io.csr.satp.changed, FenceDelay))
10235d6335eSZhangZifei  /* sent: tlb -> repeater -> ptw
10335d6335eSZhangZifei   * recv: ptw -> repeater -> tlb
10435d6335eSZhangZifei   * different from PTWRepeater
10535d6335eSZhangZifei   */
10635d6335eSZhangZifei
10735d6335eSZhangZifei  // tlb -> repeater -> ptw
10835d6335eSZhangZifei  val req = RegEnable(req_in.bits, req_in.fire())
10935d6335eSZhangZifei  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
11535d6335eSZhangZifei  val resp = RegEnable(ptw.resp.bits, ptw.resp.fire())
11635d6335eSZhangZifei  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
12135d6335eSZhangZifei  XSPerfAccumulate("req", req_in.fire())
12235d6335eSZhangZifei  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
13345f497a4Shappy-lxclass PTWFilterIO(Width: Int)(implicit p: Parameters) extends MMUIOBaseBundle {
134f1fe8698SLemover  val tlb = Flipped(new VectorTlbPtwIO(Width))
135a0301c0dSLemover  val ptw = new TlbPtwIO()
136d2b20d1aSTang Haojin  val rob_head_miss_in_tlb = Output(Bool())
137*60ebee38STang Haojin  val debugTopDown = new Bundle {
138*60ebee38STang Haojin    val robHeadVaddr = Flipped(Valid(UInt(VAddrBits.W)))
139*60ebee38STang Haojin  }
1406d5ddbceSLemover
141f1fe8698SLemover  def apply(tlb: VectorTlbPtwIO, ptw: TlbPtwIO, sfence: SfenceBundle, csr: TlbCsrBundle): Unit = {
14235d6335eSZhangZifei    this.tlb <> tlb
14335d6335eSZhangZifei    this.ptw <> ptw
14435d6335eSZhangZifei    this.sfence <> sfence
14535d6335eSZhangZifei    this.csr <> csr
14635d6335eSZhangZifei  }
14735d6335eSZhangZifei
148f1fe8698SLemover  def apply(tlb: VectorTlbPtwIO, sfence: SfenceBundle, csr: TlbCsrBundle): Unit = {
14935d6335eSZhangZifei    this.tlb <> tlb
15035d6335eSZhangZifei    this.sfence <> sfence
15135d6335eSZhangZifei    this.csr <> csr
15235d6335eSZhangZifei  }
15335d6335eSZhangZifei
15445f497a4Shappy-lx}
15545f497a4Shappy-lx
156f1fe8698SLemoverclass PTWFilter(Width: Int, Size: Int, FenceDelay: Int)(implicit p: Parameters) extends XSModule with HasPtwConst {
1576d5ddbceSLemover  require(Size >= Width)
1586d5ddbceSLemover
15945f497a4Shappy-lx  val io = IO(new PTWFilterIO(Width))
16045f497a4Shappy-lx
1616d5ddbceSLemover  val v = RegInit(VecInit(Seq.fill(Size)(false.B)))
162a0301c0dSLemover  val ports = Reg(Vec(Size, Vec(Width, Bool()))) // record which port(s) the entry come from, may not able to cover all the ports
1636d5ddbceSLemover  val vpn = Reg(Vec(Size, UInt(vpnLen.W)))
1648744445eSMaxpicca-Li  val memidx = Reg(Vec(Size, new MemBlockidxBundle))
1656d5ddbceSLemover  val enqPtr = RegInit(0.U(log2Up(Size).W)) // Enq
1666d5ddbceSLemover  val issPtr = RegInit(0.U(log2Up(Size).W)) // Iss to Ptw
1676d5ddbceSLemover  val deqPtr = RegInit(0.U(log2Up(Size).W)) // Deq
1686d5ddbceSLemover  val mayFullDeq = RegInit(false.B)
1696d5ddbceSLemover  val mayFullIss = RegInit(false.B)
1706d5ddbceSLemover  val counter = RegInit(0.U(log2Up(Size+1).W))
1716d5ddbceSLemover
172f1fe8698SLemover  val flush = DelayN(io.sfence.valid || io.csr.satp.changed, FenceDelay)
173f1fe8698SLemover  val tlb_req = WireInit(io.tlb.req) // NOTE: tlb_req is not io.tlb.req, see below codes, just use cloneType
174cccfc98dSLemover  tlb_req.suggestName("tlb_req")
175cccfc98dSLemover
176fa9f9690SLemover  val inflight_counter = RegInit(0.U(log2Up(Size + 1).W))
177fa9f9690SLemover  val inflight_full = inflight_counter === Size.U
178fa9f9690SLemover  when (io.ptw.req(0).fire() =/= io.ptw.resp.fire()) {
179fa9f9690SLemover    inflight_counter := Mux(io.ptw.req(0).fire(), inflight_counter + 1.U, inflight_counter - 1.U)
180fa9f9690SLemover  }
181fa9f9690SLemover
18287f41827SLemover  val canEnqueue = Wire(Bool()) // NOTE: actually enqueue
1836d5ddbceSLemover  val ptwResp = RegEnable(io.ptw.resp.bits, io.ptw.resp.fire())
184cccfc98dSLemover  val ptwResp_OldMatchVec = vpn.zip(v).map{ case (pi, vi) =>
18563632028SHaoyuan Feng    vi && io.ptw.resp.bits.hit(pi, io.csr.satp.asid, true, true)}
186cccfc98dSLemover  val ptwResp_valid = RegNext(io.ptw.resp.fire() && Cat(ptwResp_OldMatchVec).orR, init = false.B)
18763632028SHaoyuan Feng  // May send repeated requests to L2 tlb with same vpn(26, 3) when sector tlb
188cccfc98dSLemover  val oldMatchVec_early = io.tlb.req.map(a => vpn.zip(v).map{ case (pi, vi) => vi && pi === a.bits.vpn})
18987f41827SLemover  val lastReqMatchVec_early = io.tlb.req.map(a => tlb_req.map{ b => b.valid && b.bits.vpn === a.bits.vpn && canEnqueue})
190cccfc98dSLemover  val newMatchVec_early = io.tlb.req.map(a => io.tlb.req.map(b => a.bits.vpn === b.bits.vpn))
191cccfc98dSLemover
192cccfc98dSLemover  (0 until Width) foreach { i =>
193cccfc98dSLemover    tlb_req(i).valid := RegNext(io.tlb.req(i).valid &&
19463632028SHaoyuan Feng      !(ptwResp_valid && ptwResp.hit(io.tlb.req(i).bits.vpn, 0.U, true, true)) &&
195cccfc98dSLemover      !Cat(lastReqMatchVec_early(i)).orR,
196cccfc98dSLemover      init = false.B)
197cccfc98dSLemover    tlb_req(i).bits := RegEnable(io.tlb.req(i).bits, io.tlb.req(i).valid)
198cccfc98dSLemover  }
199cccfc98dSLemover
200cccfc98dSLemover  val oldMatchVec = oldMatchVec_early.map(a => RegNext(Cat(a).orR))
201cccfc98dSLemover  val newMatchVec = (0 until Width).map(i => (0 until Width).map(j =>
202cccfc98dSLemover    RegNext(newMatchVec_early(i)(j)) && tlb_req(j).valid
203cccfc98dSLemover  ))
204cccfc98dSLemover  val ptwResp_newMatchVec = tlb_req.map(a =>
20563632028SHaoyuan Feng    ptwResp_valid && ptwResp.hit(a.bits.vpn, 0.U, allType = true, true))
206cccfc98dSLemover
207cccfc98dSLemover  val oldMatchVec2 = (0 until Width).map(i => oldMatchVec_early(i).map(RegNext(_)).map(_ & tlb_req(i).valid))
208cccfc98dSLemover  val update_ports = v.indices.map(i => oldMatchVec2.map(j => j(i)))
209a0301c0dSLemover  val ports_init = (0 until Width).map(i => (1 << i).U(Width.W))
210a0301c0dSLemover  val filter_ports = (0 until Width).map(i => ParallelMux(newMatchVec(i).zip(ports_init).drop(i)))
211cccfc98dSLemover  val resp_vector = RegEnable(ParallelMux(ptwResp_OldMatchVec zip ports), io.ptw.resp.fire())
2126d5ddbceSLemover
213a0301c0dSLemover  def canMerge(index: Int) : Bool = {
214cccfc98dSLemover    ptwResp_newMatchVec(index) || oldMatchVec(index) ||
215a0301c0dSLemover    Cat(newMatchVec(index).take(index)).orR
216a0301c0dSLemover  }
217a0301c0dSLemover
218a0301c0dSLemover  def filter_req() = {
219a0301c0dSLemover    val reqs =  tlb_req.indices.map{ i =>
2208744445eSMaxpicca-Li      val req = Wire(ValidIO(new PtwReqwithMemIdx()))
221a0301c0dSLemover      val merge = canMerge(i)
222a0301c0dSLemover      req.bits := tlb_req(i).bits
223a0301c0dSLemover      req.valid := !merge && tlb_req(i).valid
224a0301c0dSLemover      req
225a0301c0dSLemover    }
226a0301c0dSLemover    reqs
227a0301c0dSLemover  }
228a0301c0dSLemover
229a0301c0dSLemover  val reqs = filter_req()
230a0301c0dSLemover  val req_ports = filter_ports
2316d5ddbceSLemover  val isFull = enqPtr === deqPtr && mayFullDeq
2326d5ddbceSLemover  val isEmptyDeq = enqPtr === deqPtr && !mayFullDeq
2336d5ddbceSLemover  val isEmptyIss = enqPtr === issPtr && !mayFullIss
2346d5ddbceSLemover  val accumEnqNum = (0 until Width).map(i => PopCount(reqs.take(i).map(_.valid)))
235cccfc98dSLemover  val enqPtrVecInit = VecInit((0 until Width).map(i => enqPtr + i.U))
236cccfc98dSLemover  val enqPtrVec = VecInit((0 until Width).map(i => enqPtrVecInit(accumEnqNum(i))))
2376d5ddbceSLemover  val enqNum = PopCount(reqs.map(_.valid))
23887f41827SLemover  canEnqueue := counter +& enqNum <= Size.U
2396d5ddbceSLemover
240f1fe8698SLemover  // the req may recv false ready, but actually received. Filter and TLB will handle it.
241f1fe8698SLemover  val enqNum_fake = PopCount(io.tlb.req.map(_.valid))
242f1fe8698SLemover  val canEnqueue_fake = counter +& enqNum_fake <= Size.U
243f1fe8698SLemover  io.tlb.req.map(_.ready := canEnqueue_fake) // NOTE: just drop un-fire reqs
244f1fe8698SLemover
2450ab9ba15SLemover  // tlb req flushed by ptw resp: last ptw resp && current ptw resp
2460ab9ba15SLemover  // the flushed tlb req will fakely enq, with a false valid
24763632028SHaoyuan Feng  val tlb_req_flushed = reqs.map(a => io.ptw.resp.valid && io.ptw.resp.bits.hit(a.bits.vpn, 0.U, true, true))
2480ab9ba15SLemover
249cccfc98dSLemover  io.tlb.resp.valid := ptwResp_valid
2508744445eSMaxpicca-Li  io.tlb.resp.bits.data.entry := ptwResp.entry
25163632028SHaoyuan Feng  io.tlb.resp.bits.data.addr_low := ptwResp.addr_low
25263632028SHaoyuan Feng  io.tlb.resp.bits.data.ppn_low := ptwResp.ppn_low
25363632028SHaoyuan Feng  io.tlb.resp.bits.data.valididx := ptwResp.valididx
254b0fa7106SHaoyuan Feng  io.tlb.resp.bits.data.pteidx := ptwResp.pteidx
2558744445eSMaxpicca-Li  io.tlb.resp.bits.data.pf := ptwResp.pf
2568744445eSMaxpicca-Li  io.tlb.resp.bits.data.af := ptwResp.af
2578744445eSMaxpicca-Li  io.tlb.resp.bits.data.memidx := memidx(OHToUInt(ptwResp_OldMatchVec))
258a0301c0dSLemover  io.tlb.resp.bits.vector := resp_vector
2592c2c1588SLemover
260fa9f9690SLemover  val issue_valid = v(issPtr) && !isEmptyIss && !inflight_full
26163632028SHaoyuan Feng  val issue_filtered = ptwResp_valid && ptwResp.hit(io.ptw.req(0).bits.vpn, io.csr.satp.asid, allType=true, ignoreAsid=true)
2622c2c1588SLemover  val issue_fire_fake = issue_valid && (io.ptw.req(0).ready || (issue_filtered && false.B /*timing-opt*/))
2632c2c1588SLemover  io.ptw.req(0).valid := issue_valid && !issue_filtered
2646d5ddbceSLemover  io.ptw.req(0).bits.vpn := vpn(issPtr)
2656d5ddbceSLemover  io.ptw.resp.ready := true.B
2666d5ddbceSLemover
2676d5ddbceSLemover  reqs.zipWithIndex.map{
2686d5ddbceSLemover    case (req, i) =>
2696d5ddbceSLemover      when (req.valid && canEnqueue) {
2700ab9ba15SLemover        v(enqPtrVec(i)) := !tlb_req_flushed(i)
2716d5ddbceSLemover        vpn(enqPtrVec(i)) := req.bits.vpn
2728744445eSMaxpicca-Li        memidx(enqPtrVec(i)) := req.bits.memidx
273a0301c0dSLemover        ports(enqPtrVec(i)) := req_ports(i).asBools
274a0301c0dSLemover      }
275a0301c0dSLemover  }
276a0301c0dSLemover  for (i <- ports.indices) {
277a0301c0dSLemover    when (v(i)) {
278a0301c0dSLemover      ports(i) := ports(i).zip(update_ports(i)).map(a => a._1 || a._2)
2796d5ddbceSLemover    }
2806d5ddbceSLemover  }
2816d5ddbceSLemover
2826d5ddbceSLemover  val do_enq = canEnqueue && Cat(reqs.map(_.valid)).orR
2836d5ddbceSLemover  val do_deq = (!v(deqPtr) && !isEmptyDeq)
2842c2c1588SLemover  val do_iss = issue_fire_fake || (!v(issPtr) && !isEmptyIss)
2856d5ddbceSLemover  when (do_enq) {
2866d5ddbceSLemover    enqPtr := enqPtr + enqNum
2876d5ddbceSLemover  }
2886d5ddbceSLemover  when (do_deq) {
2896d5ddbceSLemover    deqPtr := deqPtr + 1.U
2906d5ddbceSLemover  }
2916d5ddbceSLemover  when (do_iss) {
2926d5ddbceSLemover    issPtr := issPtr + 1.U
2936d5ddbceSLemover  }
2942c2c1588SLemover  when (issue_fire_fake && issue_filtered) { // issued but is filtered
2952c2c1588SLemover    v(issPtr) := false.B
2962c2c1588SLemover  }
2976d5ddbceSLemover  when (do_enq =/= do_deq) {
2986d5ddbceSLemover    mayFullDeq := do_enq
2996d5ddbceSLemover  }
3006d5ddbceSLemover  when (do_enq =/= do_iss) {
3016d5ddbceSLemover    mayFullIss := do_enq
3026d5ddbceSLemover  }
3036d5ddbceSLemover
304cccfc98dSLemover  when (io.ptw.resp.fire()) {
305cccfc98dSLemover    v.zip(ptwResp_OldMatchVec).map{ case (vi, mi) => when (mi) { vi := false.B }}
3066d5ddbceSLemover  }
3076d5ddbceSLemover
3086d5ddbceSLemover  counter := counter - do_deq + Mux(do_enq, enqNum, 0.U)
309fa9f9690SLemover  assert(counter <= Size.U, "counter should be no more than Size")
310fa9f9690SLemover  assert(inflight_counter <= Size.U, "inflight should be no more than Size")
3116d5ddbceSLemover  when (counter === 0.U) {
3126d5ddbceSLemover    assert(!io.ptw.req(0).fire(), "when counter is 0, should not req")
3136d5ddbceSLemover    assert(isEmptyDeq && isEmptyIss, "when counter is 0, should be empty")
3146d5ddbceSLemover  }
3156d5ddbceSLemover  when (counter === Size.U) {
3166d5ddbceSLemover    assert(mayFullDeq, "when counter is Size, should be full")
3176d5ddbceSLemover  }
3186d5ddbceSLemover
31945f497a4Shappy-lx  when (flush) {
3206d5ddbceSLemover    v.map(_ := false.B)
3216d5ddbceSLemover    deqPtr := 0.U
3226d5ddbceSLemover    enqPtr := 0.U
3236d5ddbceSLemover    issPtr := 0.U
3246d5ddbceSLemover    ptwResp_valid := false.B
3256d5ddbceSLemover    mayFullDeq := false.B
3266d5ddbceSLemover    mayFullIss := false.B
3276d5ddbceSLemover    counter := 0.U
328fa9f9690SLemover    inflight_counter := 0.U
3296d5ddbceSLemover  }
3306d5ddbceSLemover
331*60ebee38STang Haojin  val robHeadVaddr = io.debugTopDown.robHeadVaddr
332d2b20d1aSTang Haojin  io.rob_head_miss_in_tlb := VecInit(v.zip(vpn).map{case (vi, vpni) => {
333*60ebee38STang Haojin    vi && robHeadVaddr.valid && vpni === get_pn(robHeadVaddr.bits)
334d2b20d1aSTang Haojin  }}).asUInt.orR
335d2b20d1aSTang Haojin
3366d5ddbceSLemover  // perf
3376d5ddbceSLemover  XSPerfAccumulate("tlb_req_count", PopCount(Cat(io.tlb.req.map(_.valid))))
3386d5ddbceSLemover  XSPerfAccumulate("tlb_req_count_filtered", Mux(do_enq, accumEnqNum(Width - 1), 0.U))
3396d5ddbceSLemover  XSPerfAccumulate("ptw_req_count", io.ptw.req(0).fire())
3406d5ddbceSLemover  XSPerfAccumulate("ptw_req_cycle", inflight_counter)
3416d5ddbceSLemover  XSPerfAccumulate("tlb_resp_count", io.tlb.resp.fire())
3426d5ddbceSLemover  XSPerfAccumulate("ptw_resp_count", io.ptw.resp.fire())
3436d5ddbceSLemover  XSPerfAccumulate("inflight_cycle", !isEmptyDeq)
3446d5ddbceSLemover  for (i <- 0 until Size + 1) {
3456d5ddbceSLemover    XSPerfAccumulate(s"counter${i}", counter === i.U)
3466d5ddbceSLemover  }
3479bd9cdfaSLemover
3489bd9cdfaSLemover  for (i <- 0 until Size) {
3499bd9cdfaSLemover    TimeOutAssert(v(i), timeOutThreshold, s"Filter ${i} doesn't recv resp in time")
3509bd9cdfaSLemover  }
3516d5ddbceSLemover}
35238ba1efdSLemover
35338ba1efdSLemoverobject PTWRepeater {
354f1fe8698SLemover  def apply(fenceDelay: Int,
35538ba1efdSLemover    tlb: TlbPtwIO,
35638ba1efdSLemover    sfence: SfenceBundle,
35738ba1efdSLemover    csr: TlbCsrBundle
35838ba1efdSLemover  )(implicit p: Parameters) = {
35938ba1efdSLemover    val width = tlb.req.size
360f1fe8698SLemover    val repeater = Module(new PTWRepeater(width, fenceDelay))
36135d6335eSZhangZifei    repeater.io.apply(tlb, sfence, csr)
36238ba1efdSLemover    repeater
36338ba1efdSLemover  }
36438ba1efdSLemover
365f1fe8698SLemover  def apply(fenceDelay: Int,
36638ba1efdSLemover    tlb: TlbPtwIO,
36738ba1efdSLemover    ptw: TlbPtwIO,
36838ba1efdSLemover    sfence: SfenceBundle,
36938ba1efdSLemover    csr: TlbCsrBundle
37038ba1efdSLemover  )(implicit p: Parameters) = {
37138ba1efdSLemover    val width = tlb.req.size
372f1fe8698SLemover    val repeater = Module(new PTWRepeater(width, fenceDelay))
37335d6335eSZhangZifei    repeater.io.apply(tlb, ptw, sfence, csr)
37435d6335eSZhangZifei    repeater
37535d6335eSZhangZifei  }
37635d6335eSZhangZifei}
37738ba1efdSLemover
37835d6335eSZhangZifeiobject PTWRepeaterNB {
379f1fe8698SLemover  def apply(passReady: Boolean, fenceDelay: Int,
38035d6335eSZhangZifei    tlb: TlbPtwIO,
38135d6335eSZhangZifei    sfence: SfenceBundle,
38235d6335eSZhangZifei    csr: TlbCsrBundle
38335d6335eSZhangZifei  )(implicit p: Parameters) = {
38435d6335eSZhangZifei    val width = tlb.req.size
385f1fe8698SLemover    val repeater = Module(new PTWRepeaterNB(width, passReady,fenceDelay))
38635d6335eSZhangZifei    repeater.io.apply(tlb, sfence, csr)
38735d6335eSZhangZifei    repeater
38835d6335eSZhangZifei  }
38935d6335eSZhangZifei
390f1fe8698SLemover  def apply(passReady: Boolean, fenceDelay: Int,
39135d6335eSZhangZifei    tlb: TlbPtwIO,
39235d6335eSZhangZifei    ptw: TlbPtwIO,
39335d6335eSZhangZifei    sfence: SfenceBundle,
39435d6335eSZhangZifei    csr: TlbCsrBundle
39535d6335eSZhangZifei  )(implicit p: Parameters) = {
39635d6335eSZhangZifei    val width = tlb.req.size
397f1fe8698SLemover    val repeater = Module(new PTWRepeaterNB(width, passReady, fenceDelay))
39835d6335eSZhangZifei    repeater.io.apply(tlb, ptw, sfence, csr)
39938ba1efdSLemover    repeater
40038ba1efdSLemover  }
40138ba1efdSLemover}
40238ba1efdSLemover
40338ba1efdSLemoverobject PTWFilter {
404f1fe8698SLemover  def apply(fenceDelay: Int,
405f1fe8698SLemover    tlb: VectorTlbPtwIO,
40638ba1efdSLemover    ptw: TlbPtwIO,
40738ba1efdSLemover    sfence: SfenceBundle,
40838ba1efdSLemover    csr: TlbCsrBundle,
40938ba1efdSLemover    size: Int
41038ba1efdSLemover  )(implicit p: Parameters) = {
41138ba1efdSLemover    val width = tlb.req.size
412f1fe8698SLemover    val filter = Module(new PTWFilter(width, size, fenceDelay))
41335d6335eSZhangZifei    filter.io.apply(tlb, ptw, sfence, csr)
41438ba1efdSLemover    filter
41538ba1efdSLemover  }
41635d6335eSZhangZifei
417f1fe8698SLemover  def apply(fenceDelay: Int,
418f1fe8698SLemover    tlb: VectorTlbPtwIO,
41935d6335eSZhangZifei    sfence: SfenceBundle,
42035d6335eSZhangZifei    csr: TlbCsrBundle,
42135d6335eSZhangZifei    size: Int
42235d6335eSZhangZifei  )(implicit p: Parameters) = {
42335d6335eSZhangZifei    val width = tlb.req.size
424f1fe8698SLemover    val filter = Module(new PTWFilter(width, size, fenceDelay))
42535d6335eSZhangZifei    filter.io.apply(tlb, sfence, csr)
42635d6335eSZhangZifei    filter
42735d6335eSZhangZifei  }
42835d6335eSZhangZifei
42938ba1efdSLemover}
430