xref: /XiangShan/src/main/scala/xiangshan/cache/dcache/loadpipe/LoadPipe.scala (revision 4daa5bf3c3f27e7fd090866d52405b21e107eb8d)
1/***************************************************************************************
2* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences
3* Copyright (c) 2020-2021 Peng Cheng Laboratory
4*
5* XiangShan is licensed under Mulan PSL v2.
6* You can use this software according to the terms and conditions of the Mulan PSL v2.
7* You may obtain a copy of Mulan PSL v2 at:
8*          http://license.coscl.org.cn/MulanPSL2
9*
10* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
11* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
12* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
13*
14* See the Mulan PSL v2 for more details.
15***************************************************************************************/
16
17package xiangshan.cache
18
19import org.chipsalliance.cde.config.Parameters
20import chisel3._
21import chisel3.util._
22import freechips.rocketchip.tilelink.ClientMetadata
23import utils.{HasPerfEvents, XSDebug, XSPerfAccumulate}
24import utility.{ParallelPriorityMux, OneHot, ChiselDB, ParallelORR, ParallelMux}
25import xiangshan.{XSCoreParamsKey, L1CacheErrorInfo}
26import xiangshan.cache.wpu._
27import xiangshan.mem.HasL1PrefetchSourceParameter
28import xiangshan.mem.prefetch._
29import xiangshan.mem.LqPtr
30
31class LoadPfDbBundle(implicit p: Parameters) extends DCacheBundle {
32  val paddr = UInt(PAddrBits.W)
33}
34
35class LoadPipe(id: Int)(implicit p: Parameters) extends DCacheModule with HasPerfEvents with HasL1PrefetchSourceParameter {
36  val io = IO(new DCacheBundle {
37    // incoming requests
38    val lsu = Flipped(new DCacheLoadIO)
39    val dwpu = Flipped(new DwpuBaseIO(nWays = nWays, nPorts = 1))
40    val load128Req = Input(Bool())
41    // req got nacked in stage 0?
42    val nack      = Input(Bool())
43
44    // meta and data array read port
45    val meta_read = DecoupledIO(new MetaReadReq)
46    val meta_resp = Input(Vec(nWays, new Meta))
47    val extra_meta_resp = Input(Vec(nWays, new DCacheExtraMeta))
48
49    val tag_read = DecoupledIO(new TagReadReq)
50    val tag_resp = Input(Vec(nWays, UInt(encTagBits.W)))
51    val vtag_update = Flipped(DecoupledIO(new TagWriteReq))
52
53    val banked_data_read = DecoupledIO(new L1BankedDataReadReqWithMask)
54    val is128Req = Output(Bool())
55    val banked_data_resp = Input(Vec(VLEN/DCacheSRAMRowBits, new L1BankedDataReadResult()))
56    val read_error_delayed = Input(Vec(VLEN/DCacheSRAMRowBits, Bool()))
57
58    // access bit update
59    val access_flag_write = DecoupledIO(new FlagMetaWriteReq)
60    val prefetch_flag_write = DecoupledIO(new SourceMetaWriteReq)
61
62    // banked data read conflict
63    val bank_conflict_slow = Input(Bool())
64
65    // send miss request to miss queue
66    val miss_req    = DecoupledIO(new MissReq)
67    val miss_resp   = Input(new MissResp)
68
69    // update state vec in replacement algo
70    val replace_access = ValidIO(new ReplacementAccessBundle)
71    // find the way to be replaced
72    val replace_way = new ReplacementWayReqIO
73
74    // load fast wakeup should be disabled when data read is not ready
75    val disable_ld_fast_wakeup = Input(Bool())
76
77    // ecc error
78    val error = Output(new L1CacheErrorInfo())
79
80    val prefetch_info = new Bundle {
81      val naive = new Bundle {
82        val total_prefetch = Output(Bool())
83        val late_hit_prefetch = Output(Bool())
84        val late_prefetch_hit = Output(Bool())
85        val late_load_hit = Output(Bool())
86        val useless_prefetch = Output(Bool())
87        val useful_prefetch = Output(Bool())
88        val prefetch_hit = Output(Bool())
89      }
90
91      val fdp = new Bundle {
92        val useful_prefetch = Output(Bool())
93        val demand_miss = Output(Bool())
94        val pollution = Output(Bool())
95      }
96    }
97
98    val bloom_filter_query = new Bundle {
99      val query = ValidIO(new BloomQueryBundle(BLOOM_FILTER_ENTRY_NUM))
100      val resp = Flipped(ValidIO(new BloomRespBundle()))
101    }
102
103    val counter_filter_query = new CounterFilterQueryBundle
104    val counter_filter_enq = new ValidIO(new CounterFilterDataBundle())
105
106    // miss queue cancel the miss request
107    val mq_enq_cancel = Input(Bool())
108  })
109
110  assert(RegNext(io.meta_read.ready))
111
112  val s1_ready = Wire(Bool())
113  val s2_ready = Wire(Bool())
114  // LSU requests
115  // it you got nacked, you can directly passdown
116  val not_nacked_ready = io.meta_read.ready && io.tag_read.ready && s1_ready
117  val nacked_ready     = true.B
118
119  // Pipeline
120  // --------------------------------------------------------------------------------
121  // stage 0
122  // --------------------------------------------------------------------------------
123  // read tag
124
125  // ready can wait for valid
126  io.lsu.req.ready := (!io.nack && not_nacked_ready) || (io.nack && nacked_ready)
127  io.meta_read.valid := io.lsu.req.fire && !io.nack
128  io.tag_read.valid := io.lsu.req.fire && !io.nack
129
130  val s0_valid = io.lsu.req.fire
131  val s0_req = io.lsu.req.bits
132  val s0_fire = s0_valid && s1_ready
133  val s0_vaddr = s0_req.vaddr
134  val s0_replayCarry = s0_req.replayCarry
135  val s0_load128Req = io.load128Req
136  val s0_bank_oh_64 = UIntToOH(addr_to_dcache_bank(s0_vaddr))
137  val s0_bank_oh_128 = (s0_bank_oh_64 << 1.U).asUInt | s0_bank_oh_64.asUInt
138  val s0_bank_oh = Mux(s0_load128Req, s0_bank_oh_128, s0_bank_oh_64)
139  assert(RegNext(!(s0_valid && (s0_req.cmd =/= MemoryOpConstants.M_XRD && s0_req.cmd =/= MemoryOpConstants.M_PFR && s0_req.cmd =/= MemoryOpConstants.M_PFW))), "LoadPipe only accepts load req / softprefetch read or write!")
140  dump_pipeline_reqs("LoadPipe s0", s0_valid, s0_req)
141
142  // wpu
143  // val dwpu = Module(new DCacheWpuWrapper)
144  // req in s0
145  if(dwpuParam.enWPU){
146    io.dwpu.req(0).bits.vaddr := s0_vaddr
147    io.dwpu.req(0).bits.replayCarry := s0_replayCarry
148    io.dwpu.req(0).valid := s0_valid
149  }else{
150    io.dwpu.req(0).valid := false.B
151    io.dwpu.req(0).bits := DontCare
152  }
153
154
155  val meta_read = io.meta_read.bits
156  val tag_read = io.tag_read.bits
157
158  // Tag read for new requests
159  meta_read.idx := get_idx(io.lsu.req.bits.vaddr)
160  meta_read.way_en := ~0.U(nWays.W)
161  // meta_read.tag := DontCare
162
163  tag_read.idx := get_idx(io.lsu.req.bits.vaddr)
164  tag_read.way_en := ~0.U(nWays.W)
165
166  // --------------------------------------------------------------------------------
167  // stage 1
168  // --------------------------------------------------------------------------------
169  // tag match, read data
170
171  val s1_valid = RegInit(false.B)
172  val s1_req = RegEnable(s0_req, s0_fire)
173  // in stage 1, load unit gets the physical address
174  val s1_paddr_dup_lsu = io.lsu.s1_paddr_dup_lsu
175  val s1_paddr_dup_dcache = io.lsu.s1_paddr_dup_dcache
176  val s1_load128Req = RegEnable(s0_load128Req, s0_fire)
177  val s1_is_prefetch = s1_req.instrtype === DCACHE_PREFETCH_SOURCE.U
178  // LSU may update the address from io.lsu.s1_paddr, which affects the bank read enable only.
179  val s1_vaddr = Cat(s1_req.vaddr(VAddrBits - 1, blockOffBits), io.lsu.s1_paddr_dup_lsu(blockOffBits - 1, 0))
180  val s1_bank_oh = RegEnable(s0_bank_oh, s0_fire)
181  val s1_nack = RegNext(io.nack)
182  val s1_nack_data = !io.banked_data_read.ready
183  val s1_fire = s1_valid && s2_ready
184  s1_ready := !s1_valid || s1_fire
185
186  when (s0_fire) { s1_valid := true.B }
187  .elsewhen (s1_fire) { s1_valid := false.B }
188
189  dump_pipeline_reqs("LoadPipe s1", s1_valid, s1_req)
190
191  // tag check
192  val meta_resp = io.meta_resp
193  val tag_resp = io.tag_resp.map(r => r(tagBits - 1, 0))
194  def wayMap[T <: Data](f: Int => T) = VecInit((0 until nWays).map(f))
195
196  // resp in s1
197  val s1_tag_match_way_dup_dc = wayMap((w: Int) => tag_resp(w) === get_tag(s1_paddr_dup_dcache) && meta_resp(w).coh.isValid()).asUInt
198  val s1_tag_match_way_dup_lsu = wayMap((w: Int) => tag_resp(w) === get_tag(s1_paddr_dup_lsu) && meta_resp(w).coh.isValid()).asUInt
199  val s1_wpu_pred_valid = RegEnable(io.dwpu.resp(0).valid, s0_fire)
200  val s1_wpu_pred_way_en = RegEnable(io.dwpu.resp(0).bits.s0_pred_way_en, s0_fire)
201
202  // lookup update
203  io.dwpu.lookup_upd(0).valid := s1_valid
204  io.dwpu.lookup_upd(0).bits.vaddr := s1_vaddr
205  io.dwpu.lookup_upd(0).bits.s1_real_way_en := s1_tag_match_way_dup_dc
206  io.dwpu.lookup_upd(0).bits.s1_pred_way_en := s1_wpu_pred_way_en
207  // replace / tag write
208  io.vtag_update.ready := true.B
209  // dwpu.io.tagwrite_upd.valid := io.vtag_update.valid
210  // dwpu.io.tagwrite_upd.bits.vaddr := io.vtag_update.bits.vaddr
211  // dwpu.io.tagwrite_upd.bits.s1_real_way_en := io.vtag_update.bits.way_en
212
213  val s1_direct_map_way_num = get_direct_map_way(s1_req.vaddr)
214  if(dwpuParam.enCfPred || !env.FPGAPlatform){
215    /* method1: record the pc */
216    // if (!env.FPGAPlatform){
217    //    io.dwpu.cfpred(0).s0_vaddr := io.lsu.s0_pc
218    //    io.dwpu.cfpred(0).s1_vaddr := io.lsu.s1_pc
219    // }
220
221    /* method2: record the vaddr */
222    io.dwpu.cfpred(0).s0_vaddr := s0_vaddr
223    io.dwpu.cfpred(0).s1_vaddr := s1_vaddr
224    // whether direct_map_way miss with valid tag value
225    io.dwpu.cfpred(0).s1_dm_hit := wayMap((w: Int) => w.U === s1_direct_map_way_num && tag_resp(w) === get_tag(s1_paddr_dup_lsu) && meta_resp(w).coh.isValid()).asUInt.orR
226  }else{
227    io.dwpu.cfpred(0) := DontCare
228  }
229
230  val s1_pred_tag_match_way_dup_dc = Wire(UInt(nWays.W))
231  val s1_wpu_pred_fail = Wire(Bool())
232  val s1_wpu_pred_fail_and_real_hit = Wire(Bool())
233  if (dwpuParam.enWPU) {
234    when(s1_wpu_pred_valid) {
235      s1_pred_tag_match_way_dup_dc := s1_wpu_pred_way_en
236    }.otherwise {
237      s1_pred_tag_match_way_dup_dc := s1_tag_match_way_dup_dc
238    }
239    s1_wpu_pred_fail := s1_valid && s1_tag_match_way_dup_dc =/= s1_pred_tag_match_way_dup_dc
240    s1_wpu_pred_fail_and_real_hit := s1_wpu_pred_fail && s1_tag_match_way_dup_dc.orR
241  } else {
242    s1_pred_tag_match_way_dup_dc := s1_tag_match_way_dup_dc
243    s1_wpu_pred_fail := false.B
244    s1_wpu_pred_fail_and_real_hit := false.B
245  }
246
247  val s1_tag_match_dup_dc = ParallelORR(s1_tag_match_way_dup_dc)
248  val s1_tag_match_dup_lsu = ParallelORR(s1_tag_match_way_dup_lsu)
249  assert(RegNext(!s1_valid || PopCount(s1_tag_match_way_dup_dc) <= 1.U), "tag should not match with more than 1 way")
250
251  // when there are no tag match, we give it a Fake Meta
252  // this simplifies our logic in s2 stage
253  val s1_hit_meta = ParallelMux(s1_tag_match_way_dup_dc.asBools, (0 until nWays).map(w => meta_resp(w)))
254  val s1_hit_coh = s1_hit_meta.coh
255  val s1_hit_error = ParallelMux(s1_tag_match_way_dup_dc.asBools, (0 until nWays).map(w => io.extra_meta_resp(w).error))
256  val s1_hit_prefetch = ParallelMux(s1_tag_match_way_dup_dc.asBools, (0 until nWays).map(w => io.extra_meta_resp(w).prefetch))
257  val s1_hit_access = ParallelMux(s1_tag_match_way_dup_dc.asBools, (0 until nWays).map(w => io.extra_meta_resp(w).access))
258
259  // io.replace_way.set.valid := RegNext(s0_fire)
260  io.replace_way.set.valid := false.B
261  io.replace_way.set.bits := get_idx(s1_vaddr)
262  io.replace_way.dmWay := get_direct_map_way(s1_vaddr)
263  val s1_invalid_vec = wayMap(w => !meta_resp(w).coh.isValid())
264  val s1_have_invalid_way = s1_invalid_vec.asUInt.orR
265  val s1_invalid_way_en = ParallelPriorityMux(s1_invalid_vec.zipWithIndex.map(x => x._1 -> UIntToOH(x._2.U(nWays.W))))
266
267  val s1_need_replacement = !s1_tag_match_dup_dc
268
269  XSPerfAccumulate("load_using_replacement", io.replace_way.set.valid && s1_need_replacement)
270
271  // data read
272  io.banked_data_read.valid := s1_fire && !s1_nack && !io.lsu.s1_kill && !s1_is_prefetch
273  io.banked_data_read.bits.addr := s1_vaddr
274  io.banked_data_read.bits.way_en := s1_pred_tag_match_way_dup_dc
275  io.banked_data_read.bits.bankMask := s1_bank_oh
276  io.is128Req := s1_load128Req
277
278  // query bloom filter
279  io.bloom_filter_query.query.valid := s1_valid
280  io.bloom_filter_query.query.bits.addr := io.bloom_filter_query.query.bits.get_addr(s1_paddr_dup_dcache)
281
282  // get s1_will_send_miss_req in lpad_s1
283  val s1_has_permission = s1_hit_coh.onAccess(s1_req.cmd)._1
284  val s1_new_hit_coh = s1_hit_coh.onAccess(s1_req.cmd)._3
285  val s1_hit = s1_tag_match_dup_dc && s1_has_permission && s1_hit_coh === s1_new_hit_coh
286  val s1_will_send_miss_req = s1_valid && !s1_nack && !s1_nack_data && !s1_hit
287
288  // check ecc error
289  val s1_encTag = ParallelMux(s1_tag_match_way_dup_dc.asBools, (0 until nWays).map(w => io.tag_resp(w)))
290  val s1_flag_error = Mux(s1_need_replacement, false.B, s1_hit_error) // error reported by exist dcache error bit
291
292  // --------------------------------------------------------------------------------
293  // stage 2
294  // --------------------------------------------------------------------------------
295  // return data
296
297  // val s2_valid = RegEnable(next = s1_valid && !io.lsu.s1_kill, init = false.B, enable = s1_fire)
298  val s2_valid = RegInit(false.B)
299  val s2_req = RegEnable(s1_req, s1_fire)
300  val s2_load128Req = RegEnable(s1_load128Req, s1_fire)
301  val s2_paddr = RegEnable(s1_paddr_dup_dcache, s1_fire)
302  val s2_vaddr = RegEnable(s1_vaddr, s1_fire)
303  val s2_bank_oh = RegEnable(s1_bank_oh, s1_fire)
304  val s2_bank_oh_dup_0 = RegEnable(s1_bank_oh, s1_fire)
305  val s2_wpu_pred_fail = RegEnable(s1_wpu_pred_fail, s1_fire)
306  val s2_real_way_en = RegEnable(s1_tag_match_way_dup_dc, s1_fire)
307  val s2_pred_way_en = RegEnable(s1_pred_tag_match_way_dup_dc, s1_fire)
308  val s2_dm_way_num = RegEnable(s1_direct_map_way_num, s1_fire)
309  val s2_wpu_pred_fail_and_real_hit = RegEnable(s1_wpu_pred_fail_and_real_hit, s1_fire)
310
311  s2_ready := true.B
312
313  val s2_fire = s2_valid
314
315  when (s1_fire) { s2_valid := !io.lsu.s1_kill }
316  .elsewhen(io.lsu.resp.fire) { s2_valid := false.B }
317
318  dump_pipeline_reqs("LoadPipe s2", s2_valid, s2_req)
319
320
321  // hit, miss, nack, permission checking
322  // dcache side tag match
323  val s2_tag_match_way = RegEnable(s1_tag_match_way_dup_dc, s1_fire)
324  val s2_tag_match = RegEnable(s1_tag_match_dup_dc, s1_fire)
325
326  // lsu side tag match
327  val s2_hit_dup_lsu = RegNext(s1_tag_match_dup_lsu)
328
329  io.lsu.s2_hit := s2_hit_dup_lsu && !s2_wpu_pred_fail
330
331  val s2_hit_meta = RegEnable(s1_hit_meta, s1_fire)
332  val s2_hit_coh = RegEnable(s1_hit_coh, s1_fire)
333  val s2_has_permission = s2_hit_coh.onAccess(s2_req.cmd)._1 // for write prefetch
334  val s2_new_hit_coh = s2_hit_coh.onAccess(s2_req.cmd)._3 // for write prefetch
335
336  val s2_encTag = RegEnable(s1_encTag, s1_fire)
337
338  // when req got nacked, upper levels should replay this request
339  // nacked or not
340  val s2_nack_hit = RegEnable(s1_nack, s1_fire)
341  // can no allocate mshr for load miss
342  val s2_nack_no_mshr = io.miss_req.valid && !io.miss_req.ready
343  // Bank conflict on data arrays
344  val s2_nack_data = RegEnable(!io.banked_data_read.ready, s1_fire)
345  val s2_nack = s2_nack_hit || s2_nack_no_mshr || s2_nack_data
346  // s2 miss merged
347  val s2_miss_merged = io.miss_req.fire && !io.mq_enq_cancel && io.miss_resp.merged
348
349  val s2_bank_addr = addr_to_dcache_bank(s2_paddr)
350  dontTouch(s2_bank_addr)
351
352  val s2_instrtype = s2_req.instrtype
353
354  val s2_tag_error = dcacheParameters.tagCode.decode(s2_encTag).error // error reported by tag ecc check
355  val s2_flag_error = RegEnable(s1_flag_error, s1_fire)
356
357  val s2_hit_prefetch = RegEnable(s1_hit_prefetch, s1_fire)
358  val s2_hit_access = RegEnable(s1_hit_access, s1_fire)
359
360  val s2_hit = s2_tag_match && s2_has_permission && s2_hit_coh === s2_new_hit_coh && !s2_wpu_pred_fail
361
362  // only dump these signals when they are actually valid
363  dump_pipeline_valids("LoadPipe s2", "s2_hit", s2_valid && s2_hit)
364  dump_pipeline_valids("LoadPipe s2", "s2_nack", s2_valid && s2_nack)
365  dump_pipeline_valids("LoadPipe s2", "s2_nack_hit", s2_valid && s2_nack_hit)
366  dump_pipeline_valids("LoadPipe s2", "s2_nack_no_mshr", s2_valid && s2_nack_no_mshr)
367
368  val s2_can_send_miss_req = RegEnable(s1_will_send_miss_req, s1_fire)
369
370  // send load miss to miss queue
371  io.miss_req.valid := s2_valid && s2_can_send_miss_req
372  io.miss_req.bits := DontCare
373  io.miss_req.bits.source := s2_instrtype
374  io.miss_req.bits.pf_source := RegNext(RegNext(io.lsu.pf_source))
375  io.miss_req.bits.cmd := s2_req.cmd
376  io.miss_req.bits.addr := get_block_addr(s2_paddr)
377  io.miss_req.bits.vaddr := s2_vaddr
378  io.miss_req.bits.req_coh := s2_hit_coh
379  io.miss_req.bits.cancel := io.lsu.s2_kill || s2_tag_error
380  io.miss_req.bits.pc := io.lsu.s2_pc
381  io.miss_req.bits.lqIdx := io.lsu.req.bits.lqIdx
382  // send back response
383  val resp = Wire(ValidIO(new DCacheWordResp))
384  resp.valid := s2_valid
385  resp.bits := DontCare
386  // resp.bits.data := s2_word_decoded
387  // resp.bits.data := banked_data_resp_word.raw_data
388  // * on miss or nack, upper level should replay request
389  // but if we successfully sent the request to miss queue
390  // upper level does not need to replay request
391  // they can sit in load queue and wait for refill
392  //
393  // * report a miss if bank conflict is detected
394  val real_miss = !s2_real_way_en.orR
395
396  resp.bits.real_miss := real_miss
397  resp.bits.miss := real_miss
398  io.lsu.s2_first_hit := s2_req.isFirstIssue && s2_hit
399  // load pipe need replay when there is a bank conflict or wpu predict fail
400  resp.bits.replay := (resp.bits.miss && (!io.miss_req.fire || s2_nack || io.mq_enq_cancel)) || io.bank_conflict_slow || s2_wpu_pred_fail
401  resp.bits.replayCarry.valid := (resp.bits.miss && (!io.miss_req.fire || s2_nack || io.mq_enq_cancel)) || io.bank_conflict_slow || s2_wpu_pred_fail
402  resp.bits.replayCarry.real_way_en := s2_real_way_en
403  resp.bits.meta_prefetch := s2_hit_prefetch
404  resp.bits.meta_access := s2_hit_access
405  resp.bits.tag_error := s2_tag_error // report tag_error in load s2
406  resp.bits.mshr_id := io.miss_resp.id
407  resp.bits.handled := io.miss_req.fire && !io.mq_enq_cancel && io.miss_resp.handled
408  resp.bits.debug_robIdx := s2_req.debug_robIdx
409  // debug info
410  io.lsu.s2_first_hit := s2_req.isFirstIssue && s2_hit
411  io.lsu.debug_s2_real_way_num := OneHot.OHToUIntStartOne(s2_real_way_en)
412  if(dwpuParam.enWPU) {
413    io.lsu.debug_s2_pred_way_num := OneHot.OHToUIntStartOne(s2_pred_way_en)
414  }else{
415    io.lsu.debug_s2_pred_way_num := 0.U
416  }
417  if(dwpuParam.enWPU && dwpuParam.enCfPred || !env.FPGAPlatform){
418    io.lsu.debug_s2_dm_way_num :=  s2_dm_way_num + 1.U
419  }else{
420    io.lsu.debug_s2_dm_way_num := 0.U
421  }
422
423
424  XSPerfAccumulate("dcache_read_bank_conflict", io.bank_conflict_slow && s2_valid)
425  XSPerfAccumulate("dcache_read_from_prefetched_line", s2_valid && isFromL1Prefetch(s2_hit_prefetch) && !resp.bits.miss)
426  XSPerfAccumulate("dcache_first_read_from_prefetched_line", s2_valid && isFromL1Prefetch(s2_hit_prefetch) && !resp.bits.miss && !s2_hit_access)
427
428  // if ldu0 and ldu1 hit the same, count for 1
429  val total_prefetch = s2_valid && (s2_req.instrtype === DCACHE_PREFETCH_SOURCE.U)
430  val late_hit_prefetch = s2_valid && s2_hit && (s2_req.instrtype === DCACHE_PREFETCH_SOURCE.U)
431  val late_load_hit = s2_valid && s2_hit && (s2_req.instrtype === DCACHE_PREFETCH_SOURCE.U) && !isFromL1Prefetch(s2_hit_prefetch)
432  val late_prefetch_hit = s2_valid && s2_hit && (s2_req.instrtype === DCACHE_PREFETCH_SOURCE.U) && isFromL1Prefetch(s2_hit_prefetch)
433  val useless_prefetch = io.miss_req.valid && io.miss_req.ready && (s2_req.instrtype === DCACHE_PREFETCH_SOURCE.U)
434  val useful_prefetch = s2_valid && (s2_req.instrtype === DCACHE_PREFETCH_SOURCE.U) && resp.bits.handled && !io.miss_resp.merged
435
436  val prefetch_hit = s2_valid && (s2_req.instrtype =/= DCACHE_PREFETCH_SOURCE.U) && s2_hit && isFromL1Prefetch(s2_hit_prefetch) && s2_req.isFirstIssue
437
438  io.prefetch_info.naive.total_prefetch := total_prefetch
439  io.prefetch_info.naive.late_hit_prefetch := late_hit_prefetch
440  io.prefetch_info.naive.late_load_hit := late_load_hit
441  io.prefetch_info.naive.late_prefetch_hit := late_prefetch_hit
442  io.prefetch_info.naive.useless_prefetch := useless_prefetch
443  io.prefetch_info.naive.useful_prefetch := useful_prefetch
444  io.prefetch_info.naive.prefetch_hit := prefetch_hit
445
446  io.prefetch_info.fdp.demand_miss := s2_valid && (s2_req.instrtype =/= DCACHE_PREFETCH_SOURCE.U) && !s2_hit && s2_req.isFirstIssue
447  io.prefetch_info.fdp.pollution := io.prefetch_info.fdp.demand_miss && io.bloom_filter_query.resp.valid && io.bloom_filter_query.resp.bits.res
448
449  io.lsu.resp.valid := resp.valid
450  io.lsu.resp.bits := resp.bits
451  assert(RegNext(!(resp.valid && !io.lsu.resp.ready)), "lsu should be ready in s2")
452
453  when (resp.valid) {
454    resp.bits.dump()
455  }
456
457  io.lsu.debug_s1_hit_way := s1_tag_match_way_dup_dc
458  io.lsu.s1_disable_fast_wakeup := io.disable_ld_fast_wakeup
459  io.lsu.s2_bank_conflict := io.bank_conflict_slow
460  io.lsu.s2_wpu_pred_fail := s2_wpu_pred_fail_and_real_hit
461  io.lsu.s2_mq_nack       := (resp.bits.miss && (!io.miss_req.fire || s2_nack || io.mq_enq_cancel))
462  assert(RegNext(s1_ready && s2_ready), "load pipeline should never be blocked")
463
464  // --------------------------------------------------------------------------------
465  // stage 3
466  // --------------------------------------------------------------------------------
467  // report ecc error and get selected dcache data
468
469  val s3_valid = RegNext(s2_valid)
470  val s3_load128Req = RegEnable(s2_load128Req, s2_fire)
471  val s3_vaddr = RegEnable(s2_vaddr, s2_fire)
472  val s3_paddr = RegEnable(s2_paddr, s2_fire)
473  val s3_hit = RegEnable(s2_hit, s2_fire)
474  val s3_tag_match_way = RegEnable(s2_tag_match_way, s2_fire)
475  val s3_req_instrtype = RegEnable(s2_req.instrtype, s2_fire)
476  val s3_is_prefetch = s3_req_instrtype === DCACHE_PREFETCH_SOURCE.U
477
478  val s3_data128bit = Cat(io.banked_data_resp(1).raw_data, io.banked_data_resp(0).raw_data)
479  val s3_data64bit = Fill(2, io.banked_data_resp(0).raw_data)
480  val s3_banked_data_resp_word = Mux(s3_load128Req, s3_data128bit, s3_data64bit)
481  val s3_data_error = Mux(s3_load128Req, io.read_error_delayed.asUInt.orR, io.read_error_delayed(0)) && s3_hit
482  val s3_tag_error = RegEnable(s2_tag_error, s2_fire)
483  val s3_flag_error = RegEnable(s2_flag_error, s2_fire)
484  val s3_hit_prefetch = RegEnable(s2_hit_prefetch, s2_fire)
485  val s3_error = s3_tag_error || s3_flag_error || s3_data_error
486
487  // error_delayed signal will be used to update uop.exception 1 cycle after load writeback
488  resp.bits.error_delayed := s3_error && (s3_hit || s3_tag_error) && s3_valid
489  resp.bits.data_delayed := s3_banked_data_resp_word
490  resp.bits.replacementUpdated := io.replace_access.valid
491
492  // report tag / data / l2 error (with paddr) to bus error unit
493  io.error := 0.U.asTypeOf(new L1CacheErrorInfo())
494  io.error.report_to_beu := (s3_tag_error || s3_data_error) && s3_valid
495  io.error.paddr := s3_paddr
496  io.error.source.tag := s3_tag_error
497  io.error.source.data := s3_data_error
498  io.error.source.l2 := s3_flag_error
499  io.error.opType.load := true.B
500  // report tag error / l2 corrupted to CACHE_ERROR csr
501  io.error.valid := s3_error && s3_valid
502
503  // update plru in s3
504  val s3_miss_merged = RegNext(s2_miss_merged)
505  val first_update = RegNext(RegNext(RegNext(!io.lsu.replacementUpdated)))
506  val hit_update_replace_en  = RegNext(s2_valid) && RegNext(!resp.bits.miss)
507  val miss_update_replace_en = RegNext(io.miss_req.fire) && RegNext(!io.mq_enq_cancel) && RegNext(io.miss_resp.handled)
508
509  io.replace_access.valid := s3_valid && s3_hit
510  io.replace_access.bits.set := RegNext(RegNext(get_idx(s1_req.vaddr)))
511  io.replace_access.bits.way := RegNext(RegNext(OHToUInt(s1_tag_match_way_dup_dc)))
512
513  // update access bit
514  io.access_flag_write.valid := s3_valid && s3_hit && !s3_is_prefetch
515  io.access_flag_write.bits.idx := get_idx(s3_vaddr)
516  io.access_flag_write.bits.way_en := s3_tag_match_way
517  io.access_flag_write.bits.flag := true.B
518
519  // clear prefetch source when prefetch hit
520  val s3_clear_pf_flag_en = s3_valid && s3_hit && !s3_is_prefetch && isFromL1Prefetch(s3_hit_prefetch)
521  io.prefetch_flag_write.valid := s3_clear_pf_flag_en && !io.counter_filter_query.resp
522  io.prefetch_flag_write.bits.idx := get_idx(s3_vaddr)
523  io.prefetch_flag_write.bits.way_en := s3_tag_match_way
524  io.prefetch_flag_write.bits.source := L1_HW_PREFETCH_NULL
525
526  io.counter_filter_query.req.valid := s3_clear_pf_flag_en
527  io.counter_filter_query.req.bits.idx := get_idx(s3_vaddr)
528  io.counter_filter_query.req.bits.way := OHToUInt(s3_tag_match_way)
529
530  io.counter_filter_enq.valid := io.prefetch_flag_write.valid
531  io.counter_filter_enq.bits.idx := get_idx(s3_vaddr)
532  io.counter_filter_enq.bits.way := OHToUInt(s3_tag_match_way)
533
534  io.prefetch_info.fdp.useful_prefetch := s3_clear_pf_flag_en && !io.counter_filter_query.resp
535
536  XSPerfAccumulate("s3_pf_hit", s3_clear_pf_flag_en)
537  XSPerfAccumulate("s3_pf_hit_filter", s3_clear_pf_flag_en && !io.counter_filter_query.resp)
538
539  // --------------------------------------------------------------------------------
540  // Debug logging functions
541  def dump_pipeline_reqs(pipeline_stage_name: String, valid: Bool,
542    req: DCacheWordReq ) = {
543      when (valid) {
544        XSDebug(s"$pipeline_stage_name: ")
545        req.dump()
546      }
547  }
548
549  def dump_pipeline_valids(pipeline_stage_name: String, signal_name: String, valid: Bool) = {
550    when (valid) {
551      XSDebug(s"$pipeline_stage_name $signal_name\n")
552    }
553  }
554
555  val load_trace = Wire(new LoadPfDbBundle)
556  val pf_trace = Wire(new LoadPfDbBundle)
557  val miss_trace = Wire(new LoadPfDbBundle)
558  val mshr_trace = Wire(new LoadPfDbBundle)
559
560  load_trace.paddr := get_block_addr(s2_paddr)
561  pf_trace.paddr := get_block_addr(s2_paddr)
562  miss_trace.paddr := get_block_addr(s2_paddr)
563  mshr_trace.paddr := get_block_addr(s2_paddr)
564
565  val table_load = ChiselDB.createTable("LoadTrace" + id.toString + "_hart"+ p(XSCoreParamsKey).HartId.toString, new LoadPfDbBundle, basicDB = false)
566  val site_load = "LoadPipe_load" + id.toString
567  table_load.log(load_trace, s2_valid && s2_req.isFirstIssue && (s2_req.instrtype =/= DCACHE_PREFETCH_SOURCE.U), site_load, clock, reset)
568
569  val table_pf = ChiselDB.createTable("LoadPfTrace" + id.toString + "_hart"+ p(XSCoreParamsKey).HartId.toString, new LoadPfDbBundle, basicDB = false)
570  val site_pf = "LoadPipe_pf" + id.toString
571  table_pf.log(pf_trace, s2_valid && (s2_req.instrtype === DCACHE_PREFETCH_SOURCE.U), site_pf, clock, reset)
572
573  val table_miss = ChiselDB.createTable("LoadTraceMiss" + id.toString + "_hart"+ p(XSCoreParamsKey).HartId.toString, new LoadPfDbBundle, basicDB = false)
574  val site_load_miss = "LoadPipe_load_miss" + id.toString
575  table_miss.log(miss_trace, s2_valid && s2_req.isFirstIssue && (s2_req.instrtype =/= DCACHE_PREFETCH_SOURCE.U) && real_miss, site_load_miss, clock, reset)
576
577  val table_mshr = ChiselDB.createTable("LoadPfMshr" + id.toString + "_hart"+ p(XSCoreParamsKey).HartId.toString, new LoadPfDbBundle, basicDB = false)
578  val site_mshr = "LoadPipe_mshr" + id.toString
579  table_mshr.log(mshr_trace, s2_valid && (s2_req.instrtype === DCACHE_PREFETCH_SOURCE.U) && io.miss_req.fire, site_mshr, clock, reset)
580
581  // performance counters
582  XSPerfAccumulate("load_req", io.lsu.req.fire)
583  XSPerfAccumulate("load_s1_kill", s1_fire && io.lsu.s1_kill)
584  XSPerfAccumulate("load_hit_way", s1_fire && s1_tag_match_dup_dc)
585  XSPerfAccumulate("load_replay", io.lsu.resp.fire && resp.bits.replay)
586  XSPerfAccumulate("load_replay_for_dcache_data_nack", io.lsu.resp.fire && resp.bits.replay && s2_nack_data)
587  XSPerfAccumulate("load_replay_for_dcache_no_mshr", io.lsu.resp.fire && resp.bits.replay && s2_nack_no_mshr)
588  XSPerfAccumulate("load_replay_for_dcache_conflict", io.lsu.resp.fire && resp.bits.replay && io.bank_conflict_slow)
589  XSPerfAccumulate("load_replay_for_dcache_wpu_pred_fail", io.lsu.resp.fire && resp.bits.replay && s2_wpu_pred_fail)
590  XSPerfAccumulate("load_hit", io.lsu.resp.fire && !real_miss)
591  XSPerfAccumulate("load_miss", io.lsu.resp.fire && real_miss)
592  XSPerfAccumulate("load_succeed", io.lsu.resp.fire && !resp.bits.miss && !resp.bits.replay)
593  XSPerfAccumulate("load_miss_or_conflict", io.lsu.resp.fire && resp.bits.miss)
594  XSPerfAccumulate("actual_ld_fast_wakeup", s1_fire && s1_tag_match_dup_dc && !io.disable_ld_fast_wakeup)
595  XSPerfAccumulate("ideal_ld_fast_wakeup", io.banked_data_read.fire && s1_tag_match_dup_dc)
596
597  val perfEvents = Seq(
598    ("load_req                 ", io.lsu.req.fire                                               ),
599    ("load_replay              ", io.lsu.resp.fire && resp.bits.replay                          ),
600    ("load_replay_for_data_nack", io.lsu.resp.fire && resp.bits.replay && s2_nack_data          ),
601    ("load_replay_for_no_mshr  ", io.lsu.resp.fire && resp.bits.replay && s2_nack_no_mshr       ),
602    ("load_replay_for_conflict ", io.lsu.resp.fire && resp.bits.replay && io.bank_conflict_slow ),
603  )
604  generatePerfEvent()
605}
606