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}