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