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}