1/*************************************************************************************** 2* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 3* Copyright (c) 2020-2021 Peng Cheng Laboratory 4* 5* XiangShan is licensed under Mulan PSL v2. 6* You can use this software according to the terms and conditions of the Mulan PSL v2. 7* You may obtain a copy of Mulan PSL v2 at: 8* http://license.coscl.org.cn/MulanPSL2 9* 10* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 11* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 12* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 13* 14* See the Mulan PSL v2 for more details. 15***************************************************************************************/ 16 17package xiangshan.mem 18 19import org.chipsalliance.cde.config.Parameters 20import chisel3._ 21import chisel3.util._ 22import freechips.rocketchip.diplomacy._ 23import freechips.rocketchip.diplomacy.{BundleBridgeSource, LazyModule, LazyModuleImp} 24import freechips.rocketchip.interrupts.{IntSinkNode, IntSinkPortSimple} 25import freechips.rocketchip.tile.HasFPUParameters 26import freechips.rocketchip.tilelink._ 27import device.MsiInfoBundle 28import utils._ 29import utility._ 30import system.SoCParamsKey 31import xiangshan._ 32import xiangshan.ExceptionNO._ 33import xiangshan.frontend.HasInstrMMIOConst 34import xiangshan.backend.Bundles.{DynInst, MemExuInput, MemExuOutput} 35import xiangshan.backend.ctrlblock.{DebugLSIO, LsTopdownInfo} 36import xiangshan.backend.exu.MemExeUnit 37import xiangshan.backend.fu._ 38import xiangshan.backend.fu.FuType._ 39import xiangshan.backend.fu.NewCSR.{CsrTriggerBundle, TriggerUtil} 40import xiangshan.backend.fu.util.{HasCSRConst, SdtrigExt} 41import xiangshan.backend.{BackendToTopBundle, TopToBackendBundle} 42import xiangshan.backend.rob.{RobDebugRollingIO, RobPtr, RobLsqIO} 43import xiangshan.backend.datapath.NewPipelineConnect 44import xiangshan.backend.trace.{Itype, TraceCoreInterface} 45import xiangshan.backend.Bundles._ 46import xiangshan.mem._ 47import xiangshan.mem.mdp._ 48import xiangshan.mem.Bundles._ 49import xiangshan.mem.prefetch.{BasePrefecher, L1Prefetcher, SMSParams, SMSPrefetcher} 50import xiangshan.cache._ 51import xiangshan.cache.mmu._ 52import coupledL2.{PrefetchRecv} 53 54trait HasMemBlockParameters extends HasXSParameter { 55 // number of memory units 56 val LduCnt = backendParams.LduCnt 57 val StaCnt = backendParams.StaCnt 58 val StdCnt = backendParams.StdCnt 59 val HyuCnt = backendParams.HyuCnt 60 val VlduCnt = backendParams.VlduCnt 61 val VstuCnt = backendParams.VstuCnt 62 63 val LdExuCnt = LduCnt + HyuCnt 64 val StAddrCnt = StaCnt + HyuCnt 65 val StDataCnt = StdCnt 66 val MemExuCnt = LduCnt + HyuCnt + StaCnt + StdCnt 67 val MemAddrExtCnt = LdExuCnt + StaCnt 68 val MemVExuCnt = VlduCnt + VstuCnt 69 70 val AtomicWBPort = 0 71 val MisalignWBPort = 1 72 val UncacheWBPort = 2 73 val NCWBPorts = Seq(1, 2) 74} 75 76abstract class MemBlockBundle(implicit val p: Parameters) extends Bundle with HasMemBlockParameters 77 78class Std(cfg: FuConfig)(implicit p: Parameters) extends FuncUnit(cfg) { 79 io.in.ready := io.out.ready 80 io.out.valid := io.in.valid 81 io.out.bits := 0.U.asTypeOf(io.out.bits) 82 io.out.bits.res.data := io.in.bits.data.src(0) 83 io.out.bits.ctrl.robIdx := io.in.bits.ctrl.robIdx 84} 85 86class ooo_to_mem(implicit p: Parameters) extends MemBlockBundle { 87 val backendToTopBypass = Flipped(new BackendToTopBundle) 88 89 val loadFastMatch = Vec(LdExuCnt, Input(UInt(LdExuCnt.W))) 90 val loadFastFuOpType = Vec(LdExuCnt, Input(FuOpType())) 91 val loadFastImm = Vec(LdExuCnt, Input(UInt(12.W))) 92 val sfence = Input(new SfenceBundle) 93 val tlbCsr = Input(new TlbCsrBundle) 94 val lsqio = new Bundle { 95 val lcommit = Input(UInt(log2Up(CommitWidth + 1).W)) 96 val scommit = Input(UInt(log2Up(CommitWidth + 1).W)) 97 val pendingMMIOld = Input(Bool()) 98 val pendingld = Input(Bool()) 99 val pendingst = Input(Bool()) 100 val pendingVst = Input(Bool()) 101 val commit = Input(Bool()) 102 val pendingPtr = Input(new RobPtr) 103 val pendingPtrNext = Input(new RobPtr) 104 } 105 106 val isStoreException = Input(Bool()) 107 val isVlsException = Input(Bool()) 108 val csrCtrl = Flipped(new CustomCSRCtrlIO) 109 val enqLsq = new LsqEnqIO 110 val flushSb = Input(Bool()) 111 112 val storePc = Vec(StaCnt, Input(UInt(VAddrBits.W))) // for hw prefetch 113 val hybridPc = Vec(HyuCnt, Input(UInt(VAddrBits.W))) // for hw prefetch 114 115 val issueLda = MixedVec(Seq.fill(LduCnt)(Flipped(DecoupledIO(new MemExuInput)))) 116 val issueSta = MixedVec(Seq.fill(StaCnt)(Flipped(DecoupledIO(new MemExuInput)))) 117 val issueStd = MixedVec(Seq.fill(StdCnt)(Flipped(DecoupledIO(new MemExuInput)))) 118 val issueHya = MixedVec(Seq.fill(HyuCnt)(Flipped(DecoupledIO(new MemExuInput)))) 119 val issueVldu = MixedVec(Seq.fill(VlduCnt)(Flipped(DecoupledIO(new MemExuInput(isVector=true))))) 120 121 def issueUops = issueLda ++ issueSta ++ issueStd ++ issueHya ++ issueVldu 122} 123 124class mem_to_ooo(implicit p: Parameters) extends MemBlockBundle { 125 val topToBackendBypass = new TopToBackendBundle 126 127 val otherFastWakeup = Vec(LdExuCnt, ValidIO(new DynInst)) 128 val lqCancelCnt = Output(UInt(log2Up(VirtualLoadQueueSize + 1).W)) 129 val sqCancelCnt = Output(UInt(log2Up(StoreQueueSize + 1).W)) 130 val sqDeq = Output(UInt(log2Ceil(EnsbufferWidth + 1).W)) 131 val lqDeq = Output(UInt(log2Up(CommitWidth + 1).W)) 132 // used by VLSU issue queue, the vector store would wait all store before it, and the vector load would wait all load 133 val sqDeqPtr = Output(new SqPtr) 134 val lqDeqPtr = Output(new LqPtr) 135 val stIn = Vec(StAddrCnt, ValidIO(new MemExuInput)) 136 val stIssuePtr = Output(new SqPtr()) 137 138 val memoryViolation = ValidIO(new Redirect) 139 val sbIsEmpty = Output(Bool()) 140 141 val lsTopdownInfo = Vec(LdExuCnt, Output(new LsTopdownInfo)) 142 143 val lsqio = new Bundle { 144 val vaddr = Output(UInt(XLEN.W)) 145 val vstart = Output(UInt((log2Up(VLEN) + 1).W)) 146 val vl = Output(UInt((log2Up(VLEN) + 1).W)) 147 val gpaddr = Output(UInt(XLEN.W)) 148 val isForVSnonLeafPTE = Output(Bool()) 149 val mmio = Output(Vec(LoadPipelineWidth, Bool())) 150 val uop = Output(Vec(LoadPipelineWidth, new DynInst)) 151 val lqCanAccept = Output(Bool()) 152 val sqCanAccept = Output(Bool()) 153 } 154 155 val storeDebugInfo = Vec(EnsbufferWidth, new Bundle { 156 val robidx = Output(new RobPtr) 157 val pc = Input(UInt(VAddrBits.W)) 158 }) 159 160 val writebackLda = Vec(LduCnt, DecoupledIO(new MemExuOutput)) 161 val writebackSta = Vec(StaCnt, DecoupledIO(new MemExuOutput)) 162 val writebackStd = Vec(StdCnt, DecoupledIO(new MemExuOutput)) 163 val writebackHyuLda = Vec(HyuCnt, DecoupledIO(new MemExuOutput)) 164 val writebackHyuSta = Vec(HyuCnt, DecoupledIO(new MemExuOutput)) 165 val writebackVldu = Vec(VlduCnt, DecoupledIO(new MemExuOutput(isVector = true))) 166 def writeBack: Seq[DecoupledIO[MemExuOutput]] = { 167 writebackSta ++ 168 writebackHyuLda ++ writebackHyuSta ++ 169 writebackLda ++ 170 writebackVldu ++ 171 writebackStd 172 } 173 174 val ldaIqFeedback = Vec(LduCnt, new MemRSFeedbackIO) 175 val staIqFeedback = Vec(StaCnt, new MemRSFeedbackIO) 176 val hyuIqFeedback = Vec(HyuCnt, new MemRSFeedbackIO) 177 val vstuIqFeedback= Vec(VstuCnt, new MemRSFeedbackIO(isVector = true)) 178 val vlduIqFeedback= Vec(VlduCnt, new MemRSFeedbackIO(isVector = true)) 179 val ldCancel = Vec(backendParams.LdExuCnt, new LoadCancelIO) 180 val wakeup = Vec(backendParams.LdExuCnt, Valid(new DynInst)) 181 182 val s3_delayed_load_error = Vec(LdExuCnt, Output(Bool())) 183} 184 185class MemCoreTopDownIO extends Bundle { 186 val robHeadMissInDCache = Output(Bool()) 187 val robHeadTlbReplay = Output(Bool()) 188 val robHeadTlbMiss = Output(Bool()) 189 val robHeadLoadVio = Output(Bool()) 190 val robHeadLoadMSHR = Output(Bool()) 191} 192 193class fetch_to_mem(implicit p: Parameters) extends XSBundle{ 194 val itlb = Flipped(new TlbPtwIO()) 195} 196 197// triple buffer applied in i-mmio path (two at MemBlock, one at L2Top) 198class InstrUncacheBuffer()(implicit p: Parameters) extends LazyModule with HasInstrMMIOConst { 199 val node = new TLBufferNode(BufferParams.default, BufferParams.default, BufferParams.default, BufferParams.default, BufferParams.default) 200 lazy val module = new InstrUncacheBufferImpl 201 202 class InstrUncacheBufferImpl extends LazyModuleImp(this) { 203 (node.in zip node.out) foreach { case ((in, edgeIn), (out, edgeOut)) => 204 out.a <> BufferParams.default(BufferParams.default(in.a)) 205 in.d <> BufferParams.default(BufferParams.default(out.d)) 206 207 // only a.valid, a.ready, a.address can change 208 // hoping that the rest would be optimized to keep MemBlock port unchanged after adding buffer 209 out.a.bits.data := 0.U 210 out.a.bits.mask := Fill(mmioBusBytes, 1.U(1.W)) 211 out.a.bits.opcode := 4.U // Get 212 out.a.bits.size := log2Ceil(mmioBusBytes).U 213 out.a.bits.source := 0.U 214 } 215 } 216} 217 218// triple buffer applied in L1I$-L2 path (two at MemBlock, one at L2Top) 219class ICacheBuffer()(implicit p: Parameters) extends LazyModule { 220 val node = new TLBufferNode(BufferParams.default, BufferParams.default, BufferParams.default, BufferParams.default, BufferParams.default) 221 lazy val module = new ICacheBufferImpl 222 223 class ICacheBufferImpl extends LazyModuleImp(this) { 224 (node.in zip node.out) foreach { case ((in, edgeIn), (out, edgeOut)) => 225 out.a <> BufferParams.default(BufferParams.default(in.a)) 226 in.d <> BufferParams.default(BufferParams.default(out.d)) 227 } 228 } 229} 230 231class ICacheCtrlBuffer()(implicit p: Parameters) extends LazyModule { 232 val node = new TLBufferNode(BufferParams.default, BufferParams.default, BufferParams.default, BufferParams.default, BufferParams.default) 233 lazy val module = new ICacheCtrlBufferImpl 234 235 class ICacheCtrlBufferImpl extends LazyModuleImp(this) { 236 (node.in zip node.out) foreach { case ((in, edgeIn), (out, edgeOut)) => 237 out.a <> BufferParams.default(BufferParams.default(in.a)) 238 in.d <> BufferParams.default(BufferParams.default(out.d)) 239 } 240 } 241} 242 243// Frontend bus goes through MemBlock 244class FrontendBridge()(implicit p: Parameters) extends LazyModule { 245 val icache_node = LazyModule(new ICacheBuffer()).suggestName("icache").node// to keep IO port name 246 val icachectrl_node = LazyModule(new ICacheCtrlBuffer()).suggestName("icachectrl").node 247 val instr_uncache_node = LazyModule(new InstrUncacheBuffer()).suggestName("instr_uncache").node 248 lazy val module = new LazyModuleImp(this) { 249 } 250} 251 252class MemBlockInlined()(implicit p: Parameters) extends LazyModule 253 with HasXSParameter { 254 override def shouldBeInlined: Boolean = true 255 256 val dcache = LazyModule(new DCacheWrapper()) 257 val uncache = LazyModule(new Uncache()) 258 val uncache_port = TLTempNode() 259 val uncache_xbar = TLXbar() 260 val ptw = LazyModule(new L2TLBWrapper()) 261 val ptw_to_l2_buffer = if (!coreParams.softPTW) LazyModule(new TLBuffer) else null 262 val l1d_to_l2_buffer = if (coreParams.dcacheParametersOpt.nonEmpty) LazyModule(new TLBuffer) else null 263 val dcache_port = TLNameNode("dcache_client") // to keep dcache-L2 port name 264 val l2_pf_sender_opt = coreParams.prefetcher.map(_ => 265 BundleBridgeSource(() => new PrefetchRecv) 266 ) 267 val l3_pf_sender_opt = if (p(SoCParamsKey).L3CacheParamsOpt.nonEmpty) coreParams.prefetcher.map(_ => 268 BundleBridgeSource(() => new huancun.PrefetchRecv) 269 ) else None 270 val frontendBridge = LazyModule(new FrontendBridge) 271 // interrupt sinks 272 val clint_int_sink = IntSinkNode(IntSinkPortSimple(1, 2)) 273 val debug_int_sink = IntSinkNode(IntSinkPortSimple(1, 1)) 274 val plic_int_sink = IntSinkNode(IntSinkPortSimple(2, 1)) 275 val nmi_int_sink = IntSinkNode(IntSinkPortSimple(1, (new NonmaskableInterruptIO).elements.size)) 276 277 if (!coreParams.softPTW) { 278 ptw_to_l2_buffer.node := ptw.node 279 } 280 uncache_xbar := TLBuffer() := uncache.clientNode 281 if (dcache.uncacheNode.isDefined) { 282 dcache.uncacheNode.get := TLBuffer.chainNode(2) := uncache_xbar 283 } 284 uncache_port := TLBuffer.chainNode(2) := uncache_xbar 285 286 lazy val module = new MemBlockInlinedImp(this) 287} 288 289class MemBlockInlinedImp(outer: MemBlockInlined) extends LazyModuleImp(outer) 290 with HasXSParameter 291 with HasFPUParameters 292 with HasPerfEvents 293 with HasL1PrefetchSourceParameter 294 with HasCircularQueuePtrHelper 295 with HasMemBlockParameters 296 with HasTlbConst 297 with HasCSRConst 298 with SdtrigExt 299{ 300 val io = IO(new Bundle { 301 val hartId = Input(UInt(hartIdLen.W)) 302 val redirect = Flipped(ValidIO(new Redirect)) 303 304 val ooo_to_mem = new ooo_to_mem 305 val mem_to_ooo = new mem_to_ooo 306 val fetch_to_mem = new fetch_to_mem 307 308 val ifetchPrefetch = Vec(LduCnt, ValidIO(new SoftIfetchPrefetchBundle)) 309 310 // misc 311 val error = ValidIO(new L1CacheErrorInfo) 312 val memInfo = new Bundle { 313 val sqFull = Output(Bool()) 314 val lqFull = Output(Bool()) 315 val dcacheMSHRFull = Output(Bool()) 316 } 317 val debug_ls = new DebugLSIO 318 val l2_hint = Input(Valid(new L2ToL1Hint())) 319 val l2PfqBusy = Input(Bool()) 320 val l2_tlb_req = Flipped(new TlbRequestIO(nRespDups = 2)) 321 val l2_pmp_resp = new PMPRespBundle 322 val l2_flush_done = Input(Bool()) 323 324 val debugTopDown = new Bundle { 325 val robHeadVaddr = Flipped(Valid(UInt(VAddrBits.W))) 326 val toCore = new MemCoreTopDownIO 327 } 328 val debugRolling = Flipped(new RobDebugRollingIO) 329 330 // All the signals from/to frontend/backend to/from bus will go through MemBlock 331 val fromTopToBackend = Input(new Bundle { 332 val msiInfo = ValidIO(new MsiInfoBundle) 333 val clintTime = ValidIO(UInt(64.W)) 334 }) 335 val inner_hartId = Output(UInt(hartIdLen.W)) 336 val inner_reset_vector = Output(UInt(PAddrBits.W)) 337 val outer_reset_vector = Input(UInt(PAddrBits.W)) 338 val outer_cpu_halt = Output(Bool()) 339 val outer_l2_flush_en = Output(Bool()) 340 val outer_power_down_en = Output(Bool()) 341 val outer_cpu_critical_error = Output(Bool()) 342 val inner_beu_errors_icache = Input(new L1BusErrorUnitInfo) 343 val outer_beu_errors_icache = Output(new L1BusErrorUnitInfo) 344 val inner_hc_perfEvents = Output(Vec(numPCntHc * coreParams.L2NBanks + 1, new PerfEvent)) 345 val outer_hc_perfEvents = Input(Vec(numPCntHc * coreParams.L2NBanks + 1, new PerfEvent)) 346 347 // reset signals of frontend & backend are generated in memblock 348 val reset_backend = Output(Reset()) 349 // Reset singal from frontend. 350 val resetInFrontendBypass = new Bundle{ 351 val fromFrontend = Input(Bool()) 352 val toL2Top = Output(Bool()) 353 } 354 val traceCoreInterfaceBypass = new Bundle{ 355 val fromBackend = Flipped(new TraceCoreInterface(hasOffset = true)) 356 val toL2Top = new TraceCoreInterface 357 } 358 359 val topDownInfo = new Bundle { 360 val fromL2Top = Input(new TopDownFromL2Top) 361 val toBackend = Flipped(new TopDownInfo) 362 } 363 }) 364 365 dontTouch(io.inner_hartId) 366 dontTouch(io.inner_reset_vector) 367 dontTouch(io.outer_reset_vector) 368 dontTouch(io.outer_cpu_halt) 369 dontTouch(io.outer_l2_flush_en) 370 dontTouch(io.outer_power_down_en) 371 dontTouch(io.outer_cpu_critical_error) 372 dontTouch(io.inner_beu_errors_icache) 373 dontTouch(io.outer_beu_errors_icache) 374 dontTouch(io.inner_hc_perfEvents) 375 dontTouch(io.outer_hc_perfEvents) 376 377 val redirect = RegNextWithEnable(io.redirect) 378 379 private val dcache = outer.dcache.module 380 val uncache = outer.uncache.module 381 382 //val delayedDcacheRefill = RegNext(dcache.io.lsu.lsq) 383 384 val csrCtrl = DelayN(io.ooo_to_mem.csrCtrl, 2) 385 dcache.io.l2_pf_store_only := RegNext(io.ooo_to_mem.csrCtrl.pf_ctrl.l2_pf_store_only, false.B) 386 io.error <> DelayNWithValid(dcache.io.error, 2) 387 when(!csrCtrl.cache_error_enable){ 388 io.error.bits.report_to_beu := false.B 389 io.error.valid := false.B 390 } 391 392 val loadUnits = Seq.fill(LduCnt)(Module(new LoadUnit)) 393 val storeUnits = Seq.fill(StaCnt)(Module(new StoreUnit)) 394 val stdExeUnits = Seq.fill(StdCnt)(Module(new MemExeUnit(backendParams.memSchdParams.get.issueBlockParams.find(_.StdCnt != 0).get.exuBlockParams.head))) 395 val hybridUnits = Seq.fill(HyuCnt)(Module(new HybridUnit)) // Todo: replace it with HybridUnit 396 val stData = stdExeUnits.map(_.io.out) 397 val exeUnits = loadUnits ++ storeUnits 398 399 // The number of vector load/store units is decoupled with the number of load/store units 400 val vlSplit = Seq.fill(VlduCnt)(Module(new VLSplitImp)) 401 val vsSplit = Seq.fill(VstuCnt)(Module(new VSSplitImp)) 402 val vlMergeBuffer = Module(new VLMergeBufferImp) 403 val vsMergeBuffer = Seq.fill(VstuCnt)(Module(new VSMergeBufferImp)) 404 val vSegmentUnit = Module(new VSegmentUnit) 405 val vfofBuffer = Module(new VfofBuffer) 406 407 // misalign Buffer 408 val loadMisalignBuffer = Module(new LoadMisalignBuffer) 409 val storeMisalignBuffer = Module(new StoreMisalignBuffer) 410 411 val l1_pf_req = Wire(Decoupled(new L1PrefetchReq())) 412 dcache.io.sms_agt_evict_req.ready := false.B 413 val prefetcherOpt: Option[BasePrefecher] = coreParams.prefetcher.map { 414 case _: SMSParams => 415 val sms = Module(new SMSPrefetcher()) 416 sms.io_agt_en := GatedRegNextN(io.ooo_to_mem.csrCtrl.pf_ctrl.l1D_pf_enable_agt, 2, Some(false.B)) 417 sms.io_pht_en := GatedRegNextN(io.ooo_to_mem.csrCtrl.pf_ctrl.l1D_pf_enable_pht, 2, Some(false.B)) 418 sms.io_act_threshold := GatedRegNextN(io.ooo_to_mem.csrCtrl.pf_ctrl.l1D_pf_active_threshold, 2, Some(12.U)) 419 sms.io_act_stride := GatedRegNextN(io.ooo_to_mem.csrCtrl.pf_ctrl.l1D_pf_active_stride, 2, Some(30.U)) 420 sms.io_stride_en := false.B 421 sms.io_dcache_evict <> dcache.io.sms_agt_evict_req 422 sms 423 } 424 prefetcherOpt.foreach{ pf => pf.io.l1_req.ready := false.B } 425 val hartId = p(XSCoreParamsKey).HartId 426 val l1PrefetcherOpt: Option[BasePrefecher] = coreParams.prefetcher.map { 427 case _ => 428 val l1Prefetcher = Module(new L1Prefetcher()) 429 l1Prefetcher.io.enable := Constantin.createRecord(s"enableL1StreamPrefetcher$hartId", initValue = true) 430 l1Prefetcher.pf_ctrl <> dcache.io.pf_ctrl 431 l1Prefetcher.l2PfqBusy := io.l2PfqBusy 432 433 // stride will train on miss or prefetch hit 434 for (i <- 0 until LduCnt) { 435 val source = loadUnits(i).io.prefetch_train_l1 436 l1Prefetcher.stride_train(i).valid := source.valid && source.bits.isFirstIssue && ( 437 source.bits.miss || isFromStride(source.bits.meta_prefetch) 438 ) 439 l1Prefetcher.stride_train(i).bits := source.bits 440 val loadPc = RegNext(io.ooo_to_mem.issueLda(i).bits.uop.pc) // for s1 441 l1Prefetcher.stride_train(i).bits.uop.pc := Mux( 442 loadUnits(i).io.s2_ptr_chasing, 443 RegEnable(loadPc, loadUnits(i).io.s2_prefetch_spec), 444 RegEnable(RegEnable(loadPc, loadUnits(i).io.s1_prefetch_spec), loadUnits(i).io.s2_prefetch_spec) 445 ) 446 } 447 for (i <- 0 until HyuCnt) { 448 val source = hybridUnits(i).io.prefetch_train_l1 449 l1Prefetcher.stride_train.drop(LduCnt)(i).valid := source.valid && source.bits.isFirstIssue && ( 450 source.bits.miss || isFromStride(source.bits.meta_prefetch) 451 ) 452 l1Prefetcher.stride_train.drop(LduCnt)(i).bits := source.bits 453 l1Prefetcher.stride_train.drop(LduCnt)(i).bits.uop.pc := Mux( 454 hybridUnits(i).io.ldu_io.s2_ptr_chasing, 455 RegNext(io.ooo_to_mem.hybridPc(i)), 456 RegNext(RegNext(io.ooo_to_mem.hybridPc(i))) 457 ) 458 } 459 l1Prefetcher 460 } 461 // load prefetch to l1 Dcache 462 l1PrefetcherOpt match { 463 case Some(pf) => l1_pf_req <> Pipeline(in = pf.io.l1_req, depth = 1, pipe = false, name = Some("pf_queue_to_ldu_reg")) 464 case None => 465 l1_pf_req.valid := false.B 466 l1_pf_req.bits := DontCare 467 } 468 val pf_train_on_hit = RegNextN(io.ooo_to_mem.csrCtrl.pf_ctrl.l1D_pf_train_on_hit, 2, Some(true.B)) 469 470 loadUnits.zipWithIndex.map(x => x._1.suggestName("LoadUnit_"+x._2)) 471 storeUnits.zipWithIndex.map(x => x._1.suggestName("StoreUnit_"+x._2)) 472 hybridUnits.zipWithIndex.map(x => x._1.suggestName("HybridUnit_"+x._2)) 473 val atomicsUnit = Module(new AtomicsUnit) 474 475 476 val ldaExeWbReqs = Wire(Vec(LduCnt, Decoupled(new MemExuOutput))) 477 // atomicsUnit will overwrite the source from ldu if it is about to writeback 478 val atomicWritebackOverride = Mux( 479 atomicsUnit.io.out.valid, 480 atomicsUnit.io.out.bits, 481 loadUnits(AtomicWBPort).io.ldout.bits 482 ) 483 ldaExeWbReqs(AtomicWBPort).valid := atomicsUnit.io.out.valid || loadUnits(AtomicWBPort).io.ldout.valid 484 ldaExeWbReqs(AtomicWBPort).bits := atomicWritebackOverride 485 atomicsUnit.io.out.ready := ldaExeWbReqs(AtomicWBPort).ready 486 loadUnits(AtomicWBPort).io.ldout.ready := ldaExeWbReqs(AtomicWBPort).ready 487 488 val st_data_atomics = Seq.tabulate(StdCnt)(i => 489 stData(i).valid && FuType.storeIsAMO(stData(i).bits.uop.fuType) 490 ) 491 492 // misalignBuffer will overwrite the source from ldu if it is about to writeback 493 val misalignWritebackOverride = Mux( 494 loadUnits(MisalignWBPort).io.ldout.valid, 495 loadUnits(MisalignWBPort).io.ldout.bits, 496 loadMisalignBuffer.io.writeBack.bits 497 ) 498 ldaExeWbReqs(MisalignWBPort).valid := loadMisalignBuffer.io.writeBack.valid || loadUnits(MisalignWBPort).io.ldout.valid 499 ldaExeWbReqs(MisalignWBPort).bits := misalignWritebackOverride 500 loadMisalignBuffer.io.writeBack.ready := ldaExeWbReqs(MisalignWBPort).ready && !loadUnits(MisalignWBPort).io.ldout.valid 501 loadMisalignBuffer.io.loadOutValid := loadUnits(MisalignWBPort).io.ldout.valid 502 loadMisalignBuffer.io.loadVecOutValid := loadUnits(MisalignWBPort).io.vecldout.valid 503 loadUnits(MisalignWBPort).io.ldout.ready := ldaExeWbReqs(MisalignWBPort).ready 504 ldaExeWbReqs(MisalignWBPort).bits.isFromLoadUnit := loadUnits(MisalignWBPort).io.ldout.bits.isFromLoadUnit || loadMisalignBuffer.io.writeBack.valid 505 506 // loadUnit will overwrite the source from uncache if it is about to writeback 507 ldaExeWbReqs(UncacheWBPort) <> loadUnits(UncacheWBPort).io.ldout 508 io.mem_to_ooo.writebackLda <> ldaExeWbReqs 509 io.mem_to_ooo.writebackSta <> storeUnits.map(_.io.stout) 510 io.mem_to_ooo.writebackStd.zip(stdExeUnits).foreach {x => 511 x._1.bits := x._2.io.out.bits 512 // AMOs do not need to write back std now. 513 x._1.valid := x._2.io.out.fire && !FuType.storeIsAMO(x._2.io.out.bits.uop.fuType) 514 } 515 io.mem_to_ooo.writebackHyuLda <> hybridUnits.map(_.io.ldout) 516 io.mem_to_ooo.writebackHyuSta <> hybridUnits.map(_.io.stout) 517 io.mem_to_ooo.otherFastWakeup := DontCare 518 io.mem_to_ooo.otherFastWakeup.drop(HyuCnt).take(LduCnt).zip(loadUnits.map(_.io.fast_uop)).foreach{case(a,b)=> a := b} 519 io.mem_to_ooo.otherFastWakeup.take(HyuCnt).zip(hybridUnits.map(_.io.ldu_io.fast_uop)).foreach{case(a,b)=> a:=b} 520 val stOut = io.mem_to_ooo.writebackSta ++ io.mem_to_ooo.writebackHyuSta 521 522 // prefetch to l1 req 523 // Stream's confidence is always 1 524 // (LduCnt + HyuCnt) l1_pf_reqs ? 525 loadUnits.foreach(load_unit => { 526 load_unit.io.prefetch_req.valid <> l1_pf_req.valid 527 load_unit.io.prefetch_req.bits <> l1_pf_req.bits 528 }) 529 530 hybridUnits.foreach(hybrid_unit => { 531 hybrid_unit.io.ldu_io.prefetch_req.valid <> l1_pf_req.valid 532 hybrid_unit.io.ldu_io.prefetch_req.bits <> l1_pf_req.bits 533 }) 534 535 // NOTE: loadUnits(0) has higher bank conflict and miss queue arb priority than loadUnits(1) and loadUnits(2) 536 // when loadUnits(1)/loadUnits(2) stage 0 is busy, hw prefetch will never use that pipeline 537 val LowConfPorts = if (LduCnt == 2) Seq(1) else if (LduCnt == 3) Seq(1, 2) else Seq(0) 538 LowConfPorts.map{case i => loadUnits(i).io.prefetch_req.bits.confidence := 0.U} 539 hybridUnits.foreach(hybrid_unit => { hybrid_unit.io.ldu_io.prefetch_req.bits.confidence := 0.U }) 540 541 val canAcceptHighConfPrefetch = loadUnits.map(_.io.canAcceptHighConfPrefetch) ++ 542 hybridUnits.map(_.io.canAcceptLowConfPrefetch) 543 val canAcceptLowConfPrefetch = loadUnits.map(_.io.canAcceptLowConfPrefetch) ++ 544 hybridUnits.map(_.io.canAcceptLowConfPrefetch) 545 l1_pf_req.ready := (0 until LduCnt + HyuCnt).map{ 546 case i => { 547 if (LowConfPorts.contains(i)) { 548 loadUnits(i).io.canAcceptLowConfPrefetch 549 } else { 550 Mux(l1_pf_req.bits.confidence === 1.U, canAcceptHighConfPrefetch(i), canAcceptLowConfPrefetch(i)) 551 } 552 } 553 }.reduce(_ || _) 554 555 // l1 pf fuzzer interface 556 val DebugEnableL1PFFuzzer = false 557 if (DebugEnableL1PFFuzzer) { 558 // l1 pf req fuzzer 559 val fuzzer = Module(new L1PrefetchFuzzer()) 560 fuzzer.io.vaddr := DontCare 561 fuzzer.io.paddr := DontCare 562 563 // override load_unit prefetch_req 564 loadUnits.foreach(load_unit => { 565 load_unit.io.prefetch_req.valid <> fuzzer.io.req.valid 566 load_unit.io.prefetch_req.bits <> fuzzer.io.req.bits 567 }) 568 569 // override hybrid_unit prefetch_req 570 hybridUnits.foreach(hybrid_unit => { 571 hybrid_unit.io.ldu_io.prefetch_req.valid <> fuzzer.io.req.valid 572 hybrid_unit.io.ldu_io.prefetch_req.bits <> fuzzer.io.req.bits 573 }) 574 575 fuzzer.io.req.ready := l1_pf_req.ready 576 } 577 578 // TODO: fast load wakeup 579 val lsq = Module(new LsqWrapper) 580 val sbuffer = Module(new Sbuffer) 581 // if you wants to stress test dcache store, use FakeSbuffer 582 // val sbuffer = Module(new FakeSbuffer) // out of date now 583 io.mem_to_ooo.stIssuePtr := lsq.io.issuePtrExt 584 585 dcache.io.hartId := io.hartId 586 lsq.io.hartId := io.hartId 587 sbuffer.io.hartId := io.hartId 588 atomicsUnit.io.hartId := io.hartId 589 590 dcache.io.lqEmpty := lsq.io.lqEmpty 591 592 // load/store prefetch to l2 cache 593 prefetcherOpt.foreach(sms_pf => { 594 l1PrefetcherOpt.foreach(l1_pf => { 595 val sms_pf_to_l2 = DelayNWithValid(sms_pf.io.l2_req, 2) 596 val l1_pf_to_l2 = DelayNWithValid(l1_pf.io.l2_req, 2) 597 598 outer.l2_pf_sender_opt.get.out.head._1.addr_valid := sms_pf_to_l2.valid || l1_pf_to_l2.valid 599 outer.l2_pf_sender_opt.get.out.head._1.addr := Mux(l1_pf_to_l2.valid, l1_pf_to_l2.bits.addr, sms_pf_to_l2.bits.addr) 600 outer.l2_pf_sender_opt.get.out.head._1.pf_source := Mux(l1_pf_to_l2.valid, l1_pf_to_l2.bits.source, sms_pf_to_l2.bits.source) 601 outer.l2_pf_sender_opt.get.out.head._1.l2_pf_en := RegNextN(io.ooo_to_mem.csrCtrl.pf_ctrl.l2_pf_enable, 2, Some(true.B)) 602 603 sms_pf.io.enable := RegNextN(io.ooo_to_mem.csrCtrl.pf_ctrl.l1D_pf_enable, 2, Some(false.B)) 604 605 val l2_trace = Wire(new LoadPfDbBundle) 606 l2_trace.paddr := outer.l2_pf_sender_opt.get.out.head._1.addr 607 val table = ChiselDB.createTable(s"L2PrefetchTrace$hartId", new LoadPfDbBundle, basicDB = false) 608 table.log(l2_trace, l1_pf_to_l2.valid, "StreamPrefetchTrace", clock, reset) 609 table.log(l2_trace, !l1_pf_to_l2.valid && sms_pf_to_l2.valid, "L2PrefetchTrace", clock, reset) 610 611 val l1_pf_to_l3 = ValidIODelay(l1_pf.io.l3_req, 4) 612 outer.l3_pf_sender_opt.foreach(_.out.head._1.addr_valid := l1_pf_to_l3.valid) 613 outer.l3_pf_sender_opt.foreach(_.out.head._1.addr := l1_pf_to_l3.bits) 614 outer.l3_pf_sender_opt.foreach(_.out.head._1.l2_pf_en := RegNextN(io.ooo_to_mem.csrCtrl.pf_ctrl.l2_pf_enable, 4, Some(true.B))) 615 616 val l3_trace = Wire(new LoadPfDbBundle) 617 l3_trace.paddr := outer.l3_pf_sender_opt.map(_.out.head._1.addr).getOrElse(0.U) 618 val l3_table = ChiselDB.createTable(s"L3PrefetchTrace$hartId", new LoadPfDbBundle, basicDB = false) 619 l3_table.log(l3_trace, l1_pf_to_l3.valid, "StreamPrefetchTrace", clock, reset) 620 621 XSPerfAccumulate("prefetch_fire_l2", outer.l2_pf_sender_opt.get.out.head._1.addr_valid) 622 XSPerfAccumulate("prefetch_fire_l3", outer.l3_pf_sender_opt.map(_.out.head._1.addr_valid).getOrElse(false.B)) 623 XSPerfAccumulate("l1pf_fire_l2", l1_pf_to_l2.valid) 624 XSPerfAccumulate("sms_fire_l2", !l1_pf_to_l2.valid && sms_pf_to_l2.valid) 625 XSPerfAccumulate("sms_block_by_l1pf", l1_pf_to_l2.valid && sms_pf_to_l2.valid) 626 }) 627 }) 628 629 // ptw 630 val sfence = RegNext(RegNext(io.ooo_to_mem.sfence)) 631 val tlbcsr = RegNext(RegNext(io.ooo_to_mem.tlbCsr)) 632 private val ptw = outer.ptw.module 633 private val ptw_to_l2_buffer = outer.ptw_to_l2_buffer.module 634 private val l1d_to_l2_buffer = outer.l1d_to_l2_buffer.module 635 ptw.io.hartId := io.hartId 636 ptw.io.sfence <> sfence 637 ptw.io.csr.tlb <> tlbcsr 638 ptw.io.csr.distribute_csr <> csrCtrl.distribute_csr 639 640 val perfEventsPTW = if (!coreParams.softPTW) { 641 ptw.getPerfEvents 642 } else { 643 Seq() 644 } 645 646 // dtlb 647 val dtlb_ld_tlb_ld = Module(new TLBNonBlock(LduCnt + HyuCnt + 1, 2, ldtlbParams)) 648 val dtlb_st_tlb_st = Module(new TLBNonBlock(StaCnt, 1, sttlbParams)) 649 val dtlb_prefetch_tlb_prefetch = Module(new TLBNonBlock(2, 2, pftlbParams)) 650 val dtlb_ld = Seq(dtlb_ld_tlb_ld.io) 651 val dtlb_st = Seq(dtlb_st_tlb_st.io) 652 val dtlb_prefetch = Seq(dtlb_prefetch_tlb_prefetch.io) 653 /* tlb vec && constant variable */ 654 val dtlb = dtlb_ld ++ dtlb_st ++ dtlb_prefetch 655 val (dtlb_ld_idx, dtlb_st_idx, dtlb_pf_idx) = (0, 1, 2) 656 val TlbSubSizeVec = Seq(LduCnt + HyuCnt + 1, StaCnt, 2) // (load + hyu + stream pf, store, sms+l2bop) 657 val DTlbSize = TlbSubSizeVec.sum 658 val TlbStartVec = TlbSubSizeVec.scanLeft(0)(_ + _).dropRight(1) 659 val TlbEndVec = TlbSubSizeVec.scanLeft(0)(_ + _).drop(1) 660 661 val ptwio = Wire(new VectorTlbPtwIO(DTlbSize)) 662 val dtlb_reqs = dtlb.map(_.requestor).flatten 663 val dtlb_pmps = dtlb.map(_.pmp).flatten 664 dtlb.map(_.hartId := io.hartId) 665 dtlb.map(_.sfence := sfence) 666 dtlb.map(_.csr := tlbcsr) 667 dtlb.map(_.flushPipe.map(a => a := false.B)) // non-block doesn't need 668 dtlb.map(_.redirect := redirect) 669 if (refillBothTlb) { 670 require(ldtlbParams.outReplace == sttlbParams.outReplace) 671 require(ldtlbParams.outReplace == hytlbParams.outReplace) 672 require(ldtlbParams.outReplace == pftlbParams.outReplace) 673 require(ldtlbParams.outReplace) 674 675 val replace = Module(new TlbReplace(DTlbSize, ldtlbParams)) 676 replace.io.apply_sep(dtlb_ld.map(_.replace) ++ dtlb_st.map(_.replace) ++ dtlb_prefetch.map(_.replace), ptwio.resp.bits.data.s1.entry.tag) 677 } else { 678 // TODO: there will be bugs in TlbReplace when outReplace enable, since the order of Hyu is not right. 679 if (ldtlbParams.outReplace) { 680 val replace_ld = Module(new TlbReplace(LduCnt + 1, ldtlbParams)) 681 replace_ld.io.apply_sep(dtlb_ld.map(_.replace), ptwio.resp.bits.data.s1.entry.tag) 682 } 683 if (hytlbParams.outReplace) { 684 val replace_hy = Module(new TlbReplace(HyuCnt, hytlbParams)) 685 replace_hy.io.apply_sep(dtlb_ld.map(_.replace), ptwio.resp.bits.data.s1.entry.tag) 686 } 687 if (sttlbParams.outReplace) { 688 val replace_st = Module(new TlbReplace(StaCnt, sttlbParams)) 689 replace_st.io.apply_sep(dtlb_st.map(_.replace), ptwio.resp.bits.data.s1.entry.tag) 690 } 691 if (pftlbParams.outReplace) { 692 val replace_pf = Module(new TlbReplace(2, pftlbParams)) 693 replace_pf.io.apply_sep(dtlb_prefetch.map(_.replace), ptwio.resp.bits.data.s1.entry.tag) 694 } 695 } 696 697 val ptw_resp_next = RegEnable(ptwio.resp.bits, ptwio.resp.valid) 698 val ptw_resp_v = RegNext(ptwio.resp.valid && !(sfence.valid && tlbcsr.satp.changed && tlbcsr.vsatp.changed && tlbcsr.hgatp.changed), init = false.B) 699 ptwio.resp.ready := true.B 700 701 val tlbreplay = WireInit(VecInit(Seq.fill(LdExuCnt)(false.B))) 702 val tlbreplay_reg = GatedValidRegNext(tlbreplay) 703 val dtlb_ld0_tlbreplay_reg = GatedValidRegNext(dtlb_ld(0).tlbreplay) 704 705 if (backendParams.debugEn){ dontTouch(tlbreplay) } 706 707 for (i <- 0 until LdExuCnt) { 708 tlbreplay(i) := dtlb_ld(0).ptw.req(i).valid && ptw_resp_next.vector(0) && ptw_resp_v && 709 ptw_resp_next.data.hit(dtlb_ld(0).ptw.req(i).bits.vpn, tlbcsr.satp.asid, tlbcsr.vsatp.asid, tlbcsr.hgatp.vmid, allType = true, ignoreAsid = true) 710 } 711 712 dtlb.flatMap(a => a.ptw.req) 713 .zipWithIndex 714 .foreach{ case (tlb, i) => 715 tlb.ready := ptwio.req(i).ready 716 ptwio.req(i).bits := tlb.bits 717 val vector_hit = if (refillBothTlb) Cat(ptw_resp_next.vector).orR 718 else if (i < TlbEndVec(dtlb_ld_idx)) Cat(ptw_resp_next.vector.slice(TlbStartVec(dtlb_ld_idx), TlbEndVec(dtlb_ld_idx))).orR 719 else if (i < TlbEndVec(dtlb_st_idx)) Cat(ptw_resp_next.vector.slice(TlbStartVec(dtlb_st_idx), TlbEndVec(dtlb_st_idx))).orR 720 else Cat(ptw_resp_next.vector.slice(TlbStartVec(dtlb_pf_idx), TlbEndVec(dtlb_pf_idx))).orR 721 ptwio.req(i).valid := tlb.valid && !(ptw_resp_v && vector_hit && ptw_resp_next.data.hit(tlb.bits.vpn, tlbcsr.satp.asid, tlbcsr.vsatp.asid, tlbcsr.hgatp.vmid, allType = true, ignoreAsid = true)) 722 } 723 dtlb.foreach(_.ptw.resp.bits := ptw_resp_next.data) 724 if (refillBothTlb) { 725 dtlb.foreach(_.ptw.resp.valid := ptw_resp_v && Cat(ptw_resp_next.vector).orR) 726 } else { 727 dtlb_ld.foreach(_.ptw.resp.valid := ptw_resp_v && Cat(ptw_resp_next.vector.slice(TlbStartVec(dtlb_ld_idx), TlbEndVec(dtlb_ld_idx))).orR) 728 dtlb_st.foreach(_.ptw.resp.valid := ptw_resp_v && Cat(ptw_resp_next.vector.slice(TlbStartVec(dtlb_st_idx), TlbEndVec(dtlb_st_idx))).orR) 729 dtlb_prefetch.foreach(_.ptw.resp.valid := ptw_resp_v && Cat(ptw_resp_next.vector.slice(TlbStartVec(dtlb_pf_idx), TlbEndVec(dtlb_pf_idx))).orR) 730 } 731 dtlb_ld.foreach(_.ptw.resp.bits.getGpa := Cat(ptw_resp_next.getGpa.take(LduCnt + HyuCnt + 1)).orR) 732 dtlb_st.foreach(_.ptw.resp.bits.getGpa := Cat(ptw_resp_next.getGpa.slice(LduCnt + HyuCnt + 1, LduCnt + HyuCnt + 1 + StaCnt)).orR) 733 dtlb_prefetch.foreach(_.ptw.resp.bits.getGpa := Cat(ptw_resp_next.getGpa.drop(LduCnt + HyuCnt + 1 + StaCnt)).orR) 734 735 val dtlbRepeater = PTWNewFilter(ldtlbParams.fenceDelay, ptwio, ptw.io.tlb(1), sfence, tlbcsr, l2tlbParams.dfilterSize) 736 val itlbRepeater3 = PTWRepeaterNB(passReady = false, itlbParams.fenceDelay, io.fetch_to_mem.itlb, ptw.io.tlb(0), sfence, tlbcsr) 737 738 lsq.io.debugTopDown.robHeadMissInDTlb := dtlbRepeater.io.rob_head_miss_in_tlb 739 740 // pmp 741 val pmp = Module(new PMP()) 742 pmp.io.distribute_csr <> csrCtrl.distribute_csr 743 744 val pmp_checkers = Seq.fill(DTlbSize)(Module(new PMPChecker(4, leaveHitMux = true))) 745 val pmp_check = pmp_checkers.map(_.io) 746 for ((p,d) <- pmp_check zip dtlb_pmps) { 747 p.apply(tlbcsr.priv.dmode, pmp.io.pmp, pmp.io.pma, d) 748 require(p.req.bits.size.getWidth == d.bits.size.getWidth) 749 } 750 751 for (i <- 0 until LduCnt) { 752 io.debug_ls.debugLsInfo(i) := loadUnits(i).io.debug_ls 753 } 754 for (i <- 0 until HyuCnt) { 755 io.debug_ls.debugLsInfo.drop(LduCnt)(i) := hybridUnits(i).io.ldu_io.debug_ls 756 } 757 for (i <- 0 until StaCnt) { 758 io.debug_ls.debugLsInfo.drop(LduCnt + HyuCnt)(i) := storeUnits(i).io.debug_ls 759 } 760 for (i <- 0 until HyuCnt) { 761 io.debug_ls.debugLsInfo.drop(LduCnt + HyuCnt + StaCnt)(i) := hybridUnits(i).io.stu_io.debug_ls 762 } 763 764 io.mem_to_ooo.lsTopdownInfo := loadUnits.map(_.io.lsTopdownInfo) ++ hybridUnits.map(_.io.ldu_io.lsTopdownInfo) 765 766 // trigger 767 val tdata = RegInit(VecInit(Seq.fill(TriggerNum)(0.U.asTypeOf(new MatchTriggerIO)))) 768 val tEnable = RegInit(VecInit(Seq.fill(TriggerNum)(false.B))) 769 tEnable := csrCtrl.mem_trigger.tEnableVec 770 when(csrCtrl.mem_trigger.tUpdate.valid) { 771 tdata(csrCtrl.mem_trigger.tUpdate.bits.addr) := csrCtrl.mem_trigger.tUpdate.bits.tdata 772 } 773 val triggerCanRaiseBpExp = csrCtrl.mem_trigger.triggerCanRaiseBpExp 774 val debugMode = csrCtrl.mem_trigger.debugMode 775 776 val backendTriggerTimingVec = VecInit(tdata.map(_.timing)) 777 val backendTriggerChainVec = VecInit(tdata.map(_.chain)) 778 779 XSDebug(tEnable.asUInt.orR, "Debug Mode: At least one store trigger is enabled\n") 780 for (j <- 0 until TriggerNum) 781 PrintTriggerInfo(tEnable(j), tdata(j)) 782 783 // The segment instruction is executed atomically. 784 // After the segment instruction directive starts executing, no other instructions should be executed. 785 val vSegmentFlag = RegInit(false.B) 786 787 when(GatedValidRegNext(vSegmentUnit.io.in.fire)) { 788 vSegmentFlag := true.B 789 }.elsewhen(GatedValidRegNext(vSegmentUnit.io.uopwriteback.valid)) { 790 vSegmentFlag := false.B 791 } 792 793 // LoadUnit 794 val correctMissTrain = Constantin.createRecord(s"CorrectMissTrain$hartId", initValue = false) 795 796 for (i <- 0 until LduCnt) { 797 loadUnits(i).io.redirect <> redirect 798 799 // get input form dispatch 800 loadUnits(i).io.ldin <> io.ooo_to_mem.issueLda(i) 801 loadUnits(i).io.feedback_slow <> io.mem_to_ooo.ldaIqFeedback(i).feedbackSlow 802 io.mem_to_ooo.ldaIqFeedback(i).feedbackFast := DontCare 803 loadUnits(i).io.correctMissTrain := correctMissTrain 804 io.mem_to_ooo.ldCancel.drop(HyuCnt)(i) := loadUnits(i).io.ldCancel 805 io.mem_to_ooo.wakeup.drop(HyuCnt)(i) := loadUnits(i).io.wakeup 806 807 // vector 808 if (i < VlduCnt) { 809 loadUnits(i).io.vecldout.ready := false.B 810 } else { 811 loadUnits(i).io.vecldin.valid := false.B 812 loadUnits(i).io.vecldin.bits := DontCare 813 loadUnits(i).io.vecldout.ready := false.B 814 } 815 816 // fast replay 817 loadUnits(i).io.fast_rep_in <> loadUnits(i).io.fast_rep_out 818 819 // SoftPrefetch to frontend (prefetch.i) 820 loadUnits(i).io.ifetchPrefetch <> io.ifetchPrefetch(i) 821 822 // dcache access 823 loadUnits(i).io.dcache <> dcache.io.lsu.load(i) 824 if(i == 0){ 825 vSegmentUnit.io.rdcache := DontCare 826 dcache.io.lsu.load(i).req.valid := loadUnits(i).io.dcache.req.valid || vSegmentUnit.io.rdcache.req.valid 827 dcache.io.lsu.load(i).req.bits := Mux1H(Seq( 828 vSegmentUnit.io.rdcache.req.valid -> vSegmentUnit.io.rdcache.req.bits, 829 loadUnits(i).io.dcache.req.valid -> loadUnits(i).io.dcache.req.bits 830 )) 831 vSegmentUnit.io.rdcache.req.ready := dcache.io.lsu.load(i).req.ready 832 } 833 834 // Dcache requests must also be preempted by the segment. 835 when(vSegmentFlag){ 836 loadUnits(i).io.dcache.req.ready := false.B // Dcache is preempted. 837 838 dcache.io.lsu.load(0).pf_source := vSegmentUnit.io.rdcache.pf_source 839 dcache.io.lsu.load(0).s1_paddr_dup_lsu := vSegmentUnit.io.rdcache.s1_paddr_dup_lsu 840 dcache.io.lsu.load(0).s1_paddr_dup_dcache := vSegmentUnit.io.rdcache.s1_paddr_dup_dcache 841 dcache.io.lsu.load(0).s1_kill := vSegmentUnit.io.rdcache.s1_kill 842 dcache.io.lsu.load(0).s2_kill := vSegmentUnit.io.rdcache.s2_kill 843 dcache.io.lsu.load(0).s0_pc := vSegmentUnit.io.rdcache.s0_pc 844 dcache.io.lsu.load(0).s1_pc := vSegmentUnit.io.rdcache.s1_pc 845 dcache.io.lsu.load(0).s2_pc := vSegmentUnit.io.rdcache.s2_pc 846 dcache.io.lsu.load(0).is128Req := vSegmentUnit.io.rdcache.is128Req 847 }.otherwise { 848 loadUnits(i).io.dcache.req.ready := dcache.io.lsu.load(i).req.ready 849 850 dcache.io.lsu.load(0).pf_source := loadUnits(0).io.dcache.pf_source 851 dcache.io.lsu.load(0).s1_paddr_dup_lsu := loadUnits(0).io.dcache.s1_paddr_dup_lsu 852 dcache.io.lsu.load(0).s1_paddr_dup_dcache := loadUnits(0).io.dcache.s1_paddr_dup_dcache 853 dcache.io.lsu.load(0).s1_kill := loadUnits(0).io.dcache.s1_kill 854 dcache.io.lsu.load(0).s2_kill := loadUnits(0).io.dcache.s2_kill 855 dcache.io.lsu.load(0).s0_pc := loadUnits(0).io.dcache.s0_pc 856 dcache.io.lsu.load(0).s1_pc := loadUnits(0).io.dcache.s1_pc 857 dcache.io.lsu.load(0).s2_pc := loadUnits(0).io.dcache.s2_pc 858 dcache.io.lsu.load(0).is128Req := loadUnits(0).io.dcache.is128Req 859 } 860 861 // forward 862 loadUnits(i).io.lsq.forward <> lsq.io.forward(i) 863 loadUnits(i).io.sbuffer <> sbuffer.io.forward(i) 864 loadUnits(i).io.ubuffer <> uncache.io.forward(i) 865 loadUnits(i).io.tl_d_channel := dcache.io.lsu.forward_D(i) 866 loadUnits(i).io.forward_mshr <> dcache.io.lsu.forward_mshr(i) 867 // ld-ld violation check 868 loadUnits(i).io.lsq.ldld_nuke_query <> lsq.io.ldu.ldld_nuke_query(i) 869 loadUnits(i).io.lsq.stld_nuke_query <> lsq.io.ldu.stld_nuke_query(i) 870 loadUnits(i).io.csrCtrl <> csrCtrl 871 // dcache refill req 872 // loadUnits(i).io.refill <> delayedDcacheRefill 873 // dtlb 874 loadUnits(i).io.tlb <> dtlb_reqs.take(LduCnt)(i) 875 if(i == 0 ){ // port 0 assign to vsegmentUnit 876 val vsegmentDtlbReqValid = vSegmentUnit.io.dtlb.req.valid // segment tlb resquest need to delay 1 cycle 877 dtlb_reqs.take(LduCnt)(i).req.valid := loadUnits(i).io.tlb.req.valid || RegNext(vsegmentDtlbReqValid) 878 vSegmentUnit.io.dtlb.req.ready := dtlb_reqs.take(LduCnt)(i).req.ready 879 dtlb_reqs.take(LduCnt)(i).req.bits := ParallelPriorityMux(Seq( 880 RegNext(vsegmentDtlbReqValid) -> RegEnable(vSegmentUnit.io.dtlb.req.bits, vsegmentDtlbReqValid), 881 loadUnits(i).io.tlb.req.valid -> loadUnits(i).io.tlb.req.bits 882 )) 883 } 884 // pmp 885 loadUnits(i).io.pmp <> pmp_check(i).resp 886 // st-ld violation query 887 val stld_nuke_query = storeUnits.map(_.io.stld_nuke_query) ++ hybridUnits.map(_.io.stu_io.stld_nuke_query) 888 for (s <- 0 until StorePipelineWidth) { 889 loadUnits(i).io.stld_nuke_query(s) := stld_nuke_query(s) 890 } 891 loadUnits(i).io.lq_rep_full <> lsq.io.lq_rep_full 892 // load prefetch train 893 prefetcherOpt.foreach(pf => { 894 // sms will train on all miss load sources 895 val source = loadUnits(i).io.prefetch_train 896 pf.io.ld_in(i).valid := Mux(pf_train_on_hit, 897 source.valid, 898 source.valid && source.bits.isFirstIssue && source.bits.miss 899 ) 900 pf.io.ld_in(i).bits := source.bits 901 val loadPc = RegNext(io.ooo_to_mem.issueLda(i).bits.uop.pc) // for s1 902 pf.io.ld_in(i).bits.uop.pc := Mux( 903 loadUnits(i).io.s2_ptr_chasing, 904 RegEnable(loadPc, loadUnits(i).io.s2_prefetch_spec), 905 RegEnable(RegEnable(loadPc, loadUnits(i).io.s1_prefetch_spec), loadUnits(i).io.s2_prefetch_spec) 906 ) 907 }) 908 l1PrefetcherOpt.foreach(pf => { 909 // stream will train on all load sources 910 val source = loadUnits(i).io.prefetch_train_l1 911 pf.io.ld_in(i).valid := source.valid && source.bits.isFirstIssue 912 pf.io.ld_in(i).bits := source.bits 913 }) 914 915 // load to load fast forward: load(i) prefers data(i) 916 val l2l_fwd_out = loadUnits.map(_.io.l2l_fwd_out) ++ hybridUnits.map(_.io.ldu_io.l2l_fwd_out) 917 val fastPriority = (i until LduCnt + HyuCnt) ++ (0 until i) 918 val fastValidVec = fastPriority.map(j => l2l_fwd_out(j).valid) 919 val fastDataVec = fastPriority.map(j => l2l_fwd_out(j).data) 920 val fastErrorVec = fastPriority.map(j => l2l_fwd_out(j).dly_ld_err) 921 val fastMatchVec = fastPriority.map(j => io.ooo_to_mem.loadFastMatch(i)(j)) 922 loadUnits(i).io.l2l_fwd_in.valid := VecInit(fastValidVec).asUInt.orR 923 loadUnits(i).io.l2l_fwd_in.data := ParallelPriorityMux(fastValidVec, fastDataVec) 924 loadUnits(i).io.l2l_fwd_in.dly_ld_err := ParallelPriorityMux(fastValidVec, fastErrorVec) 925 val fastMatch = ParallelPriorityMux(fastValidVec, fastMatchVec) 926 loadUnits(i).io.ld_fast_match := fastMatch 927 loadUnits(i).io.ld_fast_imm := io.ooo_to_mem.loadFastImm(i) 928 loadUnits(i).io.ld_fast_fuOpType := io.ooo_to_mem.loadFastFuOpType(i) 929 loadUnits(i).io.replay <> lsq.io.replay(i) 930 931 val l2_hint = RegNext(io.l2_hint) 932 933 // L2 Hint for DCache 934 dcache.io.l2_hint <> l2_hint 935 936 loadUnits(i).io.l2_hint <> l2_hint 937 loadUnits(i).io.tlb_hint.id := dtlbRepeater.io.hint.get.req(i).id 938 loadUnits(i).io.tlb_hint.full := dtlbRepeater.io.hint.get.req(i).full || 939 tlbreplay_reg(i) || dtlb_ld0_tlbreplay_reg(i) 940 941 // passdown to lsq (load s2) 942 lsq.io.ldu.ldin(i) <> loadUnits(i).io.lsq.ldin 943 if (i == UncacheWBPort) { 944 lsq.io.ldout(i) <> loadUnits(i).io.lsq.uncache 945 } else { 946 lsq.io.ldout(i).ready := true.B 947 loadUnits(i).io.lsq.uncache.valid := false.B 948 loadUnits(i).io.lsq.uncache.bits := DontCare 949 } 950 lsq.io.ld_raw_data(i) <> loadUnits(i).io.lsq.ld_raw_data 951 lsq.io.ncOut(i) <> loadUnits(i).io.lsq.nc_ldin 952 lsq.io.l2_hint.valid := l2_hint.valid 953 lsq.io.l2_hint.bits.sourceId := l2_hint.bits.sourceId 954 lsq.io.l2_hint.bits.isKeyword := l2_hint.bits.isKeyword 955 956 lsq.io.tlb_hint <> dtlbRepeater.io.hint.get 957 958 // connect misalignBuffer 959 loadMisalignBuffer.io.req(i) <> loadUnits(i).io.misalign_buf 960 961 if (i == MisalignWBPort) { 962 loadUnits(i).io.misalign_ldin <> loadMisalignBuffer.io.splitLoadReq 963 loadUnits(i).io.misalign_ldout <> loadMisalignBuffer.io.splitLoadResp 964 } else { 965 loadUnits(i).io.misalign_ldin.valid := false.B 966 loadUnits(i).io.misalign_ldin.bits := DontCare 967 } 968 969 // alter writeback exception info 970 io.mem_to_ooo.s3_delayed_load_error(i) := loadUnits(i).io.s3_dly_ld_err 971 972 // update mem dependency predictor 973 // io.memPredUpdate(i) := DontCare 974 975 // -------------------------------- 976 // Load Triggers 977 // -------------------------------- 978 loadUnits(i).io.fromCsrTrigger.tdataVec := tdata 979 loadUnits(i).io.fromCsrTrigger.tEnableVec := tEnable 980 loadUnits(i).io.fromCsrTrigger.triggerCanRaiseBpExp := triggerCanRaiseBpExp 981 loadUnits(i).io.fromCsrTrigger.debugMode := debugMode 982 } 983 984 for (i <- 0 until HyuCnt) { 985 hybridUnits(i).io.redirect <> redirect 986 987 // get input from dispatch 988 hybridUnits(i).io.lsin <> io.ooo_to_mem.issueHya(i) 989 hybridUnits(i).io.feedback_slow <> io.mem_to_ooo.hyuIqFeedback(i).feedbackSlow 990 hybridUnits(i).io.feedback_fast <> io.mem_to_ooo.hyuIqFeedback(i).feedbackFast 991 hybridUnits(i).io.correctMissTrain := correctMissTrain 992 io.mem_to_ooo.ldCancel.take(HyuCnt)(i) := hybridUnits(i).io.ldu_io.ldCancel 993 io.mem_to_ooo.wakeup.take(HyuCnt)(i) := hybridUnits(i).io.ldu_io.wakeup 994 995 // ------------------------------------ 996 // Load Port 997 // ------------------------------------ 998 // fast replay 999 hybridUnits(i).io.ldu_io.fast_rep_in <> hybridUnits(i).io.ldu_io.fast_rep_out 1000 1001 // get input from dispatch 1002 hybridUnits(i).io.ldu_io.dcache <> dcache.io.lsu.load(LduCnt + i) 1003 hybridUnits(i).io.stu_io.dcache <> dcache.io.lsu.sta(StaCnt + i) 1004 1005 // dcache access 1006 hybridUnits(i).io.ldu_io.lsq.forward <> lsq.io.forward(LduCnt + i) 1007 // forward 1008 hybridUnits(i).io.ldu_io.sbuffer <> sbuffer.io.forward(LduCnt + i) 1009 hybridUnits(i).io.ldu_io.ubuffer <> uncache.io.forward(LduCnt + i) 1010 // hybridUnits(i).io.ldu_io.vec_forward <> vsFlowQueue.io.forward(LduCnt + i) 1011 hybridUnits(i).io.ldu_io.vec_forward := DontCare 1012 hybridUnits(i).io.ldu_io.tl_d_channel := dcache.io.lsu.forward_D(LduCnt + i) 1013 hybridUnits(i).io.ldu_io.forward_mshr <> dcache.io.lsu.forward_mshr(LduCnt + i) 1014 // ld-ld violation check 1015 hybridUnits(i).io.ldu_io.lsq.ldld_nuke_query <> lsq.io.ldu.ldld_nuke_query(LduCnt + i) 1016 hybridUnits(i).io.ldu_io.lsq.stld_nuke_query <> lsq.io.ldu.stld_nuke_query(LduCnt + i) 1017 hybridUnits(i).io.csrCtrl <> csrCtrl 1018 // dcache refill req 1019 hybridUnits(i).io.ldu_io.tlb_hint.id := dtlbRepeater.io.hint.get.req(LduCnt + i).id 1020 hybridUnits(i).io.ldu_io.tlb_hint.full := dtlbRepeater.io.hint.get.req(LduCnt + i).full || 1021 tlbreplay_reg(LduCnt + i) || dtlb_ld0_tlbreplay_reg(LduCnt + i) 1022 1023 // dtlb 1024 hybridUnits(i).io.tlb <> dtlb_ld.head.requestor(LduCnt + i) 1025 // pmp 1026 hybridUnits(i).io.pmp <> pmp_check.drop(LduCnt)(i).resp 1027 // st-ld violation query 1028 val stld_nuke_query = VecInit(storeUnits.map(_.io.stld_nuke_query) ++ hybridUnits.map(_.io.stu_io.stld_nuke_query)) 1029 hybridUnits(i).io.ldu_io.stld_nuke_query := stld_nuke_query 1030 hybridUnits(i).io.ldu_io.lq_rep_full <> lsq.io.lq_rep_full 1031 // load prefetch train 1032 prefetcherOpt.foreach(pf => { 1033 val source = hybridUnits(i).io.prefetch_train 1034 pf.io.ld_in(LduCnt + i).valid := Mux(pf_train_on_hit, 1035 source.valid, 1036 source.valid && source.bits.isFirstIssue && source.bits.miss 1037 ) 1038 pf.io.ld_in(LduCnt + i).bits := source.bits 1039 pf.io.ld_in(LduCnt + i).bits.uop.pc := Mux(hybridUnits(i).io.ldu_io.s2_ptr_chasing, io.ooo_to_mem.hybridPc(i), RegNext(io.ooo_to_mem.hybridPc(i))) 1040 }) 1041 l1PrefetcherOpt.foreach(pf => { 1042 // stream will train on all load sources 1043 val source = hybridUnits(i).io.prefetch_train_l1 1044 pf.io.ld_in(LduCnt + i).valid := source.valid && source.bits.isFirstIssue && 1045 FuType.isLoad(source.bits.uop.fuType) 1046 pf.io.ld_in(LduCnt + i).bits := source.bits 1047 pf.io.st_in(StaCnt + i).valid := false.B 1048 pf.io.st_in(StaCnt + i).bits := DontCare 1049 }) 1050 prefetcherOpt.foreach(pf => { 1051 val source = hybridUnits(i).io.prefetch_train 1052 pf.io.st_in(StaCnt + i).valid := Mux(pf_train_on_hit, 1053 source.valid, 1054 source.valid && source.bits.isFirstIssue && source.bits.miss 1055 ) && FuType.isStore(source.bits.uop.fuType) 1056 pf.io.st_in(StaCnt + i).bits := source.bits 1057 pf.io.st_in(StaCnt + i).bits.uop.pc := RegNext(io.ooo_to_mem.hybridPc(i)) 1058 }) 1059 1060 // load to load fast forward: load(i) prefers data(i) 1061 val l2l_fwd_out = loadUnits.map(_.io.l2l_fwd_out) ++ hybridUnits.map(_.io.ldu_io.l2l_fwd_out) 1062 val fastPriority = (LduCnt + i until LduCnt + HyuCnt) ++ (0 until LduCnt + i) 1063 val fastValidVec = fastPriority.map(j => l2l_fwd_out(j).valid) 1064 val fastDataVec = fastPriority.map(j => l2l_fwd_out(j).data) 1065 val fastErrorVec = fastPriority.map(j => l2l_fwd_out(j).dly_ld_err) 1066 val fastMatchVec = fastPriority.map(j => io.ooo_to_mem.loadFastMatch(LduCnt + i)(j)) 1067 hybridUnits(i).io.ldu_io.l2l_fwd_in.valid := VecInit(fastValidVec).asUInt.orR 1068 hybridUnits(i).io.ldu_io.l2l_fwd_in.data := ParallelPriorityMux(fastValidVec, fastDataVec) 1069 hybridUnits(i).io.ldu_io.l2l_fwd_in.dly_ld_err := ParallelPriorityMux(fastValidVec, fastErrorVec) 1070 val fastMatch = ParallelPriorityMux(fastValidVec, fastMatchVec) 1071 hybridUnits(i).io.ldu_io.ld_fast_match := fastMatch 1072 hybridUnits(i).io.ldu_io.ld_fast_imm := io.ooo_to_mem.loadFastImm(LduCnt + i) 1073 hybridUnits(i).io.ldu_io.ld_fast_fuOpType := io.ooo_to_mem.loadFastFuOpType(LduCnt + i) 1074 hybridUnits(i).io.ldu_io.replay <> lsq.io.replay(LduCnt + i) 1075 hybridUnits(i).io.ldu_io.l2_hint <> io.l2_hint 1076 1077 // uncache 1078 lsq.io.ldout.drop(LduCnt)(i) <> hybridUnits(i).io.ldu_io.lsq.uncache 1079 lsq.io.ld_raw_data.drop(LduCnt)(i) <> hybridUnits(i).io.ldu_io.lsq.ld_raw_data 1080 1081 1082 // passdown to lsq (load s2) 1083 hybridUnits(i).io.ldu_io.lsq.nc_ldin.valid := false.B 1084 hybridUnits(i).io.ldu_io.lsq.nc_ldin.bits := DontCare 1085 lsq.io.ldu.ldin(LduCnt + i) <> hybridUnits(i).io.ldu_io.lsq.ldin 1086 // Lsq to sta unit 1087 lsq.io.sta.storeMaskIn(StaCnt + i) <> hybridUnits(i).io.stu_io.st_mask_out 1088 1089 // Lsq to std unit's rs 1090 lsq.io.std.storeDataIn(StaCnt + i) := stData(StaCnt + i) 1091 lsq.io.std.storeDataIn(StaCnt + i).valid := stData(StaCnt + i).valid && !st_data_atomics(StaCnt + i) 1092 // prefetch 1093 hybridUnits(i).io.stu_io.prefetch_req <> sbuffer.io.store_prefetch(StaCnt + i) 1094 1095 io.mem_to_ooo.s3_delayed_load_error(LduCnt + i) := hybridUnits(i).io.ldu_io.s3_dly_ld_err 1096 1097 // ------------------------------------ 1098 // Store Port 1099 // ------------------------------------ 1100 hybridUnits(i).io.stu_io.lsq <> lsq.io.sta.storeAddrIn.takeRight(HyuCnt)(i) 1101 hybridUnits(i).io.stu_io.lsq_replenish <> lsq.io.sta.storeAddrInRe.takeRight(HyuCnt)(i) 1102 1103 lsq.io.sta.storeMaskIn.takeRight(HyuCnt)(i) <> hybridUnits(i).io.stu_io.st_mask_out 1104 io.mem_to_ooo.stIn.takeRight(HyuCnt)(i).valid := hybridUnits(i).io.stu_io.issue.valid 1105 io.mem_to_ooo.stIn.takeRight(HyuCnt)(i).bits := hybridUnits(i).io.stu_io.issue.bits 1106 1107 // ------------------------------------ 1108 // Vector Store Port 1109 // ------------------------------------ 1110 hybridUnits(i).io.vec_stu_io.isFirstIssue := true.B 1111 1112 // ------------------------- 1113 // Store Triggers 1114 // ------------------------- 1115 hybridUnits(i).io.fromCsrTrigger.tdataVec := tdata 1116 hybridUnits(i).io.fromCsrTrigger.tEnableVec := tEnable 1117 hybridUnits(i).io.fromCsrTrigger.triggerCanRaiseBpExp := triggerCanRaiseBpExp 1118 hybridUnits(i).io.fromCsrTrigger.debugMode := debugMode 1119 } 1120 1121 // misalignBuffer 1122 loadMisalignBuffer.io.redirect <> redirect 1123 loadMisalignBuffer.io.rob.lcommit := io.ooo_to_mem.lsqio.lcommit 1124 loadMisalignBuffer.io.rob.scommit := io.ooo_to_mem.lsqio.scommit 1125 loadMisalignBuffer.io.rob.pendingMMIOld := io.ooo_to_mem.lsqio.pendingMMIOld 1126 loadMisalignBuffer.io.rob.pendingld := io.ooo_to_mem.lsqio.pendingld 1127 loadMisalignBuffer.io.rob.pendingst := io.ooo_to_mem.lsqio.pendingst 1128 loadMisalignBuffer.io.rob.pendingVst := io.ooo_to_mem.lsqio.pendingVst 1129 loadMisalignBuffer.io.rob.commit := io.ooo_to_mem.lsqio.commit 1130 loadMisalignBuffer.io.rob.pendingPtr := io.ooo_to_mem.lsqio.pendingPtr 1131 loadMisalignBuffer.io.rob.pendingPtrNext := io.ooo_to_mem.lsqio.pendingPtrNext 1132 1133 lsq.io.loadMisalignFull := loadMisalignBuffer.io.loadMisalignFull 1134 1135 storeMisalignBuffer.io.redirect <> redirect 1136 storeMisalignBuffer.io.rob.lcommit := io.ooo_to_mem.lsqio.lcommit 1137 storeMisalignBuffer.io.rob.scommit := io.ooo_to_mem.lsqio.scommit 1138 storeMisalignBuffer.io.rob.pendingMMIOld := io.ooo_to_mem.lsqio.pendingMMIOld 1139 storeMisalignBuffer.io.rob.pendingld := io.ooo_to_mem.lsqio.pendingld 1140 storeMisalignBuffer.io.rob.pendingst := io.ooo_to_mem.lsqio.pendingst 1141 storeMisalignBuffer.io.rob.pendingVst := io.ooo_to_mem.lsqio.pendingVst 1142 storeMisalignBuffer.io.rob.commit := io.ooo_to_mem.lsqio.commit 1143 storeMisalignBuffer.io.rob.pendingPtr := io.ooo_to_mem.lsqio.pendingPtr 1144 storeMisalignBuffer.io.rob.pendingPtrNext := io.ooo_to_mem.lsqio.pendingPtrNext 1145 1146 lsq.io.maControl <> storeMisalignBuffer.io.sqControl 1147 1148 lsq.io.cmoOpReq <> dcache.io.cmoOpReq 1149 lsq.io.cmoOpResp <> dcache.io.cmoOpResp 1150 1151 // Prefetcher 1152 val StreamDTLBPortIndex = TlbStartVec(dtlb_ld_idx) + LduCnt + HyuCnt 1153 val PrefetcherDTLBPortIndex = TlbStartVec(dtlb_pf_idx) 1154 val L2toL1DLBPortIndex = TlbStartVec(dtlb_pf_idx) + 1 1155 prefetcherOpt match { 1156 case Some(pf) => 1157 dtlb_reqs(PrefetcherDTLBPortIndex) <> pf.io.tlb_req 1158 pf.io.pmp_resp := pmp_check(PrefetcherDTLBPortIndex).resp 1159 case None => 1160 dtlb_reqs(PrefetcherDTLBPortIndex) := DontCare 1161 dtlb_reqs(PrefetcherDTLBPortIndex).req.valid := false.B 1162 dtlb_reqs(PrefetcherDTLBPortIndex).resp.ready := true.B 1163 } 1164 l1PrefetcherOpt match { 1165 case Some(pf) => 1166 dtlb_reqs(StreamDTLBPortIndex) <> pf.io.tlb_req 1167 pf.io.pmp_resp := pmp_check(StreamDTLBPortIndex).resp 1168 case None => 1169 dtlb_reqs(StreamDTLBPortIndex) := DontCare 1170 dtlb_reqs(StreamDTLBPortIndex).req.valid := false.B 1171 dtlb_reqs(StreamDTLBPortIndex).resp.ready := true.B 1172 } 1173 dtlb_reqs(L2toL1DLBPortIndex) <> io.l2_tlb_req 1174 dtlb_reqs(L2toL1DLBPortIndex).resp.ready := true.B 1175 io.l2_pmp_resp := pmp_check(L2toL1DLBPortIndex).resp 1176 1177 // StoreUnit 1178 for (i <- 0 until StdCnt) { 1179 stdExeUnits(i).io.flush <> redirect 1180 stdExeUnits(i).io.in.valid := io.ooo_to_mem.issueStd(i).valid 1181 io.ooo_to_mem.issueStd(i).ready := stdExeUnits(i).io.in.ready 1182 stdExeUnits(i).io.in.bits := io.ooo_to_mem.issueStd(i).bits 1183 } 1184 1185 for (i <- 0 until StaCnt) { 1186 val stu = storeUnits(i) 1187 1188 stu.io.redirect <> redirect 1189 stu.io.csrCtrl <> csrCtrl 1190 stu.io.dcache <> dcache.io.lsu.sta(i) 1191 stu.io.feedback_slow <> io.mem_to_ooo.staIqFeedback(i).feedbackSlow 1192 stu.io.stin <> io.ooo_to_mem.issueSta(i) 1193 stu.io.lsq <> lsq.io.sta.storeAddrIn(i) 1194 stu.io.lsq_replenish <> lsq.io.sta.storeAddrInRe(i) 1195 // dtlb 1196 stu.io.tlb <> dtlb_st.head.requestor(i) 1197 stu.io.pmp <> pmp_check(LduCnt + HyuCnt + 1 + i).resp 1198 1199 // ------------------------- 1200 // Store Triggers 1201 // ------------------------- 1202 stu.io.fromCsrTrigger.tdataVec := tdata 1203 stu.io.fromCsrTrigger.tEnableVec := tEnable 1204 stu.io.fromCsrTrigger.triggerCanRaiseBpExp := triggerCanRaiseBpExp 1205 stu.io.fromCsrTrigger.debugMode := debugMode 1206 1207 // prefetch 1208 stu.io.prefetch_req <> sbuffer.io.store_prefetch(i) 1209 1210 // store unit does not need fast feedback 1211 io.mem_to_ooo.staIqFeedback(i).feedbackFast := DontCare 1212 1213 // Lsq to sta unit 1214 lsq.io.sta.storeMaskIn(i) <> stu.io.st_mask_out 1215 1216 // connect misalignBuffer 1217 storeMisalignBuffer.io.req(i) <> stu.io.misalign_buf 1218 1219 if (i == 0) { 1220 stu.io.misalign_stin <> storeMisalignBuffer.io.splitStoreReq 1221 stu.io.misalign_stout <> storeMisalignBuffer.io.splitStoreResp 1222 } else { 1223 stu.io.misalign_stin.valid := false.B 1224 stu.io.misalign_stin.bits := DontCare 1225 } 1226 1227 // Lsq to std unit's rs 1228 if (i < VstuCnt){ 1229 when (vsSplit(i).io.vstd.get.valid) { 1230 lsq.io.std.storeDataIn(i).valid := true.B 1231 lsq.io.std.storeDataIn(i).bits := vsSplit(i).io.vstd.get.bits 1232 stData(i).ready := false.B 1233 }.otherwise { 1234 lsq.io.std.storeDataIn(i).valid := stData(i).valid && !st_data_atomics(i) 1235 lsq.io.std.storeDataIn(i).bits.uop := stData(i).bits.uop 1236 lsq.io.std.storeDataIn(i).bits.data := stData(i).bits.data 1237 lsq.io.std.storeDataIn(i).bits.mask.map(_ := 0.U) 1238 lsq.io.std.storeDataIn(i).bits.vdIdx.map(_ := 0.U) 1239 lsq.io.std.storeDataIn(i).bits.vdIdxInField.map(_ := 0.U) 1240 stData(i).ready := true.B 1241 } 1242 } else { 1243 lsq.io.std.storeDataIn(i).valid := stData(i).valid && !st_data_atomics(i) 1244 lsq.io.std.storeDataIn(i).bits.uop := stData(i).bits.uop 1245 lsq.io.std.storeDataIn(i).bits.data := stData(i).bits.data 1246 lsq.io.std.storeDataIn(i).bits.mask.map(_ := 0.U) 1247 lsq.io.std.storeDataIn(i).bits.vdIdx.map(_ := 0.U) 1248 lsq.io.std.storeDataIn(i).bits.vdIdxInField.map(_ := 0.U) 1249 stData(i).ready := true.B 1250 } 1251 lsq.io.std.storeDataIn.map(_.bits.debug := 0.U.asTypeOf(new DebugBundle)) 1252 lsq.io.std.storeDataIn.foreach(_.bits.isFromLoadUnit := DontCare) 1253 1254 1255 // store prefetch train 1256 l1PrefetcherOpt.foreach(pf => { 1257 // stream will train on all load sources 1258 pf.io.st_in(i).valid := false.B 1259 pf.io.st_in(i).bits := DontCare 1260 }) 1261 1262 prefetcherOpt.foreach(pf => { 1263 pf.io.st_in(i).valid := Mux(pf_train_on_hit, 1264 stu.io.prefetch_train.valid, 1265 stu.io.prefetch_train.valid && stu.io.prefetch_train.bits.isFirstIssue && ( 1266 stu.io.prefetch_train.bits.miss 1267 ) 1268 ) 1269 pf.io.st_in(i).bits := stu.io.prefetch_train.bits 1270 pf.io.st_in(i).bits.uop.pc := RegEnable(RegEnable(io.ooo_to_mem.storePc(i), stu.io.s1_prefetch_spec), stu.io.s2_prefetch_spec) 1271 }) 1272 1273 // 1. sync issue info to store set LFST 1274 // 2. when store issue, broadcast issued sqPtr to wake up the following insts 1275 // io.stIn(i).valid := io.issue(exuParameters.LduCnt + i).valid 1276 // io.stIn(i).bits := io.issue(exuParameters.LduCnt + i).bits 1277 io.mem_to_ooo.stIn(i).valid := stu.io.issue.valid 1278 io.mem_to_ooo.stIn(i).bits := stu.io.issue.bits 1279 1280 stu.io.stout.ready := true.B 1281 1282 // vector 1283 if (i < VstuCnt) { 1284 stu.io.vecstin <> vsSplit(i).io.out 1285 // vsFlowQueue.io.pipeFeedback(i) <> stu.io.vec_feedback_slow // need connect 1286 } else { 1287 stu.io.vecstin.valid := false.B 1288 stu.io.vecstin.bits := DontCare 1289 stu.io.vecstout.ready := false.B 1290 } 1291 stu.io.vec_isFirstIssue := true.B // TODO 1292 } 1293 1294 val sqOtherStout = WireInit(0.U.asTypeOf(DecoupledIO(new MemExuOutput))) 1295 sqOtherStout.valid := lsq.io.mmioStout.valid || lsq.io.cboZeroStout.valid 1296 sqOtherStout.bits := Mux(lsq.io.cboZeroStout.valid, lsq.io.cboZeroStout.bits, lsq.io.mmioStout.bits) 1297 assert(!(lsq.io.mmioStout.valid && lsq.io.cboZeroStout.valid), "Cannot writeback to mmio and cboZero at the same time.") 1298 1299 // Store writeback by StoreQueue: 1300 // 1. cbo Zero 1301 // 2. mmio 1302 // Currently, the two should not be present at the same time, so simply make cbo zero a higher priority. 1303 val otherStout = WireInit(0.U.asTypeOf(lsq.io.mmioStout)) 1304 NewPipelineConnect( 1305 sqOtherStout, otherStout, otherStout.fire, 1306 false.B, 1307 Option("otherStoutConnect") 1308 ) 1309 otherStout.ready := false.B 1310 when (otherStout.valid && !storeUnits(0).io.stout.valid) { 1311 stOut(0).valid := true.B 1312 stOut(0).bits := otherStout.bits 1313 otherStout.ready := true.B 1314 } 1315 lsq.io.mmioStout.ready := sqOtherStout.ready 1316 lsq.io.cboZeroStout.ready := sqOtherStout.ready 1317 1318 // vec mmio writeback 1319 lsq.io.vecmmioStout.ready := false.B 1320 1321 // miss align buffer will overwrite stOut(0) 1322 val storeMisalignCanWriteBack = !otherStout.valid && !storeUnits(0).io.stout.valid && !storeUnits(0).io.vecstout.valid 1323 storeMisalignBuffer.io.writeBack.ready := storeMisalignCanWriteBack 1324 storeMisalignBuffer.io.storeOutValid := storeUnits(0).io.stout.valid 1325 storeMisalignBuffer.io.storeVecOutValid := storeUnits(0).io.vecstout.valid 1326 when (storeMisalignBuffer.io.writeBack.valid && storeMisalignCanWriteBack) { 1327 stOut(0).valid := true.B 1328 stOut(0).bits := storeMisalignBuffer.io.writeBack.bits 1329 } 1330 1331 // Uncache 1332 uncache.io.enableOutstanding := io.ooo_to_mem.csrCtrl.uncache_write_outstanding_enable 1333 uncache.io.hartId := io.hartId 1334 lsq.io.uncacheOutstanding := io.ooo_to_mem.csrCtrl.uncache_write_outstanding_enable 1335 1336 // Lsq 1337 io.mem_to_ooo.lsqio.mmio := lsq.io.rob.mmio 1338 io.mem_to_ooo.lsqio.uop := lsq.io.rob.uop 1339 lsq.io.rob.lcommit := io.ooo_to_mem.lsqio.lcommit 1340 lsq.io.rob.scommit := io.ooo_to_mem.lsqio.scommit 1341 lsq.io.rob.pendingMMIOld := io.ooo_to_mem.lsqio.pendingMMIOld 1342 lsq.io.rob.pendingld := io.ooo_to_mem.lsqio.pendingld 1343 lsq.io.rob.pendingst := io.ooo_to_mem.lsqio.pendingst 1344 lsq.io.rob.pendingVst := io.ooo_to_mem.lsqio.pendingVst 1345 lsq.io.rob.commit := io.ooo_to_mem.lsqio.commit 1346 lsq.io.rob.pendingPtr := io.ooo_to_mem.lsqio.pendingPtr 1347 lsq.io.rob.pendingPtrNext := io.ooo_to_mem.lsqio.pendingPtrNext 1348 1349 // lsq.io.rob <> io.lsqio.rob 1350 lsq.io.enq <> io.ooo_to_mem.enqLsq 1351 lsq.io.brqRedirect <> redirect 1352 1353 // violation rollback 1354 def selectOldestRedirect(xs: Seq[Valid[Redirect]]): Vec[Bool] = { 1355 val compareVec = (0 until xs.length).map(i => (0 until i).map(j => isAfter(xs(j).bits.robIdx, xs(i).bits.robIdx))) 1356 val resultOnehot = VecInit((0 until xs.length).map(i => Cat((0 until xs.length).map(j => 1357 (if (j < i) !xs(j).valid || compareVec(i)(j) 1358 else if (j == i) xs(i).valid 1359 else !xs(j).valid || !compareVec(j)(i)) 1360 )).andR)) 1361 resultOnehot 1362 } 1363 val allRedirect = loadUnits.map(_.io.rollback) ++ hybridUnits.map(_.io.ldu_io.rollback) ++ lsq.io.nack_rollback ++ lsq.io.nuke_rollback 1364 val oldestOneHot = selectOldestRedirect(allRedirect) 1365 val oldestRedirect = WireDefault(Mux1H(oldestOneHot, allRedirect)) 1366 // memory replay would not cause IAF/IPF/IGPF 1367 oldestRedirect.bits.cfiUpdate.backendIAF := false.B 1368 oldestRedirect.bits.cfiUpdate.backendIPF := false.B 1369 oldestRedirect.bits.cfiUpdate.backendIGPF := false.B 1370 io.mem_to_ooo.memoryViolation := oldestRedirect 1371 io.mem_to_ooo.lsqio.lqCanAccept := lsq.io.lqCanAccept 1372 io.mem_to_ooo.lsqio.sqCanAccept := lsq.io.sqCanAccept 1373 1374 // lsq.io.uncache <> uncache.io.lsq 1375 val s_idle :: s_scalar_uncache :: s_vector_uncache :: Nil = Enum(3) 1376 val uncacheState = RegInit(s_idle) 1377 val uncacheReq = Wire(Decoupled(new UncacheWordReq)) 1378 val uncacheIdResp = uncache.io.lsq.idResp 1379 val uncacheResp = Wire(Decoupled(new UncacheWordResp)) 1380 1381 uncacheReq.bits := DontCare 1382 uncacheReq.valid := false.B 1383 uncacheReq.ready := false.B 1384 uncacheResp.bits := DontCare 1385 uncacheResp.valid := false.B 1386 uncacheResp.ready := false.B 1387 lsq.io.uncache.req.ready := false.B 1388 lsq.io.uncache.idResp.valid := false.B 1389 lsq.io.uncache.idResp.bits := DontCare 1390 lsq.io.uncache.resp.valid := false.B 1391 lsq.io.uncache.resp.bits := DontCare 1392 1393 switch (uncacheState) { 1394 is (s_idle) { 1395 when (uncacheReq.fire) { 1396 when (lsq.io.uncache.req.valid) { 1397 when (!lsq.io.uncache.req.bits.nc || !io.ooo_to_mem.csrCtrl.uncache_write_outstanding_enable) { 1398 uncacheState := s_scalar_uncache 1399 } 1400 }.otherwise { 1401 // val isStore = vsFlowQueue.io.uncache.req.bits.cmd === MemoryOpConstants.M_XWR 1402 when (!io.ooo_to_mem.csrCtrl.uncache_write_outstanding_enable) { 1403 uncacheState := s_vector_uncache 1404 } 1405 } 1406 } 1407 } 1408 1409 is (s_scalar_uncache) { 1410 when (uncacheResp.fire) { 1411 uncacheState := s_idle 1412 } 1413 } 1414 1415 is (s_vector_uncache) { 1416 when (uncacheResp.fire) { 1417 uncacheState := s_idle 1418 } 1419 } 1420 } 1421 1422 when (lsq.io.uncache.req.valid) { 1423 uncacheReq <> lsq.io.uncache.req 1424 } 1425 when (io.ooo_to_mem.csrCtrl.uncache_write_outstanding_enable) { 1426 lsq.io.uncache.resp <> uncacheResp 1427 lsq.io.uncache.idResp <> uncacheIdResp 1428 }.otherwise { 1429 when (uncacheState === s_scalar_uncache) { 1430 lsq.io.uncache.resp <> uncacheResp 1431 lsq.io.uncache.idResp <> uncacheIdResp 1432 } 1433 } 1434 // delay dcache refill for 1 cycle for better timing 1435 AddPipelineReg(uncacheReq, uncache.io.lsq.req, false.B) 1436 AddPipelineReg(uncache.io.lsq.resp, uncacheResp, false.B) 1437 1438 //lsq.io.refill := delayedDcacheRefill 1439 lsq.io.release := dcache.io.lsu.release 1440 lsq.io.lqCancelCnt <> io.mem_to_ooo.lqCancelCnt 1441 lsq.io.sqCancelCnt <> io.mem_to_ooo.sqCancelCnt 1442 lsq.io.lqDeq <> io.mem_to_ooo.lqDeq 1443 lsq.io.sqDeq <> io.mem_to_ooo.sqDeq 1444 // Todo: assign these 1445 io.mem_to_ooo.sqDeqPtr := lsq.io.sqDeqPtr 1446 io.mem_to_ooo.lqDeqPtr := lsq.io.lqDeqPtr 1447 lsq.io.tl_d_channel <> dcache.io.lsu.tl_d_channel 1448 1449 // LSQ to store buffer 1450 lsq.io.sbuffer <> sbuffer.io.in 1451 sbuffer.io.in(0).valid := lsq.io.sbuffer(0).valid || vSegmentUnit.io.sbuffer.valid 1452 sbuffer.io.in(0).bits := Mux1H(Seq( 1453 vSegmentUnit.io.sbuffer.valid -> vSegmentUnit.io.sbuffer.bits, 1454 lsq.io.sbuffer(0).valid -> lsq.io.sbuffer(0).bits 1455 )) 1456 vSegmentUnit.io.sbuffer.ready := sbuffer.io.in(0).ready 1457 lsq.io.sqEmpty <> sbuffer.io.sqempty 1458 dcache.io.force_write := lsq.io.force_write 1459 1460 // Initialize when unenabled difftest. 1461 sbuffer.io.vecDifftestInfo := DontCare 1462 lsq.io.sbufferVecDifftestInfo := DontCare 1463 vSegmentUnit.io.vecDifftestInfo := DontCare 1464 if (env.EnableDifftest) { 1465 sbuffer.io.vecDifftestInfo .zipWithIndex.map{ case (sbufferPort, index) => 1466 if (index == 0) { 1467 val vSegmentDifftestValid = vSegmentUnit.io.vecDifftestInfo.valid 1468 sbufferPort.valid := Mux(vSegmentDifftestValid, vSegmentUnit.io.vecDifftestInfo.valid, lsq.io.sbufferVecDifftestInfo(0).valid) 1469 sbufferPort.bits := Mux(vSegmentDifftestValid, vSegmentUnit.io.vecDifftestInfo.bits, lsq.io.sbufferVecDifftestInfo(0).bits) 1470 1471 vSegmentUnit.io.vecDifftestInfo.ready := sbufferPort.ready 1472 lsq.io.sbufferVecDifftestInfo(0).ready := sbufferPort.ready 1473 } else { 1474 sbufferPort <> lsq.io.sbufferVecDifftestInfo(index) 1475 } 1476 } 1477 } 1478 1479 // lsq.io.vecStoreRetire <> vsFlowQueue.io.sqRelease 1480 // lsq.io.vecWriteback.valid := vlWrapper.io.uopWriteback.fire && 1481 // vlWrapper.io.uopWriteback.bits.uop.vpu.lastUop 1482 // lsq.io.vecWriteback.bits := vlWrapper.io.uopWriteback.bits 1483 1484 // vector 1485 val vLoadCanAccept = (0 until VlduCnt).map(i => 1486 vlSplit(i).io.in.ready && VlduType.isVecLd(io.ooo_to_mem.issueVldu(i).bits.uop.fuOpType) 1487 ) 1488 val vStoreCanAccept = (0 until VstuCnt).map(i => 1489 vsSplit(i).io.in.ready && VstuType.isVecSt(io.ooo_to_mem.issueVldu(i).bits.uop.fuOpType) 1490 ) 1491 val isSegment = io.ooo_to_mem.issueVldu.head.valid && isVsegls(io.ooo_to_mem.issueVldu.head.bits.uop.fuType) 1492 val isFixVlUop = io.ooo_to_mem.issueVldu.map{x => 1493 x.bits.uop.vpu.isVleff && x.bits.uop.vpu.lastUop && x.valid 1494 } 1495 1496 // init port 1497 /** 1498 * TODO: splited vsMergebuffer maybe remove, if one RS can accept two feedback, or don't need RS replay uop 1499 * for now: 1500 * RS0 -> VsSplit0 -> stu0 -> vsMergebuffer0 -> feedback -> RS0 1501 * RS1 -> VsSplit1 -> stu1 -> vsMergebuffer1 -> feedback -> RS1 1502 * 1503 * vector load don't need feedback 1504 * 1505 * RS0 -> VlSplit0 -> ldu0 -> | 1506 * RS1 -> VlSplit1 -> ldu1 -> | -> vlMergebuffer 1507 * replayIO -> ldu3 -> | 1508 * */ 1509 (0 until VstuCnt).foreach{i => 1510 vsMergeBuffer(i).io.fromPipeline := DontCare 1511 vsMergeBuffer(i).io.fromSplit := DontCare 1512 1513 vsMergeBuffer(i).io.fromMisalignBuffer.get.flush := storeMisalignBuffer.io.toVecStoreMergeBuffer(i).flush 1514 vsMergeBuffer(i).io.fromMisalignBuffer.get.mbIndex := storeMisalignBuffer.io.toVecStoreMergeBuffer(i).mbIndex 1515 } 1516 1517 (0 until VstuCnt).foreach{i => 1518 vsSplit(i).io.redirect <> redirect 1519 vsSplit(i).io.in <> io.ooo_to_mem.issueVldu(i) 1520 vsSplit(i).io.in.valid := io.ooo_to_mem.issueVldu(i).valid && 1521 vStoreCanAccept(i) && !isSegment 1522 vsSplit(i).io.toMergeBuffer <> vsMergeBuffer(i).io.fromSplit.head 1523 NewPipelineConnect( 1524 vsSplit(i).io.out, storeUnits(i).io.vecstin, storeUnits(i).io.vecstin.fire, 1525 Mux(vsSplit(i).io.out.fire, vsSplit(i).io.out.bits.uop.robIdx.needFlush(io.redirect), storeUnits(i).io.vecstin.bits.uop.robIdx.needFlush(io.redirect)), 1526 Option("VsSplitConnectStu") 1527 ) 1528 vsSplit(i).io.vstd.get := DontCare // Todo: Discuss how to pass vector store data 1529 1530 vsSplit(i).io.vstdMisalign.get.storeMisalignBufferEmpty := !storeMisalignBuffer.io.full 1531 vsSplit(i).io.vstdMisalign.get.storePipeEmpty := !storeUnits(i).io.s0_s1_valid 1532 1533 } 1534 (0 until VlduCnt).foreach{i => 1535 vlSplit(i).io.redirect <> redirect 1536 vlSplit(i).io.in <> io.ooo_to_mem.issueVldu(i) 1537 vlSplit(i).io.in.valid := io.ooo_to_mem.issueVldu(i).valid && 1538 vLoadCanAccept(i) && !isSegment && !isFixVlUop(i) 1539 vlSplit(i).io.toMergeBuffer <> vlMergeBuffer.io.fromSplit(i) 1540 vlSplit(i).io.threshold.get.valid := vlMergeBuffer.io.toSplit.get.threshold 1541 vlSplit(i).io.threshold.get.bits := lsq.io.lqDeqPtr 1542 NewPipelineConnect( 1543 vlSplit(i).io.out, loadUnits(i).io.vecldin, loadUnits(i).io.vecldin.fire, 1544 Mux(vlSplit(i).io.out.fire, vlSplit(i).io.out.bits.uop.robIdx.needFlush(io.redirect), loadUnits(i).io.vecldin.bits.uop.robIdx.needFlush(io.redirect)), 1545 Option("VlSplitConnectLdu") 1546 ) 1547 1548 //Subsequent instrction will be blocked 1549 vfofBuffer.io.in(i).valid := io.ooo_to_mem.issueVldu(i).valid 1550 vfofBuffer.io.in(i).bits := io.ooo_to_mem.issueVldu(i).bits 1551 } 1552 (0 until LduCnt).foreach{i=> 1553 loadUnits(i).io.vecldout.ready := vlMergeBuffer.io.fromPipeline(i).ready 1554 loadMisalignBuffer.io.vecWriteBack.ready := true.B 1555 1556 if (i == MisalignWBPort) { 1557 when(loadUnits(i).io.vecldout.valid) { 1558 vlMergeBuffer.io.fromPipeline(i).valid := loadUnits(i).io.vecldout.valid 1559 vlMergeBuffer.io.fromPipeline(i).bits := loadUnits(i).io.vecldout.bits 1560 } .otherwise { 1561 vlMergeBuffer.io.fromPipeline(i).valid := loadMisalignBuffer.io.vecWriteBack.valid 1562 vlMergeBuffer.io.fromPipeline(i).bits := loadMisalignBuffer.io.vecWriteBack.bits 1563 } 1564 } else { 1565 vlMergeBuffer.io.fromPipeline(i).valid := loadUnits(i).io.vecldout.valid 1566 vlMergeBuffer.io.fromPipeline(i).bits := loadUnits(i).io.vecldout.bits 1567 } 1568 } 1569 1570 (0 until StaCnt).foreach{i=> 1571 if(i < VstuCnt){ 1572 storeUnits(i).io.vecstout.ready := true.B 1573 storeMisalignBuffer.io.vecWriteBack(i).ready := vsMergeBuffer(i).io.fromPipeline.head.ready 1574 1575 when(storeUnits(i).io.vecstout.valid) { 1576 vsMergeBuffer(i).io.fromPipeline.head.valid := storeUnits(i).io.vecstout.valid 1577 vsMergeBuffer(i).io.fromPipeline.head.bits := storeUnits(i).io.vecstout.bits 1578 } .otherwise { 1579 vsMergeBuffer(i).io.fromPipeline.head.valid := storeMisalignBuffer.io.vecWriteBack(i).valid 1580 vsMergeBuffer(i).io.fromPipeline.head.bits := storeMisalignBuffer.io.vecWriteBack(i).bits 1581 } 1582 } 1583 } 1584 1585 (0 until VlduCnt).foreach{i=> 1586 io.ooo_to_mem.issueVldu(i).ready := vLoadCanAccept(i) || vStoreCanAccept(i) 1587 } 1588 1589 vlMergeBuffer.io.redirect <> redirect 1590 vsMergeBuffer.map(_.io.redirect <> redirect) 1591 (0 until VlduCnt).foreach{i=> 1592 vlMergeBuffer.io.toLsq(i) <> lsq.io.ldvecFeedback(i) 1593 } 1594 (0 until VstuCnt).foreach{i=> 1595 vsMergeBuffer(i).io.toLsq.head <> lsq.io.stvecFeedback(i) 1596 } 1597 1598 (0 until VlduCnt).foreach{i=> 1599 // send to RS 1600 vlMergeBuffer.io.feedback(i) <> io.mem_to_ooo.vlduIqFeedback(i).feedbackSlow 1601 io.mem_to_ooo.vlduIqFeedback(i).feedbackFast := DontCare 1602 } 1603 (0 until VstuCnt).foreach{i => 1604 // send to RS 1605 if (i == 0){ 1606 io.mem_to_ooo.vstuIqFeedback(i).feedbackSlow.valid := vsMergeBuffer(i).io.feedback.head.valid || vSegmentUnit.io.feedback.valid 1607 io.mem_to_ooo.vstuIqFeedback(i).feedbackSlow.bits := Mux1H(Seq( 1608 vSegmentUnit.io.feedback.valid -> vSegmentUnit.io.feedback.bits, 1609 vsMergeBuffer(i).io.feedback.head.valid -> vsMergeBuffer(i).io.feedback.head.bits 1610 )) 1611 io.mem_to_ooo.vstuIqFeedback(i).feedbackFast := DontCare 1612 } else { 1613 vsMergeBuffer(i).io.feedback.head <> io.mem_to_ooo.vstuIqFeedback(i).feedbackSlow 1614 io.mem_to_ooo.vstuIqFeedback(i).feedbackFast := DontCare 1615 } 1616 } 1617 1618 (0 until VlduCnt).foreach{i=> 1619 if (i == 0){ // for segmentUnit, segmentUnit use port0 writeback 1620 io.mem_to_ooo.writebackVldu(i).valid := vlMergeBuffer.io.uopWriteback(i).valid || vsMergeBuffer(i).io.uopWriteback.head.valid || vSegmentUnit.io.uopwriteback.valid 1621 io.mem_to_ooo.writebackVldu(i).bits := PriorityMux(Seq( 1622 vSegmentUnit.io.uopwriteback.valid -> vSegmentUnit.io.uopwriteback.bits, 1623 vlMergeBuffer.io.uopWriteback(i).valid -> vlMergeBuffer.io.uopWriteback(i).bits, 1624 vsMergeBuffer(i).io.uopWriteback.head.valid -> vsMergeBuffer(i).io.uopWriteback.head.bits, 1625 )) 1626 vlMergeBuffer.io.uopWriteback(i).ready := io.mem_to_ooo.writebackVldu(i).ready && !vSegmentUnit.io.uopwriteback.valid 1627 vsMergeBuffer(i).io.uopWriteback.head.ready := io.mem_to_ooo.writebackVldu(i).ready && !vlMergeBuffer.io.uopWriteback(i).valid && !vSegmentUnit.io.uopwriteback.valid 1628 vSegmentUnit.io.uopwriteback.ready := io.mem_to_ooo.writebackVldu(i).ready 1629 } else if (i == 1) { 1630 io.mem_to_ooo.writebackVldu(i).valid := vlMergeBuffer.io.uopWriteback(i).valid || vsMergeBuffer(i).io.uopWriteback.head.valid || vfofBuffer.io.uopWriteback.valid 1631 io.mem_to_ooo.writebackVldu(i).bits := PriorityMux(Seq( 1632 vfofBuffer.io.uopWriteback.valid -> vfofBuffer.io.uopWriteback.bits, 1633 vlMergeBuffer.io.uopWriteback(i).valid -> vlMergeBuffer.io.uopWriteback(i).bits, 1634 vsMergeBuffer(i).io.uopWriteback.head.valid -> vsMergeBuffer(i).io.uopWriteback.head.bits, 1635 )) 1636 vlMergeBuffer.io.uopWriteback(i).ready := io.mem_to_ooo.writebackVldu(i).ready && !vfofBuffer.io.uopWriteback.valid 1637 vsMergeBuffer(i).io.uopWriteback.head.ready := io.mem_to_ooo.writebackVldu(i).ready && !vlMergeBuffer.io.uopWriteback(i).valid && !vfofBuffer.io.uopWriteback.valid 1638 vfofBuffer.io.uopWriteback.ready := io.mem_to_ooo.writebackVldu(i).ready 1639 } else { 1640 io.mem_to_ooo.writebackVldu(i).valid := vlMergeBuffer.io.uopWriteback(i).valid || vsMergeBuffer(i).io.uopWriteback.head.valid 1641 io.mem_to_ooo.writebackVldu(i).bits := PriorityMux(Seq( 1642 vlMergeBuffer.io.uopWriteback(i).valid -> vlMergeBuffer.io.uopWriteback(i).bits, 1643 vsMergeBuffer(i).io.uopWriteback.head.valid -> vsMergeBuffer(i).io.uopWriteback.head.bits, 1644 )) 1645 vlMergeBuffer.io.uopWriteback(i).ready := io.mem_to_ooo.writebackVldu(i).ready 1646 vsMergeBuffer(i).io.uopWriteback.head.ready := io.mem_to_ooo.writebackVldu(i).ready && !vlMergeBuffer.io.uopWriteback(i).valid 1647 } 1648 1649 vfofBuffer.io.mergeUopWriteback(i).valid := vlMergeBuffer.io.uopWriteback(i).valid 1650 vfofBuffer.io.mergeUopWriteback(i).bits := vlMergeBuffer.io.uopWriteback(i).bits 1651 } 1652 1653 1654 vfofBuffer.io.redirect <> redirect 1655 1656 // Sbuffer 1657 sbuffer.io.csrCtrl <> csrCtrl 1658 sbuffer.io.dcache <> dcache.io.lsu.store 1659 sbuffer.io.memSetPattenDetected := dcache.io.memSetPattenDetected 1660 sbuffer.io.force_write <> lsq.io.force_write 1661 // flush sbuffer 1662 val cmoFlush = lsq.io.flushSbuffer.valid 1663 val fenceFlush = io.ooo_to_mem.flushSb 1664 val atomicsFlush = atomicsUnit.io.flush_sbuffer.valid || vSegmentUnit.io.flush_sbuffer.valid 1665 val stIsEmpty = sbuffer.io.flush.empty && uncache.io.flush.empty 1666 io.mem_to_ooo.sbIsEmpty := RegNext(stIsEmpty) 1667 1668 // if both of them tries to flush sbuffer at the same time 1669 // something must have gone wrong 1670 assert(!(fenceFlush && atomicsFlush && cmoFlush)) 1671 sbuffer.io.flush.valid := RegNext(fenceFlush || atomicsFlush || cmoFlush) 1672 uncache.io.flush.valid := sbuffer.io.flush.valid 1673 1674 // AtomicsUnit: AtomicsUnit will override other control signials, 1675 // as atomics insts (LR/SC/AMO) will block the pipeline 1676 val s_normal +: s_atomics = Enum(StaCnt + HyuCnt + 1) 1677 val state = RegInit(s_normal) 1678 1679 val st_atomics = Seq.tabulate(StaCnt)(i => 1680 io.ooo_to_mem.issueSta(i).valid && FuType.storeIsAMO((io.ooo_to_mem.issueSta(i).bits.uop.fuType)) 1681 ) ++ Seq.tabulate(HyuCnt)(i => 1682 io.ooo_to_mem.issueHya(i).valid && FuType.storeIsAMO((io.ooo_to_mem.issueHya(i).bits.uop.fuType)) 1683 ) 1684 1685 for (i <- 0 until StaCnt) when(st_atomics(i)) { 1686 io.ooo_to_mem.issueSta(i).ready := atomicsUnit.io.in.ready 1687 storeUnits(i).io.stin.valid := false.B 1688 1689 state := s_atomics(i) 1690 } 1691 for (i <- 0 until HyuCnt) when(st_atomics(StaCnt + i)) { 1692 io.ooo_to_mem.issueHya(i).ready := atomicsUnit.io.in.ready 1693 hybridUnits(i).io.lsin.valid := false.B 1694 1695 state := s_atomics(StaCnt + i) 1696 assert(!st_atomics.zipWithIndex.filterNot(_._2 == StaCnt + i).unzip._1.reduce(_ || _)) 1697 } 1698 when (atomicsUnit.io.out.valid) { 1699 state := s_normal 1700 } 1701 1702 atomicsUnit.io.in.valid := st_atomics.reduce(_ || _) 1703 atomicsUnit.io.in.bits := Mux1H(Seq.tabulate(StaCnt)(i => 1704 st_atomics(i) -> io.ooo_to_mem.issueSta(i).bits) ++ 1705 Seq.tabulate(HyuCnt)(i => st_atomics(StaCnt+i) -> io.ooo_to_mem.issueHya(i).bits)) 1706 atomicsUnit.io.storeDataIn.zipWithIndex.foreach { case (stdin, i) => 1707 stdin.valid := st_data_atomics(i) 1708 stdin.bits := stData(i).bits 1709 } 1710 atomicsUnit.io.redirect <> redirect 1711 1712 // TODO: complete amo's pmp support 1713 val amoTlb = dtlb_ld(0).requestor(0) 1714 atomicsUnit.io.dtlb.resp.valid := false.B 1715 atomicsUnit.io.dtlb.resp.bits := DontCare 1716 atomicsUnit.io.dtlb.req.ready := amoTlb.req.ready 1717 atomicsUnit.io.pmpResp := pmp_check(0).resp 1718 1719 atomicsUnit.io.dcache <> dcache.io.lsu.atomics 1720 atomicsUnit.io.flush_sbuffer.empty := stIsEmpty 1721 1722 atomicsUnit.io.csrCtrl := csrCtrl 1723 1724 // for atomicsUnit, it uses loadUnit(0)'s TLB port 1725 1726 when (state =/= s_normal) { 1727 // use store wb port instead of load 1728 loadUnits(0).io.ldout.ready := false.B 1729 // use load_0's TLB 1730 atomicsUnit.io.dtlb <> amoTlb 1731 1732 // hw prefetch should be disabled while executing atomic insts 1733 loadUnits.map(i => i.io.prefetch_req.valid := false.B) 1734 1735 // make sure there's no in-flight uops in load unit 1736 assert(!loadUnits(0).io.ldout.valid) 1737 } 1738 1739 lsq.io.flushSbuffer.empty := sbuffer.io.sbempty 1740 1741 for (i <- 0 until StaCnt) { 1742 when (state === s_atomics(i)) { 1743 io.mem_to_ooo.staIqFeedback(i).feedbackSlow := atomicsUnit.io.feedbackSlow 1744 assert(!storeUnits(i).io.feedback_slow.valid) 1745 } 1746 } 1747 for (i <- 0 until HyuCnt) { 1748 when (state === s_atomics(StaCnt + i)) { 1749 io.mem_to_ooo.hyuIqFeedback(i).feedbackSlow := atomicsUnit.io.feedbackSlow 1750 assert(!hybridUnits(i).io.feedback_slow.valid) 1751 } 1752 } 1753 1754 lsq.io.exceptionAddr.isStore := io.ooo_to_mem.isStoreException 1755 // Exception address is used several cycles after flush. 1756 // We delay it by 10 cycles to ensure its flush safety. 1757 val atomicsException = RegInit(false.B) 1758 when (DelayN(redirect.valid, 10) && atomicsException) { 1759 atomicsException := false.B 1760 }.elsewhen (atomicsUnit.io.exceptionInfo.valid) { 1761 atomicsException := true.B 1762 } 1763 1764 val misalignBufExceptionOverwrite = loadMisalignBuffer.io.overwriteExpBuf.valid || storeMisalignBuffer.io.overwriteExpBuf.valid 1765 val misalignBufExceptionVaddr = Mux(loadMisalignBuffer.io.overwriteExpBuf.valid, 1766 loadMisalignBuffer.io.overwriteExpBuf.vaddr, 1767 storeMisalignBuffer.io.overwriteExpBuf.vaddr 1768 ) 1769 val misalignBufExceptionIsHyper = Mux(loadMisalignBuffer.io.overwriteExpBuf.valid, 1770 loadMisalignBuffer.io.overwriteExpBuf.isHyper, 1771 storeMisalignBuffer.io.overwriteExpBuf.isHyper 1772 ) 1773 val misalignBufExceptionGpaddr = Mux(loadMisalignBuffer.io.overwriteExpBuf.valid, 1774 loadMisalignBuffer.io.overwriteExpBuf.gpaddr, 1775 storeMisalignBuffer.io.overwriteExpBuf.gpaddr 1776 ) 1777 val misalignBufExceptionIsForVSnonLeafPTE = Mux(loadMisalignBuffer.io.overwriteExpBuf.valid, 1778 loadMisalignBuffer.io.overwriteExpBuf.isForVSnonLeafPTE, 1779 storeMisalignBuffer.io.overwriteExpBuf.isForVSnonLeafPTE 1780 ) 1781 1782 val vSegmentException = RegInit(false.B) 1783 when (DelayN(redirect.valid, 10) && vSegmentException) { 1784 vSegmentException := false.B 1785 }.elsewhen (vSegmentUnit.io.exceptionInfo.valid) { 1786 vSegmentException := true.B 1787 } 1788 val atomicsExceptionAddress = RegEnable(atomicsUnit.io.exceptionInfo.bits.vaddr, atomicsUnit.io.exceptionInfo.valid) 1789 val vSegmentExceptionVstart = RegEnable(vSegmentUnit.io.exceptionInfo.bits.vstart, vSegmentUnit.io.exceptionInfo.valid) 1790 val vSegmentExceptionVl = RegEnable(vSegmentUnit.io.exceptionInfo.bits.vl, vSegmentUnit.io.exceptionInfo.valid) 1791 val vSegmentExceptionAddress = RegEnable(vSegmentUnit.io.exceptionInfo.bits.vaddr, vSegmentUnit.io.exceptionInfo.valid) 1792 val atomicsExceptionGPAddress = RegEnable(atomicsUnit.io.exceptionInfo.bits.gpaddr, atomicsUnit.io.exceptionInfo.valid) 1793 val vSegmentExceptionGPAddress = RegEnable(vSegmentUnit.io.exceptionInfo.bits.gpaddr, vSegmentUnit.io.exceptionInfo.valid) 1794 val atomicsExceptionIsForVSnonLeafPTE = RegEnable(atomicsUnit.io.exceptionInfo.bits.isForVSnonLeafPTE, atomicsUnit.io.exceptionInfo.valid) 1795 val vSegmentExceptionIsForVSnonLeafPTE = RegEnable(vSegmentUnit.io.exceptionInfo.bits.isForVSnonLeafPTE, vSegmentUnit.io.exceptionInfo.valid) 1796 1797 val exceptionVaddr = Mux( 1798 atomicsException, 1799 atomicsExceptionAddress, 1800 Mux(misalignBufExceptionOverwrite, 1801 misalignBufExceptionVaddr, 1802 Mux(vSegmentException, 1803 vSegmentExceptionAddress, 1804 lsq.io.exceptionAddr.vaddr 1805 ) 1806 ) 1807 ) 1808 // whether vaddr need ext or is hyper inst: 1809 // VaNeedExt: atomicsException -> false; misalignBufExceptionOverwrite -> true; vSegmentException -> false 1810 // IsHyper: atomicsException -> false; vSegmentException -> false 1811 val exceptionVaNeedExt = !atomicsException && 1812 (misalignBufExceptionOverwrite || 1813 (!vSegmentException && lsq.io.exceptionAddr.vaNeedExt)) 1814 val exceptionIsHyper = !atomicsException && 1815 (misalignBufExceptionOverwrite && misalignBufExceptionIsHyper || 1816 (!vSegmentException && lsq.io.exceptionAddr.isHyper && !misalignBufExceptionOverwrite)) 1817 1818 def GenExceptionVa(mode: UInt, isVirt: Bool, vaNeedExt: Bool, 1819 satp: TlbSatpBundle, vsatp: TlbSatpBundle, hgatp: TlbHgatpBundle, 1820 vaddr: UInt) = { 1821 require(VAddrBits >= 50) 1822 1823 val Sv39 = satp.mode === 8.U 1824 val Sv48 = satp.mode === 9.U 1825 val Sv39x4 = vsatp.mode === 8.U || hgatp.mode === 8.U 1826 val Sv48x4 = vsatp.mode === 9.U || hgatp.mode === 9.U 1827 val vmEnable = !isVirt && (Sv39 || Sv48) && (mode < ModeM) 1828 val s2xlateEnable = isVirt && (Sv39x4 || Sv48x4) && (mode < ModeM) 1829 1830 val s2xlate = MuxCase(noS2xlate, Seq( 1831 !isVirt -> noS2xlate, 1832 (vsatp.mode =/= 0.U && hgatp.mode =/= 0.U) -> allStage, 1833 (vsatp.mode === 0.U) -> onlyStage2, 1834 (hgatp.mode === 0.U) -> onlyStage1 1835 )) 1836 val onlyS2 = s2xlate === onlyStage2 1837 1838 val bareAddr = ZeroExt(vaddr(PAddrBits - 1, 0), XLEN) 1839 val sv39Addr = SignExt(vaddr.take(39), XLEN) 1840 val sv39x4Addr = ZeroExt(vaddr.take(39 + 2), XLEN) 1841 val sv48Addr = SignExt(vaddr.take(48), XLEN) 1842 val sv48x4Addr = ZeroExt(vaddr.take(48 + 2), XLEN) 1843 1844 val ExceptionVa = Wire(UInt(XLEN.W)) 1845 when (vaNeedExt) { 1846 ExceptionVa := Mux1H(Seq( 1847 (!(vmEnable || s2xlateEnable)) -> bareAddr, 1848 (!onlyS2 && (Sv39 || Sv39x4)) -> sv39Addr, 1849 (!onlyS2 && (Sv48 || Sv48x4)) -> sv48Addr, 1850 ( onlyS2 && (Sv39 || Sv39x4)) -> sv39x4Addr, 1851 ( onlyS2 && (Sv48 || Sv48x4)) -> sv48x4Addr, 1852 )) 1853 } .otherwise { 1854 ExceptionVa := vaddr 1855 } 1856 1857 ExceptionVa 1858 } 1859 1860 io.mem_to_ooo.lsqio.vaddr := RegNext( 1861 GenExceptionVa(tlbcsr.priv.dmode, tlbcsr.priv.virt || exceptionIsHyper, exceptionVaNeedExt, 1862 tlbcsr.satp, tlbcsr.vsatp, tlbcsr.hgatp, exceptionVaddr) 1863 ) 1864 1865 // vsegment instruction is executed atomic, which mean atomicsException and vSegmentException should not raise at the same time. 1866 XSError(atomicsException && vSegmentException, "atomicsException and vSegmentException raise at the same time!") 1867 io.mem_to_ooo.lsqio.vstart := RegNext(Mux(vSegmentException, 1868 vSegmentExceptionVstart, 1869 lsq.io.exceptionAddr.vstart) 1870 ) 1871 io.mem_to_ooo.lsqio.vl := RegNext(Mux(vSegmentException, 1872 vSegmentExceptionVl, 1873 lsq.io.exceptionAddr.vl) 1874 ) 1875 1876 XSError(atomicsException && atomicsUnit.io.in.valid, "new instruction before exception triggers\n") 1877 io.mem_to_ooo.lsqio.gpaddr := RegNext(Mux( 1878 atomicsException, 1879 atomicsExceptionGPAddress, 1880 Mux(misalignBufExceptionOverwrite, 1881 misalignBufExceptionGpaddr, 1882 Mux(vSegmentException, 1883 vSegmentExceptionGPAddress, 1884 lsq.io.exceptionAddr.gpaddr 1885 ) 1886 ) 1887 )) 1888 io.mem_to_ooo.lsqio.isForVSnonLeafPTE := RegNext(Mux( 1889 atomicsException, 1890 atomicsExceptionIsForVSnonLeafPTE, 1891 Mux(misalignBufExceptionOverwrite, 1892 misalignBufExceptionIsForVSnonLeafPTE, 1893 Mux(vSegmentException, 1894 vSegmentExceptionIsForVSnonLeafPTE, 1895 lsq.io.exceptionAddr.isForVSnonLeafPTE 1896 ) 1897 ) 1898 )) 1899 io.mem_to_ooo.topToBackendBypass match { case x => 1900 x.hartId := io.hartId 1901 x.l2FlushDone := RegNext(io.l2_flush_done) 1902 x.externalInterrupt.msip := outer.clint_int_sink.in.head._1(0) 1903 x.externalInterrupt.mtip := outer.clint_int_sink.in.head._1(1) 1904 x.externalInterrupt.meip := outer.plic_int_sink.in.head._1(0) 1905 x.externalInterrupt.seip := outer.plic_int_sink.in.last._1(0) 1906 x.externalInterrupt.debug := outer.debug_int_sink.in.head._1(0) 1907 x.externalInterrupt.nmi.nmi_31 := outer.nmi_int_sink.in.head._1(0) 1908 x.externalInterrupt.nmi.nmi_43 := outer.nmi_int_sink.in.head._1(1) 1909 x.msiInfo := DelayNWithValid(io.fromTopToBackend.msiInfo, 1) 1910 x.clintTime := DelayNWithValid(io.fromTopToBackend.clintTime, 1) 1911 } 1912 1913 io.memInfo.sqFull := RegNext(lsq.io.sqFull) 1914 io.memInfo.lqFull := RegNext(lsq.io.lqFull) 1915 io.memInfo.dcacheMSHRFull := RegNext(dcache.io.mshrFull) 1916 1917 io.inner_hartId := io.hartId 1918 io.inner_reset_vector := RegNext(io.outer_reset_vector) 1919 io.outer_cpu_halt := io.ooo_to_mem.backendToTopBypass.cpuHalted 1920 io.outer_l2_flush_en := io.ooo_to_mem.csrCtrl.flush_l2_enable 1921 io.outer_power_down_en := io.ooo_to_mem.csrCtrl.power_down_enable 1922 io.outer_cpu_critical_error := io.ooo_to_mem.backendToTopBypass.cpuCriticalError 1923 io.outer_beu_errors_icache := RegNext(io.inner_beu_errors_icache) 1924 io.inner_hc_perfEvents <> RegNext(io.outer_hc_perfEvents) 1925 1926 // vector segmentUnit 1927 vSegmentUnit.io.in.bits <> io.ooo_to_mem.issueVldu.head.bits 1928 vSegmentUnit.io.in.valid := isSegment && io.ooo_to_mem.issueVldu.head.valid// is segment instruction 1929 vSegmentUnit.io.dtlb.resp.bits <> dtlb_reqs.take(LduCnt).head.resp.bits 1930 vSegmentUnit.io.dtlb.resp.valid <> dtlb_reqs.take(LduCnt).head.resp.valid 1931 vSegmentUnit.io.pmpResp <> pmp_check.head.resp 1932 vSegmentUnit.io.flush_sbuffer.empty := stIsEmpty 1933 vSegmentUnit.io.redirect <> redirect 1934 vSegmentUnit.io.rdcache.resp.bits := dcache.io.lsu.load(0).resp.bits 1935 vSegmentUnit.io.rdcache.resp.valid := dcache.io.lsu.load(0).resp.valid 1936 vSegmentUnit.io.rdcache.s2_bank_conflict := dcache.io.lsu.load(0).s2_bank_conflict 1937 // ------------------------- 1938 // Vector Segment Triggers 1939 // ------------------------- 1940 vSegmentUnit.io.fromCsrTrigger.tdataVec := tdata 1941 vSegmentUnit.io.fromCsrTrigger.tEnableVec := tEnable 1942 vSegmentUnit.io.fromCsrTrigger.triggerCanRaiseBpExp := triggerCanRaiseBpExp 1943 vSegmentUnit.io.fromCsrTrigger.debugMode := debugMode 1944 1945 // reset tree of MemBlock 1946 if (p(DebugOptionsKey).ResetGen) { 1947 val leftResetTree = ResetGenNode( 1948 Seq( 1949 ModuleNode(ptw), 1950 ModuleNode(ptw_to_l2_buffer), 1951 ModuleNode(lsq), 1952 ModuleNode(dtlb_st_tlb_st), 1953 ModuleNode(dtlb_prefetch_tlb_prefetch), 1954 ModuleNode(pmp) 1955 ) 1956 ++ pmp_checkers.map(ModuleNode(_)) 1957 ++ (if (prefetcherOpt.isDefined) Seq(ModuleNode(prefetcherOpt.get)) else Nil) 1958 ++ (if (l1PrefetcherOpt.isDefined) Seq(ModuleNode(l1PrefetcherOpt.get)) else Nil) 1959 ) 1960 val rightResetTree = ResetGenNode( 1961 Seq( 1962 ModuleNode(sbuffer), 1963 ModuleNode(dtlb_ld_tlb_ld), 1964 ModuleNode(dcache), 1965 ModuleNode(l1d_to_l2_buffer), 1966 CellNode(io.reset_backend) 1967 ) 1968 ) 1969 ResetGen(leftResetTree, reset, sim = false) 1970 ResetGen(rightResetTree, reset, sim = false) 1971 } else { 1972 io.reset_backend := DontCare 1973 } 1974 io.resetInFrontendBypass.toL2Top := io.resetInFrontendBypass.fromFrontend 1975 // trace interface 1976 val traceToL2Top = io.traceCoreInterfaceBypass.toL2Top 1977 val traceFromBackend = io.traceCoreInterfaceBypass.fromBackend 1978 traceFromBackend.fromEncoder := RegNext(traceToL2Top.fromEncoder) 1979 traceToL2Top.toEncoder.trap := RegEnable( 1980 traceFromBackend.toEncoder.trap, 1981 traceFromBackend.toEncoder.groups(0).valid && Itype.isTrap(traceFromBackend.toEncoder.groups(0).bits.itype) 1982 ) 1983 traceToL2Top.toEncoder.priv := RegEnable( 1984 traceFromBackend.toEncoder.priv, 1985 traceFromBackend.toEncoder.groups(0).valid 1986 ) 1987 (0 until TraceGroupNum).foreach { i => 1988 traceToL2Top.toEncoder.groups(i).valid := RegNext(traceFromBackend.toEncoder.groups(i).valid) 1989 traceToL2Top.toEncoder.groups(i).bits.iretire := RegNext(traceFromBackend.toEncoder.groups(i).bits.iretire) 1990 traceToL2Top.toEncoder.groups(i).bits.itype := RegNext(traceFromBackend.toEncoder.groups(i).bits.itype) 1991 traceToL2Top.toEncoder.groups(i).bits.ilastsize := RegEnable( 1992 traceFromBackend.toEncoder.groups(i).bits.ilastsize, 1993 traceFromBackend.toEncoder.groups(i).valid 1994 ) 1995 traceToL2Top.toEncoder.groups(i).bits.iaddr := RegEnable( 1996 traceFromBackend.toEncoder.groups(i).bits.iaddr, 1997 traceFromBackend.toEncoder.groups(i).valid 1998 ) + (RegEnable( 1999 traceFromBackend.toEncoder.groups(i).bits.ftqOffset.getOrElse(0.U), 2000 traceFromBackend.toEncoder.groups(i).valid 2001 ) << instOffsetBits) 2002 } 2003 2004 2005 io.mem_to_ooo.storeDebugInfo := DontCare 2006 // store event difftest information 2007 if (env.EnableDifftest) { 2008 (0 until EnsbufferWidth).foreach{i => 2009 io.mem_to_ooo.storeDebugInfo(i).robidx := sbuffer.io.vecDifftestInfo(i).bits.robIdx 2010 sbuffer.io.vecDifftestInfo(i).bits.pc := io.mem_to_ooo.storeDebugInfo(i).pc 2011 } 2012 } 2013 2014 // top-down info 2015 dcache.io.debugTopDown.robHeadVaddr := io.debugTopDown.robHeadVaddr 2016 dtlbRepeater.io.debugTopDown.robHeadVaddr := io.debugTopDown.robHeadVaddr 2017 lsq.io.debugTopDown.robHeadVaddr := io.debugTopDown.robHeadVaddr 2018 io.debugTopDown.toCore.robHeadMissInDCache := dcache.io.debugTopDown.robHeadMissInDCache 2019 io.debugTopDown.toCore.robHeadTlbReplay := lsq.io.debugTopDown.robHeadTlbReplay 2020 io.debugTopDown.toCore.robHeadTlbMiss := lsq.io.debugTopDown.robHeadTlbMiss 2021 io.debugTopDown.toCore.robHeadLoadVio := lsq.io.debugTopDown.robHeadLoadVio 2022 io.debugTopDown.toCore.robHeadLoadMSHR := lsq.io.debugTopDown.robHeadLoadMSHR 2023 dcache.io.debugTopDown.robHeadOtherReplay := lsq.io.debugTopDown.robHeadOtherReplay 2024 dcache.io.debugRolling := io.debugRolling 2025 2026 lsq.io.noUopsIssued := io.topDownInfo.toBackend.noUopsIssued 2027 io.topDownInfo.toBackend.lqEmpty := lsq.io.lqEmpty 2028 io.topDownInfo.toBackend.sqEmpty := lsq.io.sqEmpty 2029 io.topDownInfo.toBackend.l1Miss := dcache.io.l1Miss 2030 io.topDownInfo.toBackend.l2TopMiss.l2Miss := RegNext(io.topDownInfo.fromL2Top.l2Miss) 2031 io.topDownInfo.toBackend.l2TopMiss.l3Miss := RegNext(io.topDownInfo.fromL2Top.l3Miss) 2032 2033 val hyLdDeqCount = PopCount(io.ooo_to_mem.issueHya.map(x => x.valid && FuType.isLoad(x.bits.uop.fuType))) 2034 val hyStDeqCount = PopCount(io.ooo_to_mem.issueHya.map(x => x.valid && FuType.isStore(x.bits.uop.fuType))) 2035 val ldDeqCount = PopCount(io.ooo_to_mem.issueLda.map(_.valid)) +& hyLdDeqCount 2036 val stDeqCount = PopCount(io.ooo_to_mem.issueSta.take(StaCnt).map(_.valid)) +& hyStDeqCount 2037 val iqDeqCount = ldDeqCount +& stDeqCount 2038 XSPerfAccumulate("load_iq_deq_count", ldDeqCount) 2039 XSPerfHistogram("load_iq_deq_count", ldDeqCount, true.B, 0, LdExuCnt + 1) 2040 XSPerfAccumulate("store_iq_deq_count", stDeqCount) 2041 XSPerfHistogram("store_iq_deq_count", stDeqCount, true.B, 0, StAddrCnt + 1) 2042 XSPerfAccumulate("ls_iq_deq_count", iqDeqCount) 2043 2044 val pfevent = Module(new PFEvent) 2045 pfevent.io.distribute_csr := csrCtrl.distribute_csr 2046 val csrevents = pfevent.io.hpmevent.slice(16,24) 2047 2048 val perfFromUnits = (loadUnits ++ Seq(sbuffer, lsq, dcache)).flatMap(_.getPerfEvents) 2049 val perfFromPTW = perfEventsPTW.map(x => ("PTW_" + x._1, x._2)) 2050 val perfBlock = Seq(("ldDeqCount", ldDeqCount), 2051 ("stDeqCount", stDeqCount)) 2052 // let index = 0 be no event 2053 val allPerfEvents = Seq(("noEvent", 0.U)) ++ perfFromUnits ++ perfFromPTW ++ perfBlock 2054 2055 if (printEventCoding) { 2056 for (((name, inc), i) <- allPerfEvents.zipWithIndex) { 2057 println("MemBlock perfEvents Set", name, inc, i) 2058 } 2059 } 2060 2061 val allPerfInc = allPerfEvents.map(_._2.asTypeOf(new PerfEvent)) 2062 val perfEvents = HPerfMonitor(csrevents, allPerfInc).getPerfEvents 2063 generatePerfEvent() 2064} 2065 2066class MemBlock()(implicit p: Parameters) extends LazyModule 2067 with HasXSParameter { 2068 override def shouldBeInlined: Boolean = false 2069 2070 val inner = LazyModule(new MemBlockInlined()) 2071 2072 lazy val module = new MemBlockImp(this) 2073} 2074 2075class MemBlockImp(wrapper: MemBlock) extends LazyModuleImp(wrapper) { 2076 val io = IO(wrapper.inner.module.io.cloneType) 2077 val io_perf = IO(wrapper.inner.module.io_perf.cloneType) 2078 io <> wrapper.inner.module.io 2079 io_perf <> wrapper.inner.module.io_perf 2080 2081 if (p(DebugOptionsKey).ResetGen) { 2082 ResetGen(ResetGenNode(Seq(ModuleNode(wrapper.inner.module))), reset, sim = false) 2083 } 2084} 2085