xref: /XiangShan/src/main/scala/xiangshan/cache/mmu/PageTableWalker.scala (revision 63632028e4f04e10c83fd34b02289fc6fab3679c)
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._
22b848eea5SLemoverimport chisel3.internal.naming.chiselName
236d5ddbceSLemoverimport xiangshan._
246d5ddbceSLemoverimport xiangshan.cache.{HasDCacheParameters, MemoryOpConstants}
256d5ddbceSLemoverimport utils._
263c02ee8fSwakafaimport utility._
276d5ddbceSLemoverimport freechips.rocketchip.diplomacy.{LazyModule, LazyModuleImp}
286d5ddbceSLemoverimport freechips.rocketchip.tilelink._
29b6982e83SLemoverimport xiangshan.backend.fu.{PMPReqBundle, PMPRespBundle}
306d5ddbceSLemover
3192e3bfefSLemover/** Page Table Walk is divided into two parts
3292e3bfefSLemover  * One,   PTW: page walk for pde, except for leaf entries, one by one
3392e3bfefSLemover  * Two, LLPTW: page walk for pte, only the leaf entries(4KB), in parallel
346d5ddbceSLemover  */
3592e3bfefSLemover
3692e3bfefSLemover
3792e3bfefSLemover/** PTW : page table walker
3892e3bfefSLemover  * a finite state machine
3992e3bfefSLemover  * only take 1GB and 2MB page walks
4092e3bfefSLemover  * or in other words, except the last level(leaf)
4192e3bfefSLemover  **/
4292e3bfefSLemoverclass PTWIO()(implicit p: Parameters) extends MMUIOBaseBundle with HasPtwConst {
436d5ddbceSLemover  val req = Flipped(DecoupledIO(new Bundle {
4445f497a4Shappy-lx    val req_info = new L2TlbInnerBundle()
456d5ddbceSLemover    val l1Hit = Bool()
466d5ddbceSLemover    val ppn = UInt(ppnLen.W)
476d5ddbceSLemover  }))
486d5ddbceSLemover  val resp = DecoupledIO(new Bundle {
49bc063562SLemover    val source = UInt(bSourceWidth.W)
50*63632028SHaoyuan Feng    val resp = new PtwMergeResp
516d5ddbceSLemover  })
526d5ddbceSLemover
5392e3bfefSLemover  val llptw = DecoupledIO(new LLPTWInBundle())
549c503409SLemover  // NOTE: llptw change from "connect to llptw" to "connect to page cache"
559c503409SLemover  // to avoid corner case that caused duplicate entries
56cc5a5f22SLemover
576d5ddbceSLemover  val mem = new Bundle {
58b848eea5SLemover    val req = DecoupledIO(new L2TlbMemReqBundle())
595854c1edSLemover    val resp = Flipped(ValidIO(UInt(XLEN.W)))
60cc5a5f22SLemover    val mask = Input(Bool())
616d5ddbceSLemover  }
62b6982e83SLemover  val pmp = new Bundle {
63b6982e83SLemover    val req = ValidIO(new PMPReqBundle())
64b6982e83SLemover    val resp = Flipped(new PMPRespBundle())
65b6982e83SLemover  }
666d5ddbceSLemover
676d5ddbceSLemover  val refill = Output(new Bundle {
6845f497a4Shappy-lx    val req_info = new L2TlbInnerBundle()
696d5ddbceSLemover    val level = UInt(log2Up(Level).W)
706d5ddbceSLemover  })
716d5ddbceSLemover}
726d5ddbceSLemover
73b848eea5SLemover@chiselName
7492e3bfefSLemoverclass PTW()(implicit p: Parameters) extends XSModule with HasPtwConst with HasPerfEvents {
7592e3bfefSLemover  val io = IO(new PTWIO)
766d5ddbceSLemover  val sfence = io.sfence
776d5ddbceSLemover  val mem = io.mem
786d5ddbceSLemover  val satp = io.csr.satp
7945f497a4Shappy-lx  val flush = io.sfence.valid || io.csr.satp.changed
806d5ddbceSLemover
816d5ddbceSLemover  val level = RegInit(0.U(log2Up(Level).W))
82b6982e83SLemover  val af_level = RegInit(0.U(log2Up(Level).W)) // access fault return this level
836d5ddbceSLemover  val ppn = Reg(UInt(ppnLen.W))
846d5ddbceSLemover  val vpn = Reg(UInt(vpnLen.W))
856d5ddbceSLemover  val levelNext = level + 1.U
866d5ddbceSLemover  val l1Hit = Reg(Bool())
875854c1edSLemover  val memPte = mem.resp.bits.asTypeOf(new PteBundle().cloneType)
886d5ddbceSLemover
8944b79566SXiaokun-Pei  // s/w register
9044b79566SXiaokun-Pei  val s_pmp_check = RegInit(true.B)
9144b79566SXiaokun-Pei  val s_mem_req = RegInit(true.B)
9244b79566SXiaokun-Pei  val s_llptw_req = RegInit(true.B)
9344b79566SXiaokun-Pei  val w_mem_resp = RegInit(true.B)
9444b79566SXiaokun-Pei  // for updating "level"
9544b79566SXiaokun-Pei  val mem_addr_update = RegInit(false.B)
9644b79566SXiaokun-Pei
9744b79566SXiaokun-Pei  val idle = RegInit(true.B)
982a906a65SHaoyuan Feng  val finish = WireInit(false.B)
992a906a65SHaoyuan Feng  val sent_to_pmp = idle === false.B && (s_pmp_check === false.B || mem_addr_update) && !finish
10044b79566SXiaokun-Pei
101b6982e83SLemover  val pageFault = memPte.isPf(level)
10244b79566SXiaokun-Pei  val accessFault = RegEnable(io.pmp.resp.ld || io.pmp.resp.mmio, sent_to_pmp)
1036d5ddbceSLemover
1040d94d540SHaoyuan Feng  val ppn_af = memPte.isAf()
1050d94d540SHaoyuan Feng  val find_pte = memPte.isLeaf() || ppn_af || pageFault
10644b79566SXiaokun-Pei  val to_find_pte = level === 1.U && find_pte === false.B
10745f497a4Shappy-lx  val source = RegEnable(io.req.bits.req_info.source, io.req.fire())
1086d5ddbceSLemover
1096d5ddbceSLemover  val l1addr = MakeAddr(satp.ppn, getVpnn(vpn, 2))
110cc5a5f22SLemover  val l2addr = MakeAddr(Mux(l1Hit, ppn, memPte.ppn), getVpnn(vpn, 1))
111b6982e83SLemover  val mem_addr = Mux(af_level === 0.U, l1addr, l2addr)
11244b79566SXiaokun-Pei
11344b79566SXiaokun-Pei  io.req.ready := idle
11444b79566SXiaokun-Pei
11544b79566SXiaokun-Pei  io.resp.valid := idle === false.B && mem_addr_update && ((w_mem_resp && find_pte) || (s_pmp_check && accessFault))
11644b79566SXiaokun-Pei  io.resp.bits.source := source
117*63632028SHaoyuan Feng  io.resp.bits.resp.apply(pageFault && !accessFault && !ppn_af, accessFault || ppn_af, Mux(accessFault, af_level,level), memPte, vpn, satp.asid, vpn(sectortlbwidth - 1, 0), not_super = false)
11844b79566SXiaokun-Pei
11944b79566SXiaokun-Pei  io.llptw.valid := s_llptw_req === false.B && to_find_pte && !accessFault
12044b79566SXiaokun-Pei  io.llptw.bits.req_info.source := source
12144b79566SXiaokun-Pei  io.llptw.bits.req_info.vpn := vpn
12244b79566SXiaokun-Pei  io.llptw.bits.ppn := memPte.ppn
12344b79566SXiaokun-Pei
124b6982e83SLemover  io.pmp.req.valid := DontCare // samecycle, do not use valid
125b6982e83SLemover  io.pmp.req.bits.addr := mem_addr
126b6982e83SLemover  io.pmp.req.bits.size := 3.U // TODO: fix it
127b6982e83SLemover  io.pmp.req.bits.cmd := TlbCmd.read
128b6982e83SLemover
12944b79566SXiaokun-Pei  mem.req.valid := s_mem_req === false.B && !mem.mask && !accessFault && s_pmp_check
130b6982e83SLemover  mem.req.bits.addr := mem_addr
131bc063562SLemover  mem.req.bits.id := FsmReqID.U(bMemID.W)
1326d5ddbceSLemover
13345f497a4Shappy-lx  io.refill.req_info.vpn := vpn
1346d5ddbceSLemover  io.refill.level := level
13545f497a4Shappy-lx  io.refill.req_info.source := source
1366d5ddbceSLemover
13744b79566SXiaokun-Pei  when (io.req.fire()){
13844b79566SXiaokun-Pei    val req = io.req.bits
13944b79566SXiaokun-Pei    level := Mux(req.l1Hit, 1.U, 0.U)
14044b79566SXiaokun-Pei    af_level := Mux(req.l1Hit, 1.U, 0.U)
14144b79566SXiaokun-Pei    ppn := Mux(req.l1Hit, io.req.bits.ppn, satp.ppn)
14244b79566SXiaokun-Pei    vpn := io.req.bits.req_info.vpn
14344b79566SXiaokun-Pei    l1Hit := req.l1Hit
14444b79566SXiaokun-Pei    accessFault := false.B
14544b79566SXiaokun-Pei    s_pmp_check := false.B
14644b79566SXiaokun-Pei    idle := false.B
14744b79566SXiaokun-Pei  }
14844b79566SXiaokun-Pei
14944b79566SXiaokun-Pei  when(sent_to_pmp && mem_addr_update === false.B){
15044b79566SXiaokun-Pei    s_mem_req := false.B
15144b79566SXiaokun-Pei    s_pmp_check := true.B
15244b79566SXiaokun-Pei  }
15344b79566SXiaokun-Pei
15444b79566SXiaokun-Pei  when(accessFault && idle === false.B){
15544b79566SXiaokun-Pei    s_pmp_check := true.B
15644b79566SXiaokun-Pei    s_mem_req := true.B
15744b79566SXiaokun-Pei    w_mem_resp := true.B
15844b79566SXiaokun-Pei    s_llptw_req := true.B
15944b79566SXiaokun-Pei    mem_addr_update := true.B
16044b79566SXiaokun-Pei  }
16144b79566SXiaokun-Pei
16244b79566SXiaokun-Pei  when (mem.req.fire()){
16344b79566SXiaokun-Pei    s_mem_req := true.B
16444b79566SXiaokun-Pei    w_mem_resp := false.B
16544b79566SXiaokun-Pei  }
16644b79566SXiaokun-Pei
16744b79566SXiaokun-Pei  when(mem.resp.fire() && w_mem_resp === false.B){
16844b79566SXiaokun-Pei    w_mem_resp := true.B
16944b79566SXiaokun-Pei    af_level := af_level + 1.U
17044b79566SXiaokun-Pei    s_llptw_req := false.B
17144b79566SXiaokun-Pei    mem_addr_update := true.B
17244b79566SXiaokun-Pei  }
17344b79566SXiaokun-Pei
17444b79566SXiaokun-Pei  when(mem_addr_update){
17544b79566SXiaokun-Pei    when(level === 0.U && !(find_pte || accessFault)){
17644b79566SXiaokun-Pei      level := levelNext
17744b79566SXiaokun-Pei      s_mem_req := false.B
17844b79566SXiaokun-Pei      s_llptw_req := true.B
17944b79566SXiaokun-Pei      mem_addr_update := false.B
1802a906a65SHaoyuan Feng    }.elsewhen(io.llptw.valid){
1812a906a65SHaoyuan Feng      when(io.llptw.fire()) {
18244b79566SXiaokun-Pei        idle := true.B
18344b79566SXiaokun-Pei        s_llptw_req := true.B
18444b79566SXiaokun-Pei        mem_addr_update := false.B
1852a906a65SHaoyuan Feng      }
1862a906a65SHaoyuan Feng      finish := true.B
1872a906a65SHaoyuan Feng    }.elsewhen(io.resp.valid){
1882a906a65SHaoyuan Feng      when(io.resp.fire()) {
18944b79566SXiaokun-Pei        idle := true.B
19044b79566SXiaokun-Pei        s_llptw_req := true.B
19144b79566SXiaokun-Pei        mem_addr_update := false.B
19244b79566SXiaokun-Pei        accessFault := false.B
19344b79566SXiaokun-Pei      }
1942a906a65SHaoyuan Feng      finish := true.B
1952a906a65SHaoyuan Feng    }
19644b79566SXiaokun-Pei  }
19744b79566SXiaokun-Pei
19844b79566SXiaokun-Pei
19944b79566SXiaokun-Pei  when (sfence.valid) {
20044b79566SXiaokun-Pei    idle := true.B
20144b79566SXiaokun-Pei    s_pmp_check := true.B
20244b79566SXiaokun-Pei    s_mem_req := true.B
20344b79566SXiaokun-Pei    s_llptw_req := true.B
20444b79566SXiaokun-Pei    w_mem_resp := true.B
20544b79566SXiaokun-Pei    accessFault := false.B
206d826bce1SHaoyuan Feng    mem_addr_update := false.B
20744b79566SXiaokun-Pei  }
20844b79566SXiaokun-Pei
20944b79566SXiaokun-Pei
21044b79566SXiaokun-Pei  XSDebug(p"[ptw] level:${level} notFound:${pageFault}\n")
2116d5ddbceSLemover
2126d5ddbceSLemover  // perf
2136d5ddbceSLemover  XSPerfAccumulate("fsm_count", io.req.fire())
2146d5ddbceSLemover  for (i <- 0 until PtwWidth) {
21545f497a4Shappy-lx    XSPerfAccumulate(s"fsm_count_source${i}", io.req.fire() && io.req.bits.req_info.source === i.U)
2166d5ddbceSLemover  }
21744b79566SXiaokun-Pei  XSPerfAccumulate("fsm_busy", !idle)
21844b79566SXiaokun-Pei  XSPerfAccumulate("fsm_idle", idle)
2196d5ddbceSLemover  XSPerfAccumulate("resp_blocked", io.resp.valid && !io.resp.ready)
220dd7fe201SHaoyuan Feng  XSPerfAccumulate("ptw_ppn_af", io.resp.fire && ppn_af)
2216d5ddbceSLemover  XSPerfAccumulate("mem_count", mem.req.fire())
2226d5ddbceSLemover  XSPerfAccumulate("mem_cycle", BoolStopWatch(mem.req.fire, mem.resp.fire(), true))
2236d5ddbceSLemover  XSPerfAccumulate("mem_blocked", mem.req.valid && !mem.req.ready)
224cc5a5f22SLemover
22544b79566SXiaokun-Pei  TimeOutAssert(!idle, timeOutThreshold, "page table walker time out")
226cd365d4cSrvcoresjw
227cd365d4cSrvcoresjw  val perfEvents = Seq(
228cd365d4cSrvcoresjw    ("fsm_count         ", io.req.fire()                                     ),
22944b79566SXiaokun-Pei    ("fsm_busy          ", !idle                                             ),
23044b79566SXiaokun-Pei    ("fsm_idle          ", idle                                              ),
231cd365d4cSrvcoresjw    ("resp_blocked      ", io.resp.valid && !io.resp.ready                   ),
232cd365d4cSrvcoresjw    ("mem_count         ", mem.req.fire()                                    ),
233cd365d4cSrvcoresjw    ("mem_cycle         ", BoolStopWatch(mem.req.fire, mem.resp.fire(), true)),
234cd365d4cSrvcoresjw    ("mem_blocked       ", mem.req.valid && !mem.req.ready                   ),
235cd365d4cSrvcoresjw  )
2361ca0e4f3SYinan Xu  generatePerfEvent()
2376d5ddbceSLemover}
23892e3bfefSLemover
23992e3bfefSLemover/*========================= LLPTW ==============================*/
24092e3bfefSLemover
24192e3bfefSLemover/** LLPTW : Last Level Page Table Walker
24292e3bfefSLemover  * the page walker that only takes 4KB(last level) page walk.
24392e3bfefSLemover  **/
24492e3bfefSLemover
24592e3bfefSLemoverclass LLPTWInBundle(implicit p: Parameters) extends XSBundle with HasPtwConst {
24692e3bfefSLemover  val req_info = Output(new L2TlbInnerBundle())
24792e3bfefSLemover  val ppn = Output(UInt(PAddrBits.W))
24892e3bfefSLemover}
24992e3bfefSLemover
25092e3bfefSLemoverclass LLPTWIO(implicit p: Parameters) extends MMUIOBaseBundle with HasPtwConst {
25192e3bfefSLemover  val in = Flipped(DecoupledIO(new LLPTWInBundle()))
25292e3bfefSLemover  val out = DecoupledIO(new Bundle {
25392e3bfefSLemover    val req_info = Output(new L2TlbInnerBundle())
25492e3bfefSLemover    val id = Output(UInt(bMemID.W))
25592e3bfefSLemover    val af = Output(Bool())
25692e3bfefSLemover  })
25792e3bfefSLemover  val mem = new Bundle {
25892e3bfefSLemover    val req = DecoupledIO(new L2TlbMemReqBundle())
25992e3bfefSLemover    val resp = Flipped(Valid(new Bundle {
26092e3bfefSLemover      val id = Output(UInt(log2Up(l2tlbParams.llptwsize).W))
26192e3bfefSLemover    }))
26292e3bfefSLemover    val enq_ptr = Output(UInt(log2Ceil(l2tlbParams.llptwsize).W))
26392e3bfefSLemover    val buffer_it = Output(Vec(l2tlbParams.llptwsize, Bool()))
26492e3bfefSLemover    val refill = Output(new L2TlbInnerBundle())
26592e3bfefSLemover    val req_mask = Input(Vec(l2tlbParams.llptwsize, Bool()))
26692e3bfefSLemover  }
2677797f035SbugGenerator  val cache = DecoupledIO(new L2TlbInnerBundle())
26892e3bfefSLemover  val pmp = new Bundle {
26992e3bfefSLemover    val req = Valid(new PMPReqBundle())
27092e3bfefSLemover    val resp = Flipped(new PMPRespBundle())
27192e3bfefSLemover  }
27292e3bfefSLemover}
27392e3bfefSLemover
27492e3bfefSLemoverclass LLPTWEntry(implicit p: Parameters) extends XSBundle with HasPtwConst {
27592e3bfefSLemover  val req_info = new L2TlbInnerBundle()
27692e3bfefSLemover  val ppn = UInt(ppnLen.W)
27792e3bfefSLemover  val wait_id = UInt(log2Up(l2tlbParams.llptwsize).W)
27892e3bfefSLemover  val af = Bool()
27992e3bfefSLemover}
28092e3bfefSLemover
28192e3bfefSLemover
28292e3bfefSLemover@chiselName
28392e3bfefSLemoverclass LLPTW(implicit p: Parameters) extends XSModule with HasPtwConst with HasPerfEvents {
28492e3bfefSLemover  val io = IO(new LLPTWIO())
28592e3bfefSLemover
2867797f035SbugGenerator  val flush = io.sfence.valid || io.csr.satp.changed
28792e3bfefSLemover  val entries = Reg(Vec(l2tlbParams.llptwsize, new LLPTWEntry()))
2887797f035SbugGenerator  val state_idle :: state_addr_check :: state_mem_req :: state_mem_waiting :: state_mem_out :: state_cache :: Nil = Enum(6)
28992e3bfefSLemover  val state = RegInit(VecInit(Seq.fill(l2tlbParams.llptwsize)(state_idle)))
2907797f035SbugGenerator
29192e3bfefSLemover  val is_emptys = state.map(_ === state_idle)
29292e3bfefSLemover  val is_mems = state.map(_ === state_mem_req)
29392e3bfefSLemover  val is_waiting = state.map(_ === state_mem_waiting)
29492e3bfefSLemover  val is_having = state.map(_ === state_mem_out)
2957797f035SbugGenerator  val is_cache = state.map(_ === state_cache)
29692e3bfefSLemover
29792e3bfefSLemover  val full = !ParallelOR(is_emptys).asBool()
29892e3bfefSLemover  val enq_ptr = ParallelPriorityEncoder(is_emptys)
29992e3bfefSLemover
3007797f035SbugGenerator  val mem_ptr = ParallelPriorityEncoder(is_having) // TODO: optimize timing, bad: entries -> ptr -> entry
30192e3bfefSLemover  val mem_arb = Module(new RRArbiter(new LLPTWEntry(), l2tlbParams.llptwsize))
30292e3bfefSLemover  for (i <- 0 until l2tlbParams.llptwsize) {
30392e3bfefSLemover    mem_arb.io.in(i).bits := entries(i)
30492e3bfefSLemover    mem_arb.io.in(i).valid := is_mems(i) && !io.mem.req_mask(i)
30592e3bfefSLemover  }
30692e3bfefSLemover
307f3034303SHaoyuan Feng  val cache_ptr = ParallelMux(is_cache, (0 until l2tlbParams.llptwsize).map(_.U(log2Up(l2tlbParams.llptwsize).W)))
3087797f035SbugGenerator
30992e3bfefSLemover  // duplicate req
31092e3bfefSLemover  // to_wait: wait for the last to access mem, set to mem_resp
31192e3bfefSLemover  // to_cache: the last is back just right now, set to mem_cache
31292e3bfefSLemover  val dup_vec = state.indices.map(i =>
31392e3bfefSLemover    dup(io.in.bits.req_info.vpn, entries(i).req_info.vpn)
31492e3bfefSLemover  )
31592e3bfefSLemover  val dup_req_fire = mem_arb.io.out.fire() && dup(io.in.bits.req_info.vpn, mem_arb.io.out.bits.req_info.vpn) // dup with the req fire entry
31692e3bfefSLemover  val dup_vec_wait = dup_vec.zip(is_waiting).map{case (d, w) => d && w} // dup with "mem_waiting" entres, sending mem req already
31792e3bfefSLemover  val dup_vec_having = dup_vec.zipWithIndex.map{case (d, i) => d && is_having(i)} // dup with the "mem_out" entry recv the data just now
31892e3bfefSLemover  val wait_id = Mux(dup_req_fire, mem_arb.io.chosen, ParallelMux(dup_vec_wait zip entries.map(_.wait_id)))
31992e3bfefSLemover  val dup_wait_resp = io.mem.resp.fire() && VecInit(dup_vec_wait)(io.mem.resp.bits.id) // dup with the entry that data coming next cycle
32092e3bfefSLemover  val to_wait = Cat(dup_vec_wait).orR || dup_req_fire
32192e3bfefSLemover  val to_mem_out = dup_wait_resp
3227797f035SbugGenerator  val to_cache = Cat(dup_vec_having).orR
3237797f035SbugGenerator  XSError(RegNext(dup_req_fire && Cat(dup_vec_wait).orR, init = false.B), "mem req but some entries already waiting, should not happed")
32492e3bfefSLemover
3257797f035SbugGenerator  XSError(io.in.fire() && ((to_mem_out && to_cache) || (to_wait && to_cache)), "llptw enq, to cache conflict with to mem")
32692e3bfefSLemover  val mem_resp_hit = RegInit(VecInit(Seq.fill(l2tlbParams.llptwsize)(false.B)))
3277797f035SbugGenerator  val enq_state_normal = Mux(to_mem_out, state_mem_out, // same to the blew, but the mem resp now
3287797f035SbugGenerator    Mux(to_wait, state_mem_waiting,
3297797f035SbugGenerator    Mux(to_cache, state_cache, state_addr_check)))
3307797f035SbugGenerator  val enq_state = Mux(from_pre(io.in.bits.req_info.source) && enq_state_normal =/= state_addr_check, state_idle, enq_state_normal)
33192e3bfefSLemover  when (io.in.fire()) {
33292e3bfefSLemover    // if prefetch req does not need mem access, just give it up.
33392e3bfefSLemover    // so there will be at most 1 + FilterSize entries that needs re-access page cache
33492e3bfefSLemover    // so 2 + FilterSize is enough to avoid dead-lock
3357797f035SbugGenerator    state(enq_ptr) := enq_state
33692e3bfefSLemover    entries(enq_ptr).req_info := io.in.bits.req_info
33792e3bfefSLemover    entries(enq_ptr).ppn := io.in.bits.ppn
33892e3bfefSLemover    entries(enq_ptr).wait_id := Mux(to_wait, wait_id, enq_ptr)
33992e3bfefSLemover    entries(enq_ptr).af := false.B
34092e3bfefSLemover    mem_resp_hit(enq_ptr) := to_mem_out
34192e3bfefSLemover  }
3427797f035SbugGenerator
3437797f035SbugGenerator  val enq_ptr_reg = RegNext(enq_ptr)
3447797f035SbugGenerator  val need_addr_check = RegNext(enq_state === state_addr_check && io.in.fire() && !flush)
3457797f035SbugGenerator  val last_enq_vpn = RegEnable(io.in.bits.req_info.vpn, io.in.fire())
3467797f035SbugGenerator
3477797f035SbugGenerator  io.pmp.req.valid := need_addr_check
3487797f035SbugGenerator  io.pmp.req.bits.addr := RegEnable(MakeAddr(io.in.bits.ppn, getVpnn(io.in.bits.req_info.vpn, 0)), io.in.fire())
3497797f035SbugGenerator  io.pmp.req.bits.cmd := TlbCmd.read
3507797f035SbugGenerator  io.pmp.req.bits.size := 3.U // TODO: fix it
3517797f035SbugGenerator  val pmp_resp_valid = io.pmp.req.valid // same cycle
3527797f035SbugGenerator  when (pmp_resp_valid) {
3537797f035SbugGenerator    // NOTE: when pmp resp but state is not addr check, then the entry is dup with other entry, the state was changed before
3547797f035SbugGenerator    //       when dup with the req-ing entry, set to mem_waiting (above codes), and the ld must be false, so dontcare
3557797f035SbugGenerator    val accessFault = io.pmp.resp.ld || io.pmp.resp.mmio
3567797f035SbugGenerator    entries(enq_ptr_reg).af := accessFault
3577797f035SbugGenerator    state(enq_ptr_reg) := Mux(accessFault, state_mem_out, state_mem_req)
3587797f035SbugGenerator  }
3597797f035SbugGenerator
36092e3bfefSLemover  when (mem_arb.io.out.fire()) {
36192e3bfefSLemover    for (i <- state.indices) {
36292e3bfefSLemover      when (state(i) =/= state_idle && dup(entries(i).req_info.vpn, mem_arb.io.out.bits.req_info.vpn)) {
36392e3bfefSLemover        // NOTE: "dup enq set state to mem_wait" -> "sending req set other dup entries to mem_wait"
36492e3bfefSLemover        state(i) := state_mem_waiting
36592e3bfefSLemover        entries(i).wait_id := mem_arb.io.chosen
36692e3bfefSLemover      }
36792e3bfefSLemover    }
36892e3bfefSLemover  }
36992e3bfefSLemover  when (io.mem.resp.fire()) {
37092e3bfefSLemover    state.indices.map{i =>
37192e3bfefSLemover      when (state(i) === state_mem_waiting && io.mem.resp.bits.id === entries(i).wait_id) {
37292e3bfefSLemover        state(i) := state_mem_out
37392e3bfefSLemover        mem_resp_hit(i) := true.B
37492e3bfefSLemover      }
37592e3bfefSLemover    }
37692e3bfefSLemover  }
37792e3bfefSLemover  when (io.out.fire()) {
37892e3bfefSLemover    assert(state(mem_ptr) === state_mem_out)
37992e3bfefSLemover    state(mem_ptr) := state_idle
38092e3bfefSLemover  }
38192e3bfefSLemover  mem_resp_hit.map(a => when (a) { a := false.B } )
38292e3bfefSLemover
3837797f035SbugGenerator  when (io.cache.fire) {
3847797f035SbugGenerator    state(cache_ptr) := state_idle
38592e3bfefSLemover  }
3867797f035SbugGenerator  XSError(io.out.fire && io.cache.fire && (mem_ptr === cache_ptr), "mem resp and cache fire at the same time at same entry")
38792e3bfefSLemover
38892e3bfefSLemover  when (flush) {
38992e3bfefSLemover    state.map(_ := state_idle)
39092e3bfefSLemover  }
39192e3bfefSLemover
39292e3bfefSLemover  io.in.ready := !full
39392e3bfefSLemover
39492e3bfefSLemover  io.out.valid := ParallelOR(is_having).asBool()
39592e3bfefSLemover  io.out.bits.req_info := entries(mem_ptr).req_info
39692e3bfefSLemover  io.out.bits.id := mem_ptr
39792e3bfefSLemover  io.out.bits.af := entries(mem_ptr).af
39892e3bfefSLemover
39992e3bfefSLemover  io.mem.req.valid := mem_arb.io.out.valid && !flush
40092e3bfefSLemover  io.mem.req.bits.addr := MakeAddr(mem_arb.io.out.bits.ppn, getVpnn(mem_arb.io.out.bits.req_info.vpn, 0))
40192e3bfefSLemover  io.mem.req.bits.id := mem_arb.io.chosen
40292e3bfefSLemover  mem_arb.io.out.ready := io.mem.req.ready
40392e3bfefSLemover  io.mem.refill := entries(RegNext(io.mem.resp.bits.id(log2Up(l2tlbParams.llptwsize)-1, 0))).req_info
40492e3bfefSLemover  io.mem.buffer_it := mem_resp_hit
40592e3bfefSLemover  io.mem.enq_ptr := enq_ptr
40692e3bfefSLemover
4077797f035SbugGenerator  io.cache.valid := Cat(is_cache).orR
4087797f035SbugGenerator  io.cache.bits := ParallelMux(is_cache, entries.map(_.req_info))
4097797f035SbugGenerator
41092e3bfefSLemover  XSPerfAccumulate("llptw_in_count", io.in.fire())
41192e3bfefSLemover  XSPerfAccumulate("llptw_in_block", io.in.valid && !io.in.ready)
41292e3bfefSLemover  for (i <- 0 until 7) {
41392e3bfefSLemover    XSPerfAccumulate(s"enq_state${i}", io.in.fire() && enq_state === i.U)
41492e3bfefSLemover  }
41592e3bfefSLemover  for (i <- 0 until (l2tlbParams.llptwsize + 1)) {
41692e3bfefSLemover    XSPerfAccumulate(s"util${i}", PopCount(is_emptys.map(!_)) === i.U)
41792e3bfefSLemover    XSPerfAccumulate(s"mem_util${i}", PopCount(is_mems) === i.U)
41892e3bfefSLemover    XSPerfAccumulate(s"waiting_util${i}", PopCount(is_waiting) === i.U)
41992e3bfefSLemover  }
42092e3bfefSLemover  XSPerfAccumulate("mem_count", io.mem.req.fire())
42192e3bfefSLemover  XSPerfAccumulate("mem_cycle", PopCount(is_waiting) =/= 0.U)
42292e3bfefSLemover  XSPerfAccumulate("blocked_in", io.in.valid && !io.in.ready)
42392e3bfefSLemover
42492e3bfefSLemover  for (i <- 0 until l2tlbParams.llptwsize) {
42592e3bfefSLemover    TimeOutAssert(state(i) =/= state_idle, timeOutThreshold, s"missqueue time out no out ${i}")
42692e3bfefSLemover  }
42792e3bfefSLemover
42892e3bfefSLemover  val perfEvents = Seq(
42992e3bfefSLemover    ("tlbllptw_incount           ", io.in.fire()               ),
43092e3bfefSLemover    ("tlbllptw_inblock           ", io.in.valid && !io.in.ready),
43192e3bfefSLemover    ("tlbllptw_memcount          ", io.mem.req.fire()          ),
43292e3bfefSLemover    ("tlbllptw_memcycle          ", PopCount(is_waiting)       ),
43392e3bfefSLemover  )
43492e3bfefSLemover  generatePerfEvent()
43592e3bfefSLemover}
436