xref: /XiangShan/src/main/scala/xiangshan/backend/exu/ExeUnit.scala (revision 15ed99a7d4c12613ea837c94a00d17f8c7cb3ee7)
1adb5df20SYinan Xu/***************************************************************************************
2adb5df20SYinan Xu* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences
3adb5df20SYinan Xu* Copyright (c) 2020-2021 Peng Cheng Laboratory
4adb5df20SYinan Xu*
5adb5df20SYinan Xu* XiangShan is licensed under Mulan PSL v2.
6adb5df20SYinan Xu* You can use this software according to the terms and conditions of the Mulan PSL v2.
7adb5df20SYinan Xu* You may obtain a copy of Mulan PSL v2 at:
8adb5df20SYinan Xu*          http://license.coscl.org.cn/MulanPSL2
9adb5df20SYinan Xu*
10adb5df20SYinan Xu* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
11adb5df20SYinan Xu* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
12adb5df20SYinan Xu* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
13adb5df20SYinan Xu*
14adb5df20SYinan Xu* See the Mulan PSL v2 for more details.
15adb5df20SYinan Xu***************************************************************************************/
16adb5df20SYinan Xu
17730cfbc0SXuan Hupackage xiangshan.backend.exu
18730cfbc0SXuan Hu
198891a219SYinan Xuimport org.chipsalliance.cde.config.Parameters
20730cfbc0SXuan Huimport chisel3._
21e2446388SYinan Xuimport chisel3.experimental.hierarchy.{Definition, instantiable}
22730cfbc0SXuan Huimport chisel3.util._
23730cfbc0SXuan Huimport freechips.rocketchip.diplomacy.{LazyModule, LazyModuleImp}
24bb2f3f51STang Haojinimport utility._
25730cfbc0SXuan Huimport xiangshan.backend.fu.{CSRFileIO, FenceIO, FuncUnitInput}
26730cfbc0SXuan Huimport xiangshan.backend.Bundles.{ExuInput, ExuOutput, MemExuInput, MemExuOutput}
273bc74e23SzhanglyGitimport xiangshan.{FPUCtrlSignals, HasXSParameter, Redirect, XSBundle, XSModule}
28da6ac6d8Sxiaofeibao-xjtuimport xiangshan.backend.datapath.WbConfig.{PregWB, _}
2929275910SsinceforYyimport xiangshan.backend.fu.FuType
307e4f0b19SZiyue-Zhangimport xiangshan.backend.fu.vector.Bundles.{VType, Vxrm}
317e4f0b19SZiyue-Zhangimport xiangshan.backend.fu.fpu.Bundles.Frm
32*15ed99a7SXuan Huimport xiangshan.backend.fu.wrapper.{CSRInput, CSRToDecode}
33730cfbc0SXuan Hu
34730cfbc0SXuan Huclass ExeUnitIO(params: ExeUnitParams)(implicit p: Parameters) extends XSBundle {
35730cfbc0SXuan Hu  val flush = Flipped(ValidIO(new Redirect()))
36730cfbc0SXuan Hu  val in = Flipped(DecoupledIO(new ExuInput(params)))
37730cfbc0SXuan Hu  val out = DecoupledIO(new ExuOutput(params))
38007f6122SXuan Hu  val csrin = Option.when(params.hasCSR)(new CSRInput)
39bb2f3f51STang Haojin  val csrio = Option.when(params.hasCSR)(new CSRFileIO)
40*15ed99a7SXuan Hu  val csrToDecode = Option.when(params.hasCSR)(Output(new CSRToDecode))
41bb2f3f51STang Haojin  val fenceio = Option.when(params.hasFence)(new FenceIO)
42bb2f3f51STang Haojin  val frm = Option.when(params.needSrcFrm)(Input(Frm()))
43bb2f3f51STang Haojin  val vxrm = Option.when(params.needSrcVxrm)(Input(Vxrm()))
44bb2f3f51STang Haojin  val vtype = Option.when(params.writeVConfig)((Valid(new VType)))
45bb2f3f51STang Haojin  val vlIsZero = Option.when(params.writeVConfig)(Output(Bool()))
46bb2f3f51STang Haojin  val vlIsVlmax = Option.when(params.writeVConfig)(Output(Bool()))
47730cfbc0SXuan Hu}
48730cfbc0SXuan Hu
49ff3fcdf1Sxiaofeibao-xjtuclass ExeUnit(val exuParams: ExeUnitParams)(implicit p: Parameters) extends LazyModule {
501ca4a39dSXuan Hu  override def shouldBeInlined: Boolean = false
511ca4a39dSXuan Hu
52730cfbc0SXuan Hu  lazy val module = new ExeUnitImp(this)(p, exuParams)
53730cfbc0SXuan Hu}
54730cfbc0SXuan Hu
55730cfbc0SXuan Huclass ExeUnitImp(
56730cfbc0SXuan Hu  override val wrapper: ExeUnit
57730cfbc0SXuan Hu)(implicit
58730cfbc0SXuan Hu  p: Parameters, exuParams: ExeUnitParams
592e0a7dc5Sfdy) extends LazyModuleImp(wrapper) with HasXSParameter{
60730cfbc0SXuan Hu  private val fuCfgs = exuParams.fuConfigs
61730cfbc0SXuan Hu
62730cfbc0SXuan Hu  val io = IO(new ExeUnitIO(exuParams))
63730cfbc0SXuan Hu
64918d87f2SsinceforYy  val funcUnits = fuCfgs.map(cfg => {
65d91483a6Sfdy    assert(cfg.fuGen != null, cfg.name + "Cfg'fuGen is null !!!")
66730cfbc0SXuan Hu    val module = cfg.fuGen(p, cfg)
67730cfbc0SXuan Hu    module
68730cfbc0SXuan Hu  })
69730cfbc0SXuan Hu
70918d87f2SsinceforYy  if (EnableClockGate) {
71918d87f2SsinceforYy    fuCfgs.zip(funcUnits).foreach { case (cfg, fu) =>
7229275910SsinceforYy      val clk_en = WireInit(false.B)
7329275910SsinceforYy      val fuVld_en = WireInit(false.B)
7429275910SsinceforYy      val fuVld_en_reg = RegInit(false.B)
7529275910SsinceforYy      val uncer_en_reg = RegInit(false.B)
7629275910SsinceforYy
779e200047Slewislzh      def latReal: Int = cfg.latency.latencyVal.getOrElse(0)
789e200047Slewislzh      def extralat: Int = cfg.latency.extraLatencyVal.getOrElse(0)
7929275910SsinceforYy
807ffbf5fdSZhaoyang You      val uncerLat = cfg.latency.uncertainEnable.nonEmpty
8134588aebSlewislzh      val lat0 = (latReal == 0 && !uncerLat).asBool
8234588aebSlewislzh      val latN = (latReal >  0 && !uncerLat).asBool
8329275910SsinceforYy
8434588aebSlewislzh      val fuVldVec = (io.in.valid && latN) +: Seq.fill(latReal)(RegInit(false.B))
8534588aebSlewislzh      val fuRdyVec = Seq.fill(latReal)(Wire(Bool())) :+ io.out.ready
8634588aebSlewislzh
8734588aebSlewislzh      for (i <- 0 until latReal) {
8829275910SsinceforYy        fuRdyVec(i) := !fuVldVec(i + 1) || fuRdyVec(i + 1)
8929275910SsinceforYy      }
9029275910SsinceforYy
9134588aebSlewislzh      for (i <- 1 to latReal) {
9229275910SsinceforYy        when(fuRdyVec(i - 1) && fuVldVec(i - 1)) {
9329275910SsinceforYy          fuVldVec(i) := fuVldVec(i - 1)
9429275910SsinceforYy        }.elsewhen(fuRdyVec(i)) {
9529275910SsinceforYy          fuVldVec(i) := false.B
9629275910SsinceforYy        }
9729275910SsinceforYy      }
9829275910SsinceforYy      fuVld_en := fuVldVec.map(v => v).reduce(_ || _)
9929275910SsinceforYy      fuVld_en_reg := fuVld_en
10029275910SsinceforYy
10134588aebSlewislzh      when(uncerLat.asBool && io.in.fire) {
10229275910SsinceforYy        uncer_en_reg := true.B
10334588aebSlewislzh      }.elsewhen(uncerLat.asBool && io.out.fire) {
10429275910SsinceforYy        uncer_en_reg := false.B
10529275910SsinceforYy      }
10629275910SsinceforYy
10729275910SsinceforYy      when(lat0 && io.in.fire) {
10829275910SsinceforYy        clk_en := true.B
10929275910SsinceforYy      }.elsewhen(latN && fuVld_en || fuVld_en_reg) {
11029275910SsinceforYy        clk_en := true.B
11134588aebSlewislzh      }.elsewhen(uncerLat.asBool && io.in.fire || uncer_en_reg) {
11229275910SsinceforYy        clk_en := true.B
11329275910SsinceforYy      }
11429275910SsinceforYy
11529275910SsinceforYy      if (cfg.ckAlwaysEn) {
11629275910SsinceforYy        clk_en := true.B
11729275910SsinceforYy      }
11829275910SsinceforYy
119048165bdSKamimiao      fu.clock := ClockGate(false.B, clk_en, clock)
1207478b58eSsinceforYy      XSPerfAccumulate(s"clock_gate_en_${fu.cfg.name}", clk_en)
121918d87f2SsinceforYy    }
12229275910SsinceforYy  }
12329275910SsinceforYy
124730cfbc0SXuan Hu  val busy = RegInit(false.B)
125c1e19666Sxiaofeibao-xjtu  if (exuParams.latencyCertain){
126c1e19666Sxiaofeibao-xjtu    busy := false.B
127c1e19666Sxiaofeibao-xjtu  }
128c1e19666Sxiaofeibao-xjtu  else {
129730cfbc0SXuan Hu    val robIdx = RegEnable(io.in.bits.robIdx, io.in.fire)
130ab9180dfSfdy    when(io.in.fire && io.in.bits.robIdx.needFlush(io.flush)) {
131ab9180dfSfdy      busy := false.B
132ab9180dfSfdy    }.elsewhen(busy && robIdx.needFlush(io.flush)) {
133730cfbc0SXuan Hu      busy := false.B
134730cfbc0SXuan Hu    }.elsewhen(io.out.fire) {
135730cfbc0SXuan Hu      busy := false.B
136730cfbc0SXuan Hu    }.elsewhen(io.in.fire) {
137730cfbc0SXuan Hu      busy := true.B
138730cfbc0SXuan Hu    }
139ea0f92d8Sczw  }
140da6ac6d8Sxiaofeibao-xjtu
141da6ac6d8Sxiaofeibao-xjtu  exuParams.wbPortConfigs.map{
142da6ac6d8Sxiaofeibao-xjtu    x => x match {
143b133b458SXuan Hu      case IntWB(port, priority) => assert(priority >= 0 && priority <= 2,
144da6ac6d8Sxiaofeibao-xjtu        s"${exuParams.name}: WbPort must priority=0 or priority=1")
145a0998bbdSxiaofeibao      case FpWB(port, priority) => assert(priority >= 0 && priority <= 2,
146a0998bbdSxiaofeibao        s"${exuParams.name}: WbPort must priority=0 or priority=1")
147b133b458SXuan Hu      case VfWB (port, priority) => assert(priority >= 0 && priority <= 2,
148da6ac6d8Sxiaofeibao-xjtu        s"${exuParams.name}: WbPort must priority=0 or priority=1")
149da6ac6d8Sxiaofeibao-xjtu      case _ =>
150da6ac6d8Sxiaofeibao-xjtu    }
151da6ac6d8Sxiaofeibao-xjtu  }
152da6ac6d8Sxiaofeibao-xjtu  val intWbPort = exuParams.getIntWBPort
153da6ac6d8Sxiaofeibao-xjtu  if (intWbPort.isDefined){
154da6ac6d8Sxiaofeibao-xjtu    val sameIntPortExuParam = backendParams.allExuParams.filter(_.getIntWBPort.isDefined)
155da6ac6d8Sxiaofeibao-xjtu      .filter(_.getIntWBPort.get.port == intWbPort.get.port)
156da6ac6d8Sxiaofeibao-xjtu    val samePortOneCertainOneUncertain = sameIntPortExuParam.map(_.latencyCertain).contains(true) && sameIntPortExuParam.map(_.latencyCertain).contains(false)
157da6ac6d8Sxiaofeibao-xjtu    if (samePortOneCertainOneUncertain) sameIntPortExuParam.map(samePort =>
158da6ac6d8Sxiaofeibao-xjtu      samePort.wbPortConfigs.map(
159da6ac6d8Sxiaofeibao-xjtu        x => x match {
160da6ac6d8Sxiaofeibao-xjtu          case IntWB(port, priority) => {
1619c890e56SXuan Hu            if (!samePort.latencyCertain) assert(priority == sameIntPortExuParam.size - 1,
1629c890e56SXuan Hu              s"${samePort.name}: IntWbPort $port must latencyCertain priority=0 or latencyUnCertain priority=max(${sameIntPortExuParam.size - 1})")
1639c890e56SXuan Hu            // Certain latency can be handled by WbBusyTable, so there is no need to limit the exu's WB priority
164da6ac6d8Sxiaofeibao-xjtu          }
165da6ac6d8Sxiaofeibao-xjtu          case _ =>
166da6ac6d8Sxiaofeibao-xjtu        }
167da6ac6d8Sxiaofeibao-xjtu      )
168da6ac6d8Sxiaofeibao-xjtu    )
169da6ac6d8Sxiaofeibao-xjtu  }
170a0998bbdSxiaofeibao  val fpWbPort = exuParams.getFpWBPort
171a0998bbdSxiaofeibao  if (fpWbPort.isDefined) {
172a0998bbdSxiaofeibao    val sameFpPortExuParam = backendParams.allExuParams.filter(_.getFpWBPort.isDefined)
173a0998bbdSxiaofeibao      .filter(_.getFpWBPort.get.port == fpWbPort.get.port)
174a0998bbdSxiaofeibao    val samePortOneCertainOneUncertain = sameFpPortExuParam.map(_.latencyCertain).contains(true) && sameFpPortExuParam.map(_.latencyCertain).contains(false)
175a0998bbdSxiaofeibao    if (samePortOneCertainOneUncertain) sameFpPortExuParam.map(samePort =>
176a0998bbdSxiaofeibao      samePort.wbPortConfigs.map(
177a0998bbdSxiaofeibao        x => x match {
178a0998bbdSxiaofeibao          case FpWB(port, priority) => {
179a0998bbdSxiaofeibao            if (!samePort.latencyCertain) assert(priority == sameFpPortExuParam.size - 1,
180a0998bbdSxiaofeibao              s"${samePort.name}: FpWbPort $port must latencyCertain priority=0 or latencyUnCertain priority=max(${sameFpPortExuParam.size - 1})")
181a0998bbdSxiaofeibao            // Certain latency can be handled by WbBusyTable, so there is no need to limit the exu's WB priority
182a0998bbdSxiaofeibao          }
183a0998bbdSxiaofeibao          case _ =>
184a0998bbdSxiaofeibao        }
185a0998bbdSxiaofeibao      )
186a0998bbdSxiaofeibao    )
187a0998bbdSxiaofeibao  }
188da6ac6d8Sxiaofeibao-xjtu  val vfWbPort = exuParams.getVfWBPort
189da6ac6d8Sxiaofeibao-xjtu  if (vfWbPort.isDefined) {
190da6ac6d8Sxiaofeibao-xjtu    val sameVfPortExuParam = backendParams.allExuParams.filter(_.getVfWBPort.isDefined)
191da6ac6d8Sxiaofeibao-xjtu      .filter(_.getVfWBPort.get.port == vfWbPort.get.port)
192da6ac6d8Sxiaofeibao-xjtu    val samePortOneCertainOneUncertain = sameVfPortExuParam.map(_.latencyCertain).contains(true) && sameVfPortExuParam.map(_.latencyCertain).contains(false)
193da6ac6d8Sxiaofeibao-xjtu    if (samePortOneCertainOneUncertain)  sameVfPortExuParam.map(samePort =>
194da6ac6d8Sxiaofeibao-xjtu      samePort.wbPortConfigs.map(
195da6ac6d8Sxiaofeibao-xjtu        x => x match {
196da6ac6d8Sxiaofeibao-xjtu          case VfWB(port, priority) => {
1979c890e56SXuan Hu            if (!samePort.latencyCertain) assert(priority == sameVfPortExuParam.size - 1,
1989c890e56SXuan Hu              s"${samePort.name}: VfWbPort $port must latencyCertain priority=0 or latencyUnCertain priority=max(${sameVfPortExuParam.size - 1})")
1999c890e56SXuan Hu            // Certain latency can be handled by WbBusyTable, so there is no need to limit the exu's WB priority
200da6ac6d8Sxiaofeibao-xjtu          }
201da6ac6d8Sxiaofeibao-xjtu          case _ =>
202da6ac6d8Sxiaofeibao-xjtu        }
203da6ac6d8Sxiaofeibao-xjtu      )
204da6ac6d8Sxiaofeibao-xjtu    )
205da6ac6d8Sxiaofeibao-xjtu  }
2068d081717Sszw_kaixin  if(backendParams.debugEn) {
2072e0a7dc5Sfdy    dontTouch(io.out.ready)
2088d081717Sszw_kaixin  }
209730cfbc0SXuan Hu  // rob flush --> funcUnits
210730cfbc0SXuan Hu  funcUnits.zipWithIndex.foreach { case (fu, i) =>
211730cfbc0SXuan Hu    fu.io.flush <> io.flush
212730cfbc0SXuan Hu  }
213730cfbc0SXuan Hu
214730cfbc0SXuan Hu  def acceptCond(input: ExuInput): Seq[Bool] = {
215730cfbc0SXuan Hu    input.params.fuConfigs.map(_.fuSel(input))
216730cfbc0SXuan Hu  }
217730cfbc0SXuan Hu
218730cfbc0SXuan Hu  val in1ToN = Module(new Dispatcher(new ExuInput(exuParams), funcUnits.length, acceptCond))
219730cfbc0SXuan Hu
220730cfbc0SXuan Hu  // ExeUnit.in <---> Dispatcher.in
2212e0a7dc5Sfdy  in1ToN.io.in.valid := io.in.valid && !busy
222730cfbc0SXuan Hu  in1ToN.io.in.bits := io.in.bits
2232e0a7dc5Sfdy  io.in.ready := !busy && in1ToN.io.in.ready
224730cfbc0SXuan Hu
225730cfbc0SXuan Hu  // Dispatcher.out <---> FunctionUnits
226730cfbc0SXuan Hu  in1ToN.io.out.zip(funcUnits.map(_.io.in)).foreach {
227730cfbc0SXuan Hu    case (source: DecoupledIO[ExuInput], sink: DecoupledIO[FuncUnitInput]) =>
228730cfbc0SXuan Hu      sink.valid := source.valid
229730cfbc0SXuan Hu      source.ready := sink.ready
230730cfbc0SXuan Hu
2316a35d972SXuan Hu      sink.bits.data.src.zip(source.bits.src).foreach { case(fuSrc, exuSrc) => fuSrc := exuSrc }
2326a35d972SXuan Hu      sink.bits.data.pc          .foreach(x => x := source.bits.pc.get)
2336a35d972SXuan Hu      sink.bits.data.imm         := source.bits.imm
2346a35d972SXuan Hu      sink.bits.ctrl.fuOpType    := source.bits.fuOpType
2356a35d972SXuan Hu      sink.bits.ctrl.robIdx      := source.bits.robIdx
2366a35d972SXuan Hu      sink.bits.ctrl.pdest       := source.bits.pdest
2376a35d972SXuan Hu      sink.bits.ctrl.rfWen       .foreach(x => x := source.bits.rfWen.get)
2386a35d972SXuan Hu      sink.bits.ctrl.fpWen       .foreach(x => x := source.bits.fpWen.get)
2396a35d972SXuan Hu      sink.bits.ctrl.vecWen      .foreach(x => x := source.bits.vecWen.get)
240db7becb6Sxiaofeibao      sink.bits.ctrl.v0Wen       .foreach(x => x := source.bits.v0Wen.get)
241db7becb6Sxiaofeibao      sink.bits.ctrl.vlWen       .foreach(x => x := source.bits.vlWen.get)
2426a35d972SXuan Hu      sink.bits.ctrl.flushPipe   .foreach(x => x := source.bits.flushPipe.get)
2436a35d972SXuan Hu      sink.bits.ctrl.preDecode   .foreach(x => x := source.bits.preDecode.get)
2446a35d972SXuan Hu      sink.bits.ctrl.ftqIdx      .foreach(x => x := source.bits.ftqIdx.get)
2456a35d972SXuan Hu      sink.bits.ctrl.ftqOffset   .foreach(x => x := source.bits.ftqOffset.get)
2466a35d972SXuan Hu      sink.bits.ctrl.predictInfo .foreach(x => x := source.bits.predictInfo.get)
247b6b11f60SXuan Hu      sink.bits.ctrl.fpu         .foreach(x => x := source.bits.fpu.get)
248b6b11f60SXuan Hu      sink.bits.ctrl.vpu         .foreach(x => x := source.bits.vpu.get)
2490fbf39afSlewislzh      sink.bits.ctrl.vpu         .foreach(x => x.fpu.isFpToVecInst := 0.U)
2500fbf39afSlewislzh      sink.bits.ctrl.vpu         .foreach(x => x.fpu.isFP32Instr   := 0.U)
2510fbf39afSlewislzh      sink.bits.ctrl.vpu         .foreach(x => x.fpu.isFP64Instr   := 0.U)
25296e858baSXuan Hu      sink.bits.perfDebugInfo    := source.bits.perfDebugInfo
253730cfbc0SXuan Hu  }
254730cfbc0SXuan Hu
25534588aebSlewislzh  private val OutresVecs = funcUnits.map { fu =>
2569e200047Slewislzh    def latDiff :Int = fu.cfg.latency.extraLatencyVal.getOrElse(0)
25734588aebSlewislzh    val OutresVec = fu.io.out.bits.res +: Seq.fill(latDiff)(Reg(chiselTypeOf(fu.io.out.bits.res)))
25834588aebSlewislzh    for (i <- 1 to latDiff) {
25934588aebSlewislzh      OutresVec(i) := OutresVec(i - 1)
26034588aebSlewislzh    }
26134588aebSlewislzh    OutresVec
26234588aebSlewislzh  }
26334588aebSlewislzh  OutresVecs.foreach(vec => vec.foreach(res =>dontTouch(res)))
26434588aebSlewislzh
265730cfbc0SXuan Hu  private val fuOutValidOH = funcUnits.map(_.io.out.valid)
266ea0f92d8Sczw  XSError(PopCount(fuOutValidOH) > 1.U, p"fuOutValidOH ${Binary(VecInit(fuOutValidOH).asUInt)} should be one-hot)\n")
267730cfbc0SXuan Hu  private val fuOutBitsVec = funcUnits.map(_.io.out.bits)
26834588aebSlewislzh  private val fuOutresVec = OutresVecs.map(_.last)
26934588aebSlewislzh  private val fuRedirectVec: Seq[Option[ValidIO[Redirect]]] = fuOutresVec.map(_.redirect)
270730cfbc0SXuan Hu
271730cfbc0SXuan Hu  // Assume that one fu can only write int or fp or vec,
272730cfbc0SXuan Hu  // otherwise, wenVec should be assigned to wen in fu.
2735edcc45fSHaojin Tang  private val fuIntWenVec = funcUnits.map(x => x.cfg.needIntWen.B && x.io.out.bits.ctrl.rfWen.getOrElse(false.B))
2745edcc45fSHaojin Tang  private val fuFpWenVec  = funcUnits.map( x => x.cfg.needFpWen.B  && x.io.out.bits.ctrl.fpWen.getOrElse(false.B))
2755edcc45fSHaojin Tang  private val fuVecWenVec = funcUnits.map(x => x.cfg.needVecWen.B && x.io.out.bits.ctrl.vecWen.getOrElse(false.B))
276db7becb6Sxiaofeibao  private val fuV0WenVec = funcUnits.map(x => x.cfg.needV0Wen.B && x.io.out.bits.ctrl.v0Wen.getOrElse(false.B))
277db7becb6Sxiaofeibao  private val fuVlWenVec = funcUnits.map(x => x.cfg.needVlWen.B && x.io.out.bits.ctrl.vlWen.getOrElse(false.B))
278730cfbc0SXuan Hu  // FunctionUnits <---> ExeUnit.out
279618b89e6Slewislzh
280618b89e6Slewislzh  private val outDataVec = Seq(
281618b89e6Slewislzh    Some(fuOutresVec.map(_.data)),
282bb2f3f51STang Haojin    Option.when(funcUnits.exists(_.cfg.writeIntRf))
283bb2f3f51STang Haojin      (funcUnits.zip(fuOutresVec).filter{ case (fu, _) => fu.cfg.writeIntRf}.map{ case(_, fuout) => fuout.data}),
284bb2f3f51STang Haojin    Option.when(funcUnits.exists(_.cfg.writeFpRf))
285bb2f3f51STang Haojin      (funcUnits.zip(fuOutresVec).filter{ case (fu, _) => fu.cfg.writeFpRf}.map{ case(_, fuout) => fuout.data}),
286bb2f3f51STang Haojin    Option.when(funcUnits.exists(_.cfg.writeVecRf))
287bb2f3f51STang Haojin      (funcUnits.zip(fuOutresVec).filter{ case (fu, _) => fu.cfg.writeVecRf}.map{ case(_, fuout) => fuout.data}),
288bb2f3f51STang Haojin    Option.when(funcUnits.exists(_.cfg.writeV0Rf))
289bb2f3f51STang Haojin      (funcUnits.zip(fuOutresVec).filter{ case (fu, _) => fu.cfg.writeV0Rf}.map{ case(_, fuout) => fuout.data}),
290bb2f3f51STang Haojin    Option.when(funcUnits.exists(_.cfg.writeVlRf))
291bb2f3f51STang Haojin      (funcUnits.zip(fuOutresVec).filter{ case (fu, _) => fu.cfg.writeVlRf}.map{ case(_, fuout) => fuout.data}),
292618b89e6Slewislzh  ).flatten
293618b89e6Slewislzh  private val outDataValidOH = Seq(
294618b89e6Slewislzh    Some(fuOutValidOH),
295bb2f3f51STang Haojin    Option.when(funcUnits.exists(_.cfg.writeIntRf))
296bb2f3f51STang Haojin      (funcUnits.zip(fuOutValidOH).filter{ case (fu, _) => fu.cfg.writeIntRf}.map{ case(_, fuoutOH) => fuoutOH}),
297bb2f3f51STang Haojin    Option.when(funcUnits.exists(_.cfg.writeFpRf))
298bb2f3f51STang Haojin      (funcUnits.zip(fuOutValidOH).filter{ case (fu, _) => fu.cfg.writeFpRf}.map{ case(_, fuoutOH) => fuoutOH}),
299bb2f3f51STang Haojin    Option.when(funcUnits.exists(_.cfg.writeVecRf))
300bb2f3f51STang Haojin      (funcUnits.zip(fuOutValidOH).filter{ case (fu, _) => fu.cfg.writeVecRf}.map{ case(_, fuoutOH) => fuoutOH}),
301bb2f3f51STang Haojin    Option.when(funcUnits.exists(_.cfg.writeV0Rf))
302bb2f3f51STang Haojin      (funcUnits.zip(fuOutValidOH).filter{ case (fu, _) => fu.cfg.writeV0Rf}.map{ case(_, fuoutOH) => fuoutOH}),
303bb2f3f51STang Haojin    Option.when(funcUnits.exists(_.cfg.writeVlRf))
304bb2f3f51STang Haojin      (funcUnits.zip(fuOutValidOH).filter{ case (fu, _) => fu.cfg.writeVlRf}.map{ case(_, fuoutOH) => fuoutOH}),
305618b89e6Slewislzh  ).flatten
306618b89e6Slewislzh
307730cfbc0SXuan Hu  io.out.valid := Cat(fuOutValidOH).orR
308730cfbc0SXuan Hu  funcUnits.foreach(fu => fu.io.out.ready := io.out.ready)
309730cfbc0SXuan Hu
310730cfbc0SXuan Hu  // select one fu's result
311618b89e6Slewislzh  io.out.bits.data := VecInit(outDataVec.zip(outDataValidOH).map{ case(data, validOH) => Mux1H(validOH, data)})
3126a35d972SXuan Hu  io.out.bits.robIdx := Mux1H(fuOutValidOH, fuOutBitsVec.map(_.ctrl.robIdx))
3136a35d972SXuan Hu  io.out.bits.pdest := Mux1H(fuOutValidOH, fuOutBitsVec.map(_.ctrl.pdest))
314730cfbc0SXuan Hu  io.out.bits.intWen.foreach(x => x := Mux1H(fuOutValidOH, fuIntWenVec))
315730cfbc0SXuan Hu  io.out.bits.fpWen.foreach(x => x := Mux1H(fuOutValidOH, fuFpWenVec))
316730cfbc0SXuan Hu  io.out.bits.vecWen.foreach(x => x := Mux1H(fuOutValidOH, fuVecWenVec))
317db7becb6Sxiaofeibao  io.out.bits.v0Wen.foreach(x => x := Mux1H(fuOutValidOH, fuV0WenVec))
318db7becb6Sxiaofeibao  io.out.bits.vlWen.foreach(x => x := Mux1H(fuOutValidOH, fuVlWenVec))
319730cfbc0SXuan Hu  io.out.bits.redirect.foreach(x => x := Mux1H((fuOutValidOH zip fuRedirectVec).filter(_._2.isDefined).map(x => (x._1, x._2.get))))
32034588aebSlewislzh  io.out.bits.fflags.foreach(x => x := Mux1H(fuOutValidOH, fuOutresVec.map(_.fflags.getOrElse(0.U.asTypeOf(io.out.bits.fflags.get)))))
3213bc74e23SzhanglyGit  io.out.bits.wflags.foreach(x => x := Mux1H(fuOutValidOH, fuOutBitsVec.map(_.ctrl.fpu.getOrElse(0.U.asTypeOf(new FPUCtrlSignals)).wflags)))
32234588aebSlewislzh  io.out.bits.vxsat.foreach(x => x := Mux1H(fuOutValidOH, fuOutresVec.map(_.vxsat.getOrElse(0.U.asTypeOf(io.out.bits.vxsat.get)))))
3236a35d972SXuan Hu  io.out.bits.exceptionVec.foreach(x => x := Mux1H(fuOutValidOH, fuOutBitsVec.map(_.ctrl.exceptionVec.getOrElse(0.U.asTypeOf(io.out.bits.exceptionVec.get)))))
3246a35d972SXuan Hu  io.out.bits.flushPipe.foreach(x => x := Mux1H(fuOutValidOH, fuOutBitsVec.map(_.ctrl.flushPipe.getOrElse(0.U.asTypeOf(io.out.bits.flushPipe.get)))))
3256a35d972SXuan Hu  io.out.bits.replay.foreach(x => x := Mux1H(fuOutValidOH, fuOutBitsVec.map(_.ctrl.replay.getOrElse(0.U.asTypeOf(io.out.bits.replay.get)))))
3266a35d972SXuan Hu  io.out.bits.predecodeInfo.foreach(x => x := Mux1H(fuOutValidOH, fuOutBitsVec.map(_.ctrl.preDecode.getOrElse(0.U.asTypeOf(io.out.bits.predecodeInfo.get)))))
327730cfbc0SXuan Hu
328dd6a851fSfdy  io.csrio.foreach(exuio => funcUnits.foreach(fu => fu.io.csrio.foreach{
329dd6a851fSfdy    fuio =>
330dd6a851fSfdy      exuio <> fuio
331dd6a851fSfdy      fuio.exception := DelayN(exuio.exception, 2)
332dd6a851fSfdy  }))
333007f6122SXuan Hu  io.csrin.foreach(exuio => funcUnits.foreach(fu => fu.io.csrin.foreach{fuio => fuio := exuio}))
334*15ed99a7SXuan Hu  io.csrToDecode.foreach(toDecode => funcUnits.foreach(fu => fu.io.csrToDecode.foreach(fuOut => toDecode := fuOut)))
3357e4f0b19SZiyue-Zhang
3367e4f0b19SZiyue-Zhang  io.vtype.foreach(exuio => funcUnits.foreach(fu => fu.io.vtype.foreach(fuio => exuio := fuio)))
337730cfbc0SXuan Hu  io.fenceio.foreach(exuio => funcUnits.foreach(fu => fu.io.fenceio.foreach(fuio => fuio <> exuio)))
338730cfbc0SXuan Hu  io.frm.foreach(exuio => funcUnits.foreach(fu => fu.io.frm.foreach(fuio => fuio <> exuio)))
33917985fbbSZiyue Zhang  io.vxrm.foreach(exuio => funcUnits.foreach(fu => fu.io.vxrm.foreach(fuio => fuio <> exuio)))
340b6279fc6SZiyue Zhang  io.vlIsZero.foreach(exuio => funcUnits.foreach(fu => fu.io.vlIsZero.foreach(fuio => exuio := fuio)))
341b6279fc6SZiyue Zhang  io.vlIsVlmax.foreach(exuio => funcUnits.foreach(fu => fu.io.vlIsVlmax.foreach(fuio => exuio := fuio)))
342730cfbc0SXuan Hu
343730cfbc0SXuan Hu  // debug info
344730cfbc0SXuan Hu  io.out.bits.debug     := 0.U.asTypeOf(io.out.bits.debug)
345c10dd331SXuan Hu  io.out.bits.debug.isPerfCnt := funcUnits.map(_.io.csrio.map(_.isPerfCnt)).map(_.getOrElse(false.B)).reduce(_ || _)
34696e858baSXuan Hu  io.out.bits.debugInfo := Mux1H(fuOutValidOH, fuOutBitsVec.map(_.perfDebugInfo))
347730cfbc0SXuan Hu}
348730cfbc0SXuan Hu
349730cfbc0SXuan Huclass DispatcherIO[T <: Data](private val gen: T, n: Int) extends Bundle {
350730cfbc0SXuan Hu  val in = Flipped(DecoupledIO(gen))
351730cfbc0SXuan Hu
352730cfbc0SXuan Hu  val out = Vec(n, DecoupledIO(gen))
353730cfbc0SXuan Hu}
354730cfbc0SXuan Hu
355730cfbc0SXuan Huclass Dispatcher[T <: Data](private val gen: T, n: Int, acceptCond: T => Seq[Bool])
356730cfbc0SXuan Hu  (implicit p: Parameters)
357730cfbc0SXuan Hu  extends Module {
358730cfbc0SXuan Hu
359730cfbc0SXuan Hu  val io = IO(new DispatcherIO(gen, n))
360730cfbc0SXuan Hu
361730cfbc0SXuan Hu  private val acceptVec: Vec[Bool] = VecInit(acceptCond(io.in.bits))
362730cfbc0SXuan Hu
363c83747bfSYangyu Chen  XSError(io.in.valid && PopCount(acceptVec) > 1.U, p"[ExeUnit] accept vec should no more than 1, ${Binary(acceptVec.asUInt)} ")
364730cfbc0SXuan Hu  XSError(io.in.valid && PopCount(acceptVec) === 0.U, "[ExeUnit] there is a inst not dispatched to any fu")
365730cfbc0SXuan Hu
366730cfbc0SXuan Hu  io.out.zipWithIndex.foreach { case (out, i) =>
3672e0a7dc5Sfdy    out.valid := acceptVec(i) && io.in.valid
368730cfbc0SXuan Hu    out.bits := io.in.bits
369730cfbc0SXuan Hu  }
370730cfbc0SXuan Hu
3719eecf55cSxiaofeibao  io.in.ready := Cat(io.out.map(_.ready)).andR
372730cfbc0SXuan Hu}
373730cfbc0SXuan Hu
374730cfbc0SXuan Huclass MemExeUnitIO (implicit p: Parameters) extends XSBundle {
375730cfbc0SXuan Hu  val flush = Flipped(ValidIO(new Redirect()))
376730cfbc0SXuan Hu  val in = Flipped(DecoupledIO(new MemExuInput()))
377730cfbc0SXuan Hu  val out = DecoupledIO(new MemExuOutput())
378730cfbc0SXuan Hu}
379730cfbc0SXuan Hu
380730cfbc0SXuan Huclass MemExeUnit(exuParams: ExeUnitParams)(implicit p: Parameters) extends XSModule {
381730cfbc0SXuan Hu  val io = IO(new MemExeUnitIO)
382730cfbc0SXuan Hu  val fu = exuParams.fuConfigs.head.fuGen(p, exuParams.fuConfigs.head)
383730cfbc0SXuan Hu  fu.io.flush             := io.flush
384730cfbc0SXuan Hu  fu.io.in.valid          := io.in.valid
385730cfbc0SXuan Hu  io.in.ready             := fu.io.in.ready
386730cfbc0SXuan Hu
3876a35d972SXuan Hu  fu.io.in.bits.ctrl.robIdx    := io.in.bits.uop.robIdx
3886a35d972SXuan Hu  fu.io.in.bits.ctrl.pdest     := io.in.bits.uop.pdest
3896a35d972SXuan Hu  fu.io.in.bits.ctrl.fuOpType  := io.in.bits.uop.fuOpType
3906a35d972SXuan Hu  fu.io.in.bits.data.imm       := io.in.bits.uop.imm
3916a35d972SXuan Hu  fu.io.in.bits.data.src.zip(io.in.bits.src).foreach(x => x._1 := x._2)
39296e858baSXuan Hu  fu.io.in.bits.perfDebugInfo := io.in.bits.uop.debugInfo
393730cfbc0SXuan Hu
394730cfbc0SXuan Hu  io.out.valid            := fu.io.out.valid
395730cfbc0SXuan Hu  fu.io.out.ready         := io.out.ready
396730cfbc0SXuan Hu
397730cfbc0SXuan Hu  io.out.bits             := 0.U.asTypeOf(io.out.bits) // dontCare other fields
3986a35d972SXuan Hu  io.out.bits.data        := fu.io.out.bits.res.data
3996a35d972SXuan Hu  io.out.bits.uop.robIdx  := fu.io.out.bits.ctrl.robIdx
4006a35d972SXuan Hu  io.out.bits.uop.pdest   := fu.io.out.bits.ctrl.pdest
401730cfbc0SXuan Hu  io.out.bits.uop.fuType  := io.in.bits.uop.fuType
402730cfbc0SXuan Hu  io.out.bits.uop.fuOpType:= io.in.bits.uop.fuOpType
403730cfbc0SXuan Hu  io.out.bits.uop.sqIdx   := io.in.bits.uop.sqIdx
40496e858baSXuan Hu  io.out.bits.uop.debugInfo := fu.io.out.bits.perfDebugInfo
405730cfbc0SXuan Hu
406730cfbc0SXuan Hu  io.out.bits.debug       := 0.U.asTypeOf(io.out.bits.debug)
407730cfbc0SXuan Hu}