xref: /XiangShan/src/main/scala/xiangshan/Bundle.scala (revision c0c378b3570ca1de508388582ab6b42b67aed605)
1package xiangshan
2
3import chisel3._
4import chisel3.util._
5import xiangshan.backend.SelImm
6import xiangshan.backend.brq.BrqPtr
7import xiangshan.backend.fu.fpu.Fflags
8import xiangshan.backend.rename.FreeListPtr
9import xiangshan.backend.roq.RoqPtr
10import xiangshan.backend.decode.XDecode
11import xiangshan.mem.{LqPtr, SqPtr}
12import xiangshan.frontend.PreDecodeInfo
13import xiangshan.frontend.HasBPUParameter
14import xiangshan.frontend.HasTageParameter
15import xiangshan.frontend.HasIFUConst
16import xiangshan.frontend.GlobalHistory
17import utils._
18import scala.math.max
19import Chisel.experimental.chiselName
20
21// Fetch FetchWidth x 32-bit insts from Icache
22class FetchPacket extends XSBundle {
23  val instrs = Vec(PredictWidth, UInt(32.W))
24  val mask = UInt(PredictWidth.W)
25  val pdmask = UInt(PredictWidth.W)
26  // val pc = UInt(VAddrBits.W)
27  val pc = Vec(PredictWidth, UInt(VAddrBits.W))
28  val pnpc = Vec(PredictWidth, UInt(VAddrBits.W))
29  val bpuMeta = Vec(PredictWidth, new BpuMeta)
30  val pd = Vec(PredictWidth, new PreDecodeInfo)
31  val ipf = Bool()
32  val acf = Bool()
33  val crossPageIPFFix = Bool()
34  val predTaken = Bool()
35}
36
37class ValidUndirectioned[T <: Data](gen: T) extends Bundle {
38  val valid = Bool()
39  val bits = gen.cloneType.asInstanceOf[T]
40  override def cloneType = new ValidUndirectioned(gen).asInstanceOf[this.type]
41}
42
43object ValidUndirectioned {
44  def apply[T <: Data](gen: T) = {
45    new ValidUndirectioned[T](gen)
46  }
47}
48
49class SCMeta(val useSC: Boolean) extends XSBundle with HasTageParameter {
50  def maxVal = 8 * ((1 << TageCtrBits) - 1) + SCTableInfo.map{case (_,cb,_) => (1 << cb) - 1}.reduce(_+_)
51  def minVal = -(8 * (1 << TageCtrBits) + SCTableInfo.map{case (_,cb,_) => 1 << cb}.reduce(_+_))
52  def sumCtrBits = max(log2Ceil(-minVal), log2Ceil(maxVal+1)) + 1
53  val tageTaken = if (useSC) Bool() else UInt(0.W)
54  val scUsed    = if (useSC) Bool() else UInt(0.W)
55  val scPred    = if (useSC) Bool() else UInt(0.W)
56  // Suppose ctrbits of all tables are identical
57  val ctrs      = if (useSC) Vec(SCNTables, SInt(SCCtrBits.W)) else Vec(SCNTables, SInt(0.W))
58  val sumAbs    = if (useSC) UInt(sumCtrBits.W) else UInt(0.W)
59}
60
61class TageMeta extends XSBundle with HasTageParameter {
62  val provider = ValidUndirectioned(UInt(log2Ceil(TageNTables).W))
63  val altDiffers = Bool()
64  val providerU = UInt(2.W)
65  val providerCtr = UInt(3.W)
66  val allocate = ValidUndirectioned(UInt(log2Ceil(TageNTables).W))
67  val taken = Bool()
68  val scMeta = new SCMeta(EnableSC)
69}
70
71@chiselName
72class BranchPrediction extends XSBundle with HasIFUConst {
73  // val redirect = Bool()
74  val takens = UInt(PredictWidth.W)
75  // val jmpIdx = UInt(log2Up(PredictWidth).W)
76  val brMask = UInt(PredictWidth.W)
77  val jalMask = UInt(PredictWidth.W)
78  val targets = Vec(PredictWidth, UInt(VAddrBits.W))
79
80  // marks the last 2 bytes of this fetch packet
81  // val endsAtTheEndOfFirstBank = Bool()
82  // val endsAtTheEndOfLastBank = Bool()
83
84  // half RVI could only start at the end of a bank
85  val firstBankHasHalfRVI = Bool()
86  val lastBankHasHalfRVI = Bool()
87
88  def fBHHR = firstBankHasHalfRVI && HasCExtension.B
89  def lBHHR = lastBankHasHalfRVI  && HasCExtension.B
90
91  // assumes that only one of the two conditions could be true
92  def lastHalfRVIMask = Cat(lBHHR.asUInt, 0.U((bankWidth-1).W), fBHHR.asUInt, 0.U((bankWidth-1).W))
93
94  def lastHalfRVIClearMask = ~lastHalfRVIMask
95  // is taken from half RVI
96  def lastHalfRVITaken = (takens(bankWidth-1) && fBHHR) || (takens(PredictWidth-1) && lBHHR)
97
98  def lastHalfRVIIdx = Mux(fBHHR, (bankWidth-1).U, (PredictWidth-1).U)
99  // should not be used if not lastHalfRVITaken
100  def lastHalfRVITarget = Mux(fBHHR, targets(bankWidth-1), targets(PredictWidth-1))
101
102  def realTakens  = takens  & lastHalfRVIClearMask
103  def realBrMask  = brMask  & lastHalfRVIClearMask
104  def realJalMask = jalMask & lastHalfRVIClearMask
105
106  def brNotTakens = (~takens & realBrMask)
107  def sawNotTakenBr = VecInit((0 until PredictWidth).map(i =>
108                       (if (i == 0) false.B else ParallelORR(brNotTakens(i-1,0)))))
109  // def hasNotTakenBrs = (brNotTakens & LowerMaskFromLowest(realTakens)).orR
110  def unmaskedJmpIdx = ParallelPriorityEncoder(takens)
111  // if not taken before the half RVI inst
112  def saveHalfRVI = (fBHHR && !(ParallelORR(takens(bankWidth-2,0)))) ||
113  (lBHHR && !(ParallelORR(takens(PredictWidth-2,0))))
114  // could get PredictWidth-1 when only the first bank is valid
115  def jmpIdx = ParallelPriorityEncoder(realTakens)
116  // only used when taken
117  def target = {
118    val generator = new PriorityMuxGenerator[UInt]
119    generator.register(realTakens.asBools, targets, List.fill(PredictWidth)(None))
120    generator()
121  }
122  def taken = ParallelORR(realTakens)
123  def takenOnBr = taken && ParallelPriorityMux(realTakens, realBrMask.asBools)
124  def hasNotTakenBrs = Mux(taken, ParallelPriorityMux(realTakens, sawNotTakenBr), ParallelORR(brNotTakens))
125}
126
127class BpuMeta extends XSBundle with HasBPUParameter {
128  val ubtbWriteWay = UInt(log2Up(UBtbWays).W)
129  val ubtbHits = Bool()
130  val btbWriteWay = UInt(log2Up(BtbWays).W)
131  val btbHitJal = Bool()
132  val bimCtr = UInt(2.W)
133  val tageMeta = new TageMeta
134  val rasSp = UInt(log2Up(RasSize).W)
135  val rasTopCtr = UInt(8.W)
136  val rasToqAddr = UInt(VAddrBits.W)
137  val fetchIdx = UInt(log2Up(PredictWidth).W)
138  val specCnt = UInt(10.W)
139  // for global history
140  val predTaken = Bool()
141  val hist = new GlobalHistory
142  val predHist = new GlobalHistory
143  val sawNotTakenBranch = Bool()
144
145  val debug_ubtb_cycle = if (EnableBPUTimeRecord) UInt(64.W) else UInt(0.W)
146  val debug_btb_cycle  = if (EnableBPUTimeRecord) UInt(64.W) else UInt(0.W)
147  val debug_tage_cycle = if (EnableBPUTimeRecord) UInt(64.W) else UInt(0.W)
148
149  // def apply(histPtr: UInt, tageMeta: TageMeta, rasSp: UInt, rasTopCtr: UInt) = {
150  //   this.histPtr := histPtr
151  //   this.tageMeta := tageMeta
152  //   this.rasSp := rasSp
153  //   this.rasTopCtr := rasTopCtr
154  //   this.asUInt
155  // }
156  def size = 0.U.asTypeOf(this).getWidth
157  def fromUInt(x: UInt) = x.asTypeOf(this)
158}
159
160class Predecode extends XSBundle with HasIFUConst {
161  val hasLastHalfRVI = Bool()
162  val mask = UInt(PredictWidth.W)
163  val lastHalf = UInt(nBanksInPacket.W)
164  val pd = Vec(PredictWidth, (new PreDecodeInfo))
165}
166
167class CfiUpdateInfo extends XSBundle {
168  // from backend
169  val pc = UInt(VAddrBits.W)
170  val pnpc = UInt(VAddrBits.W)
171  val fetchIdx = UInt(log2Up(PredictWidth).W)
172  // frontend -> backend -> frontend
173  val pd = new PreDecodeInfo
174  val bpuMeta = new BpuMeta
175
176  // need pipeline update
177  val target = UInt(VAddrBits.W)
178  val brTarget = UInt(VAddrBits.W)
179  val taken = Bool()
180  val isMisPred = Bool()
181  val brTag = new BrqPtr
182  val isReplay = Bool()
183}
184
185// Dequeue DecodeWidth insts from Ibuffer
186class CtrlFlow extends XSBundle {
187  val instr = UInt(32.W)
188  val pc = UInt(VAddrBits.W)
189  val exceptionVec = Vec(16, Bool())
190  val intrVec = Vec(12, Bool())
191  val brUpdate = new CfiUpdateInfo
192  val crossPageIPFFix = Bool()
193}
194
195// Decode DecodeWidth insts at Decode Stage
196class CtrlSignals extends XSBundle {
197  val src1Type, src2Type, src3Type = SrcType()
198  val lsrc1, lsrc2, lsrc3 = UInt(5.W)
199  val ldest = UInt(5.W)
200  val fuType = FuType()
201  val fuOpType = FuOpType()
202  val rfWen = Bool()
203  val fpWen = Bool()
204  val isXSTrap = Bool()
205  val noSpecExec = Bool()  // wait forward
206  val blockBackward  = Bool()  // block backward
207  val flushPipe  = Bool()  // This inst will flush all the pipe when commit, like exception but can commit
208  val isRVF = Bool()
209  val selImm = SelImm()
210  val imm = UInt(XLEN.W)
211  val commitType = CommitType()
212
213  def decode(inst: UInt, table: Iterable[(BitPat, List[BitPat])]) = {
214    val decoder = freechips.rocketchip.rocket.DecodeLogic(inst, XDecode.decodeDefault, table)
215    val signals =
216      Seq(src1Type, src2Type, src3Type, fuType, fuOpType, rfWen, fpWen,
217          isXSTrap, noSpecExec, blockBackward, flushPipe, isRVF, selImm)
218    signals zip decoder map { case(s, d) => s := d }
219    commitType := DontCare
220    this
221  }
222}
223
224class CfCtrl extends XSBundle {
225  val cf = new CtrlFlow
226  val ctrl = new CtrlSignals
227  val brTag = new BrqPtr
228}
229
230class LSIdx extends XSBundle {
231  val lqIdx = new LqPtr
232  val sqIdx = new SqPtr
233}
234
235// CfCtrl -> MicroOp at Rename Stage
236class MicroOp extends CfCtrl {
237  val psrc1, psrc2, psrc3, pdest, old_pdest = UInt(PhyRegIdxWidth.W)
238  val src1State, src2State, src3State = SrcState()
239  val roqIdx = new RoqPtr
240  val lqIdx = new LqPtr
241  val sqIdx = new SqPtr
242  val diffTestDebugLrScValid = Bool()
243}
244
245class Redirect extends XSBundle {
246  val roqIdx = new RoqPtr
247  val level = RedirectLevel()
248  val interrupt = Bool()
249  val pc = UInt(VAddrBits.W)
250  val target = UInt(VAddrBits.W)
251  val brTag = new BrqPtr
252
253  def isUnconditional() = RedirectLevel.isUnconditional(level)
254  def flushItself() = RedirectLevel.flushItself(level)
255  def isException() = RedirectLevel.isException(level)
256}
257
258class Dp1ToDp2IO extends XSBundle {
259  val intDqToDp2 = Vec(dpParams.IntDqDeqWidth, DecoupledIO(new MicroOp))
260  val fpDqToDp2 = Vec(dpParams.FpDqDeqWidth, DecoupledIO(new MicroOp))
261  val lsDqToDp2 = Vec(dpParams.LsDqDeqWidth, DecoupledIO(new MicroOp))
262}
263
264class ReplayPregReq extends XSBundle {
265  // NOTE: set isInt and isFp both to 'false' when invalid
266  val isInt = Bool()
267  val isFp = Bool()
268  val preg = UInt(PhyRegIdxWidth.W)
269}
270
271class DebugBundle extends XSBundle{
272  val isMMIO = Bool()
273}
274
275class ExuInput extends XSBundle {
276  val uop = new MicroOp
277  val src1, src2, src3 = UInt((XLEN+1).W)
278}
279
280class ExuOutput extends XSBundle {
281  val uop = new MicroOp
282  val data = UInt((XLEN+1).W)
283  val fflags  = new Fflags
284  val redirectValid = Bool()
285  val redirect = new Redirect
286  val brUpdate = new CfiUpdateInfo
287  val debug = new DebugBundle
288}
289
290class ExternalInterruptIO extends XSBundle {
291  val mtip = Input(Bool())
292  val msip = Input(Bool())
293  val meip = Input(Bool())
294}
295
296class CSRSpecialIO extends XSBundle {
297  val exception = Flipped(ValidIO(new MicroOp))
298  val isInterrupt = Input(Bool())
299  val memExceptionVAddr = Input(UInt(VAddrBits.W))
300  val trapTarget = Output(UInt(VAddrBits.W))
301  val externalInterrupt = new ExternalInterruptIO
302  val interrupt = Output(Bool())
303}
304
305class RoqCommitInfo extends XSBundle {
306  val ldest = UInt(5.W)
307  val rfWen = Bool()
308  val fpWen = Bool()
309  val commitType = CommitType()
310  val pdest = UInt(PhyRegIdxWidth.W)
311  val old_pdest = UInt(PhyRegIdxWidth.W)
312  val lqIdx = new LqPtr
313  val sqIdx = new SqPtr
314
315  // these should be optimized for synthesis verilog
316  val pc = UInt(VAddrBits.W)
317}
318
319class RoqCommitIO extends XSBundle {
320  val isWalk = Output(Bool())
321  val valid = Vec(CommitWidth, Output(Bool()))
322  val info = Vec(CommitWidth, Output(new RoqCommitInfo))
323
324  def hasWalkInstr = isWalk && valid.asUInt.orR
325  def hasCommitInstr = !isWalk && valid.asUInt.orR
326}
327
328class TlbFeedback extends XSBundle {
329  val roqIdx = new RoqPtr
330  val hit = Bool()
331}
332
333class FrontendToBackendIO extends XSBundle {
334  // to backend end
335  val cfVec = Vec(DecodeWidth, DecoupledIO(new CtrlFlow))
336  // from backend
337  val redirect = Flipped(ValidIO(UInt(VAddrBits.W)))
338  // val cfiUpdateInfo = Flipped(ValidIO(new CfiUpdateInfo))
339  val cfiUpdateInfo = Flipped(ValidIO(new CfiUpdateInfo))
340}
341
342class TlbCsrBundle extends XSBundle {
343  val satp = new Bundle {
344    val mode = UInt(4.W) // TODO: may change number to parameter
345    val asid = UInt(16.W)
346    val ppn  = UInt(44.W) // just use PAddrBits - 3 - vpnnLen
347  }
348  val priv = new Bundle {
349    val mxr = Bool()
350    val sum = Bool()
351    val imode = UInt(2.W)
352    val dmode = UInt(2.W)
353  }
354
355  override def toPrintable: Printable = {
356    p"Satp mode:0x${Hexadecimal(satp.mode)} asid:0x${Hexadecimal(satp.asid)} ppn:0x${Hexadecimal(satp.ppn)} " +
357    p"Priv mxr:${priv.mxr} sum:${priv.sum} imode:${priv.imode} dmode:${priv.dmode}"
358  }
359}
360
361class SfenceBundle extends XSBundle {
362  val valid = Bool()
363  val bits = new Bundle {
364    val rs1 = Bool()
365    val rs2 = Bool()
366    val addr = UInt(VAddrBits.W)
367  }
368
369  override def toPrintable: Printable = {
370    p"valid:0x${Hexadecimal(valid)} rs1:${bits.rs1} rs2:${bits.rs2} addr:${Hexadecimal(bits.addr)}"
371  }
372}
373