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