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