xref: /XiangShan/src/main/scala/xiangshan/backend/datapath/DataPath.scala (revision f4dcd9fc49d9ab535ed7fd11fae66e076967b2c9)
1730cfbc0SXuan Hupackage xiangshan.backend.datapath
2730cfbc0SXuan Hu
3730cfbc0SXuan Huimport chipsalliance.rocketchip.config.Parameters
439c59369SXuan Huimport chisel3._
5730cfbc0SXuan Huimport chisel3.util._
6730cfbc0SXuan Huimport difftest.{DifftestArchFpRegState, DifftestArchIntRegState, DifftestArchVecRegState}
7730cfbc0SXuan Huimport freechips.rocketchip.diplomacy.{LazyModule, LazyModuleImp}
8730cfbc0SXuan Huimport utility._
939c59369SXuan Huimport utils.SeqUtils._
10730cfbc0SXuan Huimport xiangshan._
11730cfbc0SXuan Huimport xiangshan.backend.BackendParams
1239c59369SXuan Huimport xiangshan.backend.Bundles._
13*f4dcd9fcSsinsanctionimport xiangshan.backend.decode.ImmUnion
14730cfbc0SXuan Huimport xiangshan.backend.datapath.DataConfig._
15730cfbc0SXuan Huimport xiangshan.backend.datapath.RdConfig._
16730cfbc0SXuan Huimport xiangshan.backend.issue.{ImmExtractor, IntScheduler, MemScheduler, VfScheduler}
17730cfbc0SXuan Huimport xiangshan.backend.regfile._
18730cfbc0SXuan Hu
19730cfbc0SXuan Huclass DataPath(params: BackendParams)(implicit p: Parameters) extends LazyModule {
20730cfbc0SXuan Hu  private implicit val dpParams: BackendParams = params
21730cfbc0SXuan Hu  lazy val module = new DataPathImp(this)
2239c59369SXuan Hu
2339c59369SXuan Hu  println(s"[DataPath] Preg Params: ")
2439c59369SXuan Hu  println(s"[DataPath]   Int R(${params.getRfReadSize(IntData())}), W(${params.getRfWriteSize(IntData())}) ")
2539c59369SXuan Hu  println(s"[DataPath]   Vf R(${params.getRfReadSize(VecData())}), W(${params.getRfWriteSize(VecData())}) ")
26730cfbc0SXuan Hu}
27730cfbc0SXuan Hu
28730cfbc0SXuan Huclass DataPathImp(override val wrapper: DataPath)(implicit p: Parameters, params: BackendParams)
29730cfbc0SXuan Hu  extends LazyModuleImp(wrapper) with HasXSParameter {
30730cfbc0SXuan Hu
31d91483a6Sfdy  private val VCONFIG_PORT = params.vconfigPort
32d91483a6Sfdy
33730cfbc0SXuan Hu  val io = IO(new DataPathIO())
34730cfbc0SXuan Hu
35730cfbc0SXuan Hu  private val (fromIntIQ, toIntIQ, toIntExu) = (io.fromIntIQ, io.toIntIQ, io.toIntExu)
36730cfbc0SXuan Hu  private val (fromMemIQ, toMemIQ, toMemExu) = (io.fromMemIQ, io.toMemIQ, io.toMemExu)
37730cfbc0SXuan Hu  private val (fromVfIQ , toVfIQ , toVfExu ) = (io.fromVfIQ , io.toVfIQ , io.toFpExu)
38bf35baadSXuan Hu  private val (fromIntExus, fromVfExus) = (io.fromIntExus, io.fromVfExus)
39730cfbc0SXuan Hu
40730cfbc0SXuan Hu  println(s"[DataPath] IntIQ(${fromIntIQ.size}), MemIQ(${fromMemIQ.size})")
41730cfbc0SXuan Hu  println(s"[DataPath] IntExu(${fromIntIQ.map(_.size).sum}), MemExu(${fromMemIQ.map(_.size).sum})")
42730cfbc0SXuan Hu
43730cfbc0SXuan Hu  // just refences for convience
44730cfbc0SXuan Hu  private val fromIQ = fromIntIQ ++ fromVfIQ ++ fromMemIQ
45730cfbc0SXuan Hu
46730cfbc0SXuan Hu  private val toIQs = toIntIQ ++ toVfIQ ++ toMemIQ
47730cfbc0SXuan Hu
48730cfbc0SXuan Hu  private val toExu = toIntExu ++ toVfExu ++ toMemExu
49730cfbc0SXuan Hu
50bf35baadSXuan Hu  private val fromExus = fromIntExus ++ fromVfExus
51bf35baadSXuan Hu
5210fe9778SXuan Hu  private val fromFlattenIQ: Seq[DecoupledIO[IssueQueueIssueBundle]] = fromIQ.flatten
5310fe9778SXuan Hu
5410fe9778SXuan Hu  private val toFlattenExu: Seq[DecoupledIO[ExuInput]] = toExu.flatten
5510fe9778SXuan Hu
5639c59369SXuan Hu  private val intWbBusyArbiter = Module(new IntRFWBCollideChecker(backendParams))
5739c59369SXuan Hu  private val vfWbBusyArbiter = Module(new VfRFWBCollideChecker(backendParams))
5839c59369SXuan Hu  private val intRFReadArbiter = Module(new IntRFReadArbiter(backendParams))
5939c59369SXuan Hu  private val vfRFReadArbiter = Module(new VfRFReadArbiter(backendParams))
60730cfbc0SXuan Hu
61c0be7f33SXuan Hu  private val og0FailedVec2: MixedVec[Vec[Bool]] = Wire(MixedVec(fromIQ.map(x => Vec(x.size, Bool()))))
62c0be7f33SXuan Hu  private val og1FailedVec2: MixedVec[Vec[Bool]] = Wire(MixedVec(fromIQ.map(x => Vec(x.size, Bool()))))
63c0be7f33SXuan Hu
6439c59369SXuan Hu  // port -> win
6539c59369SXuan Hu  private val intRdArbWinner: Seq2[MixedVec[Bool]] = intRFReadArbiter.io.in.map(_.map(x => MixedVecInit(x.map(_.ready))))
6639c59369SXuan Hu  private val vfRdArbWinner: Seq2[MixedVec[Bool]] = vfRFReadArbiter.io.in.map(_.map(x => MixedVecInit(x.map(_.ready))))
6739c59369SXuan Hu  private val intWbNotBlock: Seq[MixedVec[Bool]] = intWbBusyArbiter.io.in.map(x => MixedVecInit(x.map(_.ready)))
6839c59369SXuan Hu  private val vfWbNotBlock: Seq[MixedVec[Bool]] = vfWbBusyArbiter.io.in.map(x => MixedVecInit(x.map(_.ready)))
69730cfbc0SXuan Hu
7039c59369SXuan Hu  private val intRdNotBlock: Seq2[Bool] = intRdArbWinner.map(_.map(_.asUInt.andR))
7139c59369SXuan Hu  private val vfRdNotBlock: Seq2[Bool] = vfRdArbWinner.map(_.map(_.asUInt.andR))
72730cfbc0SXuan Hu
7339c59369SXuan Hu  private val intRFReadReq: Seq3[ValidIO[RfReadPortWithConfig]] = fromIQ.map(x => x.map(xx => xx.bits.getIntRfReadValidBundle(xx.valid)))
74b6b11f60SXuan Hu
7539c59369SXuan Hu  intRFReadArbiter.io.in.zip(intRFReadReq).zipWithIndex.foreach { case ((arbInSeq2, inRFReadReqSeq2), iqIdx) =>
7639c59369SXuan Hu    arbInSeq2.zip(inRFReadReqSeq2).zipWithIndex.foreach { case ((arbInSeq, inRFReadReqSeq), exuIdx) =>
7739c59369SXuan Hu      val srcIndices: Seq[Int] = fromIQ(iqIdx)(exuIdx).bits.exuParams.getRfReadSrcIdx(IntData())
7839c59369SXuan Hu      for (srcIdx <- 0 until fromIQ(iqIdx)(exuIdx).bits.exuParams.numRegSrc) {
7939c59369SXuan Hu        if (srcIndices.contains(srcIdx) && inRFReadReqSeq.isDefinedAt(srcIdx)) {
8039c59369SXuan Hu          arbInSeq(srcIdx).valid := inRFReadReqSeq(srcIdx).valid
8139c59369SXuan Hu          arbInSeq(srcIdx).bits.addr := inRFReadReqSeq(srcIdx).bits.addr
8239c59369SXuan Hu        } else {
8339c59369SXuan Hu          arbInSeq(srcIdx).valid := false.B
8439c59369SXuan Hu          arbInSeq(srcIdx).bits.addr := 0.U
853fd20becSczw        }
8639c59369SXuan Hu      }
8739c59369SXuan Hu    }
8839c59369SXuan Hu  }
892e0a7dc5Sfdy
9039c59369SXuan Hu  private val vfRFReadReq: Seq3[ValidIO[RfReadPortWithConfig]] = fromIQ.map(x => x.map(xx => xx.bits.getVfRfReadValidBundle(xx.valid)))
9139c59369SXuan Hu
9239c59369SXuan Hu  vfRFReadArbiter.io.in.zip(vfRFReadReq).zipWithIndex.foreach { case ((arbInSeq2, inRFReadReqSeq2), iqIdx) =>
9339c59369SXuan Hu    arbInSeq2.zip(inRFReadReqSeq2).zipWithIndex.foreach { case ((arbInSeq, inRFReadReqSeq), exuIdx) =>
9439c59369SXuan Hu      val srcIndices: Seq[Int] = VfRegSrcDataSet.flatMap(data => fromIQ(iqIdx)(exuIdx).bits.exuParams.getRfReadSrcIdx(data)).toSeq.sorted
9539c59369SXuan Hu      for (srcIdx <- 0 until fromIQ(iqIdx)(exuIdx).bits.exuParams.numRegSrc) {
9639c59369SXuan Hu        if (srcIndices.contains(srcIdx) && inRFReadReqSeq.isDefinedAt(srcIdx)) {
9739c59369SXuan Hu          arbInSeq(srcIdx).valid := inRFReadReqSeq(srcIdx).valid
9839c59369SXuan Hu          arbInSeq(srcIdx).bits.addr := inRFReadReqSeq(srcIdx).bits.addr
9939c59369SXuan Hu        } else {
10039c59369SXuan Hu          arbInSeq(srcIdx).valid := false.B
10139c59369SXuan Hu          arbInSeq(srcIdx).bits.addr := 0.U
102730cfbc0SXuan Hu        }
103730cfbc0SXuan Hu      }
10439c59369SXuan Hu    }
10539c59369SXuan Hu  }
10639c59369SXuan Hu
10739c59369SXuan Hu  private val intRFWriteReq: Seq2[Bool] = fromIQ.map(x => x.map(xx => xx.valid && xx.bits.common.rfWen.getOrElse(false.B)))
10839c59369SXuan Hu  private val vfRFWriteReq: Seq2[Bool] = fromIQ.map(x => x.map(xx => xx.valid && xx.bits.common.getVfWen.getOrElse(false.B)))
10939c59369SXuan Hu
11039c59369SXuan Hu  intWbBusyArbiter.io.in.zip(intRFWriteReq).foreach { case (arbInSeq, inRFWriteReqSeq) =>
11139c59369SXuan Hu    arbInSeq.zip(inRFWriteReqSeq).foreach { case (arbIn, inRFWriteReq) =>
11239c59369SXuan Hu      arbIn.valid := inRFWriteReq
11339c59369SXuan Hu    }
11439c59369SXuan Hu  }
11539c59369SXuan Hu
11639c59369SXuan Hu  vfWbBusyArbiter.io.in.zip(vfRFWriteReq).foreach { case (arbInSeq, inRFWriteReqSeq) =>
11739c59369SXuan Hu    arbInSeq.zip(inRFWriteReqSeq).foreach { case (arbIn, inRFWriteReq) =>
11839c59369SXuan Hu      arbIn.valid := inRFWriteReq
11939c59369SXuan Hu    }
12039c59369SXuan Hu  }
121730cfbc0SXuan Hu
122730cfbc0SXuan Hu  private val intSchdParams = params.schdParams(IntScheduler())
123730cfbc0SXuan Hu  private val vfSchdParams = params.schdParams(VfScheduler())
124730cfbc0SXuan Hu  private val memSchdParams = params.schdParams(MemScheduler())
125730cfbc0SXuan Hu
126730cfbc0SXuan Hu  private val numIntRfReadByExu = intSchdParams.numIntRfReadByExu + memSchdParams.numIntRfReadByExu
127730cfbc0SXuan Hu  private val numVfRfReadByExu = vfSchdParams.numVfRfReadByExu + memSchdParams.numVfRfReadByExu
128730cfbc0SXuan Hu  // Todo: limit read port
129730cfbc0SXuan Hu  private val numIntR = numIntRfReadByExu
130730cfbc0SXuan Hu  private val numVfR = numVfRfReadByExu
131730cfbc0SXuan Hu  println(s"[DataPath] RegFile read req needed by Exu: Int(${numIntRfReadByExu}), Vf(${numVfRfReadByExu})")
132730cfbc0SXuan Hu  println(s"[DataPath] RegFile read port: Int(${numIntR}), Vf(${numVfR})")
133730cfbc0SXuan Hu
134730cfbc0SXuan Hu  private val schdParams = params.allSchdParams
135730cfbc0SXuan Hu
13639c59369SXuan Hu  private val intRfRaddr = Wire(Vec(params.numPregRd(IntData()), UInt(intSchdParams.pregIdxWidth.W)))
13739c59369SXuan Hu  private val intRfRdata = Wire(Vec(params.numPregRd(IntData()), UInt(intSchdParams.rfDataWidth.W)))
138730cfbc0SXuan Hu  private val intRfWen = Wire(Vec(io.fromIntWb.length, Bool()))
139730cfbc0SXuan Hu  private val intRfWaddr = Wire(Vec(io.fromIntWb.length, UInt(intSchdParams.pregIdxWidth.W)))
140730cfbc0SXuan Hu  private val intRfWdata = Wire(Vec(io.fromIntWb.length, UInt(intSchdParams.rfDataWidth.W)))
141730cfbc0SXuan Hu
142730cfbc0SXuan Hu  private val vfRfSplitNum = VLEN / XLEN
14339c59369SXuan Hu  private val vfRfRaddr = Wire(Vec(params.numPregRd(VecData()), UInt(vfSchdParams.pregIdxWidth.W)))
14439c59369SXuan Hu  private val vfRfRdata = Wire(Vec(params.numPregRd(VecData()), UInt(vfSchdParams.rfDataWidth.W)))
145730cfbc0SXuan Hu  private val vfRfWen = Wire(Vec(vfRfSplitNum, Vec(io.fromVfWb.length, Bool())))
146730cfbc0SXuan Hu  private val vfRfWaddr = Wire(Vec(io.fromVfWb.length, UInt(vfSchdParams.pregIdxWidth.W)))
147730cfbc0SXuan Hu  private val vfRfWdata = Wire(Vec(io.fromVfWb.length, UInt(vfSchdParams.rfDataWidth.W)))
148730cfbc0SXuan Hu
149730cfbc0SXuan Hu  private val intDebugRead: Option[(Vec[UInt], Vec[UInt])] =
150730cfbc0SXuan Hu    if (env.AlwaysBasicDiff || env.EnableDifftest) {
151730cfbc0SXuan Hu      Some(Wire(Vec(32, UInt(intSchdParams.pregIdxWidth.W))), Wire(Vec(32, UInt(XLEN.W))))
152730cfbc0SXuan Hu    } else { None }
153730cfbc0SXuan Hu  private val vfDebugRead: Option[(Vec[UInt], Vec[UInt])] =
154730cfbc0SXuan Hu    if (env.AlwaysBasicDiff || env.EnableDifftest) {
155a8db15d8Sfdy      Some(Wire(Vec(32 + 32 + 1, UInt(vfSchdParams.pregIdxWidth.W))), Wire(Vec(32 + 32 + 1, UInt(VLEN.W))))
156730cfbc0SXuan Hu    } else { None }
157730cfbc0SXuan Hu
158730cfbc0SXuan Hu  private val fpDebugReadData: Option[Vec[UInt]] =
159730cfbc0SXuan Hu    if (env.AlwaysBasicDiff || env.EnableDifftest) {
160730cfbc0SXuan Hu      Some(Wire(Vec(32, UInt(XLEN.W))))
161730cfbc0SXuan Hu    } else { None }
162730cfbc0SXuan Hu  private val vecDebugReadData: Option[Vec[UInt]] =
163730cfbc0SXuan Hu    if (env.AlwaysBasicDiff || env.EnableDifftest) {
164730cfbc0SXuan Hu      Some(Wire(Vec(64, UInt(64.W)))) // v0 = Cat(Vec(1), Vec(0))
165730cfbc0SXuan Hu    } else { None }
166e2e5f6b0SXuan Hu  private val vconfigDebugReadData: Option[UInt] =
167e2e5f6b0SXuan Hu    if (env.AlwaysBasicDiff || env.EnableDifftest) {
168e2e5f6b0SXuan Hu      Some(Wire(UInt(64.W)))
169e2e5f6b0SXuan Hu    } else { None }
170e2e5f6b0SXuan Hu
171730cfbc0SXuan Hu
172730cfbc0SXuan Hu  fpDebugReadData.foreach(_ := vfDebugRead
173730cfbc0SXuan Hu    .get._2
174730cfbc0SXuan Hu    .slice(0, 32)
175730cfbc0SXuan Hu    .map(_(63, 0))
176730cfbc0SXuan Hu  ) // fp only used [63, 0]
177730cfbc0SXuan Hu  vecDebugReadData.foreach(_ := vfDebugRead
178730cfbc0SXuan Hu    .get._2
179730cfbc0SXuan Hu    .slice(32, 64)
180730cfbc0SXuan Hu    .map(x => Seq(x(63, 0), x(127, 64))).flatten
181730cfbc0SXuan Hu  )
182e2e5f6b0SXuan Hu  vconfigDebugReadData.foreach(_ := vfDebugRead
183e2e5f6b0SXuan Hu    .get._2(64)(63, 0)
184e2e5f6b0SXuan Hu  )
185730cfbc0SXuan Hu
186e2e5f6b0SXuan Hu  io.debugVconfig := vconfigDebugReadData.get
187a8db15d8Sfdy
188730cfbc0SXuan Hu  IntRegFile("IntRegFile", intSchdParams.numPregs, intRfRaddr, intRfRdata, intRfWen, intRfWaddr, intRfWdata,
189730cfbc0SXuan Hu    debugReadAddr = intDebugRead.map(_._1),
190730cfbc0SXuan Hu    debugReadData = intDebugRead.map(_._2))
191730cfbc0SXuan Hu  VfRegFile("VfRegFile", vfSchdParams.numPregs, vfRfSplitNum, vfRfRaddr, vfRfRdata, vfRfWen, vfRfWaddr, vfRfWdata,
192730cfbc0SXuan Hu    debugReadAddr = vfDebugRead.map(_._1),
193730cfbc0SXuan Hu    debugReadData = vfDebugRead.map(_._2))
194730cfbc0SXuan Hu
195730cfbc0SXuan Hu  intRfWaddr := io.fromIntWb.map(_.addr)
196730cfbc0SXuan Hu  intRfWdata := io.fromIntWb.map(_.data)
197730cfbc0SXuan Hu  intRfWen := io.fromIntWb.map(_.wen)
198730cfbc0SXuan Hu
19939c59369SXuan Hu  for (portIdx <- intRfRaddr.indices) {
20039c59369SXuan Hu    if (intRFReadArbiter.io.out.isDefinedAt(portIdx))
20139c59369SXuan Hu      intRfRaddr(portIdx) := intRFReadArbiter.io.out(portIdx).bits.addr
20239c59369SXuan Hu    else
20339c59369SXuan Hu      intRfRaddr(portIdx) := 0.U
20439c59369SXuan Hu  }
205730cfbc0SXuan Hu
206730cfbc0SXuan Hu  vfRfWaddr := io.fromVfWb.map(_.addr)
207730cfbc0SXuan Hu  vfRfWdata := io.fromVfWb.map(_.data)
208730cfbc0SXuan Hu  vfRfWen.foreach(_.zip(io.fromVfWb.map(_.wen)).foreach { case (wenSink, wenSource) => wenSink := wenSource } )// Todo: support fp multi-write
209730cfbc0SXuan Hu
21039c59369SXuan Hu  for (portIdx <- vfRfRaddr.indices) {
21139c59369SXuan Hu    if (vfRFReadArbiter.io.out.isDefinedAt(portIdx))
21239c59369SXuan Hu      vfRfRaddr(portIdx) := vfRFReadArbiter.io.out(portIdx).bits.addr
21339c59369SXuan Hu    else
21439c59369SXuan Hu      vfRfRaddr(portIdx) := 0.U
21539c59369SXuan Hu  }
21639c59369SXuan Hu
217d91483a6Sfdy  vfRfRaddr(VCONFIG_PORT) := io.vconfigReadPort.addr
218d91483a6Sfdy  io.vconfigReadPort.data := vfRfRdata(VCONFIG_PORT)
219730cfbc0SXuan Hu
220730cfbc0SXuan Hu  intDebugRead.foreach { case (addr, _) =>
221730cfbc0SXuan Hu    addr := io.debugIntRat
222730cfbc0SXuan Hu  }
223730cfbc0SXuan Hu
224730cfbc0SXuan Hu  vfDebugRead.foreach { case (addr, _) =>
225a8db15d8Sfdy    addr := io.debugFpRat ++ io.debugVecRat :+ io.debugVconfigRat
226730cfbc0SXuan Hu  }
227730cfbc0SXuan Hu  println(s"[DataPath] " +
228730cfbc0SXuan Hu    s"has intDebugRead: ${intDebugRead.nonEmpty}, " +
229730cfbc0SXuan Hu    s"has vfDebugRead: ${vfDebugRead.nonEmpty}")
230730cfbc0SXuan Hu
231730cfbc0SXuan Hu  val s1_addrOHs = Reg(MixedVec(
232730cfbc0SXuan Hu    fromIQ.map(x => MixedVec(x.map(_.bits.addrOH.cloneType)))
233730cfbc0SXuan Hu  ))
234730cfbc0SXuan Hu  val s1_toExuValid: MixedVec[MixedVec[Bool]] = Reg(MixedVec(
235730cfbc0SXuan Hu    toExu.map(x => MixedVec(x.map(_.valid.cloneType)))
236730cfbc0SXuan Hu  ))
237730cfbc0SXuan Hu  val s1_toExuData: MixedVec[MixedVec[ExuInput]] = Reg(MixedVec(toExu.map(x => MixedVec(x.map(_.bits.cloneType)))))
238730cfbc0SXuan Hu  val s1_toExuReady = Wire(MixedVec(toExu.map(x => MixedVec(x.map(_.ready.cloneType))))) // Todo
239730cfbc0SXuan Hu  val s1_srcType: MixedVec[MixedVec[Vec[UInt]]] = MixedVecInit(fromIQ.map(x => MixedVecInit(x.map(xx => RegEnable(xx.bits.srcType, xx.fire)))))
240730cfbc0SXuan Hu
241730cfbc0SXuan Hu  val s1_intPregRData: MixedVec[MixedVec[Vec[UInt]]] = Wire(MixedVec(toExu.map(x => MixedVec(x.map(_.bits.src.cloneType)))))
242730cfbc0SXuan Hu  val s1_vfPregRData: MixedVec[MixedVec[Vec[UInt]]] = Wire(MixedVec(toExu.map(x => MixedVec(x.map(_.bits.src.cloneType)))))
243730cfbc0SXuan Hu
244730cfbc0SXuan Hu  val rfrPortConfigs = schdParams.map(_.issueBlockParams).flatten.map(_.exuBlockParams.map(_.rfrPortConfigs))
245730cfbc0SXuan Hu
246730cfbc0SXuan Hu  println(s"[DataPath] s1_intPregRData.flatten.flatten.size: ${s1_intPregRData.flatten.flatten.size}, intRfRdata.size: ${intRfRdata.size}")
247730cfbc0SXuan Hu  s1_intPregRData.foreach(_.foreach(_.foreach(_ := 0.U)))
248730cfbc0SXuan Hu  s1_intPregRData.zip(rfrPortConfigs).foreach { case (iqRdata, iqCfg) =>
249730cfbc0SXuan Hu      iqRdata.zip(iqCfg).foreach { case (iuRdata, iuCfg) =>
250730cfbc0SXuan Hu        val realIuCfg = iuCfg.map(x => if(x.size > 1) x.filter(_.isInstanceOf[IntRD]) else x).flatten
251730cfbc0SXuan Hu        assert(iuRdata.size == realIuCfg.size, "iuRdata.size != realIuCfg.size")
252730cfbc0SXuan Hu        iuRdata.zip(realIuCfg)
253730cfbc0SXuan Hu          .filter { case (_, rfrPortConfig) => rfrPortConfig.isInstanceOf[IntRD] }
254730cfbc0SXuan Hu          .foreach { case (sink, cfg) => sink := intRfRdata(cfg.port) }
255730cfbc0SXuan Hu      }
256730cfbc0SXuan Hu  }
257730cfbc0SXuan Hu
258730cfbc0SXuan Hu  println(s"[DataPath] s1_vfPregRData.flatten.flatten.size: ${s1_vfPregRData.flatten.flatten.size}, vfRfRdata.size: ${vfRfRdata.size}")
259730cfbc0SXuan Hu  s1_vfPregRData.foreach(_.foreach(_.foreach(_ := 0.U)))
260730cfbc0SXuan Hu  s1_vfPregRData.zip(rfrPortConfigs).foreach{ case(iqRdata, iqCfg) =>
261730cfbc0SXuan Hu      iqRdata.zip(iqCfg).foreach{ case(iuRdata, iuCfg) =>
262730cfbc0SXuan Hu        val realIuCfg = iuCfg.map(x => if(x.size > 1) x.filter(_.isInstanceOf[VfRD]) else x).flatten
263730cfbc0SXuan Hu        assert(iuRdata.size == realIuCfg.size, "iuRdata.size != realIuCfg.size")
264730cfbc0SXuan Hu        iuRdata.zip(realIuCfg)
265730cfbc0SXuan Hu          .filter { case (_, rfrPortConfig) => rfrPortConfig.isInstanceOf[VfRD] }
266730cfbc0SXuan Hu          .foreach { case (sink, cfg) => sink := vfRfRdata(cfg.port) }
267730cfbc0SXuan Hu      }
268730cfbc0SXuan Hu  }
269730cfbc0SXuan Hu
270730cfbc0SXuan Hu  for (i <- fromIQ.indices) {
271730cfbc0SXuan Hu    for (j <- fromIQ(i).indices) {
272730cfbc0SXuan Hu      // IQ(s0) --[Ctrl]--> s1Reg ---------- begin
273730cfbc0SXuan Hu      // refs
274730cfbc0SXuan Hu      val s1_valid = s1_toExuValid(i)(j)
275730cfbc0SXuan Hu      val s1_ready = s1_toExuReady(i)(j)
276730cfbc0SXuan Hu      val s1_data = s1_toExuData(i)(j)
277730cfbc0SXuan Hu      val s1_addrOH = s1_addrOHs(i)(j)
278730cfbc0SXuan Hu      val s0 = fromIQ(i)(j) // s0
27939c59369SXuan Hu      val notBlock = intRdNotBlock(i)(j) && intWbNotBlock(i)(j) && vfRdNotBlock(i)(j) && vfWbNotBlock(i)(j)
280730cfbc0SXuan Hu      val s1_flush = s0.bits.common.robIdx.needFlush(Seq(io.flush, RegNextWithEnable(io.flush)))
281c0be7f33SXuan Hu      val s1_cancel = og1FailedVec2(i)(j)
28239c59369SXuan Hu      when (s0.fire && !s1_flush && notBlock && !s1_cancel) {
283730cfbc0SXuan Hu        s1_valid := s0.valid
284730cfbc0SXuan Hu        s1_data.fromIssueBundle(s0.bits) // no src data here
285730cfbc0SXuan Hu        s1_addrOH := s0.bits.addrOH
286730cfbc0SXuan Hu      }.otherwise {
287730cfbc0SXuan Hu        s1_valid := false.B
288730cfbc0SXuan Hu      }
28939c59369SXuan Hu      s0.ready := (s1_ready || !s1_valid) && notBlock
290730cfbc0SXuan Hu      // IQ(s0) --[Ctrl]--> s1Reg ---------- end
291730cfbc0SXuan Hu
292730cfbc0SXuan Hu      // IQ(s0) --[Data]--> s1Reg ---------- begin
293730cfbc0SXuan Hu      // imm extract
29439c59369SXuan Hu      when (s0.fire && !s1_flush && notBlock) {
295730cfbc0SXuan Hu        if (s1_data.params.immType.nonEmpty && s1_data.src.size > 1) {
296730cfbc0SXuan Hu          // rs1 is always int reg, rs2 may be imm
297730cfbc0SXuan Hu          when(SrcType.isImm(s0.bits.srcType(1))) {
298730cfbc0SXuan Hu            s1_data.src(1) := ImmExtractor(
299730cfbc0SXuan Hu              s0.bits.common.imm,
300730cfbc0SXuan Hu              s0.bits.immType,
301da778e6fSXuan Hu              s1_data.params.dataBitsMax,
302730cfbc0SXuan Hu              s1_data.params.immType.map(_.litValue)
303730cfbc0SXuan Hu            )
304730cfbc0SXuan Hu          }
305730cfbc0SXuan Hu        }
306730cfbc0SXuan Hu        if (s1_data.params.hasJmpFu) {
307730cfbc0SXuan Hu          when(SrcType.isPc(s0.bits.srcType(0))) {
308730cfbc0SXuan Hu            s1_data.src(0) := SignExt(s0.bits.jmp.get.pc, XLEN)
309730cfbc0SXuan Hu          }
310da778e6fSXuan Hu        } else if (s1_data.params.hasVecFu) {
311da778e6fSXuan Hu          // Fuck off riscv vector imm!!! Why not src1???
312da778e6fSXuan Hu          when(SrcType.isImm(s0.bits.srcType(0))) {
313da778e6fSXuan Hu            s1_data.src(0) := ImmExtractor(
314da778e6fSXuan Hu              s0.bits.common.imm,
315da778e6fSXuan Hu              s0.bits.immType,
316da778e6fSXuan Hu              s1_data.params.dataBitsMax,
317da778e6fSXuan Hu              s1_data.params.immType.map(_.litValue)
318da778e6fSXuan Hu            )
319da778e6fSXuan Hu          }
320*f4dcd9fcSsinsanction        } else if (s1_data.params.hasLoadFu) {
321*f4dcd9fcSsinsanction          // dirty code for fused_lui_load
322*f4dcd9fcSsinsanction          when(SrcType.isImm(s0.bits.srcType(0))) {
323*f4dcd9fcSsinsanction            s1_data.src(0) := ImmUnion.U.toImm32(s0.bits.common.imm(s0.bits.common.imm.getWidth - 1, ImmUnion.I.len))
324*f4dcd9fcSsinsanction          }
325730cfbc0SXuan Hu        }
326730cfbc0SXuan Hu      }
327730cfbc0SXuan Hu      // IQ(s0) --[Data]--> s1Reg ---------- end
328730cfbc0SXuan Hu    }
329730cfbc0SXuan Hu  }
330730cfbc0SXuan Hu
331ea0f92d8Sczw  private val fromIQFire = fromIQ.map(_.map(_.fire))
332ea0f92d8Sczw  private val toExuFire = toExu.map(_.map(_.fire))
333730cfbc0SXuan Hu  toIQs.zipWithIndex.foreach {
334730cfbc0SXuan Hu    case(toIQ, iqIdx) =>
335730cfbc0SXuan Hu      toIQ.zipWithIndex.foreach {
336730cfbc0SXuan Hu        case (toIU, iuIdx) =>
337730cfbc0SXuan Hu          // IU: issue unit
338730cfbc0SXuan Hu          val og0resp = toIU.og0resp
339c0be7f33SXuan Hu          og0FailedVec2(iqIdx)(iuIdx) := fromIQ(iqIdx)(iuIdx).valid && (!fromIQFire(iqIdx)(iuIdx))
340c0be7f33SXuan Hu          og0resp.valid := og0FailedVec2(iqIdx)(iuIdx)
341ea0f92d8Sczw          og0resp.bits.respType := RSFeedbackType.rfArbitFail
3425db4956bSzhanglyGit          og0resp.bits.robIdx := fromIQ(iqIdx)(iuIdx).bits.common.robIdx
3438d29ec32Sczw          og0resp.bits.rfWen := fromIQ(iqIdx)(iuIdx).bits.common.rfWen.getOrElse(false.B)
3448d29ec32Sczw          og0resp.bits.fuType := fromIQ(iqIdx)(iuIdx).bits.common.fuType
345730cfbc0SXuan Hu
346730cfbc0SXuan Hu          val og1resp = toIU.og1resp
347c0be7f33SXuan Hu          og1FailedVec2(iqIdx)(iuIdx) := s1_toExuValid(iqIdx)(iuIdx) && !toExuFire(iqIdx)(iuIdx)
348730cfbc0SXuan Hu          og1resp.valid := s1_toExuValid(iqIdx)(iuIdx)
349c0be7f33SXuan Hu          og1resp.bits.respType := Mux(!og1FailedVec2(iqIdx)(iuIdx),
350d54d930bSfdy            if (toIU.issueQueueParams.isMemAddrIQ) RSFeedbackType.fuUncertain else RSFeedbackType.fuIdle,
351d54d930bSfdy            RSFeedbackType.fuBusy)
3525db4956bSzhanglyGit          og1resp.bits.robIdx := s1_toExuData(iqIdx)(iuIdx).robIdx
3538d29ec32Sczw          og1resp.bits.rfWen := s1_toExuData(iqIdx)(iuIdx).rfWen.getOrElse(false.B)
3548d29ec32Sczw          og1resp.bits.fuType := s1_toExuData(iqIdx)(iuIdx).fuType
355730cfbc0SXuan Hu      }
356730cfbc0SXuan Hu  }
3578a00ff56SXuan Hu
35810fe9778SXuan Hu  io.og0CancelVec.zip(io.og1CancelVec).zipWithIndex.foreach { case ((og0Cancel, og1Cancel), i) =>
35910fe9778SXuan Hu    og0Cancel := fromFlattenIQ(i).valid && !fromFlattenIQ(i).fire
36010fe9778SXuan Hu    og1Cancel := toFlattenExu(i).valid && !toFlattenExu(i).fire
361c0be7f33SXuan Hu  }
362c0be7f33SXuan Hu
363730cfbc0SXuan Hu  for (i <- toExu.indices) {
364730cfbc0SXuan Hu    for (j <- toExu(i).indices) {
365730cfbc0SXuan Hu      // s1Reg --[Ctrl]--> exu(s1) ---------- begin
366730cfbc0SXuan Hu      // refs
367730cfbc0SXuan Hu      val sinkData = toExu(i)(j).bits
368730cfbc0SXuan Hu      // assign
369730cfbc0SXuan Hu      toExu(i)(j).valid := s1_toExuValid(i)(j)
370730cfbc0SXuan Hu      s1_toExuReady(i)(j) := toExu(i)(j).ready
371730cfbc0SXuan Hu      sinkData := s1_toExuData(i)(j)
372730cfbc0SXuan Hu      // s1Reg --[Ctrl]--> exu(s1) ---------- end
373730cfbc0SXuan Hu
374730cfbc0SXuan Hu      // s1Reg --[Data]--> exu(s1) ---------- begin
375730cfbc0SXuan Hu      // data source1: preg read data
376730cfbc0SXuan Hu      for (k <- sinkData.src.indices) {
377730cfbc0SXuan Hu        val srcDataTypeSet: Set[DataConfig] = sinkData.params.getSrcDataType(k)
378730cfbc0SXuan Hu
379730cfbc0SXuan Hu        val readRfMap: Seq[(Bool, UInt)] = (Seq(None) :+
380730cfbc0SXuan Hu          (if (s1_intPregRData(i)(j).isDefinedAt(k) && srcDataTypeSet.intersect(IntRegSrcDataSet).nonEmpty)
381730cfbc0SXuan Hu            Some(SrcType.isXp(s1_srcType(i)(j)(k)) -> s1_intPregRData(i)(j)(k))
382730cfbc0SXuan Hu          else None) :+
383730cfbc0SXuan Hu          (if (s1_vfPregRData(i)(j).isDefinedAt(k) && srcDataTypeSet.intersect(VfRegSrcDataSet).nonEmpty)
384730cfbc0SXuan Hu            Some(SrcType.isVfp(s1_srcType(i)(j)(k))-> s1_vfPregRData(i)(j)(k))
385730cfbc0SXuan Hu          else None)
386730cfbc0SXuan Hu        ).filter(_.nonEmpty).map(_.get)
387730cfbc0SXuan Hu        if (readRfMap.nonEmpty)
388730cfbc0SXuan Hu          sinkData.src(k) := Mux1H(readRfMap)
389730cfbc0SXuan Hu      }
390730cfbc0SXuan Hu
391730cfbc0SXuan Hu      // data source2: extracted imm and pc saved in s1Reg
392730cfbc0SXuan Hu      if (sinkData.params.immType.nonEmpty && sinkData.src.size > 1) {
393730cfbc0SXuan Hu        when(SrcType.isImm(s1_srcType(i)(j)(1))) {
394730cfbc0SXuan Hu          sinkData.src(1) := s1_toExuData(i)(j).src(1)
395730cfbc0SXuan Hu        }
396730cfbc0SXuan Hu      }
397730cfbc0SXuan Hu      if (sinkData.params.hasJmpFu) {
398730cfbc0SXuan Hu        when(SrcType.isPc(s1_srcType(i)(j)(0))) {
399730cfbc0SXuan Hu          sinkData.src(0) := s1_toExuData(i)(j).src(0)
400730cfbc0SXuan Hu        }
401da778e6fSXuan Hu      } else if (sinkData.params.hasVecFu) {
402da778e6fSXuan Hu        when(SrcType.isImm(s1_srcType(i)(j)(0))) {
403da778e6fSXuan Hu          sinkData.src(0) := s1_toExuData(i)(j).src(0)
404da778e6fSXuan Hu        }
405*f4dcd9fcSsinsanction      } else if (sinkData.params.hasLoadFu) {
406*f4dcd9fcSsinsanction        when(SrcType.isImm(s1_srcType(i)(j)(0))) {
407*f4dcd9fcSsinsanction          sinkData.src(0) := s1_toExuData(i)(j).src(0)
408*f4dcd9fcSsinsanction        }
409730cfbc0SXuan Hu      }
410730cfbc0SXuan Hu      // s1Reg --[Data]--> exu(s1) ---------- end
411730cfbc0SXuan Hu    }
412730cfbc0SXuan Hu  }
413730cfbc0SXuan Hu
414730cfbc0SXuan Hu  if (env.AlwaysBasicDiff || env.EnableDifftest) {
415730cfbc0SXuan Hu    val delayedCnt = 2
416730cfbc0SXuan Hu    val difftestArchIntRegState = Module(new DifftestArchIntRegState)
417730cfbc0SXuan Hu    difftestArchIntRegState.io.clock := clock
418730cfbc0SXuan Hu    difftestArchIntRegState.io.coreid := io.hartId
419730cfbc0SXuan Hu    difftestArchIntRegState.io.gpr := DelayN(intDebugRead.get._2, delayedCnt)
420730cfbc0SXuan Hu
421730cfbc0SXuan Hu    val difftestArchFpRegState = Module(new DifftestArchFpRegState)
422730cfbc0SXuan Hu    difftestArchFpRegState.io.clock := clock
423730cfbc0SXuan Hu    difftestArchFpRegState.io.coreid := io.hartId
424730cfbc0SXuan Hu    difftestArchFpRegState.io.fpr := DelayN(fpDebugReadData.get, delayedCnt)
425730cfbc0SXuan Hu
426730cfbc0SXuan Hu    val difftestArchVecRegState = Module(new DifftestArchVecRegState)
427730cfbc0SXuan Hu    difftestArchVecRegState.io.clock := clock
428730cfbc0SXuan Hu    difftestArchVecRegState.io.coreid := io.hartId
429730cfbc0SXuan Hu    difftestArchVecRegState.io.vpr := DelayN(vecDebugReadData.get, delayedCnt)
430730cfbc0SXuan Hu  }
431730cfbc0SXuan Hu}
432730cfbc0SXuan Hu
433730cfbc0SXuan Huclass DataPathIO()(implicit p: Parameters, params: BackendParams) extends XSBundle {
434730cfbc0SXuan Hu  // params
435730cfbc0SXuan Hu  private val intSchdParams = params.schdParams(IntScheduler())
436730cfbc0SXuan Hu  private val vfSchdParams = params.schdParams(VfScheduler())
437730cfbc0SXuan Hu  private val memSchdParams = params.schdParams(MemScheduler())
438c0be7f33SXuan Hu  private val exuParams = params.allExuParams
439730cfbc0SXuan Hu  // bundles
440730cfbc0SXuan Hu  val hartId = Input(UInt(8.W))
441730cfbc0SXuan Hu
442730cfbc0SXuan Hu  val flush: ValidIO[Redirect] = Flipped(ValidIO(new Redirect))
443730cfbc0SXuan Hu
444e2e5f6b0SXuan Hu  // Todo: check if this can be removed
445d91483a6Sfdy  val vconfigReadPort = new RfReadPort(XLEN, PhyRegIdxWidth)
446d91483a6Sfdy
4472e0a7dc5Sfdy  val wbConfictRead = Input(MixedVec(params.allSchdParams.map(x => MixedVec(x.issueBlockParams.map(x => x.genWbConflictBundle())))))
4482e0a7dc5Sfdy
449730cfbc0SXuan Hu  val fromIntIQ: MixedVec[MixedVec[DecoupledIO[IssueQueueIssueBundle]]] =
450730cfbc0SXuan Hu    Flipped(MixedVec(intSchdParams.issueBlockParams.map(_.genIssueDecoupledBundle)))
451730cfbc0SXuan Hu
452730cfbc0SXuan Hu  val fromMemIQ: MixedVec[MixedVec[DecoupledIO[IssueQueueIssueBundle]]] =
453730cfbc0SXuan Hu    Flipped(MixedVec(memSchdParams.issueBlockParams.map(_.genIssueDecoupledBundle)))
454730cfbc0SXuan Hu
455730cfbc0SXuan Hu  val fromVfIQ = Flipped(MixedVec(vfSchdParams.issueBlockParams.map(_.genIssueDecoupledBundle)))
456730cfbc0SXuan Hu
457730cfbc0SXuan Hu  val toIntIQ = MixedVec(intSchdParams.issueBlockParams.map(_.genOGRespBundle))
458730cfbc0SXuan Hu
459730cfbc0SXuan Hu  val toMemIQ = MixedVec(memSchdParams.issueBlockParams.map(_.genOGRespBundle))
460730cfbc0SXuan Hu
461730cfbc0SXuan Hu  val toVfIQ = MixedVec(vfSchdParams.issueBlockParams.map(_.genOGRespBundle))
462730cfbc0SXuan Hu
46310fe9778SXuan Hu  val og0CancelVec = Output(ExuVec(backendParams.numExu))
46410fe9778SXuan Hu
46510fe9778SXuan Hu  val og1CancelVec = Output(ExuVec(backendParams.numExu))
466c0be7f33SXuan Hu
467730cfbc0SXuan Hu  val toIntExu: MixedVec[MixedVec[DecoupledIO[ExuInput]]] = intSchdParams.genExuInputBundle
468730cfbc0SXuan Hu
469730cfbc0SXuan Hu  val toFpExu: MixedVec[MixedVec[DecoupledIO[ExuInput]]] = MixedVec(vfSchdParams.genExuInputBundle)
470730cfbc0SXuan Hu
471730cfbc0SXuan Hu  val toMemExu: MixedVec[MixedVec[DecoupledIO[ExuInput]]] = memSchdParams.genExuInputBundle
472730cfbc0SXuan Hu
473730cfbc0SXuan Hu  val fromIntWb: MixedVec[RfWritePortWithConfig] = MixedVec(params.genIntWriteBackBundle)
474730cfbc0SXuan Hu
475730cfbc0SXuan Hu  val fromVfWb: MixedVec[RfWritePortWithConfig] = MixedVec(params.genVfWriteBackBundle)
476730cfbc0SXuan Hu
477bf35baadSXuan Hu  val fromIntExus = Flipped(intSchdParams.genExuOutputValidBundle)
478bf35baadSXuan Hu
479bf35baadSXuan Hu  val fromVfExus = Flipped(intSchdParams.genExuOutputValidBundle)
480bf35baadSXuan Hu
481730cfbc0SXuan Hu  val debugIntRat = Input(Vec(32, UInt(intSchdParams.pregIdxWidth.W)))
482730cfbc0SXuan Hu  val debugFpRat = Input(Vec(32, UInt(vfSchdParams.pregIdxWidth.W)))
483730cfbc0SXuan Hu  val debugVecRat = Input(Vec(32, UInt(vfSchdParams.pregIdxWidth.W)))
484a8db15d8Sfdy  val debugVconfigRat = Input(UInt(vfSchdParams.pregIdxWidth.W))
485a8db15d8Sfdy  val debugVconfig = Output(UInt(XLEN.W))
486a8db15d8Sfdy
487730cfbc0SXuan Hu}
488