xref: /XiangShan/src/main/scala/xiangshan/backend/issue/EnqEntry.scala (revision e07131b2202733f91952f24c0f3a17343eaaee56)
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
31df26db8aSsinsanctionclass 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))))
49eea4a3caSzhanglyGit  val enqDelaySrcLoadDependency   = 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
6428607074Ssinsanction  when(io.commonIn.enq.valid) {
6528607074Ssinsanction    assert(common.enqReady, "Entry is not ready when enq is valid\n")
6628607074Ssinsanction  }
6728607074Ssinsanction
68aa2bcc31SzhanglyGit  when(io.commonIn.enq.valid && common.enqReady) {
69aa2bcc31SzhanglyGit    entryRegNext := io.commonIn.enq.bits
705db4956bSzhanglyGit  }.otherwise {
715db4956bSzhanglyGit    entryRegNext := entryUpdate
725db4956bSzhanglyGit  }
735db4956bSzhanglyGit
74aa2bcc31SzhanglyGit  when(io.commonIn.enq.valid && common.enqReady) {
75aa2b5219Ssinsanction    enqDelayValidRegNext := true.B
76aa2b5219Ssinsanction  }.otherwise {
77aa2b5219Ssinsanction    enqDelayValidRegNext := false.B
78aa2b5219Ssinsanction  }
79aa2b5219Ssinsanction
805db4956bSzhanglyGit  if (params.hasIQWakeUp) {
81aa2bcc31SzhanglyGit    ShiftLoadDependency(hasWakeupIQ.get)
820dfdb52aSzhanglyGit    CommonIQWakeupConnect(common, hasWakeupIQ.get, validReg, currentStatus, io.commonIn, true)
835db4956bSzhanglyGit  }
845db4956bSzhanglyGit
85aa2b5219Ssinsanction  // enq delay wakeup
86aa2b5219Ssinsanction  enqDelaySrcWakeUpByWB.zipWithIndex.foreach { case (wakeup, i) =>
87aa2bcc31SzhanglyGit    wakeup := io.enqDelayWakeUpFromWB.map(x => x.bits.wakeUp(Seq((entryReg.status.srcStatus(i).psrc, entryReg.status.srcStatus(i).srcType)), x.valid).head
88aa2b5219Ssinsanction    ).reduce(_ || _)
89aa2b5219Ssinsanction  }
90aa2b5219Ssinsanction
91aa2b5219Ssinsanction  if (params.hasIQWakeUp) {
92aa2b5219Ssinsanction    val wakeupVec: IndexedSeq[IndexedSeq[Bool]] = io.enqDelayWakeUpFromIQ.map( x =>
93aa2bcc31SzhanglyGit      x.bits.wakeUpFromIQ(entryReg.status.srcStatus.map(_.psrc) zip entryReg.status.srcStatus.map(_.srcType))
94aa2b5219Ssinsanction    ).toIndexedSeq.transpose
95d20f567fSzhanglyGit    val cancelSel = params.wakeUpSourceExuIdx.zip(io.enqDelayWakeUpFromIQ).map{ case (x, y) => io.enqDelayOg0Cancel(x) && y.bits.is0Lat}
96aa2b5219Ssinsanction    enqDelaySrcWakeUpByIQVec := wakeupVec.map(x => VecInit(x.zip(cancelSel).map { case (wakeup, cancel) => wakeup && !cancel }))
97aa2b5219Ssinsanction  } else {
98aa2b5219Ssinsanction    enqDelaySrcWakeUpByIQVec := 0.U.asTypeOf(enqDelaySrcWakeUpByIQVec)
99aa2b5219Ssinsanction  }
100aa2b5219Ssinsanction
101aa2b5219Ssinsanction  if (params.hasIQWakeUp) {
102aa2b5219Ssinsanction    enqDelaySrcWakeUpByIQ.zipWithIndex.foreach { case (wakeup, i) =>
103aa2b5219Ssinsanction      val ldTransCancel = Mux1H(enqDelaySrcWakeUpByIQVec(i), io.enqDelayWakeUpFromIQ.map(_.bits.loadDependency).map(dp => LoadShouldCancel(Some(dp), io.enqDelayLdCancel)).toSeq)
104aa2b5219Ssinsanction      wakeup := enqDelaySrcWakeUpByIQVec(i).asUInt.orR && !ldTransCancel
105aa2b5219Ssinsanction    }
106aa2b5219Ssinsanction  } else {
107aa2b5219Ssinsanction    enqDelaySrcWakeUpByIQ := 0.U.asTypeOf(enqDelaySrcWakeUpByIQ)
108aa2b5219Ssinsanction  }
109aa2b5219Ssinsanction
110aa2b5219Ssinsanction  enqDelayShiftedWakeupLoadDependencyByIQVec.zip(io.enqDelayWakeUpFromIQ.map(_.bits.loadDependency))
111aa2b5219Ssinsanction    .zip(params.wakeUpInExuSources.map(_.name)).foreach { case ((dps, ldps), name) =>
112aa2b5219Ssinsanction    dps.zip(ldps).zipWithIndex.foreach { case ((dp, ldp), deqPortIdx) =>
113aa2b5219Ssinsanction      if (params.backendParam.getLdExuIdx(params.backendParam.allExuParams.find(_.name == name).get) == deqPortIdx)
114aa2b5219Ssinsanction        dp := (ldp << 2).asUInt | 2.U
115aa2b5219Ssinsanction      else
116aa2b5219Ssinsanction        dp := ldp << 1
117aa2b5219Ssinsanction    }
118aa2b5219Ssinsanction  }
119aa2b5219Ssinsanction
120aa2b5219Ssinsanction  for (i <- 0 until params.numRegSrc) {
121aa2bcc31SzhanglyGit    enqDelaySrcState(i)                     := entryReg.status.srcStatus(i).srcState | enqDelaySrcWakeUpByWB(i) | enqDelaySrcWakeUpByIQ(i)
12253bf098fSxiaofeibao-xjtu    enqDelayDataSources(i).value            := Mux(enqDelaySrcWakeUpByIQ(i).asBool, DataSource.bypass, entryReg.status.srcStatus(i).dataSources.value)
123aa2b5219Ssinsanction    if (params.hasIQWakeUp) {
124aa2b5219Ssinsanction      val wakeUpValid = enqDelaySrcWakeUpByIQVec(i).asUInt.orR
125aa2b5219Ssinsanction      val wakeUpOH = enqDelaySrcWakeUpByIQVec(i)
126acf41503Ssinsanction      enqDelaySrcWakeUpL1ExuOH.get(i)       := Mux1H(wakeUpOH, params.wakeUpSourceExuIdx.map(x => MathUtils.IntToOH(x).U(backendParams.numExu.W)).toSeq)
127aa2b5219Ssinsanction      enqDelaySrcTimer.get(i)               := Mux(wakeUpValid, 2.U, 3.U)
128eea4a3caSzhanglyGit      enqDelaySrcLoadDependency(i)          := Mux(enqDelaySrcWakeUpByIQVec(i).asUInt.orR, Mux1H(enqDelaySrcWakeUpByIQVec(i), enqDelayShiftedWakeupLoadDependencyByIQVec), entryReg.status.srcStatus(i).srcLoadDependency)
129eea4a3caSzhanglyGit    } else {
130eea4a3caSzhanglyGit      enqDelaySrcLoadDependency(i)          := entryReg.status.srcStatus(i).srcLoadDependency
131aa2b5219Ssinsanction    }
132aa2b5219Ssinsanction  }
133aa2b5219Ssinsanction  currentStatus                             := entryReg.status
134aa2b5219Ssinsanction  when (enqDelayValidReg) {
135aa2bcc31SzhanglyGit    currentStatus.srcStatus.zipWithIndex.foreach { case (srcStatus, srcIdx) =>
136aa2bcc31SzhanglyGit      srcStatus.srcState                    := enqDelaySrcState(srcIdx)
137aa2bcc31SzhanglyGit      srcStatus.dataSources                 := enqDelayDataSources(srcIdx)
138aa2bcc31SzhanglyGit      srcStatus.srcTimer.foreach(_          := enqDelaySrcTimer.get(srcIdx))
139eea4a3caSzhanglyGit      srcStatus.srcLoadDependency           := enqDelaySrcLoadDependency(srcIdx)
140aa2bcc31SzhanglyGit    }
141aa2b5219Ssinsanction  }
142aa2b5219Ssinsanction
143acf41503Ssinsanction  if (params.hasIQWakeUp) {
144aa2bcc31SzhanglyGit    currentStatus.srcStatus.map(_.srcWakeUpL1ExuOH.get).zip(entryReg.status.srcStatus.map(_.srcWakeUpL1ExuOH.get)).zip(enqDelaySrcWakeUpL1ExuOH.get).foreach {
145acf41503Ssinsanction      case ((currExuOH, regExuOH), enqDelayExuOH) =>
146acf41503Ssinsanction        currExuOH := 0.U.asTypeOf(currExuOH)
147acf41503Ssinsanction        params.wakeUpSourceExuIdx.foreach(x => currExuOH(x) := Mux(enqDelayValidReg, enqDelayExuOH(x), regExuOH(x)))
148acf41503Ssinsanction    }
149acf41503Ssinsanction  }
150acf41503Ssinsanction
151aa2bcc31SzhanglyGit  EntryRegCommonConnect(common, hasWakeupIQ, validReg, entryUpdate, entryReg, currentStatus, io.commonIn, true)
152e08589a5Ssinsanction
153397c0f33Ssinsanction  //output
154df26db8aSsinsanction  CommonOutConnect(io.commonOut, common, hasWakeupIQ, validReg, entryUpdate, entryReg, currentStatus, io.commonIn, true, isComp)
1555db4956bSzhanglyGit}
1565db4956bSzhanglyGit
157*e07131b2Ssinsanctionclass EnqEntryVecMem(isComp: Boolean)(implicit p: Parameters, params: IssueBlockParams) extends EnqEntry(isComp)
1582d270511Ssinsanction  with HasCircularQueuePtrHelper {
1592d270511Ssinsanction
160*e07131b2Ssinsanction  require(params.isVecMemIQ, "EnqEntryVecMem can only be instance of VecMem IQ")
1612d270511Ssinsanction
162*e07131b2Ssinsanction  EntryVecMemConnect(io.commonIn, common, validReg, entryReg, entryRegNext, entryUpdate)
1632d270511Ssinsanction}
1642d270511Ssinsanction
1655db4956bSzhanglyGitobject EnqEntry {
166df26db8aSsinsanction  def apply(isComp: Boolean)(implicit p: Parameters, iqParams: IssueBlockParams): EnqEntry = {
1675db4956bSzhanglyGit    iqParams.schdType match {
168df26db8aSsinsanction      case IntScheduler() => new EnqEntry(isComp)
1695db4956bSzhanglyGit      case MemScheduler() =>
170*e07131b2Ssinsanction        if (iqParams.isVecMemIQ) new EnqEntryVecMem(isComp)
171df26db8aSsinsanction        else new EnqEntry(isComp)
172df26db8aSsinsanction      case VfScheduler() => new EnqEntry(isComp)
1735db4956bSzhanglyGit      case _ => null
1745db4956bSzhanglyGit    }
1755db4956bSzhanglyGit  }
1765db4956bSzhanglyGit}