xref: /XiangShan/src/main/scala/xiangshan/backend/issue/IssueQueue.scala (revision fb445e8d449f658dc06abd43ffe774c3d3f7f845)
1package xiangshan.backend.issue
2
3import org.chipsalliance.cde.config.Parameters
4import chisel3._
5import chisel3.util._
6import freechips.rocketchip.diplomacy.{LazyModule, LazyModuleImp}
7import utility.{GTimer, HasCircularQueuePtrHelper, SelectOne}
8import utils._
9import xiangshan._
10import xiangshan.backend.Bundles._
11import xiangshan.backend.decode.{ImmUnion, Imm_LUI_LOAD}
12import xiangshan.backend.datapath.DataConfig._
13import xiangshan.backend.datapath.DataSource
14import xiangshan.backend.fu.{FuConfig, FuType}
15import xiangshan.mem.{MemWaitUpdateReq, SqPtr, LqPtr}
16import xiangshan.backend.rob.RobPtr
17import xiangshan.backend.datapath.NewPipelineConnect
18
19class IssueQueue(params: IssueBlockParams)(implicit p: Parameters) extends LazyModule with HasXSParameter {
20  override def shouldBeInlined: Boolean = false
21
22  implicit val iqParams = params
23  lazy val module: IssueQueueImp = iqParams.schdType match {
24    case IntScheduler() => new IssueQueueIntImp(this)
25    case VfScheduler() => new IssueQueueVfImp(this)
26    case MemScheduler() =>
27      if (iqParams.StdCnt == 0 && !iqParams.isVecMemIQ) new IssueQueueMemAddrImp(this)
28      else if (iqParams.isVecMemIQ) new IssueQueueVecMemImp(this)
29      else new IssueQueueIntImp(this)
30    case _ => null
31  }
32}
33
34class IssueQueueStatusBundle(numEnq: Int, numEntries: Int) extends Bundle {
35  val empty = Output(Bool())
36  val full = Output(Bool())
37  val validCnt = Output(UInt(log2Ceil(numEntries).W))
38  val leftVec = Output(Vec(numEnq + 1, Bool()))
39}
40
41class IssueQueueDeqRespBundle(implicit p:Parameters, params: IssueBlockParams) extends EntryDeqRespBundle
42
43class IssueQueueIO()(implicit p: Parameters, params: IssueBlockParams) extends XSBundle {
44  // Inputs
45  val flush = Flipped(ValidIO(new Redirect))
46  val enq = Vec(params.numEnq, Flipped(DecoupledIO(new DynInst)))
47
48  val og0Resp = Vec(params.numDeq, Flipped(ValidIO(new IssueQueueDeqRespBundle)))
49  val og1Resp = Vec(params.numDeq, Flipped(ValidIO(new IssueQueueDeqRespBundle)))
50  val finalIssueResp = OptionWrapper(params.LdExuCnt > 0, Vec(params.LdExuCnt, Flipped(ValidIO(new IssueQueueDeqRespBundle))))
51  val memAddrIssueResp = OptionWrapper(params.LdExuCnt > 0, Vec(params.LdExuCnt, Flipped(ValidIO(new IssueQueueDeqRespBundle))))
52  val wbBusyTableRead = Input(params.genWbFuBusyTableReadBundle())
53  val wbBusyTableWrite = Output(params.genWbFuBusyTableWriteBundle())
54  val wakeupFromWB: MixedVec[ValidIO[IssueQueueWBWakeUpBundle]] = Flipped(params.genWBWakeUpSinkValidBundle)
55  val wakeupFromIQ: MixedVec[ValidIO[IssueQueueIQWakeUpBundle]] = Flipped(params.genIQWakeUpSinkValidBundle)
56  val og0Cancel = Input(ExuOH(backendParams.numExu))
57  val og1Cancel = Input(ExuOH(backendParams.numExu))
58  val ldCancel = Vec(backendParams.LduCnt + backendParams.HyuCnt, Flipped(new LoadCancelIO))
59
60  // Outputs
61  val wakeupToIQ: MixedVec[ValidIO[IssueQueueIQWakeUpBundle]] = params.genIQWakeUpSourceValidBundle
62  val status = Output(new IssueQueueStatusBundle(params.numEnq, params.numEntries))
63  // val statusNext = Output(new IssueQueueStatusBundle(params.numEnq))
64
65  val deqDelay: MixedVec[DecoupledIO[IssueQueueIssueBundle]] = params.genIssueDecoupledBundle// = deq.cloneType
66  def allWakeUp = wakeupFromWB ++ wakeupFromIQ
67}
68
69class IssueQueueImp(override val wrapper: IssueQueue)(implicit p: Parameters, val params: IssueBlockParams)
70  extends LazyModuleImp(wrapper)
71  with HasXSParameter {
72
73  println(s"[IssueQueueImp] ${params.getIQName} wakeupFromWB(${io.wakeupFromWB.size}), " +
74    s"wakeup exu in(${params.wakeUpInExuSources.size}): ${params.wakeUpInExuSources.map(_.name).mkString("{",",","}")}, " +
75    s"wakeup exu out(${params.wakeUpOutExuSources.size}): ${params.wakeUpOutExuSources.map(_.name).mkString("{",",","}")}, " +
76    s"numEntries: ${params.numEntries}, numRegSrc: ${params.numRegSrc}")
77
78  require(params.numExu <= 2, "IssueQueue has not supported more than 2 deq ports")
79  val deqFuCfgs     : Seq[Seq[FuConfig]] = params.exuBlockParams.map(_.fuConfigs)
80  val allDeqFuCfgs  : Seq[FuConfig] = params.exuBlockParams.flatMap(_.fuConfigs)
81  val fuCfgsCnt     : Map[FuConfig, Int] = allDeqFuCfgs.groupBy(x => x).map { case (cfg, cfgSeq) => (cfg, cfgSeq.length) }
82  val commonFuCfgs  : Seq[FuConfig] = fuCfgsCnt.filter(_._2 > 1).keys.toSeq
83  val fuLatencyMaps : Seq[Map[FuType.OHType, Int]] = params.exuBlockParams.map(x => x.fuLatencyMap)
84
85  println(s"[IssueQueueImp] ${params.getIQName} fuLatencyMaps: ${fuLatencyMaps}")
86  println(s"[IssueQueueImp] ${params.getIQName} commonFuCfgs: ${commonFuCfgs.map(_.name)}")
87  lazy val io = IO(new IssueQueueIO())
88  // Modules
89
90  val entries = Module(new Entries)
91  val fuBusyTableWrite = params.exuBlockParams.map { case x => OptionWrapper(x.latencyValMax > 0, Module(new FuBusyTableWrite(x.fuLatencyMap))) }
92  val fuBusyTableRead = params.exuBlockParams.map { case x => OptionWrapper(x.latencyValMax > 0, Module(new FuBusyTableRead(x.fuLatencyMap))) }
93  val intWbBusyTableWrite = params.exuBlockParams.map { case x => OptionWrapper(x.intLatencyCertain, Module(new FuBusyTableWrite(x.intFuLatencyMap))) }
94  val intWbBusyTableRead = params.exuBlockParams.map { case x => OptionWrapper(x.intLatencyCertain, Module(new FuBusyTableRead(x.intFuLatencyMap))) }
95  val vfWbBusyTableWrite = params.exuBlockParams.map { case x => OptionWrapper(x.vfLatencyCertain, Module(new FuBusyTableWrite(x.vfFuLatencyMap))) }
96  val vfWbBusyTableRead = params.exuBlockParams.map { case x => OptionWrapper(x.vfLatencyCertain, Module(new FuBusyTableRead(x.vfFuLatencyMap))) }
97
98  class WakeupQueueFlush extends Bundle {
99    val redirect = ValidIO(new Redirect)
100    val ldCancel = Vec(backendParams.LduCnt + backendParams.HyuCnt, new LoadCancelIO)
101    val og0Fail = Output(Bool())
102    val og1Fail = Output(Bool())
103  }
104
105  private def flushFunc(exuInput: ExuInput, flush: WakeupQueueFlush, stage: Int): Bool = {
106    val redirectFlush = exuInput.robIdx.needFlush(flush.redirect)
107    val loadDependencyFlush = LoadShouldCancel(exuInput.loadDependency, flush.ldCancel)
108    val ogFailFlush = stage match {
109      case 1 => flush.og0Fail
110      case 2 => flush.og1Fail
111      case _ => false.B
112    }
113    redirectFlush || loadDependencyFlush || ogFailFlush
114  }
115
116  private def modificationFunc(exuInput: ExuInput): ExuInput = {
117    val newExuInput = WireDefault(exuInput)
118    newExuInput.loadDependency match {
119      case Some(deps) => deps.zip(exuInput.loadDependency.get).foreach(x => x._1 := x._2 << 1)
120      case None =>
121    }
122    newExuInput
123  }
124
125  val wakeUpQueues: Seq[Option[MultiWakeupQueue[ExuInput, WakeupQueueFlush]]] = params.exuBlockParams.map { x => OptionWrapper(x.isIQWakeUpSource, Module(
126    new MultiWakeupQueue(new ExuInput(x), new WakeupQueueFlush, x.fuLatancySet, flushFunc, modificationFunc)
127  ))}
128  val deqBeforeDly = Wire(params.genIssueDecoupledBundle)
129
130  val intWbBusyTableIn = io.wbBusyTableRead.map(_.intWbBusyTable)
131  val vfWbBusyTableIn = io.wbBusyTableRead.map(_.vfWbBusyTable)
132  val intWbBusyTableOut = io.wbBusyTableWrite.map(_.intWbBusyTable)
133  val vfWbBusyTableOut = io.wbBusyTableWrite.map(_.vfWbBusyTable)
134  val intDeqRespSetOut = io.wbBusyTableWrite.map(_.intDeqRespSet)
135  val vfDeqRespSetOut = io.wbBusyTableWrite.map(_.vfDeqRespSet)
136  val fuBusyTableMask = Wire(Vec(params.numDeq, UInt(params.numEntries.W)))
137  val intWbBusyTableMask = Wire(Vec(params.numDeq, UInt(params.numEntries.W)))
138  val vfWbBusyTableMask = Wire(Vec(params.numDeq, UInt(params.numEntries.W)))
139  val s0_enqValidVec = io.enq.map(_.valid)
140  val s0_enqSelValidVec = Wire(Vec(params.numEnq, Bool()))
141  val s0_enqNotFlush = !io.flush.valid
142  val s0_enqBits = WireInit(VecInit(io.enq.map(_.bits)))
143  val s0_doEnqSelValidVec = s0_enqSelValidVec.map(_ && s0_enqNotFlush) //enqValid && notFlush && enqReady
144
145
146  val finalDeqSelValidVec = Wire(Vec(params.numDeq, Bool()))
147  val finalDeqSelOHVec    = Wire(Vec(params.numDeq, UInt(params.numEntries.W)))
148
149  val validVec = VecInit(entries.io.valid.asBools)
150  val canIssueVec = VecInit(entries.io.canIssue.asBools)
151  val clearVec = VecInit(entries.io.clear.asBools)
152  val deqFirstIssueVec = VecInit(entries.io.deq.map(_.isFirstIssue))
153
154  val dataSources: Vec[Vec[DataSource]] = entries.io.dataSources
155  val finalDataSources: Vec[Vec[DataSource]] = VecInit(finalDeqSelOHVec.map(oh => Mux1H(oh, dataSources)))
156  // (entryIdx)(srcIdx)(exuIdx)
157  val wakeUpL1ExuOH: Option[Vec[Vec[UInt]]] = entries.io.srcWakeUpL1ExuOH
158  val srcTimer: Option[Vec[Vec[UInt]]] = entries.io.srcTimer
159
160  // (deqIdx)(srcIdx)(exuIdx)
161  val finalWakeUpL1ExuOH: Option[Vec[Vec[UInt]]] = wakeUpL1ExuOH.map(x => VecInit(finalDeqSelOHVec.map(oh => Mux1H(oh, x))))
162  val finalSrcTimer = srcTimer.map(x => VecInit(finalDeqSelOHVec.map(oh => Mux1H(oh, x))))
163
164  val wakeupEnqSrcStateBypassFromWB: Vec[Vec[UInt]] = Wire(Vec(io.enq.size, Vec(io.enq.head.bits.srcType.size, SrcState())))
165  val wakeupEnqSrcStateBypassFromIQ: Vec[Vec[UInt]] = Wire(Vec(io.enq.size, Vec(io.enq.head.bits.srcType.size, SrcState())))
166  val srcWakeUpEnqByIQMatrix = Wire(Vec(params.numEnq, Vec(params.numRegSrc, Vec(params.numWakeupFromIQ, Bool()))))
167
168  val shiftedWakeupLoadDependencyByIQVec = Wire(Vec(params.numWakeupFromIQ, Vec(LoadPipelineWidth, UInt(3.W))))
169  shiftedWakeupLoadDependencyByIQVec
170    .zip(io.wakeupFromIQ.map(_.bits.loadDependency))
171    .zip(params.wakeUpInExuSources.map(_.name)).foreach {
172    case ((deps, originalDeps), name) => deps.zip(originalDeps).zipWithIndex.foreach {
173      case ((dep, originalDep), deqPortIdx) =>
174        if (params.backendParam.getLdExuIdx(params.backendParam.allExuParams.find(_.name == name).get) == deqPortIdx)
175          dep := (originalDep << 2).asUInt | 2.U
176        else
177          dep := originalDep << 1
178    }
179  }
180
181  for (i <- io.enq.indices) {
182    for (j <- s0_enqBits(i).srcType.indices) {
183      wakeupEnqSrcStateBypassFromWB(i)(j) := Cat(
184        io.wakeupFromWB.map(x => x.bits.wakeUp(Seq((s0_enqBits(i).psrc(j), s0_enqBits(i).srcType(j))), x.valid).head).toSeq
185      ).orR
186    }
187  }
188
189  for (i <- io.enq.indices) {
190    val numLsrc = s0_enqBits(i).srcType.size.min(entries.io.enq(i).bits.status.srcType.size)
191    for (j <- s0_enqBits(i).srcType.indices) {
192      val ldTransCancel = if (params.numWakeupFromIQ > 0 && j < numLsrc) Mux(
193        srcWakeUpEnqByIQMatrix(i)(j).asUInt.orR,
194        Mux1H(srcWakeUpEnqByIQMatrix(i)(j), io.wakeupFromIQ.map(_.bits.loadDependency).map(dep => LoadShouldCancel(Some(dep), io.ldCancel)).toSeq),
195        false.B
196      ) else false.B
197      if (params.numWakeupFromIQ > 0 && j < numLsrc) {
198        wakeupEnqSrcStateBypassFromIQ(i)(j) := srcWakeUpEnqByIQMatrix(i)(j).asUInt.orR && !ldTransCancel
199      } else {
200        wakeupEnqSrcStateBypassFromIQ(i)(j) := false.B
201      }
202    }
203  }
204
205  srcWakeUpEnqByIQMatrix.zipWithIndex.foreach { case (wakeups: Vec[Vec[Bool]], i) =>
206    if (io.wakeupFromIQ.isEmpty) {
207      wakeups := 0.U.asTypeOf(wakeups)
208    } else {
209      val wakeupVec: IndexedSeq[IndexedSeq[Bool]] = io.wakeupFromIQ.map((bundle: ValidIO[IssueQueueIQWakeUpBundle]) =>
210        bundle.bits.wakeUp(s0_enqBits(i).psrc.take(params.numRegSrc) zip s0_enqBits(i).srcType.take(params.numRegSrc), bundle.valid)
211      ).toIndexedSeq.transpose
212      val cancelSel = io.wakeupFromIQ.map(x => x.bits.exuIdx).map(x => io.og0Cancel(x))
213      wakeups := wakeupVec.map(x => VecInit(x.zip(cancelSel).map { case (wakeup, cancel) => wakeup && !cancel }))
214    }
215  }
216
217  val fuTypeVec = Wire(Vec(params.numEntries, FuType()))
218  val transEntryDeqVec = Wire(Vec(params.numEnq, ValidIO(new EntryBundle)))
219  val deqEntryVec = Wire(Vec(params.numDeq, ValidIO(new EntryBundle)))
220  val transSelVec = Wire(Vec(params.numEnq, UInt((params.numEntries-params.numEnq).W)))
221  val canIssueMergeAllBusy = Wire(Vec(params.numDeq, UInt(params.numEntries.W)))
222  val deqCanIssue = Wire(Vec(params.numDeq, UInt(params.numEntries.W)))
223
224  val enqEntryOldestSel = Wire(Vec(params.numDeq, ValidIO(UInt(params.numEnq.W))))
225  val othersEntryOldestSel = Wire(Vec(params.numDeq, ValidIO(UInt((params.numEntries - params.numEnq).W))))
226  val deqSelValidVec = Wire(Vec(params.numDeq, Bool()))
227  val deqSelOHVec    = Wire(Vec(params.numDeq, UInt(params.numEntries.W)))
228  val cancelDeqVec = Wire(Vec(params.numDeq, Bool()))
229
230  val subDeqSelValidVec = OptionWrapper(params.deqFuSame, Wire(Vec(params.numDeq, Bool())))
231  val subDeqSelOHVec = OptionWrapper(params.deqFuSame, Wire(Vec(params.numDeq, UInt(params.numEntries.W))))
232  val subDeqRequest = OptionWrapper(params.deqFuSame, Wire(UInt(params.numEntries.W)))
233
234  /**
235    * Connection of [[entries]]
236    */
237  entries.io match { case entriesIO: EntriesIO =>
238    entriesIO.flush <> io.flush
239    entriesIO.wakeUpFromWB := io.wakeupFromWB
240    entriesIO.wakeUpFromIQ := io.wakeupFromIQ
241    entriesIO.og0Cancel := io.og0Cancel
242    entriesIO.og1Cancel := io.og1Cancel
243    entriesIO.ldCancel := io.ldCancel
244    entriesIO.enq.zipWithIndex.foreach { case (enq: ValidIO[EntryBundle], i) =>
245      enq.valid := s0_doEnqSelValidVec(i)
246      val numLsrc = s0_enqBits(i).srcType.size.min(enq.bits.status.srcType.size)
247      for(j <- 0 until numLsrc) {
248        enq.bits.status.srcState(j) := s0_enqBits(i).srcState(j) |
249                                       wakeupEnqSrcStateBypassFromWB(i)(j) |
250                                       wakeupEnqSrcStateBypassFromIQ(i)(j)
251        enq.bits.status.psrc(j) := s0_enqBits(i).psrc(j)
252        enq.bits.status.srcType(j) := s0_enqBits(i).srcType(j)
253        enq.bits.status.dataSources(j).value := Mux(wakeupEnqSrcStateBypassFromIQ(i)(j).asBool, DataSource.bypass, s0_enqBits(i).dataSource(j).value)
254        enq.bits.payload.debugInfo.enqRsTime := GTimer()
255      }
256      enq.bits.status.fuType := s0_enqBits(i).fuType
257      enq.bits.status.robIdx := s0_enqBits(i).robIdx
258      enq.bits.status.uopIdx.foreach(_ := s0_enqBits(i).uopIdx)
259      enq.bits.status.issueTimer := "b10".U
260      enq.bits.status.deqPortIdx := 0.U
261      enq.bits.status.issued := false.B
262      enq.bits.status.firstIssue := false.B
263      enq.bits.status.blocked := false.B
264      enq.bits.status.srcWakeUpL1ExuOH match {
265        case Some(value) => value.zip(srcWakeUpEnqByIQMatrix(i)).zipWithIndex.foreach {
266          case ((exuOH, wakeUpByIQOH), srcIdx) =>
267            when(wakeUpByIQOH.asUInt.orR) {
268              exuOH := Mux1H(wakeUpByIQOH, io.wakeupFromIQ.toSeq.map(x => MathUtils.IntToOH(x.bits.exuIdx).U(backendParams.numExu.W)))
269            }.otherwise {
270              exuOH := s0_enqBits(i).l1ExuOH(srcIdx)
271            }
272        }
273        case None =>
274      }
275      enq.bits.status.srcTimer match {
276        case Some(value) => value.zip(srcWakeUpEnqByIQMatrix(i)).zipWithIndex.foreach {
277          case ((timer, wakeUpByIQOH), srcIdx) =>
278            when(wakeUpByIQOH.asUInt.orR) {
279              timer := 2.U.asTypeOf(timer)
280            }.otherwise {
281              timer := Mux(s0_enqBits(i).dataSource(srcIdx).value === DataSource.bypass, 2.U.asTypeOf(timer), 3.U.asTypeOf(timer))
282            }
283        }
284        case None =>
285      }
286      enq.bits.status.srcLoadDependency.foreach(_.zip(srcWakeUpEnqByIQMatrix(i)).zipWithIndex.foreach {
287        case ((dep, wakeUpByIQOH), srcIdx) =>
288          dep := Mux(wakeUpByIQOH.asUInt.orR, Mux1H(wakeUpByIQOH, shiftedWakeupLoadDependencyByIQVec), 0.U.asTypeOf(dep))
289      })
290      enq.bits.imm := s0_enqBits(i).imm
291      enq.bits.payload := s0_enqBits(i)
292    }
293    entriesIO.deq.zipWithIndex.foreach { case (deq, i) =>
294      deq.enqEntryOldestSel := enqEntryOldestSel(i)
295      deq.othersEntryOldestSel := othersEntryOldestSel(i)
296      deq.subDeqRequest.foreach(_ := subDeqRequest.get)
297      deq.subDeqSelOH.foreach(_ := subDeqSelOHVec.get(i))
298      deq.deqReady := deqBeforeDly(i).ready
299      deq.deqSelOH.valid := deqSelValidVec(i)
300      deq.deqSelOH.bits := deqSelOHVec(i)
301    }
302    entriesIO.og0Resp.zipWithIndex.foreach { case (og0Resp, i) =>
303      og0Resp.valid := io.og0Resp(i).valid
304      og0Resp.bits.robIdx := io.og0Resp(i).bits.robIdx
305      og0Resp.bits.uopIdx := io.og0Resp(i).bits.uopIdx
306      og0Resp.bits.dataInvalidSqIdx := io.og0Resp(i).bits.dataInvalidSqIdx
307      og0Resp.bits.respType := io.og0Resp(i).bits.respType
308      og0Resp.bits.rfWen := io.og0Resp(i).bits.rfWen
309      og0Resp.bits.fuType := io.og0Resp(i).bits.fuType
310    }
311    entriesIO.og1Resp.zipWithIndex.foreach { case (og1Resp, i) =>
312      og1Resp.valid := io.og1Resp(i).valid
313      og1Resp.bits.robIdx := io.og1Resp(i).bits.robIdx
314      og1Resp.bits.uopIdx := io.og1Resp(i).bits.uopIdx
315      og1Resp.bits.dataInvalidSqIdx := io.og1Resp(i).bits.dataInvalidSqIdx
316      og1Resp.bits.respType := io.og1Resp(i).bits.respType
317      og1Resp.bits.rfWen := io.og1Resp(i).bits.rfWen
318      og1Resp.bits.fuType := io.og1Resp(i).bits.fuType
319    }
320    entriesIO.finalIssueResp.foreach(_.zipWithIndex.foreach { case (finalIssueResp, i) =>
321      finalIssueResp := io.finalIssueResp.get(i)
322    })
323    entriesIO.memAddrIssueResp.foreach(_.zipWithIndex.foreach { case (memAddrIssueResp, i) =>
324      memAddrIssueResp := io.memAddrIssueResp.get(i)
325    })
326    transEntryDeqVec := entriesIO.transEntryDeqVec
327    deqEntryVec := entriesIO.deq.map(_.deqEntry)
328    fuTypeVec := entriesIO.fuType
329    cancelDeqVec := entriesIO.cancelDeqVec
330    transSelVec := entriesIO.transSelVec
331  }
332
333
334  s0_enqSelValidVec := s0_enqValidVec.zip(io.enq).map{ case (enqValid, enq) => enqValid && enq.ready}
335
336  protected val commonAccept: UInt = Cat(fuTypeVec.map(fuType =>
337    FuType.FuTypeOrR(fuType, commonFuCfgs.map(_.fuType))
338  ).reverse)
339
340  // if deq port can accept the uop
341  protected val canAcceptVec: Seq[UInt] = deqFuCfgs.map { fuCfgs: Seq[FuConfig] =>
342    Cat(fuTypeVec.map(fuType =>
343      FuType.FuTypeOrR(fuType, fuCfgs.map(_.fuType))
344    ).reverse)
345  }
346
347  protected val deqCanAcceptVec: Seq[IndexedSeq[Bool]] = deqFuCfgs.map { fuCfgs: Seq[FuConfig] =>
348    fuTypeVec.map(fuType =>
349      FuType.FuTypeOrR(fuType, fuCfgs.map(_.fuType)))
350  }
351
352  canIssueMergeAllBusy.zipWithIndex.foreach { case (merge, i) =>
353    val mergeFuBusy = {
354      if (fuBusyTableWrite(i).nonEmpty) canIssueVec.asUInt & (~fuBusyTableMask(i))
355      else canIssueVec.asUInt
356    }
357    val mergeIntWbBusy = {
358      if (intWbBusyTableRead(i).nonEmpty) mergeFuBusy & (~intWbBusyTableMask(i))
359      else mergeFuBusy
360    }
361    val mergeVfWbBusy = {
362      if (vfWbBusyTableRead(i).nonEmpty) mergeIntWbBusy & (~vfWbBusyTableMask(i))
363      else mergeIntWbBusy
364    }
365    merge := mergeVfWbBusy
366  }
367
368  deqCanIssue.zipWithIndex.foreach { case (req, i) =>
369    req := canIssueMergeAllBusy(i) & VecInit(deqCanAcceptVec(i)).asUInt
370  }
371
372  if (params.numDeq == 2) {
373    require(params.deqFuSame || params.deqFuDiff, "The 2 deq ports need to be identical or completely different")
374  }
375
376  if (params.numDeq == 2 && params.deqFuSame) {
377    enqEntryOldestSel := DontCare
378
379    othersEntryOldestSel(0) := AgeDetector(numEntries = params.numEntries - params.numEnq,
380      enq = VecInit(transEntryDeqVec.zip(transSelVec).map{ case (transEntry, transSel) => Fill(params.numEntries-params.numEnq, transEntry.valid) & transSel }),
381      canIssue = canIssueVec.asUInt(params.numEntries-1, params.numEnq)
382    )
383    othersEntryOldestSel(1) := DontCare
384
385    subDeqRequest.get := canIssueVec.asUInt & ~Cat(othersEntryOldestSel(0).bits, 0.U((params.numEnq).W))
386
387    val subDeqPolicy = Module(new DeqPolicy())
388    subDeqPolicy.io.request := subDeqRequest.get
389    subDeqSelValidVec.get := subDeqPolicy.io.deqSelOHVec.map(oh => oh.valid)
390    subDeqSelOHVec.get := subDeqPolicy.io.deqSelOHVec.map(oh => oh.bits)
391
392    deqSelValidVec(0) := othersEntryOldestSel(0).valid || subDeqSelValidVec.get(1)
393    deqSelValidVec(1) := subDeqSelValidVec.get(0)
394    deqSelOHVec(0) := Mux(othersEntryOldestSel(0).valid,
395                          Cat(othersEntryOldestSel(0).bits, 0.U((params.numEnq).W)),
396                          subDeqSelOHVec.get(1)) & canIssueMergeAllBusy(0)
397    deqSelOHVec(1) := subDeqSelOHVec.get(0) & canIssueMergeAllBusy(1)
398
399    finalDeqSelValidVec.zip(finalDeqSelOHVec).zip(deqSelValidVec).zip(deqSelOHVec).zipWithIndex.foreach { case ((((selValid, selOH), deqValid), deqOH), i) =>
400      selValid := deqValid && deqOH.orR && deqBeforeDly(i).ready
401      selOH := deqOH
402    }
403  }
404  else {
405    enqEntryOldestSel := NewAgeDetector(numEntries = params.numEnq,
406      enq = VecInit(s0_doEnqSelValidVec),
407      canIssue = VecInit(deqCanIssue.map(_(params.numEnq-1, 0)))
408    )
409
410    othersEntryOldestSel := AgeDetector(numEntries = params.numEntries - params.numEnq,
411      enq = VecInit(transEntryDeqVec.zip(transSelVec).map{ case (transEntry, transSel) => Fill(params.numEntries-params.numEnq, transEntry.valid) & transSel }),
412      canIssue = VecInit(deqCanIssue.map(_(params.numEntries-1, params.numEnq)))
413    )
414
415    deqSelValidVec.zip(deqSelOHVec).zipWithIndex.foreach { case ((selValid, selOH), i) =>
416      if (params.exuBlockParams(i).fuConfigs.contains(FuConfig.FakeHystaCfg)) {
417        selValid := false.B
418        selOH := 0.U.asTypeOf(selOH)
419      } else {
420        selValid := othersEntryOldestSel(i).valid || enqEntryOldestSel(i).valid
421        selOH := Cat(othersEntryOldestSel(i).bits, Fill(params.numEnq, enqEntryOldestSel(i).valid && !othersEntryOldestSel(i).valid) & enqEntryOldestSel(i).bits)
422      }
423    }
424
425    finalDeqSelValidVec.zip(finalDeqSelOHVec).zip(deqSelValidVec).zip(deqSelOHVec).zipWithIndex.foreach { case ((((selValid, selOH), deqValid), deqOH), i) =>
426      selValid := deqValid && deqBeforeDly(i).ready
427      selOH := deqOH
428    }
429  }
430
431  val toBusyTableDeqResp = Wire(Vec(params.numDeq, ValidIO(new IssueQueueDeqRespBundle)))
432
433  toBusyTableDeqResp.zipWithIndex.foreach { case (deqResp, i) =>
434    deqResp.valid := finalDeqSelValidVec(i)
435    deqResp.bits.respType := RSFeedbackType.issueSuccess
436    deqResp.bits.robIdx := DontCare
437    deqResp.bits.dataInvalidSqIdx := DontCare
438    deqResp.bits.rfWen := DontCare
439    deqResp.bits.fuType := deqBeforeDly(i).bits.common.fuType
440    deqResp.bits.uopIdx := DontCare
441  }
442
443  //fuBusyTable
444  fuBusyTableWrite.zip(fuBusyTableRead).zipWithIndex.foreach { case ((busyTableWrite: Option[FuBusyTableWrite], busyTableRead: Option[FuBusyTableRead]), i) =>
445    if(busyTableWrite.nonEmpty) {
446      val btwr = busyTableWrite.get
447      val btrd = busyTableRead.get
448      btwr.io.in.deqResp := toBusyTableDeqResp(i)
449      btwr.io.in.og0Resp := io.og0Resp(i)
450      btwr.io.in.og1Resp := io.og1Resp(i)
451      btrd.io.in.fuBusyTable := btwr.io.out.fuBusyTable
452      btrd.io.in.fuTypeRegVec := fuTypeVec
453      fuBusyTableMask(i) := btrd.io.out.fuBusyTableMask
454    }
455    else {
456      fuBusyTableMask(i) := 0.U(params.numEntries.W)
457    }
458  }
459
460  //wbfuBusyTable write
461  intWbBusyTableWrite.zip(intWbBusyTableOut).zip(intDeqRespSetOut).zipWithIndex.foreach { case (((busyTableWrite: Option[FuBusyTableWrite], busyTable: Option[UInt]), deqResp), i) =>
462    if(busyTableWrite.nonEmpty) {
463      val btwr = busyTableWrite.get
464      val bt = busyTable.get
465      val dq = deqResp.get
466      btwr.io.in.deqResp := toBusyTableDeqResp(i)
467      btwr.io.in.og0Resp := io.og0Resp(i)
468      btwr.io.in.og1Resp := io.og1Resp(i)
469      bt := btwr.io.out.fuBusyTable
470      dq := btwr.io.out.deqRespSet
471    }
472  }
473
474  vfWbBusyTableWrite.zip(vfWbBusyTableOut).zip(vfDeqRespSetOut).zipWithIndex.foreach { case (((busyTableWrite: Option[FuBusyTableWrite], busyTable: Option[UInt]), deqResp), i) =>
475    if (busyTableWrite.nonEmpty) {
476      val btwr = busyTableWrite.get
477      val bt = busyTable.get
478      val dq = deqResp.get
479      btwr.io.in.deqResp := toBusyTableDeqResp(i)
480      btwr.io.in.og0Resp := io.og0Resp(i)
481      btwr.io.in.og1Resp := io.og1Resp(i)
482      bt := btwr.io.out.fuBusyTable
483      dq := btwr.io.out.deqRespSet
484    }
485  }
486
487  //wbfuBusyTable read
488  intWbBusyTableRead.zip(intWbBusyTableIn).zipWithIndex.foreach { case ((busyTableRead: Option[FuBusyTableRead], busyTable: Option[UInt]), i) =>
489    if(busyTableRead.nonEmpty) {
490      val btrd = busyTableRead.get
491      val bt = busyTable.get
492      btrd.io.in.fuBusyTable := bt
493      btrd.io.in.fuTypeRegVec := fuTypeVec
494      intWbBusyTableMask(i) := btrd.io.out.fuBusyTableMask
495    }
496    else {
497      intWbBusyTableMask(i) := 0.U(params.numEntries.W)
498    }
499  }
500  vfWbBusyTableRead.zip(vfWbBusyTableIn).zipWithIndex.foreach { case ((busyTableRead: Option[FuBusyTableRead], busyTable: Option[UInt]), i) =>
501    if (busyTableRead.nonEmpty) {
502      val btrd = busyTableRead.get
503      val bt = busyTable.get
504      btrd.io.in.fuBusyTable := bt
505      btrd.io.in.fuTypeRegVec := fuTypeVec
506      vfWbBusyTableMask(i) := btrd.io.out.fuBusyTableMask
507    }
508    else {
509      vfWbBusyTableMask(i) := 0.U(params.numEntries.W)
510    }
511  }
512
513  wakeUpQueues.zipWithIndex.foreach { case (wakeUpQueueOption, i) =>
514    val og0RespEach = io.og0Resp(i)
515    val og1RespEach = io.og1Resp(i)
516    wakeUpQueueOption.foreach {
517      wakeUpQueue =>
518        val flush = Wire(new WakeupQueueFlush)
519        flush.redirect := io.flush
520        flush.ldCancel := io.ldCancel
521        flush.og0Fail := io.og0Resp(i).valid && RSFeedbackType.isBlocked(io.og0Resp(i).bits.respType)
522        flush.og1Fail := io.og1Resp(i).valid && RSFeedbackType.isBlocked(io.og1Resp(i).bits.respType)
523        wakeUpQueue.io.flush := flush
524        wakeUpQueue.io.enq.valid := deqBeforeDly(i).fire && {
525          deqBeforeDly(i).bits.common.rfWen.getOrElse(false.B) && deqBeforeDly(i).bits.common.pdest =/= 0.U ||
526          deqBeforeDly(i).bits.common.fpWen.getOrElse(false.B) ||
527          deqBeforeDly(i).bits.common.vecWen.getOrElse(false.B)
528        }
529        wakeUpQueue.io.enq.bits.uop := deqBeforeDly(i).bits.common
530        wakeUpQueue.io.enq.bits.lat := getDeqLat(i, deqBeforeDly(i).bits.common.fuType)
531        wakeUpQueue.io.og0IssueFail := flush.og0Fail
532        wakeUpQueue.io.og1IssueFail := flush.og1Fail
533    }
534  }
535
536  deqBeforeDly.zipWithIndex.foreach { case (deq, i) =>
537    deq.valid                := finalDeqSelValidVec(i) && !cancelDeqVec(i)
538    deq.bits.addrOH          := finalDeqSelOHVec(i)
539    deq.bits.common.isFirstIssue := deqFirstIssueVec(i)
540    deq.bits.common.iqIdx    := OHToUInt(finalDeqSelOHVec(i))
541    deq.bits.common.fuType   := deqEntryVec(i).bits.payload.fuType
542    deq.bits.common.fuOpType := deqEntryVec(i).bits.payload.fuOpType
543    deq.bits.common.rfWen.foreach(_ := deqEntryVec(i).bits.payload.rfWen)
544    deq.bits.common.fpWen.foreach(_ := deqEntryVec(i).bits.payload.fpWen)
545    deq.bits.common.vecWen.foreach(_ := deqEntryVec(i).bits.payload.vecWen)
546    deq.bits.common.flushPipe.foreach(_ := deqEntryVec(i).bits.payload.flushPipe)
547    deq.bits.common.pdest := deqEntryVec(i).bits.payload.pdest
548    deq.bits.common.robIdx := deqEntryVec(i).bits.payload.robIdx
549    deq.bits.common.dataSources.zip(finalDataSources(i)).zipWithIndex.foreach {
550      case ((sink, source), srcIdx) =>
551        sink.value := Mux(
552          SrcType.isXp(deqEntryVec(i).bits.payload.srcType(srcIdx)) && deqEntryVec(i).bits.payload.psrc(srcIdx) === 0.U,
553          DataSource.none,
554          source.value
555        )
556    }
557    if (deq.bits.common.l1ExuOH.size > 0) {
558      if (params.hasIQWakeUp) {
559        deq.bits.common.l1ExuOH := finalWakeUpL1ExuOH.get(i)
560      } else {
561        deq.bits.common.l1ExuOH := deqEntryVec(i).bits.payload.l1ExuOH.take(deq.bits.common.l1ExuOH.length)
562      }
563    }
564    deq.bits.common.srcTimer.foreach(_ := finalSrcTimer.get(i))
565    deq.bits.common.loadDependency.foreach(_ := deqEntryVec(i).bits.status.mergedLoadDependency.get)
566    deq.bits.common.deqLdExuIdx.foreach(_ := params.backendParam.getLdExuIdx(deq.bits.exuParams).U)
567    deq.bits.common.src := DontCare
568    deq.bits.common.preDecode.foreach(_ := deqEntryVec(i).bits.payload.preDecodeInfo)
569
570    deq.bits.rf.zip(deqEntryVec(i).bits.payload.psrc).foreach { case (rf, psrc) =>
571      rf.foreach(_.addr := psrc) // psrc in payload array can be pregIdx of IntRegFile or VfRegFile
572    }
573    deq.bits.rf.zip(deqEntryVec(i).bits.payload.srcType).foreach { case (rf, srcType) =>
574      rf.foreach(_.srcType := srcType) // psrc in payload array can be pregIdx of IntRegFile or VfRegFile
575    }
576    deq.bits.srcType.zip(deqEntryVec(i).bits.payload.srcType).foreach { case (sink, source) =>
577      sink := source
578    }
579    deq.bits.immType := deqEntryVec(i).bits.payload.selImm
580
581    if (params.inIntSchd && params.AluCnt > 0) {
582      // dirty code for lui+addi(w) fusion
583      val isLuiAddiFusion = deqEntryVec(i).bits.payload.isLUI32
584      val luiImm = Cat(deqEntryVec(i).bits.payload.lsrc(1), deqEntryVec(i).bits.payload.lsrc(0), deqEntryVec(i).bits.imm(ImmUnion.maxLen - 1, 0))
585      deq.bits.common.imm := Mux(isLuiAddiFusion, ImmUnion.LUI32.toImm32(luiImm), deqEntryVec(i).bits.imm)
586    }
587    else if (params.inMemSchd && params.LduCnt > 0) {
588      // dirty code for fused_lui_load
589      val isLuiLoadFusion = SrcType.isNotReg(deqEntryVec(i).bits.payload.srcType(0)) && FuType.isLoad(deqEntryVec(i).bits.payload.fuType)
590      deq.bits.common.imm := Mux(isLuiLoadFusion, Imm_LUI_LOAD().getLuiImm(deqEntryVec(i).bits.payload), deqEntryVec(i).bits.imm)
591    }
592    else {
593      deq.bits.common.imm := deqEntryVec(i).bits.imm
594    }
595
596    deq.bits.common.perfDebugInfo := deqEntryVec(i).bits.payload.debugInfo
597    deq.bits.common.perfDebugInfo.selectTime := GTimer()
598    deq.bits.common.perfDebugInfo.issueTime := GTimer() + 1.U
599  }
600
601  private val ldCancels = deqBeforeDly.map(in =>
602    LoadShouldCancel(in.bits.common.loadDependency, io.ldCancel)
603  )
604  private val deqShift = WireDefault(deqBeforeDly)
605  deqShift.zip(deqBeforeDly).foreach {
606    case (shifted, original) =>
607      original.ready := shifted.ready // this will not cause combinational loop
608      shifted.bits.common.loadDependency.foreach(
609        _ := original.bits.common.loadDependency.get.map(_ << 1)
610      )
611  }
612  io.deqDelay.zip(deqShift).zip(ldCancels).foreach { case ((deqDly, deq), ldCancel) =>
613    NewPipelineConnect(
614      deq, deqDly, deqDly.valid,
615      deq.bits.common.robIdx.needFlush(io.flush) || ldCancel,
616      Option("Scheduler2DataPathPipe")
617    )
618  }
619  if(backendParams.debugEn) {
620    dontTouch(io.deqDelay)
621  }
622  io.wakeupToIQ.zipWithIndex.foreach { case (wakeup, i) =>
623    if (wakeUpQueues(i).nonEmpty && finalWakeUpL1ExuOH.nonEmpty) {
624      wakeup.valid := wakeUpQueues(i).get.io.deq.valid
625      wakeup.bits.fromExuInput(wakeUpQueues(i).get.io.deq.bits, finalWakeUpL1ExuOH.get(i))
626      wakeup.bits.loadDependency := wakeUpQueues(i).get.io.deq.bits.loadDependency.getOrElse(0.U.asTypeOf(wakeup.bits.loadDependency))
627    } else if (wakeUpQueues(i).nonEmpty) {
628      wakeup.valid := wakeUpQueues(i).get.io.deq.valid
629      wakeup.bits.fromExuInput(wakeUpQueues(i).get.io.deq.bits)
630      wakeup.bits.loadDependency := wakeUpQueues(i).get.io.deq.bits.loadDependency.getOrElse(0.U.asTypeOf(wakeup.bits.loadDependency))
631    } else {
632      wakeup.valid := false.B
633      wakeup.bits := 0.U.asTypeOf(wakeup.bits)
634    }
635  }
636
637  // Todo: better counter implementation
638  private val enqHasValid = validVec.take(params.numEnq).reduce(_ | _)
639  private val enqEntryValidCnt = PopCount(validVec.take(params.numEnq))
640  private val othersValidCnt = PopCount(validVec.drop(params.numEnq))
641  io.status.leftVec(0) := validVec.drop(params.numEnq).reduce(_ & _)
642  for (i <- 0 until params.numEnq) {
643    io.status.leftVec(i + 1) := othersValidCnt === (params.numEntries - params.numEnq - (i + 1)).U
644  }
645  private val othersLeftOneCaseVec = Wire(Vec(params.numEntries - params.numEnq, UInt((params.numEntries - params.numEnq).W)))
646  othersLeftOneCaseVec.zipWithIndex.foreach { case (leftone, i) =>
647    leftone := ~(1.U((params.numEntries - params.numEnq).W) << i)
648  }
649  private val othersLeftOne = othersLeftOneCaseVec.map(_ === VecInit(validVec.drop(params.numEnq)).asUInt).reduce(_ | _)
650  private val othersCanotIn = othersLeftOne || validVec.drop(params.numEnq).reduce(_ & _)
651
652  io.enq.foreach(_.ready := !othersCanotIn || !enqHasValid)
653  io.status.empty := !Cat(validVec).orR
654  io.status.full := othersCanotIn
655  io.status.validCnt := PopCount(validVec)
656
657  protected def getDeqLat(deqPortIdx: Int, fuType: UInt) : UInt = {
658    Mux1H(fuLatencyMaps(deqPortIdx) map { case (k, v) => (fuType(k.id), v.U) })
659  }
660
661  // issue perf counter
662  // enq count
663  XSPerfAccumulate("enq_valid_cnt", PopCount(io.enq.map(_.fire)))
664  XSPerfAccumulate("enq_fire_cnt", PopCount(io.enq.map(_.fire)))
665  // valid count
666  XSPerfHistogram("enq_entry_valid_cnt", enqEntryValidCnt, true.B, 0, params.numEnq + 1)
667  XSPerfHistogram("other_entry_valid_cnt", othersValidCnt, true.B, 0, params.numEntries - params.numEnq + 1)
668  XSPerfHistogram("valid_cnt", PopCount(validVec), true.B, 0, params.numEntries + 1)
669  // only split when more than 1 func type
670  if (params.getFuCfgs.size > 0) {
671    for (t <- FuType.functionNameMap.keys) {
672      val fuName = FuType.functionNameMap(t)
673      if (params.getFuCfgs.map(_.fuType == t).reduce(_ | _)) {
674        XSPerfHistogram(s"valid_cnt_hist_futype_${fuName}", PopCount(validVec.zip(fuTypeVec).map { case (v, fu) => v && fu === t.U }), true.B, 0, params.numEntries, 1)
675      }
676    }
677  }
678  // ready instr count
679  private val readyEntriesCnt = PopCount(validVec.zip(canIssueVec).map(x => x._1 && x._2))
680  XSPerfHistogram("ready_cnt", readyEntriesCnt, true.B, 0, params.numEntries + 1)
681  // only split when more than 1 func type
682  if (params.getFuCfgs.size > 0) {
683    for (t <- FuType.functionNameMap.keys) {
684      val fuName = FuType.functionNameMap(t)
685      if (params.getFuCfgs.map(_.fuType == t).reduce(_ | _)) {
686        XSPerfHistogram(s"ready_cnt_hist_futype_${fuName}", PopCount(validVec.zip(canIssueVec).zip(fuTypeVec).map { case ((v, c), fu) => v && c && fu === t.U }), true.B, 0, params.numEntries, 1)
687      }
688    }
689  }
690
691  // deq instr count
692  XSPerfAccumulate("issue_instr_pre_count", PopCount(deqBeforeDly.map(_.valid)))
693  XSPerfHistogram("issue_instr_pre_count_hist", PopCount(deqBeforeDly.map(_.valid)), true.B, 0, params.numDeq + 1, 1)
694  XSPerfAccumulate("issue_instr_count", PopCount(io.deqDelay.map(_.valid)))
695  XSPerfHistogram("issue_instr_count_hist", PopCount(io.deqDelay.map(_.valid)), true.B, 0, params.numDeq + 1, 1)
696
697  // deq instr data source count
698  XSPerfAccumulate("issue_datasource_reg", deqBeforeDly.map{ deq =>
699    PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && ds.value === DataSource.reg && !SrcType.isNotReg(deq.bits.srcType(j)) })
700  }.reduce(_ +& _))
701  XSPerfAccumulate("issue_datasource_bypass", deqBeforeDly.map{ deq =>
702    PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && ds.value === DataSource.bypass && !SrcType.isNotReg(deq.bits.srcType(j)) })
703  }.reduce(_ +& _))
704  XSPerfAccumulate("issue_datasource_forward", deqBeforeDly.map{ deq =>
705    PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && ds.value === DataSource.forward && !SrcType.isNotReg(deq.bits.srcType(j)) })
706  }.reduce(_ +& _))
707  XSPerfAccumulate("issue_datasource_noreg", deqBeforeDly.map{ deq =>
708    PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && SrcType.isNotReg(deq.bits.srcType(j)) })
709  }.reduce(_ +& _))
710
711  XSPerfHistogram("issue_datasource_reg_hist", deqBeforeDly.map{ deq =>
712    PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && ds.value === DataSource.reg && !SrcType.isNotReg(deq.bits.srcType(j)) })
713  }.reduce(_ +& _), true.B, 0, params.numDeq * params.numRegSrc + 1, 1)
714  XSPerfHistogram("issue_datasource_bypass_hist", deqBeforeDly.map{ deq =>
715    PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && ds.value === DataSource.bypass && !SrcType.isNotReg(deq.bits.srcType(j)) })
716  }.reduce(_ +& _), true.B, 0, params.numDeq * params.numRegSrc + 1, 1)
717  XSPerfHistogram("issue_datasource_forward_hist", deqBeforeDly.map{ deq =>
718    PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && ds.value === DataSource.forward && !SrcType.isNotReg(deq.bits.srcType(j)) })
719  }.reduce(_ +& _), true.B, 0, params.numDeq * params.numRegSrc + 1, 1)
720  XSPerfHistogram("issue_datasource_noreg_hist", deqBeforeDly.map{ deq =>
721    PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && SrcType.isNotReg(deq.bits.srcType(j)) })
722  }.reduce(_ +& _), true.B, 0, params.numDeq * params.numRegSrc + 1, 1)
723
724  // deq instr data source count for each futype
725  for (t <- FuType.functionNameMap.keys) {
726    val fuName = FuType.functionNameMap(t)
727    if (params.getFuCfgs.map(_.fuType == t).reduce(_ | _)) {
728      XSPerfAccumulate(s"issue_datasource_reg_futype_${fuName}", deqBeforeDly.map{ deq =>
729        PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && ds.value === DataSource.reg && !SrcType.isNotReg(deq.bits.srcType(j)) && deq.bits.common.fuType === t.U })
730      }.reduce(_ +& _))
731      XSPerfAccumulate(s"issue_datasource_bypass_futype_${fuName}", deqBeforeDly.map{ deq =>
732        PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && ds.value === DataSource.bypass && !SrcType.isNotReg(deq.bits.srcType(j)) && deq.bits.common.fuType === t.U })
733      }.reduce(_ +& _))
734      XSPerfAccumulate(s"issue_datasource_forward_futype_${fuName}", deqBeforeDly.map{ deq =>
735        PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && ds.value === DataSource.forward && !SrcType.isNotReg(deq.bits.srcType(j)) && deq.bits.common.fuType === t.U })
736      }.reduce(_ +& _))
737      XSPerfAccumulate(s"issue_datasource_noreg_futype_${fuName}", deqBeforeDly.map{ deq =>
738        PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && SrcType.isNotReg(deq.bits.srcType(j)) && deq.bits.common.fuType === t.U })
739      }.reduce(_ +& _))
740
741      XSPerfHistogram(s"issue_datasource_reg_hist_futype_${fuName}", deqBeforeDly.map{ deq =>
742        PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && ds.value === DataSource.reg && !SrcType.isNotReg(deq.bits.srcType(j)) && deq.bits.common.fuType === t.U })
743      }.reduce(_ +& _), true.B, 0, params.numDeq * params.numRegSrc + 1, 1)
744      XSPerfHistogram(s"issue_datasource_bypass_hist_futype_${fuName}", deqBeforeDly.map{ deq =>
745        PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && ds.value === DataSource.bypass && !SrcType.isNotReg(deq.bits.srcType(j)) && deq.bits.common.fuType === t.U })
746      }.reduce(_ +& _), true.B, 0, params.numDeq * params.numRegSrc + 1, 1)
747      XSPerfHistogram(s"issue_datasource_forward_hist_futype_${fuName}", deqBeforeDly.map{ deq =>
748        PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && ds.value === DataSource.forward && !SrcType.isNotReg(deq.bits.srcType(j)) && deq.bits.common.fuType === t.U })
749      }.reduce(_ +& _), true.B, 0, params.numDeq * params.numRegSrc + 1, 1)
750      XSPerfHistogram(s"issue_datasource_noreg_hist_futype_${fuName}", deqBeforeDly.map{ deq =>
751        PopCount(deq.bits.common.dataSources.zipWithIndex.map{ case (ds, j) => deq.valid && SrcType.isNotReg(deq.bits.srcType(j)) && deq.bits.common.fuType === t.U })
752      }.reduce(_ +& _), true.B, 0, params.numDeq * params.numRegSrc + 1, 1)
753    }
754  }
755
756  // cancel instr count
757  if (params.hasIQWakeUp) {
758    val cancelVec: Vec[Bool] = entries.io.cancel.get
759    XSPerfAccumulate("cancel_instr_count", PopCount(validVec.zip(cancelVec).map(x => x._1 & x._2)))
760    XSPerfHistogram("cancel_instr_hist", PopCount(validVec.zip(cancelVec).map(x => x._1 & x._2)), true.B, 0, params.numEntries, 1)
761    for (t <- FuType.functionNameMap.keys) {
762      val fuName = FuType.functionNameMap(t)
763      if (params.getFuCfgs.map(_.fuType == t).reduce(_ | _)) {
764        XSPerfAccumulate(s"cancel_instr_count_futype_${fuName}", PopCount(validVec.zip(cancelVec).zip(fuTypeVec).map{ case ((x, y), fu) => x & y & fu === t.U }))
765        XSPerfHistogram(s"cancel_instr_hist_futype_${fuName}", PopCount(validVec.zip(cancelVec).zip(fuTypeVec).map{ case ((x, y), fu) => x & y & fu === t.U }), true.B, 0, params.numEntries, 1)
766      }
767    }
768  }
769}
770
771class IssueQueueJumpBundle extends Bundle {
772  val pc = UInt(VAddrData().dataWidth.W)
773}
774
775class IssueQueueLoadBundle(implicit p: Parameters) extends XSBundle {
776  val fastMatch = UInt(backendParams.LduCnt.W)
777  val fastImm = UInt(12.W)
778}
779
780class IssueQueueIntIO()(implicit p: Parameters, params: IssueBlockParams) extends IssueQueueIO
781
782class IssueQueueIntImp(override val wrapper: IssueQueue)(implicit p: Parameters, iqParams: IssueBlockParams)
783  extends IssueQueueImp(wrapper)
784{
785  io.suggestName("none")
786  override lazy val io = IO(new IssueQueueIntIO).suggestName("io")
787
788  if(params.needPc) {
789    entries.io.enq.zipWithIndex.foreach { case (entriesEnq, i) =>
790      entriesEnq.bits.status.pc.foreach(_ := io.enq(i).bits.pc)
791    }
792  }
793
794  deqBeforeDly.zipWithIndex.foreach{ case (deq, i) => {
795    deq.bits.common.pc.foreach(_ := deqEntryVec(i).bits.status.pc.get)
796    deq.bits.common.preDecode.foreach(_ := deqEntryVec(i).bits.payload.preDecodeInfo)
797    deq.bits.common.ftqIdx.foreach(_ := deqEntryVec(i).bits.payload.ftqPtr)
798    deq.bits.common.ftqOffset.foreach(_ := deqEntryVec(i).bits.payload.ftqOffset)
799    deq.bits.common.predictInfo.foreach(x => {
800      x.target := DontCare
801      x.taken := deqEntryVec(i).bits.payload.pred_taken
802    })
803    // for std
804    deq.bits.common.sqIdx.foreach(_ := deqEntryVec(i).bits.payload.sqIdx)
805    // for i2f
806    deq.bits.common.fpu.foreach(_ := deqEntryVec(i).bits.payload.fpu)
807  }}
808}
809
810class IssueQueueVfImp(override val wrapper: IssueQueue)(implicit p: Parameters, iqParams: IssueBlockParams)
811  extends IssueQueueImp(wrapper)
812{
813  s0_enqBits.foreach{ x =>
814    x.srcType(3) := SrcType.vp // v0: mask src
815    x.srcType(4) := SrcType.vp // vl&vtype
816  }
817  deqBeforeDly.zipWithIndex.foreach{ case (deq, i) => {
818    deq.bits.common.fpu.foreach(_ := deqEntryVec(i).bits.payload.fpu)
819    deq.bits.common.vpu.foreach(_ := deqEntryVec(i).bits.payload.vpu)
820    deq.bits.common.vpu.foreach(_.vuopIdx := deqEntryVec(i).bits.payload.uopIdx)
821    deq.bits.common.vpu.foreach(_.lastUop := deqEntryVec(i).bits.payload.lastUop)
822  }}
823}
824
825class IssueQueueMemBundle(implicit p: Parameters, params: IssueBlockParams) extends Bundle {
826  val feedbackIO = Flipped(Vec(params.numDeq, new MemRSFeedbackIO))
827  val checkWait = new Bundle {
828    val stIssuePtr = Input(new SqPtr)
829    val memWaitUpdateReq = Flipped(new MemWaitUpdateReq)
830  }
831  val loadFastMatch = Output(Vec(params.LduCnt, new IssueQueueLoadBundle))
832
833  // vector
834  val sqDeqPtr = OptionWrapper(params.isVecMemIQ, Input(new SqPtr))
835  val lqDeqPtr = OptionWrapper(params.isVecMemIQ, Input(new LqPtr))
836}
837
838class IssueQueueMemIO(implicit p: Parameters, params: IssueBlockParams) extends IssueQueueIO {
839  val memIO = Some(new IssueQueueMemBundle)
840}
841
842class IssueQueueMemAddrImp(override val wrapper: IssueQueue)(implicit p: Parameters, params: IssueBlockParams)
843  extends IssueQueueImp(wrapper) with HasCircularQueuePtrHelper {
844
845  require(params.StdCnt == 0 && (params.LduCnt + params.StaCnt + params.HyuCnt + params.VlduCnt) > 0, "IssueQueueMemAddrImp can only be instance of MemAddr IQ, " +
846    s"StdCnt: ${params.StdCnt}, LduCnt: ${params.LduCnt}, StaCnt: ${params.StaCnt}, HyuCnt: ${params.HyuCnt}")
847  println(s"[IssueQueueMemAddrImp] StdCnt: ${params.StdCnt}, LduCnt: ${params.LduCnt}, StaCnt: ${params.StaCnt}, HyuCnt: ${params.HyuCnt}")
848
849  io.suggestName("none")
850  override lazy val io = IO(new IssueQueueMemIO).suggestName("io")
851  private val memIO = io.memIO.get
852
853  memIO.loadFastMatch := 0.U.asTypeOf(memIO.loadFastMatch) // TODO: is still needed?
854
855  for (i <- io.enq.indices) {
856    val blockNotReleased = isAfter(io.enq(i).bits.sqIdx, memIO.checkWait.stIssuePtr)
857    val storeAddrWaitForIsIssuing = VecInit((0 until StorePipelineWidth).map(i => {
858      memIO.checkWait.memWaitUpdateReq.robIdx(i).valid &&
859        memIO.checkWait.memWaitUpdateReq.robIdx(i).bits.value === io.enq(i).bits.waitForRobIdx.value
860    })).asUInt.orR && !io.enq(i).bits.loadWaitStrict // is waiting for store addr ready
861    s0_enqBits(i).loadWaitBit := io.enq(i).bits.loadWaitBit && !storeAddrWaitForIsIssuing && blockNotReleased
862    // when have vpu
863    if (params.VlduCnt > 0 || params.VstuCnt > 0) {
864      s0_enqBits(i).srcType(3) := SrcType.vp // v0: mask src
865      s0_enqBits(i).srcType(4) := SrcType.vp // vl&vtype
866    }
867  }
868
869  for (i <- entries.io.enq.indices) {
870    entries.io.enq(i).bits.status match { case enqData =>
871      enqData.blocked := false.B // s0_enqBits(i).loadWaitBit
872      enqData.mem.get.strictWait := s0_enqBits(i).loadWaitStrict
873      enqData.mem.get.waitForStd := false.B
874      enqData.mem.get.waitForRobIdx := s0_enqBits(i).waitForRobIdx
875      enqData.mem.get.waitForSqIdx := 0.U.asTypeOf(enqData.mem.get.waitForSqIdx) // generated by sq, will be updated later
876      enqData.mem.get.sqIdx := s0_enqBits(i).sqIdx
877    }
878
879    entries.io.fromMem.get.slowResp.zipWithIndex.foreach { case (slowResp, i) =>
880      slowResp.valid                 := memIO.feedbackIO(i).feedbackSlow.valid
881      slowResp.bits.robIdx           := memIO.feedbackIO(i).feedbackSlow.bits.robIdx
882      slowResp.bits.uopIdx           := DontCare
883      slowResp.bits.respType         := Mux(memIO.feedbackIO(i).feedbackSlow.bits.hit, RSFeedbackType.fuIdle, RSFeedbackType.feedbackInvalid)
884      slowResp.bits.dataInvalidSqIdx := memIO.feedbackIO(i).feedbackSlow.bits.dataInvalidSqIdx
885      slowResp.bits.rfWen := DontCare
886      slowResp.bits.fuType := DontCare
887    }
888
889    entries.io.fromMem.get.fastResp.zipWithIndex.foreach { case (fastResp, i) =>
890      fastResp.valid                 := memIO.feedbackIO(i).feedbackFast.valid
891      fastResp.bits.robIdx           := memIO.feedbackIO(i).feedbackFast.bits.robIdx
892      fastResp.bits.uopIdx           := DontCare
893      fastResp.bits.respType         := Mux(memIO.feedbackIO(i).feedbackFast.bits.hit, RSFeedbackType.fuIdle, memIO.feedbackIO(i).feedbackFast.bits.sourceType)
894      fastResp.bits.dataInvalidSqIdx := 0.U.asTypeOf(fastResp.bits.dataInvalidSqIdx)
895      fastResp.bits.rfWen := DontCare
896      fastResp.bits.fuType := DontCare
897    }
898
899    entries.io.fromMem.get.memWaitUpdateReq := memIO.checkWait.memWaitUpdateReq
900    entries.io.fromMem.get.stIssuePtr := memIO.checkWait.stIssuePtr
901  }
902
903  deqBeforeDly.zipWithIndex.foreach { case (deq, i) =>
904    deq.bits.common.loadWaitBit.foreach(_ := deqEntryVec(i).bits.payload.loadWaitBit)
905    deq.bits.common.waitForRobIdx.foreach(_ := deqEntryVec(i).bits.payload.waitForRobIdx)
906    deq.bits.common.storeSetHit.foreach(_ := deqEntryVec(i).bits.payload.storeSetHit)
907    deq.bits.common.loadWaitStrict.foreach(_ := deqEntryVec(i).bits.payload.loadWaitStrict)
908    deq.bits.common.ssid.foreach(_ := deqEntryVec(i).bits.payload.ssid)
909    deq.bits.common.sqIdx.get := deqEntryVec(i).bits.payload.sqIdx
910    deq.bits.common.lqIdx.get := deqEntryVec(i).bits.payload.lqIdx
911    deq.bits.common.ftqIdx.foreach(_ := deqEntryVec(i).bits.payload.ftqPtr)
912    deq.bits.common.ftqOffset.foreach(_ := deqEntryVec(i).bits.payload.ftqOffset)
913    // when have vpu
914    if (params.VlduCnt > 0 || params.VstuCnt > 0) {
915      deq.bits.common.vpu.foreach(_ := deqEntryVec(i).bits.payload.vpu)
916      deq.bits.common.vpu.foreach(_.vuopIdx := deqEntryVec(i).bits.payload.uopIdx)
917    }
918  }
919}
920
921class IssueQueueVecMemImp(override val wrapper: IssueQueue)(implicit p: Parameters, params: IssueBlockParams)
922  extends IssueQueueImp(wrapper) with HasCircularQueuePtrHelper {
923
924  require((params.VstdCnt + params.VlduCnt + params.VstaCnt) > 0, "IssueQueueVecMemImp can only be instance of VecMem IQ")
925
926  io.suggestName("none")
927  override lazy val io = IO(new IssueQueueMemIO).suggestName("io")
928  private val memIO = io.memIO.get
929
930  def selectOldUop(robIdx: Seq[RobPtr], uopIdx: Seq[UInt], valid: Seq[Bool]): Vec[Bool] = {
931    val compareVec = (0 until robIdx.length).map(i => (0 until i).map(j => isAfter(robIdx(j), robIdx(i)) || (robIdx(j).value === robIdx(i).value && uopIdx(i) < uopIdx(j))))
932    val resultOnehot = VecInit((0 until robIdx.length).map(i => Cat((0 until robIdx.length).map(j =>
933      (if (j < i) !valid(j) || compareVec(i)(j)
934      else if (j == i) valid(i)
935      else !valid(j) || !compareVec(j)(i))
936    )).andR))
937    resultOnehot
938  }
939
940  val robIdxVec = entries.io.robIdx.get
941  val uopIdxVec = entries.io.uopIdx.get
942  val allEntryOldestOH = selectOldUop(robIdxVec, uopIdxVec, validVec)
943
944  finalDeqSelValidVec.head := (allEntryOldestOH.asUInt & canIssueVec.asUInt).orR
945  finalDeqSelOHVec.head := allEntryOldestOH.asUInt & canIssueVec.asUInt
946
947  if (params.isVecMemAddrIQ) {
948    s0_enqBits.foreach{ x =>
949      x.srcType(3) := SrcType.vp // v0: mask src
950      x.srcType(4) := SrcType.vp // vl&vtype
951    }
952
953    for (i <- io.enq.indices) {
954      s0_enqBits(i).loadWaitBit := false.B
955    }
956
957    for (i <- entries.io.enq.indices) {
958      entries.io.enq(i).bits.status match { case enqData =>
959        enqData.blocked := false.B // s0_enqBits(i).loadWaitBit
960        enqData.mem.get.strictWait := s0_enqBits(i).loadWaitStrict
961        enqData.mem.get.waitForStd := false.B
962        enqData.mem.get.waitForRobIdx := s0_enqBits(i).waitForRobIdx
963        enqData.mem.get.waitForSqIdx := 0.U.asTypeOf(enqData.mem.get.waitForSqIdx) // generated by sq, will be updated later
964        enqData.mem.get.sqIdx := s0_enqBits(i).sqIdx
965      }
966
967      entries.io.fromMem.get.slowResp.zipWithIndex.foreach { case (slowResp, i) =>
968        slowResp.valid                 := memIO.feedbackIO(i).feedbackSlow.valid
969        slowResp.bits.robIdx           := memIO.feedbackIO(i).feedbackSlow.bits.robIdx
970        slowResp.bits.uopIdx           := DontCare
971        slowResp.bits.respType         := Mux(memIO.feedbackIO(i).feedbackSlow.bits.hit, RSFeedbackType.fuIdle, RSFeedbackType.feedbackInvalid)
972        slowResp.bits.dataInvalidSqIdx := memIO.feedbackIO(i).feedbackSlow.bits.dataInvalidSqIdx
973        slowResp.bits.rfWen := DontCare
974        slowResp.bits.fuType := DontCare
975      }
976
977      entries.io.fromMem.get.fastResp.zipWithIndex.foreach { case (fastResp, i) =>
978        fastResp.valid                 := memIO.feedbackIO(i).feedbackFast.valid
979        fastResp.bits.robIdx           := memIO.feedbackIO(i).feedbackFast.bits.robIdx
980        fastResp.bits.uopIdx           := DontCare
981        fastResp.bits.respType         := memIO.feedbackIO(i).feedbackFast.bits.sourceType
982        fastResp.bits.dataInvalidSqIdx := 0.U.asTypeOf(fastResp.bits.dataInvalidSqIdx)
983        fastResp.bits.rfWen := DontCare
984        fastResp.bits.fuType := DontCare
985      }
986
987      entries.io.fromMem.get.memWaitUpdateReq := memIO.checkWait.memWaitUpdateReq
988      entries.io.fromMem.get.stIssuePtr := memIO.checkWait.stIssuePtr
989    }
990  }
991
992  for (i <- entries.io.enq.indices) {
993    entries.io.enq(i).bits.status match { case enqData =>
994      enqData.vecMem.get.sqIdx := s0_enqBits(i).sqIdx
995      enqData.vecMem.get.lqIdx := s0_enqBits(i).lqIdx
996    }
997  }
998
999  entries.io.fromLsq.get.sqDeqPtr := memIO.sqDeqPtr.get
1000  entries.io.fromLsq.get.lqDeqPtr := memIO.lqDeqPtr.get
1001
1002  deqBeforeDly.zipWithIndex.foreach { case (deq, i) =>
1003    deq.bits.common.sqIdx.foreach(_ := deqEntryVec(i).bits.payload.sqIdx)
1004    deq.bits.common.lqIdx.foreach(_ := deqEntryVec(i).bits.payload.lqIdx)
1005    if (params.isVecLdAddrIQ) {
1006      deq.bits.common.ftqIdx.get := deqEntryVec(i).bits.payload.ftqPtr
1007      deq.bits.common.ftqOffset.get := deqEntryVec(i).bits.payload.ftqOffset
1008    }
1009    deq.bits.common.fpu.foreach(_ := deqEntryVec(i).bits.payload.fpu)
1010    deq.bits.common.vpu.foreach(_ := deqEntryVec(i).bits.payload.vpu)
1011    deq.bits.common.vpu.foreach(_.vuopIdx := deqEntryVec(i).bits.payload.uopIdx)
1012    deq.bits.common.vpu.foreach(_.lastUop := deqEntryVec(i).bits.payload.lastUop)
1013  }
1014}
1015