xref: /XiangShan/src/main/scala/xiangshan/frontend/FTB.scala (revision bb09c7fede13c0c56dc5d70fc54493913e2ae8d0)
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.frontend
18
19import chipsalliance.rocketchip.config.Parameters
20import chisel3._
21import chisel3.stage.{ChiselGeneratorAnnotation, ChiselStage}
22import chisel3.util._
23import xiangshan._
24import utils._
25import chisel3.experimental.chiselName
26
27import scala.math.min
28
29
30trait FTBParams extends HasXSParameter with HasBPUConst {
31  val numEntries = 4096
32  val numWays    = 4
33  val numSets    = numEntries/numWays // 512
34  val tagSize    = 20
35
36  val TAR_STAT_SZ = 2
37  def TAR_FIT = 0.U(TAR_STAT_SZ.W)
38  def TAR_OVF = 1.U(TAR_STAT_SZ.W)
39  def TAR_UDF = 2.U(TAR_STAT_SZ.W)
40
41  def BR_OFFSET_LEN = 13
42  def JMP_OFFSET_LEN = 21
43}
44
45class FTBEntry(implicit p: Parameters) extends XSBundle with FTBParams with BPUUtils {
46  val valid       = Bool()
47
48  val brOffset    = Vec(numBr, UInt(log2Up(FetchWidth*2).W))
49  val brLowers    = Vec(numBr, UInt(BR_OFFSET_LEN.W))
50  val brTarStats  = Vec(numBr, UInt(TAR_STAT_SZ.W))
51  val brValids    = Vec(numBr, Bool())
52
53  val jmpOffset = UInt(log2Ceil(PredictWidth).W)
54  val jmpLower   = UInt(JMP_OFFSET_LEN.W)
55  val jmpTarStat = UInt(TAR_STAT_SZ.W)
56  val jmpValid    = Bool()
57
58  // Partial Fall-Through Address
59  val pftAddr     = UInt((log2Up(PredictWidth)+1).W)
60  val carry       = Bool()
61
62  val isCall      = Bool()
63  val isRet       = Bool()
64  val isJalr      = Bool()
65
66  val oversize    = Bool()
67
68  val last_is_rvc = Bool()
69
70  val always_taken = Vec(numBr, Bool())
71
72  def getTarget(offsetLen: Int)(pc: UInt, lower: UInt, stat: UInt) = {
73    val higher = pc(VAddrBits-1, offsetLen)
74    Cat(
75      Mux(stat === TAR_OVF, higher+1.U,
76        Mux(stat === TAR_UDF, higher-1.U, higher)),
77      lower
78    )
79  }
80  val getBrTarget = getTarget(BR_OFFSET_LEN)(_, _, _)
81
82  def getBrTargets(pc: UInt) = {
83    VecInit((brLowers zip brTarStats).map{
84      case (lower, stat) => getBrTarget(pc, lower, stat)
85    })
86  }
87
88  def getJmpTarget(pc: UInt) = getTarget(JMP_OFFSET_LEN)(pc, jmpLower, jmpTarStat)
89
90  def getLowerStatByTarget(offsetLen: Int)(pc: UInt, target: UInt) = {
91    val pc_higher = pc(VAddrBits-1, offsetLen)
92    val target_higher = target(VAddrBits-1, offsetLen)
93    val stat = WireInit(Mux(target_higher > pc_higher, TAR_OVF,
94      Mux(target_higher < pc_higher, TAR_UDF, TAR_FIT)))
95    val lower = WireInit(target(offsetLen-1, 0))
96    (lower, stat)
97  }
98  def getBrLowerStatByTarget(pc: UInt, target: UInt) = getLowerStatByTarget(BR_OFFSET_LEN)(pc, target)
99  def getJmpLowerStatByTarget(pc: UInt, target: UInt) = getLowerStatByTarget(JMP_OFFSET_LEN)(pc, target)
100  def setByBrTarget(brIdx: Int, pc: UInt, target: UInt) = {
101    val (lower, stat) = getBrLowerStatByTarget(pc, target)
102    this.brLowers(brIdx) := lower
103    this.brTarStats(brIdx) := stat
104  }
105  def setByJmpTarget(pc: UInt, target: UInt) = {
106    val (lower, stat) = getJmpLowerStatByTarget(pc, target)
107    this.jmpLower := lower
108    this.jmpTarStat := stat
109  }
110
111
112  def getOffsetVec = VecInit(brOffset :+ jmpOffset)
113  def isJal = !isJalr
114  def getFallThrough(pc: UInt) = getFallThroughAddr(pc, carry, pftAddr)
115  def hasBr(offset: UInt) = (brValids zip brOffset).map{
116    case (v, off) => v && off <= offset
117  }.reduce(_||_)
118
119  def getBrMaskByOffset(offset: UInt) = (brValids zip brOffset).map{
120    case (v, off) => v && off <= offset
121  }
122
123  def brIsSaved(offset: UInt) = (brValids zip brOffset).map{
124    case (v, off) => v && off === offset
125  }.reduce(_||_)
126  def display(cond: Bool): Unit = {
127    XSDebug(cond, p"-----------FTB entry----------- \n")
128    XSDebug(cond, p"v=${valid}\n")
129    for(i <- 0 until numBr) {
130      XSDebug(cond, p"[br$i]: v=${brValids(i)}, offset=${brOffset(i)}, lower=${Hexadecimal(brLowers(i))}\n")
131    }
132    XSDebug(cond, p"[jmp]: v=${jmpValid}, offset=${jmpOffset}, lower=${Hexadecimal(jmpLower)}\n")
133    XSDebug(cond, p"pftAddr=${Hexadecimal(pftAddr)}, carry=$carry\n")
134    XSDebug(cond, p"isCall=$isCall, isRet=$isRet, isjalr=$isJalr\n")
135    XSDebug(cond, p"oversize=$oversize, last_is_rvc=$last_is_rvc\n")
136    XSDebug(cond, p"------------------------------- \n")
137  }
138
139}
140
141class FTBEntryWithTag(implicit p: Parameters) extends XSBundle with FTBParams with BPUUtils {
142  val entry = new FTBEntry
143  val tag = UInt(tagSize.W)
144  def display(cond: Bool): Unit = {
145    XSDebug(cond, p"-----------FTB entry----------- \n")
146    XSDebug(cond, p"v=${entry.valid}, tag=${Hexadecimal(tag)}\n")
147    for(i <- 0 until numBr) {
148      XSDebug(cond, p"[br$i]: v=${entry.brValids(i)}, offset=${entry.brOffset(i)}, lower=${Hexadecimal(entry.brLowers(i))}\n")
149    }
150    XSDebug(cond, p"[jmp]: v=${entry.jmpValid}, offset=${entry.jmpOffset}, lower=${Hexadecimal(entry.jmpLower)}\n")
151    XSDebug(cond, p"pftAddr=${Hexadecimal(entry.pftAddr)}, carry=${entry.carry}\n")
152    XSDebug(cond, p"isCall=${entry.isCall}, isRet=${entry.isRet}, isjalr=${entry.isJalr}\n")
153    XSDebug(cond, p"oversize=${entry.oversize}, last_is_rvc=${entry.last_is_rvc}\n")
154    XSDebug(cond, p"------------------------------- \n")
155  }
156}
157
158class FTBMeta(implicit p: Parameters) extends XSBundle with FTBParams {
159  val writeWay = UInt(log2Ceil(numWays).W)
160  val hit = Bool()
161  val pred_cycle = UInt(64.W) // TODO: Use Option
162}
163
164object FTBMeta {
165  def apply(writeWay: UInt, hit: Bool, pred_cycle: UInt)(implicit p: Parameters): FTBMeta = {
166    val e = Wire(new FTBMeta)
167    e.writeWay := writeWay
168    e.hit := hit
169    e.pred_cycle := pred_cycle
170    e
171  }
172}
173
174class FTB(implicit p: Parameters) extends BasePredictor with FTBParams with BPUUtils {
175  override val meta_size = WireInit(0.U.asTypeOf(new FTBMeta)).getWidth
176
177  val ftbAddr = new TableAddr(log2Up(numSets), 1)
178
179  class FTBBank(val numSets: Int, val nWays: Int) extends XSModule with BPUUtils {
180    val io = IO(new Bundle {
181      val req_pc = Flipped(DecoupledIO(UInt(VAddrBits.W)))
182      val read_resp = Output(new FTBEntry)
183
184      // when ftb hit, read_hits.valid is true, and read_hits.bits is OH of hit way
185      // when ftb not hit, read_hits.valid is false, and read_hits is OH of allocWay
186      // val read_hits = Valid(Vec(numWays, Bool()))
187      val read_hits = Valid(UInt(log2Ceil(numWays).W))
188
189      val update_pc = Input(UInt(VAddrBits.W))
190      val update_write_data = Flipped(Valid(new FTBEntryWithTag))
191      val update_write_mask = Input(UInt(numWays.W))
192    })
193
194    val ftb = Module(new SRAMTemplate(new FTBEntryWithTag, set = numSets, way = numWays, shouldReset = true, holdRead = true, singlePort = true))
195
196    ftb.io.r.req.valid := io.req_pc.valid // io.s0_fire
197    ftb.io.r.req.bits.setIdx := ftbAddr.getIdx(io.req_pc.bits) // s0_idx
198
199    io.req_pc.ready := ftb.io.r.req.ready
200
201    val req_tag = RegEnable(ftbAddr.getTag(io.req_pc.bits)(tagSize-1, 0), io.req_pc.valid)
202    val req_idx = RegEnable(ftbAddr.getIdx(io.req_pc.bits), io.req_pc.valid)
203
204    val read_entries = ftb.io.r.resp.data.map(_.entry)
205    val read_tags    = ftb.io.r.resp.data.map(_.tag)
206
207    val total_hits = VecInit((0 until numWays).map(b => read_tags(b) === req_tag && read_entries(b).valid && RegNext(io.req_pc.valid)))
208    val hit = total_hits.reduce(_||_)
209    // val hit_way_1h = VecInit(PriorityEncoderOH(total_hits))
210    val hit_way = PriorityEncoder(total_hits)
211
212    assert(PopCount(total_hits) === 1.U || PopCount(total_hits) === 0.U)
213
214    val multiple_hit_recording_vec = (0 to numWays).map(i => PopCount(total_hits) === i.U)
215    val multiple_hit_map = (0 to numWays).map(i =>
216        f"ftb_multiple_hit_$i" -> (multiple_hit_recording_vec(i) && RegNext(io.req_pc.valid))
217    ).foldLeft(Map[String, UInt]())(_+_)
218
219    for ((key, value) <- multiple_hit_map) {
220      XSPerfAccumulate(key, value)
221    }
222
223    val replacer = ReplacementPolicy.fromString(Some("setplru"), numWays, numSets)
224    val allocWriteWay = replacer.way(req_idx)
225
226    val touch_set = Seq.fill(1)(Wire(UInt(log2Ceil(numSets).W)))
227    val touch_way = Seq.fill(1)(Wire(Valid(UInt(log2Ceil(numWays).W))))
228
229    replacer.access(touch_set, touch_way)
230
231    touch_set(0) := req_idx
232
233    touch_way(0).valid := hit
234    touch_way(0).bits := hit_way
235
236    // def allocWay(valids: UInt, meta_tags: UInt, req_tag: UInt) = {
237    //   val randomAlloc = false
238    //   if (numWays > 1) {
239    //     val w = Wire(UInt(log2Up(numWays).W))
240    //     val valid = WireInit(valids.andR)
241    //     val tags = Cat(meta_tags, req_tag)
242    //     val l = log2Up(numWays)
243    //     val nChunks = (tags.getWidth + l - 1) / l
244    //     val chunks = (0 until nChunks).map( i =>
245    //       tags(min((i+1)*l, tags.getWidth)-1, i*l)
246    //     )
247    //     w := Mux(valid, if (randomAlloc) {LFSR64()(log2Up(numWays)-1,0)} else {chunks.reduce(_^_)}, PriorityEncoder(~valids))
248    //     w
249    //   } else {
250    //     val w = WireInit(0.U)
251    //     w
252    //   }
253    // }
254
255    // val allocWriteWay = allocWay(
256    //   VecInit(read_entries.map(_.valid)).asUInt,
257    //   VecInit(read_tags).asUInt,
258    //   req_tag
259    // )
260
261    io.read_resp := PriorityMux(total_hits, read_entries) // Mux1H
262    io.read_hits.valid := hit
263    // io.read_hits.bits := Mux(hit, hit_way_1h, VecInit(UIntToOH(allocWriteWay).asBools()))
264    io.read_hits.bits := Mux(hit, hit_way, allocWriteWay)
265
266    XSDebug(!hit, "FTB not hit, alloc a way: %d\n", allocWriteWay)
267
268    // Update logic
269    val u_valid = io.update_write_data.valid
270    val u_data = io.update_write_data.bits
271    val u_idx = ftbAddr.getIdx(io.update_pc)
272    val u_mask = io.update_write_mask
273
274    ftb.io.w.apply(u_valid, u_data, u_idx, u_mask)
275  } // FTBBank
276
277  val ftbBank = Module(new FTBBank(numSets, numWays))
278
279  ftbBank.io.req_pc.valid := io.s0_fire
280  ftbBank.io.req_pc.bits := s0_pc
281
282  val ftb_entry = RegEnable(ftbBank.io.read_resp, io.s1_fire)
283  val s1_hit = ftbBank.io.read_hits.valid
284  val s2_hit = RegEnable(s1_hit, io.s1_fire)
285  val writeWay = ftbBank.io.read_hits.bits
286
287  val fallThruAddr = getFallThroughAddr(s2_pc, ftb_entry.carry, ftb_entry.pftAddr)
288
289  // io.out.bits.resp := RegEnable(io.in.bits.resp_in(0), 0.U.asTypeOf(new BranchPredictionResp), io.s1_fire)
290  io.out.resp := io.in.bits.resp_in(0)
291
292  val s1_latch_call_is_rvc   = DontCare // TODO: modify when add RAS
293
294  io.out.resp.s2.preds.taken_mask    := io.in.bits.resp_in(0).s2.preds.taken_mask
295  for (i <- 0 until numBr) {
296    when (ftb_entry.always_taken(i)) {
297      io.out.resp.s2.preds.taken_mask(i) := true.B
298    }
299  }
300
301  io.out.resp.s2.preds.hit           := s2_hit
302  io.out.resp.s2.pc                  := s2_pc
303  io.out.resp.s2.ftb_entry           := ftb_entry
304  io.out.resp.s2.preds.fromFtbEntry(ftb_entry, s2_pc)
305
306  io.out.s3_meta                     := RegEnable(RegEnable(FTBMeta(writeWay, s1_hit, GTimer()).asUInt(), io.s1_fire), io.s2_fire)
307
308  when(s2_hit) {
309    io.out.resp.s2.ftb_entry.pftAddr := ftb_entry.pftAddr
310    io.out.resp.s2.ftb_entry.carry := ftb_entry.carry
311  }.otherwise {
312    io.out.resp.s2.ftb_entry.pftAddr := s2_pc(instOffsetBits + log2Ceil(PredictWidth), instOffsetBits) ^ (1 << log2Ceil(PredictWidth)).U
313    io.out.resp.s2.ftb_entry.carry := s2_pc(instOffsetBits + log2Ceil(PredictWidth)).asBool
314    io.out.resp.s2.ftb_entry.oversize := false.B
315  }
316
317  // always taken logic
318  when (s2_hit) {
319    for (i <- 0 until numBr) {
320      when (ftb_entry.always_taken(i)) {
321        io.out.resp.s2.preds.taken_mask(i) := true.B
322      }
323    }
324  }
325
326  // Update logic
327  val update = RegNext(io.update.bits)
328
329  val u_meta = update.meta.asTypeOf(new FTBMeta)
330  val u_valid = RegNext(io.update.valid && !io.update.bits.old_entry)
331
332  io.s1_ready := ftbBank.io.req_pc.ready && !u_valid//  && !io.redirect.valid
333
334  when(u_valid) { // TODO: s1_ready
335   ftbBank.io.req_pc.valid := true.B
336   ftbBank.io.req_pc.bits := update.pc
337  }
338
339  val u_way = Mux(ftbBank.io.read_hits.valid, ftbBank.io.read_hits.bits, RegNext(u_meta.writeWay))
340
341  val u_way_mask = UIntToOH(u_way)
342
343  val ftb_write = Wire(new FTBEntryWithTag)
344  ftb_write.entry := update.ftb_entry
345  ftb_write.tag   := ftbAddr.getTag(update.pc)(tagSize-1, 0)
346
347  ftbBank.io.update_write_data.valid := RegNext(u_valid)
348  ftbBank.io.update_write_data.bits := RegNext(ftb_write)
349  ftbBank.io.update_pc := RegNext(update.pc)
350  ftbBank.io.update_write_mask := u_way_mask
351
352  XSDebug("req_v=%b, req_pc=%x, ready=%b (resp at next cycle)\n", io.s0_fire, s0_pc, ftbBank.io.req_pc.ready)
353  XSDebug("s2_hit=%b, hit_way=%b\n", s2_hit, writeWay.asUInt)
354  XSDebug("s2_taken_mask=%b, s2_real_taken_mask=%b\n",
355    io.in.bits.resp_in(0).s2.preds.taken_mask.asUInt, io.out.resp.s2.real_taken_mask().asUInt)
356  XSDebug("s2_target=%x\n", io.out.resp.s2.target)
357
358  ftb_entry.display(true.B)
359
360  XSDebug(u_valid, "Update from ftq\n")
361  XSDebug(u_valid, "update_pc=%x, tag=%x, pred_cycle=%d\n",
362    update.pc, ftbAddr.getTag(update.pc), u_meta.pred_cycle)
363  XSDebug(RegNext(u_valid), "Write into FTB\n")
364  XSDebug(RegNext(u_valid), "hit=%d, update_write_way=%d\n",
365    ftbBank.io.read_hits.valid, u_way_mask)
366
367
368
369
370
371  XSPerfAccumulate("ftb_read_hits", RegNext(io.s0_fire) && s1_hit)
372  XSPerfAccumulate("ftb_read_misses", RegNext(io.s0_fire) && !s1_hit)
373
374  XSPerfAccumulate("ftb_commit_hits", io.update.valid && update.preds.hit)
375  XSPerfAccumulate("ftb_commit_misses", io.update.valid && !update.preds.hit)
376
377  XSPerfAccumulate("ftb_update_req", io.update.valid)
378  XSPerfAccumulate("ftb_update_ignored", io.update.valid && io.update.bits.old_entry)
379  XSPerfAccumulate("ftb_updated", u_valid)
380}
381