1package xiangshan.backend.issue 2 3import org.chipsalliance.cde.config.Parameters 4import chisel3._ 5import chisel3.util._ 6import utils.SeqUtils 7import xiangshan.backend.BackendParams 8import xiangshan.backend.Bundles._ 9import xiangshan.backend.datapath.DataConfig.DataConfig 10import xiangshan.backend.datapath.WbConfig._ 11import xiangshan.backend.datapath.{WakeUpConfig, WakeUpSource} 12import xiangshan.backend.exu.{ExeUnit, ExeUnitParams} 13import xiangshan.backend.fu.{FuConfig, FuType} 14import xiangshan.SelImm 15import xiangshan.backend.issue.EntryBundles.EntryDeqRespBundle 16 17case class IssueBlockParams( 18 // top down 19 private val exuParams: Seq[ExeUnitParams], 20 val numEntries : Int, 21 numEnq : Int, 22 numComp : Int, 23 numDeqOutside : Int = 0, 24 numWakeupFromOthers : Int = 0, 25 XLEN : Int = 64, 26 VLEN : Int = 128, 27 // calculate in scheduler 28 var idxInSchBlk : Int = 0, 29)( 30 implicit 31 val schdType: SchedulerType, 32) { 33 var backendParam: BackendParams = null 34 35 val exuBlockParams: Seq[ExeUnitParams] = exuParams.filterNot(_.fakeUnit) 36 37 val allExuParams = exuParams 38 39 def updateIdx(idx: Int): Unit = { 40 this.idxInSchBlk = idx 41 } 42 43 def inMemSchd: Boolean = schdType == MemScheduler() 44 45 def inIntSchd: Boolean = schdType == IntScheduler() 46 47 def inVfSchd: Boolean = schdType == VfScheduler() 48 49 def isMemAddrIQ: Boolean = inMemSchd && (LduCnt > 0 || StaCnt > 0 || VlduCnt > 0 || VstuCnt > 0 || HyuCnt > 0) 50 51 def isLdAddrIQ: Boolean = inMemSchd && LduCnt > 0 52 53 def isStAddrIQ: Boolean = inMemSchd && StaCnt > 0 54 55 def isHyAddrIQ: Boolean = inMemSchd && HyuCnt > 0 56 57 def isVecLduIQ: Boolean = inMemSchd && (VlduCnt + VseglduCnt) > 0 58 59 def isVecStuIQ: Boolean = inMemSchd && (VstuCnt + VsegstuCnt) > 0 60 61 def isVecMemIQ: Boolean = isVecLduIQ || isVecStuIQ 62 63 def needFeedBackSqIdx: Boolean = isVecMemIQ || isStAddrIQ 64 65 def needFeedBackLqIdx: Boolean = isVecMemIQ || isLdAddrIQ 66 67 def needLoadDependency: Boolean = exuBlockParams.map(_.needLoadDependency).reduce(_ || _) 68 69 def numExu: Int = exuBlockParams.count(!_.fakeUnit) 70 71 def numIntSrc: Int = exuBlockParams.map(_.numIntSrc).max 72 73 def numFpSrc: Int = exuBlockParams.map(_.numFpSrc).max 74 75 def numVecSrc: Int = exuBlockParams.map(_.numVecSrc).max 76 77 def numVfSrc: Int = exuBlockParams.map(_.numVfSrc).max 78 79 def numV0Src: Int = exuBlockParams.map(_.numV0Src).max 80 81 def numVlSrc: Int = exuBlockParams.map(_.numVlSrc).max 82 83 def numRegSrc: Int = exuBlockParams.map(_.numRegSrc).max 84 85 def numSrc: Int = exuBlockParams.map(_.numSrc).max 86 87 def readIntRf: Boolean = numIntSrc > 0 88 89 def readFpRf: Boolean = numFpSrc > 0 90 91 def readVecRf: Boolean = numVecSrc > 0 92 93 def readVfRf: Boolean = numVfSrc > 0 94 95 def readV0Rf: Boolean = numV0Src > 0 96 97 def readVlRf: Boolean = numVlSrc > 0 98 99 def writeIntRf: Boolean = exuBlockParams.map(_.writeIntRf).reduce(_ || _) 100 101 def writeFpRf: Boolean = exuBlockParams.map(_.writeFpRf).reduce(_ || _) 102 103 def writeVecRf: Boolean = exuBlockParams.map(_.writeVecRf).reduce(_ || _) 104 105 def writeV0Rf: Boolean = exuBlockParams.map(_.writeV0Rf).reduce(_ || _) 106 107 def writeVlRf: Boolean = exuBlockParams.map(_.writeVlRf).reduce(_ || _) 108 109 def exceptionOut: Seq[Int] = exuBlockParams.map(_.exceptionOut).reduce(_ ++ _).distinct.sorted 110 111 def hasLoadError: Boolean = exuBlockParams.map(_.hasLoadError).reduce(_ || _) 112 113 def flushPipe: Boolean = exuBlockParams.map(_.flushPipe).reduce(_ || _) 114 115 def replayInst: Boolean = exuBlockParams.map(_.replayInst).reduce(_ || _) 116 117 def trigger: Boolean = exuBlockParams.map(_.trigger).reduce(_ || _) 118 119 def needExceptionGen: Boolean = exceptionOut.nonEmpty || flushPipe || replayInst || trigger 120 121 def needPc: Boolean = JmpCnt + BrhCnt + FenceCnt > 0 122 123 def needSrcFrm: Boolean = exuBlockParams.map(_.needSrcFrm).reduce(_ || _) 124 125 def needSrcVxrm: Boolean = exuBlockParams.map(_.needSrcVxrm).reduce(_ || _) 126 127 def writeVConfig: Boolean = exuBlockParams.map(_.writeVConfig).reduce(_ || _) 128 129 def writeVType: Boolean = exuBlockParams.map(_.writeVType).reduce(_ || _) 130 131 def numWriteIntRf: Int = exuBlockParams.count(_.writeIntRf) 132 133 def numWriteFpRf: Int = exuBlockParams.count(_.writeFpRf) 134 135 def numWriteVecRf: Int = exuBlockParams.count(_.writeVecRf) 136 137 def numWriteVfRf: Int = exuBlockParams.count(_.writeVfRf) 138 139 def numNoDataWB: Int = exuBlockParams.count(_.hasNoDataWB) 140 141 def dataBitsMax: Int = if (numVecSrc > 0) VLEN else XLEN 142 143 def numDeq: Int = numDeqOutside + exuBlockParams.length 144 145 def numSimp: Int = numEntries - numEnq - numComp 146 147 def isAllComp: Boolean = numComp == (numEntries - numEnq) 148 149 def isAllSimp: Boolean = numComp == 0 150 151 def hasCompAndSimp: Boolean = !(isAllComp || isAllSimp) 152 153 def JmpCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.jmp)).sum 154 155 def BrhCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.brh)).sum 156 157 def I2fCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.i2f)).sum 158 159 def CsrCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.csr)).sum 160 161 def AluCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.alu)).sum 162 163 def MulCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.mul)).sum 164 165 def DivCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.div)).sum 166 167 def FenceCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.fence)).sum 168 169 def BkuCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.bku)).sum 170 171 def VsetCnt: Int = exuBlockParams.map(_.fuConfigs.count(x => x.fuType == FuType.vsetiwi || x.fuType == FuType.vsetiwf || x.fuType == FuType.vsetfwf)).sum 172 173 def FmacCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.fmac)).sum 174 175 def fDivSqrtCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.fDivSqrt)).sum 176 177 def LduCnt: Int = exuBlockParams.count(x => x.hasLoadFu && !x.hasStoreAddrFu) 178 179 def StaCnt: Int = exuBlockParams.count(x => !x.hasLoadFu && x.hasStoreAddrFu) 180 181 def MouCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.mou)).sum 182 183 def StdCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.name == "std")).sum 184 185 def HyuCnt: Int = exuBlockParams.count(_.hasHyldaFu) // only count hylda, since it equals to hysta 186 187 def LdExuCnt = LduCnt + HyuCnt 188 189 def VipuCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.vipu)).sum 190 191 def VfpuCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.vfpu)).sum 192 193 def VlduCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.vldu)).sum 194 195 def VstuCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.vstu)).sum 196 197 def VseglduCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.vsegldu)).sum 198 199 def VsegstuCnt: Int = exuBlockParams.map(_.fuConfigs.count(_.fuType == FuType.vsegstu)).sum 200 201 def numRedirect: Int = exuBlockParams.count(_.hasRedirect) 202 203 def numWriteRegCache: Int = exuBlockParams.map(x => if (x.needWriteRegCache) 1 else 0).sum 204 205 def needWriteRegCache: Boolean = numWriteRegCache > 0 206 207 def needReadRegCache: Boolean = exuBlockParams.map(_.needReadRegCache).reduce(_ || _) 208 209 def needOg2Resp: Boolean = exuBlockParams.map(_.needOg2).reduce(_ || _) 210 211 /** 212 * Get the regfile type that this issue queue need to read 213 */ 214 def pregReadSet: Set[DataConfig] = exuBlockParams.map(_.pregRdDataCfgSet).fold(Set())(_ union _) 215 216 /** 217 * Get the regfile type that this issue queue need to read 218 */ 219 def pregWriteSet: Set[DataConfig] = exuBlockParams.map(_.pregWbDataCfgSet).fold(Set())(_ union _) 220 221 /** 222 * Get the max width of psrc 223 */ 224 def rdPregIdxWidth = { 225 this.pregReadSet.map(cfg => backendParam.getPregParams(cfg).addrWidth).fold(0)(_ max _) 226 } 227 228 /** 229 * Get the max width of pdest 230 */ 231 def wbPregIdxWidth = { 232 this.pregWriteSet.map(cfg => backendParam.getPregParams(cfg).addrWidth).fold(0)(_ max _) 233 } 234 235 def iqWakeUpSourcePairs: Seq[WakeUpConfig] = exuBlockParams.flatMap(_.iqWakeUpSourcePairs) 236 237 /** 238 * Get exu source wake up 239 */ 240 def wakeUpInExuSources: Seq[WakeUpSource] = { 241 exuBlockParams 242 .flatMap(_.iqWakeUpSinkPairs) 243 .map(_.source) 244 .distinctBy(_.name) 245 } 246 247 def wakeUpOutExuSources: Seq[WakeUpSource] = { 248 exuBlockParams 249 .flatMap(_.iqWakeUpSourcePairs) 250 .map(_.source) 251 .distinctBy(_.name) 252 } 253 254 def wakeUpToExuSinks = exuBlockParams 255 .flatMap(_.iqWakeUpSourcePairs) 256 .map(_.sink).distinct 257 258 def numWakeupToIQ: Int = wakeUpInExuSources.size 259 260 def numWakeupFromIQ: Int = wakeUpInExuSources.size 261 262 def numAllWakeUp: Int = numWakeupFromWB + numWakeupFromIQ + numWakeupFromOthers 263 264 def numWakeupFromWB = { 265 val pregSet = this.pregReadSet 266 pregSet.map(cfg => backendParam.getRfWriteSize(cfg)).sum 267 } 268 269 def hasIQWakeUp: Boolean = numWakeupFromIQ > 0 && numRegSrc > 0 270 271 def needWakeupFromIntWBPort = backendParam.allExuParams.filter(x => !wakeUpInExuSources.map(_.name).contains(x.name) && this.readIntRf).groupBy(x => x.getIntWBPort.getOrElse(IntWB(port = -1)).port).filter(_._1 != -1) 272 273 def needWakeupFromFpWBPort = if (this.exuBlockParams.map(_.hasStdFu).reduce(_ || _)) { 274 // here add fp load WB wakeup to std 275 backendParam.allExuParams.filter(x => (!wakeUpInExuSources.map(_.name).contains(x.name) || x.hasLoadExu) && this.readFpRf).groupBy(x => x.getFpWBPort.getOrElse(FpWB(port = -1)).port).filter(_._1 != -1) 276 } 277 else { 278 backendParam.allExuParams.filter(x => !wakeUpInExuSources.map(_.name).contains(x.name) && this.readFpRf).groupBy(x => x.getFpWBPort.getOrElse(FpWB(port = -1)).port).filter(_._1 != -1) 279 } 280 281 def needWakeupFromVfWBPort = backendParam.allExuParams.filter(x => !wakeUpInExuSources.map(_.name).contains(x.name) && this.readVecRf).groupBy(x => x.getVfWBPort.getOrElse(VfWB(port = -1)).port).filter(_._1 != -1) 282 283 def needWakeupFromV0WBPort = backendParam.allExuParams.filter(x => !wakeUpInExuSources.map(_.name).contains(x.name) && this.readV0Rf).groupBy(x => x.getV0WBPort.getOrElse(V0WB(port = -1)).port).filter(_._1 != -1) 284 285 def needWakeupFromVlWBPort = backendParam.allExuParams.filter(x => !wakeUpInExuSources.map(_.name).contains(x.name) && this.readVlRf).groupBy(x => x.getVlWBPort.getOrElse(VlWB(port = -1)).port).filter(_._1 != -1) 286 287 def hasWakeupFromMem: Boolean = backendParam.allExuParams.filter(x => wakeUpInExuSources.map(_.name).contains(x.name)).map(_.isMemExeUnit).fold(false)(_ | _) 288 289 def hasWakeupFromVf: Boolean = backendParam.allExuParams.filter(x => wakeUpInExuSources.map(_.name).contains(x.name)).map(_.isVfExeUnit).fold(false)(_ | _) 290 291 def getFuCfgs: Seq[FuConfig] = exuBlockParams.flatMap(_.fuConfigs).distinct 292 293 def deqFuCfgs: Seq[Seq[FuConfig]] = exuBlockParams.map(_.fuConfigs) 294 295 def deqFuInterSect: Seq[FuConfig] = if (numDeq == 2) deqFuCfgs(0).intersect(deqFuCfgs(1)) else Seq() 296 297 def deqFuSame: Boolean = (numDeq == 2) && deqFuInterSect.length == deqFuCfgs(0).length && deqFuCfgs(0).length == deqFuCfgs(1).length 298 299 def deqFuDiff: Boolean = (numDeq == 2) && deqFuInterSect.length == 0 300 301 def deqImmTypes: Seq[UInt] = getFuCfgs.flatMap(_.immType).distinct 302 303 // set load imm to 32-bit for fused_lui_load 304 def deqImmTypesMaxLen: Int = if (isLdAddrIQ || isHyAddrIQ) 32 else deqImmTypes.map(SelImm.getImmUnion(_)).maxBy(_.len).len 305 306 def needImm: Boolean = deqImmTypes.nonEmpty 307 308 // cfgs(exuIdx)(set of exu's wb) 309 310 /** 311 * Get [[PregWB]] of this IssueBlock 312 * @return set of [[PregWB]] of [[ExeUnit]] 313 */ 314 def getWbCfgs: Seq[Set[PregWB]] = { 315 exuBlockParams.map(exu => exu.wbPortConfigs.toSet) 316 } 317 318 def canAccept(fuType: UInt): Bool = { 319 Cat(getFuCfgs.map(_.fuType.U === fuType)).orR 320 } 321 322 def bindBackendParam(param: BackendParams): Unit = { 323 backendParam = param 324 } 325 326 def wakeUpSourceExuIdx: Seq[Int] = { 327 wakeUpInExuSources.map(x => backendParam.getExuIdx(x.name)) 328 } 329 330 def genExuInputDecoupledBundle(implicit p: Parameters): MixedVec[DecoupledIO[ExuInput]] = { 331 MixedVec(this.exuBlockParams.map(x => DecoupledIO(x.genExuInputBundle))) 332 } 333 334 def genExuInputDecoupledCopySrcBundle(implicit p: Parameters): MixedVec[DecoupledIO[ExuInput]] = { 335 MixedVec(this.exuBlockParams.map(x => DecoupledIO(x.genExuInputCopySrcBundle))) 336 } 337 338 def genExuOutputDecoupledBundle(implicit p: Parameters): MixedVec[DecoupledIO[ExuOutput]] = { 339 MixedVec(this.exuParams.map(x => DecoupledIO(x.genExuOutputBundle))) 340 } 341 342 def genExuOutputValidBundle(implicit p: Parameters): MixedVec[ValidIO[ExuOutput]] = { 343 MixedVec(this.exuParams.map(x => ValidIO(x.genExuOutputBundle))) 344 } 345 346 def genExuBypassValidBundle(implicit p: Parameters): MixedVec[ValidIO[ExuBypassBundle]] = { 347 MixedVec(this.exuParams.filterNot(_.fakeUnit).map(x => ValidIO(x.genExuBypassBundle))) 348 } 349 350 def genIssueDecoupledBundle(implicit p: Parameters): MixedVec[DecoupledIO[IssueQueueIssueBundle]] = { 351 MixedVec(exuBlockParams.filterNot(_.fakeUnit).map(x => DecoupledIO(new IssueQueueIssueBundle(this, x)))) 352 } 353 354 def genIssueValidBundle(implicit p: Parameters): MixedVec[ValidIO[IssueQueueIssueBundle]] = { 355 MixedVec(exuBlockParams.filterNot(_.fakeUnit).map(x => ValidIO(new IssueQueueIssueBundle(this, x)))) 356 } 357 358 def genWBWakeUpSinkValidBundle(implicit p: Parameters): MixedVec[ValidIO[IssueQueueWBWakeUpBundle]] = { 359 val intBundle: Seq[ValidIO[IssueQueueWBWakeUpBundle]] = schdType match { 360 case IntScheduler() | MemScheduler() => needWakeupFromIntWBPort.map(x => ValidIO(new IssueQueueWBWakeUpBundle(x._2.map(_.exuIdx), backendParam))).toSeq 361 case _ => Seq() 362 } 363 val fpBundle = schdType match { 364 case FpScheduler() | MemScheduler() => needWakeupFromFpWBPort.map(x => ValidIO(new IssueQueueWBWakeUpBundle(x._2.map(_.exuIdx), backendParam))).toSeq 365 case _ => Seq() 366 } 367 val vfBundle = schdType match { 368 case VfScheduler() | MemScheduler() => needWakeupFromVfWBPort.map(x => ValidIO(new IssueQueueWBWakeUpBundle(x._2.map(_.exuIdx), backendParam))).toSeq 369 case _ => Seq() 370 } 371 val v0Bundle = schdType match { 372 case VfScheduler() | MemScheduler() => needWakeupFromV0WBPort.map(x => ValidIO(new IssueQueueWBWakeUpBundle(x._2.map(_.exuIdx), backendParam))).toSeq 373 case _ => Seq() 374 } 375 val vlBundle = schdType match { 376 case VfScheduler() | MemScheduler() => needWakeupFromVlWBPort.map(x => ValidIO(new IssueQueueWBWakeUpBundle(x._2.map(_.exuIdx), backendParam))).toSeq 377 case _ => Seq() 378 } 379 MixedVec(intBundle ++ fpBundle ++ vfBundle ++ v0Bundle ++ vlBundle) 380 } 381 382 def genIQWakeUpSourceValidBundle(implicit p: Parameters): MixedVec[ValidIO[IssueQueueIQWakeUpBundle]] = { 383 MixedVec(exuBlockParams.map(x => ValidIO(new IssueQueueIQWakeUpBundle(x.exuIdx, backendParam, x.copyWakeupOut, x.copyNum)))) 384 } 385 386 def genIQWakeUpSinkValidBundle(implicit p: Parameters): MixedVec[ValidIO[IssueQueueIQWakeUpBundle]] = { 387 MixedVec(this.wakeUpInExuSources.map(x => ValidIO(new IssueQueueIQWakeUpBundle(backendParam.getExuIdx(x.name), backendParam)))) 388 } 389 390 def genOGRespBundle(implicit p: Parameters) = { 391 implicit val issueBlockParams = this 392 MixedVec(exuBlockParams.map(_ => new OGRespBundle)) 393 } 394 395 def genOG2RespBundle(implicit p: Parameters) = { 396 implicit val issueBlockParams = this 397 MixedVec(exuBlockParams.map(_ => new Valid(new EntryDeqRespBundle))) 398 } 399 400 def genWbFuBusyTableWriteBundle(implicit p: Parameters) = { 401 implicit val issueBlockParams = this 402 MixedVec(exuBlockParams.map(x => new WbFuBusyTableWriteBundle(x))) 403 } 404 405 def genWbFuBusyTableReadBundle(implicit p: Parameters) = { 406 implicit val issueBlockParams = this 407 MixedVec(exuBlockParams.map{ x => 408 new WbFuBusyTableReadBundle(x) 409 }) 410 } 411 412 def genWbConflictBundle()(implicit p: Parameters) = { 413 implicit val issueBlockParams = this 414 MixedVec(exuBlockParams.map { x => 415 new WbConflictBundle(x) 416 }) 417 } 418 419 def getIQName = { 420 "IssueQueue" ++ getFuCfgs.map(_.name).distinct.map(_.capitalize).reduce(_ ++ _) 421 } 422 423 def getEntryName = { 424 "Entries" ++ getFuCfgs.map(_.name).distinct.map(_.capitalize).reduce(_ ++ _) 425 } 426} 427