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