xref: /XiangShan/src/main/scala/xiangshan/frontend/icache/ICacheMainPipe.scala (revision 002c10a4fe8276bf0c48ff55808d87308a284882)
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}
2988895b11Sxu_zhimport xiangshan.frontend.{FtqICacheInfo, FtqToICacheRequestBundle, ExceptionType}
301d8f4dcbSJay
311d8f4dcbSJayclass ICacheMainPipeReq(implicit p: Parameters) extends ICacheBundle
321d8f4dcbSJay{
331d8f4dcbSJay  val vaddr  = UInt(VAddrBits.W)
34b92f8445Sssszwic  def vSetIdx = get_idx(vaddr)
351d8f4dcbSJay}
361d8f4dcbSJay
371d8f4dcbSJayclass ICacheMainPipeResp(implicit p: Parameters) extends ICacheBundle
381d8f4dcbSJay{
391d8f4dcbSJay  val vaddr    = UInt(VAddrBits.W)
40b92f8445Sssszwic  val data     = UInt((blockBits).W)
411d8f4dcbSJay  val paddr    = UInt(PAddrBits.W)
42d0de7e4aSpeixiaokun  val gpaddr    = UInt(GPAddrBits.W)
4388895b11Sxu_zh  val exception = UInt(ExceptionType.width.W)
44*002c10a4SYanqin Li  val pmp_mmio  = Bool()
45*002c10a4SYanqin Li  val itlb_pbmt = UInt(Pbmt.width.W)
461d8f4dcbSJay}
471d8f4dcbSJay
481d8f4dcbSJayclass ICacheMainPipeBundle(implicit p: Parameters) extends ICacheBundle
491d8f4dcbSJay{
50c5c5edaeSJenius  val req  = Flipped(Decoupled(new FtqToICacheRequestBundle))
51c5c5edaeSJenius  val resp = Vec(PortNumber, ValidIO(new ICacheMainPipeResp))
52d2b20d1aSTang Haojin  val topdownIcacheMiss = Output(Bool())
53d2b20d1aSTang Haojin  val topdownItlbMiss = Output(Bool())
541d8f4dcbSJay}
551d8f4dcbSJay
561d8f4dcbSJayclass ICacheMetaReqBundle(implicit p: Parameters) extends ICacheBundle{
57afed18b5SJenius  val toIMeta       = DecoupledIO(new ICacheReadBundle)
581d8f4dcbSJay  val fromIMeta     = Input(new ICacheMetaRespBundle)
591d8f4dcbSJay}
601d8f4dcbSJay
611d8f4dcbSJayclass ICacheDataReqBundle(implicit p: Parameters) extends ICacheBundle{
62b92f8445Sssszwic  val toIData       = Vec(partWayNum, DecoupledIO(new ICacheReadBundle))
631d8f4dcbSJay  val fromIData     = Input(new ICacheDataRespBundle)
641d8f4dcbSJay}
651d8f4dcbSJay
661d8f4dcbSJayclass ICacheMSHRBundle(implicit p: Parameters) extends ICacheBundle{
67b92f8445Sssszwic  val req   = Decoupled(new ICacheMissReq)
68b92f8445Sssszwic  val resp  = Flipped(ValidIO(new ICacheMissResp))
691d8f4dcbSJay}
701d8f4dcbSJay
711d8f4dcbSJayclass ICachePMPBundle(implicit p: Parameters) extends ICacheBundle{
721d8f4dcbSJay  val req  = Valid(new PMPReqBundle())
731d8f4dcbSJay  val resp = Input(new PMPRespBundle())
741d8f4dcbSJay}
751d8f4dcbSJay
761d8f4dcbSJayclass ICachePerfInfo(implicit p: Parameters) extends ICacheBundle{
771d8f4dcbSJay  val only_0_hit     = Bool()
781d8f4dcbSJay  val only_0_miss    = Bool()
791d8f4dcbSJay  val hit_0_hit_1    = Bool()
801d8f4dcbSJay  val hit_0_miss_1   = Bool()
811d8f4dcbSJay  val miss_0_hit_1   = Bool()
821d8f4dcbSJay  val miss_0_miss_1  = Bool()
83a108d429SJay  val hit_0_except_1 = Bool()
84a108d429SJay  val miss_0_except_1 = Bool()
85a108d429SJay  val except_0       = Bool()
861d8f4dcbSJay  val bank_hit       = Vec(2,Bool())
871d8f4dcbSJay  val hit            = Bool()
881d8f4dcbSJay}
891d8f4dcbSJay
901d8f4dcbSJayclass ICacheMainPipeInterface(implicit p: Parameters) extends ICacheBundle {
91f57f7f2aSYangyu Chen  val hartId = Input(UInt(hartIdLen.W))
922a3050c2SJay  /*** internal interface ***/
931d8f4dcbSJay  val dataArray     = new ICacheDataReqBundle
94b1ded4e8Sguohongyu  /** prefetch io */
95b92f8445Sssszwic  val touch = Vec(PortNumber,ValidIO(new ReplacerTouch))
96b92f8445Sssszwic  val wayLookupRead = Flipped(DecoupledIO(new WayLookupInfo))
97cb6e5d3cSssszwic
98b92f8445Sssszwic  val mshr          = new ICacheMSHRBundle
990184a80eSYanqin Li  val errors        = Output(Vec(PortNumber, ValidIO(new L1CacheErrorInfo)))
1002a3050c2SJay  /*** outside interface ***/
101c5c5edaeSJenius  //val fetch       = Vec(PortNumber, new ICacheMainPipeBundle)
102c5c5edaeSJenius  /* when ftq.valid is high in T + 1 cycle
103c5c5edaeSJenius   * the ftq component must be valid in T cycle
104c5c5edaeSJenius   */
105c5c5edaeSJenius  val fetch       = new ICacheMainPipeBundle
1061d8f4dcbSJay  val pmp         = Vec(PortNumber, new ICachePMPBundle)
1071d8f4dcbSJay  val respStall   = Input(Bool())
10858dbdfc2SJay
109ecccf78fSJay  val csr_parity_enable = Input(Bool())
110b92f8445Sssszwic  val flush = Input(Bool())
111b92f8445Sssszwic
112b92f8445Sssszwic  val perfInfo = Output(new ICachePerfInfo)
1131d8f4dcbSJay}
1141d8f4dcbSJay
115f9c51548Sssszwicclass ICacheDB(implicit p: Parameters) extends ICacheBundle {
116f9c51548Sssszwic  val blk_vaddr   = UInt((VAddrBits - blockOffBits).W)
117f9c51548Sssszwic  val blk_paddr   = UInt((PAddrBits - blockOffBits).W)
118f9c51548Sssszwic  val hit         = Bool()
119f9c51548Sssszwic}
120f9c51548Sssszwic
1211d8f4dcbSJayclass ICacheMainPipe(implicit p: Parameters) extends ICacheModule
1221d8f4dcbSJay{
1231d8f4dcbSJay  val io = IO(new ICacheMainPipeInterface)
1241d8f4dcbSJay
12558dbdfc2SJay  /** Input/Output port */
126c5c5edaeSJenius  val (fromFtq, toIFU)    = (io.fetch.req,          io.fetch.resp)
127b92f8445Sssszwic  val (toData,  fromData) = (io.dataArray.toIData,  io.dataArray.fromIData)
128b92f8445Sssszwic  val (toMSHR,  fromMSHR) = (io.mshr.req,           io.mshr.resp)
1291d8f4dcbSJay  val (toPMP,   fromPMP)  = (io.pmp.map(_.req),     io.pmp.map(_.resp))
130b92f8445Sssszwic  val fromWayLookup = io.wayLookupRead
13158c354d0Sssszwic
13258c354d0Sssszwic  // Statistics on the frequency distribution of FTQ fire interval
13358c354d0Sssszwic  val cntFtqFireInterval = RegInit(0.U(32.W))
13458c354d0Sssszwic  cntFtqFireInterval := Mux(fromFtq.fire, 1.U, cntFtqFireInterval + 1.U)
135da05f2feSYangyu Chen  XSPerfHistogram("ftq2icache_fire",
13658c354d0Sssszwic                  cntFtqFireInterval, fromFtq.fire,
13758c354d0Sssszwic                  1, 300, 1, right_strict = true)
138b1ded4e8Sguohongyu
13958dbdfc2SJay  /** pipeline control signal */
140f1fe8698SLemover  val s1_ready, s2_ready = Wire(Bool())
141f1fe8698SLemover  val s0_fire,  s1_fire , s2_fire  = Wire(Bool())
142b92f8445Sssszwic  val s0_flush,  s1_flush , s2_flush  = Wire(Bool())
1431d8f4dcbSJay
1442a3050c2SJay  /**
1452a3050c2SJay    ******************************************************************************
14658dbdfc2SJay    * ICache Stage 0
147b92f8445Sssszwic    * - send req to data SRAM
148b92f8445Sssszwic    * - get waymask and tlb info from wayLookup
1492a3050c2SJay    ******************************************************************************
1502a3050c2SJay    */
1512a3050c2SJay
15258dbdfc2SJay  /** s0 control */
153b92f8445Sssszwic  // 0,1,2,3 -> dataArray(data); 4 -> mainPipe
154b92f8445Sssszwic  // Ftq RegNext Register
155b92f8445Sssszwic  val fromFtqReq          = fromFtq.bits.pcMemRead
156c5c5edaeSJenius  val s0_valid            = fromFtq.valid
157b92f8445Sssszwic  val s0_req_valid_all    = (0 until partWayNum + 1).map(i => fromFtq.bits.readValid(i))
158b92f8445Sssszwic  val s0_req_vaddr_all    = (0 until partWayNum + 1).map(i => VecInit(Seq(fromFtqReq(i).startAddr, fromFtqReq(i).nextlineStart)))
15988895b11Sxu_zh  val s0_req_vSetIdx_all  = (0 until partWayNum + 1).map(i => VecInit(s0_req_vaddr_all(i).map(get_idx)))
160b92f8445Sssszwic  val s0_req_offset_all   = (0 until partWayNum + 1).map(i => s0_req_vaddr_all(i)(0)(log2Ceil(blockBytes)-1, 0))
161b92f8445Sssszwic  val s0_doubleline_all   = (0 until partWayNum + 1).map(i => fromFtq.bits.readValid(i) && fromFtqReq(i).crossCacheline)
1621d8f4dcbSJay
163b92f8445Sssszwic  val s0_req_vaddr        = s0_req_vaddr_all.last
164b92f8445Sssszwic  val s0_req_vSetIdx      = s0_req_vSetIdx_all.last
165b92f8445Sssszwic  val s0_doubleline       = s0_doubleline_all.last
16661e1db30SJay
167b92f8445Sssszwic  /**
168b92f8445Sssszwic    ******************************************************************************
169b92f8445Sssszwic    * get waymask and tlb info from wayLookup
170b92f8445Sssszwic    ******************************************************************************
171b92f8445Sssszwic    */
172b92f8445Sssszwic  fromWayLookup.ready := s0_fire
173b92f8445Sssszwic  val s0_waymasks       = VecInit(fromWayLookup.bits.waymask.map(_.asTypeOf(Vec(nWays, Bool()))))
174b92f8445Sssszwic  val s0_req_ptags      = fromWayLookup.bits.ptag
175b92f8445Sssszwic  val s0_req_gpaddr     = fromWayLookup.bits.gpaddr
17688895b11Sxu_zh  val s0_itlb_exception = fromWayLookup.bits.itlb_exception
177*002c10a4SYanqin Li  val s0_itlb_pbmt      = fromWayLookup.bits.itlb_pbmt
17888895b11Sxu_zh  val s0_meta_corrupt   = fromWayLookup.bits.meta_corrupt
17988895b11Sxu_zh  val s0_hits           = VecInit(fromWayLookup.bits.waymask.map(_.orR))
180f56177cbSJenius
181b92f8445Sssszwic  when(s0_fire){
182b92f8445Sssszwic    assert((0 until PortNumber).map(i => s0_req_vSetIdx(i) === fromWayLookup.bits.vSetIdx(i)).reduce(_&&_),
183b92f8445Sssszwic           "vSetIdxs from ftq and wayLookup are different! vaddr0=0x%x ftq: vidx0=0x%x vidx1=0x%x wayLookup: vidx0=0x%x vidx1=0x%x",
184b92f8445Sssszwic           s0_req_vaddr(0), s0_req_vSetIdx(0), s0_req_vSetIdx(1), fromWayLookup.bits.vSetIdx(0), fromWayLookup.bits.vSetIdx(1))
1851d8f4dcbSJay  }
186afed18b5SJenius
187b92f8445Sssszwic  /**
188b92f8445Sssszwic    ******************************************************************************
189b92f8445Sssszwic    * data SRAM request
190b92f8445Sssszwic    ******************************************************************************
191b92f8445Sssszwic    */
192b92f8445Sssszwic  for(i <- 0 until partWayNum) {
193b92f8445Sssszwic    toData(i).valid             := s0_req_valid_all(i)
194b92f8445Sssszwic    toData(i).bits.isDoubleLine := s0_doubleline_all(i)
195b92f8445Sssszwic    toData(i).bits.vSetIdx      := s0_req_vSetIdx_all(i)
196b92f8445Sssszwic    toData(i).bits.blkOffset    := s0_req_offset_all(i)
197b92f8445Sssszwic    toData(i).bits.wayMask      := s0_waymasks
198b92f8445Sssszwic  }
199afed18b5SJenius
200b92f8445Sssszwic  val s0_can_go = toData.last.ready && fromWayLookup.valid && s1_ready
201b92f8445Sssszwic  s0_flush  := io.flush
202b92f8445Sssszwic  s0_fire   := s0_valid && s0_can_go && !s0_flush
2032a3050c2SJay
204c5c5edaeSJenius  fromFtq.ready := s0_can_go
205f1fe8698SLemover
2062a3050c2SJay  /**
2072a3050c2SJay    ******************************************************************************
20858dbdfc2SJay    * ICache Stage 1
209b92f8445Sssszwic    * - PMP check
210b92f8445Sssszwic    * - get Data SRAM read responses (latched for pipeline stop)
211b92f8445Sssszwic    * - monitor missUint response port
2122a3050c2SJay    ******************************************************************************
2132a3050c2SJay    */
214b92f8445Sssszwic  val s1_valid = generatePipeControl(lastFire = s0_fire, thisFire = s1_fire, thisFlush = s1_flush, lastFlush = false.B)
2151d8f4dcbSJay
216b92f8445Sssszwic  val s1_req_vaddr      = RegEnable(s0_req_vaddr,      0.U.asTypeOf(s0_req_vaddr),      s0_fire)
217b92f8445Sssszwic  val s1_req_ptags      = RegEnable(s0_req_ptags,      0.U.asTypeOf(s0_req_ptags),      s0_fire)
218b92f8445Sssszwic  val s1_req_gpaddr     = RegEnable(s0_req_gpaddr,     0.U.asTypeOf(s0_req_gpaddr),     s0_fire)
219b92f8445Sssszwic  val s1_doubleline     = RegEnable(s0_doubleline,     0.U.asTypeOf(s0_doubleline),     s0_fire)
220b92f8445Sssszwic  val s1_SRAMhits       = RegEnable(s0_hits,           0.U.asTypeOf(s0_hits),           s0_fire)
22188895b11Sxu_zh  val s1_itlb_exception = RegEnable(s0_itlb_exception, 0.U.asTypeOf(s0_itlb_exception), s0_fire)
222*002c10a4SYanqin Li  val s1_itlb_pbmt      = RegEnable(s0_itlb_pbmt,      0.U.asTypeOf(s0_itlb_pbmt),      s0_fire)
223b92f8445Sssszwic  val s1_waymasks       = RegEnable(s0_waymasks,       0.U.asTypeOf(s0_waymasks),       s0_fire)
22488895b11Sxu_zh  val s1_meta_corrupt   = RegEnable(s0_meta_corrupt,   0.U.asTypeOf(s0_meta_corrupt),   s0_fire)
2251d8f4dcbSJay
22688895b11Sxu_zh  val s1_req_vSetIdx  = s1_req_vaddr.map(get_idx)
227b92f8445Sssszwic  val s1_req_paddr    = s1_req_vaddr.zip(s1_req_ptags).map{case(vaddr, ptag) => get_paddr_from_ptag(vaddr, ptag)}
228b92f8445Sssszwic  val s1_req_offset   = s1_req_vaddr(0)(log2Ceil(blockBytes)-1, 0)
229b1ded4e8Sguohongyu
2302a3050c2SJay  /**
2312a3050c2SJay    ******************************************************************************
232b92f8445Sssszwic    * update replacement status register
2332a3050c2SJay    ******************************************************************************
2342a3050c2SJay    */
235b92f8445Sssszwic  (0 until PortNumber).foreach{ i =>
236b92f8445Sssszwic    io.touch(i).bits.vSetIdx  := s1_req_vSetIdx(i)
237b92f8445Sssszwic    io.touch(i).bits.way      := OHToUInt(s1_waymasks(i))
238b92f8445Sssszwic  }
239b92f8445Sssszwic  io.touch(0).valid := RegNext(s0_fire) && s1_SRAMhits(0)
240b92f8445Sssszwic  io.touch(1).valid := RegNext(s0_fire) && s1_SRAMhits(1) && s1_doubleline
241f1fe8698SLemover
242a61a35e0Sssszwic  /**
243a61a35e0Sssszwic    ******************************************************************************
244b92f8445Sssszwic    * PMP check
245a61a35e0Sssszwic    ******************************************************************************
246a61a35e0Sssszwic    */
24788895b11Sxu_zh  toPMP.zipWithIndex.foreach { case (p, i) =>
24888895b11Sxu_zh    // if itlb has exception, paddr can be invalid, therefore pmp check can be skipped
24988895b11Sxu_zh    p.valid     := s1_valid // && s1_itlb_exception === ExceptionType.none
250b92f8445Sssszwic    p.bits.addr := s1_req_paddr(i)
251a61a35e0Sssszwic    p.bits.size := 3.U // TODO
252a61a35e0Sssszwic    p.bits.cmd  := TlbCmd.exec
253a61a35e0Sssszwic  }
25488895b11Sxu_zh  val s1_pmp_exception = VecInit(fromPMP.map(ExceptionType.fromPMPResp))
255*002c10a4SYanqin Li  val s1_pmp_mmio      = VecInit(fromPMP.map(_.mmio))
25688895b11Sxu_zh
257f80535c3Sxu_zh  // also raise af when meta array corrupt is detected, to cancel fetch
258f80535c3Sxu_zh  val s1_meta_exception = VecInit(s1_meta_corrupt.map(ExceptionType.fromECC(io.csr_parity_enable, _)))
259f80535c3Sxu_zh
260f80535c3Sxu_zh  // merge s1 itlb/pmp/meta exceptions, itlb has the highest priority, pmp next, meta lowest
261f80535c3Sxu_zh  val s1_exception_out = ExceptionType.merge(
262f80535c3Sxu_zh    s1_itlb_exception,
263f80535c3Sxu_zh    s1_pmp_exception,
264f80535c3Sxu_zh    s1_meta_exception
265f80535c3Sxu_zh  )
2661d8f4dcbSJay
267*002c10a4SYanqin Li  // DO NOT merge pmp mmio and itlb pbmt here, we need them to be passed to IFU separately
268*002c10a4SYanqin Li
269a61a35e0Sssszwic  /**
270a61a35e0Sssszwic    ******************************************************************************
271b92f8445Sssszwic    * select data from MSHR, SRAM
272a61a35e0Sssszwic    ******************************************************************************
273a61a35e0Sssszwic    */
274b92f8445Sssszwic  val s1_MSHR_match = VecInit((0 until PortNumber).map(i => (s1_req_vSetIdx(i) === fromMSHR.bits.vSetIdx) &&
275b92f8445Sssszwic                                                            (s1_req_ptags(i) === getPhyTagFromBlk(fromMSHR.bits.blkPaddr)) &&
276b92f8445Sssszwic                                                            fromMSHR.valid && !fromMSHR.bits.corrupt))
277b92f8445Sssszwic  val s1_MSHR_hits  = Seq(s1_valid && s1_MSHR_match(0),
278b92f8445Sssszwic                          s1_valid && (s1_MSHR_match(1) && s1_doubleline))
279b92f8445Sssszwic  val s1_MSHR_datas = fromMSHR.bits.data.asTypeOf(Vec(ICacheDataBanks, UInt((blockBits/ICacheDataBanks).W)))
28079b191f7SJay
281b92f8445Sssszwic  val s1_hits = (0 until PortNumber).map(i => ValidHoldBypass(s1_MSHR_hits(i) || (RegNext(s0_fire) && s1_SRAMhits(i)), s1_fire || s1_flush))
282a61a35e0Sssszwic
283b92f8445Sssszwic  val s1_bankIdxLow  = s1_req_offset >> log2Ceil(blockBytes/ICacheDataBanks)
284b92f8445Sssszwic  val s1_bankMSHRHit = VecInit((0 until ICacheDataBanks).map(i => (i.U >= s1_bankIdxLow) && s1_MSHR_hits(0) ||
285b92f8445Sssszwic                                                      (i.U < s1_bankIdxLow) && s1_MSHR_hits(1)))
286b92f8445Sssszwic  val s1_datas       = VecInit((0 until ICacheDataBanks).map(i => DataHoldBypass(Mux(s1_bankMSHRHit(i), s1_MSHR_datas(i), fromData.datas(i)),
287b92f8445Sssszwic                                                          s1_bankMSHRHit(i) || RegNext(s0_fire))))
288b92f8445Sssszwic  val s1_codes       = DataHoldBypass(fromData.codes, RegNext(s0_fire))
289a61a35e0Sssszwic
290b92f8445Sssszwic  s1_flush := io.flush
291b92f8445Sssszwic  s1_ready := s2_ready || !s1_valid
292b92f8445Sssszwic  s1_fire  := s1_valid && s2_ready && !s1_flush
293a61a35e0Sssszwic
294a61a35e0Sssszwic  /**
295a61a35e0Sssszwic    ******************************************************************************
296b92f8445Sssszwic    * ICache Stage 2
297b92f8445Sssszwic    * - send request to MSHR if ICache miss
298b92f8445Sssszwic    * - monitor missUint response port
299b92f8445Sssszwic    * - response to IFU
300a61a35e0Sssszwic    ******************************************************************************
301a61a35e0Sssszwic    */
302a61a35e0Sssszwic
303b92f8445Sssszwic  val s2_valid = generatePipeControl(lastFire = s1_fire, thisFire = s2_fire, thisFlush = s2_flush, lastFlush = false.B)
304a61a35e0Sssszwic
305b92f8445Sssszwic  val s2_req_vaddr    = RegEnable(s1_req_vaddr,     0.U.asTypeOf(s1_req_vaddr),     s1_fire)
306b92f8445Sssszwic  val s2_req_ptags    = RegEnable(s1_req_ptags,     0.U.asTypeOf(s1_req_ptags),     s1_fire)
307b39ba14bSxu_zh  val s2_req_gpaddr   = RegEnable(s1_req_gpaddr,    0.U.asTypeOf(s1_req_gpaddr),    s1_fire)
308b92f8445Sssszwic  val s2_doubleline   = RegEnable(s1_doubleline,    0.U.asTypeOf(s1_doubleline),    s1_fire)
309f80535c3Sxu_zh  val s2_exception    = RegEnable(s1_exception_out, 0.U.asTypeOf(s1_exception_out), s1_fire)  // includes itlb/pmp/meta exception
310*002c10a4SYanqin Li  val s2_pmp_mmio     = RegEnable(s1_pmp_mmio,      0.U.asTypeOf(s1_pmp_mmio),      s1_fire)
311*002c10a4SYanqin Li  val s2_itlb_pbmt    = RegEnable(s1_itlb_pbmt,     0.U.asTypeOf(s1_itlb_pbmt),     s1_fire)
312a61a35e0Sssszwic
31388895b11Sxu_zh  val s2_req_vSetIdx  = s2_req_vaddr.map(get_idx)
314b92f8445Sssszwic  val s2_req_offset   = s2_req_vaddr(0)(log2Ceil(blockBytes)-1, 0)
315b92f8445Sssszwic  val s2_req_paddr    = s2_req_vaddr.zip(s2_req_ptags).map{case(vaddr, ptag) => get_paddr_from_ptag(vaddr, ptag)}
316a61a35e0Sssszwic
317b92f8445Sssszwic  val s2_SRAMhits     = RegEnable(s1_SRAMhits, 0.U.asTypeOf(s1_SRAMhits), s1_fire)
318b92f8445Sssszwic  val s2_codes        = RegEnable(s1_codes, 0.U.asTypeOf(s1_codes), s1_fire)
319b92f8445Sssszwic  val s2_hits         = RegInit(VecInit(Seq.fill(PortNumber)(false.B)))
320b92f8445Sssszwic  val s2_datas        = RegInit(VecInit(Seq.fill(ICacheDataBanks)(0.U((blockBits/ICacheDataBanks).W))))
321a61a35e0Sssszwic
322a61a35e0Sssszwic  /**
323a61a35e0Sssszwic    ******************************************************************************
324b92f8445Sssszwic    * report data parity error
325a61a35e0Sssszwic    ******************************************************************************
326a61a35e0Sssszwic    */
327b92f8445Sssszwic  // check data error
328b92f8445Sssszwic  val s2_bankSel     = getBankSel(s2_req_offset, s2_valid)
32988895b11Sxu_zh  val s2_bank_corrupt = (0 until ICacheDataBanks).map(i => (encode(s2_datas(i)) =/= s2_codes(i)))
33088895b11Sxu_zh  val s2_data_corrupt = (0 until PortNumber).map(port => (0 until ICacheDataBanks).map(bank =>
33188895b11Sxu_zh                         s2_bank_corrupt(bank) && s2_bankSel(port)(bank).asBool).reduce(_||_) && s2_SRAMhits(port))
332b92f8445Sssszwic  // meta error is checked in prefetch pipeline
33388895b11Sxu_zh  val s2_meta_corrupt = RegEnable(s1_meta_corrupt, 0.U.asTypeOf(s1_meta_corrupt), s1_fire)
334b92f8445Sssszwic  // send errors to top
335a61a35e0Sssszwic  (0 until PortNumber).map{ i =>
33688895b11Sxu_zh    io.errors(i).valid              := io.csr_parity_enable && RegNext(s1_fire) && (s2_meta_corrupt(i) || s2_data_corrupt(i))
33788895b11Sxu_zh    io.errors(i).bits.report_to_beu := io.csr_parity_enable && RegNext(s1_fire) && (s2_meta_corrupt(i) || s2_data_corrupt(i))
338b92f8445Sssszwic    io.errors(i).bits.paddr         := s2_req_paddr(i)
3390184a80eSYanqin Li    io.errors(i).bits.source        := DontCare
34088895b11Sxu_zh    io.errors(i).bits.source.tag    := s2_meta_corrupt(i)
34188895b11Sxu_zh    io.errors(i).bits.source.data   := s2_data_corrupt(i)
3420184a80eSYanqin Li    io.errors(i).bits.source.l2     := false.B
3430184a80eSYanqin Li    io.errors(i).bits.opType        := DontCare
3440184a80eSYanqin Li    io.errors(i).bits.opType.fetch  := true.B
34579b191f7SJay  }
34679b191f7SJay
347b92f8445Sssszwic  /**
348b92f8445Sssszwic    ******************************************************************************
349b92f8445Sssszwic    * monitor missUint response port
350b92f8445Sssszwic    ******************************************************************************
351b92f8445Sssszwic    */
352fa42eb78Sxu_zh  val s2_MSHR_match = VecInit((0 until PortNumber).map( i =>
353fa42eb78Sxu_zh    (s2_req_vSetIdx(i) === fromMSHR.bits.vSetIdx) &&
354b92f8445Sssszwic    (s2_req_ptags(i) === getPhyTagFromBlk(fromMSHR.bits.blkPaddr)) &&
355fa42eb78Sxu_zh    fromMSHR.valid  // we don't care about whether it's corrupt here
356fa42eb78Sxu_zh  ))
357b92f8445Sssszwic  val s2_MSHR_hits  = Seq(s2_valid && s2_MSHR_match(0),
358fa42eb78Sxu_zh                          s2_valid && s2_MSHR_match(1) && s2_doubleline)
359b92f8445Sssszwic  val s2_MSHR_datas = fromMSHR.bits.data.asTypeOf(Vec(ICacheDataBanks, UInt((blockBits/ICacheDataBanks).W)))
360b92f8445Sssszwic
361b92f8445Sssszwic  val s2_bankIdxLow  = s2_req_offset >> log2Ceil(blockBytes/ICacheDataBanks)
362fa42eb78Sxu_zh  val s2_bankMSHRHit = VecInit((0 until ICacheDataBanks).map( i =>
363fa42eb78Sxu_zh    ((i.U >= s2_bankIdxLow) && s2_MSHR_hits(0)) || ((i.U < s2_bankIdxLow) && s2_MSHR_hits(1))
364fa42eb78Sxu_zh  ))
365b92f8445Sssszwic
366b92f8445Sssszwic  (0 until ICacheDataBanks).foreach{ i =>
367b92f8445Sssszwic    when(s1_fire) {
368b92f8445Sssszwic      s2_datas := s1_datas
369fa42eb78Sxu_zh    }.elsewhen(s2_bankMSHRHit(i) && !fromMSHR.bits.corrupt) {
370fa42eb78Sxu_zh      // if corrupt, no need to update s2_datas (it's wrong anyway), to save power
371b92f8445Sssszwic      s2_datas(i) := s2_MSHR_datas(i)
372b92f8445Sssszwic    }
373b92f8445Sssszwic  }
374b92f8445Sssszwic
375b92f8445Sssszwic  (0 until PortNumber).foreach{ i =>
376b92f8445Sssszwic    when(s1_fire) {
377b92f8445Sssszwic      s2_hits := s1_hits
378b92f8445Sssszwic    }.elsewhen(s2_MSHR_hits(i)) {
379fa42eb78Sxu_zh      // update s2_hits even if it's corrupt, to let s2_fire
380b92f8445Sssszwic      s2_hits(i) := true.B
381b92f8445Sssszwic    }
382b92f8445Sssszwic  }
383b92f8445Sssszwic
38488895b11Sxu_zh  val s2_l2_corrupt = RegInit(VecInit(Seq.fill(PortNumber)(false.B)))
385b92f8445Sssszwic  (0 until PortNumber).foreach{ i =>
386b92f8445Sssszwic    when(s1_fire) {
38788895b11Sxu_zh      s2_l2_corrupt(i) := false.B
388b92f8445Sssszwic    }.elsewhen(s2_MSHR_hits(i)) {
38988895b11Sxu_zh      s2_l2_corrupt(i) := fromMSHR.bits.corrupt
390b92f8445Sssszwic    }
391b92f8445Sssszwic  }
392b92f8445Sssszwic
393b92f8445Sssszwic  /**
394b92f8445Sssszwic    ******************************************************************************
395b92f8445Sssszwic    * send request to MSHR if ICache miss
396b92f8445Sssszwic    ******************************************************************************
397b92f8445Sssszwic    */
398*002c10a4SYanqin Li
399*002c10a4SYanqin Li  // merge pmp mmio and itlb pbmt
400*002c10a4SYanqin Li  val s2_mmio = VecInit((s2_pmp_mmio zip s2_itlb_pbmt).map{ case (mmio, pbmt) =>
401*002c10a4SYanqin Li    mmio || Pbmt.isUncache(pbmt)
402*002c10a4SYanqin Li  })
403*002c10a4SYanqin Li
404f80535c3Sxu_zh  /* s2_exception includes itlb pf/gpf/af, pmp af and meta corruption (af), neither of which should be fetched
405f80535c3Sxu_zh   * mmio should not be fetched, it will be fetched by IFU mmio fsm
406f80535c3Sxu_zh   * also, if previous has exception, latter port should also not be fetched
40788895b11Sxu_zh   */
408b808ac73Sxu_zh  val s2_miss = VecInit((0 until PortNumber).map { i =>
409b808ac73Sxu_zh    !s2_hits(i) && (if (i==0) true.B else s2_doubleline) &&
41088895b11Sxu_zh      s2_exception.take(i+1).map(_ === ExceptionType.none).reduce(_&&_) &&
41188895b11Sxu_zh      s2_mmio.take(i+1).map(!_).reduce(_&&_)
412b808ac73Sxu_zh  })
413b92f8445Sssszwic
414b92f8445Sssszwic  val toMSHRArbiter = Module(new Arbiter(new ICacheMissReq, PortNumber))
415b92f8445Sssszwic
416b92f8445Sssszwic  // To avoid sending duplicate requests.
417b92f8445Sssszwic  val has_send = RegInit(VecInit(Seq.fill(PortNumber)(false.B)))
418b92f8445Sssszwic  (0 until PortNumber).foreach{ i =>
419b92f8445Sssszwic    when(s1_fire) {
420b92f8445Sssszwic      has_send(i) := false.B
421b92f8445Sssszwic    }.elsewhen(toMSHRArbiter.io.in(i).fire) {
422b92f8445Sssszwic      has_send(i) := true.B
423b92f8445Sssszwic    }
424b92f8445Sssszwic  }
425b92f8445Sssszwic
426b92f8445Sssszwic  (0 until PortNumber).map{ i =>
427b92f8445Sssszwic    toMSHRArbiter.io.in(i).valid          := s2_valid && s2_miss(i) && !has_send(i) && !s2_flush
428b92f8445Sssszwic    toMSHRArbiter.io.in(i).bits.blkPaddr  := getBlkAddr(s2_req_paddr(i))
429b92f8445Sssszwic    toMSHRArbiter.io.in(i).bits.vSetIdx   := s2_req_vSetIdx(i)
430b92f8445Sssszwic  }
431b92f8445Sssszwic  toMSHR <> toMSHRArbiter.io.out
432b92f8445Sssszwic
433b92f8445Sssszwic  XSPerfAccumulate("to_missUnit_stall",  toMSHR.valid && !toMSHR.ready)
434b92f8445Sssszwic
435b92f8445Sssszwic  val s2_fetch_finish = !s2_miss.reduce(_||_)
436f80535c3Sxu_zh
437f80535c3Sxu_zh  // also raise af if data/l2 corrupt is detected
438f80535c3Sxu_zh  val s2_data_exception = VecInit(s2_data_corrupt.map(ExceptionType.fromECC(io.csr_parity_enable, _)))
439f80535c3Sxu_zh  val s2_l2_exception   = VecInit(s2_l2_corrupt.map(ExceptionType.fromECC(true.B, _)))
440f80535c3Sxu_zh
441f80535c3Sxu_zh  // merge s2 exceptions, itlb has the highest priority, meta next, meta/data/l2 lowest (and we dont care about prioritizing between this three)
44288895b11Sxu_zh  val s2_exception_out = ExceptionType.merge(
443f80535c3Sxu_zh    s2_exception,  // includes itlb/pmp/meta exception
444f80535c3Sxu_zh    s2_data_exception,
445f80535c3Sxu_zh    s2_l2_exception
44688895b11Sxu_zh  )
447b92f8445Sssszwic
448b92f8445Sssszwic  /**
449b92f8445Sssszwic    ******************************************************************************
450b92f8445Sssszwic    * response to IFU
451b92f8445Sssszwic    ******************************************************************************
452b92f8445Sssszwic    */
4531a5af821Sxu_zh  (0 until PortNumber).foreach{ i =>
454b92f8445Sssszwic    if(i == 0) {
455b92f8445Sssszwic      toIFU(i).valid          := s2_fire
45688895b11Sxu_zh      toIFU(i).bits.exception := s2_exception_out(i)
457*002c10a4SYanqin Li      toIFU(i).bits.pmp_mmio  := s2_pmp_mmio(i)   // pass pmp_mmio instead of merged mmio to IFU
458*002c10a4SYanqin Li      toIFU(i).bits.itlb_pbmt := s2_itlb_pbmt(i)
459b92f8445Sssszwic      toIFU(i).bits.data      := s2_datas.asTypeOf(UInt(blockBits.W))
460b92f8445Sssszwic    } else {
461b92f8445Sssszwic      toIFU(i).valid          := s2_fire && s2_doubleline
46288895b11Sxu_zh      toIFU(i).bits.exception := Mux(s2_doubleline, s2_exception_out(i), ExceptionType.none)
463*002c10a4SYanqin Li      toIFU(i).bits.pmp_mmio  := s2_pmp_mmio(i) && s2_doubleline
464*002c10a4SYanqin Li      toIFU(i).bits.itlb_pbmt := Mux(s2_doubleline, s2_itlb_pbmt(i), Pbmt.pma)
465b92f8445Sssszwic      toIFU(i).bits.data      := DontCare
466b92f8445Sssszwic    }
467b92f8445Sssszwic    toIFU(i).bits.vaddr       := s2_req_vaddr(i)
468b92f8445Sssszwic    toIFU(i).bits.paddr       := s2_req_paddr(i)
4691a5af821Sxu_zh    toIFU(i).bits.gpaddr      := s2_req_gpaddr  // Note: toIFU(1).bits.gpaddr is actually DontCare in current design
470b92f8445Sssszwic  }
471b92f8445Sssszwic
472b92f8445Sssszwic  s2_flush := io.flush
473b92f8445Sssszwic  s2_ready := (s2_fetch_finish && !io.respStall) || !s2_valid
474b92f8445Sssszwic  s2_fire  := s2_valid && s2_fetch_finish && !io.respStall && !s2_flush
475b92f8445Sssszwic
476b92f8445Sssszwic  /**
477b92f8445Sssszwic    ******************************************************************************
478b92f8445Sssszwic    * report Tilelink corrupt error
479b92f8445Sssszwic    ******************************************************************************
480b92f8445Sssszwic    */
481a61a35e0Sssszwic  (0 until PortNumber).map{ i =>
48288895b11Sxu_zh    when(RegNext(s2_fire && s2_l2_corrupt(i))){
483a61a35e0Sssszwic      io.errors(i).valid                 := true.B
4840184a80eSYanqin Li      io.errors(i).bits.report_to_beu    := false.B // l2 should have report that to bus error unit, no need to do it again
485b92f8445Sssszwic      io.errors(i).bits.paddr            := RegNext(s2_req_paddr(i))
4860184a80eSYanqin Li      io.errors(i).bits.source.tag       := false.B
4870184a80eSYanqin Li      io.errors(i).bits.source.data      := false.B
4880184a80eSYanqin Li      io.errors(i).bits.source.l2        := true.B
4891d8f4dcbSJay    }
4901d8f4dcbSJay  }
4911d8f4dcbSJay
492a61a35e0Sssszwic  /**
493a61a35e0Sssszwic    ******************************************************************************
494a61a35e0Sssszwic    * performance info. TODO: need to simplify the logic
495a61a35e0Sssszwic    ***********************************************************s*******************
496a61a35e0Sssszwic    */
497b92f8445Sssszwic  io.perfInfo.only_0_hit      :=  s2_hits(0) && !s2_doubleline
498b92f8445Sssszwic  io.perfInfo.only_0_miss     := !s2_hits(0) && !s2_doubleline
499b92f8445Sssszwic  io.perfInfo.hit_0_hit_1     :=  s2_hits(0) &&  s2_hits(1) && s2_doubleline
500b92f8445Sssszwic  io.perfInfo.hit_0_miss_1    :=  s2_hits(0) && !s2_hits(1) && s2_doubleline
501b92f8445Sssszwic  io.perfInfo.miss_0_hit_1    := !s2_hits(0) &&  s2_hits(1) && s2_doubleline
502b92f8445Sssszwic  io.perfInfo.miss_0_miss_1   := !s2_hits(0) && !s2_hits(1) && s2_doubleline
50388895b11Sxu_zh  io.perfInfo.hit_0_except_1  :=  s2_hits(0) && (s2_exception(1) =/= ExceptionType.none) && s2_doubleline
50488895b11Sxu_zh  io.perfInfo.miss_0_except_1 := !s2_hits(0) && (s2_exception(1) =/= ExceptionType.none) && s2_doubleline
505b92f8445Sssszwic  io.perfInfo.bank_hit(0)     :=  s2_hits(0)
506b92f8445Sssszwic  io.perfInfo.bank_hit(1)     :=  s2_hits(1) && s2_doubleline
50788895b11Sxu_zh  io.perfInfo.except_0        :=  s2_exception(0) =/= ExceptionType.none
508b92f8445Sssszwic  io.perfInfo.hit             :=  s2_hits(0) && (!s2_doubleline || s2_hits(1))
50958dbdfc2SJay
51058dbdfc2SJay  /** <PERF> fetch bubble generated by icache miss */
51100240ba6SJay  XSPerfAccumulate("icache_bubble_s2_miss", s2_valid && !s2_fetch_finish )
512b92f8445Sssszwic  XSPerfAccumulate("icache_bubble_s0_wayLookup", s0_valid && !fromWayLookup.ready)
513b92f8445Sssszwic
514b92f8445Sssszwic  io.fetch.topdownIcacheMiss := !s2_fetch_finish
515b92f8445Sssszwic  io.fetch.topdownItlbMiss := s0_valid && !fromWayLookup.ready
516b92f8445Sssszwic
517b92f8445Sssszwic  // class ICacheTouchDB(implicit p: Parameters) extends ICacheBundle{
518b92f8445Sssszwic  //   val blkPaddr  = UInt((PAddrBits - blockOffBits).W)
519b92f8445Sssszwic  //   val vSetIdx   = UInt(idxBits.W)
520b92f8445Sssszwic  //   val waymask   = UInt(log2Ceil(nWays).W)
521b92f8445Sssszwic  // }
522b92f8445Sssszwic
523b92f8445Sssszwic  // val isWriteICacheTouchTable = WireInit(Constantin.createRecord("isWriteICacheTouchTable" + p(XSCoreParamsKey).HartId.toString))
524b92f8445Sssszwic  // val ICacheTouchTable = ChiselDB.createTable("ICacheTouchTable" + p(XSCoreParamsKey).HartId.toString, new ICacheTouchDB)
525b92f8445Sssszwic
526b92f8445Sssszwic  // val ICacheTouchDumpData = Wire(Vec(PortNumber, new ICacheTouchDB))
527b92f8445Sssszwic  // (0 until PortNumber).foreach{ i =>
528b92f8445Sssszwic  //   ICacheTouchDumpData(i).blkPaddr  := getBlkAddr(s2_req_paddr(i))
529b92f8445Sssszwic  //   ICacheTouchDumpData(i).vSetIdx   := s2_req_vSetIdx(i)
530b92f8445Sssszwic  //   ICacheTouchDumpData(i).waymask   := OHToUInt(s2_tag_match_vec(i))
531b92f8445Sssszwic  //   ICacheTouchTable.log(
532b92f8445Sssszwic  //     data  = ICacheTouchDumpData(i),
533b92f8445Sssszwic  //     en    = io.touch(i).valid,
534b92f8445Sssszwic  //     site  = "req_" + i.toString,
535b92f8445Sssszwic  //     clock = clock,
536b92f8445Sssszwic  //     reset = reset
537b92f8445Sssszwic  //   )
538b92f8445Sssszwic  // }
53958dbdfc2SJay
540a61a35e0Sssszwic  /**
541a61a35e0Sssszwic    ******************************************************************************
542a61a35e0Sssszwic    * difftest refill check
543a61a35e0Sssszwic    ******************************************************************************
544a61a35e0Sssszwic    */
545afa866b1Sguohongyu  if (env.EnableDifftest) {
546afa866b1Sguohongyu    val discards = (0 until PortNumber).map { i =>
547*002c10a4SYanqin Li      val discard = toIFU(i).bits.exception =/= ExceptionType.none || toIFU(i).bits.pmp_mmio ||
548*002c10a4SYanqin Li        Pbmt.isUncache(toIFU(i).bits.itlb_pbmt)
549afa866b1Sguohongyu      discard
550afa866b1Sguohongyu    }
551b92f8445Sssszwic    val blkPaddrAll = s2_req_paddr.map(addr => addr(PAddrBits - 1, blockOffBits) << blockOffBits)
552b92f8445Sssszwic    (0 until ICacheDataBanks).map { i =>
553a0c65233SYinan Xu      val diffMainPipeOut = DifftestModule(new DiffRefillEvent, dontCare = true)
5547d45a146SYinan Xu      diffMainPipeOut.coreid := io.hartId
555b92f8445Sssszwic      diffMainPipeOut.index := (3 + i).U
556b92f8445Sssszwic
557b92f8445Sssszwic      val bankSel = getBankSel(s2_req_offset, s2_valid).reduce(_|_)
558b92f8445Sssszwic      val lineSel = getLineSel(s2_req_offset)
559b92f8445Sssszwic
560b92f8445Sssszwic      diffMainPipeOut.valid := s2_fire && bankSel(i).asBool && Mux(lineSel(i), !discards(1), !discards(0))
561b92f8445Sssszwic      diffMainPipeOut.addr  := Mux(lineSel(i), blkPaddrAll(1) + (i.U << (log2Ceil(blockBytes/ICacheDataBanks))),
562b92f8445Sssszwic                                               blkPaddrAll(0) + (i.U << (log2Ceil(blockBytes/ICacheDataBanks))))
563b92f8445Sssszwic
564b92f8445Sssszwic      diffMainPipeOut.data :=  s2_datas(i).asTypeOf(diffMainPipeOut.data)
565b92f8445Sssszwic      diffMainPipeOut.idtfr := DontCare
566afa866b1Sguohongyu    }
567afa866b1Sguohongyu  }
5681d8f4dcbSJay}