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 18 19import chisel3._ 20import chisel3.util._ 21import xiangshan.backend.rob.RobPtr 22import xiangshan.backend.CtrlToFtqIO 23import xiangshan.backend.decode.{ImmUnion, XDecode} 24import xiangshan.mem.{LqPtr, SqPtr} 25import xiangshan.frontend.PreDecodeInfo 26import xiangshan.frontend.HasBPUParameter 27import xiangshan.frontend.{AllFoldedHistories, CircularGlobalHistory, GlobalHistory, ShiftingGlobalHistory} 28import xiangshan.frontend.RASEntry 29import xiangshan.frontend.BPUCtrl 30import xiangshan.frontend.FtqPtr 31import xiangshan.frontend.CGHPtr 32import xiangshan.frontend.FtqRead 33import xiangshan.frontend.FtqToCtrlIO 34import xiangshan.cache.HasDCacheParameters 35import utils._ 36import utility._ 37 38import scala.math.max 39import Chisel.experimental.chiselName 40import chipsalliance.rocketchip.config.Parameters 41import chisel3.util.BitPat.bitPatToUInt 42import xiangshan.backend.exu.ExuConfig 43import xiangshan.backend.fu.PMPEntry 44import xiangshan.frontend.Ftq_Redirect_SRAMEntry 45import xiangshan.frontend.AllFoldedHistories 46import xiangshan.frontend.AllAheadFoldedHistoryOldestBits 47 48class ValidUndirectioned[T <: Data](gen: T) extends Bundle { 49 val valid = Bool() 50 val bits = gen.cloneType.asInstanceOf[T] 51 52} 53 54object ValidUndirectioned { 55 def apply[T <: Data](gen: T) = { 56 new ValidUndirectioned[T](gen) 57 } 58} 59 60object RSFeedbackType { 61 val lrqFull = 0.U(3.W) 62 val tlbMiss = 1.U(3.W) 63 val mshrFull = 2.U(3.W) 64 val dataInvalid = 3.U(3.W) 65 val bankConflict = 4.U(3.W) 66 val ldVioCheckRedo = 5.U(3.W) 67 val feedbackInvalid = 7.U(3.W) 68 69 val allTypes = 8 70 def apply() = UInt(3.W) 71} 72 73class PredictorAnswer(implicit p: Parameters) extends XSBundle { 74 val hit = if (!env.FPGAPlatform) Bool() else UInt(0.W) 75 val taken = if (!env.FPGAPlatform) Bool() else UInt(0.W) 76 val target = if (!env.FPGAPlatform) UInt(VAddrBits.W) else UInt(0.W) 77} 78 79class CfiUpdateInfo(implicit p: Parameters) extends XSBundle with HasBPUParameter { 80 // from backend 81 val pc = UInt(VAddrBits.W) 82 // frontend -> backend -> frontend 83 val pd = new PreDecodeInfo 84 val rasSp = UInt(log2Up(RasSize).W) 85 val rasEntry = new RASEntry 86 // val hist = new ShiftingGlobalHistory 87 val folded_hist = new AllFoldedHistories(foldedGHistInfos) 88 val afhob = new AllAheadFoldedHistoryOldestBits(foldedGHistInfos) 89 val lastBrNumOH = UInt((numBr+1).W) 90 val ghr = UInt(UbtbGHRLength.W) 91 val histPtr = new CGHPtr 92 val specCnt = Vec(numBr, UInt(10.W)) 93 // need pipeline update 94 val br_hit = Bool() 95 val predTaken = Bool() 96 val target = UInt(VAddrBits.W) 97 val taken = Bool() 98 val isMisPred = Bool() 99 val shift = UInt((log2Ceil(numBr)+1).W) 100 val addIntoHist = Bool() 101 102 def fromFtqRedirectSram(entry: Ftq_Redirect_SRAMEntry) = { 103 // this.hist := entry.ghist 104 this.folded_hist := entry.folded_hist 105 this.lastBrNumOH := entry.lastBrNumOH 106 this.afhob := entry.afhob 107 this.histPtr := entry.histPtr 108 this.rasSp := entry.rasSp 109 this.rasEntry := entry.rasTop 110 this 111 } 112} 113 114// Dequeue DecodeWidth insts from Ibuffer 115class CtrlFlow(implicit p: Parameters) extends XSBundle { 116 val instr = UInt(32.W) 117 val pc = UInt(VAddrBits.W) 118 val foldpc = UInt(MemPredPCWidth.W) 119 val exceptionVec = ExceptionVec() 120 val trigger = new TriggerCf 121 val pd = new PreDecodeInfo 122 val pred_taken = Bool() 123 val crossPageIPFFix = Bool() 124 val storeSetHit = Bool() // inst has been allocated an store set 125 val waitForRobIdx = new RobPtr // store set predicted previous store robIdx 126 // Load wait is needed 127 // load inst will not be executed until former store (predicted by mdp) addr calcuated 128 val loadWaitBit = Bool() 129 // If (loadWaitBit && loadWaitStrict), strict load wait is needed 130 // load inst will not be executed until ALL former store addr calcuated 131 val loadWaitStrict = Bool() 132 val ssid = UInt(SSIDWidth.W) 133 val ftqPtr = new FtqPtr 134 val ftqOffset = UInt(log2Up(PredictWidth).W) 135} 136 137 138class FPUCtrlSignals(implicit p: Parameters) extends XSBundle { 139 val isAddSub = Bool() // swap23 140 val typeTagIn = UInt(1.W) 141 val typeTagOut = UInt(1.W) 142 val fromInt = Bool() 143 val wflags = Bool() 144 val fpWen = Bool() 145 val fmaCmd = UInt(2.W) 146 val div = Bool() 147 val sqrt = Bool() 148 val fcvt = Bool() 149 val typ = UInt(2.W) 150 val fmt = UInt(2.W) 151 val ren3 = Bool() //TODO: remove SrcType.fp 152 val rm = UInt(3.W) 153} 154 155// Decode DecodeWidth insts at Decode Stage 156class CtrlSignals(implicit p: Parameters) extends XSBundle { 157 val debug_globalID = UInt(XLEN.W) 158 val srcType = Vec(3, SrcType()) 159 val lsrc = Vec(3, UInt(5.W)) 160 val ldest = UInt(5.W) 161 val fuType = FuType() 162 val fuOpType = FuOpType() 163 val rfWen = Bool() 164 val fpWen = Bool() 165 val isXSTrap = Bool() 166 val noSpecExec = Bool() // wait forward 167 val blockBackward = Bool() // block backward 168 val flushPipe = Bool() // This inst will flush all the pipe when commit, like exception but can commit 169 val selImm = SelImm() 170 val imm = UInt(ImmUnion.maxLen.W) 171 val commitType = CommitType() 172 val fpu = new FPUCtrlSignals 173 val isMove = Bool() 174 val singleStep = Bool() 175 // This inst will flush all the pipe when it is the oldest inst in ROB, 176 // then replay from this inst itself 177 val replayInst = Bool() 178 179 private def allSignals = srcType ++ Seq(fuType, fuOpType, rfWen, fpWen, 180 isXSTrap, noSpecExec, blockBackward, flushPipe, selImm) 181 182 def decode(inst: UInt, table: Iterable[(BitPat, List[BitPat])]): CtrlSignals = { 183 val decoder = freechips.rocketchip.rocket.DecodeLogic(inst, XDecode.decodeDefault, table) 184 allSignals zip decoder foreach { case (s, d) => s := d } 185 commitType := DontCare 186 this 187 } 188 189 def decode(bit: List[BitPat]): CtrlSignals = { 190 allSignals.zip(bit.map(bitPatToUInt(_))).foreach{ case (s, d) => s := d } 191 this 192 } 193 194 def isWFI: Bool = fuType === FuType.csr && fuOpType === CSROpType.wfi 195 def isSoftPrefetch: Bool = { 196 fuType === FuType.alu && fuOpType === ALUOpType.or && selImm === SelImm.IMM_I && ldest === 0.U 197 } 198} 199 200class CfCtrl(implicit p: Parameters) extends XSBundle { 201 val cf = new CtrlFlow 202 val ctrl = new CtrlSignals 203} 204 205class PerfDebugInfo(implicit p: Parameters) extends XSBundle { 206 val eliminatedMove = Bool() 207 // val fetchTime = UInt(XLEN.W) 208 val renameTime = UInt(XLEN.W) 209 val dispatchTime = UInt(XLEN.W) 210 val enqRsTime = UInt(XLEN.W) 211 val selectTime = UInt(XLEN.W) 212 val issueTime = UInt(XLEN.W) 213 val writebackTime = UInt(XLEN.W) 214 // val commitTime = UInt(XLEN.W) 215 val runahead_checkpoint_id = UInt(XLEN.W) 216 val tlbFirstReqTime = UInt(XLEN.W) 217 val tlbRespTime = UInt(XLEN.W) // when getting hit result (including delay in L2TLB hit) 218} 219 220// Separate LSQ 221class LSIdx(implicit p: Parameters) extends XSBundle { 222 val lqIdx = new LqPtr 223 val sqIdx = new SqPtr 224} 225 226// CfCtrl -> MicroOp at Rename Stage 227class MicroOp(implicit p: Parameters) extends CfCtrl { 228 val srcState = Vec(3, SrcState()) 229 val psrc = Vec(3, UInt(PhyRegIdxWidth.W)) 230 val pdest = UInt(PhyRegIdxWidth.W) 231 val old_pdest = UInt(PhyRegIdxWidth.W) 232 val robIdx = new RobPtr 233 val lqIdx = new LqPtr 234 val sqIdx = new SqPtr 235 val eliminatedMove = Bool() 236 val debugInfo = new PerfDebugInfo 237 def needRfRPort(index: Int, isFp: Boolean, ignoreState: Boolean = true) : Bool = { 238 val stateReady = srcState(index) === SrcState.rdy || ignoreState.B 239 val readReg = if (isFp) { 240 ctrl.srcType(index) === SrcType.fp 241 } else { 242 ctrl.srcType(index) === SrcType.reg && ctrl.lsrc(index) =/= 0.U 243 } 244 readReg && stateReady 245 } 246 def srcIsReady: Vec[Bool] = { 247 VecInit(ctrl.srcType.zip(srcState).map{ case (t, s) => SrcType.isPcOrImm(t) || s === SrcState.rdy }) 248 } 249 def clearExceptions( 250 exceptionBits: Seq[Int] = Seq(), 251 flushPipe: Boolean = false, 252 replayInst: Boolean = false 253 ): MicroOp = { 254 cf.exceptionVec.zipWithIndex.filterNot(x => exceptionBits.contains(x._2)).foreach(_._1 := false.B) 255 if (!flushPipe) { ctrl.flushPipe := false.B } 256 if (!replayInst) { ctrl.replayInst := false.B } 257 this 258 } 259 // Assume only the LUI instruction is decoded with IMM_U in ALU. 260 def isLUI: Bool = ctrl.selImm === SelImm.IMM_U && ctrl.fuType === FuType.alu 261 // This MicroOp is used to wakeup another uop (the successor: (psrc, srcType). 262 def wakeup(successor: Seq[(UInt, UInt)], exuCfg: ExuConfig): Seq[(Bool, Bool)] = { 263 successor.map{ case (src, srcType) => 264 val pdestMatch = pdest === src 265 // For state: no need to check whether src is x0/imm/pc because they are always ready. 266 val rfStateMatch = if (exuCfg.readIntRf) ctrl.rfWen else false.B 267 val fpMatch = if (exuCfg.readFpRf) ctrl.fpWen else false.B 268 val bothIntFp = exuCfg.readIntRf && exuCfg.readFpRf 269 val bothStateMatch = Mux(SrcType.regIsFp(srcType), fpMatch, rfStateMatch) 270 val stateCond = pdestMatch && (if (bothIntFp) bothStateMatch else rfStateMatch || fpMatch) 271 // For data: types are matched and int pdest is not $zero. 272 val rfDataMatch = if (exuCfg.readIntRf) ctrl.rfWen && src =/= 0.U else false.B 273 val dataCond = pdestMatch && (rfDataMatch && SrcType.isReg(srcType) || fpMatch && SrcType.isFp(srcType)) 274 (stateCond, dataCond) 275 } 276 } 277 // This MicroOp is used to wakeup another uop (the successor: MicroOp). 278 def wakeup(successor: MicroOp, exuCfg: ExuConfig): Seq[(Bool, Bool)] = { 279 wakeup(successor.psrc.zip(successor.ctrl.srcType), exuCfg) 280 } 281 def isJump: Bool = FuType.isJumpExu(ctrl.fuType) 282} 283 284class XSBundleWithMicroOp(implicit p: Parameters) extends XSBundle { 285 val uop = new MicroOp 286} 287 288class MicroOpRbExt(implicit p: Parameters) extends XSBundleWithMicroOp { 289 val flag = UInt(1.W) 290} 291 292class Redirect(implicit p: Parameters) extends XSBundle { 293 val robIdx = new RobPtr 294 val ftqIdx = new FtqPtr 295 val ftqOffset = UInt(log2Up(PredictWidth).W) 296 val level = RedirectLevel() 297 val interrupt = Bool() 298 val cfiUpdate = new CfiUpdateInfo 299 300 val stFtqIdx = new FtqPtr // for load violation predict 301 val stFtqOffset = UInt(log2Up(PredictWidth).W) 302 303 val debug_runahead_checkpoint_id = UInt(64.W) 304 305 // def isUnconditional() = RedirectLevel.isUnconditional(level) 306 def flushItself() = RedirectLevel.flushItself(level) 307 // def isException() = RedirectLevel.isException(level) 308} 309 310class Dp1ToDp2IO(implicit p: Parameters) extends XSBundle { 311 val intDqToDp2 = Vec(dpParams.IntDqDeqWidth, DecoupledIO(new MicroOp)) 312 val fpDqToDp2 = Vec(dpParams.FpDqDeqWidth, DecoupledIO(new MicroOp)) 313 val lsDqToDp2 = Vec(dpParams.LsDqDeqWidth, DecoupledIO(new MicroOp)) 314} 315 316class ResetPregStateReq(implicit p: Parameters) extends XSBundle { 317 // NOTE: set isInt and isFp both to 'false' when invalid 318 val isInt = Bool() 319 val isFp = Bool() 320 val preg = UInt(PhyRegIdxWidth.W) 321} 322 323class DebugBundle(implicit p: Parameters) extends XSBundle { 324 val isMMIO = Bool() 325 val isPerfCnt = Bool() 326 val paddr = UInt(PAddrBits.W) 327 val vaddr = UInt(VAddrBits.W) 328 /* add L/S inst info in EXU */ 329 // val L1toL2TlbLatency = UInt(XLEN.W) 330 // val levelTlbHit = UInt(2.W) 331} 332 333class ExuInput(implicit p: Parameters) extends XSBundleWithMicroOp { 334 val src = Vec(3, UInt(XLEN.W)) 335} 336 337class ExuOutput(implicit p: Parameters) extends XSBundleWithMicroOp { 338 val data = UInt(XLEN.W) 339 val fflags = UInt(5.W) 340 val redirectValid = Bool() 341 val redirect = new Redirect 342 val debug = new DebugBundle 343} 344 345class ExternalInterruptIO(implicit p: Parameters) extends XSBundle { 346 val mtip = Input(Bool()) 347 val msip = Input(Bool()) 348 val meip = Input(Bool()) 349 val seip = Input(Bool()) 350 val debug = Input(Bool()) 351} 352 353class CSRSpecialIO(implicit p: Parameters) extends XSBundle { 354 val exception = Flipped(ValidIO(new MicroOp)) 355 val isInterrupt = Input(Bool()) 356 val memExceptionVAddr = Input(UInt(VAddrBits.W)) 357 val trapTarget = Output(UInt(VAddrBits.W)) 358 val externalInterrupt = new ExternalInterruptIO 359 val interrupt = Output(Bool()) 360} 361 362class ExceptionInfo(implicit p: Parameters) extends XSBundleWithMicroOp { 363 val isInterrupt = Bool() 364} 365 366class RobCommitInfo(implicit p: Parameters) extends XSBundle { 367 val ldest = UInt(5.W) 368 val rfWen = Bool() 369 val fpWen = Bool() 370 val wflags = Bool() 371 val commitType = CommitType() 372 val pdest = UInt(PhyRegIdxWidth.W) 373 val old_pdest = UInt(PhyRegIdxWidth.W) 374 val ftqIdx = new FtqPtr 375 val ftqOffset = UInt(log2Up(PredictWidth).W) 376 val isMove = Bool() 377 378 // these should be optimized for synthesis verilog 379 val pc = UInt(VAddrBits.W) 380} 381 382class RobCommitIO(implicit p: Parameters) extends XSBundle { 383 val isCommit = Bool() 384 val commitValid = Vec(CommitWidth, Bool()) 385 386 val isWalk = Bool() 387 // valid bits optimized for walk 388 val walkValid = Vec(CommitWidth, Bool()) 389 390 val info = Vec(CommitWidth, new RobCommitInfo) 391 392 def hasWalkInstr: Bool = isWalk && walkValid.asUInt.orR 393 def hasCommitInstr: Bool = isCommit && commitValid.asUInt.orR 394} 395 396class RSFeedback(implicit p: Parameters) extends XSBundle { 397 val rsIdx = UInt(log2Up(IssQueSize).W) 398 val hit = Bool() 399 val flushState = Bool() 400 val sourceType = RSFeedbackType() 401 val dataInvalidSqIdx = new SqPtr 402} 403 404class MemRSFeedbackIO(implicit p: Parameters) extends XSBundle { 405 // Note: you need to update in implicit Parameters p before imp MemRSFeedbackIO 406 // for instance: MemRSFeedbackIO()(updateP) 407 val feedbackSlow = ValidIO(new RSFeedback()) // dcache miss queue full, dtlb miss 408 val feedbackFast = ValidIO(new RSFeedback()) // bank conflict 409 val rsIdx = Input(UInt(log2Up(IssQueSize).W)) 410 val isFirstIssue = Input(Bool()) 411} 412 413class FrontendToCtrlIO(implicit p: Parameters) extends XSBundle { 414 // to backend end 415 val cfVec = Vec(DecodeWidth, DecoupledIO(new CtrlFlow)) 416 val fromFtq = new FtqToCtrlIO 417 // from backend 418 val toFtq = Flipped(new CtrlToFtqIO) 419} 420 421class SatpStruct(implicit p: Parameters) extends XSBundle { 422 val mode = UInt(4.W) 423 val asid = UInt(16.W) 424 val ppn = UInt(44.W) 425} 426 427class TlbSatpBundle(implicit p: Parameters) extends SatpStruct { 428 val changed = Bool() 429 430 def apply(satp_value: UInt): Unit = { 431 require(satp_value.getWidth == XLEN) 432 val sa = satp_value.asTypeOf(new SatpStruct) 433 mode := sa.mode 434 asid := sa.asid 435 ppn := Cat(0.U(44-PAddrBits), sa.ppn(PAddrBits-1, 0)).asUInt() 436 changed := DataChanged(sa.asid) // when ppn is changed, software need do the flush 437 } 438} 439 440class TlbCsrBundle(implicit p: Parameters) extends XSBundle { 441 val satp = new TlbSatpBundle() 442 val priv = new Bundle { 443 val mxr = Bool() 444 val sum = Bool() 445 val imode = UInt(2.W) 446 val dmode = UInt(2.W) 447 } 448 449 override def toPrintable: Printable = { 450 p"Satp mode:0x${Hexadecimal(satp.mode)} asid:0x${Hexadecimal(satp.asid)} ppn:0x${Hexadecimal(satp.ppn)} " + 451 p"Priv mxr:${priv.mxr} sum:${priv.sum} imode:${priv.imode} dmode:${priv.dmode}" 452 } 453} 454 455class SfenceBundle(implicit p: Parameters) extends XSBundle { 456 val valid = Bool() 457 val bits = new Bundle { 458 val rs1 = Bool() 459 val rs2 = Bool() 460 val addr = UInt(VAddrBits.W) 461 val asid = UInt(AsidLength.W) 462 val flushPipe = Bool() 463 } 464 465 override def toPrintable: Printable = { 466 p"valid:0x${Hexadecimal(valid)} rs1:${bits.rs1} rs2:${bits.rs2} addr:${Hexadecimal(bits.addr)}, flushPipe:${bits.flushPipe}" 467 } 468} 469 470// Bundle for load violation predictor updating 471class MemPredUpdateReq(implicit p: Parameters) extends XSBundle { 472 val valid = Bool() 473 474 // wait table update 475 val waddr = UInt(MemPredPCWidth.W) 476 val wdata = Bool() // true.B by default 477 478 // store set update 479 // by default, ldpc/stpc should be xor folded 480 val ldpc = UInt(MemPredPCWidth.W) 481 val stpc = UInt(MemPredPCWidth.W) 482} 483 484class CustomCSRCtrlIO(implicit p: Parameters) extends XSBundle { 485 // Prefetcher 486 val l1I_pf_enable = Output(Bool()) 487 val l2_pf_enable = Output(Bool()) 488 val l1D_pf_enable = Output(Bool()) 489 val l1D_pf_train_on_hit = Output(Bool()) 490 val l1D_pf_enable_agt = Output(Bool()) 491 val l1D_pf_enable_pht = Output(Bool()) 492 val l1D_pf_active_threshold = Output(UInt(4.W)) 493 val l1D_pf_active_stride = Output(UInt(6.W)) 494 val l1D_pf_enable_stride = Output(Bool()) 495 val l2_pf_store_only = Output(Bool()) 496 // ICache 497 val icache_parity_enable = Output(Bool()) 498 // Labeled XiangShan 499 val dsid = Output(UInt(8.W)) // TODO: DsidWidth as parameter 500 // Load violation predictor 501 val lvpred_disable = Output(Bool()) 502 val no_spec_load = Output(Bool()) 503 val storeset_wait_store = Output(Bool()) 504 val storeset_no_fast_wakeup = Output(Bool()) 505 val lvpred_timeout = Output(UInt(5.W)) 506 // Branch predictor 507 val bp_ctrl = Output(new BPUCtrl) 508 // Memory Block 509 val sbuffer_threshold = Output(UInt(4.W)) 510 val ldld_vio_check_enable = Output(Bool()) 511 val soft_prefetch_enable = Output(Bool()) 512 val cache_error_enable = Output(Bool()) 513 val uncache_write_outstanding_enable = Output(Bool()) 514 // Rename 515 val fusion_enable = Output(Bool()) 516 val wfi_enable = Output(Bool()) 517 // Decode 518 val svinval_enable = Output(Bool()) 519 520 // distribute csr write signal 521 val distribute_csr = new DistributedCSRIO() 522 523 val singlestep = Output(Bool()) 524 val frontend_trigger = new FrontendTdataDistributeIO() 525 val mem_trigger = new MemTdataDistributeIO() 526 val trigger_enable = Output(Vec(10, Bool())) 527} 528 529class DistributedCSRIO(implicit p: Parameters) extends XSBundle { 530 // CSR has been written by csr inst, copies of csr should be updated 531 val w = ValidIO(new Bundle { 532 val addr = Output(UInt(12.W)) 533 val data = Output(UInt(XLEN.W)) 534 }) 535} 536 537class DistributedCSRUpdateReq(implicit p: Parameters) extends XSBundle { 538 // Request csr to be updated 539 // 540 // Note that this request will ONLY update CSR Module it self, 541 // copies of csr will NOT be updated, use it with care! 542 // 543 // For each cycle, no more than 1 DistributedCSRUpdateReq is valid 544 val w = ValidIO(new Bundle { 545 val addr = Output(UInt(12.W)) 546 val data = Output(UInt(XLEN.W)) 547 }) 548 def apply(valid: Bool, addr: UInt, data: UInt, src_description: String) = { 549 when(valid){ 550 w.bits.addr := addr 551 w.bits.data := data 552 } 553 println("Distributed CSR update req registered for " + src_description) 554 } 555} 556 557class L1CacheErrorInfo(implicit p: Parameters) extends XSBundle { 558 // L1CacheErrorInfo is also used to encode customized CACHE_ERROR CSR 559 val source = Output(new Bundle() { 560 val tag = Bool() // l1 tag array 561 val data = Bool() // l1 data array 562 val l2 = Bool() 563 }) 564 val opType = Output(new Bundle() { 565 val fetch = Bool() 566 val load = Bool() 567 val store = Bool() 568 val probe = Bool() 569 val release = Bool() 570 val atom = Bool() 571 }) 572 val paddr = Output(UInt(PAddrBits.W)) 573 574 // report error and paddr to beu 575 // bus error unit will receive error info iff ecc_error.valid 576 val report_to_beu = Output(Bool()) 577 578 // there is an valid error 579 // l1 cache error will always be report to CACHE_ERROR csr 580 val valid = Output(Bool()) 581 582 def toL1BusErrorUnitInfo(): L1BusErrorUnitInfo = { 583 val beu_info = Wire(new L1BusErrorUnitInfo) 584 beu_info.ecc_error.valid := report_to_beu 585 beu_info.ecc_error.bits := paddr 586 beu_info 587 } 588} 589 590/* TODO how to trigger on next inst? 5911. If hit is determined at frontend, then set a "next instr" trap at dispatch like singlestep 5922. If it is determined at Load(meaning it must be "hit after", then it must not be a jump. So we can let it commit and set 593xret csr to pc + 4/ + 2 5942.5 The problem is to let it commit. This is the real TODO 5953. If it is load and hit before just treat it as regular load exception 596 */ 597 598// This bundle carries trigger hit info along the pipeline 599// Now there are 10 triggers divided into 5 groups of 2 600// These groups are 601// (if if) (store store) (load loid) (if store) (if load) 602 603// Triggers in the same group can chain, meaning that they only 604// fire is both triggers in the group matches (the triggerHitVec bit is asserted) 605// Chaining of trigger No. (2i) and (2i+1) is indicated by triggerChainVec(i) 606// Timing of 0 means trap at current inst, 1 means trap at next inst 607// Chaining and timing and the validness of a trigger is controlled by csr 608// In two chained triggers, if they have different timing, both won't fire 609//class TriggerCf (implicit p: Parameters) extends XSBundle { 610// val triggerHitVec = Vec(10, Bool()) 611// val triggerTiming = Vec(10, Bool()) 612// val triggerChainVec = Vec(5, Bool()) 613//} 614 615class TriggerCf(implicit p: Parameters) extends XSBundle { 616 // frontend 617 val frontendHit = Vec(4, Bool()) 618// val frontendTiming = Vec(4, Bool()) 619// val frontendHitNext = Vec(4, Bool()) 620 621// val frontendException = Bool() 622 // backend 623 val backendEn = Vec(2, Bool()) // Hit(6) && chain(4) , Hit(8) && chain(4) 624 val backendHit = Vec(6, Bool()) 625// val backendTiming = Vec(6, Bool()) // trigger enable fro chain 626 627 // Two situations not allowed: 628 // 1. load data comparison 629 // 2. store chaining with store 630 def getHitFrontend = frontendHit.reduce(_ || _) 631 def getHitBackend = backendHit.reduce(_ || _) 632 def hit = getHitFrontend || getHitBackend 633 def clear(): Unit = { 634 frontendHit.foreach(_ := false.B) 635 backendEn.foreach(_ := false.B) 636 backendHit.foreach(_ := false.B) 637 } 638} 639 640// these 3 bundles help distribute trigger control signals from CSR 641// to Frontend, Load and Store. 642class FrontendTdataDistributeIO(implicit p: Parameters) extends XSBundle { 643 val t = Valid(new Bundle { 644 val addr = Output(UInt(2.W)) 645 val tdata = new MatchTriggerIO 646 }) 647 } 648 649class MemTdataDistributeIO(implicit p: Parameters) extends XSBundle { 650 val t = Valid(new Bundle { 651 val addr = Output(UInt(3.W)) 652 val tdata = new MatchTriggerIO 653 }) 654} 655 656class MatchTriggerIO(implicit p: Parameters) extends XSBundle { 657 val matchType = Output(UInt(2.W)) 658 val select = Output(Bool()) 659 val timing = Output(Bool()) 660 val action = Output(Bool()) 661 val chain = Output(Bool()) 662 val tdata2 = Output(UInt(64.W)) 663} 664 665// custom l2 - l1 interface 666class L2ToL1Hint(implicit p: Parameters) extends XSBundle with HasDCacheParameters { 667 val sourceId = UInt(log2Up(cfg.nMissEntries).W) // tilelink sourceID -> mshr id 668} 669