xref: /XiangShan/src/main/scala/xiangshan/frontend/BPU.scala (revision ec776fa07209215517b17fd7f377e7c2f406eb28)
1package xiangshan.frontend
2
3import chisel3._
4import chisel3.util._
5import utils._
6import xiangshan._
7import xiangshan.backend.ALUOpType
8import xiangshan.backend.JumpOpType
9
10class TableAddr(val idxBits: Int, val banks: Int) extends XSBundle {
11  def tagBits = VAddrBits - idxBits - 1
12
13  val tag = UInt(tagBits.W)
14  val idx = UInt(idxBits.W)
15  val offset = UInt(1.W)
16
17  def fromUInt(x: UInt) = x.asTypeOf(UInt(VAddrBits.W)).asTypeOf(this)
18  def getTag(x: UInt) = fromUInt(x).tag
19  def getIdx(x: UInt) = fromUInt(x).idx
20  def getBank(x: UInt) = getIdx(x)(log2Up(banks) - 1, 0)
21  def getBankIdx(x: UInt) = getIdx(x)(idxBits - 1, log2Up(banks))
22}
23
24class PredictorResponse extends XSBundle {
25  class UbtbResp extends XSBundle {
26  // the valid bits indicates whether a target is hit
27    val targets = Vec(PredictWidth, UInt(VAddrBits.W))
28    val hits = Vec(PredictWidth, Bool())
29    val takens = Vec(PredictWidth, Bool())
30    val notTakens = Vec(PredictWidth, Bool())
31    val is_RVC = Vec(PredictWidth, Bool())
32  }
33  class BtbResp extends XSBundle {
34  // the valid bits indicates whether a target is hit
35    val targets = Vec(PredictWidth, UInt(VAddrBits.W))
36    val hits = Vec(PredictWidth, Bool())
37    val types = Vec(PredictWidth, UInt(2.W))
38    val isRVC = Vec(PredictWidth, Bool())
39  }
40  class BimResp extends XSBundle {
41    val ctrs = Vec(PredictWidth, UInt(2.W))
42  }
43  class TageResp extends XSBundle {
44  // the valid bits indicates whether a prediction is hit
45    val takens = Vec(PredictWidth, Bool())
46    val hits = Vec(PredictWidth, Bool())
47  }
48
49  val ubtb = new UbtbResp
50  val btb = new BtbResp
51  val bim = new BimResp
52  val tage = new TageResp
53}
54
55abstract class BasePredictor extends XSModule {
56  val metaLen = 0
57
58  // An implementation MUST extend the IO bundle with a response
59  // and the special input from other predictors, as well as
60  // the metas to store in BRQ
61  abstract class Resp extends XSBundle {}
62  abstract class FromOthers extends XSBundle {}
63  abstract class Meta extends XSBundle {}
64
65  class DefaultBasePredictorIO extends XSBundle {
66    val flush = Input(Bool())
67    val pc = Flipped(ValidIO(UInt(VAddrBits.W)))
68    val hist = Input(UInt(HistoryLength.W))
69    val inMask = Input(UInt(PredictWidth.W))
70    val update = Flipped(ValidIO(new BranchUpdateInfoWithHist))
71  }
72
73  val io = new DefaultBasePredictorIO
74
75  // circular shifting
76  def circularShiftLeft(source: UInt, len: Int, shamt: UInt): UInt = {
77    val res = Wire(UInt(len.W))
78    val higher = source << shamt
79    val lower = source >> (len.U - shamt)
80    res := higher | lower
81    res
82  }
83
84  def circularShiftRight(source: UInt, len: Int, shamt: UInt): UInt = {
85    val res = Wire(UInt(len.W))
86    val higher = source << (len.U - shamt)
87    val lower = source >> shamt
88    res := higher | lower
89    res
90  }
91}
92
93class BPUStageIO extends XSBundle {
94  val pc = UInt(VAddrBits.W)
95  val mask = UInt(PredictWidth.W)
96  val resp = new PredictorResponse
97  val target = UInt(VAddrBits.W)
98  val brInfo = Vec(PredictWidth, new BranchInfo)
99}
100
101
102abstract class BPUStage extends XSModule {
103  class DefaultIO extends XSBundle {
104    val flush = Input(Bool())
105    val in = Flipped(Decoupled(new BPUStageIO))
106    val pred = Decoupled(new BranchPrediction)
107    val out = Decoupled(new BPUStageIO)
108    val predecode = Flipped(ValidIO(new Predecode))
109  }
110  val io = IO(new DefaultIO)
111
112  val predValid = RegInit(false.B)
113
114  io.in.ready := !predValid || io.out.fire() && io.pred.fire() || io.flush
115
116  def npc(pc: UInt, instCount: UInt) = pc + (instCount << 1.U)
117
118  val inFire = io.in.fire()
119  val inLatch = RegEnable(io.in.bits, inFire)
120
121  val outFire = io.out.fire()
122
123  // Each stage has its own logic to decide
124  // takens, notTakens and target
125
126  val takens = Wire(Vec(PredictWidth, Bool()))
127  val notTakens = Wire(Vec(PredictWidth, Bool()))
128  val jmpIdx = PriorityEncoder(takens)
129  val hasNTBr = (0 until PredictWidth).map(i => i.U <= jmpIdx && notTakens(i)).reduce(_||_)
130  val taken = takens.reduce(_||_)
131  // get the last valid inst
132  // val lastValidPos = MuxCase(0.U, (PredictWidth-1 to 0).map(i => (inLatch.mask(i), i.U)))
133  val lastValidPos = PriorityMux(Reverse(inLatch.mask), (PredictWidth-1 to 0 by -1).map(i => i.U))
134  val lastHit   = Wire(Bool())
135  val lastIsRVC = Wire(Bool())
136  // val lastValidPos = WireInit(0.U(log2Up(PredictWidth).W))
137  // for (i <- 0 until PredictWidth) {
138  //   when (inLatch.mask(i)) { lastValidPos := i.U }
139  // }
140  val targetSrc = Wire(Vec(PredictWidth, UInt(VAddrBits.W)))
141  val target = Mux(taken, targetSrc(jmpIdx), npc(inLatch.pc, PopCount(inLatch.mask)))
142
143  io.pred.bits <> DontCare
144  io.pred.bits.redirect := target =/= inLatch.target
145  io.pred.bits.taken := taken
146  io.pred.bits.jmpIdx := jmpIdx
147  io.pred.bits.hasNotTakenBrs := hasNTBr
148  io.pred.bits.target := target
149  io.pred.bits.saveHalfRVI := ((lastValidPos === jmpIdx && taken) || !taken ) && !lastIsRVC && lastHit
150
151  io.out.bits <> DontCare
152  io.out.bits.pc := inLatch.pc
153  io.out.bits.mask := inLatch.mask
154  io.out.bits.target := target
155  io.out.bits.resp <> inLatch.resp
156  io.out.bits.brInfo := inLatch.brInfo
157
158  // Default logic
159  //  pred.ready not taken into consideration
160  //  could be broken
161  when (io.flush)     { predValid := false.B }
162  .elsewhen (inFire)  { predValid := true.B }
163  .elsewhen (outFire) { predValid := false.B }
164  .otherwise          { predValid := predValid }
165
166  io.out.valid  := predValid && !io.flush
167  io.pred.valid := predValid && !io.flush
168
169  XSDebug(io.in.fire(), "in:(%d %d) pc=%x, mask=%b, target=%x\n",
170    io.in.valid, io.in.ready, io.in.bits.pc, io.in.bits.mask, io.in.bits.target)
171  XSDebug(io.out.fire(), "out:(%d %d) pc=%x, mask=%b, target=%x\n",
172    io.out.valid, io.out.ready, io.out.bits.pc, io.out.bits.mask, io.out.bits.target)
173  XSDebug("flush=%d\n", io.flush)
174  XSDebug("taken=%d, takens=%b, notTakens=%b, jmpIdx=%d, hasNTBr=%d, lastValidPos=%d, target=%x\n",
175    taken, takens.asUInt, notTakens.asUInt, jmpIdx, hasNTBr, lastValidPos, target)
176  val p = io.pred.bits
177  XSDebug(io.pred.fire(), "outPred: redirect=%d, taken=%d, jmpIdx=%d, hasNTBrs=%d, target=%x, saveHalfRVI=%d\n",
178    p.redirect, p.taken, p.jmpIdx, p.hasNotTakenBrs, p.target, p.saveHalfRVI)
179  XSDebug(io.pred.fire() && p.taken, "outPredTaken: fetchPC:%x, jmpPC:%x\n",
180    inLatch.pc, inLatch.pc + (jmpIdx << 1.U))
181  XSDebug(io.pred.fire() && p.redirect, "outPred: previous target:%x redirected to %x \n",
182    inLatch.target, p.target)
183  XSDebug(io.pred.fire(), "outPred targetSrc: ")
184  for (i <- 0 until PredictWidth) {
185    XSDebug(false, io.pred.fire(), "(%d):%x ", i.U, targetSrc(i))
186  }
187  XSDebug(false, io.pred.fire(), "\n")
188}
189
190class BPUStage1 extends BPUStage {
191
192  // 'overrides' default logic
193  // when flush, the prediction should also starts
194  when (inFire)        { predValid := true.B }
195  .elsewhen (io.flush) { predValid := false.B }
196  .elsewhen (outFire)  { predValid := false.B }
197  .otherwise           { predValid := predValid }
198  // io.out.valid := predValid
199
200  // ubtb is accessed with inLatch pc in s1,
201  // so we use io.in instead of inLatch
202  val ubtbResp = io.in.bits.resp.ubtb
203  // the read operation is already masked, so we do not need to mask here
204  takens    := VecInit((0 until PredictWidth).map(i => ubtbResp.hits(i) && ubtbResp.takens(i)))
205  notTakens := VecInit((0 until PredictWidth).map(i => ubtbResp.hits(i) && ubtbResp.notTakens(i)))
206  targetSrc := ubtbResp.targets
207
208  lastIsRVC := ubtbResp.is_RVC(lastValidPos)
209  lastHit   := ubtbResp.hits(lastValidPos)
210
211  // resp and brInfo are from the components,
212  // so it does not need to be latched
213  io.out.bits.resp <> io.in.bits.resp
214  io.out.bits.brInfo := io.in.bits.brInfo
215  io.out.bits.brInfo.map(_.debug_ubtb_cycle := GTimer())
216
217  XSDebug(io.pred.fire(), "outPred using ubtb resp: hits:%b, takens:%b, notTakens:%b, isRVC:%b\n",
218    ubtbResp.hits.asUInt, ubtbResp.takens.asUInt, ubtbResp.notTakens.asUInt, ubtbResp.is_RVC.asUInt)
219}
220
221class BPUStage2 extends BPUStage {
222
223  // Use latched response from s1
224  val btbResp = inLatch.resp.btb
225  val bimResp = inLatch.resp.bim
226  takens    := VecInit((0 until PredictWidth).map(i => btbResp.hits(i) && (btbResp.types(i) === BTBtype.B && bimResp.ctrs(i)(1) || btbResp.types(i) =/= BTBtype.B)))
227  notTakens := VecInit((0 until PredictWidth).map(i => btbResp.hits(i) && btbResp.types(i) === BTBtype.B && !bimResp.ctrs(i)(1)))
228  targetSrc := btbResp.targets
229
230  lastIsRVC := btbResp.isRVC(lastValidPos)
231  lastHit   := btbResp.hits(lastValidPos)
232
233  io.out.bits.brInfo.map(_.debug_btb_cycle := GTimer())
234
235  XSDebug(io.pred.fire(), "outPred using btb&bim resp: hits:%b, ctrTakens:%b\n",
236    btbResp.hits.asUInt, VecInit(bimResp.ctrs.map(_(1))).asUInt)
237}
238
239class BPUStage3 extends BPUStage {
240
241  io.out.valid := predValid && io.predecode.valid && !io.flush
242
243  // TAGE has its own pipelines and the
244  // response comes directly from s3,
245  // so we do not use those from inLatch
246  val tageResp = io.in.bits.resp.tage
247  val tageTakens = tageResp.takens
248
249  val pdMask = io.predecode.bits.mask
250  val pds    = io.predecode.bits.pd
251
252  val btbHits   = inLatch.resp.btb.hits.asUInt
253  val bimTakens = VecInit(inLatch.resp.bim.ctrs.map(_(1)))
254
255  val brs   = pdMask & Reverse(Cat(pds.map(_.isBr)))
256  val jals  = pdMask & Reverse(Cat(pds.map(_.isJal)))
257  val jalrs = pdMask & Reverse(Cat(pds.map(_.isJalr)))
258  // val calls = pdMask & Reverse(Cat(pds.map(_.isCall)))
259  // val rets  = pdMask & Reverse(Cat(pds.map(_.isRet)))
260
261  // val callIdx = PriorityEncoder(calls)
262  // val retIdx  = PriorityEncoder(rets)
263
264  val brTakens =
265    if (EnableBPD) {
266      brs & Reverse(Cat((0 until PredictWidth).map(i => tageTakens(i))))
267    } else {
268      brs & Reverse(Cat((0 until PredictWidth).map(i => bimTakens(i))))
269    }
270
271  // predict taken only if btb has a target, jal targets will be provided by IFU
272  takens := VecInit((0 until PredictWidth).map(i => (brTakens(i) || jalrs(i)) && btbHits(i) || jals(i)))
273  // Whether should we count in branches that are not recorded in btb?
274  // PS: Currently counted in. Whenever tage does not provide a valid
275  //     taken prediction, the branch is counted as a not taken branch
276  notTakens := (if (EnableBPD) { VecInit((0 until PredictWidth).map(i => brs(i) && !tageTakens(i)))}
277                else           { VecInit((0 until PredictWidth).map(i => brs(i) && !bimTakens(i)))})
278  targetSrc := inLatch.resp.btb.targets
279
280  lastIsRVC := pds(lastValidPos).isRVC
281  when (lastValidPos === 1.U) {
282    lastHit := pdMask(1) |
283      !pdMask(0) & !pdMask(1) |
284      pdMask(0) & !pdMask(1) & (pds(0).isRVC | !io.predecode.bits.isFetchpcEqualFirstpc)
285  }.elsewhen (lastValidPos > 0.U) {
286    lastHit := pdMask(lastValidPos) |
287      !pdMask(lastValidPos - 1.U) & !pdMask(lastValidPos) |
288      pdMask(lastValidPos - 1.U) & !pdMask(lastValidPos) & pds(lastValidPos - 1.U).isRVC
289  }.otherwise {
290    lastHit := pdMask(0) | !pdMask(0) & !pds(0).isRVC
291  }
292
293  io.out.bits.brInfo.map(_.debug_tage_cycle := GTimer())
294
295  // Wrap tage resp and tage meta in
296  // This is ugly
297  io.out.bits.resp.tage <> io.in.bits.resp.tage
298  for (i <- 0 until PredictWidth) {
299    io.out.bits.brInfo(i).tageMeta := io.in.bits.brInfo(i).tageMeta
300  }
301
302  XSDebug(io.predecode.valid, "predecode: pc:%x, mask:%b\n", inLatch.pc, io.predecode.bits.mask)
303  for (i <- 0 until PredictWidth) {
304    val p = io.predecode.bits.pd(i)
305    XSDebug(io.predecode.valid && io.predecode.bits.mask(i), "predecode(%d): brType:%d, br:%d, jal:%d, jalr:%d, call:%d, ret:%d, RVC:%d, excType:%d\n",
306      i.U, p.brType, p.isBr, p.isJal, p.isJalr, p.isCall, p.isRet, p.isRVC, p.excType)
307  }
308}
309
310trait BranchPredictorComponents extends HasXSParameter {
311  val ubtb = Module(new MicroBTB)
312  val btb = Module(new BTB)
313  val bim = Module(new BIM)
314  val tage = (if(EnableBPD) { Module(new Tage) }
315              else          { Module(new FakeTage) })
316  val preds = Seq(ubtb, btb, bim, tage)
317  preds.map(_.io := DontCare)
318}
319
320class BPUReq extends XSBundle {
321  val pc = UInt(VAddrBits.W)
322  val hist = UInt(HistoryLength.W)
323  val inMask = UInt(PredictWidth.W)
324}
325
326class BranchUpdateInfoWithHist extends XSBundle {
327  val ui = new BranchUpdateInfo
328  val hist = UInt(HistoryLength.W)
329}
330
331object BranchUpdateInfoWithHist {
332  def apply (brInfo: BranchUpdateInfo, hist: UInt) = {
333    val b = Wire(new BranchUpdateInfoWithHist)
334    b.ui <> brInfo
335    b.hist := hist
336    b
337  }
338}
339
340abstract class BaseBPU extends XSModule with BranchPredictorComponents{
341  val io = IO(new Bundle() {
342    // from backend
343    val inOrderBrInfo    = Flipped(ValidIO(new BranchUpdateInfoWithHist))
344    val outOfOrderBrInfo = Flipped(ValidIO(new BranchUpdateInfoWithHist))
345    // from ifu, frontend redirect
346    val flush = Input(Vec(3, Bool()))
347    // from if1
348    val in = Flipped(ValidIO(new BPUReq))
349    // to if2/if3/if4
350    val out = Vec(3, Decoupled(new BranchPrediction))
351    // from if4
352    val predecode = Flipped(ValidIO(new Predecode))
353    // to if4, some bpu info used for updating
354    val branchInfo = Decoupled(Vec(PredictWidth, new BranchInfo))
355  })
356
357  def npc(pc: UInt, instCount: UInt) = pc + (instCount << 1.U)
358
359  preds.map(_.io.update <> io.outOfOrderBrInfo)
360  tage.io.update <> io.inOrderBrInfo
361
362  val s1 = Module(new BPUStage1)
363  val s2 = Module(new BPUStage2)
364  val s3 = Module(new BPUStage3)
365
366  s1.io.flush := io.flush(0)
367  s2.io.flush := io.flush(1)
368  s3.io.flush := io.flush(2)
369
370  s1.io.in <> DontCare
371  s2.io.in <> s1.io.out
372  s3.io.in <> s2.io.out
373
374  io.out(0) <> s1.io.pred
375  io.out(1) <> s2.io.pred
376  io.out(2) <> s3.io.pred
377
378  s1.io.predecode <> DontCare
379  s2.io.predecode <> DontCare
380  s3.io.predecode <> io.predecode
381
382  io.branchInfo.valid := s3.io.out.valid
383  io.branchInfo.bits := s3.io.out.bits.brInfo
384  s3.io.out.ready := io.branchInfo.ready
385
386  XSDebug(io.branchInfo.fire(), "branchInfo sent!\n")
387  for (i <- 0 until PredictWidth) {
388    val b = io.branchInfo.bits(i)
389    XSDebug(io.branchInfo.fire(), "brInfo(%d): ubtbWrWay:%d, ubtbHit:%d, btbWrWay:%d, bimCtr:%d\n",
390      i.U, b.ubtbWriteWay, b.ubtbHits, b.btbWriteWay, b.bimCtr)
391    val t = b.tageMeta
392    XSDebug(io.branchInfo.fire(), "  tageMeta: pvder(%d):%d, altDiffers:%d, pvderU:%d, pvderCtr:%d, allocate(%d):%d\n",
393      t.provider.valid, t.provider.bits, t.altDiffers, t.providerU, t.providerCtr, t.allocate.valid, t.allocate.bits)
394  }
395  val debug_verbose = false
396}
397
398
399class FakeBPU extends BaseBPU {
400  io.out.foreach(i => {
401    // Provide not takens
402    i.valid := true.B
403    i.bits <> DontCare
404    i.bits.redirect := false.B
405  })
406  io.branchInfo <> DontCare
407}
408
409class BPU extends BaseBPU {
410
411  //**********************Stage 1****************************//
412  val s1_fire = s1.io.in.fire()
413  val s1_resp_in = Wire(new PredictorResponse)
414  val s1_brInfo_in = Wire(Vec(PredictWidth, new BranchInfo))
415
416  s1_resp_in.tage := DontCare
417  s1_brInfo_in    := DontCare
418
419  val s1_inLatch = RegEnable(io.in, s1_fire)
420  ubtb.io.flush := io.flush(0) // TODO: fix this
421  ubtb.io.pc.valid := s1_inLatch.valid
422  ubtb.io.pc.bits := s1_inLatch.bits.pc
423  ubtb.io.inMask := s1_inLatch.bits.inMask
424
425
426
427  // Wrap ubtb response into resp_in and brInfo_in
428  s1_resp_in.ubtb <> ubtb.io.out
429  for (i <- 0 until PredictWidth) {
430    s1_brInfo_in(i).ubtbWriteWay := ubtb.io.uBTBBranchInfo.writeWay(i)
431    s1_brInfo_in(i).ubtbHits := ubtb.io.uBTBBranchInfo.hits(i)
432  }
433
434  btb.io.flush := io.flush(0) // TODO: fix this
435  btb.io.pc.valid := io.in.valid
436  btb.io.pc.bits := io.in.bits.pc
437  btb.io.inMask := io.in.bits.inMask
438
439
440
441  // Wrap btb response into resp_in and brInfo_in
442  s1_resp_in.btb <> btb.io.resp
443  for (i <- 0 until PredictWidth) {
444    s1_brInfo_in(i).btbWriteWay := btb.io.meta.writeWay(i)
445    s1_brInfo_in(i).btbHitJal   := btb.io.meta.hitJal(i)
446  }
447
448  bim.io.flush := io.flush(0) // TODO: fix this
449  bim.io.pc.valid := io.in.valid
450  bim.io.pc.bits := io.in.bits.pc
451  bim.io.inMask := io.in.bits.inMask
452
453
454  // Wrap bim response into resp_in and brInfo_in
455  s1_resp_in.bim <> bim.io.resp
456  for (i <- 0 until PredictWidth) {
457    s1_brInfo_in(i).bimCtr := bim.io.meta.ctrs(i)
458  }
459
460
461  s1.io.in.valid := io.in.valid
462  s1.io.in.bits.pc := io.in.bits.pc
463  s1.io.in.bits.mask := io.in.bits.inMask
464  s1.io.in.bits.target := npc(io.in.bits.pc, PopCount(io.in.bits.inMask)) // Deault target npc
465  s1.io.in.bits.resp <> s1_resp_in
466  s1.io.in.bits.brInfo <> s1_brInfo_in
467
468  val s1_hist = RegEnable(io.in.bits.hist, enable=io.in.valid)
469
470  //**********************Stage 2****************************//
471  tage.io.flush := io.flush(1) // TODO: fix this
472  tage.io.pc.valid := s1.io.out.fire()
473  tage.io.pc.bits := s1.io.out.bits.pc // PC from s1
474  tage.io.hist := s1_hist // The inst is from s1
475  tage.io.inMask := s1.io.out.bits.mask
476  tage.io.s3Fire := s3.io.in.fire() // Tell tage to march 1 stage
477  tage.io.bim <> s1.io.out.bits.resp.bim // Use bim results from s1
478
479  //**********************Stage 3****************************//
480  // Wrap tage response and meta into s3.io.in.bits
481  // This is ugly
482
483  s3.io.in.bits.resp.tage <> tage.io.resp
484  for (i <- 0 until PredictWidth) {
485    s3.io.in.bits.brInfo(i).tageMeta := tage.io.meta(i)
486  }
487
488  if (debug_verbose) {
489    val uo = ubtb.io.out
490    XSDebug("debug: ubtb hits:%b, takens:%b, notTakens:%b\n", uo.hits.asUInt, uo.takens.asUInt, uo.notTakens.asUInt)
491    val bio = bim.io.resp
492    XSDebug("debug: bim takens:%b\n", VecInit(bio.ctrs.map(_(1))).asUInt)
493    val bo = btb.io.resp
494    XSDebug("debug: btb hits:%b\n", bo.hits.asUInt)
495  }
496
497}
498