xref: /XiangShan/src/main/scala/xiangshan/frontend/BPU.scala (revision 714bcf4480138c0e9da53ea4c7b643d4e633c4bd)
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 Stage1To2IO extends XSBundle {
25  val pc = Output(UInt(VAddrBits.W))
26  val btb = new Bundle {
27    val hits = Output(UInt(FetchWidth.W))
28    val targets = Output(Vec(FetchWidth, UInt(VAddrBits.W)))
29  }
30  val jbtac = new Bundle {
31    val hitIdx = Output(UInt(FetchWidth.W))
32    val target = Output(UInt(VAddrBits.W))
33  }
34  val tage = new Bundle {
35    val hits = Output(UInt(FetchWidth.W))
36    val takens = Output(Vec(FetchWidth, Bool()))
37  }
38  val hist = Output(Vec(FetchWidth, UInt(HistoryLength.W)))
39  val btbPred = ValidIO(new BranchPrediction)
40}
41
42class BPUStage1 extends XSModule {
43  val io = IO(new Bundle() {
44    val in = new Bundle { val pc = Flipped(Decoupled(UInt(VAddrBits.W))) }
45    // from backend
46    val redirectInfo = Input(new RedirectInfo)
47    // from Stage3
48    val flush = Input(Bool())
49    val s3RollBackHist = Input(UInt(HistoryLength.W))
50    val s3Taken = Input(Bool())
51    // to ifu, quick prediction result
52    val s1OutPred = ValidIO(new BranchPrediction)
53    // to Stage2
54    val out = Decoupled(new Stage1To2IO)
55  })
56
57  io.in.pc.ready := true.B
58
59  // flush Stage1 when io.flush
60  val flushS1 = BoolStopWatch(io.flush, io.in.pc.fire(), startHighPriority = true)
61
62  // global history register
63  val ghr = RegInit(0.U(HistoryLength.W))
64  // modify updateGhr and newGhr when updating ghr
65  val updateGhr = WireInit(false.B)
66  val newGhr = WireInit(0.U(HistoryLength.W))
67  when (updateGhr) { ghr := newGhr }
68  // use hist as global history!!!
69  val hist = Mux(updateGhr, newGhr, ghr)
70
71  // Tage predictor
72  // val tage = Module(new FakeTAGE)
73  val tage = if(EnableBPD) Module(new Tage) else Module(new FakeTAGE)
74  tage.io.req.valid := io.in.pc.fire()
75  tage.io.req.bits.pc := io.in.pc.bits
76  tage.io.req.bits.hist := hist
77  tage.io.redirectInfo <> io.redirectInfo
78  io.out.bits.tage <> tage.io.out
79  io.s1OutPred.bits.tageMeta := tage.io.meta
80
81  // latch pc for 1 cycle latency when reading SRAM
82  val pcLatch = RegEnable(io.in.pc.bits, io.in.pc.fire())
83
84  val r = io.redirectInfo.redirect
85  val updateFetchpc = r.pc - (r.fetchIdx << 2.U)
86  // BTB
87  val btb = Module(new BTB)
88  btb.io.in.pc <> io.in.pc
89  btb.io.in.pcLatch := pcLatch
90  // TODO: pass real mask in
91  btb.io.in.mask := "b1111111111111111".asUInt
92  btb.io.redirectValid := io.redirectInfo.valid
93  btb.io.flush := io.flush
94
95  // btb.io.update.fetchPC := updateFetchpc
96  // btb.io.update.fetchIdx := r.fetchIdx
97  btb.io.update.pc := r.pc
98  btb.io.update.hit := r.btbHitWay
99  btb.io.update.misPred := io.redirectInfo.misPred
100  // btb.io.update.writeWay := r.btbVictimWay
101  btb.io.update.oldCtr := r.btbPredCtr
102  btb.io.update.taken := r.taken
103  btb.io.update.target := r.brTarget
104  btb.io.update.btbType := r.btbType
105  // TODO: add RVC logic
106  btb.io.update.isRVC := DontCare
107
108  val btbHit = btb.io.out.hit
109  val btbTaken = btb.io.out.taken
110  val btbTakenIdx = btb.io.out.takenIdx
111  val btbTakenTarget = btb.io.out.target
112  // val btbWriteWay = btb.io.out.writeWay
113  val btbNotTakens = btb.io.out.notTakens
114  val btbCtrs = VecInit(btb.io.out.dEntries.map(_.pred))
115  val btbValids = btb.io.out.hits
116  val btbTargets = VecInit(btb.io.out.dEntries.map(_.target))
117  val btbTypes = VecInit(btb.io.out.dEntries.map(_.btbType))
118
119
120  val jbtac = Module(new JBTAC)
121  jbtac.io.in.pc <> io.in.pc
122  jbtac.io.in.pcLatch := pcLatch
123  jbtac.io.in.hist := hist
124  jbtac.io.redirectValid := io.redirectInfo.valid
125  jbtac.io.flush := io.flush
126
127  jbtac.io.update.fetchPC := updateFetchpc
128  jbtac.io.update.fetchIdx := r.fetchIdx << 1
129  jbtac.io.update.misPred := io.redirectInfo.misPred
130  jbtac.io.update.btbType := r.btbType
131  jbtac.io.update.target := r.target
132  jbtac.io.update.hist := r.hist
133
134  val jbtacHit = jbtac.io.out.hit
135  val jbtacTarget = jbtac.io.out.target
136  val jbtacHitIdx = jbtac.io.out.hitIdx
137
138  // calculate global history of each instr
139  val firstHist = RegNext(hist)
140  val histShift = Wire(Vec(FetchWidth, UInt(log2Up(FetchWidth).W)))
141  val shift = Wire(Vec(FetchWidth, Vec(FetchWidth, UInt(1.W))))
142  (0 until FetchWidth).foreach(i => shift(i) := Mux(!btbNotTakens(i), 0.U, ~LowerMask(UIntToOH(i.U), FetchWidth)).asTypeOf(Vec(FetchWidth, UInt(1.W))))
143  for (j <- 0 until FetchWidth) {
144    var tmp = 0.U
145    for (i <- 0 until FetchWidth) {
146      tmp = tmp + shift(i)(j)
147    }
148    histShift(j) := tmp
149  }
150  (0 until FetchWidth).foreach(i => io.s1OutPred.bits.hist(i) := firstHist << histShift(i))
151
152  // update ghr
153  updateGhr := io.s1OutPred.bits.redirect || io.flush
154  val brJumpIdx = Mux(!(btbHit && btbTaken), 0.U, UIntToOH(btbTakenIdx))
155  val indirectIdx = Mux(!jbtacHit, 0.U, UIntToOH(jbtacHitIdx))
156  //val newTaken = Mux(io.redirectInfo.flush(), !(r.btbType === BTBtype.B && !r.taken), )
157  newGhr := Mux(io.redirectInfo.flush(),    (r.hist << 1.U) | !(r.btbType === BTBtype.B && !r.taken),
158            Mux(io.flush,                   Mux(io.s3Taken, (io.s3RollBackHist << 1.U) | 1.U, io.s3RollBackHist),
159            Mux(io.s1OutPred.bits.redirect, ((PriorityMux(brJumpIdx | indirectIdx, io.s1OutPred.bits.hist) << 1.U) | 1.U),
160                                            io.s1OutPred.bits.hist(0) << PopCount(btbNotTakens))))
161
162  // redirect based on BTB and JBTAC
163  // io.out.valid := RegNext(io.in.pc.fire()) && !flushS1u
164  io.out.valid := RegNext(io.in.pc.fire()) && !io.flush
165
166  io.s1OutPred.valid := io.out.valid
167  io.s1OutPred.bits.redirect := btbHit && btbTaken || jbtacHit
168
169
170  def getInstrValid(i: Int): UInt = {
171    val mask = Wire(UInt(FetchWidth.W))
172    val vec = Wire(Vec(FetchWidth, UInt(1.W)))
173    for (j <- 0 until FetchWidth) {
174      if (j <= i)
175        vec(j) := 1.U
176      else
177        vec(j) := 0.U
178    }
179    mask := vec.asUInt
180    mask
181  }
182  io.s1OutPred.bits.instrValid := (Fill(FetchWidth, ~io.s1OutPred.bits.redirect).asUInt |
183    PriorityMux(brJumpIdx | indirectIdx, (0 until FetchWidth).map(getInstrValid(_)))).asTypeOf(Vec(FetchWidth, Bool()))
184  io.s1OutPred.bits.target := Mux(brJumpIdx === LowestBit(brJumpIdx | indirectIdx, FetchWidth), btbTakenTarget, jbtacTarget)
185  io.s1OutPred.bits.predCtr := btbCtrs
186  io.s1OutPred.bits.btbHitWay := btbHit
187  io.s1OutPred.bits.rasSp := DontCare
188  io.s1OutPred.bits.rasTopCtr := DontCare
189
190  io.out.bits.pc := pcLatch
191  io.out.bits.btb.hits := btbValids.asUInt
192  (0 until FetchWidth).foreach(i => io.out.bits.btb.targets(i) := btbTargets(i))
193  io.out.bits.jbtac.hitIdx := UIntToOH(jbtacHitIdx)
194  io.out.bits.jbtac.target := jbtacTarget
195  // TODO: we don't need this repeatedly!
196  io.out.bits.hist := io.s1OutPred.bits.hist
197  io.out.bits.btbPred := io.s1OutPred
198
199
200
201  // debug info
202  XSDebug(true.B, "in:(%d %d)   pc=%x ghr=%b\n", io.in.pc.valid, io.in.pc.ready, io.in.pc.bits, hist)
203  XSDebug(true.B, "outPred:(%d) pc=0x%x, redirect=%d instrValid=%b tgt=%x\n",
204    io.s1OutPred.valid, pcLatch, io.s1OutPred.bits.redirect, io.s1OutPred.bits.instrValid.asUInt, io.s1OutPred.bits.target)
205  XSDebug(io.flush && io.redirectInfo.flush(),
206    "flush from backend: pc=%x tgt=%x brTgt=%x btbType=%b taken=%d oldHist=%b fetchIdx=%d isExcpt=%d\n",
207    r.pc, r.target, r.brTarget, r.btbType, r.taken, r.hist, r.fetchIdx, r.isException)
208  XSDebug(io.flush && !io.redirectInfo.flush(),
209    "flush from Stage3:  s3Taken=%d s3RollBackHist=%b\n", io.s3Taken, io.s3RollBackHist)
210
211}
212
213class Stage2To3IO extends Stage1To2IO {
214}
215
216class BPUStage2 extends XSModule {
217  val io = IO(new Bundle() {
218    // flush from Stage3
219    val flush = Input(Bool())
220    val in = Flipped(Decoupled(new Stage1To2IO))
221    val out = Decoupled(new Stage2To3IO)
222  })
223
224  // flush Stage2 when Stage3 or banckend redirects
225  val flushS2 = BoolStopWatch(io.flush, io.in.fire(), startHighPriority = true)
226  val inLatch = RegInit(0.U.asTypeOf(io.in.bits))
227  when (io.in.fire()) { inLatch := io.in.bits }
228  val validLatch = RegInit(false.B)
229  when (io.flush) {
230    validLatch := false.B
231  }.elsewhen (io.in.fire()) {
232    validLatch := true.B
233  }.elsewhen (io.out.fire()) {
234    validLatch := false.B
235  }
236
237  io.out.valid := !io.flush && !flushS2 && validLatch
238  io.in.ready := !validLatch || io.out.fire()
239
240  // do nothing
241  io.out.bits := inLatch
242
243  // debug info
244  XSDebug(true.B, "in:(%d %d) pc=%x out:(%d %d) pc=%x\n",
245    io.in.valid, io.in.ready, io.in.bits.pc, io.out.valid, io.out.ready, io.out.bits.pc)
246  XSDebug(true.B, "validLatch=%d pc=%x\n", validLatch, inLatch.pc)
247  XSDebug(io.flush, "flush!!!\n")
248}
249
250class BPUStage3 extends XSModule {
251  val io = IO(new Bundle() {
252    val flush = Input(Bool())
253    val in = Flipped(Decoupled(new Stage2To3IO))
254    val out = ValidIO(new BranchPrediction)
255    // from icache
256    val predecode = Flipped(ValidIO(new Predecode))
257    // from backend
258    val redirectInfo = Input(new RedirectInfo)
259    // to Stage1 and Stage2
260    val flushBPU = Output(Bool())
261    // to Stage1, restore ghr in stage1 when flushBPU is valid
262    val s1RollBackHist = Output(UInt(HistoryLength.W))
263    val s3Taken = Output(Bool())
264  })
265
266  val flushS3 = BoolStopWatch(io.flush, io.in.fire(), startHighPriority = true)
267  val inLatch = RegInit(0.U.asTypeOf(io.in.bits))
268  val validLatch = RegInit(false.B)
269  when (io.in.fire()) { inLatch := io.in.bits }
270  when (io.flush) {
271    validLatch := false.B
272  }.elsewhen (io.in.fire()) {
273    validLatch := true.B
274  }.elsewhen (io.out.valid) {
275    validLatch := false.B
276  }
277  io.out.valid := validLatch && io.predecode.valid && !flushS3 && !io.flush
278  io.in.ready := !validLatch || io.out.valid
279
280  // RAS
281  // TODO: split retAddr and ctr
282  def rasEntry() = new Bundle {
283    val retAddr = UInt(VAddrBits.W)
284    val ctr = UInt(8.W) // layer of nested call functions
285  }
286  val ras = RegInit(VecInit(Seq.fill(RasSize)(0.U.asTypeOf(rasEntry()))))
287  val sp = Counter(RasSize)
288  val rasTop = ras(sp.value)
289  val rasTopAddr = rasTop.retAddr
290
291  // get the first taken branch/jal/call/jalr/ret in a fetch line
292  // brNotTakenIdx indicates all the not-taken branches before the first jump instruction
293
294
295  val brs = inLatch.btb.hits & Reverse(Cat(io.predecode.bits.fuOpTypes.map { t => ALUOpType.isBranch(t) }).asUInt) & io.predecode.bits.mask
296  val brTakens = brs & inLatch.tage.takens.asUInt
297  val jals = inLatch.btb.hits & Reverse(Cat(io.predecode.bits.fuOpTypes.map { t => t === JumpOpType.jal }).asUInt) & io.predecode.bits.mask
298  val calls = inLatch.btb.hits & io.predecode.bits.mask & Reverse(Cat(io.predecode.bits.fuOpTypes.map { t => t === JumpOpType.call }).asUInt)
299  val jalrs = inLatch.jbtac.hitIdx & io.predecode.bits.mask & Reverse(Cat(io.predecode.bits.fuOpTypes.map { t => t === JumpOpType.jalr }).asUInt)
300  val rets = io.predecode.bits.mask & Reverse(Cat(io.predecode.bits.fuOpTypes.map { t => t === JumpOpType.ret }).asUInt)
301
302  val brTakenIdx = PriorityMux(brTakens, (0 until FetchWidth).map(_.U))
303  val jalIdx = PriorityMux(jals, (0 until FetchWidth).map(_.U))
304  val callIdx = PriorityMux(calls, (0 until FetchWidth).map(_.U))
305  val jalrIdx = PriorityMux(jalrs, (0 until FetchWidth).map(_.U))
306  val retIdx = PriorityMux(rets, (0 until FetchWidth).map(_.U))
307
308  val jmps = (if (EnableRAS) {brTakens | jals | calls | jalrs | rets} else {brTakens | jals | calls | jalrs})
309  val jmpIdx = MuxCase(0.U, (0 until FetchWidth).map(i => (jmps(i), i.U)))
310  io.s3Taken := MuxCase(false.B, (0 until FetchWidth).map(i => (jmps(i), true.B)))
311
312  val brNotTakens = VecInit((0 until FetchWidth).map(i => brs(i) && ~inLatch.tage.takens(i) && i.U <= jmpIdx && io.predecode.bits.mask(i)))
313
314
315  io.out.bits.predCtr := inLatch.btbPred.bits.predCtr
316  io.out.bits.btbHitWay := inLatch.btbPred.bits.btbHitWay
317  io.out.bits.tageMeta := inLatch.btbPred.bits.tageMeta
318  //io.out.bits.btbType := Mux(jmpIdx === retIdx, BTBtype.R,
319  //  Mux(jmpIdx === jalrIdx, BTBtype.I,
320  //  Mux(jmpIdx === brTakenIdx, BTBtype.B, BTBtype.J)))
321  val firstHist = inLatch.btbPred.bits.hist(0)
322  // there may be several notTaken branches before the first jump instruction,
323  // so we need to calculate how many zeroes should each instruction shift in its global history.
324  // each history is exclusive of instruction's own jump direction.
325  val histShift = Wire(Vec(FetchWidth, UInt(log2Up(FetchWidth).W)))
326  val shift = Wire(Vec(FetchWidth, Vec(FetchWidth, UInt(1.W))))
327  (0 until FetchWidth).foreach(i => shift(i) := Mux(!brNotTakens(i), 0.U, ~LowerMask(UIntToOH(i.U), FetchWidth)).asTypeOf(Vec(FetchWidth, UInt(1.W))))
328  for (j <- 0 until FetchWidth) {
329    var tmp = 0.U
330    for (i <- 0 until FetchWidth) {
331      tmp = tmp + shift(i)(j)
332    }
333    histShift(j) := tmp
334  }
335  (0 until FetchWidth).foreach(i => io.out.bits.hist(i) := firstHist << histShift(i))
336  // save ras checkpoint info
337  io.out.bits.rasSp := sp.value
338  io.out.bits.rasTopCtr := rasTop.ctr
339
340  // flush BPU and redirect when target differs from the target predicted in Stage1
341  val tToNt = inLatch.btbPred.bits.redirect && ~io.s3Taken
342  val ntToT = ~inLatch.btbPred.bits.redirect && io.s3Taken
343  val dirDiffers = tToNt || ntToT
344  val tgtDiffers = inLatch.btbPred.bits.redirect && io.s3Taken && io.out.bits.target =/= inLatch.btbPred.bits.target
345  io.out.bits.redirect := (if (EnableBPD) {dirDiffers || tgtDiffers} else false.B)
346  io.out.bits.target := Mux(!io.s3Taken, inLatch.pc + (PopCount(io.predecode.bits.mask) << 2.U), // TODO: RVC
347    Mux(jmpIdx === retIdx, rasTopAddr,
348    Mux(jmpIdx === jalrIdx, inLatch.jbtac.target,
349    inLatch.btb.targets(jmpIdx))))
350  for (i <- 0 until FetchWidth) {
351    io.out.bits.instrValid(i) := ((io.s3Taken && i.U <= jmpIdx) || ~io.s3Taken) && io.predecode.bits.mask(i)
352  }
353  io.flushBPU := io.out.bits.redirect && io.out.valid
354
355  // speculative update RAS
356  val rasWrite = WireInit(0.U.asTypeOf(rasEntry()))
357  val retAddr = inLatch.pc + (callIdx << 2.U) + 4.U
358  rasWrite.retAddr := retAddr
359  val allocNewEntry = rasWrite.retAddr =/= rasTopAddr
360  rasWrite.ctr := Mux(allocNewEntry, 1.U, rasTop.ctr + 1.U)
361  val rasWritePosition = Mux(allocNewEntry, sp.value + 1.U, sp.value)
362  when (io.out.valid) {
363    when (jmpIdx === callIdx) {
364      ras(rasWritePosition) := rasWrite
365      when (allocNewEntry) { sp.value := sp.value + 1.U }
366    }.elsewhen (jmpIdx === retIdx) {
367      when (rasTop.ctr === 1.U) {
368        sp.value := Mux(sp.value === 0.U, 0.U, sp.value - 1.U)
369      }.otherwise {
370        ras(sp.value) := Cat(rasTop.ctr - 1.U, rasTopAddr).asTypeOf(rasEntry())
371      }
372    }
373  }
374  // use checkpoint to recover RAS
375  val recoverSp = io.redirectInfo.redirect.rasSp
376  val recoverCtr = io.redirectInfo.redirect.rasTopCtr
377  when (io.redirectInfo.valid && io.redirectInfo.misPred) {
378    sp.value := recoverSp
379    ras(recoverSp) := Cat(recoverCtr, ras(recoverSp).retAddr).asTypeOf(rasEntry())
380  }
381
382  // roll back global history in S1 if S3 redirects
383  io.s1RollBackHist := Mux(io.s3Taken, io.out.bits.hist(jmpIdx), io.out.bits.hist(0) << PopCount(brs & ~inLatch.tage.takens.asUInt))
384
385  XSDebug(io.in.fire() && callIdx.orR, "[RAS]:pc=0x%x, rasWritePosition=%d, rasWriteAddr=0x%x\n",
386            io.in.bits.pc, rasWritePosition, retAddr)
387
388  // debug info
389  XSDebug(io.in.fire(), "in:(%d %d) pc=%x\n", io.in.valid, io.in.ready, io.in.bits.pc)
390  XSDebug(io.out.valid, "out:%d pc=%x redirect=%d predcdMask=%b instrValid=%b tgt=%x\n",
391    io.out.valid, inLatch.pc, io.out.bits.redirect, io.predecode.bits.mask, io.out.bits.instrValid.asUInt, io.out.bits.target)
392  XSDebug(true.B, "[BPUS3]flushS3=%d\n", flushS3)
393  XSDebug(true.B, "[BPUS3]validLatch=%d predecode.valid=%d\n", validLatch, io.predecode.valid)
394  XSDebug(true.B, "[BPUS3]brs=%b brTakens=%b brNTakens=%b jals=%b jalrs=%b calls=%b rets=%b\n",
395    brs, brTakens, brNotTakens.asUInt, jals, jalrs, calls, rets)
396}
397
398class BPU extends XSModule {
399  val io = IO(new Bundle() {
400    // from backend
401    // flush pipeline if misPred and update bpu based on redirect signals from brq
402    val redirectInfo = Input(new RedirectInfo)
403
404    val in = new Bundle { val pc = Flipped(Valid(UInt(VAddrBits.W))) }
405
406    val btbOut = ValidIO(new BranchPrediction)
407    val tageOut = ValidIO(new BranchPrediction)
408
409    // predecode info from icache
410    // TODO: simplify this after implement predecode unit
411    val predecode = Flipped(ValidIO(new Predecode))
412  })
413
414  val s1 = Module(new BPUStage1)
415  val s2 = Module(new BPUStage2)
416  val s3 = Module(new BPUStage3)
417
418  s1.io.redirectInfo <> io.redirectInfo
419  s1.io.flush := s3.io.flushBPU || io.redirectInfo.flush()
420  s1.io.in.pc.valid := io.in.pc.valid
421  s1.io.in.pc.bits <> io.in.pc.bits
422  io.btbOut <> s1.io.s1OutPred
423  s1.io.s3RollBackHist := s3.io.s1RollBackHist
424  s1.io.s3Taken := s3.io.s3Taken
425
426  s1.io.out <> s2.io.in
427  s2.io.flush := s3.io.flushBPU || io.redirectInfo.flush()
428
429  s2.io.out <> s3.io.in
430  s3.io.flush := io.redirectInfo.flush()
431  s3.io.predecode <> io.predecode
432  io.tageOut <> s3.io.out
433  s3.io.redirectInfo <> io.redirectInfo
434}