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