xref: /XiangShan/src/main/scala/xiangshan/backend/issue/EnqEntry.scala (revision df26db8ae9bcfd769f2c401ef67f0e702e046292)
15db4956bSzhanglyGitpackage xiangshan.backend.issue
25db4956bSzhanglyGit
383ba63b3SXuan Huimport org.chipsalliance.cde.config.Parameters
45db4956bSzhanglyGitimport chisel3._
55db4956bSzhanglyGitimport chisel3.util._
65db4956bSzhanglyGitimport utility.HasCircularQueuePtrHelper
75db4956bSzhanglyGitimport utils.{MathUtils, OptionWrapper}
85db4956bSzhanglyGitimport xiangshan._
95db4956bSzhanglyGitimport xiangshan.backend.Bundles._
105db4956bSzhanglyGitimport xiangshan.backend.fu.FuType
115db4956bSzhanglyGitimport xiangshan.backend.datapath.DataSource
125db4956bSzhanglyGitimport xiangshan.backend.rob.RobPtr
13aa2bcc31SzhanglyGitimport xiangshan.backend.issue.EntryBundles._
142d270511Ssinsanctionimport xiangshan.mem.{MemWaitUpdateReq, SqPtr, LqPtr}
155db4956bSzhanglyGit
165db4956bSzhanglyGit
175db4956bSzhanglyGitclass EnqEntryIO(implicit p: Parameters, params: IssueBlockParams) extends XSBundle {
185db4956bSzhanglyGit  //input
19aa2bcc31SzhanglyGit  val commonIn            = new CommonInBundle
20aa2b5219Ssinsanction  val enqDelayWakeUpFromWB: MixedVec[ValidIO[IssueQueueWBWakeUpBundle]] = Flipped(params.genWBWakeUpSinkValidBundle)
21aa2b5219Ssinsanction  val enqDelayWakeUpFromIQ: MixedVec[ValidIO[IssueQueueIQWakeUpBundle]] = Flipped(params.genIQWakeUpSinkValidBundle)
22aa2b5219Ssinsanction  val enqDelayOg0Cancel   = Input(ExuOH(backendParams.numExu))
237cbafe1aSzhanglyGit  val enqDelayLdCancel    = Vec(backendParams.LdExuCnt, Flipped(new LoadCancelIO))
245db4956bSzhanglyGit
25aa2bcc31SzhanglyGit  //output
26aa2bcc31SzhanglyGit  val commonOut           = new CommonOutBundle
27aa2bcc31SzhanglyGit
28aa2bcc31SzhanglyGit  def wakeup              = commonIn.wakeUpFromWB ++ commonIn.wakeUpFromIQ
295db4956bSzhanglyGit}
305db4956bSzhanglyGit
31*df26db8aSsinsanctionclass EnqEntry(isComp: Boolean)(implicit p: Parameters, params: IssueBlockParams) extends XSModule {
325db4956bSzhanglyGit  val io = IO(new EnqEntryIO)
335db4956bSzhanglyGit
345db4956bSzhanglyGit  val validReg            = RegInit(false.B)
35aa2b5219Ssinsanction  val enqDelayValidReg    = RegInit(false.B)
36aa2bcc31SzhanglyGit  val entryReg            = Reg(new EntryBundle)
375db4956bSzhanglyGit
38aa2bcc31SzhanglyGit  val common              = Wire(new CommonWireBundle)
395db4956bSzhanglyGit  val entryUpdate         = Wire(new EntryBundle)
40aa2bcc31SzhanglyGit  val entryRegNext        = Wire(new EntryBundle)
41aa2b5219Ssinsanction  val enqDelayValidRegNext= Wire(Bool())
42aa2bcc31SzhanglyGit  val hasWakeupIQ         = OptionWrapper(params.hasIQWakeUp, Wire(new CommonIQWakeupBundle))
435db4956bSzhanglyGit
44aa2b5219Ssinsanction  val currentStatus               = Wire(new Status())
45aa2b5219Ssinsanction  val enqDelaySrcState            = Wire(Vec(params.numRegSrc, SrcState()))
46aa2b5219Ssinsanction  val enqDelayDataSources         = Wire(Vec(params.numRegSrc, DataSource()))
47aa2b5219Ssinsanction  val enqDelaySrcWakeUpL1ExuOH    = OptionWrapper(params.hasIQWakeUp, Wire(Vec(params.numRegSrc, ExuOH())))
48aa2b5219Ssinsanction  val enqDelaySrcTimer            = OptionWrapper(params.hasIQWakeUp, Wire(Vec(params.numRegSrc, UInt(3.W))))
49aa2b5219Ssinsanction  val enqDelaySrcLoadDependency   = OptionWrapper(params.hasIQWakeUp, Wire(Vec(params.numRegSrc, Vec(LoadPipelineWidth, UInt(3.W)))))
50aa2b5219Ssinsanction
51aa2b5219Ssinsanction  val enqDelaySrcWakeUpByWB: Vec[UInt]                            = Wire(Vec(params.numRegSrc, SrcState()))
52aa2b5219Ssinsanction  val enqDelaySrcWakeUpByIQ: Vec[UInt]                            = Wire(Vec(params.numRegSrc, SrcState()))
53aa2b5219Ssinsanction  val enqDelaySrcWakeUpByIQVec: Vec[Vec[Bool]]                    = Wire(Vec(params.numRegSrc, Vec(params.numWakeupFromIQ, Bool())))
54aa2b5219Ssinsanction  val enqDelayShiftedWakeupLoadDependencyByIQVec: Vec[Vec[UInt]]  = Wire(Vec(params.numWakeupFromIQ, Vec(LoadPipelineWidth, UInt(3.W))))
55aa2b5219Ssinsanction
565db4956bSzhanglyGit  //Reg
57aa2bcc31SzhanglyGit  validReg                        := common.validRegNext
585db4956bSzhanglyGit  entryReg                        := entryRegNext
59aa2b5219Ssinsanction  enqDelayValidReg                := enqDelayValidRegNext
605db4956bSzhanglyGit
615db4956bSzhanglyGit  //Wire
620dfdb52aSzhanglyGit  CommonWireConnect(common, hasWakeupIQ, validReg, currentStatus, io.commonIn, true)
635db4956bSzhanglyGit
64aa2bcc31SzhanglyGit  when(io.commonIn.enq.valid && common.enqReady) {
65aa2bcc31SzhanglyGit    entryRegNext := io.commonIn.enq.bits
665db4956bSzhanglyGit  }.otherwise {
675db4956bSzhanglyGit    entryRegNext := entryUpdate
685db4956bSzhanglyGit  }
695db4956bSzhanglyGit
70aa2bcc31SzhanglyGit  when(io.commonIn.enq.valid && common.enqReady) {
71aa2b5219Ssinsanction    enqDelayValidRegNext := true.B
72aa2b5219Ssinsanction  }.otherwise {
73aa2b5219Ssinsanction    enqDelayValidRegNext := false.B
74aa2b5219Ssinsanction  }
75aa2b5219Ssinsanction
765db4956bSzhanglyGit  if (params.hasIQWakeUp) {
77aa2bcc31SzhanglyGit    ShiftLoadDependency(hasWakeupIQ.get)
780dfdb52aSzhanglyGit    CommonIQWakeupConnect(common, hasWakeupIQ.get, validReg, currentStatus, io.commonIn, true)
795db4956bSzhanglyGit  }
805db4956bSzhanglyGit
81aa2b5219Ssinsanction  // enq delay wakeup
82aa2b5219Ssinsanction  enqDelaySrcWakeUpByWB.zipWithIndex.foreach { case (wakeup, i) =>
83aa2bcc31SzhanglyGit    wakeup := io.enqDelayWakeUpFromWB.map(x => x.bits.wakeUp(Seq((entryReg.status.srcStatus(i).psrc, entryReg.status.srcStatus(i).srcType)), x.valid).head
84aa2b5219Ssinsanction    ).reduce(_ || _)
85aa2b5219Ssinsanction  }
86aa2b5219Ssinsanction
87aa2b5219Ssinsanction  if (params.hasIQWakeUp) {
88aa2b5219Ssinsanction    val wakeupVec: IndexedSeq[IndexedSeq[Bool]] = io.enqDelayWakeUpFromIQ.map( x =>
89aa2bcc31SzhanglyGit      x.bits.wakeUpFromIQ(entryReg.status.srcStatus.map(_.psrc) zip entryReg.status.srcStatus.map(_.srcType))
90aa2b5219Ssinsanction    ).toIndexedSeq.transpose
91d20f567fSzhanglyGit    val cancelSel = params.wakeUpSourceExuIdx.zip(io.enqDelayWakeUpFromIQ).map{ case (x, y) => io.enqDelayOg0Cancel(x) && y.bits.is0Lat}
92aa2b5219Ssinsanction    enqDelaySrcWakeUpByIQVec := wakeupVec.map(x => VecInit(x.zip(cancelSel).map { case (wakeup, cancel) => wakeup && !cancel }))
93aa2b5219Ssinsanction  } else {
94aa2b5219Ssinsanction    enqDelaySrcWakeUpByIQVec := 0.U.asTypeOf(enqDelaySrcWakeUpByIQVec)
95aa2b5219Ssinsanction  }
96aa2b5219Ssinsanction
97aa2b5219Ssinsanction  if (params.hasIQWakeUp) {
98aa2b5219Ssinsanction    enqDelaySrcWakeUpByIQ.zipWithIndex.foreach { case (wakeup, i) =>
99aa2b5219Ssinsanction      val ldTransCancel = Mux1H(enqDelaySrcWakeUpByIQVec(i), io.enqDelayWakeUpFromIQ.map(_.bits.loadDependency).map(dp => LoadShouldCancel(Some(dp), io.enqDelayLdCancel)).toSeq)
100aa2b5219Ssinsanction      wakeup := enqDelaySrcWakeUpByIQVec(i).asUInt.orR && !ldTransCancel
101aa2b5219Ssinsanction    }
102aa2b5219Ssinsanction  } else {
103aa2b5219Ssinsanction    enqDelaySrcWakeUpByIQ := 0.U.asTypeOf(enqDelaySrcWakeUpByIQ)
104aa2b5219Ssinsanction  }
105aa2b5219Ssinsanction
106aa2b5219Ssinsanction  enqDelayShiftedWakeupLoadDependencyByIQVec.zip(io.enqDelayWakeUpFromIQ.map(_.bits.loadDependency))
107aa2b5219Ssinsanction    .zip(params.wakeUpInExuSources.map(_.name)).foreach { case ((dps, ldps), name) =>
108aa2b5219Ssinsanction    dps.zip(ldps).zipWithIndex.foreach { case ((dp, ldp), deqPortIdx) =>
109aa2b5219Ssinsanction      if (params.backendParam.getLdExuIdx(params.backendParam.allExuParams.find(_.name == name).get) == deqPortIdx)
110aa2b5219Ssinsanction        dp := (ldp << 2).asUInt | 2.U
111aa2b5219Ssinsanction      else
112aa2b5219Ssinsanction        dp := ldp << 1
113aa2b5219Ssinsanction    }
114aa2b5219Ssinsanction  }
115aa2b5219Ssinsanction
116aa2b5219Ssinsanction  for (i <- 0 until params.numRegSrc) {
117aa2bcc31SzhanglyGit    enqDelaySrcState(i)                     := entryReg.status.srcStatus(i).srcState | enqDelaySrcWakeUpByWB(i) | enqDelaySrcWakeUpByIQ(i)
118aa2b5219Ssinsanction    enqDelayDataSources(i).value            := Mux(enqDelaySrcWakeUpByIQ(i).asBool, DataSource.bypass, DataSource.reg)
119aa2b5219Ssinsanction    if (params.hasIQWakeUp) {
120aa2b5219Ssinsanction      val wakeUpValid = enqDelaySrcWakeUpByIQVec(i).asUInt.orR
121aa2b5219Ssinsanction      val wakeUpOH = enqDelaySrcWakeUpByIQVec(i)
122acf41503Ssinsanction      enqDelaySrcWakeUpL1ExuOH.get(i)       := Mux1H(wakeUpOH, params.wakeUpSourceExuIdx.map(x => MathUtils.IntToOH(x).U(backendParams.numExu.W)).toSeq)
123aa2b5219Ssinsanction      enqDelaySrcTimer.get(i)               := Mux(wakeUpValid, 2.U, 3.U)
124aa2bcc31SzhanglyGit      enqDelaySrcLoadDependency.get(i)      := Mux(wakeUpValid, Mux1H(wakeUpOH, enqDelayShiftedWakeupLoadDependencyByIQVec), entryReg.status.srcStatus(i).srcLoadDependency.get)
125aa2b5219Ssinsanction    }
126aa2b5219Ssinsanction  }
127aa2b5219Ssinsanction  currentStatus                             := entryReg.status
128aa2b5219Ssinsanction  when (enqDelayValidReg) {
129aa2bcc31SzhanglyGit    currentStatus.srcStatus.zipWithIndex.foreach { case (srcStatus, srcIdx) =>
130aa2bcc31SzhanglyGit      srcStatus.srcState                    := enqDelaySrcState(srcIdx)
131aa2bcc31SzhanglyGit      srcStatus.dataSources                 := enqDelayDataSources(srcIdx)
132aa2bcc31SzhanglyGit      srcStatus.srcTimer.foreach(_          := enqDelaySrcTimer.get(srcIdx))
133aa2bcc31SzhanglyGit      srcStatus.srcLoadDependency.foreach(_ := enqDelaySrcLoadDependency.get(srcIdx))
134aa2bcc31SzhanglyGit    }
135aa2b5219Ssinsanction  }
136aa2b5219Ssinsanction
137acf41503Ssinsanction  if (params.hasIQWakeUp) {
138aa2bcc31SzhanglyGit    currentStatus.srcStatus.map(_.srcWakeUpL1ExuOH.get).zip(entryReg.status.srcStatus.map(_.srcWakeUpL1ExuOH.get)).zip(enqDelaySrcWakeUpL1ExuOH.get).foreach {
139acf41503Ssinsanction      case ((currExuOH, regExuOH), enqDelayExuOH) =>
140acf41503Ssinsanction        currExuOH := 0.U.asTypeOf(currExuOH)
141acf41503Ssinsanction        params.wakeUpSourceExuIdx.foreach(x => currExuOH(x) := Mux(enqDelayValidReg, enqDelayExuOH(x), regExuOH(x)))
142acf41503Ssinsanction    }
143acf41503Ssinsanction  }
144acf41503Ssinsanction
145aa2bcc31SzhanglyGit  EntryRegCommonConnect(common, hasWakeupIQ, validReg, entryUpdate, entryReg, currentStatus, io.commonIn, true)
146e08589a5Ssinsanction
147397c0f33Ssinsanction  //output
148*df26db8aSsinsanction  CommonOutConnect(io.commonOut, common, hasWakeupIQ, validReg, entryUpdate, entryReg, currentStatus, io.commonIn, true, isComp)
1495db4956bSzhanglyGit}
1505db4956bSzhanglyGit
151*df26db8aSsinsanctionclass EnqEntryMem(isComp: Boolean)(implicit p: Parameters, params: IssueBlockParams) extends EnqEntry(isComp)
1525db4956bSzhanglyGit  with HasCircularQueuePtrHelper {
153397c0f33Ssinsanction  EntryMemConnect(io.commonIn, common, validReg, entryReg, entryRegNext, entryUpdate, true)
1545db4956bSzhanglyGit}
1555db4956bSzhanglyGit
156*df26db8aSsinsanctionclass EnqEntryVecMemAddr(isComp: Boolean)(implicit p: Parameters, params: IssueBlockParams) extends EnqEntryMem(isComp) {
1572d270511Ssinsanction
1582d270511Ssinsanction  require(params.isVecMemAddrIQ, "EnqEntryVecMemAddr can only be instance of VecMemAddr IQ")
1592d270511Ssinsanction
1602d270511Ssinsanction  val vecMemStatus = entryReg.status.vecMem.get
1612d270511Ssinsanction  val vecMemStatusNext = entryRegNext.status.vecMem.get
1622d270511Ssinsanction  val vecMemStatusUpdate = entryUpdate.status.vecMem.get
163aa2bcc31SzhanglyGit  val fromLsq = io.commonIn.fromLsq.get
1642d270511Ssinsanction
165aa2bcc31SzhanglyGit  when (io.commonIn.enq.valid && common.enqReady) {
166aa2bcc31SzhanglyGit    vecMemStatusNext.sqIdx := io.commonIn.enq.bits.status.vecMem.get.sqIdx
167aa2bcc31SzhanglyGit    vecMemStatusNext.lqIdx := io.commonIn.enq.bits.status.vecMem.get.lqIdx
1682d270511Ssinsanction  }.otherwise {
1692d270511Ssinsanction    vecMemStatusNext := vecMemStatusUpdate
1702d270511Ssinsanction  }
1712d270511Ssinsanction  vecMemStatusUpdate := vecMemStatus
1722d270511Ssinsanction
1732d270511Ssinsanction  val isLsqHead = {
17429b863e5Szhanglinjuan    // if (params.isVecLdAddrIQ)
17531c1fcd8Szhanglinjuan      entryRegNext.status.vecMem.get.lqIdx <= fromLsq.lqDeqPtr &&
17629b863e5Szhanglinjuan    // else
17731c1fcd8Szhanglinjuan      entryRegNext.status.vecMem.get.sqIdx <= fromLsq.sqDeqPtr
1782d270511Ssinsanction  }
1792d270511Ssinsanction
180aa2bcc31SzhanglyGit  entryUpdate.status.vecMem.get.uopIdx := entryReg.status.vecMem.get.uopIdx
1812d270511Ssinsanction}
1822d270511Ssinsanction
183*df26db8aSsinsanctionclass EnqEntryVecMemData(isComp: Boolean)(implicit p: Parameters, params: IssueBlockParams) extends EnqEntry(isComp)
1842d270511Ssinsanction  with HasCircularQueuePtrHelper {
1852d270511Ssinsanction
1862d270511Ssinsanction  require(params.isVecStDataIQ, "EnqEntryVecMemData can only be instance of VecMemData IQ")
1872d270511Ssinsanction
1882d270511Ssinsanction  val vecMemStatus = entryReg.status.vecMem.get
1892d270511Ssinsanction  val vecMemStatusNext = entryRegNext.status.vecMem.get
1902d270511Ssinsanction  val vecMemStatusUpdate = entryUpdate.status.vecMem.get
191aa2bcc31SzhanglyGit  val fromLsq = io.commonIn.fromLsq.get
1922d270511Ssinsanction
193aa2bcc31SzhanglyGit  when (io.commonIn.enq.valid && common.enqReady) {
194aa2bcc31SzhanglyGit    vecMemStatusNext.sqIdx := io.commonIn.enq.bits.status.vecMem.get.sqIdx
195aa2bcc31SzhanglyGit    vecMemStatusNext.lqIdx := io.commonIn.enq.bits.status.vecMem.get.lqIdx
1962d270511Ssinsanction  }.otherwise {
1972d270511Ssinsanction    vecMemStatusNext := vecMemStatusUpdate
1982d270511Ssinsanction  }
1992d270511Ssinsanction  vecMemStatusUpdate := vecMemStatus
2002d270511Ssinsanction
2012d270511Ssinsanction  val isLsqHead = entryRegNext.status.vecMem.get.sqIdx.value === fromLsq.sqDeqPtr.value
2022d270511Ssinsanction
2032d270511Ssinsanction  entryRegNext.status.blocked := !isLsqHead
2042d270511Ssinsanction  entryUpdate.status.blocked := !isLsqHead
205aa2bcc31SzhanglyGit  entryUpdate.status.vecMem.get.uopIdx := entryReg.status.vecMem.get.uopIdx
2062d270511Ssinsanction}
2072d270511Ssinsanction
2085db4956bSzhanglyGitobject EnqEntry {
209*df26db8aSsinsanction  def apply(isComp: Boolean)(implicit p: Parameters, iqParams: IssueBlockParams): EnqEntry = {
2105db4956bSzhanglyGit    iqParams.schdType match {
211*df26db8aSsinsanction      case IntScheduler() => new EnqEntry(isComp)
2125db4956bSzhanglyGit      case MemScheduler() =>
213*df26db8aSsinsanction        if (iqParams.isLdAddrIQ || iqParams.isStAddrIQ || iqParams.isHyAddrIQ) new EnqEntryMem(isComp)
214*df26db8aSsinsanction        else if (iqParams.isVecMemAddrIQ) new EnqEntryVecMemAddr(isComp)
215*df26db8aSsinsanction        else if (iqParams.isVecStDataIQ) new EnqEntryVecMemData(isComp)
216*df26db8aSsinsanction        else new EnqEntry(isComp)
217*df26db8aSsinsanction      case VfScheduler() => new EnqEntry(isComp)
2185db4956bSzhanglyGit      case _ => null
2195db4956bSzhanglyGit    }
2205db4956bSzhanglyGit  }
2215db4956bSzhanglyGit}