xref: /XiangShan/src/main/scala/xiangshan/Bundle.scala (revision 3ea4388c307775f866cbebd6405f8201d60f1e53)
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 org.chipsalliance.cde.config.Parameters
20import chisel3._
21import chisel3.util.BitPat.bitPatToUInt
22import chisel3.util._
23import utility._
24import utils._
25import xiangshan.backend.decode.{ImmUnion, XDecode}
26import xiangshan.backend.fu.FuType
27import xiangshan.backend.rob.RobPtr
28import xiangshan.frontend._
29import xiangshan.mem.{LqPtr, SqPtr}
30import xiangshan.backend.Bundles.{DynInst, UopIdx}
31import xiangshan.backend.fu.vector.Bundles.VType
32import xiangshan.frontend.{AllAheadFoldedHistoryOldestBits, AllFoldedHistories, BPUCtrl, CGHPtr, FtqPtr, FtqToCtrlIO}
33import xiangshan.frontend.{Ftq_Redirect_SRAMEntry, HasBPUParameter, IfuToBackendIO, PreDecodeInfo, RASPtr}
34import xiangshan.cache.HasDCacheParameters
35import utility._
36
37import org.chipsalliance.cde.config.Parameters
38import chisel3.util.BitPat.bitPatToUInt
39import chisel3.util.experimental.decode.EspressoMinimizer
40import xiangshan.backend.CtrlToFtqIO
41import xiangshan.backend.fu.NewCSR.{Mcontrol, Tdata1Bundle, Tdata2Bundle}
42import xiangshan.backend.fu.PMPEntry
43import xiangshan.frontend.Ftq_Redirect_SRAMEntry
44import xiangshan.frontend.AllFoldedHistories
45import xiangshan.frontend.AllAheadFoldedHistoryOldestBits
46import xiangshan.frontend.RASPtr
47import xiangshan.backend.rob.RobBundles.RobCommitEntryBundle
48
49class ValidUndirectioned[T <: Data](gen: T) extends Bundle {
50  val valid = Bool()
51  val bits = gen.cloneType.asInstanceOf[T]
52
53}
54
55object ValidUndirectioned {
56  def apply[T <: Data](gen: T) = {
57    new ValidUndirectioned[T](gen)
58  }
59}
60
61object RSFeedbackType {
62  val lrqFull         = 0.U(4.W)
63  val tlbMiss         = 1.U(4.W)
64  val mshrFull        = 2.U(4.W)
65  val dataInvalid     = 3.U(4.W)
66  val bankConflict    = 4.U(4.W)
67  val ldVioCheckRedo  = 5.U(4.W)
68  val feedbackInvalid = 7.U(4.W)
69  val issueSuccess    = 8.U(4.W)
70  val rfArbitFail     = 9.U(4.W)
71  val fuIdle          = 10.U(4.W)
72  val fuBusy          = 11.U(4.W)
73  val fuUncertain     = 12.U(4.W)
74
75  val allTypes = 16
76  def apply() = UInt(4.W)
77
78  def isStageSuccess(feedbackType: UInt) = {
79    feedbackType === issueSuccess
80  }
81
82  def isBlocked(feedbackType: UInt) = {
83    feedbackType === rfArbitFail || feedbackType === fuBusy || feedbackType >= lrqFull && feedbackType <= feedbackInvalid
84  }
85}
86
87class PredictorAnswer(implicit p: Parameters) extends XSBundle {
88  val hit    = if (!env.FPGAPlatform) Bool() else UInt(0.W)
89  val taken  = if (!env.FPGAPlatform) Bool() else UInt(0.W)
90  val target = if (!env.FPGAPlatform) UInt(VAddrBits.W) else UInt(0.W)
91}
92
93class CfiUpdateInfo(implicit p: Parameters) extends XSBundle with HasBPUParameter {
94  // from backend
95  val pc = UInt(VAddrBits.W)
96  // frontend -> backend -> frontend
97  val pd = new PreDecodeInfo
98  val ssp = UInt(log2Up(RasSize).W)
99  val sctr = UInt(RasCtrSize.W)
100  val TOSW = new RASPtr
101  val TOSR = new RASPtr
102  val NOS = new RASPtr
103  val topAddr = UInt(VAddrBits.W)
104  // val hist = new ShiftingGlobalHistory
105  val folded_hist = new AllFoldedHistories(foldedGHistInfos)
106  val afhob = new AllAheadFoldedHistoryOldestBits(foldedGHistInfos)
107  val lastBrNumOH = UInt((numBr+1).W)
108  val ghr = UInt(UbtbGHRLength.W)
109  val histPtr = new CGHPtr
110  val specCnt = Vec(numBr, UInt(10.W))
111  // need pipeline update
112  val br_hit = Bool() // if in ftb entry
113  val jr_hit = Bool() // if in ftb entry
114  val sc_hit = Bool() // if used in ftb entry, invalid if !br_hit
115  val predTaken = Bool()
116  val target = UInt(VAddrBits.W)
117  val taken = Bool()
118  val isMisPred = Bool()
119  val shift = UInt((log2Ceil(numBr)+1).W)
120  val addIntoHist = Bool()
121
122  def fromFtqRedirectSram(entry: Ftq_Redirect_SRAMEntry) = {
123    // this.hist := entry.ghist
124    this.histPtr := entry.histPtr
125    this.ssp := entry.ssp
126    this.sctr := entry.sctr
127    this.TOSW := entry.TOSW
128    this.TOSR := entry.TOSR
129    this.NOS := entry.NOS
130    this.topAddr := entry.topAddr
131    this
132  }
133}
134
135// Dequeue DecodeWidth insts from Ibuffer
136class CtrlFlow(implicit p: Parameters) extends XSBundle {
137  val instr = UInt(32.W)
138  val pc = UInt(VAddrBits.W)
139  val foldpc = UInt(MemPredPCWidth.W)
140  val exceptionVec = ExceptionVec()
141  val trigger = new TriggerCf
142  val pd = new PreDecodeInfo
143  val pred_taken = Bool()
144  val crossPageIPFFix = Bool()
145  val storeSetHit = Bool() // inst has been allocated an store set
146  val waitForRobIdx = new RobPtr // store set predicted previous store robIdx
147  // Load wait is needed
148  // load inst will not be executed until former store (predicted by mdp) addr calcuated
149  val loadWaitBit = Bool()
150  // If (loadWaitBit && loadWaitStrict), strict load wait is needed
151  // load inst will not be executed until ALL former store addr calcuated
152  val loadWaitStrict = Bool()
153  val ssid = UInt(SSIDWidth.W)
154  val ftqPtr = new FtqPtr
155  val ftqOffset = UInt(log2Up(PredictWidth).W)
156}
157
158
159class FPUCtrlSignals(implicit p: Parameters) extends XSBundle {
160  val isAddSub = Bool() // swap23
161  val typeTagIn = UInt(1.W)
162  val typeTagOut = UInt(1.W)
163  val fromInt = Bool()
164  val wflags = Bool()
165  val fpWen = Bool()
166  val fmaCmd = UInt(2.W)
167  val div = Bool()
168  val sqrt = Bool()
169  val fcvt = Bool()
170  val typ = UInt(2.W)
171  val fmt = UInt(2.W)
172  val ren3 = Bool() //TODO: remove SrcType.fp
173  val rm = UInt(3.W)
174}
175
176// Decode DecodeWidth insts at Decode Stage
177class CtrlSignals(implicit p: Parameters) extends XSBundle {
178  val debug_globalID = UInt(XLEN.W)
179  val srcType = Vec(4, SrcType())
180  val lsrc = Vec(4, UInt(LogicRegsWidth.W))
181  val ldest = UInt(LogicRegsWidth.W)
182  val fuType = FuType()
183  val fuOpType = FuOpType()
184  val rfWen = Bool()
185  val fpWen = Bool()
186  val vecWen = Bool()
187  val isXSTrap = Bool()
188  val noSpecExec = Bool() // wait forward
189  val blockBackward = Bool() // block backward
190  val flushPipe = Bool() // This inst will flush all the pipe when commit, like exception but can commit
191  val uopSplitType = UopSplitType()
192  val selImm = SelImm()
193  val imm = UInt(32.W)
194  val commitType = CommitType()
195  val fpu = new FPUCtrlSignals
196  val uopIdx = UopIdx()
197  val isMove = Bool()
198  val vm = Bool()
199  val singleStep = Bool()
200  // This inst will flush all the pipe when it is the oldest inst in ROB,
201  // then replay from this inst itself
202  val replayInst = Bool()
203  val canRobCompress = Bool()
204
205  private def allSignals = srcType.take(3) ++ Seq(fuType, fuOpType, rfWen, fpWen, vecWen,
206    isXSTrap, noSpecExec, blockBackward, flushPipe, canRobCompress, uopSplitType, selImm)
207
208  def decode(inst: UInt, table: Iterable[(BitPat, List[BitPat])]): CtrlSignals = {
209    val decoder = freechips.rocketchip.rocket.DecodeLogic(inst, XDecode.decodeDefault, table, EspressoMinimizer)
210    allSignals zip decoder foreach { case (s, d) => s := d }
211    commitType := DontCare
212    this
213  }
214
215  def decode(bit: List[BitPat]): CtrlSignals = {
216    allSignals.zip(bit.map(bitPatToUInt(_))).foreach{ case (s, d) => s := d }
217    this
218  }
219
220  def isWFI: Bool = fuType === FuType.csr.U && fuOpType === CSROpType.wfi
221  def isSoftPrefetch: Bool = {
222    fuType === FuType.alu.U && fuOpType === ALUOpType.or && selImm === SelImm.IMM_I && ldest === 0.U
223  }
224  def needWriteRf: Bool = (rfWen && ldest =/= 0.U) || fpWen || vecWen
225  def isHyperInst: Bool = {
226    fuType === FuType.ldu.U && LSUOpType.isHlv(fuOpType) || fuType === FuType.stu.U && LSUOpType.isHsv(fuOpType)
227  }
228}
229
230class CfCtrl(implicit p: Parameters) extends XSBundle {
231  val cf = new CtrlFlow
232  val ctrl = new CtrlSignals
233}
234
235class PerfDebugInfo(implicit p: Parameters) extends XSBundle {
236  val eliminatedMove = Bool()
237  // val fetchTime = UInt(XLEN.W)
238  val renameTime = UInt(XLEN.W)
239  val dispatchTime = UInt(XLEN.W)
240  val enqRsTime = UInt(XLEN.W)
241  val selectTime = UInt(XLEN.W)
242  val issueTime = UInt(XLEN.W)
243  val writebackTime = UInt(XLEN.W)
244  // val commitTime = UInt(XLEN.W)
245  val runahead_checkpoint_id = UInt(XLEN.W)
246  val tlbFirstReqTime = UInt(XLEN.W)
247  val tlbRespTime = UInt(XLEN.W) // when getting hit result (including delay in L2TLB hit)
248}
249
250// Separate LSQ
251class LSIdx(implicit p: Parameters) extends XSBundle {
252  val lqIdx = new LqPtr
253  val sqIdx = new SqPtr
254}
255
256// CfCtrl -> MicroOp at Rename Stage
257class MicroOp(implicit p: Parameters) extends CfCtrl {
258  val srcState = Vec(4, SrcState())
259  val psrc = Vec(4, UInt(PhyRegIdxWidth.W))
260  val pdest = UInt(PhyRegIdxWidth.W)
261  val robIdx = new RobPtr
262  val instrSize = UInt(log2Ceil(RenameWidth + 1).W)
263  val lqIdx = new LqPtr
264  val sqIdx = new SqPtr
265  val eliminatedMove = Bool()
266  val snapshot = Bool()
267  val debugInfo = new PerfDebugInfo
268  def needRfRPort(index: Int, isFp: Boolean, ignoreState: Boolean = true) : Bool = {
269    val stateReady = srcState(index) === SrcState.rdy || ignoreState.B
270    val readReg = if (isFp) {
271      ctrl.srcType(index) === SrcType.fp
272    } else {
273      ctrl.srcType(index) === SrcType.reg && ctrl.lsrc(index) =/= 0.U
274    }
275    readReg && stateReady
276  }
277  def srcIsReady: Vec[Bool] = {
278    VecInit(ctrl.srcType.zip(srcState).map{ case (t, s) => SrcType.isPcOrImm(t) || s === SrcState.rdy })
279  }
280  def clearExceptions(
281    exceptionBits: Seq[Int] = Seq(),
282    flushPipe: Boolean = false,
283    replayInst: Boolean = false
284  ): MicroOp = {
285    cf.exceptionVec.zipWithIndex.filterNot(x => exceptionBits.contains(x._2)).foreach(_._1 := false.B)
286    if (!flushPipe) { ctrl.flushPipe := false.B }
287    if (!replayInst) { ctrl.replayInst := false.B }
288    this
289  }
290}
291
292class XSBundleWithMicroOp(implicit p: Parameters) extends XSBundle {
293  val uop = new DynInst
294}
295
296class MicroOpRbExt(implicit p: Parameters) extends XSBundleWithMicroOp {
297  val flag = UInt(1.W)
298}
299
300class Redirect(implicit p: Parameters) extends XSBundle {
301  val isRVC = Bool()
302  val robIdx = new RobPtr
303  val ftqIdx = new FtqPtr
304  val ftqOffset = UInt(log2Up(PredictWidth).W)
305  val level = RedirectLevel()
306  val interrupt = Bool()
307  val cfiUpdate = new CfiUpdateInfo
308
309  val stFtqIdx = new FtqPtr // for load violation predict
310  val stFtqOffset = UInt(log2Up(PredictWidth).W)
311
312  val debug_runahead_checkpoint_id = UInt(64.W)
313  val debugIsCtrl = Bool()
314  val debugIsMemVio = Bool()
315
316  def flushItself() = RedirectLevel.flushItself(level)
317}
318
319object Redirect extends HasCircularQueuePtrHelper {
320
321  def selectOldestRedirect(xs: Seq[Valid[Redirect]]): Vec[Bool] = {
322    val compareVec = (0 until xs.length).map(i => (0 until i).map(j => isAfter(xs(j).bits.robIdx, xs(i).bits.robIdx)))
323    val resultOnehot = VecInit((0 until xs.length).map(i => Cat((0 until xs.length).map(j =>
324      (if (j < i) !xs(j).valid || compareVec(i)(j)
325      else if (j == i) xs(i).valid
326      else !xs(j).valid || !compareVec(j)(i))
327    )).andR))
328    resultOnehot
329  }
330}
331
332class ResetPregStateReq(implicit p: Parameters) extends XSBundle {
333  // NOTE: set isInt and isFp both to 'false' when invalid
334  val isInt = Bool()
335  val isFp = Bool()
336  val isVec = Bool()
337  val isV0 = Bool()
338  val isVl = Bool()
339  val preg = UInt(PhyRegIdxWidth.W)
340}
341
342class DebugBundle(implicit p: Parameters) extends XSBundle {
343  val isMMIO = Bool()
344  val isPerfCnt = Bool()
345  val paddr = UInt(PAddrBits.W)
346  val vaddr = UInt(VAddrBits.W)
347  /* add L/S inst info in EXU */
348  // val L1toL2TlbLatency = UInt(XLEN.W)
349  // val levelTlbHit = UInt(2.W)
350}
351
352class SoftIfetchPrefetchBundle(implicit p: Parameters) extends XSBundle {
353  val vaddr = UInt(VAddrBits.W)
354}
355
356class ExternalInterruptIO(implicit p: Parameters) extends XSBundle {
357  val mtip = Input(Bool())
358  val msip = Input(Bool())
359  val meip = Input(Bool())
360  val seip = Input(Bool())
361  val debug = Input(Bool())
362}
363
364class CSRSpecialIO(implicit p: Parameters) extends XSBundle {
365  val exception = Flipped(ValidIO(new DynInst))
366  val isInterrupt = Input(Bool())
367  val memExceptionVAddr = Input(UInt(VAddrBits.W))
368  val trapTarget = Output(UInt(VAddrBits.W))
369  val externalInterrupt = new ExternalInterruptIO
370  val interrupt = Output(Bool())
371}
372
373class DiffCommitIO(implicit p: Parameters) extends XSBundle {
374  val isCommit = Bool()
375  val commitValid = Vec(CommitWidth * MaxUopSize, Bool())
376
377  val info = Vec(CommitWidth * MaxUopSize, new RabCommitInfo)
378}
379
380class RobCommitInfo(implicit p: Parameters) extends RobCommitEntryBundle
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  val robIdx = Vec(CommitWidth, new RobPtr)
392
393  def hasWalkInstr: Bool = isWalk && walkValid.asUInt.orR
394  def hasCommitInstr: Bool = isCommit && commitValid.asUInt.orR
395}
396
397class RabCommitInfo(implicit p: Parameters) extends XSBundle {
398  val ldest = UInt(LogicRegsWidth.W)
399  val pdest = UInt(PhyRegIdxWidth.W)
400  val rfWen = Bool()
401  val fpWen = Bool()
402  val vecWen = Bool()
403  val v0Wen = Bool()
404  val vlWen = Bool()
405  val isMove = Bool()
406}
407
408class RabCommitIO(implicit p: Parameters) extends XSBundle {
409  val isCommit = Bool()
410  val commitValid = Vec(RabCommitWidth, Bool())
411
412  val isWalk = Bool()
413  // valid bits optimized for walk
414  val walkValid = Vec(RabCommitWidth, Bool())
415
416  val info = Vec(RabCommitWidth, new RabCommitInfo)
417  val robIdx = OptionWrapper(!env.FPGAPlatform, Vec(RabCommitWidth, new RobPtr))
418
419  def hasWalkInstr: Bool = isWalk && walkValid.asUInt.orR
420  def hasCommitInstr: Bool = isCommit && commitValid.asUInt.orR
421}
422
423class SnapshotPort(implicit p: Parameters) extends XSBundle {
424  val snptEnq = Bool()
425  val snptDeq = Bool()
426  val useSnpt = Bool()
427  val snptSelect = UInt(log2Ceil(RenameSnapshotNum).W)
428  val flushVec = Vec(RenameSnapshotNum, Bool())
429}
430
431class RSFeedback(isVector: Boolean = false)(implicit p: Parameters) extends XSBundle {
432  val robIdx = new RobPtr
433  val hit = Bool()
434  val flushState = Bool()
435  val sourceType = RSFeedbackType()
436  val dataInvalidSqIdx = new SqPtr
437  val sqIdx = new SqPtr
438  val lqIdx = new LqPtr
439}
440
441class MemRSFeedbackIO(isVector: Boolean = false)(implicit p: Parameters) extends XSBundle {
442  // Note: you need to update in implicit Parameters p before imp MemRSFeedbackIO
443  // for instance: MemRSFeedbackIO()(updateP)
444  val feedbackSlow = ValidIO(new RSFeedback(isVector)) // dcache miss queue full, dtlb miss
445  val feedbackFast = ValidIO(new RSFeedback(isVector)) // bank conflict
446}
447
448class LoadCancelIO(implicit p: Parameters) extends XSBundle {
449  val ld1Cancel = Bool()
450  val ld2Cancel = Bool()
451}
452
453class FrontendToCtrlIO(implicit p: Parameters) extends XSBundle {
454  // to backend end
455  val cfVec = Vec(DecodeWidth, DecoupledIO(new CtrlFlow))
456  val stallReason = new StallReasonIO(DecodeWidth)
457  val fromFtq = new FtqToCtrlIO
458  val fromIfu = new IfuToBackendIO
459  // from backend
460  val toFtq = Flipped(new CtrlToFtqIO)
461  val canAccept = Input(Bool())
462}
463
464class SatpStruct(implicit p: Parameters) extends XSBundle {
465  val mode = UInt(4.W)
466  val asid = UInt(16.W)
467  val ppn  = UInt(44.W)
468}
469
470class TlbSatpBundle(implicit p: Parameters) extends SatpStruct {
471  val changed = Bool()
472
473  // Todo: remove it
474  def apply(satp_value: UInt): Unit = {
475    require(satp_value.getWidth == XLEN)
476    val sa = satp_value.asTypeOf(new SatpStruct)
477    mode := sa.mode
478    asid := sa.asid
479    ppn := Cat(0.U((44-PAddrBits+12).W), sa.ppn(PAddrBits-12-1, 0)).asUInt
480    changed := DataChanged(sa.asid) // when ppn is changed, software need do the flush
481  }
482}
483
484class TlbCsrBundle(implicit p: Parameters) extends XSBundle {
485  val satp = new TlbSatpBundle()
486  val vsatp = new TlbSatpBundle()
487  val hgatp = new TlbSatpBundle()
488  val priv = new Bundle {
489    val mxr = Bool()
490    val sum = Bool()
491    val vmxr = Bool()
492    val vsum = Bool()
493    val virt = Bool()
494    val spvp = UInt(1.W)
495    val imode = UInt(2.W)
496    val dmode = UInt(2.W)
497  }
498
499  override def toPrintable: Printable = {
500    p"Satp mode:0x${Hexadecimal(satp.mode)} asid:0x${Hexadecimal(satp.asid)} ppn:0x${Hexadecimal(satp.ppn)} " +
501      p"Priv mxr:${priv.mxr} sum:${priv.sum} imode:${priv.imode} dmode:${priv.dmode}"
502  }
503}
504
505class SfenceBundle(implicit p: Parameters) extends XSBundle {
506  val valid = Bool()
507  val bits = new Bundle {
508    val rs1 = Bool()
509    val rs2 = Bool()
510    val addr = UInt(VAddrBits.W)
511    val id = UInt((AsidLength).W) // asid or vmid
512    val flushPipe = Bool()
513    val hv = Bool()
514    val hg = Bool()
515  }
516
517  override def toPrintable: Printable = {
518    p"valid:0x${Hexadecimal(valid)} rs1:${bits.rs1} rs2:${bits.rs2} addr:${Hexadecimal(bits.addr)}, flushPipe:${bits.flushPipe}"
519  }
520}
521
522// Bundle for load violation predictor updating
523class MemPredUpdateReq(implicit p: Parameters) extends XSBundle  {
524  val valid = Bool()
525
526  // wait table update
527  val waddr = UInt(MemPredPCWidth.W)
528  val wdata = Bool() // true.B by default
529
530  // store set update
531  // by default, ldpc/stpc should be xor folded
532  val ldpc = UInt(MemPredPCWidth.W)
533  val stpc = UInt(MemPredPCWidth.W)
534}
535
536class CustomCSRCtrlIO(implicit p: Parameters) extends XSBundle {
537  // Prefetcher
538  val l1I_pf_enable = Output(Bool())
539  val l2_pf_enable = Output(Bool())
540  val l1D_pf_enable = Output(Bool())
541  val l1D_pf_train_on_hit = Output(Bool())
542  val l1D_pf_enable_agt = Output(Bool())
543  val l1D_pf_enable_pht = Output(Bool())
544  val l1D_pf_active_threshold = Output(UInt(4.W))
545  val l1D_pf_active_stride = Output(UInt(6.W))
546  val l1D_pf_enable_stride = Output(Bool())
547  val l2_pf_store_only = Output(Bool())
548  // ICache
549  val icache_parity_enable = Output(Bool())
550  // Load violation predictor
551  val lvpred_disable = Output(Bool())
552  val no_spec_load = Output(Bool())
553  val storeset_wait_store = Output(Bool())
554  val storeset_no_fast_wakeup = Output(Bool())
555  val lvpred_timeout = Output(UInt(5.W))
556  // Branch predictor
557  val bp_ctrl = Output(new BPUCtrl)
558  // Memory Block
559  val sbuffer_threshold = Output(UInt(4.W))
560  val ldld_vio_check_enable = Output(Bool())
561  val soft_prefetch_enable = Output(Bool())
562  val cache_error_enable = Output(Bool())
563  val uncache_write_outstanding_enable = Output(Bool())
564  // Rename
565  val fusion_enable = Output(Bool())
566  val wfi_enable = Output(Bool())
567
568  // distribute csr write signal
569  val distribute_csr = new DistributedCSRIO()
570  // TODO: move it to a new bundle, since single step is not a custom control signal
571  val singlestep = Output(Bool())
572  val frontend_trigger = new FrontendTdataDistributeIO()
573  val mem_trigger = new MemTdataDistributeIO()
574  // Virtualization Mode
575  val virtMode = Output(Bool())
576}
577
578class DistributedCSRIO(implicit p: Parameters) extends XSBundle {
579  // CSR has been written by csr inst, copies of csr should be updated
580  val w = ValidIO(new Bundle {
581    val addr = Output(UInt(12.W))
582    val data = Output(UInt(XLEN.W))
583  })
584}
585
586class DistributedCSRUpdateReq(implicit p: Parameters) extends XSBundle {
587  // Request csr to be updated
588  //
589  // Note that this request will ONLY update CSR Module it self,
590  // copies of csr will NOT be updated, use it with care!
591  //
592  // For each cycle, no more than 1 DistributedCSRUpdateReq is valid
593  val w = ValidIO(new Bundle {
594    val addr = Output(UInt(12.W))
595    val data = Output(UInt(XLEN.W))
596  })
597  def apply(valid: Bool, addr: UInt, data: UInt, src_description: String) = {
598    when(valid){
599      w.bits.addr := addr
600      w.bits.data := data
601    }
602    println("Distributed CSR update req registered for " + src_description)
603  }
604}
605
606class L1CacheErrorInfo(implicit p: Parameters) extends XSBundle {
607  // L1CacheErrorInfo is also used to encode customized CACHE_ERROR CSR
608  val source = Output(new Bundle() {
609    val tag = Bool() // l1 tag array
610    val data = Bool() // l1 data array
611    val l2 = Bool()
612  })
613  val opType = Output(new Bundle() {
614    val fetch = Bool()
615    val load = Bool()
616    val store = Bool()
617    val probe = Bool()
618    val release = Bool()
619    val atom = Bool()
620  })
621  val paddr = Output(UInt(PAddrBits.W))
622
623  // report error and paddr to beu
624  // bus error unit will receive error info iff ecc_error.valid
625  val report_to_beu = Output(Bool())
626
627  def toL1BusErrorUnitInfo(valid: Bool): L1BusErrorUnitInfo = {
628    val beu_info = Wire(new L1BusErrorUnitInfo)
629    beu_info.ecc_error.valid := valid && report_to_beu
630    beu_info.ecc_error.bits := paddr
631    beu_info
632  }
633}
634
635class TriggerCf(implicit p: Parameters) extends XSBundle {
636  // frontend
637  val frontendHit       = Vec(TriggerNum, Bool()) // en && hit
638  val frontendCanFire   = Vec(TriggerNum, Bool())
639  // backend
640  val backendHit        = Vec(TriggerNum, Bool())
641  val backendCanFire    = Vec(TriggerNum, Bool())
642
643  // Two situations not allowed:
644  // 1. load data comparison
645  // 2. store chaining with store
646  def getFrontendCanFire = frontendCanFire.reduce(_ || _)
647  def getBackendCanFire = backendCanFire.reduce(_ || _)
648  def canFire = getFrontendCanFire || getBackendCanFire
649  def clear(): Unit = {
650    frontendHit.foreach(_ := false.B)
651    frontendCanFire.foreach(_ := false.B)
652    backendHit.foreach(_ := false.B)
653    backendCanFire.foreach(_ := false.B)
654  }
655}
656
657// these 3 bundles help distribute trigger control signals from CSR
658// to Frontend, Load and Store.
659class FrontendTdataDistributeIO(implicit p: Parameters) extends XSBundle {
660  val tUpdate = ValidIO(new Bundle {
661    val addr = Output(UInt(log2Up(TriggerNum).W))
662    val tdata = new MatchTriggerIO
663  })
664  val tEnableVec: Vec[Bool] = Output(Vec(TriggerNum, Bool()))
665}
666
667class MemTdataDistributeIO(implicit p: Parameters) extends XSBundle {
668  val tUpdate = ValidIO(new Bundle {
669    val addr = Output(UInt(log2Up(TriggerNum).W))
670    val tdata = new MatchTriggerIO
671  })
672  val tEnableVec: Vec[Bool] = Output(Vec(TriggerNum, Bool()))
673  val triggerCanRaiseBpExp  = Output(Bool())
674}
675
676class MatchTriggerIO(implicit p: Parameters) extends XSBundle {
677  val matchType = Output(UInt(2.W))
678  val select    = Output(Bool()) // todo: delete
679  val timing    = Output(Bool())
680  val action    = Output(Bool()) // todo: delete
681  val chain     = Output(Bool())
682  val execute   = Output(Bool()) // todo: delete
683  val store     = Output(Bool())
684  val load      = Output(Bool())
685  val tdata2    = Output(UInt(64.W))
686
687  def GenTdataDistribute(tdata1: Tdata1Bundle, tdata2: Tdata2Bundle): MatchTriggerIO = {
688    val mcontrol = Wire(new Mcontrol)
689    mcontrol := tdata1.DATA.asUInt
690    this.matchType := mcontrol.MATCH.asUInt
691    this.select    := mcontrol.SELECT.asBool
692    this.timing    := mcontrol.TIMING.asBool
693    this.action    := mcontrol.ACTION.asUInt
694    this.chain     := mcontrol.CHAIN.asBool
695    this.execute   := mcontrol.EXECUTE.asBool
696    this.load      := mcontrol.LOAD.asBool
697    this.store     := mcontrol.STORE.asBool
698    this.tdata2    := tdata2.asUInt
699    this
700  }
701}
702
703class StallReasonIO(width: Int) extends Bundle {
704  val reason = Output(Vec(width, UInt(log2Ceil(TopDownCounters.NumStallReasons.id).W)))
705  val backReason = Flipped(Valid(UInt(log2Ceil(TopDownCounters.NumStallReasons.id).W)))
706}
707
708// custom l2 - l1 interface
709class L2ToL1Hint(implicit p: Parameters) extends XSBundle with HasDCacheParameters {
710  val sourceId = UInt(log2Up(cfg.nMissEntries).W)    // tilelink sourceID -> mshr id
711  val isKeyword = Bool()                             // miss entry keyword -> L1 load queue replay
712}
713
714