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