109c6f1ddSLingrui98/*************************************************************************************** 209c6f1ddSLingrui98* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 309c6f1ddSLingrui98* Copyright (c) 2020-2021 Peng Cheng Laboratory 409c6f1ddSLingrui98* 509c6f1ddSLingrui98* XiangShan is licensed under Mulan PSL v2. 609c6f1ddSLingrui98* You can use this software according to the terms and conditions of the Mulan PSL v2. 709c6f1ddSLingrui98* You may obtain a copy of Mulan PSL v2 at: 809c6f1ddSLingrui98* http://license.coscl.org.cn/MulanPSL2 909c6f1ddSLingrui98* 1009c6f1ddSLingrui98* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 1109c6f1ddSLingrui98* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 1209c6f1ddSLingrui98* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 1309c6f1ddSLingrui98* 1409c6f1ddSLingrui98* See the Mulan PSL v2 for more details. 1509c6f1ddSLingrui98***************************************************************************************/ 1609c6f1ddSLingrui98 1709c6f1ddSLingrui98package xiangshan.frontend 1809c6f1ddSLingrui98 1909c6f1ddSLingrui98import chipsalliance.rocketchip.config.Parameters 2009c6f1ddSLingrui98import chisel3._ 2109c6f1ddSLingrui98import chisel3.stage.{ChiselGeneratorAnnotation, ChiselStage} 2209c6f1ddSLingrui98import chisel3.util._ 2309c6f1ddSLingrui98import xiangshan._ 2409c6f1ddSLingrui98import utils._ 2509c6f1ddSLingrui98import chisel3.experimental.chiselName 2609c6f1ddSLingrui98 2709c6f1ddSLingrui98import scala.math.min 2809c6f1ddSLingrui98 2909c6f1ddSLingrui98 3009c6f1ddSLingrui98trait FTBParams extends HasXSParameter with HasBPUConst { 31ba4cf515SLingrui98 val numEntries = 4096 3209c6f1ddSLingrui98 val numWays = 4 3309c6f1ddSLingrui98 val numSets = numEntries/numWays // 512 3409c6f1ddSLingrui98 val tagSize = 20 3509c6f1ddSLingrui98 3609c6f1ddSLingrui98 val TAR_STAT_SZ = 2 3709c6f1ddSLingrui98 def TAR_FIT = 0.U(TAR_STAT_SZ.W) 3809c6f1ddSLingrui98 def TAR_OVF = 1.U(TAR_STAT_SZ.W) 3909c6f1ddSLingrui98 def TAR_UDF = 2.U(TAR_STAT_SZ.W) 4009c6f1ddSLingrui98 4109c6f1ddSLingrui98 def BR_OFFSET_LEN = 13 4209c6f1ddSLingrui98 def JMP_OFFSET_LEN = 21 4309c6f1ddSLingrui98} 4409c6f1ddSLingrui98 4509c6f1ddSLingrui98class FTBEntry(implicit p: Parameters) extends XSBundle with FTBParams with BPUUtils { 4609c6f1ddSLingrui98 val valid = Bool() 4709c6f1ddSLingrui98 4809c6f1ddSLingrui98 val brOffset = Vec(numBr, UInt(log2Up(FetchWidth*2).W)) 4909c6f1ddSLingrui98 val brLowers = Vec(numBr, UInt(BR_OFFSET_LEN.W)) 5009c6f1ddSLingrui98 val brTarStats = Vec(numBr, UInt(TAR_STAT_SZ.W)) 5109c6f1ddSLingrui98 val brValids = Vec(numBr, Bool()) 5209c6f1ddSLingrui98 5309c6f1ddSLingrui98 val jmpOffset = UInt(log2Ceil(PredictWidth).W) 5409c6f1ddSLingrui98 val jmpLower = UInt(JMP_OFFSET_LEN.W) 5509c6f1ddSLingrui98 val jmpTarStat = UInt(TAR_STAT_SZ.W) 5609c6f1ddSLingrui98 val jmpValid = Bool() 5709c6f1ddSLingrui98 5809c6f1ddSLingrui98 // Partial Fall-Through Address 5909c6f1ddSLingrui98 val pftAddr = UInt((log2Up(PredictWidth)+1).W) 6009c6f1ddSLingrui98 val carry = Bool() 6109c6f1ddSLingrui98 6209c6f1ddSLingrui98 val isCall = Bool() 6309c6f1ddSLingrui98 val isRet = Bool() 6409c6f1ddSLingrui98 val isJalr = Bool() 6509c6f1ddSLingrui98 6609c6f1ddSLingrui98 val oversize = Bool() 6709c6f1ddSLingrui98 6809c6f1ddSLingrui98 val last_is_rvc = Bool() 6909c6f1ddSLingrui98 7009c6f1ddSLingrui98 val always_taken = Vec(numBr, Bool()) 7109c6f1ddSLingrui98 7209c6f1ddSLingrui98 def getTarget(offsetLen: Int)(pc: UInt, lower: UInt, stat: UInt) = { 7309c6f1ddSLingrui98 val higher = pc(VAddrBits-1, offsetLen) 7409c6f1ddSLingrui98 Cat( 7509c6f1ddSLingrui98 Mux(stat === TAR_OVF, higher+1.U, 7609c6f1ddSLingrui98 Mux(stat === TAR_UDF, higher-1.U, higher)), 7709c6f1ddSLingrui98 lower 7809c6f1ddSLingrui98 ) 7909c6f1ddSLingrui98 } 8009c6f1ddSLingrui98 val getBrTarget = getTarget(BR_OFFSET_LEN)(_, _, _) 8109c6f1ddSLingrui98 8209c6f1ddSLingrui98 def getBrTargets(pc: UInt) = { 8309c6f1ddSLingrui98 VecInit((brLowers zip brTarStats).map{ 8409c6f1ddSLingrui98 case (lower, stat) => getBrTarget(pc, lower, stat) 8509c6f1ddSLingrui98 }) 8609c6f1ddSLingrui98 } 8709c6f1ddSLingrui98 8809c6f1ddSLingrui98 def getJmpTarget(pc: UInt) = getTarget(JMP_OFFSET_LEN)(pc, jmpLower, jmpTarStat) 8909c6f1ddSLingrui98 9009c6f1ddSLingrui98 def getLowerStatByTarget(offsetLen: Int)(pc: UInt, target: UInt) = { 9109c6f1ddSLingrui98 val pc_higher = pc(VAddrBits-1, offsetLen) 927f36ad77Szoujr val target_higher = target(VAddrBits-1, offsetLen) 9309c6f1ddSLingrui98 val stat = WireInit(Mux(target_higher > pc_higher, TAR_OVF, 9409c6f1ddSLingrui98 Mux(target_higher < pc_higher, TAR_UDF, TAR_FIT))) 9509c6f1ddSLingrui98 val lower = WireInit(target(offsetLen-1, 0)) 9609c6f1ddSLingrui98 (lower, stat) 9709c6f1ddSLingrui98 } 9809c6f1ddSLingrui98 def getBrLowerStatByTarget(pc: UInt, target: UInt) = getLowerStatByTarget(BR_OFFSET_LEN)(pc, target) 9909c6f1ddSLingrui98 def getJmpLowerStatByTarget(pc: UInt, target: UInt) = getLowerStatByTarget(JMP_OFFSET_LEN)(pc, target) 10009c6f1ddSLingrui98 def setByBrTarget(brIdx: Int, pc: UInt, target: UInt) = { 10109c6f1ddSLingrui98 val (lower, stat) = getBrLowerStatByTarget(pc, target) 10209c6f1ddSLingrui98 this.brLowers(brIdx) := lower 10309c6f1ddSLingrui98 this.brTarStats(brIdx) := stat 10409c6f1ddSLingrui98 } 10509c6f1ddSLingrui98 def setByJmpTarget(pc: UInt, target: UInt) = { 10609c6f1ddSLingrui98 val (lower, stat) = getJmpLowerStatByTarget(pc, target) 10709c6f1ddSLingrui98 this.jmpLower := lower 10809c6f1ddSLingrui98 this.jmpTarStat := stat 10909c6f1ddSLingrui98 } 11009c6f1ddSLingrui98 11109c6f1ddSLingrui98 11209c6f1ddSLingrui98 def getOffsetVec = VecInit(brOffset :+ jmpOffset) 11309c6f1ddSLingrui98 def isJal = !isJalr 11409c6f1ddSLingrui98 def getFallThrough(pc: UInt) = getFallThroughAddr(pc, carry, pftAddr) 11509c6f1ddSLingrui98 def hasBr(offset: UInt) = (brValids zip brOffset).map{ 11609c6f1ddSLingrui98 case (v, off) => v && off <= offset 11709c6f1ddSLingrui98 }.reduce(_||_) 11809c6f1ddSLingrui98 11909c6f1ddSLingrui98 def getBrMaskByOffset(offset: UInt) = (brValids zip brOffset).map{ 12009c6f1ddSLingrui98 case (v, off) => v && off <= offset 12109c6f1ddSLingrui98 } 12209c6f1ddSLingrui98 12309c6f1ddSLingrui98 def brIsSaved(offset: UInt) = (brValids zip brOffset).map{ 12409c6f1ddSLingrui98 case (v, off) => v && off === offset 12509c6f1ddSLingrui98 }.reduce(_||_) 12609c6f1ddSLingrui98 def display(cond: Bool): Unit = { 12709c6f1ddSLingrui98 XSDebug(cond, p"-----------FTB entry----------- \n") 12809c6f1ddSLingrui98 XSDebug(cond, p"v=${valid}\n") 12909c6f1ddSLingrui98 for(i <- 0 until numBr) { 13009c6f1ddSLingrui98 XSDebug(cond, p"[br$i]: v=${brValids(i)}, offset=${brOffset(i)}, lower=${Hexadecimal(brLowers(i))}\n") 13109c6f1ddSLingrui98 } 13209c6f1ddSLingrui98 XSDebug(cond, p"[jmp]: v=${jmpValid}, offset=${jmpOffset}, lower=${Hexadecimal(jmpLower)}\n") 13309c6f1ddSLingrui98 XSDebug(cond, p"pftAddr=${Hexadecimal(pftAddr)}, carry=$carry\n") 13409c6f1ddSLingrui98 XSDebug(cond, p"isCall=$isCall, isRet=$isRet, isjalr=$isJalr\n") 13509c6f1ddSLingrui98 XSDebug(cond, p"oversize=$oversize, last_is_rvc=$last_is_rvc\n") 13609c6f1ddSLingrui98 XSDebug(cond, p"------------------------------- \n") 13709c6f1ddSLingrui98 } 13809c6f1ddSLingrui98 13909c6f1ddSLingrui98} 14009c6f1ddSLingrui98 14109c6f1ddSLingrui98class FTBEntryWithTag(implicit p: Parameters) extends XSBundle with FTBParams with BPUUtils { 14209c6f1ddSLingrui98 val entry = new FTBEntry 14309c6f1ddSLingrui98 val tag = UInt(tagSize.W) 14409c6f1ddSLingrui98 def display(cond: Bool): Unit = { 14509c6f1ddSLingrui98 XSDebug(cond, p"-----------FTB entry----------- \n") 14609c6f1ddSLingrui98 XSDebug(cond, p"v=${entry.valid}, tag=${Hexadecimal(tag)}\n") 14709c6f1ddSLingrui98 for(i <- 0 until numBr) { 14809c6f1ddSLingrui98 XSDebug(cond, p"[br$i]: v=${entry.brValids(i)}, offset=${entry.brOffset(i)}, lower=${Hexadecimal(entry.brLowers(i))}\n") 14909c6f1ddSLingrui98 } 15009c6f1ddSLingrui98 XSDebug(cond, p"[jmp]: v=${entry.jmpValid}, offset=${entry.jmpOffset}, lower=${Hexadecimal(entry.jmpLower)}\n") 15109c6f1ddSLingrui98 XSDebug(cond, p"pftAddr=${Hexadecimal(entry.pftAddr)}, carry=${entry.carry}\n") 15209c6f1ddSLingrui98 XSDebug(cond, p"isCall=${entry.isCall}, isRet=${entry.isRet}, isjalr=${entry.isJalr}\n") 15309c6f1ddSLingrui98 XSDebug(cond, p"oversize=${entry.oversize}, last_is_rvc=${entry.last_is_rvc}\n") 15409c6f1ddSLingrui98 XSDebug(cond, p"------------------------------- \n") 15509c6f1ddSLingrui98 } 15609c6f1ddSLingrui98} 15709c6f1ddSLingrui98 15809c6f1ddSLingrui98class FTBMeta(implicit p: Parameters) extends XSBundle with FTBParams { 15909c6f1ddSLingrui98 val writeWay = UInt(numWays.W) 16009c6f1ddSLingrui98 val hit = Bool() 16109c6f1ddSLingrui98 val pred_cycle = UInt(64.W) // TODO: Use Option 16209c6f1ddSLingrui98} 16309c6f1ddSLingrui98 16409c6f1ddSLingrui98object FTBMeta { 16509c6f1ddSLingrui98 def apply(writeWay: UInt, hit: Bool, pred_cycle: UInt)(implicit p: Parameters): FTBMeta = { 16609c6f1ddSLingrui98 val e = Wire(new FTBMeta) 16709c6f1ddSLingrui98 e.writeWay := writeWay 16809c6f1ddSLingrui98 e.hit := hit 16909c6f1ddSLingrui98 e.pred_cycle := pred_cycle 17009c6f1ddSLingrui98 e 17109c6f1ddSLingrui98 } 17209c6f1ddSLingrui98} 17309c6f1ddSLingrui98 17409c6f1ddSLingrui98class FTB(implicit p: Parameters) extends BasePredictor with FTBParams with BPUUtils { 17509c6f1ddSLingrui98 override val meta_size = WireInit(0.U.asTypeOf(new FTBMeta)).getWidth 17609c6f1ddSLingrui98 17709c6f1ddSLingrui98 val ftbAddr = new TableAddr(log2Up(numSets), 1) 17809c6f1ddSLingrui98 17909c6f1ddSLingrui98 class FTBBank(val numSets: Int, val nWays: Int) extends XSModule with BPUUtils { 18009c6f1ddSLingrui98 val io = IO(new Bundle { 18109c6f1ddSLingrui98 val req_pc = Flipped(DecoupledIO(UInt(VAddrBits.W))) 18209c6f1ddSLingrui98 val read_resp = Output(new FTBEntry) 18309c6f1ddSLingrui98 18409c6f1ddSLingrui98 // when ftb hit, read_hits.valid is true, and read_hits.bits is OH of hit way 18509c6f1ddSLingrui98 // when ftb not hit, read_hits.valid is false, and read_hits is OH of allocWay 18609c6f1ddSLingrui98 val read_hits = Valid(Vec(numWays, Bool())) 18709c6f1ddSLingrui98 18809c6f1ddSLingrui98 val update_pc = Input(UInt(VAddrBits.W)) 18909c6f1ddSLingrui98 val update_write_data = Flipped(Valid(new FTBEntryWithTag)) 19009c6f1ddSLingrui98 val update_write_mask = Input(UInt(numWays.W)) 19109c6f1ddSLingrui98 }) 19209c6f1ddSLingrui98 19309c6f1ddSLingrui98 val ftb = Module(new SRAMTemplate(new FTBEntryWithTag, set = numSets, way = numWays, shouldReset = true, holdRead = true, singlePort = true)) 19409c6f1ddSLingrui98 19509c6f1ddSLingrui98 ftb.io.r.req.valid := io.req_pc.valid // io.s0_fire 19609c6f1ddSLingrui98 ftb.io.r.req.bits.setIdx := ftbAddr.getIdx(io.req_pc.bits) // s0_idx 19709c6f1ddSLingrui98 19809c6f1ddSLingrui98 io.req_pc.ready := ftb.io.r.req.ready 19909c6f1ddSLingrui98 20009c6f1ddSLingrui98 val req_tag = RegEnable(ftbAddr.getTag(io.req_pc.bits)(tagSize-1, 0), io.req_pc.valid) 201*ac3f6f25Szoujr val req_idx = RegEnable(ftbAddr.getIdx(io.req_pc.bits), io.req_pc.valid) 20209c6f1ddSLingrui98 20309c6f1ddSLingrui98 val read_entries = ftb.io.r.resp.data.map(_.entry) 20409c6f1ddSLingrui98 val read_tags = ftb.io.r.resp.data.map(_.tag) 20509c6f1ddSLingrui98 206*ac3f6f25Szoujr val total_hits = VecInit((0 until numWays).map(b => read_tags(b) === req_tag && read_entries(b).valid && RegNext(io.req_pc.valid))) 20709c6f1ddSLingrui98 val hit = total_hits.reduce(_||_) 20809c6f1ddSLingrui98 val hit_way_1h = VecInit(PriorityEncoderOH(total_hits)) 20909c6f1ddSLingrui98 210*ac3f6f25Szoujr val replacer = ReplacementPolicy.fromString(Some("setplru"), numWays, numSets) 211*ac3f6f25Szoujr val allocWriteWay = replacer.way(req_idx) 21209c6f1ddSLingrui98 213*ac3f6f25Szoujr val touch_set = Seq.fill(1)(Wire(UInt(log2Ceil(numSets).W))) 214*ac3f6f25Szoujr val touch_way = Seq.fill(1)(Wire(Valid(UInt(log2Ceil(numWays).W)))) 215*ac3f6f25Szoujr 216*ac3f6f25Szoujr replacer.access(touch_set, touch_way) 217*ac3f6f25Szoujr 218*ac3f6f25Szoujr touch_set(0) := req_idx 219*ac3f6f25Szoujr 220*ac3f6f25Szoujr touch_way(0).valid := hit 221*ac3f6f25Szoujr touch_way(0).bits := OHToUInt(hit_way_1h) 222*ac3f6f25Szoujr 223*ac3f6f25Szoujr // def allocWay(valids: UInt, meta_tags: UInt, req_tag: UInt) = { 224*ac3f6f25Szoujr // val randomAlloc = false 225*ac3f6f25Szoujr // if (numWays > 1) { 226*ac3f6f25Szoujr // val w = Wire(UInt(log2Up(numWays).W)) 227*ac3f6f25Szoujr // val valid = WireInit(valids.andR) 228*ac3f6f25Szoujr // val tags = Cat(meta_tags, req_tag) 229*ac3f6f25Szoujr // val l = log2Up(numWays) 230*ac3f6f25Szoujr // val nChunks = (tags.getWidth + l - 1) / l 231*ac3f6f25Szoujr // val chunks = (0 until nChunks).map( i => 232*ac3f6f25Szoujr // tags(min((i+1)*l, tags.getWidth)-1, i*l) 233*ac3f6f25Szoujr // ) 234*ac3f6f25Szoujr // w := Mux(valid, if (randomAlloc) {LFSR64()(log2Up(numWays)-1,0)} else {chunks.reduce(_^_)}, PriorityEncoder(~valids)) 235*ac3f6f25Szoujr // w 236*ac3f6f25Szoujr // } else { 237*ac3f6f25Szoujr // val w = WireInit(0.U) 238*ac3f6f25Szoujr // w 239*ac3f6f25Szoujr // } 240*ac3f6f25Szoujr // } 241*ac3f6f25Szoujr 242*ac3f6f25Szoujr // val allocWriteWay = allocWay( 243*ac3f6f25Szoujr // VecInit(read_entries.map(_.valid)).asUInt, 244*ac3f6f25Szoujr // VecInit(read_tags).asUInt, 245*ac3f6f25Szoujr // req_tag 246*ac3f6f25Szoujr // ) 24709c6f1ddSLingrui98 24809c6f1ddSLingrui98 io.read_resp := PriorityMux(total_hits, read_entries) // Mux1H 24909c6f1ddSLingrui98 io.read_hits.valid := hit 25009c6f1ddSLingrui98 io.read_hits.bits := Mux(hit, hit_way_1h, VecInit(UIntToOH(allocWriteWay).asBools())) 25109c6f1ddSLingrui98 252*ac3f6f25Szoujr XSDebug(!hit, "FTB not hit, alloc a way: %d\n", allocWriteWay) 253*ac3f6f25Szoujr 25409c6f1ddSLingrui98 // Update logic 25509c6f1ddSLingrui98 val u_valid = io.update_write_data.valid 25609c6f1ddSLingrui98 val u_data = io.update_write_data.bits 25709c6f1ddSLingrui98 val u_idx = ftbAddr.getIdx(io.update_pc) 25809c6f1ddSLingrui98 val u_mask = io.update_write_mask 25909c6f1ddSLingrui98 26009c6f1ddSLingrui98 ftb.io.w.apply(u_valid, u_data, u_idx, u_mask) 26109c6f1ddSLingrui98 } // FTBBank 26209c6f1ddSLingrui98 26309c6f1ddSLingrui98 val ftbBank = Module(new FTBBank(numSets, numWays)) 26409c6f1ddSLingrui98 26509c6f1ddSLingrui98 ftbBank.io.req_pc.valid := io.s0_fire 26609c6f1ddSLingrui98 ftbBank.io.req_pc.bits := s0_pc 26709c6f1ddSLingrui98 26809c6f1ddSLingrui98 io.s1_ready := ftbBank.io.req_pc.ready // && !io.redirect.valid 26909c6f1ddSLingrui98 27009c6f1ddSLingrui98 val ftb_entry = RegEnable(ftbBank.io.read_resp, io.s1_fire) 27109c6f1ddSLingrui98 val s1_hit = ftbBank.io.read_hits.valid 27209c6f1ddSLingrui98 val s2_hit = RegEnable(s1_hit, io.s1_fire) 27309c6f1ddSLingrui98 val writeWay = ftbBank.io.read_hits.bits 27409c6f1ddSLingrui98 27509c6f1ddSLingrui98 val fallThruAddr = getFallThroughAddr(s2_pc, ftb_entry.carry, ftb_entry.pftAddr) 27609c6f1ddSLingrui98 27709c6f1ddSLingrui98 // io.out.bits.resp := RegEnable(io.in.bits.resp_in(0), 0.U.asTypeOf(new BranchPredictionResp), io.s1_fire) 27809c6f1ddSLingrui98 io.out.resp := io.in.bits.resp_in(0) 27909c6f1ddSLingrui98 28009c6f1ddSLingrui98 val s1_latch_call_is_rvc = DontCare // TODO: modify when add RAS 28109c6f1ddSLingrui98 28209c6f1ddSLingrui98 io.out.resp.s2.preds.taken_mask := io.in.bits.resp_in(0).s2.preds.taken_mask 28309c6f1ddSLingrui98 for (i <- 0 until numBr) { 28409c6f1ddSLingrui98 when (ftb_entry.always_taken(i)) { 28509c6f1ddSLingrui98 io.out.resp.s2.preds.taken_mask(i) := true.B 28609c6f1ddSLingrui98 } 28709c6f1ddSLingrui98 } 28809c6f1ddSLingrui98 28909c6f1ddSLingrui98 io.out.resp.s2.preds.hit := s2_hit 29009c6f1ddSLingrui98 io.out.resp.s2.pc := s2_pc 29109c6f1ddSLingrui98 io.out.resp.s2.ftb_entry := ftb_entry 29209c6f1ddSLingrui98 io.out.resp.s2.preds.fromFtbEntry(ftb_entry, s2_pc) 29309c6f1ddSLingrui98 29409c6f1ddSLingrui98 io.out.s3_meta := RegEnable(RegEnable(FTBMeta(writeWay.asUInt(), s1_hit, GTimer()).asUInt(), io.s1_fire), io.s2_fire) 29509c6f1ddSLingrui98 29609c6f1ddSLingrui98 when(s2_hit) { 29709c6f1ddSLingrui98 io.out.resp.s2.ftb_entry.pftAddr := ftb_entry.pftAddr 29809c6f1ddSLingrui98 io.out.resp.s2.ftb_entry.carry := ftb_entry.carry 29909c6f1ddSLingrui98 }.otherwise { 30009c6f1ddSLingrui98 io.out.resp.s2.ftb_entry.pftAddr := s2_pc(instOffsetBits + log2Ceil(PredictWidth), instOffsetBits) ^ (1 << log2Ceil(PredictWidth)).U 30109c6f1ddSLingrui98 io.out.resp.s2.ftb_entry.carry := s2_pc(instOffsetBits + log2Ceil(PredictWidth)).asBool 30209c6f1ddSLingrui98 io.out.resp.s2.ftb_entry.oversize := false.B 30309c6f1ddSLingrui98 } 30409c6f1ddSLingrui98 30509c6f1ddSLingrui98 // always taken logic 30609c6f1ddSLingrui98 when (s2_hit) { 30709c6f1ddSLingrui98 for (i <- 0 until numBr) { 30809c6f1ddSLingrui98 when (ftb_entry.always_taken(i)) { 30909c6f1ddSLingrui98 io.out.resp.s2.preds.taken_mask(i) := true.B 31009c6f1ddSLingrui98 } 31109c6f1ddSLingrui98 } 31209c6f1ddSLingrui98 } 31309c6f1ddSLingrui98 31409c6f1ddSLingrui98 // Update logic 31509c6f1ddSLingrui98 val has_update = RegInit(VecInit(Seq.fill(64)(0.U(VAddrBits.W)))) 31609c6f1ddSLingrui98 val has_update_ptr = RegInit(0.U(log2Up(64))) 31709c6f1ddSLingrui98 31809c6f1ddSLingrui98 val update = RegNext(io.update.bits) 31909c6f1ddSLingrui98 32009c6f1ddSLingrui98 val u_meta = update.meta.asTypeOf(new FTBMeta) 32109c6f1ddSLingrui98 val u_valid = RegNext(io.update.valid && !io.update.bits.old_entry) 32209c6f1ddSLingrui98 val u_way_mask = u_meta.writeWay 32309c6f1ddSLingrui98 32409c6f1ddSLingrui98 val ftb_write = Wire(new FTBEntryWithTag) 32509c6f1ddSLingrui98 ftb_write.entry := update.ftb_entry 32609c6f1ddSLingrui98 ftb_write.tag := ftbAddr.getTag(update.pc)(tagSize-1, 0) 32709c6f1ddSLingrui98 32809c6f1ddSLingrui98 ftbBank.io.update_write_data.valid := u_valid 32909c6f1ddSLingrui98 ftbBank.io.update_write_data.bits := ftb_write 33009c6f1ddSLingrui98 ftbBank.io.update_pc := update.pc 33109c6f1ddSLingrui98 ftbBank.io.update_write_mask := u_way_mask 33209c6f1ddSLingrui98 33309c6f1ddSLingrui98 val r_updated = (0 until 64).map(i => has_update(i) === s1_pc).reduce(_||_) 33409c6f1ddSLingrui98 val u_updated = (0 until 64).map(i => has_update(i) === update.pc).reduce(_||_) 33509c6f1ddSLingrui98 33609c6f1ddSLingrui98 when(u_valid) { 33709c6f1ddSLingrui98 when(!u_updated) { has_update(has_update_ptr) := update.pc } 33809c6f1ddSLingrui98 33909c6f1ddSLingrui98 has_update_ptr := has_update_ptr + !u_updated 34009c6f1ddSLingrui98 } 34109c6f1ddSLingrui98 34209c6f1ddSLingrui98 XSDebug("req_v=%b, req_pc=%x, ready=%b (resp at next cycle)\n", io.s0_fire, s0_pc, ftbBank.io.req_pc.ready) 34309c6f1ddSLingrui98 XSDebug("s2_hit=%b, hit_way=%b\n", s2_hit, writeWay.asUInt) 34409c6f1ddSLingrui98 XSDebug("s2_taken_mask=%b, s2_real_taken_mask=%b\n", 34509c6f1ddSLingrui98 io.in.bits.resp_in(0).s2.preds.taken_mask.asUInt, io.out.resp.s2.real_taken_mask().asUInt) 34609c6f1ddSLingrui98 XSDebug("s2_target=%x\n", io.out.resp.s2.target) 34709c6f1ddSLingrui98 34809c6f1ddSLingrui98 ftb_entry.display(true.B) 34909c6f1ddSLingrui98 35009c6f1ddSLingrui98 XSDebug(u_valid, "Update from ftq\n") 35109c6f1ddSLingrui98 XSDebug(u_valid, "update_pc=%x, tag=%x, update_write_way=%b, pred_cycle=%d\n", 35209c6f1ddSLingrui98 update.pc, ftbAddr.getTag(update.pc), u_way_mask, u_meta.pred_cycle) 35309c6f1ddSLingrui98 35409c6f1ddSLingrui98 35509c6f1ddSLingrui98 35609c6f1ddSLingrui98 35709c6f1ddSLingrui98 35809c6f1ddSLingrui98 XSPerfAccumulate("ftb_first_miss", u_valid && !u_updated && !update.preds.hit) 35909c6f1ddSLingrui98 XSPerfAccumulate("ftb_updated_miss", u_valid && u_updated && !update.preds.hit) 36009c6f1ddSLingrui98 36109c6f1ddSLingrui98 XSPerfAccumulate("ftb_read_first_miss", RegNext(io.s0_fire) && !s1_hit && !r_updated) 36209c6f1ddSLingrui98 XSPerfAccumulate("ftb_read_updated_miss", RegNext(io.s0_fire) && !s1_hit && r_updated) 36309c6f1ddSLingrui98 36409c6f1ddSLingrui98 XSPerfAccumulate("ftb_read_hits", RegNext(io.s0_fire) && s1_hit) 36509c6f1ddSLingrui98 XSPerfAccumulate("ftb_read_misses", RegNext(io.s0_fire) && !s1_hit) 36609c6f1ddSLingrui98 36709c6f1ddSLingrui98 XSPerfAccumulate("ftb_commit_hits", u_valid && update.preds.hit) 36809c6f1ddSLingrui98 XSPerfAccumulate("ftb_commit_misses", u_valid && !update.preds.hit) 36909c6f1ddSLingrui98 37009c6f1ddSLingrui98 XSPerfAccumulate("ftb_update_req", io.update.valid) 37109c6f1ddSLingrui98 XSPerfAccumulate("ftb_update_ignored", io.update.valid && io.update.bits.old_entry) 37209c6f1ddSLingrui98 XSPerfAccumulate("ftb_updated", u_valid) 37309c6f1ddSLingrui98} 374