xref: /XiangShan/src/main/scala/xiangshan/mem/lsqueue/LoadQueueReplay.scala (revision f2e8d4199f739189df4742717c087640527dec93)
1e4f69d78Ssfencevma/***************************************************************************************
2e4f69d78Ssfencevma* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences
3e4f69d78Ssfencevma* Copyright (c) 2020-2021 Peng Cheng Laboratory
4e4f69d78Ssfencevma*
5e4f69d78Ssfencevma* XiangShan is licensed under Mulan PSL v2.
6e4f69d78Ssfencevma* You can use this software according to the terms and conditions of the Mulan PSL v2.
7e4f69d78Ssfencevma* You may obtain a copy of Mulan PSL v2 at:
8e4f69d78Ssfencevma*          http://license.coscl.org.cn/MulanPSL2
9e4f69d78Ssfencevma*
10e4f69d78Ssfencevma* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
11e4f69d78Ssfencevma* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
12e4f69d78Ssfencevma* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
13e4f69d78Ssfencevma*
14e4f69d78Ssfencevma* See the Mulan PSL v2 for more details.
15e4f69d78Ssfencevma***************************************************************************************/
16e4f69d78Ssfencevmapackage xiangshan.mem
17e4f69d78Ssfencevma
18e4f69d78Ssfencevmaimport chisel3._
19e4f69d78Ssfencevmaimport chisel3.util._
20e4f69d78Ssfencevmaimport chipsalliance.rocketchip.config._
21e4f69d78Ssfencevmaimport xiangshan._
22e4f69d78Ssfencevmaimport xiangshan.backend.rob.{RobPtr, RobLsqIO}
23e4f69d78Ssfencevmaimport xiangshan.cache._
24e4f69d78Ssfencevmaimport xiangshan.backend.fu.fpu.FPU
25e4f69d78Ssfencevmaimport xiangshan.cache._
26e4f69d78Ssfencevmaimport xiangshan.frontend.FtqPtr
27e4f69d78Ssfencevmaimport xiangshan.ExceptionNO._
28e4f69d78Ssfencevmaimport xiangshan.cache.dcache.ReplayCarry
29e4f69d78Ssfencevmaimport xiangshan.mem.mdp._
30e4f69d78Ssfencevmaimport utils._
31e4f69d78Ssfencevmaimport utility._
32e4f69d78Ssfencevma
33e4f69d78Ssfencevmaobject LoadReplayCauses {
34e4f69d78Ssfencevma  // these causes have priority, lower coding has higher priority.
35e4f69d78Ssfencevma  // when load replay happens, load unit will select highest priority
36e4f69d78Ssfencevma  // from replay causes vector
37e4f69d78Ssfencevma
38e4f69d78Ssfencevma  /*
39e4f69d78Ssfencevma   * Warning:
40e4f69d78Ssfencevma   * ************************************************************
41e4f69d78Ssfencevma   * * Don't change the priority. If the priority is changed,   *
42e4f69d78Ssfencevma   * * deadlock may occur. If you really need to change or      *
43e4f69d78Ssfencevma   * * add priority, please ensure that no deadlock will occur. *
44e4f69d78Ssfencevma   * ************************************************************
45e4f69d78Ssfencevma   *
46e4f69d78Ssfencevma   */
47e4f69d78Ssfencevma  // st-ld violation
48e4f69d78Ssfencevma  val waitStore         = 0
49e4f69d78Ssfencevma  // tlb miss check
50e4f69d78Ssfencevma  val tlbMiss           = 1
51e4f69d78Ssfencevma  // st-ld violation re-execute check
52e4f69d78Ssfencevma  val schedError        = 2
53e4f69d78Ssfencevma  // dcache bank conflict check
54e4f69d78Ssfencevma  val bankConflict      = 3
55e4f69d78Ssfencevma  // store-to-load-forwarding check
56e4f69d78Ssfencevma  val forwardFail       = 4
57e4f69d78Ssfencevma  // dcache replay check
58e4f69d78Ssfencevma  val dcacheReplay      = 5
59e4f69d78Ssfencevma  // dcache miss check
60e4f69d78Ssfencevma  val dcacheMiss        = 6
61*f2e8d419Ssfencevma  // RAR queue accept check
62*f2e8d419Ssfencevma  val rarReject         = 7
63*f2e8d419Ssfencevma  // RAW queue accept check
64*f2e8d419Ssfencevma  val rawReject         = 8
65e4f69d78Ssfencevma  // total causes
66*f2e8d419Ssfencevma  val allCauses         = 9
67e4f69d78Ssfencevma}
68e4f69d78Ssfencevma
69e4f69d78Ssfencevmaclass AgeDetector(numEntries: Int, numEnq: Int, regOut: Boolean = true)(implicit p: Parameters) extends XSModule {
70e4f69d78Ssfencevma  val io = IO(new Bundle {
71e4f69d78Ssfencevma    // NOTE: deq and enq may come at the same cycle.
72e4f69d78Ssfencevma    val enq = Vec(numEnq, Input(UInt(numEntries.W)))
73e4f69d78Ssfencevma    val deq = Input(UInt(numEntries.W))
74e4f69d78Ssfencevma    val ready = Input(UInt(numEntries.W))
75e4f69d78Ssfencevma    val out = Output(UInt(numEntries.W))
76e4f69d78Ssfencevma  })
77e4f69d78Ssfencevma
78e4f69d78Ssfencevma  // age(i)(j): entry i enters queue before entry j
79e4f69d78Ssfencevma  val age = Seq.fill(numEntries)(Seq.fill(numEntries)(RegInit(false.B)))
80e4f69d78Ssfencevma  val nextAge = Seq.fill(numEntries)(Seq.fill(numEntries)(Wire(Bool())))
81e4f69d78Ssfencevma
82e4f69d78Ssfencevma  // to reduce reg usage, only use upper matrix
83e4f69d78Ssfencevma  def get_age(row: Int, col: Int): Bool = if (row <= col) age(row)(col) else !age(col)(row)
84e4f69d78Ssfencevma  def get_next_age(row: Int, col: Int): Bool = if (row <= col) nextAge(row)(col) else !nextAge(col)(row)
85e4f69d78Ssfencevma  def isFlushed(i: Int): Bool = io.deq(i)
86e4f69d78Ssfencevma  def isEnqueued(i: Int, numPorts: Int = -1): Bool = {
87e4f69d78Ssfencevma    val takePorts = if (numPorts == -1) io.enq.length else numPorts
88e4f69d78Ssfencevma    takePorts match {
89e4f69d78Ssfencevma      case 0 => false.B
90e4f69d78Ssfencevma      case 1 => io.enq.head(i) && !isFlushed(i)
91e4f69d78Ssfencevma      case n => VecInit(io.enq.take(n).map(_(i))).asUInt.orR && !isFlushed(i)
92e4f69d78Ssfencevma    }
93e4f69d78Ssfencevma  }
94e4f69d78Ssfencevma
95e4f69d78Ssfencevma  for ((row, i) <- nextAge.zipWithIndex) {
96e4f69d78Ssfencevma    val thisValid = get_age(i, i) || isEnqueued(i)
97e4f69d78Ssfencevma    for ((elem, j) <- row.zipWithIndex) {
98e4f69d78Ssfencevma      when (isFlushed(i)) {
99e4f69d78Ssfencevma        // (1) when entry i is flushed or dequeues, set row(i) to false.B
100e4f69d78Ssfencevma        elem := false.B
101e4f69d78Ssfencevma      }.elsewhen (isFlushed(j)) {
102e4f69d78Ssfencevma        // (2) when entry j is flushed or dequeues, set column(j) to validVec
103e4f69d78Ssfencevma        elem := thisValid
104e4f69d78Ssfencevma      }.elsewhen (isEnqueued(i)) {
105e4f69d78Ssfencevma        // (3) when entry i enqueues from port k,
106e4f69d78Ssfencevma        // (3.1) if entry j enqueues from previous ports, set to false
107e4f69d78Ssfencevma        // (3.2) otherwise, set to true if and only of entry j is invalid
108e4f69d78Ssfencevma        // overall: !jEnqFromPreviousPorts && !jIsValid
109e4f69d78Ssfencevma        val sel = io.enq.map(_(i))
110e4f69d78Ssfencevma        val result = (0 until numEnq).map(k => isEnqueued(j, k))
111e4f69d78Ssfencevma        // why ParallelMux: sel must be one-hot since enq is one-hot
112e4f69d78Ssfencevma        elem := !get_age(j, j) && !ParallelMux(sel, result)
113e4f69d78Ssfencevma      }.otherwise {
114e4f69d78Ssfencevma        // default: unchanged
115e4f69d78Ssfencevma        elem := get_age(i, j)
116e4f69d78Ssfencevma      }
117e4f69d78Ssfencevma      age(i)(j) := elem
118e4f69d78Ssfencevma    }
119e4f69d78Ssfencevma  }
120e4f69d78Ssfencevma
121e4f69d78Ssfencevma  def getOldest(get: (Int, Int) => Bool): UInt = {
122e4f69d78Ssfencevma    VecInit((0 until numEntries).map(i => {
123e4f69d78Ssfencevma      io.ready(i) & VecInit((0 until numEntries).map(j => if (i != j) !io.ready(j) || get(i, j) else true.B)).asUInt.andR
124e4f69d78Ssfencevma    })).asUInt
125e4f69d78Ssfencevma  }
126e4f69d78Ssfencevma  val best = getOldest(get_age)
127e4f69d78Ssfencevma  val nextBest = getOldest(get_next_age)
128e4f69d78Ssfencevma
129e4f69d78Ssfencevma  io.out := (if (regOut) best else nextBest)
130e4f69d78Ssfencevma}
131e4f69d78Ssfencevma
132e4f69d78Ssfencevmaobject AgeDetector {
133e4f69d78Ssfencevma  def apply(numEntries: Int, enq: Vec[UInt], deq: UInt, ready: UInt)(implicit p: Parameters): Valid[UInt] = {
134e4f69d78Ssfencevma    val age = Module(new AgeDetector(numEntries, enq.length, regOut = true))
135e4f69d78Ssfencevma    age.io.enq := enq
136e4f69d78Ssfencevma    age.io.deq := deq
137e4f69d78Ssfencevma    age.io.ready:= ready
138e4f69d78Ssfencevma    val out = Wire(Valid(UInt(deq.getWidth.W)))
139e4f69d78Ssfencevma    out.valid := age.io.out.orR
140e4f69d78Ssfencevma    out.bits := age.io.out
141e4f69d78Ssfencevma    out
142e4f69d78Ssfencevma  }
143e4f69d78Ssfencevma}
144e4f69d78Ssfencevma
145e4f69d78Ssfencevma
146e4f69d78Ssfencevmaclass LoadQueueReplay(implicit p: Parameters) extends XSModule
147e4f69d78Ssfencevma  with HasDCacheParameters
148e4f69d78Ssfencevma  with HasCircularQueuePtrHelper
149e4f69d78Ssfencevma  with HasLoadHelper
150e4f69d78Ssfencevma  with HasPerfEvents
151e4f69d78Ssfencevma{
152e4f69d78Ssfencevma  val io = IO(new Bundle() {
153e4f69d78Ssfencevma    val redirect = Flipped(ValidIO(new Redirect))
154e4f69d78Ssfencevma    val enq = Vec(LoadPipelineWidth, Flipped(Decoupled(new LqWriteBundle)))
155e4f69d78Ssfencevma    val storeAddrIn = Vec(StorePipelineWidth, Flipped(Valid(new LsPipelineBundle)))
156e4f69d78Ssfencevma    val storeDataIn = Vec(StorePipelineWidth, Flipped(Valid(new ExuOutput)))
157e4f69d78Ssfencevma    val replay = Vec(LoadPipelineWidth, Decoupled(new LsPipelineBundle))
158e4f69d78Ssfencevma    val refill = Flipped(ValidIO(new Refill))
159e4f69d78Ssfencevma    val stAddrReadySqPtr = Input(new SqPtr)
160e4f69d78Ssfencevma    val stAddrReadyVec = Input(Vec(StoreQueueSize, Bool()))
161e4f69d78Ssfencevma    val stDataReadySqPtr = Input(new SqPtr)
162e4f69d78Ssfencevma    val stDataReadyVec = Input(Vec(StoreQueueSize, Bool()))
163e4f69d78Ssfencevma    val sqEmpty = Input(Bool())
164e4f69d78Ssfencevma    val lqFull = Output(Bool())
165e4f69d78Ssfencevma    val ldWbPtr = Input(new LqPtr)
166e4f69d78Ssfencevma    val tlbReplayDelayCycleCtrl = Vec(4, Input(UInt(ReSelectLen.W)))
167*f2e8d419Ssfencevma    val rarFull = Input(Bool())
168*f2e8d419Ssfencevma    val rawFull = Input(Bool())
169e4f69d78Ssfencevma  })
170e4f69d78Ssfencevma
171e4f69d78Ssfencevma  println("LoadQueueReplay size: " + LoadQueueReplaySize)
172e4f69d78Ssfencevma  //  LoadQueueReplay field:
173e4f69d78Ssfencevma  //  +-----------+---------+-------+-------------+--------+
174e4f69d78Ssfencevma  //  | Allocated | MicroOp | VAddr |    Cause    |  Flags |
175e4f69d78Ssfencevma  //  +-----------+---------+-------+-------------+--------+
176e4f69d78Ssfencevma  //  Allocated   : entry has been allocated already
177e4f69d78Ssfencevma  //  MicroOp     : inst's microOp
178e4f69d78Ssfencevma  //  VAddr       : virtual address
179e4f69d78Ssfencevma  //  Cause       : replay cause
180e4f69d78Ssfencevma  //  Flags       : rar/raw queue allocate flags
181e4f69d78Ssfencevma  val allocated = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B))) // The control signals need to explicitly indicate the initial value
182e4f69d78Ssfencevma  val sleep = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B)))
183e4f69d78Ssfencevma  val uop = Reg(Vec(LoadQueueReplaySize, new MicroOp))
184e4f69d78Ssfencevma  val vaddrModule = Module(new LqVAddrModule(
185e4f69d78Ssfencevma    gen = UInt(VAddrBits.W),
186e4f69d78Ssfencevma    numEntries = LoadQueueReplaySize,
187e4f69d78Ssfencevma    numRead = LoadPipelineWidth,
188e4f69d78Ssfencevma    numWrite = LoadPipelineWidth,
189e4f69d78Ssfencevma    numWBank = LoadQueueNWriteBanks,
190e4f69d78Ssfencevma    numWDelay = 2,
191e4f69d78Ssfencevma    numCamPort = 0))
192e4f69d78Ssfencevma  vaddrModule.io := DontCare
193e4f69d78Ssfencevma  val cause = RegInit(VecInit(List.fill(LoadQueueReplaySize)(0.U(LoadReplayCauses.allCauses.W))))
194e4f69d78Ssfencevma
195e4f69d78Ssfencevma  // freeliset: store valid entries index.
196e4f69d78Ssfencevma  // +---+---+--------------+-----+-----+
197e4f69d78Ssfencevma  // | 0 | 1 |      ......  | n-2 | n-1 |
198e4f69d78Ssfencevma  // +---+---+--------------+-----+-----+
199e4f69d78Ssfencevma  val freeList = Module(new FreeList(
200e4f69d78Ssfencevma    size = LoadQueueReplaySize,
201e4f69d78Ssfencevma    allocWidth = LoadPipelineWidth,
202e4f69d78Ssfencevma    freeWidth = 4,
203e4f69d78Ssfencevma    moduleName = "LoadQueueReplay freelist"
204e4f69d78Ssfencevma  ))
205e4f69d78Ssfencevma  freeList.io := DontCare
206e4f69d78Ssfencevma  /**
207e4f69d78Ssfencevma   * used for re-select control
208e4f69d78Ssfencevma   */
209e4f69d78Ssfencevma  val credit = RegInit(VecInit(List.fill(LoadQueueReplaySize)(0.U(ReSelectLen.W))))
210e4f69d78Ssfencevma  val selBlocked = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B)))
211e4f69d78Ssfencevma  //  Ptrs to control which cycle to choose
212e4f69d78Ssfencevma  val blockPtrTlb = RegInit(VecInit(List.fill(LoadQueueReplaySize)(0.U(2.W))))
213e4f69d78Ssfencevma  val blockPtrCache = RegInit(VecInit(List.fill(LoadQueueReplaySize)(0.U(2.W))))
214e4f69d78Ssfencevma  val blockPtrOthers = RegInit(VecInit(List.fill(LoadQueueReplaySize)(0.U(2.W))))
215e4f69d78Ssfencevma  //  Specific cycles to block
216e4f69d78Ssfencevma  val blockCyclesTlb = Reg(Vec(4, UInt(ReSelectLen.W)))
217e4f69d78Ssfencevma  blockCyclesTlb := io.tlbReplayDelayCycleCtrl
218e4f69d78Ssfencevma  val blockCyclesCache = RegInit(VecInit(Seq(11.U(ReSelectLen.W), 18.U(ReSelectLen.W), 127.U(ReSelectLen.W), 17.U(ReSelectLen.W))))
219e4f69d78Ssfencevma  val blockCyclesOthers = RegInit(VecInit(Seq(0.U(ReSelectLen.W), 0.U(ReSelectLen.W), 0.U(ReSelectLen.W), 0.U(ReSelectLen.W))))
220e4f69d78Ssfencevma  val blockSqIdx = Reg(Vec(LoadQueueReplaySize, new SqPtr))
221e4f69d78Ssfencevma  // block causes
222e4f69d78Ssfencevma  val blockByTlbMiss = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B)))
223e4f69d78Ssfencevma  val blockByForwardFail = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B)))
224e4f69d78Ssfencevma  val blockByWaitStore = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B)))
225e4f69d78Ssfencevma  val blockByCacheMiss = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B)))
226*f2e8d419Ssfencevma  val blockByRARReject = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B)))
227*f2e8d419Ssfencevma  val blockByRAWReject = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B)))
228e4f69d78Ssfencevma  val blockByOthers = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B)))
229e4f69d78Ssfencevma  //  DCache miss block
230e4f69d78Ssfencevma  val missMSHRId = RegInit(VecInit(List.fill(LoadQueueReplaySize)(0.U((log2Up(cfg.nMissEntries).W)))))
231e4f69d78Ssfencevma  val trueCacheMissReplay = WireInit(VecInit(cause.map(_(LoadReplayCauses.dcacheMiss))))
232e4f69d78Ssfencevma  val creditUpdate = WireInit(VecInit(List.fill(LoadQueueReplaySize)(0.U(ReSelectLen.W))))
233e4f69d78Ssfencevma  (0 until LoadQueueReplaySize).map(i => {
234e4f69d78Ssfencevma    creditUpdate(i) := Mux(credit(i) > 0.U(ReSelectLen.W), credit(i)-1.U(ReSelectLen.W), credit(i))
235e4f69d78Ssfencevma    selBlocked(i) := creditUpdate(i) =/= 0.U(ReSelectLen.W) || credit(i) =/= 0.U(ReSelectLen.W)
236e4f69d78Ssfencevma  })
237e4f69d78Ssfencevma  val replayCarryReg = RegInit(VecInit(List.fill(LoadQueueReplaySize)(ReplayCarry(0.U, false.B))))
238e4f69d78Ssfencevma
239e4f69d78Ssfencevma  /**
240e4f69d78Ssfencevma   * Enqueue
241e4f69d78Ssfencevma   */
242e4f69d78Ssfencevma  val canEnqueue = io.enq.map(_.valid)
243e4f69d78Ssfencevma  val cancelEnq = io.enq.map(enq => enq.bits.uop.robIdx.needFlush(io.redirect))
244e4f69d78Ssfencevma  val needReplay = io.enq.map(enq => enq.bits.replayInfo.needReplay())
245e4f69d78Ssfencevma  val hasExceptions = io.enq.map(enq => ExceptionNO.selectByFu(enq.bits.uop.cf.exceptionVec, lduCfg).asUInt.orR && !enq.bits.tlbMiss)
246e4f69d78Ssfencevma  val loadReplay = io.enq.map(enq => enq.bits.isLoadReplay)
247e4f69d78Ssfencevma  val needEnqueue = VecInit((0 until LoadPipelineWidth).map(w => {
248e4f69d78Ssfencevma    canEnqueue(w) && !cancelEnq(w) && needReplay(w) && !hasExceptions(w)
249e4f69d78Ssfencevma  }))
250e4f69d78Ssfencevma  val canFreeVec = VecInit((0 until LoadPipelineWidth).map(w => {
251e4f69d78Ssfencevma    canEnqueue(w) && loadReplay(w) && (!needReplay(w) || hasExceptions(w))
252e4f69d78Ssfencevma  }))
253e4f69d78Ssfencevma
254e4f69d78Ssfencevma  // select LoadPipelineWidth valid index.
255e4f69d78Ssfencevma  val lqFull = freeList.io.empty
256e4f69d78Ssfencevma  val lqFreeNums = freeList.io.validCount
257e4f69d78Ssfencevma
258e4f69d78Ssfencevma  // replay logic
259e4f69d78Ssfencevma  // release logic generation
260e4f69d78Ssfencevma  val storeAddrInSameCycleVec = Wire(Vec(LoadQueueReplaySize, Bool()))
261e4f69d78Ssfencevma  val storeDataInSameCycleVec = Wire(Vec(LoadQueueReplaySize, Bool()))
262e4f69d78Ssfencevma  val addrNotBlockVec = Wire(Vec(LoadQueueReplaySize, Bool()))
263e4f69d78Ssfencevma  val dataNotBlockVec = Wire(Vec(LoadQueueReplaySize, Bool()))
264e4f69d78Ssfencevma  val storeAddrValidVec = addrNotBlockVec.asUInt | storeAddrInSameCycleVec.asUInt
265e4f69d78Ssfencevma  val storeDataValidVec = dataNotBlockVec.asUInt | storeDataInSameCycleVec.asUInt
266e4f69d78Ssfencevma
267e4f69d78Ssfencevma  // store data valid check
268e4f69d78Ssfencevma  val stAddrReadyVec = io.stAddrReadyVec
269e4f69d78Ssfencevma  val stDataReadyVec = io.stDataReadyVec
270e4f69d78Ssfencevma
271e4f69d78Ssfencevma  for (i <- 0 until LoadQueueReplaySize) {
272e4f69d78Ssfencevma    // dequeue
273e4f69d78Ssfencevma    //  FIXME: store*Ptr is not accurate
274159372ddSsfencevma    dataNotBlockVec(i) := !isBefore(io.stDataReadySqPtr, blockSqIdx(i)) || stDataReadyVec(blockSqIdx(i).value) || io.sqEmpty // for better timing
275e4f69d78Ssfencevma    addrNotBlockVec(i) := !isBefore(io.stAddrReadySqPtr, blockSqIdx(i)) || stAddrReadyVec(blockSqIdx(i).value) || io.sqEmpty // for better timing
276e4f69d78Ssfencevma
277e4f69d78Ssfencevma    // store address execute
278e4f69d78Ssfencevma    storeAddrInSameCycleVec(i) := VecInit((0 until StorePipelineWidth).map(w => {
279e4f69d78Ssfencevma      io.storeAddrIn(w).valid &&
280e4f69d78Ssfencevma      !io.storeAddrIn(w).bits.miss &&
281e4f69d78Ssfencevma      blockSqIdx(i) === io.storeAddrIn(w).bits.uop.sqIdx
282e4f69d78Ssfencevma    })).asUInt.orR // for better timing
283e4f69d78Ssfencevma
284e4f69d78Ssfencevma    // store data execute
285e4f69d78Ssfencevma    storeDataInSameCycleVec(i) := VecInit((0 until StorePipelineWidth).map(w => {
286e4f69d78Ssfencevma      io.storeDataIn(w).valid &&
287e4f69d78Ssfencevma      blockSqIdx(i) === io.storeDataIn(w).bits.uop.sqIdx
288e4f69d78Ssfencevma    })).asUInt.orR // for better timing
289e4f69d78Ssfencevma
290e4f69d78Ssfencevma  }
291e4f69d78Ssfencevma
292e4f69d78Ssfencevma  // store addr issue check
293e4f69d78Ssfencevma  val stAddrDeqVec = Wire(Vec(LoadQueueReplaySize, Bool()))
294e4f69d78Ssfencevma  (0 until LoadQueueReplaySize).map(i => {
295e4f69d78Ssfencevma    stAddrDeqVec(i) := allocated(i) && storeAddrValidVec(i)
296e4f69d78Ssfencevma  })
297e4f69d78Ssfencevma
298e4f69d78Ssfencevma  // store data issue check
299e4f69d78Ssfencevma  val stDataDeqVec = Wire(Vec(LoadQueueReplaySize, Bool()))
300e4f69d78Ssfencevma  (0 until LoadQueueReplaySize).map(i => {
301e4f69d78Ssfencevma    stDataDeqVec(i) := allocated(i) && storeDataValidVec(i)
302e4f69d78Ssfencevma  })
303e4f69d78Ssfencevma
304e4f69d78Ssfencevma  // update block condition
305e4f69d78Ssfencevma  (0 until LoadQueueReplaySize).map(i => {
306e4f69d78Ssfencevma    blockByForwardFail(i) := Mux(blockByForwardFail(i) && stDataDeqVec(i), false.B, blockByForwardFail(i))
307e4f69d78Ssfencevma    blockByWaitStore(i) := Mux(blockByWaitStore(i) && stAddrDeqVec(i), false.B, blockByWaitStore(i))
308e4f69d78Ssfencevma    blockByCacheMiss(i) := Mux(blockByCacheMiss(i) && io.refill.valid && io.refill.bits.id === missMSHRId(i), false.B, blockByCacheMiss(i))
309e4f69d78Ssfencevma
310e4f69d78Ssfencevma    when (blockByCacheMiss(i) && io.refill.valid && io.refill.bits.id === missMSHRId(i)) { creditUpdate(i) := 0.U }
311e4f69d78Ssfencevma    when (blockByCacheMiss(i) && creditUpdate(i) === 0.U) { blockByCacheMiss(i) := false.B }
312*f2e8d419Ssfencevma    when (blockByRARReject(i) && (!io.rarFull || !isAfter(uop(i).lqIdx, io.ldWbPtr))) { blockByRARReject(i) := false.B }
313*f2e8d419Ssfencevma    when (blockByRAWReject(i) && (!io.rawFull || !isAfter(uop(i).sqIdx, io.stAddrReadySqPtr))) { blockByRAWReject(i) := false.B }
314e4f69d78Ssfencevma    when (blockByTlbMiss(i) && creditUpdate(i) === 0.U) { blockByTlbMiss(i) := false.B }
315e4f69d78Ssfencevma    when (blockByOthers(i) && creditUpdate(i) === 0.U) { blockByOthers(i) := false.B }
316e4f69d78Ssfencevma  })
317e4f69d78Ssfencevma
318e4f69d78Ssfencevma  //  Replay is splitted into 3 stages
319e4f69d78Ssfencevma  def getRemBits(input: UInt)(rem: Int): UInt = {
320e4f69d78Ssfencevma    VecInit((0 until LoadQueueReplaySize / LoadPipelineWidth).map(i => { input(LoadPipelineWidth * i + rem) })).asUInt
321e4f69d78Ssfencevma  }
322e4f69d78Ssfencevma
323*f2e8d419Ssfencevma  def getRemSeq(input: Seq[Seq[Bool]])(rem: Int) = {
324*f2e8d419Ssfencevma    (0 until LoadQueueReplaySize / LoadPipelineWidth).map(i => { input(LoadPipelineWidth * i + rem) })
325*f2e8d419Ssfencevma  }
326*f2e8d419Ssfencevma
327e4f69d78Ssfencevma  // stage1: select 2 entries and read their vaddr
328e4f69d78Ssfencevma  val s1_oldestSel = Wire(Vec(LoadPipelineWidth, Valid(UInt(log2Up(LoadQueueReplaySize).W))))
329e4f69d78Ssfencevma  val s2_oldestSel = Wire(Vec(LoadPipelineWidth, Valid(UInt(log2Up(LoadQueueReplaySize).W))))
330e4f69d78Ssfencevma
331e4f69d78Ssfencevma  // generate mask
332e4f69d78Ssfencevma  val needCancel = Wire(Vec(LoadQueueReplaySize, Bool()))
333e4f69d78Ssfencevma  // generate enq mask
334e4f69d78Ssfencevma  val selectIndexOH = Wire(Vec(LoadPipelineWidth, UInt(LoadQueueReplaySize.W)))
335e4f69d78Ssfencevma  val loadEnqFireMask = io.enq.map(x => x.fire && !x.bits.isLoadReplay).zip(selectIndexOH).map(x => Mux(x._1, x._2, 0.U))
336e4f69d78Ssfencevma  val remLoadEnqFireVec = loadEnqFireMask.map(x => VecInit((0 until LoadPipelineWidth).map(rem => getRemBits(x)(rem))))
337e4f69d78Ssfencevma  val remEnqSelVec = Seq.tabulate(LoadPipelineWidth)(w => VecInit(remLoadEnqFireVec.map(x => x(w))))
338e4f69d78Ssfencevma
339e4f69d78Ssfencevma  // generate free mask
340e4f69d78Ssfencevma  val loadReplayFreeMask = io.enq.map(_.bits).zip(canFreeVec).map(x => Mux(x._2, UIntToOH(x._1.sleepIndex), 0.U)).reduce(_|_)
341e4f69d78Ssfencevma  val loadFreeSelMask = VecInit((0 until LoadQueueReplaySize).map(i => {
342e4f69d78Ssfencevma    needCancel(i) || loadReplayFreeMask(i)
343e4f69d78Ssfencevma  })).asUInt
344e4f69d78Ssfencevma  val remFreeSelVec = VecInit(Seq.tabulate(LoadPipelineWidth)(rem => getRemBits(loadFreeSelMask)(rem)))
345e4f69d78Ssfencevma
346e4f69d78Ssfencevma  // generate cancel mask
347e4f69d78Ssfencevma  val loadReplayFireMask = (0 until LoadPipelineWidth).map(w => Mux(io.replay(w).fire, UIntToOH(s2_oldestSel(w).bits), 0.U)).reduce(_|_)
348e4f69d78Ssfencevma  val loadCancelSelMask = VecInit((0 until LoadQueueReplaySize).map(i => {
349e4f69d78Ssfencevma    needCancel(i) || loadReplayFireMask(i)
350e4f69d78Ssfencevma  })).asUInt
351e4f69d78Ssfencevma  val remCancelSelVec = VecInit(Seq.tabulate(LoadPipelineWidth)(rem => getRemBits(loadCancelSelMask)(rem)))
352e4f69d78Ssfencevma
353e4f69d78Ssfencevma  // generate replay mask
354*f2e8d419Ssfencevma  val loadHigherPriorityReplaySelMask = VecInit((0 until LoadQueueReplaySize).map(i => {
355*f2e8d419Ssfencevma    val blocked = blockByForwardFail(i) || blockByCacheMiss(i) || blockByTlbMiss(i)
356e4f69d78Ssfencevma    allocated(i) && sleep(i) && !blocked && !loadCancelSelMask(i)
357e4f69d78Ssfencevma  })).asUInt // use uint instead vec to reduce verilog lines
358*f2e8d419Ssfencevma  val loadLowerPriorityReplaySelMask = VecInit((0 until LoadQueueReplaySize).map(i => {
359*f2e8d419Ssfencevma    val blocked = selBlocked(i)  || blockByWaitStore(i) || blockByRARReject(i) || blockByRAWReject(i) || blockByOthers(i)
360*f2e8d419Ssfencevma    allocated(i) && sleep(i) && !blocked && !loadCancelSelMask(i)
361e4f69d78Ssfencevma  })).asUInt // use uint instead vec to reduce verilog lines
362*f2e8d419Ssfencevma  val loadNormalReplaySelMask = loadLowerPriorityReplaySelMask | loadHigherPriorityReplaySelMask
363*f2e8d419Ssfencevma  val remNormalReplaySelVec = VecInit((0 until LoadPipelineWidth).map(rem => getRemBits(loadNormalReplaySelMask)(rem)))
364*f2e8d419Ssfencevma  val loadPriorityReplaySelMask = Mux(loadHigherPriorityReplaySelMask.orR, loadHigherPriorityReplaySelMask, loadLowerPriorityReplaySelMask)
365*f2e8d419Ssfencevma  val remPriorityReplaySelVec = VecInit((0 until LoadPipelineWidth).map(rem => getRemBits(loadPriorityReplaySelMask)(rem)))
366*f2e8d419Ssfencevma
367*f2e8d419Ssfencevma  /******************************************************************************************
368*f2e8d419Ssfencevma   * WARNING: Make sure that OldestSelectStride must less than or equal stages of load unit.*
369*f2e8d419Ssfencevma   ******************************************************************************************
370*f2e8d419Ssfencevma   */
371*f2e8d419Ssfencevma  val OldestSelectStride = 4
372*f2e8d419Ssfencevma  val oldestPtrExt = (0 until OldestSelectStride).map(i => io.ldWbPtr + i.U)
373*f2e8d419Ssfencevma  val oldestMatchMaskVec = (0 until LoadQueueReplaySize).map(i => (0 until OldestSelectStride).map(j => loadNormalReplaySelMask(i) && uop(i).lqIdx === oldestPtrExt(j)))
374*f2e8d419Ssfencevma  val remOldsetMatchMaskVec = (0 until LoadPipelineWidth).map(rem => getRemSeq(oldestMatchMaskVec.map(_.take(1)))(rem))
375*f2e8d419Ssfencevma  val remOlderMatchMaskVec = (0 until LoadPipelineWidth).map(rem => getRemSeq(oldestMatchMaskVec.map(_.drop(1)))(rem))
376*f2e8d419Ssfencevma  val remOldestSelVec = VecInit(Seq.tabulate(LoadPipelineWidth)(rem => {
377*f2e8d419Ssfencevma    VecInit((0 until LoadQueueReplaySize / LoadPipelineWidth).map(i => {
378*f2e8d419Ssfencevma      Mux(VecInit(remOldsetMatchMaskVec(rem).map(_(0))).asUInt.orR, remOldsetMatchMaskVec(rem)(i)(0), remOlderMatchMaskVec(rem)(i).reduce(_|_))
379*f2e8d419Ssfencevma    })).asUInt
380*f2e8d419Ssfencevma  }))
381e4f69d78Ssfencevma
382e4f69d78Ssfencevma  // select oldest logic
383e4f69d78Ssfencevma  s1_oldestSel := VecInit((0 until LoadPipelineWidth).map(rport => {
384e4f69d78Ssfencevma    // select enqueue earlest inst
385*f2e8d419Ssfencevma    val ageOldest = AgeDetector(LoadQueueReplaySize / LoadPipelineWidth, remEnqSelVec(rport), remFreeSelVec(rport), remPriorityReplaySelVec(rport))
386e4f69d78Ssfencevma    assert(!(ageOldest.valid && PopCount(ageOldest.bits) > 1.U), "oldest index must be one-hot!")
387e4f69d78Ssfencevma    val ageOldestValid = ageOldest.valid
388e4f69d78Ssfencevma    val ageOldestIndex = OHToUInt(ageOldest.bits)
389e4f69d78Ssfencevma
390e4f69d78Ssfencevma    // select program order oldest
391e4f69d78Ssfencevma    val issOldestValid = remOldestSelVec(rport).orR
392e4f69d78Ssfencevma    val issOldestIndex = OHToUInt(PriorityEncoderOH(remOldestSelVec(rport)))
393e4f69d78Ssfencevma
394e4f69d78Ssfencevma    val oldest = Wire(Valid(UInt()))
395e4f69d78Ssfencevma    oldest.valid := ageOldest.valid || issOldestValid
396e4f69d78Ssfencevma    oldest.bits := Cat(Mux(issOldestValid, issOldestIndex, ageOldestIndex), rport.U(log2Ceil(LoadPipelineWidth).W))
397e4f69d78Ssfencevma    oldest
398e4f69d78Ssfencevma  }))
399e4f69d78Ssfencevma
400e4f69d78Ssfencevma
401*f2e8d419Ssfencevma  // Replay port reorder
402*f2e8d419Ssfencevma  class BalanceEntry extends XSBundle {
403*f2e8d419Ssfencevma    val balance = Bool()
404*f2e8d419Ssfencevma    val index = UInt(log2Up(LoadQueueReplaySize).W)
405*f2e8d419Ssfencevma    val port = UInt(log2Up(LoadPipelineWidth).W)
406*f2e8d419Ssfencevma  }
407*f2e8d419Ssfencevma
408*f2e8d419Ssfencevma  def balanceReOrder(sel: Seq[ValidIO[BalanceEntry]]): Seq[ValidIO[BalanceEntry]] = {
409*f2e8d419Ssfencevma    require(sel.length > 0)
410*f2e8d419Ssfencevma    val balancePick = ParallelPriorityMux(sel.map(x => (x.valid && x.bits.balance) -> x))
411*f2e8d419Ssfencevma    val reorderSel = Wire(Vec(sel.length, ValidIO(new BalanceEntry)))
412*f2e8d419Ssfencevma    (0 until sel.length).map(i =>
413*f2e8d419Ssfencevma      if (i == 0) {
414*f2e8d419Ssfencevma        when (balancePick.valid && balancePick.bits.balance) {
415*f2e8d419Ssfencevma          reorderSel(i) := balancePick
416*f2e8d419Ssfencevma        } .otherwise {
417*f2e8d419Ssfencevma          reorderSel(i) := sel(i)
418*f2e8d419Ssfencevma        }
419*f2e8d419Ssfencevma      } else {
420*f2e8d419Ssfencevma        when (balancePick.valid && balancePick.bits.balance && i.U === balancePick.bits.port) {
421*f2e8d419Ssfencevma          reorderSel(i) := sel(0)
422*f2e8d419Ssfencevma        } .otherwise {
423*f2e8d419Ssfencevma          reorderSel(i) := sel(i)
424*f2e8d419Ssfencevma        }
425*f2e8d419Ssfencevma      }
426*f2e8d419Ssfencevma    )
427*f2e8d419Ssfencevma    reorderSel
428*f2e8d419Ssfencevma  }
429e4f69d78Ssfencevma
430e4f69d78Ssfencevma  // stage2: send replay request to load unit
431e4f69d78Ssfencevma  // replay cold down
432e4f69d78Ssfencevma  val ColdDownCycles = 16
433e4f69d78Ssfencevma  val coldCounter = RegInit(VecInit(List.fill(LoadPipelineWidth)(0.U(log2Up(ColdDownCycles).W))))
434e4f69d78Ssfencevma  val ColdDownThreshold = Wire(UInt(log2Up(ColdDownCycles).W))
435e4f69d78Ssfencevma  ColdDownThreshold := Constantin.createRecord("ColdDownThreshold_"+p(XSCoreParamsKey).HartId.toString(), initValue = 12.U)
436e4f69d78Ssfencevma  assert(ColdDownCycles.U > ColdDownThreshold, "ColdDownCycles must great than ColdDownThreshold!")
437e4f69d78Ssfencevma
438e4f69d78Ssfencevma  def replayCanFire(i: Int) = coldCounter(i) >= 0.U && coldCounter(i) < ColdDownThreshold
439e4f69d78Ssfencevma  def coldDownNow(i: Int) = coldCounter(i) >= ColdDownThreshold
440e4f69d78Ssfencevma
441*f2e8d419Ssfencevma  val s1_balanceOldestSelExt = (0 until LoadPipelineWidth).map(i => {
442*f2e8d419Ssfencevma    val wrapper = Wire(Valid(new BalanceEntry))
443*f2e8d419Ssfencevma    wrapper.valid := s1_oldestSel(i).valid
444*f2e8d419Ssfencevma    wrapper.bits.balance := cause(s1_oldestSel(i).bits)(LoadReplayCauses.bankConflict)
445*f2e8d419Ssfencevma    wrapper.bits.index := s1_oldestSel(i).bits
446*f2e8d419Ssfencevma    wrapper.bits.port := i.U
447*f2e8d419Ssfencevma    wrapper
448*f2e8d419Ssfencevma  })
449*f2e8d419Ssfencevma  val s1_balanceOldestSel = balanceReOrder(s1_balanceOldestSelExt)
450*f2e8d419Ssfencevma  (0 until LoadPipelineWidth).map(w => {
451*f2e8d419Ssfencevma    vaddrModule.io.raddr(w) := s1_balanceOldestSel(w).bits.index
452*f2e8d419Ssfencevma  })
453*f2e8d419Ssfencevma
454e4f69d78Ssfencevma  for (i <- 0 until LoadPipelineWidth) {
455*f2e8d419Ssfencevma    val s2_replayIdx = RegNext(s1_balanceOldestSel(i).bits.index)
456*f2e8d419Ssfencevma    val s2_replayUop = uop(s2_replayIdx)
457*f2e8d419Ssfencevma    val s2_replayMSHRId = missMSHRId(s2_replayIdx)
458*f2e8d419Ssfencevma    val s2_replayCauses = cause(s2_replayIdx)
459*f2e8d419Ssfencevma    val s2_replayCarry = replayCarryReg(s2_replayIdx)
460*f2e8d419Ssfencevma    val s2_replayCacheMissReplay = trueCacheMissReplay(s2_replayIdx)
461e4f69d78Ssfencevma    val cancelReplay = s2_replayUop.robIdx.needFlush(io.redirect)
462e4f69d78Ssfencevma
463*f2e8d419Ssfencevma    val s2_loadCancelSelMask = RegNext(loadCancelSelMask)
464*f2e8d419Ssfencevma    s2_oldestSel(i).valid := RegNext(s1_balanceOldestSel(i).valid) && !s2_loadCancelSelMask(s2_replayIdx)
465*f2e8d419Ssfencevma    s2_oldestSel(i).bits := s2_replayIdx
466e4f69d78Ssfencevma
467*f2e8d419Ssfencevma    io.replay(i).valid := s2_oldestSel(i).valid && !cancelReplay && replayCanFire(i)
468e4f69d78Ssfencevma    io.replay(i).bits := DontCare
469e4f69d78Ssfencevma    io.replay(i).bits.uop := s2_replayUop
470e4f69d78Ssfencevma    io.replay(i).bits.vaddr := vaddrModule.io.rdata(i)
471e4f69d78Ssfencevma    io.replay(i).bits.isFirstIssue := false.B
472e4f69d78Ssfencevma    io.replay(i).bits.isLoadReplay := true.B
473e4f69d78Ssfencevma    io.replay(i).bits.replayCarry := s2_replayCarry
474e4f69d78Ssfencevma    io.replay(i).bits.mshrid := s2_replayMSHRId
475e4f69d78Ssfencevma    io.replay(i).bits.forward_tlDchannel := s2_replayCauses(LoadReplayCauses.dcacheMiss)
476e4f69d78Ssfencevma    io.replay(i).bits.sleepIndex := s2_oldestSel(i).bits
477e4f69d78Ssfencevma
478e4f69d78Ssfencevma    when (io.replay(i).fire) {
479e4f69d78Ssfencevma      sleep(s2_oldestSel(i).bits) := false.B
480e4f69d78Ssfencevma      assert(allocated(s2_oldestSel(i).bits), s"LoadQueueReplay: why replay an invalid entry ${s2_oldestSel(i).bits} ?\n")
481e4f69d78Ssfencevma    }
482e4f69d78Ssfencevma  }
483e4f69d78Ssfencevma
484e4f69d78Ssfencevma  // update cold counter
485e4f69d78Ssfencevma  val lastReplay = RegNext(VecInit(io.replay.map(_.fire)))
486e4f69d78Ssfencevma  for (i <- 0 until LoadPipelineWidth) {
487e4f69d78Ssfencevma    when (lastReplay(i) && io.replay(i).fire) {
488e4f69d78Ssfencevma      coldCounter(i) := coldCounter(i) + 1.U
489e4f69d78Ssfencevma    } .elsewhen (coldDownNow(i)) {
490e4f69d78Ssfencevma      coldCounter(i) := coldCounter(i) + 1.U
491e4f69d78Ssfencevma    } .otherwise {
492e4f69d78Ssfencevma      coldCounter(i) := 0.U
493e4f69d78Ssfencevma    }
494e4f69d78Ssfencevma  }
495e4f69d78Ssfencevma
496e4f69d78Ssfencevma  when(io.refill.valid) {
497e4f69d78Ssfencevma    XSDebug("miss resp: paddr:0x%x data %x\n", io.refill.bits.addr, io.refill.bits.data)
498e4f69d78Ssfencevma  }
499e4f69d78Ssfencevma
500e4f69d78Ssfencevma  //  LoadQueueReplay deallocate
501e4f69d78Ssfencevma  val freeMaskVec = Wire(Vec(LoadQueueReplaySize, Bool()))
502e4f69d78Ssfencevma
503e4f69d78Ssfencevma  // init
504e4f69d78Ssfencevma  freeMaskVec.map(e => e := false.B)
505e4f69d78Ssfencevma
506e4f69d78Ssfencevma  // Allocate logic
507e4f69d78Ssfencevma  val enqValidVec = Wire(Vec(LoadPipelineWidth, Bool()))
508e4f69d78Ssfencevma  val enqIndexVec = Wire(Vec(LoadPipelineWidth, UInt()))
509e4f69d78Ssfencevma  val enqOffset = Wire(Vec(LoadPipelineWidth, UInt()))
510e4f69d78Ssfencevma
511e4f69d78Ssfencevma  val newEnqueue = (0 until LoadPipelineWidth).map(i => {
512e4f69d78Ssfencevma    needEnqueue(i) && !io.enq(i).bits.isLoadReplay
513e4f69d78Ssfencevma  })
514e4f69d78Ssfencevma
515e4f69d78Ssfencevma  for ((enq, w) <- io.enq.zipWithIndex) {
516e4f69d78Ssfencevma    vaddrModule.io.wen(w) := false.B
517e4f69d78Ssfencevma    freeList.io.doAllocate(w) := false.B
518e4f69d78Ssfencevma
519e4f69d78Ssfencevma    enqOffset(w) := PopCount(newEnqueue.take(w))
520e4f69d78Ssfencevma    freeList.io.allocateReq(w) := newEnqueue(w)
521e4f69d78Ssfencevma
522e4f69d78Ssfencevma    //  Allocated ready
523e4f69d78Ssfencevma    enqValidVec(w) := freeList.io.canAllocate(enqOffset(w))
524e4f69d78Ssfencevma    enqIndexVec(w) := Mux(enq.bits.isLoadReplay, enq.bits.sleepIndex, freeList.io.allocateSlot(enqOffset(w)))
525e4f69d78Ssfencevma    selectIndexOH(w) := UIntToOH(enqIndexVec(w))
526e4f69d78Ssfencevma    enq.ready := Mux(enq.bits.isLoadReplay, true.B, enqValidVec(w))
527e4f69d78Ssfencevma
528e4f69d78Ssfencevma    val enqIndex = enqIndexVec(w)
529e4f69d78Ssfencevma    when (needEnqueue(w) && enq.ready) {
530e4f69d78Ssfencevma
531e4f69d78Ssfencevma      val debug_robIdx = enq.bits.uop.robIdx.asUInt
532e4f69d78Ssfencevma      XSError(allocated(enqIndex) && !enq.bits.isLoadReplay, p"LoadQueueReplay: can not accept more load, check: ldu $w, robIdx $debug_robIdx!")
533e4f69d78Ssfencevma      XSError(hasExceptions(w), p"LoadQueueReplay: The instruction has exception, it can not be replay, check: ldu $w, robIdx $debug_robIdx!")
534e4f69d78Ssfencevma
535e4f69d78Ssfencevma      freeList.io.doAllocate(w) := !enq.bits.isLoadReplay
536e4f69d78Ssfencevma
537e4f69d78Ssfencevma      //  Allocate new entry
538e4f69d78Ssfencevma      allocated(enqIndex) := true.B
539e4f69d78Ssfencevma      sleep(enqIndex) := true.B
540e4f69d78Ssfencevma      uop(enqIndex) := enq.bits.uop
541e4f69d78Ssfencevma
542e4f69d78Ssfencevma      vaddrModule.io.wen(w) := true.B
543e4f69d78Ssfencevma      vaddrModule.io.waddr(w) := enqIndex
544e4f69d78Ssfencevma      vaddrModule.io.wdata(w) := enq.bits.vaddr
545e4f69d78Ssfencevma
546e4f69d78Ssfencevma      /**
547e4f69d78Ssfencevma       * used for feedback and replay
548e4f69d78Ssfencevma       */
549e4f69d78Ssfencevma      // set flags
550e4f69d78Ssfencevma      val replayInfo = enq.bits.replayInfo
551e4f69d78Ssfencevma      val dataInLastBeat = replayInfo.dataInLastBeat
552e4f69d78Ssfencevma      cause(enqIndex) := replayInfo.cause.asUInt
553e4f69d78Ssfencevma
554e4f69d78Ssfencevma      // update credit
555e4f69d78Ssfencevma      val blockCyclesTlbPtr = blockPtrTlb(enqIndex)
556e4f69d78Ssfencevma      val blockCyclesCachePtr = blockPtrCache(enqIndex)
557e4f69d78Ssfencevma      val blockCyclesOtherPtr = blockPtrOthers(enqIndex)
558e4f69d78Ssfencevma      creditUpdate(enqIndex) := Mux(replayInfo.cause(LoadReplayCauses.tlbMiss), blockCyclesTlb(blockCyclesTlbPtr),
559e4f69d78Ssfencevma                                Mux(replayInfo.cause(LoadReplayCauses.dcacheMiss), blockCyclesCache(blockCyclesCachePtr) + dataInLastBeat, blockCyclesOthers(blockCyclesOtherPtr)))
560e4f69d78Ssfencevma
561e4f69d78Ssfencevma      // init
562e4f69d78Ssfencevma      blockByTlbMiss(enqIndex) := false.B
563e4f69d78Ssfencevma      blockByWaitStore(enqIndex) := false.B
564e4f69d78Ssfencevma      blockByForwardFail(enqIndex) := false.B
565e4f69d78Ssfencevma      blockByCacheMiss(enqIndex) := false.B
566*f2e8d419Ssfencevma      blockByRARReject(enqIndex) := false.B
567*f2e8d419Ssfencevma      blockByRAWReject(enqIndex) := false.B
568e4f69d78Ssfencevma      blockByOthers(enqIndex) := false.B
569e4f69d78Ssfencevma
570e4f69d78Ssfencevma      // update block pointer
571*f2e8d419Ssfencevma      when (replayInfo.cause(LoadReplayCauses.dcacheReplay)) {
572*f2e8d419Ssfencevma        // normal case: dcache replay
573e4f69d78Ssfencevma        blockByOthers(enqIndex) := true.B
574e4f69d78Ssfencevma        blockPtrOthers(enqIndex) :=  Mux(blockPtrOthers(enqIndex) === 3.U(2.W), blockPtrOthers(enqIndex), blockPtrOthers(enqIndex) + 1.U(2.W))
575e4f69d78Ssfencevma      } .elsewhen (replayInfo.cause(LoadReplayCauses.bankConflict) || replayInfo.cause(LoadReplayCauses.schedError)) {
576e4f69d78Ssfencevma        // normal case: bank conflict or schedule error
577e4f69d78Ssfencevma        // can replay next cycle
578e4f69d78Ssfencevma        creditUpdate(enqIndex) := 0.U
579e4f69d78Ssfencevma        blockByOthers(enqIndex) := false.B
580e4f69d78Ssfencevma      }
581e4f69d78Ssfencevma
582e4f69d78Ssfencevma      // special case: tlb miss
583e4f69d78Ssfencevma      when (replayInfo.cause(LoadReplayCauses.tlbMiss)) {
584e4f69d78Ssfencevma        blockByTlbMiss(enqIndex) := true.B
585e4f69d78Ssfencevma        blockPtrTlb(enqIndex) := Mux(blockPtrTlb(enqIndex) === 3.U(2.W), blockPtrTlb(enqIndex), blockPtrTlb(enqIndex) + 1.U(2.W))
586e4f69d78Ssfencevma      }
587e4f69d78Ssfencevma
588e4f69d78Ssfencevma      // special case: dcache miss
589e4f69d78Ssfencevma      when (replayInfo.cause(LoadReplayCauses.dcacheMiss)) {
590e4f69d78Ssfencevma        blockByCacheMiss(enqIndex) := !replayInfo.canForwardFullData && //  dcache miss
591e4f69d78Ssfencevma                                  !(io.refill.valid && io.refill.bits.id === replayInfo.missMSHRId) && // no refill in this cycle
592e4f69d78Ssfencevma                                  creditUpdate(enqIndex) =/= 0.U //  credit is not zero
593e4f69d78Ssfencevma        blockPtrCache(enqIndex) := Mux(blockPtrCache(enqIndex) === 3.U(2.W), blockPtrCache(enqIndex), blockPtrCache(enqIndex) + 1.U(2.W))
594e4f69d78Ssfencevma      }
595e4f69d78Ssfencevma
596e4f69d78Ssfencevma      // special case: st-ld violation
597e4f69d78Ssfencevma      when (replayInfo.cause(LoadReplayCauses.waitStore)) {
598e4f69d78Ssfencevma        blockByWaitStore(enqIndex) := true.B
599e4f69d78Ssfencevma        blockSqIdx(enqIndex) := replayInfo.addrInvalidSqIdx
600e4f69d78Ssfencevma        blockPtrOthers(enqIndex) :=  Mux(blockPtrOthers(enqIndex) === 3.U(2.W), blockPtrOthers(enqIndex), blockPtrOthers(enqIndex) + 1.U(2.W))
601e4f69d78Ssfencevma      }
602e4f69d78Ssfencevma
603e4f69d78Ssfencevma      // special case: data forward fail
604e4f69d78Ssfencevma      when (replayInfo.cause(LoadReplayCauses.forwardFail)) {
605e4f69d78Ssfencevma        blockByForwardFail(enqIndex) := true.B
606e4f69d78Ssfencevma        blockSqIdx(enqIndex) := replayInfo.dataInvalidSqIdx
607e4f69d78Ssfencevma        blockPtrOthers(enqIndex) :=  Mux(blockPtrOthers(enqIndex) === 3.U(2.W), blockPtrOthers(enqIndex), blockPtrOthers(enqIndex) + 1.U(2.W))
608e4f69d78Ssfencevma      }
609e4f69d78Ssfencevma
610*f2e8d419Ssfencevma      // special case: rar reject
611*f2e8d419Ssfencevma      when (replayInfo.cause(LoadReplayCauses.rarReject)) {
612*f2e8d419Ssfencevma        blockByRARReject(enqIndex) := true.B
613*f2e8d419Ssfencevma        blockPtrOthers(enqIndex) :=  Mux(blockPtrOthers(enqIndex) === 3.U(2.W), blockPtrOthers(enqIndex), blockPtrOthers(enqIndex) + 1.U(2.W))
614*f2e8d419Ssfencevma      }
615*f2e8d419Ssfencevma
616*f2e8d419Ssfencevma      // special case: raw reject
617*f2e8d419Ssfencevma      when (replayInfo.cause(LoadReplayCauses.rawReject)) {
618*f2e8d419Ssfencevma        blockByRAWReject(enqIndex) := true.B
619*f2e8d419Ssfencevma        blockPtrOthers(enqIndex) :=  Mux(blockPtrOthers(enqIndex) === 3.U(2.W), blockPtrOthers(enqIndex), blockPtrOthers(enqIndex) + 1.U(2.W))
620*f2e8d419Ssfencevma      }
621*f2e8d419Ssfencevma
622e4f69d78Ssfencevma      //
623e4f69d78Ssfencevma      replayCarryReg(enqIndex) := replayInfo.replayCarry
624e4f69d78Ssfencevma      missMSHRId(enqIndex) := replayInfo.missMSHRId
625e4f69d78Ssfencevma    }
626e4f69d78Ssfencevma
627e4f69d78Ssfencevma    //
628e4f69d78Ssfencevma    val sleepIndex = enq.bits.sleepIndex
629e4f69d78Ssfencevma    when (enq.valid && enq.bits.isLoadReplay) {
630e4f69d78Ssfencevma      when (!needReplay(w) || hasExceptions(w)) {
631e4f69d78Ssfencevma        allocated(sleepIndex) := false.B
632e4f69d78Ssfencevma        freeMaskVec(sleepIndex) := true.B
633e4f69d78Ssfencevma      } .otherwise {
634e4f69d78Ssfencevma        sleep(sleepIndex) := true.B
635e4f69d78Ssfencevma      }
636e4f69d78Ssfencevma    }
637e4f69d78Ssfencevma  }
638e4f69d78Ssfencevma
639e4f69d78Ssfencevma  // misprediction recovery / exception redirect
640e4f69d78Ssfencevma  for (i <- 0 until LoadQueueReplaySize) {
641e4f69d78Ssfencevma    needCancel(i) := uop(i).robIdx.needFlush(io.redirect) && allocated(i)
642e4f69d78Ssfencevma    when (needCancel(i)) {
643e4f69d78Ssfencevma      allocated(i) := false.B
644e4f69d78Ssfencevma      freeMaskVec(i) := true.B
645e4f69d78Ssfencevma    }
646e4f69d78Ssfencevma  }
647e4f69d78Ssfencevma
648e4f69d78Ssfencevma  freeList.io.free := freeMaskVec.asUInt
649e4f69d78Ssfencevma
650e4f69d78Ssfencevma  io.lqFull := lqFull
651e4f69d78Ssfencevma
652e4f69d78Ssfencevma  //  perf cnt
653e4f69d78Ssfencevma  val enqCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay))
654e4f69d78Ssfencevma  val deqCount = PopCount(io.replay.map(_.fire))
655e4f69d78Ssfencevma  val deqBlockCount = PopCount(io.replay.map(r => r.valid && !r.ready))
656e4f69d78Ssfencevma  val replayTlbMissCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.tlbMiss)))
657e4f69d78Ssfencevma  val replayWaitStoreCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.waitStore)))
658e4f69d78Ssfencevma  val replaySchedErrorCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.schedError)))
659*f2e8d419Ssfencevma  val replayRARRejectCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.rarReject)))
660*f2e8d419Ssfencevma  val replayRAWRejectCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.rawReject)))
661e4f69d78Ssfencevma  val replayBankConflictCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.bankConflict)))
662e4f69d78Ssfencevma  val replayDCacheReplayCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.dcacheReplay)))
663e4f69d78Ssfencevma  val replayForwardFailCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.forwardFail)))
664e4f69d78Ssfencevma  val replayDCacheMissCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.dcacheMiss)))
665e4f69d78Ssfencevma  XSPerfAccumulate("enq", enqCount)
666e4f69d78Ssfencevma  XSPerfAccumulate("deq", deqCount)
667e4f69d78Ssfencevma  XSPerfAccumulate("deq_block", deqBlockCount)
668e4f69d78Ssfencevma  XSPerfAccumulate("replay_full", io.lqFull)
669*f2e8d419Ssfencevma  XSPerfAccumulate("replay_rar_reject", replayRARRejectCount)
670*f2e8d419Ssfencevma  XSPerfAccumulate("replay_raw_reject", replayRAWRejectCount)
671e4f69d78Ssfencevma  XSPerfAccumulate("replay_sched_error", replaySchedErrorCount)
672e4f69d78Ssfencevma  XSPerfAccumulate("replay_wait_store", replayWaitStoreCount)
673e4f69d78Ssfencevma  XSPerfAccumulate("replay_tlb_miss", replayTlbMissCount)
674e4f69d78Ssfencevma  XSPerfAccumulate("replay_bank_conflict", replayBankConflictCount)
675e4f69d78Ssfencevma  XSPerfAccumulate("replay_dcache_replay", replayDCacheReplayCount)
676e4f69d78Ssfencevma  XSPerfAccumulate("replay_forward_fail", replayForwardFailCount)
677e4f69d78Ssfencevma  XSPerfAccumulate("replay_dcache_miss", replayDCacheMissCount)
678e4f69d78Ssfencevma
679e4f69d78Ssfencevma  val perfEvents: Seq[(String, UInt)] = Seq(
680e4f69d78Ssfencevma    ("enq", enqCount),
681e4f69d78Ssfencevma    ("deq", deqCount),
682e4f69d78Ssfencevma    ("deq_block", deqBlockCount),
683e4f69d78Ssfencevma    ("replay_full", io.lqFull),
684*f2e8d419Ssfencevma    ("replay_rar_reject", replayRARRejectCount),
685*f2e8d419Ssfencevma    ("replay_raw_reject", replayRAWRejectCount),
686e4f69d78Ssfencevma    ("replay_advance_sched", replaySchedErrorCount),
687e4f69d78Ssfencevma    ("replay_wait_store", replayWaitStoreCount),
688e4f69d78Ssfencevma    ("replay_tlb_miss", replayTlbMissCount),
689e4f69d78Ssfencevma    ("replay_bank_conflict", replayBankConflictCount),
690e4f69d78Ssfencevma    ("replay_dcache_replay", replayDCacheReplayCount),
691e4f69d78Ssfencevma    ("replay_forward_fail", replayForwardFailCount),
692e4f69d78Ssfencevma    ("replay_dcache_miss", replayDCacheMissCount),
693e4f69d78Ssfencevma  )
694e4f69d78Ssfencevma  generatePerfEvent()
695e4f69d78Ssfencevma  // end
696e4f69d78Ssfencevma}
697