xref: /XiangShan/src/main/scala/xiangshan/frontend/BPU.scala (revision f8f3cce15efd3d56ef1a0c05f5301ade9b2f83b4)
1package xiangshan.frontend
2
3import chisel3._
4import chisel3.util._
5import xiangshan._
6import xiangshan.utils._
7import xiangshan.backend.ALUOpType
8import utils._
9
10class TableAddr(val idxBits: Int, val banks: Int) extends XSBundle {
11  def tagBits = VAddrBits - idxBits - 2
12
13  val tag = UInt(tagBits.W)
14  val idx = UInt(idxBits.W)
15  val offset = UInt(2.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  btb.io.redirectValid := io.redirectInfo.valid
91  btb.io.flush := io.flush
92
93  btb.io.update.fetchPC := updateFetchpc
94  btb.io.update.fetchIdx := r.fetchIdx
95  btb.io.update.hit := r.btbHitWay
96  btb.io.update.misPred := io.redirectInfo.misPred
97  btb.io.update.writeWay := r.btbVictimWay
98  btb.io.update.oldCtr := r.btbPredCtr
99  btb.io.update.taken := r.taken
100  btb.io.update.target := r.brTarget
101  btb.io.update._type := r._type
102
103  val btbHit = btb.io.out.hit
104  val btbTaken = btb.io.out.taken
105  val btbTakenIdx = btb.io.out.takenIdx
106  val btbTakenTarget = btb.io.out.target
107  val btbWriteWay = btb.io.out.writeWay
108  val btbNotTakens = btb.io.out.notTakens
109  val btbCtrs = VecInit(btb.io.out.dEntries.map(_.pred))
110  val btbValids = VecInit(btb.io.out.dEntries.map(_.valid))
111  val btbTargets = VecInit(btb.io.out.dEntries.map(_.target))
112  val btbTypes = VecInit(btb.io.out.dEntries.map(_._type))
113
114
115  val jbtac = Module(new JBTAC)
116  jbtac.io.in.pc <> io.in.pc
117  jbtac.io.in.pcLatch := pcLatch
118  jbtac.io.in.hist := hist
119  jbtac.io.redirectValid := io.redirectInfo.valid
120  jbtac.io.flush := io.flush
121
122  jbtac.io.update.fetchPC := updateFetchpc
123  jbtac.io.update.fetchIdx := r.fetchIdx
124  jbtac.io.update.misPred := io.redirectInfo.misPred
125  jbtac.io.update._type := r._type
126  jbtac.io.update.target := r.target
127  jbtac.io.update.hist := r.hist
128
129  val jbtacHit = jbtac.io.out.hit
130  val jbtacTarget = jbtac.io.out.target
131  val jbtacHitIdx = jbtac.io.out.hitIdx
132
133  // calculate global history of each instr
134  val firstHist = RegNext(hist)
135  val histShift = Wire(Vec(FetchWidth, UInt(log2Up(FetchWidth).W)))
136  val shift = Wire(Vec(FetchWidth, Vec(FetchWidth, UInt(1.W))))
137  (0 until FetchWidth).map(i => shift(i) := Mux(!btbNotTakens(i), 0.U, ~LowerMask(UIntToOH(i.U), FetchWidth)).asTypeOf(Vec(FetchWidth, UInt(1.W))))
138  for (j <- 0 until FetchWidth) {
139    var tmp = 0.U
140    for (i <- 0 until FetchWidth) {
141      tmp = tmp + shift(i)(j)
142    }
143    histShift(j) := tmp
144  }
145  (0 until FetchWidth).map(i => io.s1OutPred.bits.hist(i) := firstHist << histShift(i))
146
147  // update ghr
148  updateGhr := io.s1OutPred.bits.redirect || io.flush
149  val brJumpIdx = Mux(!(btbHit && btbTaken), 0.U, UIntToOH(btbTakenIdx))
150  val indirectIdx = Mux(!jbtacHit, 0.U, UIntToOH(jbtacHitIdx))
151  //val newTaken = Mux(io.redirectInfo.flush(), !(r._type === BTBtype.B && !r.taken), )
152  newGhr := Mux(io.redirectInfo.flush(),    (r.hist << 1.U) | !(r._type === BTBtype.B && !r.taken),
153            Mux(io.flush,                   Mux(io.s3Taken, io.s3RollBackHist << 1.U | 1.U, io.s3RollBackHist),
154            Mux(io.s1OutPred.bits.redirect, PriorityMux(brJumpIdx | indirectIdx, io.s1OutPred.bits.hist) << 1.U | 1.U,
155                                            io.s1OutPred.bits.hist(0) << PopCount(btbNotTakens))))
156
157  // redirect based on BTB and JBTAC
158  // io.out.valid := RegNext(io.in.pc.fire()) && !flushS1
159  io.out.valid := RegNext(io.in.pc.fire()) && !io.flush
160
161  io.s1OutPred.valid := io.out.valid
162  io.s1OutPred.bits.redirect := btbHit && btbTaken || jbtacHit
163  // io.s1OutPred.bits.instrValid := LowerMask(UIntToOH(btbTakenIdx), FetchWidth) & LowerMask(UIntToOH(jbtacHitIdx), FetchWidth)
164  io.s1OutPred.bits.instrValid := Mux(io.s1OutPred.bits.redirect, LowerMask(LowestBit(brJumpIdx | indirectIdx, FetchWidth), FetchWidth), Fill(FetchWidth, 1.U(1.W))).asTypeOf(Vec(FetchWidth, Bool()))
165  io.s1OutPred.bits.target := Mux(brJumpIdx === LowestBit(brJumpIdx | indirectIdx, FetchWidth), btbTakenTarget, jbtacTarget)
166  io.s1OutPred.bits.btbVictimWay := btbWriteWay
167  io.s1OutPred.bits.predCtr := btbCtrs
168  io.s1OutPred.bits.btbHitWay := btbHit
169  io.s1OutPred.bits.rasSp := DontCare
170  io.s1OutPred.bits.rasTopCtr := DontCare
171
172  io.out.bits.pc := pcLatch
173  io.out.bits.btb.hits := btbValids.asUInt
174  (0 until FetchWidth).map(i => io.out.bits.btb.targets(i) := btbTargets(i))
175  io.out.bits.jbtac.hitIdx := UIntToOH(jbtacHitIdx)
176  io.out.bits.jbtac.target := jbtacTarget
177  // TODO: we don't need this repeatedly!
178  io.out.bits.hist := io.s1OutPred.bits.hist
179  io.out.bits.btbPred := io.s1OutPred
180
181
182
183  // debug info
184  XSDebug(true.B, "[BPUS1]in:(%d %d)   pc=%x ghr=%b\n", io.in.pc.valid, io.in.pc.ready, io.in.pc.bits, hist)
185  XSDebug(true.B, "[BPUS1]outPred:(%d) redirect=%d instrValid=%b tgt=%x\n",
186    io.s1OutPred.valid, io.s1OutPred.bits.redirect, io.s1OutPred.bits.instrValid.asUInt, io.s1OutPred.bits.target)
187  XSDebug(io.flush && io.redirectInfo.flush(),
188    "[BPUS1]flush from backend: pc=%x tgt=%x brTgt=%x _type=%b taken=%d oldHist=%b fetchIdx=%d isExcpt=%d\n",
189    r.pc, r.target, r.brTarget, r._type, r.taken, r.hist, r.fetchIdx, r.isException)
190  XSDebug(io.flush && !io.redirectInfo.flush(),
191    "[BPUS1]flush from Stage3:  s3Taken=%d s3RollBackHist=%b\n", io.s3Taken, io.s3RollBackHist)
192
193}
194
195class Stage2To3IO extends Stage1To2IO {
196}
197
198class BPUStage2 extends XSModule {
199  val io = IO(new Bundle() {
200    // flush from Stage3
201    val flush = Input(Bool())
202    val in = Flipped(Decoupled(new Stage1To2IO))
203    val out = Decoupled(new Stage2To3IO)
204  })
205
206  // flush Stage2 when Stage3 or banckend redirects
207  val flushS2 = BoolStopWatch(io.flush, io.in.fire(), startHighPriority = true)
208  io.out.valid := !io.flush && !flushS2 && RegNext(io.in.fire())
209  io.in.ready := !io.out.valid || io.out.fire()
210
211  // do nothing
212  io.out.bits := RegEnable(io.in.bits, io.in.fire())
213
214  // debug info
215  XSDebug(true.B, "[BPUS2]in:(%d %d) pc=%x out:(%d %d) pc=%x\n",
216    io.in.valid, io.in.ready, io.in.bits.pc, io.out.valid, io.out.ready, io.out.bits.pc)
217  XSDebug(io.flush, "[BPUS2]flush!!!\n")
218}
219
220class BPUStage3 extends XSModule {
221  val io = IO(new Bundle() {
222    val flush = Input(Bool())
223    val in = Flipped(Decoupled(new Stage2To3IO))
224    val out = ValidIO(new BranchPrediction)
225    // from icache
226    val predecode = Flipped(ValidIO(new Predecode))
227    // from backend
228    val redirectInfo = Input(new RedirectInfo)
229    // to Stage1 and Stage2
230    val flushBPU = Output(Bool())
231    // to Stage1, restore ghr in stage1 when flushBPU is valid
232    val s1RollBackHist = Output(UInt(HistoryLength.W))
233    val s3Taken = Output(Bool())
234  })
235
236  val flushS3 = BoolStopWatch(io.flush, io.in.fire(), startHighPriority = true)
237  val inLatch = RegInit(0.U.asTypeOf(io.in.bits))
238  val validLatch = RegInit(false.B)
239  when (io.in.fire()) { inLatch := io.in.bits }
240  when (io.in.fire()) {
241    validLatch := !io.flush
242  }.elsewhen (io.out.valid) {
243    validLatch := false.B
244  }
245  io.out.valid := validLatch && io.predecode.valid && !flushS3
246  io.in.ready := !validLatch || io.out.valid
247
248  // RAS
249  // TODO: split retAddr and ctr
250  def rasEntry() = new Bundle {
251    val retAddr = UInt(VAddrBits.W)
252    val ctr = UInt(8.W) // layer of nested call functions
253  }
254  val ras = RegInit(VecInit(Seq.fill(RasSize)(0.U.asTypeOf(rasEntry()))))
255  val sp = Counter(RasSize)
256  val rasTop = ras(sp.value)
257  val rasTopAddr = rasTop.retAddr
258
259  // get the first taken branch/jal/call/jalr/ret in a fetch line
260  // brTakenIdx/jalIdx/callIdx/jalrIdx/retIdx/jmpIdx is one-hot encoded.
261  // brNotTakenIdx indicates all the not-taken branches before the first jump instruction.
262  val brIdx = inLatch.btb.hits & Reverse(Cat(io.predecode.bits.fuOpTypes.map { t => ALUOpType.isBranch(t) }).asUInt) & io.predecode.bits.mask
263  val brTakenIdx = LowestBit(brIdx & inLatch.tage.takens.asUInt, FetchWidth)
264  val jalIdx = LowestBit(inLatch.btb.hits & Reverse(Cat(io.predecode.bits.fuOpTypes.map { t => t === ALUOpType.jal }).asUInt) & io.predecode.bits.mask, FetchWidth)
265  val callIdx = LowestBit(inLatch.btb.hits & io.predecode.bits.mask & Reverse(Cat(io.predecode.bits.fuOpTypes.map { t => t === ALUOpType.call }).asUInt), FetchWidth)
266  val jalrIdx = LowestBit(inLatch.jbtac.hitIdx & io.predecode.bits.mask & Reverse(Cat(io.predecode.bits.fuOpTypes.map { t => t === ALUOpType.jalr }).asUInt), FetchWidth)
267  val retIdx = LowestBit(io.predecode.bits.mask & Reverse(Cat(io.predecode.bits.fuOpTypes.map { t => t === ALUOpType.ret }).asUInt), FetchWidth)
268
269  val jmpIdx = LowestBit(brTakenIdx | jalIdx | callIdx | jalrIdx | retIdx, FetchWidth)
270  val brNotTakenIdx = brIdx & ~inLatch.tage.takens.asUInt & LowerMask(jmpIdx, FetchWidth) & io.predecode.bits.mask
271
272  io.out.bits.redirect := jmpIdx.orR.asBool
273  io.out.bits.target := Mux(jmpIdx === retIdx, rasTopAddr,
274    Mux(jmpIdx === jalrIdx, inLatch.jbtac.target,
275    Mux(jmpIdx === 0.U, inLatch.pc + 32.U, // TODO: RVC
276    PriorityMux(jmpIdx, inLatch.btb.targets))))
277  io.out.bits.instrValid := Mux(jmpIdx.orR, LowerMask(jmpIdx, FetchWidth), Fill(FetchWidth, 1.U(1.W))).asTypeOf(Vec(FetchWidth, Bool()))
278  io.out.bits.btbVictimWay := inLatch.btbPred.bits.btbVictimWay
279  io.out.bits.predCtr := inLatch.btbPred.bits.predCtr
280  io.out.bits.btbHitWay := inLatch.btbPred.bits.btbHitWay
281  io.out.bits.tageMeta := inLatch.btbPred.bits.tageMeta
282  //io.out.bits._type := Mux(jmpIdx === retIdx, BTBtype.R,
283  //  Mux(jmpIdx === jalrIdx, BTBtype.I,
284  //  Mux(jmpIdx === brTakenIdx, BTBtype.B, BTBtype.J)))
285  val firstHist = inLatch.btbPred.bits.hist(0)
286  // there may be several notTaken branches before the first jump instruction,
287  // so we need to calculate how many zeroes should each instruction shift in its global history.
288  // each history is exclusive of instruction's own jump direction.
289  val histShift = Wire(Vec(FetchWidth, UInt(log2Up(FetchWidth).W)))
290  val shift = Wire(Vec(FetchWidth, Vec(FetchWidth, UInt(1.W))))
291  (0 until FetchWidth).map(i => shift(i) := Mux(!brNotTakenIdx(i), 0.U, ~LowerMask(UIntToOH(i.U), FetchWidth)).asTypeOf(Vec(FetchWidth, UInt(1.W))))
292  for (j <- 0 until FetchWidth) {
293    var tmp = 0.U
294    for (i <- 0 until FetchWidth) {
295      tmp = tmp + shift(i)(j)
296    }
297    histShift(j) := tmp
298  }
299  (0 until FetchWidth).map(i => io.out.bits.hist(i) := firstHist << histShift(i))
300  // save ras checkpoint info
301  io.out.bits.rasSp := sp.value
302  io.out.bits.rasTopCtr := rasTop.ctr
303
304  // flush BPU and redirect when target differs from the target predicted in Stage1
305  io.out.bits.redirect := inLatch.btbPred.bits.redirect ^ jmpIdx.orR.asBool ||
306    inLatch.btbPred.bits.redirect && jmpIdx.orR.asBool && io.out.bits.target =/= inLatch.btbPred.bits.target
307  io.flushBPU := io.out.bits.redirect && io.out.valid
308
309  // speculative update RAS
310  val rasWrite = WireInit(0.U.asTypeOf(rasEntry()))
311  rasWrite.retAddr := inLatch.pc + OHToUInt(callIdx) << 2.U + 4.U
312  val allocNewEntry = rasWrite.retAddr =/= rasTopAddr
313  rasWrite.ctr := Mux(allocNewEntry, 1.U, rasTop.ctr + 1.U)
314  when (io.out.valid) {
315    when (jmpIdx === callIdx) {
316      ras(Mux(allocNewEntry, sp.value + 1.U, sp.value)) := rasWrite
317      when (allocNewEntry) { sp.value := sp.value + 1.U }
318    }.elsewhen (jmpIdx === retIdx) {
319      when (rasTop.ctr === 1.U) {
320        sp.value := Mux(sp.value === 0.U, 0.U, sp.value - 1.U)
321      }.otherwise {
322        ras(sp.value) := Cat(rasTop.ctr - 1.U, rasTopAddr).asTypeOf(rasEntry())
323      }
324    }
325  }
326  // use checkpoint to recover RAS
327  val recoverSp = io.redirectInfo.redirect.rasSp
328  val recoverCtr = io.redirectInfo.redirect.rasTopCtr
329  when (io.redirectInfo.valid && io.redirectInfo.misPred) {
330    sp.value := recoverSp
331    ras(recoverSp) := Cat(recoverCtr, ras(recoverSp).retAddr).asTypeOf(rasEntry())
332  }
333
334  // roll back global history in S1 if S3 redirects
335  io.s1RollBackHist := Mux(io.s3Taken, PriorityMux(jmpIdx, io.out.bits.hist), io.out.bits.hist(0) << PopCount(brIdx & ~inLatch.tage.takens.asUInt))
336  // whether Stage3 has a taken jump
337  io.s3Taken := jmpIdx.orR.asBool
338
339  // debug info
340  XSDebug(io.in.fire(), "[BPUS3]in:(%d %d) pc=%x\n", io.in.valid, io.in.ready, io.in.bits.pc)
341  XSDebug(io.out.valid, "[BPUS3]out:%d pc=%x redirect=%d predcdMask=%b instrValid=%b tgt=%x\n",
342    io.out.valid, inLatch.pc, io.out.bits.redirect, io.predecode.bits.mask, io.out.bits.instrValid.asUInt, io.out.bits.target)
343  XSDebug(true.B, "[BPUS3]flushS3=%d\n", flushS3)
344  XSDebug(true.B, "[BPUS3]validLatch=%d predecode.valid=%d\n", validLatch, io.predecode.valid)
345  XSDebug(true.B, "[BPUS3]brIdx=%b brTakenIdx=%b brNTakenIdx=%b jalIdx=%d jalrIdx=%d callIdx=%d retIdx=%b\n",
346    brIdx, brTakenIdx, brNotTakenIdx, jalIdx, jalrIdx, callIdx, retIdx)
347}
348
349class BPU extends XSModule {
350  val io = IO(new Bundle() {
351    // from backend
352    // flush pipeline if misPred and update bpu based on redirect signals from brq
353    val redirectInfo = Input(new RedirectInfo)
354
355    val in = new Bundle { val pc = Flipped(Valid(UInt(VAddrBits.W))) }
356
357    val btbOut = ValidIO(new BranchPrediction)
358    val tageOut = ValidIO(new BranchPrediction)
359
360    // predecode info from icache
361    // TODO: simplify this after implement predecode unit
362    val predecode = Flipped(ValidIO(new Predecode))
363  })
364
365  val s1 = Module(new BPUStage1)
366  val s2 = Module(new BPUStage2)
367  val s3 = Module(new BPUStage3)
368
369  s1.io.redirectInfo <> io.redirectInfo
370  s1.io.flush := s3.io.flushBPU || io.redirectInfo.flush()
371  s1.io.in.pc.valid := io.in.pc.valid
372  s1.io.in.pc.bits <> io.in.pc.bits
373  io.btbOut <> s1.io.s1OutPred
374  s1.io.s3RollBackHist := s3.io.s1RollBackHist
375  s1.io.s3Taken := s3.io.s3Taken
376
377  s1.io.out <> s2.io.in
378  s2.io.flush := s3.io.flushBPU || io.redirectInfo.flush()
379
380  s2.io.out <> s3.io.in
381  s3.io.flush := io.redirectInfo.flush()
382  s3.io.predecode <> io.predecode
383  io.tageOut <> s3.io.out
384  s3.io.redirectInfo <> io.redirectInfo
385}