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