1c6d43980SLemover/*************************************************************************************** 2c6d43980SLemover* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 3f320e0f0SYinan Xu* Copyright (c) 2020-2021 Peng Cheng Laboratory 4c6d43980SLemover* 5c6d43980SLemover* XiangShan is licensed under Mulan PSL v2. 6c6d43980SLemover* You can use this software according to the terms and conditions of the Mulan PSL v2. 7c6d43980SLemover* You may obtain a copy of Mulan PSL v2 at: 8c6d43980SLemover* http://license.coscl.org.cn/MulanPSL2 9c6d43980SLemover* 10c6d43980SLemover* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 11c6d43980SLemover* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 12c6d43980SLemover* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 13c6d43980SLemover* 14c6d43980SLemover* See the Mulan PSL v2 for more details. 15c6d43980SLemover***************************************************************************************/ 16c6d43980SLemover 17024ee227SWilliam Wangpackage xiangshan.mem 18024ee227SWilliam Wang 198891a219SYinan Xuimport org.chipsalliance.cde.config.Parameters 20024ee227SWilliam Wangimport chisel3._ 21024ee227SWilliam Wangimport chisel3.util._ 22024ee227SWilliam Wangimport utils._ 233c02ee8fSwakafaimport utility._ 246ab6918fSYinan Xuimport xiangshan.ExceptionNO._ 25024ee227SWilliam Wangimport xiangshan._ 26b6982e83SLemoverimport xiangshan.backend.fu.PMPRespBundle 27d2b20d1aSTang Haojinimport xiangshan.backend.rob.{DebugLsInfoBundle, LsTopdownInfo, RobPtr} 281279060fSWilliam Wangimport xiangshan.cache._ 2904665835SMaxpicca-Liimport xiangshan.cache.wpu.ReplayCarry 30185e6164SHaoyuan Fengimport xiangshan.cache.mmu._ 31e4f69d78Ssfencevmaimport xiangshan.mem.mdp._ 32024ee227SWilliam Wang 33185e6164SHaoyuan Fengclass LoadToLsqReplayIO(implicit p: Parameters) extends XSBundle 34185e6164SHaoyuan Feng with HasDCacheParameters 35185e6164SHaoyuan Feng with HasTlbConst 36185e6164SHaoyuan Feng{ 37e4f69d78Ssfencevma // mshr refill index 3814a67055Ssfencevma val mshr_id = UInt(log2Up(cfg.nMissEntries).W) 39e4f69d78Ssfencevma // get full data from store queue and sbuffer 4014a67055Ssfencevma val full_fwd = Bool() 41e4f69d78Ssfencevma // wait for data from store inst's store queue index 4214a67055Ssfencevma val data_inv_sq_idx = new SqPtr 43e4f69d78Ssfencevma // wait for address from store queue index 4414a67055Ssfencevma val addr_inv_sq_idx = new SqPtr 45e4f69d78Ssfencevma // replay carry 4604665835SMaxpicca-Li val rep_carry = new ReplayCarry(nWays) 47e4f69d78Ssfencevma // data in last beat 4814a67055Ssfencevma val last_beat = Bool() 49e4f69d78Ssfencevma // replay cause 50e4f69d78Ssfencevma val cause = Vec(LoadReplayCauses.allCauses, Bool()) 51e4f69d78Ssfencevma // performance debug information 52e4f69d78Ssfencevma val debug = new PerfDebugInfo 53185e6164SHaoyuan Feng // tlb hint 54185e6164SHaoyuan Feng val tlb_id = UInt(log2Up(loadfiltersize).W) 55185e6164SHaoyuan Feng val tlb_full = Bool() 568744445eSMaxpicca-Li 5714a67055Ssfencevma // alias 5814a67055Ssfencevma def mem_amb = cause(LoadReplayCauses.C_MA) 59e50f3145Ssfencevma def tlb_miss = cause(LoadReplayCauses.C_TM) 6014a67055Ssfencevma def fwd_fail = cause(LoadReplayCauses.C_FF) 6114a67055Ssfencevma def dcache_rep = cause(LoadReplayCauses.C_DR) 62e50f3145Ssfencevma def dcache_miss = cause(LoadReplayCauses.C_DM) 63e50f3145Ssfencevma def wpu_fail = cause(LoadReplayCauses.C_WF) 64e50f3145Ssfencevma def bank_conflict = cause(LoadReplayCauses.C_BC) 6514a67055Ssfencevma def rar_nack = cause(LoadReplayCauses.C_RAR) 6614a67055Ssfencevma def raw_nack = cause(LoadReplayCauses.C_RAW) 67e50f3145Ssfencevma def nuke = cause(LoadReplayCauses.C_NK) 6814a67055Ssfencevma def need_rep = cause.asUInt.orR 69a760aeb0Shappy-lx} 70a760aeb0Shappy-lx 71a760aeb0Shappy-lx 722225d46eSJiawei Linclass LoadToLsqIO(implicit p: Parameters) extends XSBundle { 7314a67055Ssfencevma val ldin = DecoupledIO(new LqWriteBundle) 7414a67055Ssfencevma val uncache = Flipped(DecoupledIO(new ExuOutput)) 7514a67055Ssfencevma val ld_raw_data = Input(new LoadDataFromLQBundle) 761b7adedcSWilliam Wang val forward = new PipeLoadForwardQueryIO 7714a67055Ssfencevma val stld_nuke_query = new LoadNukeQueryIO 7814a67055Ssfencevma val ldld_nuke_query = new LoadNukeQueryIO 79024ee227SWilliam Wang} 80024ee227SWilliam Wang 81e3f759aeSWilliam Wangclass LoadToLoadIO(implicit p: Parameters) extends XSBundle { 82e3f759aeSWilliam Wang val valid = Bool() 8314a67055Ssfencevma val data = UInt(XLEN.W) // load to load fast path is limited to ld (64 bit) used as vaddr src1 only 8414a67055Ssfencevma val dly_ld_err = Bool() 85e3f759aeSWilliam Wang} 86e3f759aeSWilliam Wang 87b978565cSWilliam Wangclass LoadUnitTriggerIO(implicit p: Parameters) extends XSBundle { 88b978565cSWilliam Wang val tdata2 = Input(UInt(64.W)) 89b978565cSWilliam Wang val matchType = Input(UInt(2.W)) 9084e47f35SLi Qianruo val tEnable = Input(Bool()) // timing is calculated before this 91b978565cSWilliam Wang val addrHit = Output(Bool()) 92b978565cSWilliam Wang val lastDataHit = Output(Bool()) 93b978565cSWilliam Wang} 94b978565cSWilliam Wang 9509203307SWilliam Wangclass LoadUnit(implicit p: Parameters) extends XSModule 9609203307SWilliam Wang with HasLoadHelper 9709203307SWilliam Wang with HasPerfEvents 9809203307SWilliam Wang with HasDCacheParameters 99e4f69d78Ssfencevma with HasCircularQueuePtrHelper 10009203307SWilliam Wang{ 101024ee227SWilliam Wang val io = IO(new Bundle() { 10214a67055Ssfencevma // control 103024ee227SWilliam Wang val redirect = Flipped(ValidIO(new Redirect)) 10414a67055Ssfencevma val csrCtrl = Flipped(new CustomCSRCtrlIO) 10514a67055Ssfencevma 10614a67055Ssfencevma // int issue path 10714a67055Ssfencevma val ldin = Flipped(Decoupled(new ExuInput)) 10814a67055Ssfencevma val ldout = Decoupled(new ExuOutput) 10914a67055Ssfencevma val rsIdx = Input(UInt()) 110ee46cd6eSLemover val isFirstIssue = Input(Bool()) 11114a67055Ssfencevma 11214a67055Ssfencevma // data path 11314a67055Ssfencevma val tlb = new TlbRequestIO(2) 11414a67055Ssfencevma val pmp = Flipped(new PMPRespBundle()) // arrive same to tlb now 1151279060fSWilliam Wang val dcache = new DCacheLoadIO 116024ee227SWilliam Wang val sbuffer = new LoadForwardQueryIO 1170bd67ba5SYinan Xu val lsq = new LoadToLsqIO 11814a67055Ssfencevma val tl_d_channel = Input(new DcacheToLduForwardIO) 119683c1411Shappy-lx val forward_mshr = Flipped(new LduToMissqueueForwardIO) 12009203307SWilliam Wang val refill = Flipped(ValidIO(new Refill)) 12114a67055Ssfencevma val l2_hint = Input(Valid(new L2ToL1Hint)) 122185e6164SHaoyuan Feng val tlb_hint = Flipped(new TlbHintReq) 12314a67055Ssfencevma // fast wakeup 12414a67055Ssfencevma val fast_uop = ValidIO(new MicroOp) // early wakeup signal generated in load_s1, send to RS in load_s2 12514a67055Ssfencevma 12614a67055Ssfencevma // prefetch 1270d32f713Shappy-lx val prefetch_train = ValidIO(new LdPrefetchTrainBundle()) // provide prefetch info to sms 1280d32f713Shappy-lx val prefetch_train_l1 = ValidIO(new LdPrefetchTrainBundle()) // provide prefetch info to stream & stride 12914a67055Ssfencevma val prefetch_req = Flipped(ValidIO(new L1PrefetchReq)) // hardware prefetch to l1 cache req 1300d32f713Shappy-lx val canAcceptLowConfPrefetch = Output(Bool()) 1310d32f713Shappy-lx val canAcceptHighConfPrefetch = Output(Bool()) 132b52348aeSWilliam Wang 133b52348aeSWilliam Wang // load to load fast path 13414a67055Ssfencevma val l2l_fwd_in = Input(new LoadToLoadIO) 13514a67055Ssfencevma val l2l_fwd_out = Output(new LoadToLoadIO) 136c163075eSsfencevma 13714a67055Ssfencevma val ld_fast_match = Input(Bool()) 138c163075eSsfencevma val ld_fast_fuOpType = Input(UInt()) 13914a67055Ssfencevma val ld_fast_imm = Input(UInt(12.W)) 14067682d05SWilliam Wang 141e4f69d78Ssfencevma // rs feedback 14214a67055Ssfencevma val feedback_fast = ValidIO(new RSFeedback) // stage 2 14314a67055Ssfencevma val feedback_slow = ValidIO(new RSFeedback) // stage 3 144e4f69d78Ssfencevma 14514a67055Ssfencevma // load ecc error 14614a67055Ssfencevma val s3_dly_ld_err = Output(Bool()) // Note that io.s3_dly_ld_err and io.lsq.s3_dly_ld_err is different 1476786cfb7SWilliam Wang 14814a67055Ssfencevma // schedule error query 14914a67055Ssfencevma val stld_nuke_query = Flipped(Vec(StorePipelineWidth, Valid(new StoreNukeQueryIO))) 1500ce3de17SYinan Xu 15114a67055Ssfencevma // queue-based replay 152e4f69d78Ssfencevma val replay = Flipped(Decoupled(new LsPipelineBundle)) 15314a67055Ssfencevma val lq_rep_full = Input(Bool()) 15414a67055Ssfencevma 15514a67055Ssfencevma // misc 15614a67055Ssfencevma val s2_ptr_chasing = Output(Bool()) // provide right pc for hw prefetch 157594c5198Ssfencevma 158594c5198Ssfencevma // Load fast replay path 15914a67055Ssfencevma val fast_rep_in = Flipped(Decoupled(new LqWriteBundle)) 16014a67055Ssfencevma val fast_rep_out = Decoupled(new LqWriteBundle) 161b9e121dfShappy-lx 1623343d4a5Ssfencevma // Load RAR rollback 1633343d4a5Ssfencevma val rollback = Valid(new Redirect) 1643343d4a5Ssfencevma 16514a67055Ssfencevma // perf 16614a67055Ssfencevma val debug_ls = Output(new DebugLsInfoBundle) 16714a67055Ssfencevma val lsTopdownInfo = Output(new LsTopdownInfo) 1680d32f713Shappy-lx val correctMissTrain = Input(Bool()) 169024ee227SWilliam Wang }) 170024ee227SWilliam Wang 17114a67055Ssfencevma val s1_ready, s2_ready, s3_ready = WireInit(false.B) 172024ee227SWilliam Wang 17314a67055Ssfencevma // Pipeline 17414a67055Ssfencevma // -------------------------------------------------------------------------------- 17514a67055Ssfencevma // stage 0 17614a67055Ssfencevma // -------------------------------------------------------------------------------- 17714a67055Ssfencevma // generate addr, use addr to query DCache and DTLB 17814a67055Ssfencevma val s0_valid = Wire(Bool()) 17914a67055Ssfencevma val s0_kill = Wire(Bool()) 18014a67055Ssfencevma val s0_can_go = s1_ready 18114a67055Ssfencevma val s0_fire = s0_valid && s0_can_go 18214a67055Ssfencevma val s0_out = Wire(new LqWriteBundle) 183dcd58560SWilliam Wang 184cd2ff98bShappy-lx // flow source bundle 185cd2ff98bShappy-lx class FlowSource extends Bundle { 186cd2ff98bShappy-lx val vaddr = UInt(VAddrBits.W) 187cd2ff98bShappy-lx val mask = UInt((VLEN/8).W) 188cd2ff98bShappy-lx val uop = new MicroOp 189cd2ff98bShappy-lx val try_l2l = Bool() 190cd2ff98bShappy-lx val has_rob_entry = Bool() 191cd2ff98bShappy-lx val rsIdx = UInt(log2Up(IssQueSize).W) 192cd2ff98bShappy-lx val rep_carry = new ReplayCarry(nWays) 193cd2ff98bShappy-lx val mshrid = UInt(log2Up(cfg.nMissEntries).W) 194cd2ff98bShappy-lx val isFirstIssue = Bool() 195cd2ff98bShappy-lx val fast_rep = Bool() 196cd2ff98bShappy-lx val ld_rep = Bool() 197cd2ff98bShappy-lx val l2l_fwd = Bool() 198cd2ff98bShappy-lx val prf = Bool() 199cd2ff98bShappy-lx val prf_rd = Bool() 200cd2ff98bShappy-lx val prf_wr = Bool() 201cd2ff98bShappy-lx val sched_idx = UInt(log2Up(LoadQueueReplaySize+1).W) 202cd2ff98bShappy-lx } 203cd2ff98bShappy-lx val s0_sel_src = Wire(new FlowSource) 204cd2ff98bShappy-lx 20514a67055Ssfencevma // load flow select/gen 20676e71c02Shappy-lx // src0: super load replayed by LSQ (cache miss replay) (io.replay) 20776e71c02Shappy-lx // src1: fast load replay (io.fast_rep_in) 20876e71c02Shappy-lx // src2: load replayed by LSQ (io.replay) 20976e71c02Shappy-lx // src3: hardware prefetch from prefetchor (high confidence) (io.prefetch) 21076e71c02Shappy-lx // src4: int read / software prefetch first issue from RS (io.in) 21176e71c02Shappy-lx // src5: vec read first issue from RS (TODO) 21276e71c02Shappy-lx // src6: load try pointchaising when no issued or replayed load (io.fastpath) 21376e71c02Shappy-lx // src7: hardware prefetch from prefetchor (high confidence) (io.prefetch) 21414a67055Ssfencevma // priority: high to low 21514a67055Ssfencevma val s0_rep_stall = io.ldin.valid && isAfter(io.replay.bits.uop.robIdx, io.ldin.bits.uop.robIdx) 21676e71c02Shappy-lx val s0_super_ld_rep_valid = io.replay.valid && io.replay.bits.forward_tlDchannel 21714a67055Ssfencevma val s0_ld_fast_rep_valid = io.fast_rep_in.valid 21876e71c02Shappy-lx val s0_ld_rep_valid = io.replay.valid && !io.replay.bits.forward_tlDchannel && !s0_rep_stall 21914a67055Ssfencevma val s0_high_conf_prf_valid = io.prefetch_req.valid && io.prefetch_req.bits.confidence > 0.U 22014a67055Ssfencevma val s0_int_iss_valid = io.ldin.valid // int flow first issue or software prefetch 22114a67055Ssfencevma val s0_vec_iss_valid = WireInit(false.B) // TODO 222cd2ff98bShappy-lx val s0_l2l_fwd_valid = io.l2l_fwd_in.valid 22314a67055Ssfencevma val s0_low_conf_prf_valid = io.prefetch_req.valid && io.prefetch_req.bits.confidence === 0.U 22476e71c02Shappy-lx dontTouch(s0_super_ld_rep_valid) 22514a67055Ssfencevma dontTouch(s0_ld_fast_rep_valid) 22614a67055Ssfencevma dontTouch(s0_ld_rep_valid) 22714a67055Ssfencevma dontTouch(s0_high_conf_prf_valid) 22814a67055Ssfencevma dontTouch(s0_int_iss_valid) 22914a67055Ssfencevma dontTouch(s0_vec_iss_valid) 23014a67055Ssfencevma dontTouch(s0_l2l_fwd_valid) 23114a67055Ssfencevma dontTouch(s0_low_conf_prf_valid) 232024ee227SWilliam Wang 23314a67055Ssfencevma // load flow source ready 23476e71c02Shappy-lx val s0_super_ld_rep_ready = WireInit(true.B) 23576e71c02Shappy-lx val s0_ld_fast_rep_ready = !s0_super_ld_rep_valid 23676e71c02Shappy-lx val s0_ld_rep_ready = !s0_super_ld_rep_valid && 23776e71c02Shappy-lx !s0_ld_fast_rep_valid 23876e71c02Shappy-lx val s0_high_conf_prf_ready = !s0_super_ld_rep_valid && 23976e71c02Shappy-lx !s0_ld_fast_rep_valid && 24014a67055Ssfencevma !s0_ld_rep_valid 241024ee227SWilliam Wang 24276e71c02Shappy-lx val s0_int_iss_ready = !s0_super_ld_rep_valid && 24376e71c02Shappy-lx !s0_ld_fast_rep_valid && 24414a67055Ssfencevma !s0_ld_rep_valid && 24514a67055Ssfencevma !s0_high_conf_prf_valid 246a760aeb0Shappy-lx 24776e71c02Shappy-lx val s0_vec_iss_ready = !s0_super_ld_rep_valid && 24876e71c02Shappy-lx !s0_ld_fast_rep_valid && 24914a67055Ssfencevma !s0_ld_rep_valid && 25014a67055Ssfencevma !s0_high_conf_prf_valid && 25114a67055Ssfencevma !s0_int_iss_valid 25214a67055Ssfencevma 25376e71c02Shappy-lx val s0_l2l_fwd_ready = !s0_super_ld_rep_valid && 25476e71c02Shappy-lx !s0_ld_fast_rep_valid && 25514a67055Ssfencevma !s0_ld_rep_valid && 25614a67055Ssfencevma !s0_high_conf_prf_valid && 25714a67055Ssfencevma !s0_int_iss_valid && 25814a67055Ssfencevma !s0_vec_iss_valid 25914a67055Ssfencevma 26076e71c02Shappy-lx val s0_low_conf_prf_ready = !s0_super_ld_rep_valid && 26176e71c02Shappy-lx !s0_ld_fast_rep_valid && 26214a67055Ssfencevma !s0_ld_rep_valid && 26314a67055Ssfencevma !s0_high_conf_prf_valid && 26414a67055Ssfencevma !s0_int_iss_valid && 26514a67055Ssfencevma !s0_vec_iss_valid && 26614a67055Ssfencevma !s0_l2l_fwd_valid 26776e71c02Shappy-lx dontTouch(s0_super_ld_rep_ready) 26814a67055Ssfencevma dontTouch(s0_ld_fast_rep_ready) 26914a67055Ssfencevma dontTouch(s0_ld_rep_ready) 27014a67055Ssfencevma dontTouch(s0_high_conf_prf_ready) 27114a67055Ssfencevma dontTouch(s0_int_iss_ready) 27214a67055Ssfencevma dontTouch(s0_vec_iss_ready) 27314a67055Ssfencevma dontTouch(s0_l2l_fwd_ready) 27414a67055Ssfencevma dontTouch(s0_low_conf_prf_ready) 27514a67055Ssfencevma 27614a67055Ssfencevma // load flow source select (OH) 27776e71c02Shappy-lx val s0_super_ld_rep_select = s0_super_ld_rep_valid && s0_super_ld_rep_ready 27814a67055Ssfencevma val s0_ld_fast_rep_select = s0_ld_fast_rep_valid && s0_ld_fast_rep_ready 27914a67055Ssfencevma val s0_ld_rep_select = s0_ld_rep_valid && s0_ld_rep_ready 28014a67055Ssfencevma val s0_hw_prf_select = s0_high_conf_prf_ready && s0_high_conf_prf_valid || 28114a67055Ssfencevma s0_low_conf_prf_ready && s0_low_conf_prf_valid 28214a67055Ssfencevma val s0_int_iss_select = s0_int_iss_ready && s0_int_iss_valid 28314a67055Ssfencevma val s0_vec_iss_select = s0_vec_iss_ready && s0_vec_iss_valid 28414a67055Ssfencevma val s0_l2l_fwd_select = s0_l2l_fwd_ready && s0_l2l_fwd_valid 28514a67055Ssfencevma assert(!s0_vec_iss_select) // to be added 28676e71c02Shappy-lx dontTouch(s0_super_ld_rep_select) 28714a67055Ssfencevma dontTouch(s0_ld_fast_rep_select) 28814a67055Ssfencevma dontTouch(s0_ld_rep_select) 28914a67055Ssfencevma dontTouch(s0_hw_prf_select) 29014a67055Ssfencevma dontTouch(s0_int_iss_select) 29114a67055Ssfencevma dontTouch(s0_vec_iss_select) 29214a67055Ssfencevma dontTouch(s0_l2l_fwd_select) 29314a67055Ssfencevma 29476e71c02Shappy-lx s0_valid := (s0_super_ld_rep_valid || 29576e71c02Shappy-lx s0_ld_fast_rep_valid || 29614a67055Ssfencevma s0_ld_rep_valid || 29714a67055Ssfencevma s0_high_conf_prf_valid || 29814a67055Ssfencevma s0_int_iss_valid || 29914a67055Ssfencevma s0_vec_iss_valid || 30014a67055Ssfencevma s0_l2l_fwd_valid || 30114a67055Ssfencevma s0_low_conf_prf_valid) && io.dcache.req.ready && !s0_kill 30214a67055Ssfencevma 303a760aeb0Shappy-lx // which is S0's out is ready and dcache is ready 30414a67055Ssfencevma val s0_try_ptr_chasing = s0_l2l_fwd_select 30514a67055Ssfencevma val s0_do_try_ptr_chasing = s0_try_ptr_chasing && s0_can_go && io.dcache.req.ready 30614a67055Ssfencevma val s0_ptr_chasing_vaddr = io.l2l_fwd_in.data(5, 0) +& io.ld_fast_imm(5, 0) 30714a67055Ssfencevma val s0_ptr_chasing_canceled = WireInit(false.B) 308cd2ff98bShappy-lx s0_kill := s0_ptr_chasing_canceled 30914a67055Ssfencevma 31014a67055Ssfencevma // prefetch related ctrl signal 3110d32f713Shappy-lx io.canAcceptLowConfPrefetch := s0_low_conf_prf_ready 3120d32f713Shappy-lx io.canAcceptHighConfPrefetch := s0_high_conf_prf_ready 3130d32f713Shappy-lx 31414a67055Ssfencevma // query DTLB 31514a67055Ssfencevma io.tlb.req.valid := s0_valid 316cd2ff98bShappy-lx io.tlb.req.bits.cmd := Mux(s0_sel_src.prf, 317cd2ff98bShappy-lx Mux(s0_sel_src.prf_wr, TlbCmd.write, TlbCmd.read), 31814a67055Ssfencevma TlbCmd.read 31914a67055Ssfencevma ) 320cd2ff98bShappy-lx io.tlb.req.bits.vaddr := Mux(s0_hw_prf_select, io.prefetch_req.bits.paddr, s0_sel_src.vaddr) 321cd2ff98bShappy-lx io.tlb.req.bits.size := LSUOpType.size(s0_sel_src.uop.ctrl.fuOpType) 32214a67055Ssfencevma io.tlb.req.bits.kill := s0_kill 32314a67055Ssfencevma io.tlb.req.bits.memidx.is_ld := true.B 32414a67055Ssfencevma io.tlb.req.bits.memidx.is_st := false.B 325cd2ff98bShappy-lx io.tlb.req.bits.memidx.idx := s0_sel_src.uop.lqIdx.value 326cd2ff98bShappy-lx io.tlb.req.bits.debug.robIdx := s0_sel_src.uop.robIdx 32714a67055Ssfencevma io.tlb.req.bits.no_translate := s0_hw_prf_select // hw b.reqetch addr does not need to be translated 328cd2ff98bShappy-lx io.tlb.req.bits.debug.pc := s0_sel_src.uop.cf.pc 329cd2ff98bShappy-lx io.tlb.req.bits.debug.isFirstIssue := s0_sel_src.isFirstIssue 33014a67055Ssfencevma 33114a67055Ssfencevma // query DCache 33214a67055Ssfencevma io.dcache.req.valid := s0_valid 333cd2ff98bShappy-lx io.dcache.req.bits.cmd := Mux(s0_sel_src.prf_rd, 33414a67055Ssfencevma MemoryOpConstants.M_PFR, 335cd2ff98bShappy-lx Mux(s0_sel_src.prf_wr, MemoryOpConstants.M_PFW, MemoryOpConstants.M_XRD) 33614a67055Ssfencevma ) 337cd2ff98bShappy-lx io.dcache.req.bits.vaddr := s0_sel_src.vaddr 338cd2ff98bShappy-lx io.dcache.req.bits.mask := s0_sel_src.mask 33914a67055Ssfencevma io.dcache.req.bits.data := DontCare 340cd2ff98bShappy-lx io.dcache.req.bits.isFirstIssue := s0_sel_src.isFirstIssue 341cd2ff98bShappy-lx io.dcache.req.bits.instrtype := Mux(s0_sel_src.prf, DCACHE_PREFETCH_SOURCE.U, LOAD_SOURCE.U) 342cd2ff98bShappy-lx io.dcache.req.bits.debug_robIdx := s0_sel_src.uop.robIdx.value 343cd2ff98bShappy-lx io.dcache.req.bits.replayCarry := s0_sel_src.rep_carry 34414a67055Ssfencevma io.dcache.req.bits.id := DontCare // TODO: update cache meta 3450d32f713Shappy-lx io.dcache.pf_source := Mux(s0_hw_prf_select, io.prefetch_req.bits.pf_source.value, L1_HW_PREFETCH_NULL) 346*d2945707SHuijin Li io.dcache.req.bits.lqIdx := s0_sel_src.uop.lqIdx 34714a67055Ssfencevma // load flow priority mux 348cd2ff98bShappy-lx def fromNullSource(): FlowSource = { 349cd2ff98bShappy-lx val out = WireInit(0.U.asTypeOf(new FlowSource)) 350cd2ff98bShappy-lx out 35114a67055Ssfencevma } 35214a67055Ssfencevma 353cd2ff98bShappy-lx def fromFastReplaySource(src: LqWriteBundle): FlowSource = { 354cd2ff98bShappy-lx val out = WireInit(0.U.asTypeOf(new FlowSource)) 355cd2ff98bShappy-lx out.vaddr := src.vaddr 356cd2ff98bShappy-lx out.mask := src.mask 357cd2ff98bShappy-lx out.uop := src.uop 358cd2ff98bShappy-lx out.try_l2l := false.B 359cd2ff98bShappy-lx out.has_rob_entry := src.hasROBEntry 360cd2ff98bShappy-lx out.rep_carry := src.rep_info.rep_carry 361cd2ff98bShappy-lx out.mshrid := src.rep_info.mshr_id 362cd2ff98bShappy-lx out.rsIdx := src.rsIdx 363cd2ff98bShappy-lx out.isFirstIssue := false.B 364cd2ff98bShappy-lx out.fast_rep := true.B 365cd2ff98bShappy-lx out.ld_rep := src.isLoadReplay 366cd2ff98bShappy-lx out.l2l_fwd := false.B 367cd2ff98bShappy-lx out.prf := LSUOpType.isPrefetch(src.uop.ctrl.fuOpType) 368cd2ff98bShappy-lx out.prf_rd := src.uop.ctrl.fuOpType === LSUOpType.prefetch_r 369cd2ff98bShappy-lx out.prf_wr := src.uop.ctrl.fuOpType === LSUOpType.prefetch_w 370cd2ff98bShappy-lx out.sched_idx := src.schedIndex 371cd2ff98bShappy-lx out 37214a67055Ssfencevma } 37314a67055Ssfencevma 374cd2ff98bShappy-lx def fromNormalReplaySource(src: LsPipelineBundle): FlowSource = { 375cd2ff98bShappy-lx val out = WireInit(0.U.asTypeOf(new FlowSource)) 376cd2ff98bShappy-lx out.vaddr := src.vaddr 377cd2ff98bShappy-lx out.mask := genVWmask(src.vaddr, src.uop.ctrl.fuOpType(1, 0)) 378cd2ff98bShappy-lx out.uop := src.uop 379cd2ff98bShappy-lx out.try_l2l := false.B 380cd2ff98bShappy-lx out.has_rob_entry := true.B 381cd2ff98bShappy-lx out.rsIdx := src.rsIdx 382cd2ff98bShappy-lx out.rep_carry := src.replayCarry 383cd2ff98bShappy-lx out.mshrid := src.mshrid 384cd2ff98bShappy-lx out.isFirstIssue := false.B 385cd2ff98bShappy-lx out.fast_rep := false.B 386cd2ff98bShappy-lx out.ld_rep := true.B 387cd2ff98bShappy-lx out.l2l_fwd := false.B 388cd2ff98bShappy-lx out.prf := LSUOpType.isPrefetch(src.uop.ctrl.fuOpType) 389cd2ff98bShappy-lx out.prf_rd := src.uop.ctrl.fuOpType === LSUOpType.prefetch_r 390cd2ff98bShappy-lx out.prf_wr := src.uop.ctrl.fuOpType === LSUOpType.prefetch_w 391cd2ff98bShappy-lx out.sched_idx := src.schedIndex 392cd2ff98bShappy-lx out 39314a67055Ssfencevma } 39414a67055Ssfencevma 395cd2ff98bShappy-lx def fromPrefetchSource(src: L1PrefetchReq): FlowSource = { 396cd2ff98bShappy-lx val out = WireInit(0.U.asTypeOf(new FlowSource)) 397cd2ff98bShappy-lx out.vaddr := src.getVaddr() 398cd2ff98bShappy-lx out.mask := 0.U 399cd2ff98bShappy-lx out.uop := DontCare 400cd2ff98bShappy-lx out.try_l2l := false.B 401cd2ff98bShappy-lx out.has_rob_entry := false.B 402cd2ff98bShappy-lx out.rsIdx := 0.U 403cd2ff98bShappy-lx out.rep_carry := 0.U.asTypeOf(out.rep_carry.cloneType) 404cd2ff98bShappy-lx out.mshrid := 0.U 405cd2ff98bShappy-lx out.isFirstIssue := false.B 406cd2ff98bShappy-lx out.fast_rep := false.B 407cd2ff98bShappy-lx out.ld_rep := false.B 408cd2ff98bShappy-lx out.l2l_fwd := false.B 409cd2ff98bShappy-lx out.prf := true.B 410cd2ff98bShappy-lx out.prf_rd := !src.is_store 411cd2ff98bShappy-lx out.prf_wr := src.is_store 412cd2ff98bShappy-lx out.sched_idx := 0.U 413cd2ff98bShappy-lx out 41414a67055Ssfencevma } 41514a67055Ssfencevma 416cd2ff98bShappy-lx def fromIntIssueSource(src: ExuInput): FlowSource = { 417cd2ff98bShappy-lx val out = WireInit(0.U.asTypeOf(new FlowSource)) 418cd2ff98bShappy-lx out.vaddr := src.src(0) + SignExt(src.uop.ctrl.imm(11, 0), VAddrBits) 419cd2ff98bShappy-lx out.mask := genVWmask(out.vaddr, src.uop.ctrl.fuOpType(1,0)) 420cd2ff98bShappy-lx out.uop := src.uop 421cd2ff98bShappy-lx out.try_l2l := false.B 422cd2ff98bShappy-lx out.has_rob_entry := true.B 423cd2ff98bShappy-lx out.rsIdx := io.rsIdx 424cd2ff98bShappy-lx out.rep_carry := 0.U.asTypeOf(out.rep_carry.cloneType) 425cd2ff98bShappy-lx out.mshrid := 0.U 426cd2ff98bShappy-lx out.isFirstIssue := true.B 427cd2ff98bShappy-lx out.fast_rep := false.B 428cd2ff98bShappy-lx out.ld_rep := false.B 429cd2ff98bShappy-lx out.l2l_fwd := false.B 430cd2ff98bShappy-lx out.prf := LSUOpType.isPrefetch(src.uop.ctrl.fuOpType) 431cd2ff98bShappy-lx out.prf_rd := src.uop.ctrl.fuOpType === LSUOpType.prefetch_r 432cd2ff98bShappy-lx out.prf_wr := src.uop.ctrl.fuOpType === LSUOpType.prefetch_w 433cd2ff98bShappy-lx out.sched_idx := 0.U 434cd2ff98bShappy-lx out 43514a67055Ssfencevma } 43614a67055Ssfencevma 437cd2ff98bShappy-lx def fromVecIssueSource(): FlowSource = { 438cd2ff98bShappy-lx val out = WireInit(0.U.asTypeOf(new FlowSource)) 439cd2ff98bShappy-lx out.vaddr := 0.U 440cd2ff98bShappy-lx out.mask := 0.U 441cd2ff98bShappy-lx out.uop := 0.U.asTypeOf(new MicroOp) 442cd2ff98bShappy-lx out.try_l2l := false.B 443cd2ff98bShappy-lx out.has_rob_entry := false.B 444cd2ff98bShappy-lx out.rsIdx := 0.U 445cd2ff98bShappy-lx out.rep_carry := 0.U.asTypeOf(out.rep_carry.cloneType) 446cd2ff98bShappy-lx out.mshrid := 0.U 447cd2ff98bShappy-lx out.isFirstIssue := false.B 448cd2ff98bShappy-lx out.fast_rep := false.B 449cd2ff98bShappy-lx out.ld_rep := false.B 450cd2ff98bShappy-lx out.l2l_fwd := false.B 451cd2ff98bShappy-lx out.prf := false.B 452cd2ff98bShappy-lx out.prf_rd := false.B 453cd2ff98bShappy-lx out.prf_wr := false.B 454cd2ff98bShappy-lx out.sched_idx := 0.U 455cd2ff98bShappy-lx out 45614a67055Ssfencevma } 45714a67055Ssfencevma 458cd2ff98bShappy-lx def fromLoadToLoadSource(src: LoadToLoadIO): FlowSource = { 459cd2ff98bShappy-lx val out = WireInit(0.U.asTypeOf(new FlowSource)) 460cd2ff98bShappy-lx out.vaddr := Cat(src.data(XLEN-1, 6), s0_ptr_chasing_vaddr(5,0)) 461cd2ff98bShappy-lx out.mask := genVWmask(0.U, LSUOpType.ld) 46214a67055Ssfencevma // When there's no valid instruction from RS and LSQ, we try the load-to-load forwarding. 46314a67055Ssfencevma // Assume the pointer chasing is always ld. 464cd2ff98bShappy-lx out.uop.ctrl.fuOpType := LSUOpType.ld 465cd2ff98bShappy-lx out.try_l2l := true.B 46614a67055Ssfencevma // we dont care s0_isFirstIssue and s0_rsIdx and s0_sqIdx in S0 when trying pointchasing 46714a67055Ssfencevma // because these signals will be updated in S1 468cd2ff98bShappy-lx out.has_rob_entry := false.B 469cd2ff98bShappy-lx out.rsIdx := 0.U 470cd2ff98bShappy-lx out.mshrid := 0.U 471cd2ff98bShappy-lx out.rep_carry := 0.U.asTypeOf(out.rep_carry.cloneType) 472cd2ff98bShappy-lx out.isFirstIssue := true.B 473cd2ff98bShappy-lx out.fast_rep := false.B 474cd2ff98bShappy-lx out.ld_rep := false.B 475cd2ff98bShappy-lx out.l2l_fwd := true.B 476cd2ff98bShappy-lx out.prf := false.B 477cd2ff98bShappy-lx out.prf_rd := false.B 478cd2ff98bShappy-lx out.prf_wr := false.B 479cd2ff98bShappy-lx out.sched_idx := 0.U 480cd2ff98bShappy-lx out 48114a67055Ssfencevma } 48214a67055Ssfencevma 48314a67055Ssfencevma // set default 484cd2ff98bShappy-lx val s0_src_selector = Seq( 485cd2ff98bShappy-lx s0_super_ld_rep_select, 486cd2ff98bShappy-lx s0_ld_fast_rep_select, 487cd2ff98bShappy-lx s0_ld_rep_select, 488cd2ff98bShappy-lx s0_hw_prf_select, 489cd2ff98bShappy-lx s0_int_iss_select, 490cd2ff98bShappy-lx s0_vec_iss_select, 491cd2ff98bShappy-lx (if (EnableLoadToLoadForward) s0_l2l_fwd_select else true.B) 492cd2ff98bShappy-lx ) 493cd2ff98bShappy-lx val s0_src_format = Seq( 494cd2ff98bShappy-lx fromNormalReplaySource(io.replay.bits), 495cd2ff98bShappy-lx fromFastReplaySource(io.fast_rep_in.bits), 496cd2ff98bShappy-lx fromNormalReplaySource(io.replay.bits), 497cd2ff98bShappy-lx fromPrefetchSource(io.prefetch_req.bits), 498cd2ff98bShappy-lx fromIntIssueSource(io.ldin.bits), 499cd2ff98bShappy-lx fromVecIssueSource(), 500cd2ff98bShappy-lx (if (EnableLoadToLoadForward) fromLoadToLoadSource(io.l2l_fwd_in) else fromNullSource()) 501cd2ff98bShappy-lx ) 502cd2ff98bShappy-lx s0_sel_src := ParallelPriorityMux(s0_src_selector, s0_src_format) 50314a67055Ssfencevma 50414a67055Ssfencevma // address align check 505cd2ff98bShappy-lx val s0_addr_aligned = LookupTree(s0_sel_src.uop.ctrl.fuOpType(1, 0), List( 50614a67055Ssfencevma "b00".U -> true.B, //b 507cd2ff98bShappy-lx "b01".U -> (s0_sel_src.vaddr(0) === 0.U), //h 508cd2ff98bShappy-lx "b10".U -> (s0_sel_src.vaddr(1, 0) === 0.U), //w 509cd2ff98bShappy-lx "b11".U -> (s0_sel_src.vaddr(2, 0) === 0.U) //d 51014a67055Ssfencevma )) 51114a67055Ssfencevma 51214a67055Ssfencevma // accept load flow if dcache ready (tlb is always ready) 51314a67055Ssfencevma // TODO: prefetch need writeback to loadQueueFlag 51414a67055Ssfencevma s0_out := DontCare 515cd2ff98bShappy-lx s0_out.rsIdx := s0_sel_src.rsIdx 516cd2ff98bShappy-lx s0_out.vaddr := s0_sel_src.vaddr 517cd2ff98bShappy-lx s0_out.mask := s0_sel_src.mask 518cd2ff98bShappy-lx s0_out.uop := s0_sel_src.uop 519cd2ff98bShappy-lx s0_out.isFirstIssue := s0_sel_src.isFirstIssue 520cd2ff98bShappy-lx s0_out.hasROBEntry := s0_sel_src.has_rob_entry 521cd2ff98bShappy-lx s0_out.isPrefetch := s0_sel_src.prf 522cd2ff98bShappy-lx s0_out.isHWPrefetch := s0_hw_prf_select 523cd2ff98bShappy-lx s0_out.isFastReplay := s0_sel_src.fast_rep 524cd2ff98bShappy-lx s0_out.isLoadReplay := s0_sel_src.ld_rep 525cd2ff98bShappy-lx s0_out.isFastPath := s0_sel_src.l2l_fwd 526cd2ff98bShappy-lx s0_out.mshrid := s0_sel_src.mshrid 52714a67055Ssfencevma s0_out.uop.cf.exceptionVec(loadAddrMisaligned) := !s0_addr_aligned 52876e71c02Shappy-lx s0_out.forward_tlDchannel := s0_super_ld_rep_select 529cd2ff98bShappy-lx when(io.tlb.req.valid && s0_sel_src.isFirstIssue) { 53014a67055Ssfencevma s0_out.uop.debugInfo.tlbFirstReqTime := GTimer() 53114a67055Ssfencevma }.otherwise{ 532cd2ff98bShappy-lx s0_out.uop.debugInfo.tlbFirstReqTime := s0_sel_src.uop.debugInfo.tlbFirstReqTime 53314a67055Ssfencevma } 534cd2ff98bShappy-lx s0_out.schedIndex := s0_sel_src.sched_idx 53514a67055Ssfencevma 53614a67055Ssfencevma // load fast replay 53714a67055Ssfencevma io.fast_rep_in.ready := (s0_can_go && io.dcache.req.ready && s0_ld_fast_rep_ready) 53814a67055Ssfencevma 53914a67055Ssfencevma // load flow source ready 54076e71c02Shappy-lx // cache missed load has highest priority 54176e71c02Shappy-lx // always accept cache missed load flow from load replay queue 54276e71c02Shappy-lx io.replay.ready := (s0_can_go && io.dcache.req.ready && (s0_ld_rep_ready && !s0_rep_stall || s0_super_ld_rep_select)) 54314a67055Ssfencevma 54414a67055Ssfencevma // accept load flow from rs when: 54514a67055Ssfencevma // 1) there is no lsq-replayed load 54676e71c02Shappy-lx // 2) there is no fast replayed load 54776e71c02Shappy-lx // 3) there is no high confidence prefetch request 54814a67055Ssfencevma io.ldin.ready := (s0_can_go && io.dcache.req.ready && s0_int_iss_ready) 54914a67055Ssfencevma 55014a67055Ssfencevma // for hw prefetch load flow feedback, to be added later 55114a67055Ssfencevma // io.prefetch_in.ready := s0_hw_prf_select 55214a67055Ssfencevma 55314a67055Ssfencevma // dcache replacement extra info 55414a67055Ssfencevma // TODO: should prefetch load update replacement? 555e50f3145Ssfencevma io.dcache.replacementUpdated := Mux(s0_ld_rep_select || s0_super_ld_rep_select, io.replay.bits.replacementUpdated, false.B) 55614a67055Ssfencevma 55714a67055Ssfencevma XSDebug(io.dcache.req.fire, 558cd2ff98bShappy-lx p"[DCACHE LOAD REQ] pc ${Hexadecimal(s0_sel_src.uop.cf.pc)}, vaddr ${Hexadecimal(s0_sel_src.vaddr)}\n" 55914a67055Ssfencevma ) 56014a67055Ssfencevma XSDebug(s0_valid, 56114a67055Ssfencevma p"S0: pc ${Hexadecimal(s0_out.uop.cf.pc)}, lId ${Hexadecimal(s0_out.uop.lqIdx.asUInt)}, " + 56214a67055Ssfencevma p"vaddr ${Hexadecimal(s0_out.vaddr)}, mask ${Hexadecimal(s0_out.mask)}\n") 56314a67055Ssfencevma 56414a67055Ssfencevma // Pipeline 56514a67055Ssfencevma // -------------------------------------------------------------------------------- 56614a67055Ssfencevma // stage 1 56714a67055Ssfencevma // -------------------------------------------------------------------------------- 56814a67055Ssfencevma // TLB resp (send paddr to dcache) 56914a67055Ssfencevma val s1_valid = RegInit(false.B) 57014a67055Ssfencevma val s1_in = Wire(new LqWriteBundle) 57114a67055Ssfencevma val s1_out = Wire(new LqWriteBundle) 57214a67055Ssfencevma val s1_kill = Wire(Bool()) 57314a67055Ssfencevma val s1_can_go = s2_ready 57414a67055Ssfencevma val s1_fire = s1_valid && !s1_kill && s1_can_go 57514a67055Ssfencevma 57614a67055Ssfencevma s1_ready := !s1_valid || s1_kill || s2_ready 57714a67055Ssfencevma when (s0_fire) { s1_valid := true.B } 57814a67055Ssfencevma .elsewhen (s1_fire) { s1_valid := false.B } 57914a67055Ssfencevma .elsewhen (s1_kill) { s1_valid := false.B } 58014a67055Ssfencevma s1_in := RegEnable(s0_out, s0_fire) 58114a67055Ssfencevma 582cd2ff98bShappy-lx val s1_fast_rep_dly_kill = RegNext(io.fast_rep_in.bits.lateKill) && s1_in.isFastReplay 583cd2ff98bShappy-lx val s1_fast_rep_dly_err = RegNext(io.fast_rep_in.bits.delayedLoadError) && s1_in.isFastReplay 584cd2ff98bShappy-lx val s1_l2l_fwd_dly_err = RegNext(io.l2l_fwd_in.dly_ld_err) && s1_in.isFastPath 585cd2ff98bShappy-lx val s1_dly_err = s1_fast_rep_dly_err || s1_l2l_fwd_dly_err 58614a67055Ssfencevma val s1_vaddr_hi = Wire(UInt()) 58714a67055Ssfencevma val s1_vaddr_lo = Wire(UInt()) 58814a67055Ssfencevma val s1_vaddr = Wire(UInt()) 58914a67055Ssfencevma val s1_paddr_dup_lsu = Wire(UInt()) 59014a67055Ssfencevma val s1_paddr_dup_dcache = Wire(UInt()) 59114a67055Ssfencevma val s1_exception = ExceptionNO.selectByFu(s1_out.uop.cf.exceptionVec, lduCfg).asUInt.orR // af & pf exception were modified below. 59214a67055Ssfencevma val s1_tlb_miss = io.tlb.resp.bits.miss 59314a67055Ssfencevma val s1_prf = s1_in.isPrefetch 59414a67055Ssfencevma val s1_hw_prf = s1_in.isHWPrefetch 59514a67055Ssfencevma val s1_sw_prf = s1_prf && !s1_hw_prf 59614a67055Ssfencevma val s1_tlb_memidx = io.tlb.resp.bits.memidx 59714a67055Ssfencevma 59814a67055Ssfencevma s1_vaddr_hi := s1_in.vaddr(VAddrBits - 1, 6) 59914a67055Ssfencevma s1_vaddr_lo := s1_in.vaddr(5, 0) 60014a67055Ssfencevma s1_vaddr := Cat(s1_vaddr_hi, s1_vaddr_lo) 60114a67055Ssfencevma s1_paddr_dup_lsu := io.tlb.resp.bits.paddr(0) 60214a67055Ssfencevma s1_paddr_dup_dcache := io.tlb.resp.bits.paddr(1) 60314a67055Ssfencevma 60414a67055Ssfencevma when (s1_tlb_memidx.is_ld && io.tlb.resp.valid && !s1_tlb_miss && s1_tlb_memidx.idx === s1_in.uop.lqIdx.value) { 60514a67055Ssfencevma // printf("load idx = %d\n", s1_tlb_memidx.idx) 60614a67055Ssfencevma s1_out.uop.debugInfo.tlbRespTime := GTimer() 60714a67055Ssfencevma } 60814a67055Ssfencevma 609cd2ff98bShappy-lx io.tlb.req_kill := s1_kill || s1_dly_err 61014a67055Ssfencevma io.tlb.resp.ready := true.B 61114a67055Ssfencevma 61214a67055Ssfencevma io.dcache.s1_paddr_dup_lsu <> s1_paddr_dup_lsu 61314a67055Ssfencevma io.dcache.s1_paddr_dup_dcache <> s1_paddr_dup_dcache 614cd2ff98bShappy-lx io.dcache.s1_kill := s1_kill || s1_dly_err || s1_tlb_miss || s1_exception 61514a67055Ssfencevma 61614a67055Ssfencevma // store to load forwarding 617cd2ff98bShappy-lx io.sbuffer.valid := s1_valid && !(s1_exception || s1_tlb_miss || s1_kill || s1_dly_err || s1_prf) 61814a67055Ssfencevma io.sbuffer.vaddr := s1_vaddr 61914a67055Ssfencevma io.sbuffer.paddr := s1_paddr_dup_lsu 62014a67055Ssfencevma io.sbuffer.uop := s1_in.uop 62114a67055Ssfencevma io.sbuffer.sqIdx := s1_in.uop.sqIdx 62214a67055Ssfencevma io.sbuffer.mask := s1_in.mask 62314a67055Ssfencevma io.sbuffer.pc := s1_in.uop.cf.pc // FIXME: remove it 62414a67055Ssfencevma 625cd2ff98bShappy-lx io.lsq.forward.valid := s1_valid && !(s1_exception || s1_tlb_miss || s1_kill || s1_dly_err || s1_prf) 62614a67055Ssfencevma io.lsq.forward.vaddr := s1_vaddr 62714a67055Ssfencevma io.lsq.forward.paddr := s1_paddr_dup_lsu 62814a67055Ssfencevma io.lsq.forward.uop := s1_in.uop 62914a67055Ssfencevma io.lsq.forward.sqIdx := s1_in.uop.sqIdx 630e50f3145Ssfencevma io.lsq.forward.sqIdxMask := 0.U 63114a67055Ssfencevma io.lsq.forward.mask := s1_in.mask 63214a67055Ssfencevma io.lsq.forward.pc := s1_in.uop.cf.pc // FIXME: remove it 63314a67055Ssfencevma 63414a67055Ssfencevma // st-ld violation query 63514a67055Ssfencevma val s1_nuke = VecInit((0 until StorePipelineWidth).map(w => { 63614a67055Ssfencevma io.stld_nuke_query(w).valid && // query valid 63714a67055Ssfencevma isAfter(s1_in.uop.robIdx, io.stld_nuke_query(w).bits.robIdx) && // older store 638cdbff57cSHaoyuan Feng // TODO: Fix me when vector instruction 63914a67055Ssfencevma (s1_paddr_dup_lsu(PAddrBits-1, 3) === io.stld_nuke_query(w).bits.paddr(PAddrBits-1, 3)) && // paddr match 64014a67055Ssfencevma (s1_in.mask & io.stld_nuke_query(w).bits.mask).orR // data mask contain 64114a67055Ssfencevma })).asUInt.orR && !s1_tlb_miss 64214a67055Ssfencevma 64314a67055Ssfencevma s1_out := s1_in 64414a67055Ssfencevma s1_out.vaddr := s1_vaddr 64514a67055Ssfencevma s1_out.paddr := s1_paddr_dup_lsu 64614a67055Ssfencevma s1_out.tlbMiss := s1_tlb_miss 64714a67055Ssfencevma s1_out.ptwBack := io.tlb.resp.bits.ptwBack 64814a67055Ssfencevma s1_out.rsIdx := s1_in.rsIdx 64914a67055Ssfencevma s1_out.rep_info.debug := s1_in.uop.debugInfo 65014a67055Ssfencevma s1_out.rep_info.nuke := s1_nuke && !s1_sw_prf 651cd2ff98bShappy-lx s1_out.delayedLoadError := s1_dly_err 65214a67055Ssfencevma 653cd2ff98bShappy-lx when (!s1_dly_err) { 65414a67055Ssfencevma // current ori test will cause the case of ldest == 0, below will be modifeid in the future. 65514a67055Ssfencevma // af & pf exception were modified 656cd2ff98bShappy-lx s1_out.uop.cf.exceptionVec(loadPageFault) := io.tlb.resp.bits.excp(0).pf.ld && !s1_tlb_miss 657cd2ff98bShappy-lx s1_out.uop.cf.exceptionVec(loadAccessFault) := io.tlb.resp.bits.excp(0).af.ld && !s1_tlb_miss 65814a67055Ssfencevma } .otherwise { 659cd2ff98bShappy-lx s1_out.uop.cf.exceptionVec(loadPageFault) := false.B 66014a67055Ssfencevma s1_out.uop.cf.exceptionVec(loadAddrMisaligned) := false.B 661cd2ff98bShappy-lx s1_out.uop.cf.exceptionVec(loadAccessFault) := s1_dly_err 66214a67055Ssfencevma } 66314a67055Ssfencevma 66414a67055Ssfencevma // pointer chasing 66514a67055Ssfencevma val s1_try_ptr_chasing = RegNext(s0_do_try_ptr_chasing, false.B) 66614a67055Ssfencevma val s1_ptr_chasing_vaddr = RegEnable(s0_ptr_chasing_vaddr, s0_do_try_ptr_chasing) 66714a67055Ssfencevma val s1_fu_op_type_not_ld = WireInit(false.B) 66814a67055Ssfencevma val s1_not_fast_match = WireInit(false.B) 66914a67055Ssfencevma val s1_addr_mismatch = WireInit(false.B) 67014a67055Ssfencevma val s1_addr_misaligned = WireInit(false.B) 671cd2ff98bShappy-lx val s1_fast_mismatch = WireInit(false.B) 67214a67055Ssfencevma val s1_ptr_chasing_canceled = WireInit(false.B) 67314a67055Ssfencevma val s1_cancel_ptr_chasing = WireInit(false.B) 67414a67055Ssfencevma 675cd2ff98bShappy-lx s1_kill := s1_fast_rep_dly_kill || 676e50f3145Ssfencevma s1_cancel_ptr_chasing || 677e50f3145Ssfencevma s1_in.uop.robIdx.needFlush(io.redirect) || 678cd2ff98bShappy-lx (s1_in.uop.robIdx.needFlush(RegNext(io.redirect)) && !RegNext(s0_try_ptr_chasing)) || 679e50f3145Ssfencevma RegEnable(s0_kill, false.B, io.ldin.valid || io.replay.valid || io.l2l_fwd_in.valid || io.fast_rep_in.valid) 680e50f3145Ssfencevma 681c3b763d0SYinan Xu if (EnableLoadToLoadForward) { 682c3b763d0SYinan Xu // Sometimes, we need to cancel the load-load forwarding. 683c3b763d0SYinan Xu // These can be put at S0 if timing is bad at S1. 684c3b763d0SYinan Xu // Case 0: CACHE_SET(base + offset) != CACHE_SET(base) (lowest 6-bit addition has an overflow) 685cd2ff98bShappy-lx s1_addr_mismatch := s1_ptr_chasing_vaddr(6) || 686cd2ff98bShappy-lx RegEnable(io.ld_fast_imm(11, 6).orR, s0_do_try_ptr_chasing) 687cd2ff98bShappy-lx // Case 1: the address is not 64-bit aligned or the fuOpType is not LD 688cd2ff98bShappy-lx s1_addr_misaligned := s1_ptr_chasing_vaddr(2, 0).orR 689cd2ff98bShappy-lx s1_fu_op_type_not_ld := io.ldin.bits.uop.ctrl.fuOpType =/= LSUOpType.ld 690c163075eSsfencevma // Case 2: this load-load uop is cancelled 69114a67055Ssfencevma s1_ptr_chasing_canceled := !io.ldin.valid 692cd2ff98bShappy-lx // Case 3: fast mismatch 693cd2ff98bShappy-lx s1_fast_mismatch := RegEnable(!io.ld_fast_match, s0_do_try_ptr_chasing) 69414a67055Ssfencevma 69514a67055Ssfencevma when (s1_try_ptr_chasing) { 696cd2ff98bShappy-lx s1_cancel_ptr_chasing := s1_addr_mismatch || 697cd2ff98bShappy-lx s1_addr_misaligned || 698cd2ff98bShappy-lx s1_fu_op_type_not_ld || 699cd2ff98bShappy-lx s1_ptr_chasing_canceled || 700cd2ff98bShappy-lx s1_fast_mismatch 70114a67055Ssfencevma 70214a67055Ssfencevma s1_in.uop := io.ldin.bits.uop 70314a67055Ssfencevma s1_in.rsIdx := io.rsIdx 70414a67055Ssfencevma s1_in.isFirstIssue := io.isFirstIssue 705c163075eSsfencevma s1_vaddr_lo := s1_ptr_chasing_vaddr(5, 0) 706e50f3145Ssfencevma s1_paddr_dup_lsu := Cat(io.tlb.resp.bits.paddr(0)(PAddrBits - 1, 6), s1_vaddr_lo) 707e50f3145Ssfencevma s1_paddr_dup_dcache := Cat(io.tlb.resp.bits.paddr(0)(PAddrBits - 1, 6), s1_vaddr_lo) 70814a67055Ssfencevma 7098744445eSMaxpicca-Li // recored tlb time when get the data to ensure the correctness of the latency calculation (although it should not record in here, because it does not use tlb) 71014a67055Ssfencevma s1_in.uop.debugInfo.tlbFirstReqTime := GTimer() 71114a67055Ssfencevma s1_in.uop.debugInfo.tlbRespTime := GTimer() 712c3b763d0SYinan Xu } 713e50f3145Ssfencevma when (!s1_cancel_ptr_chasing) { 71414a67055Ssfencevma s0_ptr_chasing_canceled := s1_try_ptr_chasing && !io.replay.fire && !io.fast_rep_in.fire 71514a67055Ssfencevma when (s1_try_ptr_chasing) { 71614a67055Ssfencevma io.ldin.ready := true.B 71714a67055Ssfencevma } 718c3b763d0SYinan Xu } 719c3b763d0SYinan Xu } 720c3b763d0SYinan Xu 72114a67055Ssfencevma // pre-calcuate sqIdx mask in s0, then send it to lsq in s1 for forwarding 72214a67055Ssfencevma val s1_sqIdx_mask = RegNext(UIntToMask(s0_out.uop.sqIdx.value, StoreQueueSize)) 72314a67055Ssfencevma // to enable load-load, sqIdxMask must be calculated based on ldin.uop 72414a67055Ssfencevma // If the timing here is not OK, load-load forwarding has to be disabled. 72514a67055Ssfencevma // Or we calculate sqIdxMask at RS?? 72614a67055Ssfencevma io.lsq.forward.sqIdxMask := s1_sqIdx_mask 72714a67055Ssfencevma if (EnableLoadToLoadForward) { 72814a67055Ssfencevma when (s1_try_ptr_chasing) { 72914a67055Ssfencevma io.lsq.forward.sqIdxMask := UIntToMask(io.ldin.bits.uop.sqIdx.value, StoreQueueSize) 730c3b763d0SYinan Xu } 73114a67055Ssfencevma } 732024ee227SWilliam Wang 73314a67055Ssfencevma io.forward_mshr.valid := s1_valid && s1_out.forward_tlDchannel 73414a67055Ssfencevma io.forward_mshr.mshrid := s1_out.mshrid 73514a67055Ssfencevma io.forward_mshr.paddr := s1_out.paddr 7360a47e4a1SWilliam Wang 73714a67055Ssfencevma XSDebug(s1_valid, 73814a67055Ssfencevma p"S1: pc ${Hexadecimal(s1_out.uop.cf.pc)}, lId ${Hexadecimal(s1_out.uop.lqIdx.asUInt)}, tlb_miss ${io.tlb.resp.bits.miss}, " + 73914a67055Ssfencevma p"paddr ${Hexadecimal(s1_out.paddr)}, mmio ${s1_out.mmio}\n") 740683c1411Shappy-lx 74114a67055Ssfencevma // Pipeline 74214a67055Ssfencevma // -------------------------------------------------------------------------------- 74314a67055Ssfencevma // stage 2 74414a67055Ssfencevma // -------------------------------------------------------------------------------- 74514a67055Ssfencevma // s2: DCache resp 74614a67055Ssfencevma val s2_valid = RegInit(false.B) 747f6490124Ssfencevma val s2_in = Wire(new LqWriteBundle) 748f6490124Ssfencevma val s2_out = Wire(new LqWriteBundle) 74914a67055Ssfencevma val s2_kill = Wire(Bool()) 75014a67055Ssfencevma val s2_can_go = s3_ready 75114a67055Ssfencevma val s2_fire = s2_valid && !s2_kill && s2_can_go 752e4f69d78Ssfencevma 75314a67055Ssfencevma s2_kill := s2_in.uop.robIdx.needFlush(io.redirect) 75414a67055Ssfencevma s2_ready := !s2_valid || s2_kill || s3_ready 75514a67055Ssfencevma when (s1_fire) { s2_valid := true.B } 75614a67055Ssfencevma .elsewhen (s2_fire) { s2_valid := false.B } 75714a67055Ssfencevma .elsewhen (s2_kill) { s2_valid := false.B } 75814a67055Ssfencevma s2_in := RegEnable(s1_out, s1_fire) 75914a67055Ssfencevma 76014a67055Ssfencevma val s2_pmp = WireInit(io.pmp) 761f9ac118cSHaoyuan Feng 76214a67055Ssfencevma val s2_prf = s2_in.isPrefetch 76314a67055Ssfencevma val s2_hw_prf = s2_in.isHWPrefetch 76414a67055Ssfencevma 76514a67055Ssfencevma // exception that may cause load addr to be invalid / illegal 76614a67055Ssfencevma // if such exception happen, that inst and its exception info 76714a67055Ssfencevma // will be force writebacked to rob 76814a67055Ssfencevma val s2_exception_vec = WireInit(s2_in.uop.cf.exceptionVec) 769cd2ff98bShappy-lx when (!s2_in.delayedLoadError) { 770cd2ff98bShappy-lx s2_exception_vec(loadAccessFault) := s2_in.uop.cf.exceptionVec(loadAccessFault) || s2_pmp.ld || 771cd2ff98bShappy-lx (io.dcache.resp.bits.tag_error && RegNext(io.csrCtrl.cache_error_enable)) 77214a67055Ssfencevma } 773cd2ff98bShappy-lx 774cd2ff98bShappy-lx // soft prefetch will not trigger any exception (but ecc error interrupt may 775cd2ff98bShappy-lx // be triggered) 776cd2ff98bShappy-lx when (!s2_in.delayedLoadError && (s2_prf || s2_in.tlbMiss)) { 777cd2ff98bShappy-lx s2_exception_vec := 0.U.asTypeOf(s2_exception_vec.cloneType) 77814a67055Ssfencevma } 77914a67055Ssfencevma val s2_exception = ExceptionNO.selectByFu(s2_exception_vec, lduCfg).asUInt.orR 78014a67055Ssfencevma 78114a67055Ssfencevma val (s2_fwd_frm_d_chan, s2_fwd_data_frm_d_chan) = io.tl_d_channel.forward(s1_valid && s1_out.forward_tlDchannel, s1_out.mshrid, s1_out.paddr) 78214a67055Ssfencevma val (s2_fwd_data_valid, s2_fwd_frm_mshr, s2_fwd_data_frm_mshr) = io.forward_mshr.forward() 78314a67055Ssfencevma val s2_fwd_frm_d_chan_or_mshr = s2_fwd_data_valid && (s2_fwd_frm_d_chan || s2_fwd_frm_mshr) 78414a67055Ssfencevma 78514a67055Ssfencevma // writeback access fault caused by ecc error / bus error 78614a67055Ssfencevma // * ecc data error is slow to generate, so we will not use it until load stage 3 78714a67055Ssfencevma // * in load stage 3, an extra signal io.load_error will be used to 78814a67055Ssfencevma val s2_actually_mmio = s2_pmp.mmio 789e50f3145Ssfencevma val s2_mmio = !s2_prf && 790e50f3145Ssfencevma s2_actually_mmio && 791e50f3145Ssfencevma !s2_exception && 792e50f3145Ssfencevma !s2_in.tlbMiss 793e50f3145Ssfencevma 79414a67055Ssfencevma val s2_full_fwd = Wire(Bool()) 795e50f3145Ssfencevma val s2_mem_amb = s2_in.uop.cf.storeSetHit && 796e50f3145Ssfencevma io.lsq.forward.addrInvalid 79714a67055Ssfencevma 798e50f3145Ssfencevma val s2_tlb_miss = s2_in.tlbMiss 799e50f3145Ssfencevma val s2_fwd_fail = io.lsq.forward.dataInvalid 800e50f3145Ssfencevma val s2_dcache_miss = io.dcache.resp.bits.miss && 801e50f3145Ssfencevma !s2_fwd_frm_d_chan_or_mshr && 802e50f3145Ssfencevma !s2_full_fwd 80314a67055Ssfencevma 804e50f3145Ssfencevma val s2_mq_nack = io.dcache.s2_mq_nack && 805e50f3145Ssfencevma !s2_fwd_frm_d_chan_or_mshr && 806e50f3145Ssfencevma !s2_full_fwd 807e50f3145Ssfencevma 808e50f3145Ssfencevma val s2_bank_conflict = io.dcache.s2_bank_conflict && 809e50f3145Ssfencevma !s2_fwd_frm_d_chan_or_mshr && 810e50f3145Ssfencevma !s2_full_fwd 811e50f3145Ssfencevma 812e50f3145Ssfencevma val s2_wpu_pred_fail = io.dcache.s2_wpu_pred_fail && 813e50f3145Ssfencevma !s2_fwd_frm_d_chan_or_mshr && 814e50f3145Ssfencevma !s2_full_fwd 815e50f3145Ssfencevma 816e50f3145Ssfencevma val s2_rar_nack = io.lsq.ldld_nuke_query.req.valid && 817e50f3145Ssfencevma !io.lsq.ldld_nuke_query.req.ready 818e50f3145Ssfencevma 819e50f3145Ssfencevma val s2_raw_nack = io.lsq.stld_nuke_query.req.valid && 820e50f3145Ssfencevma !io.lsq.stld_nuke_query.req.ready 82114a67055Ssfencevma // st-ld violation query 82214a67055Ssfencevma // NeedFastRecovery Valid when 82314a67055Ssfencevma // 1. Fast recovery query request Valid. 82414a67055Ssfencevma // 2. Load instruction is younger than requestors(store instructions). 82514a67055Ssfencevma // 3. Physical address match. 82614a67055Ssfencevma // 4. Data contains. 82714a67055Ssfencevma val s2_nuke = VecInit((0 until StorePipelineWidth).map(w => { 82814a67055Ssfencevma io.stld_nuke_query(w).valid && // query valid 82914a67055Ssfencevma isAfter(s2_in.uop.robIdx, io.stld_nuke_query(w).bits.robIdx) && // older store 830cdbff57cSHaoyuan Feng // TODO: Fix me when vector instruction 83114a67055Ssfencevma (s2_in.paddr(PAddrBits-1, 3) === io.stld_nuke_query(w).bits.paddr(PAddrBits-1, 3)) && // paddr match 83214a67055Ssfencevma (s2_in.mask & io.stld_nuke_query(w).bits.mask).orR // data mask contain 833e50f3145Ssfencevma })).asUInt.orR && !s2_tlb_miss || s2_in.rep_info.nuke 834e50f3145Ssfencevma 835e50f3145Ssfencevma val s2_cache_handled = io.dcache.resp.bits.handled 836e50f3145Ssfencevma val s2_cache_tag_error = RegNext(io.csrCtrl.cache_error_enable) && 837e50f3145Ssfencevma io.dcache.resp.bits.tag_error 838e50f3145Ssfencevma 839e50f3145Ssfencevma val s2_troublem = !s2_exception && 840e50f3145Ssfencevma !s2_mmio && 841e50f3145Ssfencevma !s2_prf && 842cd2ff98bShappy-lx !s2_in.delayedLoadError 843e50f3145Ssfencevma 844e50f3145Ssfencevma io.dcache.resp.ready := true.B 845cd2ff98bShappy-lx val s2_dcache_should_resp = !(s2_in.tlbMiss || s2_exception || s2_in.delayedLoadError || s2_mmio || s2_prf) 846e50f3145Ssfencevma assert(!(s2_valid && (s2_dcache_should_resp && !io.dcache.resp.valid)), "DCache response got lost") 84714a67055Ssfencevma 84814a67055Ssfencevma // fast replay require 849e50f3145Ssfencevma val s2_dcache_fast_rep = (s2_mq_nack || !s2_dcache_miss && (s2_bank_conflict || s2_wpu_pred_fail)) 850e50f3145Ssfencevma val s2_nuke_fast_rep = !s2_mq_nack && 851e50f3145Ssfencevma !s2_dcache_miss && 852e50f3145Ssfencevma !s2_bank_conflict && 853e50f3145Ssfencevma !s2_wpu_pred_fail && 854e50f3145Ssfencevma !s2_rar_nack && 855e50f3145Ssfencevma !s2_raw_nack && 856e50f3145Ssfencevma s2_nuke 85714a67055Ssfencevma 858e50f3145Ssfencevma val s2_fast_rep = !s2_mem_amb && 859e50f3145Ssfencevma !s2_tlb_miss && 860e50f3145Ssfencevma !s2_fwd_fail && 861ec45ae0cSsfencevma (s2_dcache_fast_rep || s2_nuke_fast_rep) && 86214a67055Ssfencevma s2_troublem 86314a67055Ssfencevma 864e50f3145Ssfencevma // need allocate new entry 865e50f3145Ssfencevma val s2_can_query = !s2_mem_amb && 866e50f3145Ssfencevma !s2_tlb_miss && 867e50f3145Ssfencevma !s2_fwd_fail && 868e50f3145Ssfencevma s2_troublem 869e50f3145Ssfencevma 870e50f3145Ssfencevma val s2_data_fwded = s2_dcache_miss && (s2_full_fwd || s2_cache_tag_error) 87114a67055Ssfencevma 87214a67055Ssfencevma // ld-ld violation require 87314a67055Ssfencevma io.lsq.ldld_nuke_query.req.valid := s2_valid && s2_can_query 87414a67055Ssfencevma io.lsq.ldld_nuke_query.req.bits.uop := s2_in.uop 87514a67055Ssfencevma io.lsq.ldld_nuke_query.req.bits.mask := s2_in.mask 87614a67055Ssfencevma io.lsq.ldld_nuke_query.req.bits.paddr := s2_in.paddr 877e50f3145Ssfencevma io.lsq.ldld_nuke_query.req.bits.data_valid := Mux(s2_full_fwd || s2_fwd_data_valid, true.B, !s2_dcache_miss) 87814a67055Ssfencevma 87914a67055Ssfencevma // st-ld violation require 88014a67055Ssfencevma io.lsq.stld_nuke_query.req.valid := s2_valid && s2_can_query 88114a67055Ssfencevma io.lsq.stld_nuke_query.req.bits.uop := s2_in.uop 88214a67055Ssfencevma io.lsq.stld_nuke_query.req.bits.mask := s2_in.mask 88314a67055Ssfencevma io.lsq.stld_nuke_query.req.bits.paddr := s2_in.paddr 884e50f3145Ssfencevma io.lsq.stld_nuke_query.req.bits.data_valid := Mux(s2_full_fwd || s2_fwd_data_valid, true.B, !s2_dcache_miss) 88514a67055Ssfencevma 88614a67055Ssfencevma // merge forward result 88714a67055Ssfencevma // lsq has higher priority than sbuffer 888cdbff57cSHaoyuan Feng val s2_fwd_mask = Wire(Vec((VLEN/8), Bool())) 889cdbff57cSHaoyuan Feng val s2_fwd_data = Wire(Vec((VLEN/8), UInt(8.W))) 89014a67055Ssfencevma s2_full_fwd := ((~s2_fwd_mask.asUInt).asUInt & s2_in.mask) === 0.U && !io.lsq.forward.dataInvalid 89114a67055Ssfencevma // generate XLEN/8 Muxs 892cdbff57cSHaoyuan Feng for (i <- 0 until VLEN / 8) { 89314a67055Ssfencevma s2_fwd_mask(i) := io.lsq.forward.forwardMask(i) || io.sbuffer.forwardMask(i) 89414a67055Ssfencevma s2_fwd_data(i) := Mux(io.lsq.forward.forwardMask(i), io.lsq.forward.forwardData(i), io.sbuffer.forwardData(i)) 89514a67055Ssfencevma } 89614a67055Ssfencevma 89714a67055Ssfencevma XSDebug(s2_fire, "[FWD LOAD RESP] pc %x fwd %x(%b) + %x(%b)\n", 89814a67055Ssfencevma s2_in.uop.cf.pc, 89914a67055Ssfencevma io.lsq.forward.forwardData.asUInt, io.lsq.forward.forwardMask.asUInt, 90014a67055Ssfencevma s2_in.forwardData.asUInt, s2_in.forwardMask.asUInt 90114a67055Ssfencevma ) 90214a67055Ssfencevma 90314a67055Ssfencevma // 90414a67055Ssfencevma s2_out := s2_in 90514a67055Ssfencevma s2_out.data := 0.U // data will be generated in load s3 90614a67055Ssfencevma s2_out.uop.ctrl.fpWen := s2_in.uop.ctrl.fpWen && !s2_exception 90714a67055Ssfencevma s2_out.mmio := s2_mmio 908e50f3145Ssfencevma s2_out.uop.ctrl.flushPipe := false.B 90914a67055Ssfencevma s2_out.uop.cf.exceptionVec := s2_exception_vec 91014a67055Ssfencevma s2_out.forwardMask := s2_fwd_mask 91114a67055Ssfencevma s2_out.forwardData := s2_fwd_data 91214a67055Ssfencevma s2_out.handledByMSHR := s2_cache_handled 913e50f3145Ssfencevma s2_out.miss := s2_dcache_miss && s2_troublem 91414a67055Ssfencevma s2_out.feedbacked := io.feedback_fast.valid 91514a67055Ssfencevma 91614a67055Ssfencevma // Generate replay signal caused by: 91714a67055Ssfencevma // * st-ld violation check 91814a67055Ssfencevma // * tlb miss 91914a67055Ssfencevma // * dcache replay 92014a67055Ssfencevma // * forward data invalid 92114a67055Ssfencevma // * dcache miss 92214a67055Ssfencevma s2_out.rep_info.mem_amb := s2_mem_amb && s2_troublem 923e50f3145Ssfencevma s2_out.rep_info.tlb_miss := s2_tlb_miss && s2_troublem 924e50f3145Ssfencevma s2_out.rep_info.fwd_fail := s2_fwd_fail && s2_troublem 925e50f3145Ssfencevma s2_out.rep_info.dcache_rep := s2_mq_nack && s2_troublem 926e50f3145Ssfencevma s2_out.rep_info.dcache_miss := s2_dcache_miss && s2_troublem 92714a67055Ssfencevma s2_out.rep_info.bank_conflict := s2_bank_conflict && s2_troublem 928e50f3145Ssfencevma s2_out.rep_info.wpu_fail := s2_wpu_pred_fail && s2_troublem 92914a67055Ssfencevma s2_out.rep_info.rar_nack := s2_rar_nack && s2_troublem 93014a67055Ssfencevma s2_out.rep_info.raw_nack := s2_raw_nack && s2_troublem 931e50f3145Ssfencevma s2_out.rep_info.nuke := s2_nuke && s2_troublem 93214a67055Ssfencevma s2_out.rep_info.full_fwd := s2_data_fwded 93314a67055Ssfencevma s2_out.rep_info.data_inv_sq_idx := io.lsq.forward.dataInvalidSqIdx 93414a67055Ssfencevma s2_out.rep_info.addr_inv_sq_idx := io.lsq.forward.addrInvalidSqIdx 93514a67055Ssfencevma s2_out.rep_info.rep_carry := io.dcache.resp.bits.replayCarry 93614a67055Ssfencevma s2_out.rep_info.mshr_id := io.dcache.resp.bits.mshr_id 93714a67055Ssfencevma s2_out.rep_info.last_beat := s2_in.paddr(log2Up(refillBytes)) 93814a67055Ssfencevma s2_out.rep_info.debug := s2_in.uop.debugInfo 939185e6164SHaoyuan Feng s2_out.rep_info.tlb_id := io.tlb_hint.id 940185e6164SHaoyuan Feng s2_out.rep_info.tlb_full := io.tlb_hint.full 94114a67055Ssfencevma 94214a67055Ssfencevma // if forward fail, replay this inst from fetch 943e50f3145Ssfencevma val debug_fwd_fail_rep = s2_fwd_fail && !s2_troublem && !s2_in.tlbMiss 94414a67055Ssfencevma // if ld-ld violation is detected, replay from this inst from fetch 94514a67055Ssfencevma val debug_ldld_nuke_rep = false.B // s2_ldld_violation && !s2_mmio && !s2_is_prefetch && !s2_in.tlbMiss 94614a67055Ssfencevma // io.out.bits.uop.ctrl.replayInst := false.B 94714a67055Ssfencevma 94814a67055Ssfencevma // to be removed 949cd2ff98bShappy-lx io.feedback_fast.valid := false.B 95014a67055Ssfencevma io.feedback_fast.bits.hit := false.B 95114a67055Ssfencevma io.feedback_fast.bits.flushState := s2_in.ptwBack 95214a67055Ssfencevma io.feedback_fast.bits.rsIdx := s2_in.rsIdx 95314a67055Ssfencevma io.feedback_fast.bits.sourceType := RSFeedbackType.lrqFull 95414a67055Ssfencevma io.feedback_fast.bits.dataInvalidSqIdx := DontCare 95514a67055Ssfencevma 95614a67055Ssfencevma // fast wakeup 95714a67055Ssfencevma io.fast_uop.valid := RegNext( 95814a67055Ssfencevma !io.dcache.s1_disable_fast_wakeup && 95914a67055Ssfencevma s1_valid && 96014a67055Ssfencevma !s1_kill && 961f9ac118cSHaoyuan Feng !io.tlb.resp.bits.miss && 96214a67055Ssfencevma !io.lsq.forward.dataInvalidFast 963e50f3145Ssfencevma ) && (s2_valid && !s2_out.rep_info.need_rep && !s2_mmio) 96414a67055Ssfencevma io.fast_uop.bits := RegNext(s1_out.uop) 96514a67055Ssfencevma 96614a67055Ssfencevma // 967495ea2f0Ssfencevma io.s2_ptr_chasing := RegEnable(s1_try_ptr_chasing && !s1_cancel_ptr_chasing, false.B, s1_fire) 9680d32f713Shappy-lx 969cd2ff98bShappy-lx // RegNext prefetch train for better timing 970cd2ff98bShappy-lx // ** Now, prefetch train is valid at load s3 ** 971cd2ff98bShappy-lx io.prefetch_train.valid := RegNext(s2_valid && !s2_actually_mmio && !s2_in.tlbMiss) 972cd2ff98bShappy-lx io.prefetch_train.bits.fromLsPipelineBundle(s2_in, latch = true) 973cd2ff98bShappy-lx io.prefetch_train.bits.miss := RegNext(io.dcache.resp.bits.miss) // TODO: use trace with bank conflict? 974cd2ff98bShappy-lx io.prefetch_train.bits.meta_prefetch := RegNext(io.dcache.resp.bits.meta_prefetch) 975cd2ff98bShappy-lx io.prefetch_train.bits.meta_access := RegNext(io.dcache.resp.bits.meta_access) 9760d32f713Shappy-lx 977cd2ff98bShappy-lx io.prefetch_train_l1.valid := RegNext(s2_valid && !s2_actually_mmio) 978cd2ff98bShappy-lx io.prefetch_train_l1.bits.fromLsPipelineBundle(s2_in, latch = true) 979cd2ff98bShappy-lx io.prefetch_train_l1.bits.miss := RegNext(io.dcache.resp.bits.miss) 980cd2ff98bShappy-lx io.prefetch_train_l1.bits.meta_prefetch := RegNext(io.dcache.resp.bits.meta_prefetch) 981cd2ff98bShappy-lx io.prefetch_train_l1.bits.meta_access := RegNext(io.dcache.resp.bits.meta_access) 98204665835SMaxpicca-Li if (env.FPGAPlatform){ 98304665835SMaxpicca-Li io.dcache.s0_pc := DontCare 98404665835SMaxpicca-Li io.dcache.s1_pc := DontCare 985977e92c1SWilliam Wang io.dcache.s2_pc := DontCare 98604665835SMaxpicca-Li }else{ 98704665835SMaxpicca-Li io.dcache.s0_pc := s0_out.uop.cf.pc 98804665835SMaxpicca-Li io.dcache.s1_pc := s1_out.uop.cf.pc 98914a67055Ssfencevma io.dcache.s2_pc := s2_out.uop.cf.pc 99004665835SMaxpicca-Li } 991f6f10bebSsfencevma io.dcache.s2_kill := s2_pmp.ld || s2_actually_mmio || s2_kill 992e4f69d78Ssfencevma 993e50f3145Ssfencevma val s1_ld_left_fire = s1_valid && !s1_kill && s2_ready 99414a67055Ssfencevma val s2_ld_valid_dup = RegInit(0.U(6.W)) 99514a67055Ssfencevma s2_ld_valid_dup := 0x0.U(6.W) 99614a67055Ssfencevma when (s1_ld_left_fire && !s1_out.isHWPrefetch) { s2_ld_valid_dup := 0x3f.U(6.W) } 997e50f3145Ssfencevma when (s1_kill || s1_out.isHWPrefetch) { s2_ld_valid_dup := 0x0.U(6.W) } 99814a67055Ssfencevma assert(RegNext((s2_valid === s2_ld_valid_dup(0)) || RegNext(s1_out.isHWPrefetch))) 999024ee227SWilliam Wang 100014a67055Ssfencevma // Pipeline 100114a67055Ssfencevma // -------------------------------------------------------------------------------- 100214a67055Ssfencevma // stage 3 100314a67055Ssfencevma // -------------------------------------------------------------------------------- 100414a67055Ssfencevma // writeback and update load queue 1005f6490124Ssfencevma val s3_valid = RegNext(s2_valid && !s2_out.isHWPrefetch && !s2_out.uop.robIdx.needFlush(io.redirect)) 100614a67055Ssfencevma val s3_in = RegEnable(s2_out, s2_fire) 100714a67055Ssfencevma val s3_out = Wire(Valid(new ExuOutput)) 1008495ea2f0Ssfencevma val s3_dcache_rep = RegEnable(s2_dcache_fast_rep && s2_troublem, false.B, s2_fire) 100914a67055Ssfencevma val s3_ld_valid_dup = RegEnable(s2_ld_valid_dup, s2_fire) 101014a67055Ssfencevma val s3_fast_rep = Wire(Bool()) 1011e50f3145Ssfencevma val s3_troublem = RegNext(s2_troublem) 101214a67055Ssfencevma val s3_kill = s3_in.uop.robIdx.needFlush(io.redirect) 101314a67055Ssfencevma s3_ready := !s3_valid || s3_kill || io.ldout.ready 1014a760aeb0Shappy-lx 1015e50f3145Ssfencevma // forwrad last beat 1016e50f3145Ssfencevma val (s3_fwd_frm_d_chan, s3_fwd_data_frm_d_chan) = io.tl_d_channel.forward(s2_valid && s2_out.forward_tlDchannel, s2_out.mshrid, s2_out.paddr) 1017495ea2f0Ssfencevma val s3_fwd_data_valid = RegEnable(s2_fwd_data_valid, false.B, s2_valid) 1018e50f3145Ssfencevma val s3_fwd_frm_d_chan_valid = (s3_fwd_frm_d_chan && s3_fwd_data_valid) 1019e50f3145Ssfencevma 1020cd2ff98bShappy-lx val s3_fast_rep_canceled = io.replay.valid && io.replay.bits.forward_tlDchannel || !io.dcache.req.ready 1021cd2ff98bShappy-lx io.lsq.ldin.valid := s3_valid && (!s3_fast_rep || s3_fast_rep_canceled) && !s3_in.feedbacked 102214a67055Ssfencevma io.lsq.ldin.bits := s3_in 1023e50f3145Ssfencevma io.lsq.ldin.bits.miss := s3_in.miss && !s3_fwd_frm_d_chan_valid 1024594c5198Ssfencevma 1025e4f69d78Ssfencevma /* <------- DANGEROUS: Don't change sequence here ! -------> */ 102614a67055Ssfencevma io.lsq.ldin.bits.data_wen_dup := s3_ld_valid_dup.asBools 102714a67055Ssfencevma io.lsq.ldin.bits.replacementUpdated := io.dcache.resp.bits.replacementUpdated 10280d32f713Shappy-lx io.lsq.ldin.bits.missDbUpdated := RegNext(s2_fire && s2_in.hasROBEntry && !s2_in.tlbMiss && !s2_in.missDbUpdated) 1029a760aeb0Shappy-lx 103014a67055Ssfencevma val s3_dly_ld_err = 1031e4f69d78Ssfencevma if (EnableAccurateLoadError) { 1032cd2ff98bShappy-lx io.dcache.resp.bits.error_delayed && RegNext(io.csrCtrl.cache_error_enable) && s3_troublem 1033e4f69d78Ssfencevma } else { 1034e4f69d78Ssfencevma WireInit(false.B) 1035e4f69d78Ssfencevma } 103614a67055Ssfencevma io.s3_dly_ld_err := false.B // s3_dly_ld_err && s3_valid 1037e50f3145Ssfencevma io.lsq.ldin.bits.dcacheRequireReplay := s3_dcache_rep 1038cd2ff98bShappy-lx io.fast_rep_out.bits.delayedLoadError := s3_dly_ld_err 1039e4f69d78Ssfencevma 1040e50f3145Ssfencevma val s3_vp_match_fail = RegNext(io.lsq.forward.matchInvalid || io.sbuffer.matchInvalid) && s3_troublem 10413b1a683bSsfencevma val s3_rep_frm_fetch = s3_vp_match_fail 104214a67055Ssfencevma val s3_ldld_rep_inst = 104314a67055Ssfencevma io.lsq.ldld_nuke_query.resp.valid && 104414a67055Ssfencevma io.lsq.ldld_nuke_query.resp.bits.rep_frm_fetch && 1045e4f69d78Ssfencevma RegNext(io.csrCtrl.ldld_vio_check_enable) 10463b1a683bSsfencevma val s3_flushPipe = s3_ldld_rep_inst 104767cddb05SWilliam Wang 1048e50f3145Ssfencevma val s3_rep_info = WireInit(s3_in.rep_info) 1049cd2ff98bShappy-lx s3_rep_info.dcache_miss := s3_in.rep_info.dcache_miss && !s3_fwd_frm_d_chan_valid 105014a67055Ssfencevma val s3_sel_rep_cause = PriorityEncoderOH(s3_rep_info.cause.asUInt) 1051e4f69d78Ssfencevma 105214a67055Ssfencevma val s3_exception = ExceptionNO.selectByFu(s3_in.uop.cf.exceptionVec, lduCfg).asUInt.orR 1053b494b97bSsfencevma when (s3_exception || s3_dly_ld_err || s3_rep_frm_fetch) { 105414a67055Ssfencevma io.lsq.ldin.bits.rep_info.cause := 0.U.asTypeOf(s3_rep_info.cause.cloneType) 1055e4f69d78Ssfencevma } .otherwise { 105614a67055Ssfencevma io.lsq.ldin.bits.rep_info.cause := VecInit(s3_sel_rep_cause.asBools) 1057e4f69d78Ssfencevma } 1058024ee227SWilliam Wang 1059e50f3145Ssfencevma // Int load, if hit, will be writebacked at s3 1060e50f3145Ssfencevma s3_out.valid := s3_valid && !io.lsq.ldin.bits.rep_info.need_rep && !s3_in.mmio 106114a67055Ssfencevma s3_out.bits.uop := s3_in.uop 106214a67055Ssfencevma s3_out.bits.uop.cf.exceptionVec(loadAccessFault) := s3_dly_ld_err || s3_in.uop.cf.exceptionVec(loadAccessFault) 10633343d4a5Ssfencevma s3_out.bits.uop.ctrl.flushPipe := false.B 1064cd2ff98bShappy-lx s3_out.bits.uop.ctrl.replayInst := false.B 106514a67055Ssfencevma s3_out.bits.data := s3_in.data 106614a67055Ssfencevma s3_out.bits.redirectValid := false.B 106714a67055Ssfencevma s3_out.bits.redirect := DontCare 106814a67055Ssfencevma s3_out.bits.debug.isMMIO := s3_in.mmio 106914a67055Ssfencevma s3_out.bits.debug.isPerfCnt := false.B 107014a67055Ssfencevma s3_out.bits.debug.paddr := s3_in.paddr 107114a67055Ssfencevma s3_out.bits.debug.vaddr := s3_in.vaddr 107214a67055Ssfencevma s3_out.bits.fflags := DontCare 1073024ee227SWilliam Wang 1074cd2ff98bShappy-lx io.rollback.valid := s3_valid && (s3_rep_frm_fetch || s3_flushPipe) && !s3_exception 10753343d4a5Ssfencevma io.rollback.bits := DontCare 10763343d4a5Ssfencevma io.rollback.bits.isRVC := s3_out.bits.uop.cf.pd.isRVC 10773343d4a5Ssfencevma io.rollback.bits.robIdx := s3_out.bits.uop.robIdx 10783343d4a5Ssfencevma io.rollback.bits.ftqIdx := s3_out.bits.uop.cf.ftqPtr 10793343d4a5Ssfencevma io.rollback.bits.ftqOffset := s3_out.bits.uop.cf.ftqOffset 10803b1a683bSsfencevma io.rollback.bits.level := Mux(s3_rep_frm_fetch, RedirectLevel.flush, RedirectLevel.flushAfter) 10813343d4a5Ssfencevma io.rollback.bits.cfiUpdate.target := s3_out.bits.uop.cf.pc 10823343d4a5Ssfencevma io.rollback.bits.debug_runahead_checkpoint_id := s3_out.bits.uop.debugInfo.runahead_checkpoint_id 1083e4f69d78Ssfencevma /* <------- DANGEROUS: Don't change sequence here ! -------> */ 1084cb9c18dcSWilliam Wang 108514a67055Ssfencevma io.lsq.ldin.bits.uop := s3_out.bits.uop 1086e4f69d78Ssfencevma 108714a67055Ssfencevma val s3_revoke = s3_exception || io.lsq.ldin.bits.rep_info.need_rep 108814a67055Ssfencevma io.lsq.ldld_nuke_query.revoke := s3_revoke 108914a67055Ssfencevma io.lsq.stld_nuke_query.revoke := s3_revoke 1090e4f69d78Ssfencevma 1091e4f69d78Ssfencevma // feedback slow 1092cd2ff98bShappy-lx s3_fast_rep := RegNext(s2_fast_rep) 1093e50f3145Ssfencevma 1094cd2ff98bShappy-lx val s3_fb_no_waiting = !s3_in.isLoadReplay && 1095cd2ff98bShappy-lx (!(s3_fast_rep && !s3_fast_rep_canceled)) && 1096cd2ff98bShappy-lx !s3_in.feedbacked 1097594c5198Ssfencevma 1098594c5198Ssfencevma // 1099cd2ff98bShappy-lx io.feedback_slow.valid := s3_valid && s3_fb_no_waiting 1100cd2ff98bShappy-lx io.feedback_slow.bits.hit := !s3_rep_info.need_rep || io.lsq.ldin.ready 110114a67055Ssfencevma io.feedback_slow.bits.flushState := s3_in.ptwBack 110214a67055Ssfencevma io.feedback_slow.bits.rsIdx := s3_in.rsIdx 110314a67055Ssfencevma io.feedback_slow.bits.sourceType := RSFeedbackType.lrqFull 110414a67055Ssfencevma io.feedback_slow.bits.dataInvalidSqIdx := DontCare 1105e4f69d78Ssfencevma 1106cd2ff98bShappy-lx val s3_ld_wb_meta = Mux(s3_valid, s3_out.bits, io.lsq.uncache.bits) 110714a67055Ssfencevma 1108cb9c18dcSWilliam Wang // data from load queue refill 110914a67055Ssfencevma val s3_ld_raw_data_frm_uncache = io.lsq.ld_raw_data 111014a67055Ssfencevma val s3_merged_data_frm_uncache = s3_ld_raw_data_frm_uncache.mergedData() 111114a67055Ssfencevma val s3_picked_data_frm_uncache = LookupTree(s3_ld_raw_data_frm_uncache.addrOffset, List( 111214a67055Ssfencevma "b000".U -> s3_merged_data_frm_uncache(63, 0), 111314a67055Ssfencevma "b001".U -> s3_merged_data_frm_uncache(63, 8), 111414a67055Ssfencevma "b010".U -> s3_merged_data_frm_uncache(63, 16), 111514a67055Ssfencevma "b011".U -> s3_merged_data_frm_uncache(63, 24), 111614a67055Ssfencevma "b100".U -> s3_merged_data_frm_uncache(63, 32), 111714a67055Ssfencevma "b101".U -> s3_merged_data_frm_uncache(63, 40), 111814a67055Ssfencevma "b110".U -> s3_merged_data_frm_uncache(63, 48), 111914a67055Ssfencevma "b111".U -> s3_merged_data_frm_uncache(63, 56) 1120cb9c18dcSWilliam Wang )) 112114a67055Ssfencevma val s3_ld_data_frm_uncache = rdataHelper(s3_ld_raw_data_frm_uncache.uop, s3_picked_data_frm_uncache) 1122cb9c18dcSWilliam Wang 1123cb9c18dcSWilliam Wang // data from dcache hit 112414a67055Ssfencevma val s3_ld_raw_data_frm_cache = Wire(new LoadDataFromDcacheBundle) 112514a67055Ssfencevma s3_ld_raw_data_frm_cache.respDcacheData := io.dcache.resp.bits.data_delayed 112614a67055Ssfencevma s3_ld_raw_data_frm_cache.forwardMask := RegEnable(s2_fwd_mask, s2_valid) 112714a67055Ssfencevma s3_ld_raw_data_frm_cache.forwardData := RegEnable(s2_fwd_data, s2_valid) 112814a67055Ssfencevma s3_ld_raw_data_frm_cache.uop := RegEnable(s2_out.uop, s2_valid) 1129cdbff57cSHaoyuan Feng s3_ld_raw_data_frm_cache.addrOffset := RegEnable(s2_out.paddr(3, 0), s2_valid) 1130495ea2f0Ssfencevma s3_ld_raw_data_frm_cache.forward_D := RegEnable(s2_fwd_frm_d_chan, false.B, s2_valid) || s3_fwd_frm_d_chan_valid 1131e50f3145Ssfencevma s3_ld_raw_data_frm_cache.forwardData_D := Mux(s3_fwd_frm_d_chan_valid, s3_fwd_data_frm_d_chan, RegEnable(s2_fwd_data_frm_d_chan, s2_valid)) 1132495ea2f0Ssfencevma s3_ld_raw_data_frm_cache.forward_mshr := RegEnable(s2_fwd_frm_mshr, false.B, s2_valid) 113314a67055Ssfencevma s3_ld_raw_data_frm_cache.forwardData_mshr := RegEnable(s2_fwd_data_frm_mshr, s2_valid) 1134495ea2f0Ssfencevma s3_ld_raw_data_frm_cache.forward_result_valid := RegEnable(s2_fwd_data_valid, false.B, s2_valid) 113514a67055Ssfencevma 113614a67055Ssfencevma val s3_merged_data_frm_cache = s3_ld_raw_data_frm_cache.mergedData() 113714a67055Ssfencevma val s3_picked_data_frm_cache = LookupTree(s3_ld_raw_data_frm_cache.addrOffset, List( 1138cdbff57cSHaoyuan Feng "b0000".U -> s3_merged_data_frm_cache(63, 0), 1139cdbff57cSHaoyuan Feng "b0001".U -> s3_merged_data_frm_cache(63, 8), 1140cdbff57cSHaoyuan Feng "b0010".U -> s3_merged_data_frm_cache(63, 16), 1141cdbff57cSHaoyuan Feng "b0011".U -> s3_merged_data_frm_cache(63, 24), 1142cdbff57cSHaoyuan Feng "b0100".U -> s3_merged_data_frm_cache(63, 32), 1143cdbff57cSHaoyuan Feng "b0101".U -> s3_merged_data_frm_cache(63, 40), 1144cdbff57cSHaoyuan Feng "b0110".U -> s3_merged_data_frm_cache(63, 48), 1145cdbff57cSHaoyuan Feng "b0111".U -> s3_merged_data_frm_cache(63, 56), 1146cdbff57cSHaoyuan Feng "b1000".U -> s3_merged_data_frm_cache(127, 64), 1147cdbff57cSHaoyuan Feng "b1001".U -> s3_merged_data_frm_cache(127, 72), 1148cdbff57cSHaoyuan Feng "b1010".U -> s3_merged_data_frm_cache(127, 80), 1149cdbff57cSHaoyuan Feng "b1011".U -> s3_merged_data_frm_cache(127, 88), 1150cdbff57cSHaoyuan Feng "b1100".U -> s3_merged_data_frm_cache(127, 96), 1151cdbff57cSHaoyuan Feng "b1101".U -> s3_merged_data_frm_cache(127, 104), 1152cdbff57cSHaoyuan Feng "b1110".U -> s3_merged_data_frm_cache(127, 112), 1153cdbff57cSHaoyuan Feng "b1111".U -> s3_merged_data_frm_cache(127, 120) 1154cb9c18dcSWilliam Wang )) 115514a67055Ssfencevma val s3_ld_data_frm_cache = rdataHelper(s3_ld_raw_data_frm_cache.uop, s3_picked_data_frm_cache) 1156cb9c18dcSWilliam Wang 1157e4f69d78Ssfencevma // FIXME: add 1 cycle delay ? 1158cd2ff98bShappy-lx io.lsq.uncache.ready := !s3_valid 115914a67055Ssfencevma io.ldout.bits := s3_ld_wb_meta 1160cd2ff98bShappy-lx io.ldout.bits.data := Mux(s3_valid, s3_ld_data_frm_cache, s3_ld_data_frm_uncache) 1161cd2ff98bShappy-lx io.ldout.valid := s3_out.valid || (io.lsq.uncache.valid && !s3_valid) 1162c837faaaSWilliam Wang 11633b1a683bSsfencevma // s3 load fast replay 11643b1a683bSsfencevma io.fast_rep_out.valid := s3_valid && s3_fast_rep 11653b1a683bSsfencevma io.fast_rep_out.bits := s3_in 11663b1a683bSsfencevma io.fast_rep_out.bits.lateKill := s3_rep_frm_fetch 11673b1a683bSsfencevma 1168c837faaaSWilliam Wang 1169a19ae480SWilliam Wang // fast load to load forward 1170cd2ff98bShappy-lx if (EnableLoadToLoadForward) { 1171cd2ff98bShappy-lx io.l2l_fwd_out.valid := s3_valid && !s3_in.mmio && !s3_rep_info.need_rep 1172cd2ff98bShappy-lx io.l2l_fwd_out.data := Mux(s3_in.vaddr(3), s3_merged_data_frm_cache(127, 64), s3_merged_data_frm_cache(63, 0)) 1173cd2ff98bShappy-lx io.l2l_fwd_out.dly_ld_err := s3_dly_ld_err || // ecc delayed error 1174cd2ff98bShappy-lx s3_ldld_rep_inst || 1175cd2ff98bShappy-lx s3_rep_frm_fetch 1176cd2ff98bShappy-lx } else { 1177cd2ff98bShappy-lx io.l2l_fwd_out.valid := false.B 1178cd2ff98bShappy-lx io.l2l_fwd_out.data := DontCare 1179cd2ff98bShappy-lx io.l2l_fwd_out.dly_ld_err := DontCare 1180cd2ff98bShappy-lx } 1181a19ae480SWilliam Wang 1182b978565cSWilliam Wang 1183e4f69d78Ssfencevma // FIXME: please move this part to LoadQueueReplay 1184e4f69d78Ssfencevma io.debug_ls := DontCare 11858744445eSMaxpicca-Li 1186cd2ff98bShappy-lx 118714a67055Ssfencevma // Topdown 118814a67055Ssfencevma io.lsTopdownInfo.s1.robIdx := s1_in.uop.robIdx.value 118914a67055Ssfencevma io.lsTopdownInfo.s1.vaddr_valid := s1_valid && s1_in.hasROBEntry 119014a67055Ssfencevma io.lsTopdownInfo.s1.vaddr_bits := s1_vaddr 119114a67055Ssfencevma io.lsTopdownInfo.s2.robIdx := s2_in.uop.robIdx.value 119214a67055Ssfencevma io.lsTopdownInfo.s2.paddr_valid := s2_fire && s2_in.hasROBEntry && !s2_in.tlbMiss 119314a67055Ssfencevma io.lsTopdownInfo.s2.paddr_bits := s2_in.paddr 11940d32f713Shappy-lx io.lsTopdownInfo.s2.first_real_miss := io.dcache.resp.bits.real_miss 11950d32f713Shappy-lx io.lsTopdownInfo.s2.cache_miss_en := s2_fire && s2_in.hasROBEntry && !s2_in.tlbMiss && !s2_in.missDbUpdated 119614a67055Ssfencevma 119714a67055Ssfencevma // perf cnt 11981b027d07Ssfencevma XSPerfAccumulate("s0_in_valid", io.ldin.valid) 11991b027d07Ssfencevma XSPerfAccumulate("s0_in_block", io.ldin.valid && !io.ldin.fire) 1200cd2ff98bShappy-lx XSPerfAccumulate("s0_in_fire_first_issue", s0_valid && s0_sel_src.isFirstIssue) 12011b027d07Ssfencevma XSPerfAccumulate("s0_lsq_fire_first_issue", io.replay.fire) 1202cd2ff98bShappy-lx XSPerfAccumulate("s0_ldu_fire_first_issue", io.ldin.fire && s0_sel_src.isFirstIssue) 12031b027d07Ssfencevma XSPerfAccumulate("s0_fast_replay_issue", io.fast_rep_in.fire) 120414a67055Ssfencevma XSPerfAccumulate("s0_stall_out", s0_valid && !s0_can_go) 120514a67055Ssfencevma XSPerfAccumulate("s0_stall_dcache", s0_valid && !io.dcache.req.ready) 1206cd2ff98bShappy-lx XSPerfAccumulate("s0_addr_spec_success", s0_fire && s0_sel_src.vaddr(VAddrBits-1, 12) === io.ldin.bits.src(0)(VAddrBits-1, 12)) 1207cd2ff98bShappy-lx XSPerfAccumulate("s0_addr_spec_failed", s0_fire && s0_sel_src.vaddr(VAddrBits-1, 12) =/= io.ldin.bits.src(0)(VAddrBits-1, 12)) 1208cd2ff98bShappy-lx XSPerfAccumulate("s0_addr_spec_success_once", s0_fire && s0_sel_src.vaddr(VAddrBits-1, 12) === io.ldin.bits.src(0)(VAddrBits-1, 12) && s0_sel_src.isFirstIssue) 1209cd2ff98bShappy-lx XSPerfAccumulate("s0_addr_spec_failed_once", s0_fire && s0_sel_src.vaddr(VAddrBits-1, 12) =/= io.ldin.bits.src(0)(VAddrBits-1, 12) && s0_sel_src.isFirstIssue) 12101b027d07Ssfencevma XSPerfAccumulate("s0_forward_tl_d_channel", s0_out.forward_tlDchannel) 12111b027d07Ssfencevma XSPerfAccumulate("s0_hardware_prefetch_fire", s0_fire && s0_hw_prf_select) 1212cd2ff98bShappy-lx XSPerfAccumulate("s0_software_prefetch_fire", s0_fire && s0_sel_src.prf && s0_int_iss_select) 12131b027d07Ssfencevma XSPerfAccumulate("s0_hardware_prefetch_blocked", io.prefetch_req.valid && !s0_hw_prf_select) 12141b027d07Ssfencevma XSPerfAccumulate("s0_hardware_prefetch_total", io.prefetch_req.valid) 121514a67055Ssfencevma 12161b027d07Ssfencevma XSPerfAccumulate("s1_in_valid", s1_valid) 12171b027d07Ssfencevma XSPerfAccumulate("s1_in_fire", s1_fire) 12181b027d07Ssfencevma XSPerfAccumulate("s1_in_fire_first_issue", s1_fire && s1_in.isFirstIssue) 12191b027d07Ssfencevma XSPerfAccumulate("s1_tlb_miss", s1_fire && s1_tlb_miss) 12201b027d07Ssfencevma XSPerfAccumulate("s1_tlb_miss_first_issue", s1_fire && s1_tlb_miss && s1_in.isFirstIssue) 122114a67055Ssfencevma XSPerfAccumulate("s1_stall_out", s1_valid && !s1_can_go) 1222cd2ff98bShappy-lx XSPerfAccumulate("s1_dly_err", s1_valid && s1_fast_rep_dly_err) 122314a67055Ssfencevma 12241b027d07Ssfencevma XSPerfAccumulate("s2_in_valid", s2_valid) 12251b027d07Ssfencevma XSPerfAccumulate("s2_in_fire", s2_fire) 12261b027d07Ssfencevma XSPerfAccumulate("s2_in_fire_first_issue", s2_fire && s2_in.isFirstIssue) 1227e50f3145Ssfencevma XSPerfAccumulate("s2_dcache_miss", s2_fire && io.dcache.resp.bits.miss) 1228e50f3145Ssfencevma XSPerfAccumulate("s2_dcache_miss_first_issue", s2_fire && io.dcache.resp.bits.miss && s2_in.isFirstIssue) 1229257f9711Shappy-lx XSPerfAccumulate("s2_dcache_real_miss_first_issue", s2_fire && io.dcache.resp.bits.miss && s2_in.isFirstIssue) 12301b027d07Ssfencevma XSPerfAccumulate("s2_full_forward", s2_fire && s2_full_fwd) 1231e50f3145Ssfencevma XSPerfAccumulate("s2_dcache_miss_full_forward", s2_fire && s2_dcache_miss) 1232e50f3145Ssfencevma XSPerfAccumulate("s2_fwd_frm_d_can", s2_valid && s2_fwd_frm_d_chan) 1233e50f3145Ssfencevma XSPerfAccumulate("s2_fwd_frm_d_chan_or_mshr", s2_valid && s2_fwd_frm_d_chan_or_mshr) 123414a67055Ssfencevma XSPerfAccumulate("s2_stall_out", s2_fire && !s2_can_go) 12351b027d07Ssfencevma XSPerfAccumulate("s2_prefetch", s2_fire && s2_prf) 1236e50f3145Ssfencevma XSPerfAccumulate("s2_prefetch_ignored", s2_fire && s2_prf && s2_mq_nack) // ignore prefetch for mshr full / miss req port conflict 1237e50f3145Ssfencevma XSPerfAccumulate("s2_prefetch_miss", s2_fire && s2_prf && io.dcache.resp.bits.miss) // prefetch req miss in l1 1238e50f3145Ssfencevma XSPerfAccumulate("s2_prefetch_hit", s2_fire && s2_prf && !io.dcache.resp.bits.miss) // prefetch req hit in l1 1239e50f3145Ssfencevma XSPerfAccumulate("s2_prefetch_accept", s2_fire && s2_prf && io.dcache.resp.bits.miss && !s2_mq_nack) // prefetch a missed line in l1, and l1 accepted it 1240a11e9ab9Shappy-lx XSPerfAccumulate("s2_forward_req", s2_fire && s2_in.forward_tlDchannel) 1241a11e9ab9Shappy-lx XSPerfAccumulate("s2_successfully_forward_channel_D", s2_fire && s2_fwd_frm_d_chan && s2_fwd_data_valid) 1242a11e9ab9Shappy-lx XSPerfAccumulate("s2_successfully_forward_mshr", s2_fire && s2_fwd_frm_mshr && s2_fwd_data_valid) 124314a67055Ssfencevma 1244e50f3145Ssfencevma XSPerfAccumulate("s3_fwd_frm_d_chan", s3_valid && s3_fwd_frm_d_chan_valid) 1245e50f3145Ssfencevma 124614a67055Ssfencevma XSPerfAccumulate("load_to_load_forward", s1_try_ptr_chasing && !s1_ptr_chasing_canceled) 124714a67055Ssfencevma XSPerfAccumulate("load_to_load_forward_try", s1_try_ptr_chasing) 124814a67055Ssfencevma XSPerfAccumulate("load_to_load_forward_fail", s1_cancel_ptr_chasing) 124914a67055Ssfencevma XSPerfAccumulate("load_to_load_forward_fail_cancelled", s1_cancel_ptr_chasing && s1_ptr_chasing_canceled) 125014a67055Ssfencevma XSPerfAccumulate("load_to_load_forward_fail_wakeup_mismatch", s1_cancel_ptr_chasing && !s1_ptr_chasing_canceled && s1_not_fast_match) 125114a67055Ssfencevma XSPerfAccumulate("load_to_load_forward_fail_op_not_ld", s1_cancel_ptr_chasing && !s1_ptr_chasing_canceled && !s1_not_fast_match && s1_fu_op_type_not_ld) 125214a67055Ssfencevma XSPerfAccumulate("load_to_load_forward_fail_addr_align", s1_cancel_ptr_chasing && !s1_ptr_chasing_canceled && !s1_not_fast_match && !s1_fu_op_type_not_ld && s1_addr_misaligned) 125314a67055Ssfencevma XSPerfAccumulate("load_to_load_forward_fail_set_mismatch", s1_cancel_ptr_chasing && !s1_ptr_chasing_canceled && !s1_not_fast_match && !s1_fu_op_type_not_ld && !s1_addr_misaligned && s1_addr_mismatch) 1254d2b20d1aSTang Haojin 12558744445eSMaxpicca-Li // bug lyq: some signals in perfEvents are no longer suitable for the current MemBlock design 1256b52348aeSWilliam Wang // hardware performance counter 1257cd365d4cSrvcoresjw val perfEvents = Seq( 125814a67055Ssfencevma ("load_s0_in_fire ", s0_fire ), 125914a67055Ssfencevma ("load_to_load_forward ", s1_fire && s1_try_ptr_chasing && !s1_ptr_chasing_canceled ), 126014a67055Ssfencevma ("stall_dcache ", s0_valid && s0_can_go && !io.dcache.req.ready ), 126114a67055Ssfencevma ("load_s1_in_fire ", s0_fire ), 126214a67055Ssfencevma ("load_s1_tlb_miss ", s1_fire && io.tlb.resp.bits.miss ), 126314a67055Ssfencevma ("load_s2_in_fire ", s1_fire ), 126414a67055Ssfencevma ("load_s2_dcache_miss ", s2_fire && io.dcache.resp.bits.miss ), 1265cd365d4cSrvcoresjw ) 12661ca0e4f3SYinan Xu generatePerfEvent() 1267cd365d4cSrvcoresjw 126814a67055Ssfencevma when(io.ldout.fire){ 126914a67055Ssfencevma XSDebug("ldout %x\n", io.ldout.bits.uop.cf.pc) 1270c5c06e78SWilliam Wang } 127114a67055Ssfencevma // end 1272024ee227SWilliam Wang}