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