xref: /XiangShan/src/main/scala/xiangshan/frontend/icache/ICacheMainPipe.scala (revision f9c51548eadf004cb854b28a254a32dbaf5fc508)
11d8f4dcbSJay/***************************************************************************************
21d8f4dcbSJay* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences
31d8f4dcbSJay* Copyright (c) 2020-2021 Peng Cheng Laboratory
41d8f4dcbSJay*
51d8f4dcbSJay* XiangShan is licensed under Mulan PSL v2.
61d8f4dcbSJay* You can use this software according to the terms and conditions of the Mulan PSL v2.
71d8f4dcbSJay* You may obtain a copy of Mulan PSL v2 at:
81d8f4dcbSJay*          http://license.coscl.org.cn/MulanPSL2
91d8f4dcbSJay*
101d8f4dcbSJay* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
111d8f4dcbSJay* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
121d8f4dcbSJay* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
131d8f4dcbSJay*
141d8f4dcbSJay* See the Mulan PSL v2 for more details.
151d8f4dcbSJay***************************************************************************************/
161d8f4dcbSJay
171d8f4dcbSJaypackage xiangshan.frontend.icache
181d8f4dcbSJay
198891a219SYinan Xuimport org.chipsalliance.cde.config.Parameters
201d8f4dcbSJayimport chisel3._
211d8f4dcbSJayimport chisel3.util._
227d45a146SYinan Xuimport difftest._
231d8f4dcbSJayimport freechips.rocketchip.tilelink.ClientStates
241d8f4dcbSJayimport xiangshan._
251d8f4dcbSJayimport xiangshan.cache.mmu._
261d8f4dcbSJayimport utils._
273c02ee8fSwakafaimport utility._
281d8f4dcbSJayimport xiangshan.backend.fu.{PMPReqBundle, PMPRespBundle}
29f22cf846SJeniusimport xiangshan.frontend.{FtqICacheInfo, FtqToICacheRequestBundle}
301d8f4dcbSJay
311d8f4dcbSJayclass ICacheMainPipeReq(implicit p: Parameters) extends ICacheBundle
321d8f4dcbSJay{
331d8f4dcbSJay  val vaddr  = UInt(VAddrBits.W)
341d8f4dcbSJay  def vsetIdx = get_idx(vaddr)
351d8f4dcbSJay}
361d8f4dcbSJay
371d8f4dcbSJayclass ICacheMainPipeResp(implicit p: Parameters) extends ICacheBundle
381d8f4dcbSJay{
391d8f4dcbSJay  val vaddr    = UInt(VAddrBits.W)
40dc270d3bSJenius  val registerData = UInt(blockBits.W)
41dc270d3bSJenius  val sramData = UInt(blockBits.W)
42dc270d3bSJenius  val select   = Bool()
431d8f4dcbSJay  val paddr    = UInt(PAddrBits.W)
441d8f4dcbSJay  val tlbExcp  = new Bundle{
451d8f4dcbSJay    val pageFault = Bool()
461d8f4dcbSJay    val accessFault = Bool()
471d8f4dcbSJay    val mmio = Bool()
481d8f4dcbSJay  }
491d8f4dcbSJay}
501d8f4dcbSJay
511d8f4dcbSJayclass ICacheMainPipeBundle(implicit p: Parameters) extends ICacheBundle
521d8f4dcbSJay{
53c5c5edaeSJenius  val req  = Flipped(Decoupled(new FtqToICacheRequestBundle))
54c5c5edaeSJenius  val resp = Vec(PortNumber, ValidIO(new ICacheMainPipeResp))
55d2b20d1aSTang Haojin  val topdownIcacheMiss = Output(Bool())
56d2b20d1aSTang Haojin  val topdownItlbMiss = Output(Bool())
571d8f4dcbSJay}
581d8f4dcbSJay
591d8f4dcbSJayclass ICacheMetaReqBundle(implicit p: Parameters) extends ICacheBundle{
60afed18b5SJenius  val toIMeta       = DecoupledIO(new ICacheReadBundle)
611d8f4dcbSJay  val fromIMeta     = Input(new ICacheMetaRespBundle)
621d8f4dcbSJay}
631d8f4dcbSJay
641d8f4dcbSJayclass ICacheDataReqBundle(implicit p: Parameters) extends ICacheBundle{
652da4ac8cSJenius  val toIData       = DecoupledIO(Vec(partWayNum, new ICacheReadBundle))
661d8f4dcbSJay  val fromIData     = Input(new ICacheDataRespBundle)
671d8f4dcbSJay}
681d8f4dcbSJay
691d8f4dcbSJayclass ICacheMSHRBundle(implicit p: Parameters) extends ICacheBundle{
701d8f4dcbSJay  val toMSHR        = Decoupled(new ICacheMissReq)
711d8f4dcbSJay  val fromMSHR      = Flipped(ValidIO(new ICacheMissResp))
721d8f4dcbSJay}
731d8f4dcbSJay
741d8f4dcbSJayclass ICachePMPBundle(implicit p: Parameters) extends ICacheBundle{
751d8f4dcbSJay  val req  = Valid(new PMPReqBundle())
761d8f4dcbSJay  val resp = Input(new PMPRespBundle())
771d8f4dcbSJay}
781d8f4dcbSJay
791d8f4dcbSJayclass ICachePerfInfo(implicit p: Parameters) extends ICacheBundle{
801d8f4dcbSJay  val only_0_hit     = Bool()
811d8f4dcbSJay  val only_0_miss    = Bool()
821d8f4dcbSJay  val hit_0_hit_1    = Bool()
831d8f4dcbSJay  val hit_0_miss_1   = Bool()
841d8f4dcbSJay  val miss_0_hit_1   = Bool()
851d8f4dcbSJay  val miss_0_miss_1  = Bool()
86a108d429SJay  val hit_0_except_1 = Bool()
87a108d429SJay  val miss_0_except_1 = Bool()
88a108d429SJay  val except_0       = Bool()
891d8f4dcbSJay  val bank_hit       = Vec(2,Bool())
901d8f4dcbSJay  val hit            = Bool()
911d8f4dcbSJay}
921d8f4dcbSJay
931d8f4dcbSJayclass ICacheMainPipeInterface(implicit p: Parameters) extends ICacheBundle {
94c2ba7c80Sguohongyu  val hartId = Input(UInt(8.W))
952a3050c2SJay  /*** internal interface ***/
961d8f4dcbSJay  val metaArray   = new ICacheMetaReqBundle
971d8f4dcbSJay  val dataArray   = new ICacheDataReqBundle
98b1ded4e8Sguohongyu  /** prefetch io */
99cb6e5d3cSssszwic  val IPFBufferRead = Flipped(new IPFBufferRead)
100cb6e5d3cSssszwic  val PIQRead       = Flipped(new PIQRead)
101cb6e5d3cSssszwic
102cb6e5d3cSssszwic  val IPFReplacer         = Flipped(new IPFReplacer)
10358c354d0Sssszwic  val ICacheMainPipeInfo  = new ICacheMainPipeInfo
104b1ded4e8Sguohongyu
1051d8f4dcbSJay  val mshr        = Vec(PortNumber, new ICacheMSHRBundle)
10658dbdfc2SJay  val errors      = Output(Vec(PortNumber, new L1CacheErrorInfo))
1072a3050c2SJay  /*** outside interface ***/
108c5c5edaeSJenius  //val fetch       = Vec(PortNumber, new ICacheMainPipeBundle)
109c5c5edaeSJenius  /* when ftq.valid is high in T + 1 cycle
110c5c5edaeSJenius   * the ftq component must be valid in T cycle
111c5c5edaeSJenius   */
112c5c5edaeSJenius  val fetch       = new ICacheMainPipeBundle
1131d8f4dcbSJay  val pmp         = Vec(PortNumber, new ICachePMPBundle)
114f1fe8698SLemover  val itlb        = Vec(PortNumber, new TlbRequestIO)
1151d8f4dcbSJay  val respStall   = Input(Bool())
1161d8f4dcbSJay  val perfInfo = Output(new ICachePerfInfo)
11758dbdfc2SJay
118ecccf78fSJay  val csr_parity_enable = Input(Bool())
1191d8f4dcbSJay}
1201d8f4dcbSJay
121*f9c51548Sssszwicclass ICacheDB(implicit p: Parameters) extends ICacheBundle {
122*f9c51548Sssszwic  val blk_vaddr   = UInt((VAddrBits - blockOffBits).W)
123*f9c51548Sssszwic  val blk_paddr   = UInt((PAddrBits - blockOffBits).W)
124*f9c51548Sssszwic  val hit         = Bool()
125*f9c51548Sssszwic}
126*f9c51548Sssszwic
1271d8f4dcbSJayclass ICacheMainPipe(implicit p: Parameters) extends ICacheModule
1281d8f4dcbSJay{
1291d8f4dcbSJay  val io = IO(new ICacheMainPipeInterface)
1301d8f4dcbSJay
13158dbdfc2SJay  /** Input/Output port */
132c5c5edaeSJenius  val (fromFtq, toIFU)    = (io.fetch.req,          io.fetch.resp)
1332a3050c2SJay  val (toMeta, metaResp)  = (io.metaArray.toIMeta,  io.metaArray.fromIMeta)
1342a3050c2SJay  val (toData, dataResp)  = (io.dataArray.toIData,  io.dataArray.fromIData)
135cb6e5d3cSssszwic  val (toIPF,  fromIPF)   = (io.IPFBufferRead.req,  io.IPFBufferRead.resp)
136cb6e5d3cSssszwic  val (toPIQ,  fromPIQ)   = (io.PIQRead.req,        io.PIQRead.resp)
1371d8f4dcbSJay  val (toMSHR, fromMSHR)  = (io.mshr.map(_.toMSHR), io.mshr.map(_.fromMSHR))
1381d8f4dcbSJay  val (toITLB, fromITLB)  = (io.itlb.map(_.req),    io.itlb.map(_.resp))
1391d8f4dcbSJay  val (toPMP,  fromPMP)   = (io.pmp.map(_.req),     io.pmp.map(_.resp))
140cb6e5d3cSssszwic
141cb6e5d3cSssszwic  val IPFReplacer         = io.IPFReplacer
14258c354d0Sssszwic  val toIPrefetch         = io.ICacheMainPipeInfo
14358c354d0Sssszwic
14458c354d0Sssszwic
14558c354d0Sssszwic  // Statistics on the frequency distribution of FTQ fire interval
14658c354d0Sssszwic  val cntFtqFireInterval = RegInit(0.U(32.W))
14758c354d0Sssszwic  cntFtqFireInterval := Mux(fromFtq.fire, 1.U, cntFtqFireInterval + 1.U)
14858c354d0Sssszwic  XSPerfHistogram("ftq2icache_fire_" + p(XSCoreParamsKey).HartId.toString,
14958c354d0Sssszwic                  cntFtqFireInterval, fromFtq.fire,
15058c354d0Sssszwic                  1, 300, 1, right_strict = true)
151b1ded4e8Sguohongyu
152c5c5edaeSJenius  // Ftq RegNext Register
153b004fa13SJenius  val fromFtqReq = fromFtq.bits.pcMemRead
154c5c5edaeSJenius
15558dbdfc2SJay  /** pipeline control signal */
156f1fe8698SLemover  val s1_ready, s2_ready = Wire(Bool())
157f1fe8698SLemover  val s0_fire,  s1_fire , s2_fire  = Wire(Bool())
1581d8f4dcbSJay
1597052722fSJay  val missSwitchBit = RegInit(false.B)
1607052722fSJay
16158dbdfc2SJay  /** replacement status register */
16258dbdfc2SJay  val touch_sets = Seq.fill(2)(Wire(Vec(2, UInt(log2Ceil(nSets/2).W))))
16358dbdfc2SJay  val touch_ways = Seq.fill(2)(Wire(Vec(2, Valid(UInt(log2Ceil(nWays).W)))) )
16458dbdfc2SJay
1652a3050c2SJay  /**
1662a3050c2SJay    ******************************************************************************
16758dbdfc2SJay    * ICache Stage 0
16858dbdfc2SJay    * - send req to ITLB and wait for tlb miss fixing
16958dbdfc2SJay    * - send req to Meta/Data SRAM
1702a3050c2SJay    ******************************************************************************
1712a3050c2SJay    */
1722a3050c2SJay
17358dbdfc2SJay  /** s0 control */
174c5c5edaeSJenius  val s0_valid       = fromFtq.valid
175f56177cbSJenius  val s0_req_vaddr   = (0 until partWayNum + 1).map(i => VecInit(Seq(fromFtqReq(i).startAddr, fromFtqReq(i).nextlineStart)))
176f56177cbSJenius  val s0_req_vsetIdx = (0 until partWayNum + 1).map(i => VecInit(s0_req_vaddr(i).map(get_idx(_))))
177dc270d3bSJenius  val s0_only_first  = (0 until partWayNum + 1).map(i => fromFtq.bits.readValid(i) && !fromFtqReq(i).crossCacheline)
178dc270d3bSJenius  val s0_double_line = (0 until partWayNum + 1).map(i => fromFtq.bits.readValid(i) && fromFtqReq(i).crossCacheline)
1791d8f4dcbSJay
180f1fe8698SLemover  val s0_final_valid        = s0_valid
181fd0ecf27SLingrui98  val s0_final_vaddr        = s0_req_vaddr.head
182fd0ecf27SLingrui98  val s0_final_vsetIdx      = s0_req_vsetIdx.head
183fd0ecf27SLingrui98  val s0_final_only_first   = s0_only_first.head
184fd0ecf27SLingrui98  val s0_final_double_line  = s0_double_line.head
18561e1db30SJay
18658dbdfc2SJay  /** SRAM request */
187f56177cbSJenius  //0 -> metaread, 1,2,3 -> data, 3 -> code 4 -> itlb
18838160951Sguohongyu  // TODO: it seems like 0,1,2,3 -> dataArray(data); 3 -> dataArray(code); 0 -> metaArray; 4 -> itlb
189f56177cbSJenius  val ftq_req_to_data_doubleline  = s0_double_line.init
190f56177cbSJenius  val ftq_req_to_data_vset_idx    = s0_req_vsetIdx.init
191dc270d3bSJenius  val ftq_req_to_data_valid       = fromFtq.bits.readValid.init
192f56177cbSJenius
193f56177cbSJenius  val ftq_req_to_meta_doubleline  = s0_double_line.head
194f56177cbSJenius  val ftq_req_to_meta_vset_idx    = s0_req_vsetIdx.head
195f56177cbSJenius
196f56177cbSJenius  val ftq_req_to_itlb_only_first  = s0_only_first.last
197f56177cbSJenius  val ftq_req_to_itlb_doubleline  = s0_double_line.last
198f56177cbSJenius  val ftq_req_to_itlb_vaddr       = s0_req_vaddr.last
199f56177cbSJenius  val ftq_req_to_itlb_vset_idx    = s0_req_vsetIdx.last
200f56177cbSJenius
201cb6e5d3cSssszwic  /** Data request */
202fd0ecf27SLingrui98  for(i <- 0 until partWayNum) {
203dc270d3bSJenius    toData.valid                  := ftq_req_to_data_valid(i) && !missSwitchBit
204f56177cbSJenius    toData.bits(i).isDoubleLine   := ftq_req_to_data_doubleline(i)
205f56177cbSJenius    toData.bits(i).vSetIdx        := ftq_req_to_data_vset_idx(i)
2061d8f4dcbSJay  }
207afed18b5SJenius
208cb6e5d3cSssszwic  /** Meta request */
209afed18b5SJenius  toMeta.valid               := s0_valid && !missSwitchBit
210f56177cbSJenius  toMeta.bits.isDoubleLine   := ftq_req_to_meta_doubleline
211f56177cbSJenius  toMeta.bits.vSetIdx        := ftq_req_to_meta_vset_idx
212afed18b5SJenius
213cb6e5d3cSssszwic  val toITLB_s0_valid    = VecInit(Seq(s0_valid, s0_valid && ftq_req_to_itlb_doubleline))
214cb6e5d3cSssszwic  val toITLB_s0_size     = VecInit(Seq(3.U, 3.U)) // TODO: fix the size
215cb6e5d3cSssszwic  val toITLB_s0_vaddr    = ftq_req_to_itlb_vaddr
216cb6e5d3cSssszwic  val toITLB_s0_debug_pc = ftq_req_to_itlb_vaddr
2172a3050c2SJay
218f1fe8698SLemover  val itlb_can_go    = toITLB(0).ready && toITLB(1).ready
219afed18b5SJenius  val icache_can_go  = toData.ready && toMeta.ready
220f1fe8698SLemover  val pipe_can_go    = !missSwitchBit && s1_ready
221f1fe8698SLemover  val s0_can_go      = itlb_can_go && icache_can_go && pipe_can_go
222cb6e5d3cSssszwic  s0_fire  := s0_valid && s0_can_go
2237052722fSJay
2247052722fSJay  //TODO: fix GTimer() condition
225c5c5edaeSJenius  fromFtq.ready := s0_can_go
226f1fe8698SLemover
2272a3050c2SJay  /**
2282a3050c2SJay    ******************************************************************************
22958dbdfc2SJay    * ICache Stage 1
23058dbdfc2SJay    * - get tlb resp data (exceptiong info and physical addresses)
23158dbdfc2SJay    * - get Meta/Data SRAM read responses (latched for pipeline stop)
23258dbdfc2SJay    * - tag compare/hit check
233cb6e5d3cSssszwic    * - check ipf and piq
2342a3050c2SJay    ******************************************************************************
2352a3050c2SJay    */
2361d8f4dcbSJay
23758dbdfc2SJay  /** s1 control */
238f1fe8698SLemover  val s1_valid = generatePipeControl(lastFire = s0_fire, thisFire = s1_fire, thisFlush = false.B, lastFlush = false.B)
2391d8f4dcbSJay
240005e809bSJiuyang Liu  val s1_req_vaddr   = RegEnable(s0_final_vaddr, s0_fire)
241005e809bSJiuyang Liu  val s1_req_vsetIdx = RegEnable(s0_final_vsetIdx, s0_fire)
242005e809bSJiuyang Liu  val s1_only_first  = RegEnable(s0_final_only_first, s0_fire)
243005e809bSJiuyang Liu  val s1_double_line = RegEnable(s0_final_double_line, s0_fire)
244cb6e5d3cSssszwic
245cb6e5d3cSssszwic  /** tlb request and response */
246cb6e5d3cSssszwic  fromITLB.foreach(_.ready := true.B)
247cb6e5d3cSssszwic  val s1_wait_itlb  = RegInit(VecInit(Seq.fill(PortNumber)(false.B)))
248cb6e5d3cSssszwic
249cb6e5d3cSssszwic  (0 until PortNumber).foreach { i =>
250cb6e5d3cSssszwic    when(RegNext(s0_fire) && fromITLB(i).bits.miss) {
251cb6e5d3cSssszwic      s1_wait_itlb(i) := true.B
252cb6e5d3cSssszwic    }.elsewhen(s1_wait_itlb(i) && !fromITLB(i).bits.miss) {
253cb6e5d3cSssszwic      s1_wait_itlb(i) := false.B
254cb6e5d3cSssszwic    }
255cb6e5d3cSssszwic  }
256cb6e5d3cSssszwic
257cb6e5d3cSssszwic  val s1_need_itlb = Seq((RegNext(s0_fire) || s1_wait_itlb(0)) && fromITLB(0).bits.miss,
258cb6e5d3cSssszwic                             (RegNext(s0_fire) || s1_wait_itlb(1)) && fromITLB(1).bits.miss && s1_double_line)
259cb6e5d3cSssszwic  val toITLB_s1_valid    = s1_need_itlb
260cb6e5d3cSssszwic  val toITLB_s1_size     = VecInit(Seq(3.U, 3.U)) // TODO: fix the size
261cb6e5d3cSssszwic  val toITLB_s1_vaddr    = s1_req_vaddr
262cb6e5d3cSssszwic  val toITLB_s1_debug_pc = s1_req_vaddr
263cb6e5d3cSssszwic
264cb6e5d3cSssszwic  // chose tlb req between s0 and s1
265cb6e5d3cSssszwic  for (i <- 0 until PortNumber) {
266cb6e5d3cSssszwic    toITLB(i).valid         := Mux(s1_need_itlb(i), toITLB_s1_valid(i), toITLB_s0_valid(i))
267cb6e5d3cSssszwic    toITLB(i).bits.size     := Mux(s1_need_itlb(i), toITLB_s1_size(i), toITLB_s0_size(i))
268cb6e5d3cSssszwic    toITLB(i).bits.vaddr    := Mux(s1_need_itlb(i), toITLB_s1_vaddr(i), toITLB_s0_vaddr(i))
269cb6e5d3cSssszwic    toITLB(i).bits.debug.pc := Mux(s1_need_itlb(i), toITLB_s1_debug_pc(i), toITLB_s0_debug_pc(i))
270cb6e5d3cSssszwic  }
271cb6e5d3cSssszwic  toITLB.map{port =>
272cb6e5d3cSssszwic    port.bits.cmd                 := TlbCmd.exec
273cb6e5d3cSssszwic    port.bits.memidx              := DontCare
274cb6e5d3cSssszwic    port.bits.debug.robIdx        := DontCare
275cb6e5d3cSssszwic    port.bits.no_translate        := false.B
276cb6e5d3cSssszwic    port.bits.debug.isFirstIssue  := DontCare
277cb6e5d3cSssszwic    port.bits.kill                := DontCare
278cb6e5d3cSssszwic  }
279cb6e5d3cSssszwic  io.itlb.foreach(_.req_kill := false.B)
2801d8f4dcbSJay
28158dbdfc2SJay  /** tlb response latch for pipeline stop */
282cb6e5d3cSssszwic  // val tlb_valid_tmp = VecInit((0 until PortNumber).map(i =>
283cb6e5d3cSssszwic  //                       (RegNext(s0_fire) || s1_wait_itlb(i)) && !fromITLB(i).bits.miss))
284cb6e5d3cSssszwic  val tlb_valid_tmp = VecInit(Seq((RegNext(s0_fire) || s1_wait_itlb(0)) && !fromITLB(0).bits.miss,
285cb6e5d3cSssszwic                                  (RegNext(s0_fire) || s1_wait_itlb(1)) && !fromITLB(1).bits.miss && s1_double_line))
286cb6e5d3cSssszwic  val tlbRespPAddr  = VecInit((0 until PortNumber).map(i =>
287cb6e5d3cSssszwic                        ResultHoldBypass(valid = tlb_valid_tmp(i), data = fromITLB(i).bits.paddr(0))))
288cb6e5d3cSssszwic  val tlbExcpPF     = VecInit((0 until PortNumber).map(i =>
289cb6e5d3cSssszwic                        ResultHoldBypass(valid = tlb_valid_tmp(i), data = fromITLB(i).bits.excp(0).pf.instr)))
290cb6e5d3cSssszwic  val tlbExcpAF     = VecInit((0 until PortNumber).map(i =>
291cb6e5d3cSssszwic                        ResultHoldBypass(valid = tlb_valid_tmp(i), data = fromITLB(i).bits.excp(0).af.instr)))
292cb6e5d3cSssszwic  val tlbExcp       = VecInit((0 until PortNumber).map(i => tlbExcpAF(i) || tlbExcpPF(i)))
2931d8f4dcbSJay
294cb6e5d3cSssszwic  val s1_tlb_valid = VecInit((0 until PortNumber).map(i => ValidHoldBypass(tlb_valid_tmp(i), s1_fire)))
295cb6e5d3cSssszwic  val tlbRespAllValid = s1_tlb_valid(0) && (!s1_double_line || s1_double_line && s1_tlb_valid(1))
2962a3050c2SJay
2971d8f4dcbSJay
298d2b20d1aSTang Haojin  def numOfStage = 3
299d2b20d1aSTang Haojin  val itlbMissStage = RegInit(VecInit(Seq.fill(numOfStage - 1)(0.B)))
300d2b20d1aSTang Haojin  itlbMissStage(0) := !tlbRespAllValid
301d2b20d1aSTang Haojin  for (i <- 1 until numOfStage - 1) {
302d2b20d1aSTang Haojin    itlbMissStage(i) := itlbMissStage(i - 1)
303d2b20d1aSTang Haojin  }
304d2b20d1aSTang Haojin
30558dbdfc2SJay  /** s1 hit check/tag compare */
3061d8f4dcbSJay  val s1_req_paddr              = tlbRespPAddr
3071d8f4dcbSJay  val s1_req_ptags              = VecInit(s1_req_paddr.map(get_phy_tag(_)))
3081d8f4dcbSJay
309ccfc2e22SJay  val s1_meta_ptags              = ResultHoldBypass(data = metaResp.tags, valid = RegNext(s0_fire))
31060672d5eSguohongyu  val s1_meta_valids             = ResultHoldBypass(data = metaResp.entryValid, valid = RegNext(s0_fire))
31158dbdfc2SJay  val s1_meta_errors             = ResultHoldBypass(data = metaResp.errors, valid = RegNext(s0_fire))
31258dbdfc2SJay
313ccfc2e22SJay  val s1_data_cacheline          = ResultHoldBypass(data = dataResp.datas, valid = RegNext(s0_fire))
31479b191f7SJay  val s1_data_errorBits          = ResultHoldBypass(data = dataResp.codes, valid = RegNext(s0_fire))
3151d8f4dcbSJay
3161d8f4dcbSJay  val s1_tag_eq_vec        = VecInit((0 until PortNumber).map( p => VecInit((0 until nWays).map( w =>  s1_meta_ptags(p)(w) ===  s1_req_ptags(p) ))))
31760672d5eSguohongyu  val s1_tag_match_vec     = VecInit((0 until PortNumber).map( k => VecInit(s1_tag_eq_vec(k).zipWithIndex.map{ case(way_tag_eq, w) => way_tag_eq && s1_meta_valids(k)(w) /*s1_meta_cohs(k)(w).isValid()*/})))
3181d8f4dcbSJay  val s1_tag_match         = VecInit(s1_tag_match_vec.map(vector => ParallelOR(vector)))
3191d8f4dcbSJay
320f1fe8698SLemover  val s1_port_hit          = VecInit(Seq(s1_tag_match(0) && s1_valid  && !tlbExcp(0),  s1_tag_match(1) && s1_valid && s1_double_line && !tlbExcp(1) ))
321f1fe8698SLemover  val s1_bank_miss         = VecInit(Seq(!s1_tag_match(0) && s1_valid && !tlbExcp(0), !s1_tag_match(1) && s1_valid && s1_double_line && !tlbExcp(1) ))
3221d8f4dcbSJay  val s1_hit               = (s1_port_hit(0) && s1_port_hit(1)) || (!s1_double_line && s1_port_hit(0))
3231d8f4dcbSJay
3241d8f4dcbSJay  /** choose victim cacheline */
3255b0cc873Sguohongyu  val replacers       = Seq.fill(PortNumber)(ReplacementPolicy.fromString(cacheParams.replacer,nWays,nSets/PortNumber))
3265b0cc873Sguohongyu  val s1_victim_oh    = ResultHoldBypass(data = VecInit(replacers.zipWithIndex.map{case (replacer, i) => UIntToOH(replacer.way(s1_req_vsetIdx(i)(highestIdxBit, 1)))}), valid = RegNext(s0_fire))
3271d8f4dcbSJay
3281d8f4dcbSJay
329cb6e5d3cSssszwic  // when(s1_fire){
330cb6e5d3cSssszwic  //   // when (!(PopCount(s1_tag_match_vec(0)) <= 1.U && (PopCount(s1_tag_match_vec(1)) <= 1.U || !s1_double_line))) {
331cb6e5d3cSssszwic  //   //   printf("Multiple hit in main pipe\n")
332cb6e5d3cSssszwic  //   // }
333cb6e5d3cSssszwic  //   assert(PopCount(s1_tag_match_vec(0)) <= 1.U && (PopCount(s1_tag_match_vec(1)) <= 1.U || !s1_double_line),
334cb6e5d3cSssszwic  //     "Multiple hit in main pipe, port0:is=%d,ptag=0x%x,vidx=0x%x,vaddr=0x%x port1:is=%d,ptag=0x%x,vidx=0x%x,vaddr=0x%x ",
335cb6e5d3cSssszwic  //     PopCount(s1_tag_match_vec(0)) > 1.U,s1_req_ptags(0), get_idx(s1_req_vaddr(0)), s1_req_vaddr(0),
336cb6e5d3cSssszwic  //     PopCount(s1_tag_match_vec(1)) > 1.U && s1_double_line, s1_req_ptags(1), get_idx(s1_req_vaddr(1)), s1_req_vaddr(1))
337f304ee97Sguohongyu  // }
3381d8f4dcbSJay
3391d8f4dcbSJay  ((replacers zip touch_sets) zip touch_ways).map{case ((r, s),w) => r.access(s,w)}
340cb6e5d3cSssszwic  IPFReplacer.waymask := UIntToOH(replacers(0).way(IPFReplacer.vsetIdx))
3411d8f4dcbSJay
342cb6e5d3cSssszwic  /** check ipf, get result at the same cycle */
343b1ded4e8Sguohongyu  (0 until PortNumber).foreach { i =>
344cb6e5d3cSssszwic    toIPF(i).valid      := tlb_valid_tmp(i)
345b1ded4e8Sguohongyu    toIPF(i).bits.paddr := s1_req_paddr(i)
346b1ded4e8Sguohongyu  }
347cb6e5d3cSssszwic  val s1_ipf_hit        = VecInit((0 until PortNumber).map(i => toIPF(i).valid && fromIPF(i).ipf_hit))
348cb6e5d3cSssszwic  val s1_ipf_hit_latch  = VecInit((0 until PortNumber).map(i => holdReleaseLatch(valid = s1_ipf_hit(i), release = s1_fire, flush = false.B)))
349cb6e5d3cSssszwic  val s1_ipf_data       = VecInit((0 until PortNumber).map(i => ResultHoldBypass(data = fromIPF(i).cacheline, valid = s1_ipf_hit(i))))
350b1ded4e8Sguohongyu
351b1ded4e8Sguohongyu  /** check in PIQ, if hit, wait until prefetch port hit */
352cb6e5d3cSssszwic  (0 until PortNumber).foreach { i =>
353cb6e5d3cSssszwic    toPIQ(i).valid      := tlb_valid_tmp(i)
354cb6e5d3cSssszwic    toPIQ(i).bits.paddr := s1_req_paddr(i)
355b1ded4e8Sguohongyu  }
356cb6e5d3cSssszwic  val s1_piq_hit        = VecInit((0 until PortNumber).map(i => toIPF(i).valid && fromPIQ(i).piq_hit))
357cb6e5d3cSssszwic  val s1_piq_hit_latch  = VecInit((0 until PortNumber).map(i => holdReleaseLatch(valid = s1_piq_hit(i), release = s1_fire, flush = false.B)))
358cb6e5d3cSssszwic  val wait_piq          = VecInit((0 until PortNumber).map(i => toIPF(i).valid && fromPIQ(i).piq_hit && !fromPIQ(i).data_valid))
359cb6e5d3cSssszwic  val wait_piq_latch    = VecInit((0 until PortNumber).map(i => holdReleaseLatch(valid = wait_piq(i), release = s1_fire || fromPIQ(i).data_valid, flush = false.B)))
360cb6e5d3cSssszwic  val s1_piq_data       = VecInit((0 until PortNumber).map(i => ResultHoldBypass(data = fromPIQ(i).cacheline, valid = (s1_piq_hit(i) || wait_piq_latch(i)) && fromPIQ(i).data_valid)))
361b1ded4e8Sguohongyu
362cb6e5d3cSssszwic  val s1_wait           = (0 until PortNumber).map(i => wait_piq_latch(i) && !fromPIQ(i).data_valid).reduce(_||_)
363b1ded4e8Sguohongyu
364cb6e5d3cSssszwic  val s1_prefetch_hit = VecInit((0 until PortNumber).map(i => s1_ipf_hit_latch(i) || s1_piq_hit_latch(i)))
365cb6e5d3cSssszwic  val s1_prefetch_hit_data = VecInit((0 until PortNumber).map(i => Mux(s1_ipf_hit_latch(i), s1_ipf_data(i), s1_piq_data(i))))
366cb6e5d3cSssszwic
367cb6e5d3cSssszwic  s1_ready := s2_ready && tlbRespAllValid && !s1_wait || !s1_valid
368cb6e5d3cSssszwic  s1_fire  := s1_valid && tlbRespAllValid && s2_ready && !s1_wait
369b1ded4e8Sguohongyu
370ebfdba16Sguohongyu  if (env.EnableDifftest) {
371afa866b1Sguohongyu    (0 until PortNumber).foreach { i =>
372a0c65233SYinan Xu      val diffPIQ = DifftestModule(new DiffRefillEvent, dontCare = true)
3737d45a146SYinan Xu      diffPIQ.coreid := io.hartId
3747d45a146SYinan Xu      diffPIQ.index := (i + 7).U
3757d45a146SYinan Xu      if (i == 0) diffPIQ.valid := s1_fire && !s1_port_hit(i) && !s1_ipf_hit_latch(i) && s1_piq_hit_latch(i) && !tlbExcp(0)
3767d45a146SYinan Xu      else diffPIQ.valid := s1_fire && !s1_port_hit(i) && !s1_ipf_hit_latch(i) && s1_piq_hit_latch(i) && s1_double_line && !tlbExcp(0) && !tlbExcp(1)
3777d45a146SYinan Xu      diffPIQ.addr := s1_req_paddr(i)
3787d45a146SYinan Xu      diffPIQ.data := s1_piq_data(i).asTypeOf(diffPIQ.data)
379935edac4STang Haojin      diffPIQ.idtfr := DontCare
380afa866b1Sguohongyu    }
381ebfdba16Sguohongyu  }
382afa866b1Sguohongyu
383*f9c51548Sssszwic  // record cacheline log
384*f9c51548Sssszwic  val isWriteICacheTable = WireInit(Constantin.createRecord("isWriteICacheTable" + p(XSCoreParamsKey).HartId.toString))
385*f9c51548Sssszwic  val ICacheTable = ChiselDB.createTable("ICacheTable" + p(XSCoreParamsKey).HartId.toString, new ICacheDB)
386*f9c51548Sssszwic
387*f9c51548Sssszwic  val ICacheDumpData_req0 = Wire(new ICacheDB)
388*f9c51548Sssszwic  ICacheDumpData_req0.blk_paddr := getBlkAddr(s1_req_paddr(0))
389*f9c51548Sssszwic  ICacheDumpData_req0.blk_vaddr := getBlkAddr(s1_req_vaddr(0))
390*f9c51548Sssszwic  ICacheDumpData_req0.hit       := s1_port_hit(0) || s1_prefetch_hit(0)
391*f9c51548Sssszwic  ICacheTable.log(
392*f9c51548Sssszwic    data = ICacheDumpData_req0,
393*f9c51548Sssszwic    en = isWriteICacheTable.orR && s1_fire,
394*f9c51548Sssszwic    clock = clock,
395*f9c51548Sssszwic    reset = reset
396*f9c51548Sssszwic  )
397*f9c51548Sssszwic
398*f9c51548Sssszwic  val ICacheDumpData_req1 = Wire(new ICacheDB)
399*f9c51548Sssszwic  ICacheDumpData_req1.blk_paddr := getBlkAddr(s1_req_paddr(1))
400*f9c51548Sssszwic  ICacheDumpData_req1.blk_vaddr := getBlkAddr(s1_req_vaddr(1))
401*f9c51548Sssszwic  ICacheDumpData_req1.hit       := s1_port_hit(1) || s1_prefetch_hit(1)
402*f9c51548Sssszwic  ICacheTable.log(
403*f9c51548Sssszwic    data = ICacheDumpData_req1,
404*f9c51548Sssszwic    en = isWriteICacheTable.orR && s1_fire && s1_double_line,
405*f9c51548Sssszwic    clock = clock,
406*f9c51548Sssszwic    reset = reset
407*f9c51548Sssszwic  )
408*f9c51548Sssszwic
40958dbdfc2SJay  /** <PERF> replace victim way number */
41058dbdfc2SJay
4111d8f4dcbSJay  (0 until nWays).map{ w =>
4121d8f4dcbSJay    XSPerfAccumulate("line_0_hit_way_" + Integer.toString(w, 10),  s1_fire && s1_port_hit(0) && OHToUInt(s1_tag_match_vec(0))  === w.U)
4131d8f4dcbSJay  }
4141d8f4dcbSJay
4151d8f4dcbSJay  (0 until nWays).map{ w =>
4161d8f4dcbSJay    XSPerfAccumulate("line_0_victim_way_" + Integer.toString(w, 10),  s1_fire && !s1_port_hit(0) && OHToUInt(s1_victim_oh(0))  === w.U)
4171d8f4dcbSJay  }
4181d8f4dcbSJay
4191d8f4dcbSJay  (0 until nWays).map{ w =>
4201d8f4dcbSJay    XSPerfAccumulate("line_1_hit_way_" + Integer.toString(w, 10),  s1_fire && s1_double_line && s1_port_hit(1) && OHToUInt(s1_tag_match_vec(1))  === w.U)
4211d8f4dcbSJay  }
4221d8f4dcbSJay
4231d8f4dcbSJay  (0 until nWays).map{ w =>
4241d8f4dcbSJay    XSPerfAccumulate("line_1_victim_way_" + Integer.toString(w, 10),  s1_fire && s1_double_line && !s1_port_hit(1) && OHToUInt(s1_victim_oh(1))  === w.U)
4251d8f4dcbSJay  }
4261d8f4dcbSJay
427b1ded4e8Sguohongyu  XSPerfAccumulate("mainPipe_stage1_block_by_piq_cycles", s1_valid && s1_wait)
428b1ded4e8Sguohongyu
4292a3050c2SJay  /**
4302a3050c2SJay    ******************************************************************************
43158dbdfc2SJay    * ICache Stage 2
43258dbdfc2SJay    * - send request to MSHR if ICache miss
43358dbdfc2SJay    * - generate secondary miss status/data registers
43458dbdfc2SJay    * - response to IFU
4352a3050c2SJay    ******************************************************************************
4362a3050c2SJay    */
43758dbdfc2SJay
43858dbdfc2SJay  /** s2 control */
4391d8f4dcbSJay  val s2_fetch_finish = Wire(Bool())
4401d8f4dcbSJay
441f1fe8698SLemover  val s2_valid          = generatePipeControl(lastFire = s1_fire, thisFire = s2_fire, thisFlush = false.B, lastFlush = false.B)
4421d8f4dcbSJay  val s2_miss_available = Wire(Bool())
4431d8f4dcbSJay
4441d8f4dcbSJay  s2_ready      := (s2_valid && s2_fetch_finish && !io.respStall) || (!s2_valid && s2_miss_available)
4451d8f4dcbSJay  s2_fire       := s2_valid && s2_fetch_finish && !io.respStall
4461d8f4dcbSJay
44758dbdfc2SJay  /** s2 data */
448cb6e5d3cSssszwic  // val mmio = fromPMP.map(port => port.mmio) // TODO: handle it
449005e809bSJiuyang Liu  val (s2_req_paddr , s2_req_vaddr) = (RegEnable(s1_req_paddr, s1_fire), RegEnable(s1_req_vaddr, s1_fire))
450005e809bSJiuyang Liu  val s2_req_vsetIdx          = RegEnable(s1_req_vsetIdx,       s1_fire)
451005e809bSJiuyang Liu  val s2_req_ptags            = RegEnable(s1_req_ptags,         s1_fire)
452005e809bSJiuyang Liu  val s2_only_first           = RegEnable(s1_only_first,        s1_fire)
453005e809bSJiuyang Liu  val s2_double_line          = RegEnable(s1_double_line,       s1_fire)
454005e809bSJiuyang Liu  val s2_hit                  = RegEnable(s1_hit   ,            s1_fire)
455005e809bSJiuyang Liu  val s2_port_hit             = RegEnable(s1_port_hit,          s1_fire)
456005e809bSJiuyang Liu  val s2_bank_miss            = RegEnable(s1_bank_miss,         s1_fire)
457005e809bSJiuyang Liu  val s2_waymask              = RegEnable(s1_victim_oh,         s1_fire)
458005e809bSJiuyang Liu  val s2_tag_match_vec        = RegEnable(s1_tag_match_vec,     s1_fire)
459b1ded4e8Sguohongyu  val s2_prefetch_hit         = RegEnable(s1_prefetch_hit,      s1_fire)
460b1ded4e8Sguohongyu  val s2_prefetch_hit_data    = RegEnable(s1_prefetch_hit_data, s1_fire)
461afa866b1Sguohongyu  val s2_prefetch_hit_in_ipf  = RegEnable(s1_ipf_hit_latch,     s1_fire)
462cb6e5d3cSssszwic  val s2_prefetch_hit_in_piq  = RegEnable(s1_piq_hit_latch,     s1_fire)
4631d8f4dcbSJay
464d2b20d1aSTang Haojin  val icacheMissStage = RegInit(VecInit(Seq.fill(numOfStage - 2)(0.B)))
465d2b20d1aSTang Haojin  icacheMissStage(0) := !s2_hit
466d2b20d1aSTang Haojin
46758c354d0Sssszwic  /** send req info of s1 and s2 to IPrefetchPipe for filter request */
46858c354d0Sssszwic  toIPrefetch.s1Info(0).paddr  := s1_req_paddr(0)
46958c354d0Sssszwic  toIPrefetch.s1Info(0).valid  := s1_valid
47058c354d0Sssszwic  toIPrefetch.s1Info(1).paddr  := s1_req_paddr(1)
47158c354d0Sssszwic  toIPrefetch.s1Info(1).valid  := s1_valid && s1_double_line
47258c354d0Sssszwic  toIPrefetch.s2Info(0).paddr  := s2_req_paddr(0)
47358c354d0Sssszwic  toIPrefetch.s2Info(0).valid  := s2_valid
47458c354d0Sssszwic  toIPrefetch.s2Info(1).paddr  := s2_req_paddr(1)
47558c354d0Sssszwic  toIPrefetch.s2Info(1).valid  := s2_valid && s2_double_line
47658c354d0Sssszwic
477f1fe8698SLemover  assert(RegNext(!s2_valid || s2_req_paddr(0)(11,0) === s2_req_vaddr(0)(11,0), true.B))
478f1fe8698SLemover
47958dbdfc2SJay  /** status imply that s2 is a secondary miss (no need to resend miss request) */
4801d8f4dcbSJay  val sec_meet_vec = Wire(Vec(2, Bool()))
481b1ded4e8Sguohongyu  val s2_fixed_hit_vec = VecInit((0 until 2).map(i => s2_port_hit(i) || s2_prefetch_hit(i) || sec_meet_vec(i)))
4821d8f4dcbSJay  val s2_fixed_hit = (s2_valid && s2_fixed_hit_vec(0) && s2_fixed_hit_vec(1) && s2_double_line) || (s2_valid && s2_fixed_hit_vec(0) && !s2_double_line)
4831d8f4dcbSJay
484005e809bSJiuyang Liu  val s2_meta_errors    = RegEnable(s1_meta_errors,    s1_fire)
485005e809bSJiuyang Liu  val s2_data_errorBits = RegEnable(s1_data_errorBits, s1_fire)
486005e809bSJiuyang Liu  val s2_data_cacheline = RegEnable(s1_data_cacheline, s1_fire)
48779b191f7SJay
48879b191f7SJay  val s2_data_errors    = Wire(Vec(PortNumber,Vec(nWays, Bool())))
48979b191f7SJay
49079b191f7SJay  (0 until PortNumber).map{ i =>
49179b191f7SJay    val read_datas = s2_data_cacheline(i).asTypeOf(Vec(nWays,Vec(dataCodeUnitNum, UInt(dataCodeUnit.W))))
49279b191f7SJay    val read_codes = s2_data_errorBits(i).asTypeOf(Vec(nWays,Vec(dataCodeUnitNum, UInt(dataCodeBits.W))))
49379b191f7SJay    val data_full_wayBits = VecInit((0 until nWays).map( w =>
49479b191f7SJay                                  VecInit((0 until dataCodeUnitNum).map(u =>
49579b191f7SJay                                        Cat(read_codes(w)(u), read_datas(w)(u))))))
49679b191f7SJay    val data_error_wayBits = VecInit((0 until nWays).map( w =>
49779b191f7SJay                                  VecInit((0 until dataCodeUnitNum).map(u =>
49879b191f7SJay                                       cacheParams.dataCode.decode(data_full_wayBits(w)(u)).error ))))
49979b191f7SJay    if(i == 0){
50079b191f7SJay      (0 until nWays).map{ w =>
50179b191f7SJay        s2_data_errors(i)(w) := RegNext(RegNext(s1_fire)) && RegNext(data_error_wayBits(w)).reduce(_||_)
50279b191f7SJay      }
50379b191f7SJay    } else {
50479b191f7SJay      (0 until nWays).map{ w =>
50579b191f7SJay        s2_data_errors(i)(w) := RegNext(RegNext(s1_fire)) && RegNext(RegNext(s1_double_line)) && RegNext(data_error_wayBits(w)).reduce(_||_)
50679b191f7SJay      }
50779b191f7SJay    }
50879b191f7SJay  }
50979b191f7SJay
51079b191f7SJay  val s2_parity_meta_error  = VecInit((0 until PortNumber).map(i => s2_meta_errors(i).reduce(_||_) && io.csr_parity_enable))
51179b191f7SJay  val s2_parity_data_error  = VecInit((0 until PortNumber).map(i => s2_data_errors(i).reduce(_||_) && io.csr_parity_enable))
51279b191f7SJay  val s2_parity_error       = VecInit((0 until PortNumber).map(i => RegNext(s2_parity_meta_error(i)) || s2_parity_data_error(i)))
51379b191f7SJay
51479b191f7SJay  for(i <- 0 until PortNumber){
515e8e4462cSJay    io.errors(i).valid            := RegNext(s2_parity_error(i) && RegNext(RegNext(s1_fire)))
516e8e4462cSJay    io.errors(i).report_to_beu    := RegNext(s2_parity_error(i) && RegNext(RegNext(s1_fire)))
51779b191f7SJay    io.errors(i).paddr            := RegNext(RegNext(s2_req_paddr(i)))
51879b191f7SJay    io.errors(i).source           := DontCare
51979b191f7SJay    io.errors(i).source.tag       := RegNext(RegNext(s2_parity_meta_error(i)))
52079b191f7SJay    io.errors(i).source.data      := RegNext(s2_parity_data_error(i))
52179b191f7SJay    io.errors(i).source.l2        := false.B
52279b191f7SJay    io.errors(i).opType           := DontCare
52379b191f7SJay    io.errors(i).opType.fetch     := true.B
52479b191f7SJay  }
525c157cf71SGuokai Chen  if (!ICacheECCForceError) {
526e8e4462cSJay    XSError(s2_parity_error.reduce(_||_) && RegNext(RegNext(s1_fire)), "ICache has parity error in MainPaipe!")
527c157cf71SGuokai Chen  }
52879b191f7SJay
5292a25dbb4SJay  /** exception and pmp logic **/
530cb6e5d3cSssszwic  val s2_tlb_valid = VecInit((0 until PortNumber).map(i => ValidHold(s1_tlb_valid(i) && s1_fire, s2_fire, false.B)))
531cb6e5d3cSssszwic  val pmpExcpAF = VecInit(Seq(fromPMP(0).instr && s2_tlb_valid(0), fromPMP(1).instr && s2_double_line && s2_tlb_valid(1)))
532cb6e5d3cSssszwic  // exception information and mmio
533227f2b93SJenius  // short delay exception signal
534cb6e5d3cSssszwic  val s2_except_tlb_pf  = RegEnable(tlbExcpPF, s1_fire)
535227f2b93SJenius  val s2_except_tlb_af  = RegEnable(tlbExcpAF, s1_fire)
536227f2b93SJenius  // long delay exception signal
537227f2b93SJenius  val s2_except_pmp_af    =  DataHoldBypass(pmpExcpAF, RegNext(s1_fire))
538227f2b93SJenius
539cb6e5d3cSssszwic  val s2_except     = VecInit(Seq(s2_except_tlb_pf(0) || s2_except_tlb_af(0), s2_double_line && (s2_except_tlb_pf(1) || s2_except_tlb_af(1))))
540cb6e5d3cSssszwic  val s2_has_except = s2_valid && s2_except.reduce(_||_)
541935edac4STang Haojin  val s2_mmio       = s2_valid && DataHoldBypass(io.pmp(0).resp.mmio && !s2_except(0) && !s2_except_pmp_af(0), RegNext(s1_fire)).asBool
542cb6e5d3cSssszwic  // pmp port
5431d8f4dcbSJay  io.pmp.zipWithIndex.map { case (p, i) =>
544de7689fcSJay    p.req.valid := s2_valid && !missSwitchBit
5451d8f4dcbSJay    p.req.bits.addr := s2_req_paddr(i)
5461d8f4dcbSJay    p.req.bits.size := 3.U // TODO
5471d8f4dcbSJay    p.req.bits.cmd := TlbCmd.exec
5481d8f4dcbSJay  }
5491d8f4dcbSJay
5501d8f4dcbSJay  /*** cacheline miss logic ***/
551227f2b93SJenius  val wait_idle :: wait_queue_ready :: wait_send_req  :: wait_two_resp :: wait_0_resp :: wait_1_resp :: wait_one_resp ::wait_finish :: wait_pmp_except :: Nil = Enum(9)
5521d8f4dcbSJay  val wait_state = RegInit(wait_idle)
5531d8f4dcbSJay
554935edac4STang Haojin//  val port_miss_fix  = VecInit(Seq(fromMSHR(0).fire && !s2_port_hit(0),   fromMSHR(1).fire && s2_double_line && !s2_port_hit(1) ))
5551d8f4dcbSJay
55658dbdfc2SJay  // secondary miss record registers
5572a3050c2SJay  class MissSlot(implicit p: Parameters) extends  ICacheBundle {
5581d8f4dcbSJay    val m_vSetIdx   = UInt(idxBits.W)
5591d8f4dcbSJay    val m_pTag      = UInt(tagBits.W)
5601d8f4dcbSJay    val m_data      = UInt(blockBits.W)
56158dbdfc2SJay    val m_corrupt   = Bool()
5621d8f4dcbSJay  }
5631d8f4dcbSJay
5641d8f4dcbSJay  val missSlot    = Seq.fill(2)(RegInit(0.U.asTypeOf(new MissSlot)))
5651d8f4dcbSJay  val m_invalid :: m_valid :: m_refilled :: m_flushed :: m_wait_sec_miss :: m_check_final ::Nil = Enum(6)
5661d8f4dcbSJay  val missStateQueue = RegInit(VecInit(Seq.fill(2)(m_invalid)) )
5671d8f4dcbSJay  val reservedRefillData = Wire(Vec(2, UInt(blockBits.W)))
5681d8f4dcbSJay
5691d8f4dcbSJay  s2_miss_available :=  VecInit(missStateQueue.map(entry => entry === m_invalid  || entry === m_wait_sec_miss)).reduce(_&&_)
5701d8f4dcbSJay
571cb6e5d3cSssszwic  // check miss slot
5721d8f4dcbSJay  val fix_sec_miss    = Wire(Vec(4, Bool()))
5731d8f4dcbSJay  val sec_meet_0_miss = fix_sec_miss(0) || fix_sec_miss(2)
5741d8f4dcbSJay  val sec_meet_1_miss = fix_sec_miss(1) || fix_sec_miss(3)
5751d8f4dcbSJay  sec_meet_vec := VecInit(Seq(sec_meet_0_miss, sec_meet_1_miss))
5761d8f4dcbSJay
5772a3050c2SJay  /*** miss/hit pattern: <Control Signal> only raise at the first cycle of s2_valid ***/
578b1ded4e8Sguohongyu  val cacheline_0_hit  = (s2_port_hit(0) || s2_prefetch_hit(0) || sec_meet_0_miss)
579b1ded4e8Sguohongyu  val cacheline_0_miss = !s2_port_hit(0) && !s2_prefetch_hit(0) && !sec_meet_0_miss
5801d8f4dcbSJay
581b1ded4e8Sguohongyu  val cacheline_1_hit  = (s2_port_hit(1) || s2_prefetch_hit(1) || sec_meet_1_miss)
582b1ded4e8Sguohongyu  val cacheline_1_miss = !s2_port_hit(1) && !s2_prefetch_hit(1) && !sec_meet_1_miss
58342b952e2SJay
58442b952e2SJay  val only_0_miss      = RegNext(s1_fire) && cacheline_0_miss && !s2_double_line && !s2_has_except && !s2_mmio
58542b952e2SJay  val only_0_hit       = RegNext(s1_fire) && cacheline_0_hit  && !s2_double_line && !s2_mmio
58642b952e2SJay  val hit_0_hit_1      = RegNext(s1_fire) && cacheline_0_hit  && cacheline_1_hit  && s2_double_line && !s2_mmio
58742b952e2SJay  val hit_0_miss_1     = RegNext(s1_fire) && cacheline_0_hit  && cacheline_1_miss && s2_double_line  && !s2_has_except && !s2_mmio
58842b952e2SJay  val miss_0_hit_1     = RegNext(s1_fire) && cacheline_0_miss && cacheline_1_hit && s2_double_line  && !s2_has_except && !s2_mmio
58942b952e2SJay  val miss_0_miss_1    = RegNext(s1_fire) && cacheline_0_miss && cacheline_1_miss && s2_double_line  && !s2_has_except && !s2_mmio
59042b952e2SJay
59142b952e2SJay  val hit_0_except_1   = RegNext(s1_fire) && s2_double_line &&  !s2_except(0) && s2_except(1)  &&  cacheline_0_hit
59242b952e2SJay  val miss_0_except_1  = RegNext(s1_fire) && s2_double_line &&  !s2_except(0) && s2_except(1)  &&  cacheline_0_miss
5931d8f4dcbSJay  val except_0         = RegNext(s1_fire) && s2_except(0)
5941d8f4dcbSJay
5952a3050c2SJay  /*** miss/hit pattern latch: <Control Signal> latch the miss/hit patter if pipeline stop ***/
5961d8f4dcbSJay  val only_0_miss_latch      = holdReleaseLatch(valid = only_0_miss,     release = s2_fire,  flush = false.B)
5971d8f4dcbSJay  val only_0_hit_latch       = holdReleaseLatch(valid = only_0_hit,      release = s2_fire,  flush = false.B)
5981d8f4dcbSJay  val hit_0_hit_1_latch      = holdReleaseLatch(valid = hit_0_hit_1,     release = s2_fire,  flush = false.B)
599cb6e5d3cSssszwic  val hit_0_miss_1_latch     = holdReleaseLatch(valid = hit_0_miss_1,    release = s2_fire,  flush = false.B)
600cb6e5d3cSssszwic  val miss_0_hit_1_latch     = holdReleaseLatch(valid = miss_0_hit_1,    release = s2_fire,  flush = false.B)
601cb6e5d3cSssszwic  val miss_0_miss_1_latch    = holdReleaseLatch(valid = miss_0_miss_1,   release = s2_fire,  flush = false.B)
6021d8f4dcbSJay
603cb6e5d3cSssszwic  val hit_0_except_1_latch   = holdReleaseLatch(valid = hit_0_except_1,  release = s2_fire,  flush = false.B)
604cb6e5d3cSssszwic  val miss_0_except_1_latch  = holdReleaseLatch(valid = miss_0_except_1, release = s2_fire,  flush = false.B)
605cb6e5d3cSssszwic  val except_0_latch         = holdReleaseLatch(valid = except_0,        release = s2_fire,  flush = false.B)
6061d8f4dcbSJay
6071c746d3aScui fliter  /*** secondary miss judgment ***/
6081d8f4dcbSJay  def waitSecondComeIn(missState: UInt): Bool = (missState === m_wait_sec_miss)
6091d8f4dcbSJay
6101d8f4dcbSJay  def getMissSituat(slotNum : Int, missNum : Int ) :Bool =  {
611227f2b93SJenius    RegNext(s1_fire) &&
612227f2b93SJenius    RegNext(missSlot(slotNum).m_vSetIdx === s1_req_vsetIdx(missNum)) &&
613227f2b93SJenius    RegNext(missSlot(slotNum).m_pTag  === s1_req_ptags(missNum)) &&
614b1ded4e8Sguohongyu    !s2_port_hit(missNum) && !s2_prefetch_hit(missNum) &&
615227f2b93SJenius    waitSecondComeIn(missStateQueue(slotNum))
6161d8f4dcbSJay  }
6171d8f4dcbSJay
618cb6e5d3cSssszwic  /*** compare new req and last req saved in miss slot ***/
6191d8f4dcbSJay  val miss_0_s2_0 = getMissSituat(slotNum = 0, missNum = 0)
6201d8f4dcbSJay  val miss_0_s2_1 = getMissSituat(slotNum = 0, missNum = 1)
6211d8f4dcbSJay  val miss_1_s2_0 = getMissSituat(slotNum = 1, missNum = 0)
6221d8f4dcbSJay  val miss_1_s2_1 = getMissSituat(slotNum = 1, missNum = 1)
6231d8f4dcbSJay
6241d8f4dcbSJay  val miss_0_s2_0_latch = holdReleaseLatch(valid = miss_0_s2_0,  release = s2_fire,  flush = false.B)
6251d8f4dcbSJay  val miss_0_s2_1_latch = holdReleaseLatch(valid = miss_0_s2_1,  release = s2_fire,  flush = false.B)
6261d8f4dcbSJay  val miss_1_s2_0_latch = holdReleaseLatch(valid = miss_1_s2_0,  release = s2_fire,  flush = false.B)
6271d8f4dcbSJay  val miss_1_s2_1_latch = holdReleaseLatch(valid = miss_1_s2_1,  release = s2_fire,  flush = false.B)
6281d8f4dcbSJay
6291d8f4dcbSJay  val slot_0_solve = fix_sec_miss(0) || fix_sec_miss(1)
6301d8f4dcbSJay  val slot_1_solve = fix_sec_miss(2) || fix_sec_miss(3)
6311d8f4dcbSJay  val slot_slove   = VecInit(Seq(slot_0_solve, slot_1_solve))
6321d8f4dcbSJay  fix_sec_miss   := VecInit(Seq(miss_0_s2_0_latch, miss_0_s2_1_latch, miss_1_s2_0_latch, miss_1_s2_1_latch))
6331d8f4dcbSJay
63458dbdfc2SJay  /*** reserved data for secondary miss ***/
6351d8f4dcbSJay  reservedRefillData(0) := DataHoldBypass(data = missSlot(0).m_data, valid = miss_0_s2_0 || miss_0_s2_1)
6361d8f4dcbSJay  reservedRefillData(1) := DataHoldBypass(data = missSlot(1).m_data, valid = miss_1_s2_0 || miss_1_s2_1)
6371d8f4dcbSJay
63858dbdfc2SJay  /*** miss state machine ***/
639a61aefd2SJenius
640a61aefd2SJenius  //deal with not-cache-hit pmp af
641a61aefd2SJenius  val only_pmp_af = Wire(Vec(2, Bool()))
642a61aefd2SJenius  only_pmp_af(0) := s2_except_pmp_af(0) && cacheline_0_miss && !s2_except(0) && s2_valid
643a61aefd2SJenius  only_pmp_af(1) := s2_except_pmp_af(1) && cacheline_1_miss && !s2_except(1) && s2_valid && s2_double_line
64458dbdfc2SJay
6451d8f4dcbSJay  switch(wait_state){
6461d8f4dcbSJay    is(wait_idle){
6474a9944cbSJenius      when(only_pmp_af(0) || only_pmp_af(1) || s2_mmio){
648227f2b93SJenius        //should not send req to MissUnit when there is an access exception in PMP
649227f2b93SJenius        //But to avoid using pmp exception in control signal (like s2_fire), should delay 1 cycle.
650227f2b93SJenius        //NOTE: pmp exception cache line also could hit in ICache, but the result is meaningless. Just give the exception signals.
651227f2b93SJenius        wait_state := wait_finish
652227f2b93SJenius      }.elsewhen(miss_0_except_1_latch){
6531d8f4dcbSJay        wait_state :=  Mux(toMSHR(0).ready, wait_queue_ready ,wait_idle )
6541d8f4dcbSJay      }.elsewhen(only_0_miss_latch  || miss_0_hit_1_latch){
6551d8f4dcbSJay        wait_state :=  Mux(toMSHR(0).ready, wait_queue_ready ,wait_idle )
6561d8f4dcbSJay      }.elsewhen(hit_0_miss_1_latch){
6571d8f4dcbSJay        wait_state :=  Mux(toMSHR(1).ready, wait_queue_ready ,wait_idle )
6581d8f4dcbSJay      }.elsewhen(miss_0_miss_1_latch ){
6591d8f4dcbSJay        wait_state := Mux(toMSHR(0).ready && toMSHR(1).ready, wait_queue_ready ,wait_idle)
6601d8f4dcbSJay      }
6611d8f4dcbSJay    }
6621d8f4dcbSJay
6631d8f4dcbSJay    is(wait_queue_ready){
6641d8f4dcbSJay      wait_state := wait_send_req
6651d8f4dcbSJay    }
6661d8f4dcbSJay
6671d8f4dcbSJay    is(wait_send_req) {
6681d8f4dcbSJay      when(miss_0_except_1_latch || only_0_miss_latch || hit_0_miss_1_latch || miss_0_hit_1_latch){
6691d8f4dcbSJay        wait_state :=  wait_one_resp
6701d8f4dcbSJay      }.elsewhen( miss_0_miss_1_latch ){
6711d8f4dcbSJay        wait_state := wait_two_resp
6721d8f4dcbSJay      }
6731d8f4dcbSJay    }
6741d8f4dcbSJay
6751d8f4dcbSJay    is(wait_one_resp) {
676935edac4STang Haojin      when( (miss_0_except_1_latch ||only_0_miss_latch || miss_0_hit_1_latch) && fromMSHR(0).fire){
6771d8f4dcbSJay        wait_state := wait_finish
678935edac4STang Haojin      }.elsewhen( hit_0_miss_1_latch && fromMSHR(1).fire){
6791d8f4dcbSJay        wait_state := wait_finish
6801d8f4dcbSJay      }
6811d8f4dcbSJay    }
6821d8f4dcbSJay
6831d8f4dcbSJay    is(wait_two_resp) {
684935edac4STang Haojin      when(fromMSHR(0).fire && fromMSHR(1).fire){
6851d8f4dcbSJay        wait_state := wait_finish
686935edac4STang Haojin      }.elsewhen( !fromMSHR(0).fire && fromMSHR(1).fire ){
6871d8f4dcbSJay        wait_state := wait_0_resp
688935edac4STang Haojin      }.elsewhen(fromMSHR(0).fire && !fromMSHR(1).fire){
6891d8f4dcbSJay        wait_state := wait_1_resp
6901d8f4dcbSJay      }
6911d8f4dcbSJay    }
6921d8f4dcbSJay
6931d8f4dcbSJay    is(wait_0_resp) {
694935edac4STang Haojin      when(fromMSHR(0).fire){
6951d8f4dcbSJay        wait_state := wait_finish
6961d8f4dcbSJay      }
6971d8f4dcbSJay    }
6981d8f4dcbSJay
6991d8f4dcbSJay    is(wait_1_resp) {
700935edac4STang Haojin      when(fromMSHR(1).fire){
7011d8f4dcbSJay        wait_state := wait_finish
7021d8f4dcbSJay      }
7031d8f4dcbSJay    }
7041d8f4dcbSJay
7052a25dbb4SJay    is(wait_finish) {when(s2_fire) {wait_state := wait_idle }
7061d8f4dcbSJay    }
7071d8f4dcbSJay  }
7081d8f4dcbSJay
7091d8f4dcbSJay
71058dbdfc2SJay  /*** send request to MissUnit ***/
71158dbdfc2SJay
7121d8f4dcbSJay  (0 until 2).map { i =>
7131d8f4dcbSJay    if(i == 1) toMSHR(i).valid   := (hit_0_miss_1_latch || miss_0_miss_1_latch) && wait_state === wait_queue_ready && !s2_mmio
7141d8f4dcbSJay        else     toMSHR(i).valid := (only_0_miss_latch || miss_0_hit_1_latch || miss_0_miss_1_latch || miss_0_except_1_latch) && wait_state === wait_queue_ready && !s2_mmio
7151d8f4dcbSJay    toMSHR(i).bits.paddr    := s2_req_paddr(i)
7161d8f4dcbSJay    toMSHR(i).bits.vaddr    := s2_req_vaddr(i)
7171d8f4dcbSJay    toMSHR(i).bits.waymask  := s2_waymask(i)
7181d8f4dcbSJay
7191d8f4dcbSJay
720935edac4STang Haojin    when(toMSHR(i).fire && missStateQueue(i) === m_invalid){
7211d8f4dcbSJay      missStateQueue(i)     := m_valid
7221d8f4dcbSJay      missSlot(i).m_vSetIdx := s2_req_vsetIdx(i)
7231d8f4dcbSJay      missSlot(i).m_pTag    := get_phy_tag(s2_req_paddr(i))
7241d8f4dcbSJay    }
7251d8f4dcbSJay
726935edac4STang Haojin    when(fromMSHR(i).fire && missStateQueue(i) === m_valid ){
7271d8f4dcbSJay      missStateQueue(i)         := m_refilled
7281d8f4dcbSJay      missSlot(i).m_data        := fromMSHR(i).bits.data
72958dbdfc2SJay      missSlot(i).m_corrupt     := fromMSHR(i).bits.corrupt
7301d8f4dcbSJay    }
7311d8f4dcbSJay
7321d8f4dcbSJay
7331d8f4dcbSJay    when(s2_fire && missStateQueue(i) === m_refilled){
7341d8f4dcbSJay      missStateQueue(i)     := m_wait_sec_miss
7351d8f4dcbSJay    }
7361d8f4dcbSJay
7372a3050c2SJay    /*** Only the first cycle to check whether meet the secondary miss ***/
7381d8f4dcbSJay    when(missStateQueue(i) === m_wait_sec_miss){
7392a3050c2SJay      /*** The seondary req has been fix by this slot and another also hit || the secondary req for other cacheline and hit ***/
7401d8f4dcbSJay      when((slot_slove(i) && s2_fire) || (!slot_slove(i) && s2_fire) ) {
7411d8f4dcbSJay        missStateQueue(i)     := m_invalid
7421d8f4dcbSJay      }
7432a3050c2SJay      /*** The seondary req has been fix by this slot but another miss/f3 not ready || the seondary req for other cacheline and miss ***/
7441d8f4dcbSJay      .elsewhen((slot_slove(i) && !s2_fire && s2_valid) ||  (s2_valid && !slot_slove(i) && !s2_fire) ){
7451d8f4dcbSJay        missStateQueue(i)     := m_check_final
7461d8f4dcbSJay      }
7471d8f4dcbSJay    }
7481d8f4dcbSJay
749935edac4STang Haojin    when(missStateQueue(i) === m_check_final && toMSHR(i).fire){
7501d8f4dcbSJay      missStateQueue(i)     :=  m_valid
7511d8f4dcbSJay      missSlot(i).m_vSetIdx := s2_req_vsetIdx(i)
7521d8f4dcbSJay      missSlot(i).m_pTag    := get_phy_tag(s2_req_paddr(i))
7531d8f4dcbSJay    }.elsewhen(missStateQueue(i) === m_check_final) {
7541d8f4dcbSJay      missStateQueue(i)     :=  m_invalid
7551d8f4dcbSJay    }
7561d8f4dcbSJay  }
7571d8f4dcbSJay
7587052722fSJay  when(toMSHR.map(_.valid).reduce(_||_)){
7597052722fSJay    missSwitchBit := true.B
7607052722fSJay  }.elsewhen(missSwitchBit && s2_fetch_finish){
7617052722fSJay    missSwitchBit := false.B
7627052722fSJay  }
7637052722fSJay
764974a902cSguohongyu  (0 until PortNumber).foreach{
765974a902cSguohongyu    i =>
76658c354d0Sssszwic      toIPrefetch.missSlot(i).valid   := missStateQueue(i) =/= m_invalid
76758c354d0Sssszwic      toIPrefetch.missSlot(i).vSetIdx := missSlot(i).m_vSetIdx
76858c354d0Sssszwic      toIPrefetch.missSlot(i).ptag    := missSlot(i).m_pTag
769974a902cSguohongyu  }
770974a902cSguohongyu
771a8fabd82SJenius  val miss_all_fix       =  wait_state === wait_finish
772227f2b93SJenius
773227f2b93SJenius  s2_fetch_finish        := ((s2_valid && s2_fixed_hit) || miss_all_fix || hit_0_except_1_latch || except_0_latch)
7741d8f4dcbSJay
77558dbdfc2SJay  /** update replacement status register: 0 is hit access/ 1 is miss access */
7761d8f4dcbSJay  (touch_ways zip touch_sets).zipWithIndex.map{ case((t_w,t_s), i) =>
7775b0cc873Sguohongyu    t_s(0)         := s2_req_vsetIdx(i)(highestIdxBit, 1)
77861e1db30SJay    t_w(0).valid   := s2_valid && s2_port_hit(i)
77961e1db30SJay    t_w(0).bits    := OHToUInt(s2_tag_match_vec(i))
7801d8f4dcbSJay
7815b0cc873Sguohongyu    t_s(1)         := s2_req_vsetIdx(i)(highestIdxBit, 1)
7821d8f4dcbSJay    t_w(1).valid   := s2_valid && !s2_port_hit(i)
7831d8f4dcbSJay    t_w(1).bits    := OHToUInt(s2_waymask(i))
7841d8f4dcbSJay  }
7851d8f4dcbSJay
7863fbf8eafSJenius  //** use hit one-hot select data
787cb6e5d3cSssszwic  val s2_hit_datas    = VecInit(s2_data_cacheline.zipWithIndex.map { case(bank, i) =>
788cb6e5d3cSssszwic    val port_hit_data = Mux1H(s2_tag_match_vec(i).asUInt, bank)
7893fbf8eafSJenius    port_hit_data
7903fbf8eafSJenius  })
7913fbf8eafSJenius
792dc270d3bSJenius  val s2_register_datas       = Wire(Vec(2, UInt(blockBits.W)))
7931d8f4dcbSJay
794dc270d3bSJenius  s2_register_datas.zipWithIndex.map{case(bank,i) =>
795dc270d3bSJenius    // if(i == 0) bank := Mux(s2_port_hit(i), s2_hit_datas(i), Mux(miss_0_s2_0_latch,reservedRefillData(0), Mux(miss_1_s2_0_latch,reservedRefillData(1), missSlot(0).m_data)))
796dc270d3bSJenius    // else    bank    := Mux(s2_port_hit(i), s2_hit_datas(i), Mux(miss_0_s2_1_latch,reservedRefillData(0), Mux(miss_1_s2_1_latch,reservedRefillData(1), missSlot(1).m_data)))
797dc270d3bSJenius    if(i == 0) bank := Mux(miss_0_s2_0_latch,reservedRefillData(0), Mux(miss_1_s2_0_latch,reservedRefillData(1), missSlot(0).m_data))
798dc270d3bSJenius    else    bank    := Mux(miss_0_s2_1_latch,reservedRefillData(0), Mux(miss_1_s2_1_latch,reservedRefillData(1), missSlot(1).m_data))
7991d8f4dcbSJay  }
8001d8f4dcbSJay
80158dbdfc2SJay  /** response to IFU */
8021d8f4dcbSJay
8031d8f4dcbSJay  (0 until PortNumber).map{ i =>
8041d8f4dcbSJay    if(i ==0) toIFU(i).valid          := s2_fire
8051d8f4dcbSJay       else   toIFU(i).valid          := s2_fire && s2_double_line
806dc270d3bSJenius    //when select is high, use sramData. Otherwise, use registerData.
807dc270d3bSJenius    toIFU(i).bits.registerData  := s2_register_datas(i)
808b1ded4e8Sguohongyu    toIFU(i).bits.sramData  := Mux(s2_port_hit(i), s2_hit_datas(i), s2_prefetch_hit_data(i))
809b1ded4e8Sguohongyu    toIFU(i).bits.select    := s2_port_hit(i) || s2_prefetch_hit(i)
8101d8f4dcbSJay    toIFU(i).bits.paddr     := s2_req_paddr(i)
8111d8f4dcbSJay    toIFU(i).bits.vaddr     := s2_req_vaddr(i)
812cb6e5d3cSssszwic    toIFU(i).bits.tlbExcp.pageFault     := s2_except_tlb_pf(i)
813227f2b93SJenius    toIFU(i).bits.tlbExcp.accessFault   := s2_except_tlb_af(i) || missSlot(i).m_corrupt || s2_except_pmp_af(i)
814227f2b93SJenius    toIFU(i).bits.tlbExcp.mmio          := s2_mmio
8159ef181f4SWilliam Wang
8169ef181f4SWilliam Wang    when(RegNext(s2_fire && missSlot(i).m_corrupt)){
8179ef181f4SWilliam Wang      io.errors(i).valid            := true.B
8180f59c834SWilliam Wang      io.errors(i).report_to_beu    := false.B // l2 should have report that to bus error unit, no need to do it again
8190f59c834SWilliam Wang      io.errors(i).paddr            := RegNext(s2_req_paddr(i))
8209ef181f4SWilliam Wang      io.errors(i).source.tag       := false.B
8219ef181f4SWilliam Wang      io.errors(i).source.data      := false.B
8229ef181f4SWilliam Wang      io.errors(i).source.l2        := true.B
8239ef181f4SWilliam Wang    }
8241d8f4dcbSJay  }
825d2b20d1aSTang Haojin  io.fetch.topdownIcacheMiss := !s2_hit
826d2b20d1aSTang Haojin  io.fetch.topdownItlbMiss := itlbMissStage(0)
827d2b20d1aSTang Haojin
828b1ded4e8Sguohongyu  (0 until 2).map {i =>
829d4112e88Sguohongyu    XSPerfAccumulate("port_" + i + "_only_hit_in_ipf", !s2_port_hit(i) && s2_prefetch_hit(i) && s2_fire)
830b1ded4e8Sguohongyu  }
831b1ded4e8Sguohongyu
832a108d429SJay  io.perfInfo.only_0_hit      := only_0_hit_latch
8331d8f4dcbSJay  io.perfInfo.only_0_miss     := only_0_miss_latch
8341d8f4dcbSJay  io.perfInfo.hit_0_hit_1     := hit_0_hit_1_latch
8351d8f4dcbSJay  io.perfInfo.hit_0_miss_1    := hit_0_miss_1_latch
8361d8f4dcbSJay  io.perfInfo.miss_0_hit_1    := miss_0_hit_1_latch
8371d8f4dcbSJay  io.perfInfo.miss_0_miss_1   := miss_0_miss_1_latch
838a108d429SJay  io.perfInfo.hit_0_except_1  := hit_0_except_1_latch
839a108d429SJay  io.perfInfo.miss_0_except_1 := miss_0_except_1_latch
840a108d429SJay  io.perfInfo.except_0        := except_0_latch
8411d8f4dcbSJay  io.perfInfo.bank_hit(0)     := only_0_miss_latch  || hit_0_hit_1_latch || hit_0_miss_1_latch || hit_0_except_1_latch
8421d8f4dcbSJay  io.perfInfo.bank_hit(1)     := miss_0_hit_1_latch || hit_0_hit_1_latch
843a108d429SJay  io.perfInfo.hit             := hit_0_hit_1_latch || only_0_hit_latch || hit_0_except_1_latch || except_0_latch
84458dbdfc2SJay
84558dbdfc2SJay  /** <PERF> fetch bubble generated by icache miss*/
84658dbdfc2SJay
84700240ba6SJay  XSPerfAccumulate("icache_bubble_s2_miss",    s2_valid && !s2_fetch_finish )
84858dbdfc2SJay
849cb6e5d3cSssszwic  // TODO: this perf is wrong!
850eb163ef0SHaojin Tang  val tlb_miss_vec = VecInit((0 until PortNumber).map(i => toITLB(i).valid && s0_can_go && fromITLB(i).bits.miss))
851eb163ef0SHaojin Tang  val tlb_has_miss = tlb_miss_vec.reduce(_ || _)
852eb163ef0SHaojin Tang  XSPerfAccumulate("icache_bubble_s0_tlb_miss",    s0_valid && tlb_has_miss )
8535470b21eSguohongyu
854afa866b1Sguohongyu  if (env.EnableDifftest) {
855afa866b1Sguohongyu    val discards = (0 until PortNumber).map { i =>
856afa866b1Sguohongyu      val discard = toIFU(i).bits.tlbExcp.pageFault || toIFU(i).bits.tlbExcp.accessFault || toIFU(i).bits.tlbExcp.mmio
857afa866b1Sguohongyu      discard
858afa866b1Sguohongyu    }
859afa866b1Sguohongyu    (0 until PortNumber).map { i =>
860a0c65233SYinan Xu      val diffMainPipeOut = DifftestModule(new DiffRefillEvent, dontCare = true)
8617d45a146SYinan Xu      diffMainPipeOut.coreid := io.hartId
8627d45a146SYinan Xu      diffMainPipeOut.index := (4 + i).U
8637d45a146SYinan Xu      if (i == 0) diffMainPipeOut.valid := s2_fire && !discards(0)
8647d45a146SYinan Xu      else        diffMainPipeOut.valid := s2_fire && s2_double_line && !discards(0) && !discards(1)
8657d45a146SYinan Xu      diffMainPipeOut.addr := s2_req_paddr(i)
866afa866b1Sguohongyu      when (toIFU(i).bits.select.asBool) {
8677d45a146SYinan Xu        diffMainPipeOut.data := toIFU(i).bits.sramData.asTypeOf(diffMainPipeOut.data)
868afa866b1Sguohongyu      } .otherwise {
8697d45a146SYinan Xu        diffMainPipeOut.data := toIFU(i).bits.registerData.asTypeOf(diffMainPipeOut.data)
870afa866b1Sguohongyu      }
871afa866b1Sguohongyu      // idtfr: 1 -> data from icache 2 -> data from ipf 3 -> data from piq 4 -> data from missUnit
8727d45a146SYinan Xu      when (s2_port_hit(i)) { diffMainPipeOut.idtfr := 1.U }
873afa866b1Sguohongyu        .elsewhen(s2_prefetch_hit(i)) {
8747d45a146SYinan Xu          when (s2_prefetch_hit_in_ipf(i)) { diffMainPipeOut.idtfr := 2.U  }
8757d45a146SYinan Xu            .elsewhen(s2_prefetch_hit_in_piq(i)) { diffMainPipeOut.idtfr := 3.U }
876935edac4STang Haojin            .otherwise { diffMainPipeOut.idtfr := DontCare; XSWarn(true.B, "should not in this situation\n") }
877afa866b1Sguohongyu        }
8787d45a146SYinan Xu        .otherwise { diffMainPipeOut.idtfr := 4.U }
879afa866b1Sguohongyu      diffMainPipeOut
880afa866b1Sguohongyu    }
881afa866b1Sguohongyu  }
8821d8f4dcbSJay}
883