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) 122*53bf098fSxiaofeibao-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 157df26db8aSsinsanctionclass EnqEntryMem(isComp: Boolean)(implicit p: Parameters, params: IssueBlockParams) extends EnqEntry(isComp) 1585db4956bSzhanglyGit with HasCircularQueuePtrHelper { 159397c0f33Ssinsanction EntryMemConnect(io.commonIn, common, validReg, entryReg, entryRegNext, entryUpdate, true) 1605db4956bSzhanglyGit} 1615db4956bSzhanglyGit 162df26db8aSsinsanctionclass EnqEntryVecMemAddr(isComp: Boolean)(implicit p: Parameters, params: IssueBlockParams) extends EnqEntryMem(isComp) { 1632d270511Ssinsanction 1642d270511Ssinsanction require(params.isVecMemAddrIQ, "EnqEntryVecMemAddr can only be instance of VecMemAddr IQ") 1652d270511Ssinsanction 1662d270511Ssinsanction val vecMemStatus = entryReg.status.vecMem.get 1672d270511Ssinsanction val vecMemStatusNext = entryRegNext.status.vecMem.get 1682d270511Ssinsanction val vecMemStatusUpdate = entryUpdate.status.vecMem.get 169aa2bcc31SzhanglyGit val fromLsq = io.commonIn.fromLsq.get 1702d270511Ssinsanction 171aa2bcc31SzhanglyGit when (io.commonIn.enq.valid && common.enqReady) { 172aa2bcc31SzhanglyGit vecMemStatusNext.sqIdx := io.commonIn.enq.bits.status.vecMem.get.sqIdx 173aa2bcc31SzhanglyGit vecMemStatusNext.lqIdx := io.commonIn.enq.bits.status.vecMem.get.lqIdx 1742d270511Ssinsanction }.otherwise { 1752d270511Ssinsanction vecMemStatusNext := vecMemStatusUpdate 1762d270511Ssinsanction } 1772d270511Ssinsanction vecMemStatusUpdate := vecMemStatus 1782d270511Ssinsanction 1792d270511Ssinsanction val isLsqHead = { 18029b863e5Szhanglinjuan // if (params.isVecLdAddrIQ) 18131c1fcd8Szhanglinjuan entryRegNext.status.vecMem.get.lqIdx <= fromLsq.lqDeqPtr && 18229b863e5Szhanglinjuan // else 18331c1fcd8Szhanglinjuan entryRegNext.status.vecMem.get.sqIdx <= fromLsq.sqDeqPtr 1842d270511Ssinsanction } 1852d270511Ssinsanction 186aa2bcc31SzhanglyGit entryUpdate.status.vecMem.get.uopIdx := entryReg.status.vecMem.get.uopIdx 1872d270511Ssinsanction} 1882d270511Ssinsanction 189df26db8aSsinsanctionclass EnqEntryVecMemData(isComp: Boolean)(implicit p: Parameters, params: IssueBlockParams) extends EnqEntry(isComp) 1902d270511Ssinsanction with HasCircularQueuePtrHelper { 1912d270511Ssinsanction 1922d270511Ssinsanction require(params.isVecStDataIQ, "EnqEntryVecMemData can only be instance of VecMemData IQ") 1932d270511Ssinsanction 1942d270511Ssinsanction val vecMemStatus = entryReg.status.vecMem.get 1952d270511Ssinsanction val vecMemStatusNext = entryRegNext.status.vecMem.get 1962d270511Ssinsanction val vecMemStatusUpdate = entryUpdate.status.vecMem.get 197aa2bcc31SzhanglyGit val fromLsq = io.commonIn.fromLsq.get 1982d270511Ssinsanction 199aa2bcc31SzhanglyGit when (io.commonIn.enq.valid && common.enqReady) { 200aa2bcc31SzhanglyGit vecMemStatusNext.sqIdx := io.commonIn.enq.bits.status.vecMem.get.sqIdx 201aa2bcc31SzhanglyGit vecMemStatusNext.lqIdx := io.commonIn.enq.bits.status.vecMem.get.lqIdx 2022d270511Ssinsanction }.otherwise { 2032d270511Ssinsanction vecMemStatusNext := vecMemStatusUpdate 2042d270511Ssinsanction } 2052d270511Ssinsanction vecMemStatusUpdate := vecMemStatus 2062d270511Ssinsanction 2072d270511Ssinsanction val isLsqHead = entryRegNext.status.vecMem.get.sqIdx.value === fromLsq.sqDeqPtr.value 2082d270511Ssinsanction 2092d270511Ssinsanction entryRegNext.status.blocked := !isLsqHead 2102d270511Ssinsanction entryUpdate.status.blocked := !isLsqHead 211aa2bcc31SzhanglyGit entryUpdate.status.vecMem.get.uopIdx := entryReg.status.vecMem.get.uopIdx 2122d270511Ssinsanction} 2132d270511Ssinsanction 2145db4956bSzhanglyGitobject EnqEntry { 215df26db8aSsinsanction def apply(isComp: Boolean)(implicit p: Parameters, iqParams: IssueBlockParams): EnqEntry = { 2165db4956bSzhanglyGit iqParams.schdType match { 217df26db8aSsinsanction case IntScheduler() => new EnqEntry(isComp) 2185db4956bSzhanglyGit case MemScheduler() => 219df26db8aSsinsanction if (iqParams.isLdAddrIQ || iqParams.isStAddrIQ || iqParams.isHyAddrIQ) new EnqEntryMem(isComp) 220df26db8aSsinsanction else if (iqParams.isVecMemAddrIQ) new EnqEntryVecMemAddr(isComp) 221df26db8aSsinsanction else if (iqParams.isVecStDataIQ) new EnqEntryVecMemData(isComp) 222df26db8aSsinsanction else new EnqEntry(isComp) 223df26db8aSsinsanction case VfScheduler() => new EnqEntry(isComp) 2245db4956bSzhanglyGit case _ => null 2255db4956bSzhanglyGit } 2265db4956bSzhanglyGit } 2275db4956bSzhanglyGit}