xref: /XiangShan/src/main/scala/xiangshan/mem/pipeline/LoadUnit.scala (revision d29457077dba131b5b0f793bbf7a71463640ac2a)
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}