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(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 188 val update_pc = Input(UInt(VAddrBits.W)) 189 val update_write_data = Flipped(Valid(new FTBEntryWithTag)) 190 val update_write_mask = Input(UInt(numWays.W)) 191 }) 192 193 val ftb = Module(new SRAMTemplate(new FTBEntryWithTag, set = numSets, way = numWays, shouldReset = true, holdRead = true, singlePort = true)) 194 195 ftb.io.r.req.valid := io.req_pc.valid // io.s0_fire 196 ftb.io.r.req.bits.setIdx := ftbAddr.getIdx(io.req_pc.bits) // s0_idx 197 198 io.req_pc.ready := ftb.io.r.req.ready 199 200 val req_tag = RegEnable(ftbAddr.getTag(io.req_pc.bits)(tagSize-1, 0), io.req_pc.valid) 201 202 val read_entries = ftb.io.r.resp.data.map(_.entry) 203 val read_tags = ftb.io.r.resp.data.map(_.tag) 204 205 val total_hits = VecInit((0 until numWays).map(b => read_tags(b) === req_tag && read_entries(b).valid)) 206 val hit = total_hits.reduce(_||_) 207 val hit_way_1h = VecInit(PriorityEncoderOH(total_hits)) 208 209 def allocWay(valids: UInt, meta_tags: UInt, req_tag: UInt) = { 210 val randomAlloc = false 211 if (numWays > 1) { 212 val w = Wire(UInt(log2Up(numWays).W)) 213 val valid = WireInit(valids.andR) 214 val tags = Cat(meta_tags, req_tag) 215 val l = log2Up(numWays) 216 val nChunks = (tags.getWidth + l - 1) / l 217 val chunks = (0 until nChunks).map( i => 218 tags(min((i+1)*l, tags.getWidth)-1, i*l) 219 ) 220 w := Mux(valid, if (randomAlloc) {LFSR64()(log2Up(numWays)-1,0)} else {chunks.reduce(_^_)}, PriorityEncoder(~valids)) 221 w 222 } else { 223 val w = WireInit(0.U) 224 w 225 } 226 } 227 228 val allocWriteWay = allocWay( 229 VecInit(read_entries.map(_.valid)).asUInt, 230 VecInit(read_tags).asUInt, 231 req_tag 232 ) 233 234 io.read_resp := PriorityMux(total_hits, read_entries) // Mux1H 235 io.read_hits.valid := hit 236 io.read_hits.bits := Mux(hit, hit_way_1h, VecInit(UIntToOH(allocWriteWay).asBools())) 237 238 // Update logic 239 val u_valid = io.update_write_data.valid 240 val u_data = io.update_write_data.bits 241 val u_idx = ftbAddr.getIdx(io.update_pc) 242 val u_mask = io.update_write_mask 243 244 ftb.io.w.apply(u_valid, u_data, u_idx, u_mask) 245 } // FTBBank 246 247 val ftbBank = Module(new FTBBank(numSets, numWays)) 248 249 ftbBank.io.req_pc.valid := io.s0_fire 250 ftbBank.io.req_pc.bits := s0_pc 251 252 io.s1_ready := ftbBank.io.req_pc.ready // && !io.redirect.valid 253 254 val ftb_entry = RegEnable(ftbBank.io.read_resp, io.s1_fire) 255 val s1_hit = ftbBank.io.read_hits.valid 256 val s2_hit = RegEnable(s1_hit, io.s1_fire) 257 val writeWay = ftbBank.io.read_hits.bits 258 259 val fallThruAddr = getFallThroughAddr(s2_pc, ftb_entry.carry, ftb_entry.pftAddr) 260 261 // io.out.bits.resp := RegEnable(io.in.bits.resp_in(0), 0.U.asTypeOf(new BranchPredictionResp), io.s1_fire) 262 io.out.resp := io.in.bits.resp_in(0) 263 264 val s1_latch_call_is_rvc = DontCare // TODO: modify when add RAS 265 266 io.out.resp.s2.preds.taken_mask := io.in.bits.resp_in(0).s2.preds.taken_mask 267 for (i <- 0 until numBr) { 268 when (ftb_entry.always_taken(i)) { 269 io.out.resp.s2.preds.taken_mask(i) := true.B 270 } 271 } 272 273 io.out.resp.s2.preds.hit := s2_hit 274 io.out.resp.s2.pc := s2_pc 275 io.out.resp.s2.ftb_entry := ftb_entry 276 io.out.resp.s2.preds.fromFtbEntry(ftb_entry, s2_pc) 277 278 io.out.s3_meta := RegEnable(RegEnable(FTBMeta(writeWay.asUInt(), s1_hit, GTimer()).asUInt(), io.s1_fire), io.s2_fire) 279 280 when(s2_hit) { 281 io.out.resp.s2.ftb_entry.pftAddr := ftb_entry.pftAddr 282 io.out.resp.s2.ftb_entry.carry := ftb_entry.carry 283 }.otherwise { 284 io.out.resp.s2.ftb_entry.pftAddr := s2_pc(instOffsetBits + log2Ceil(PredictWidth), instOffsetBits) ^ (1 << log2Ceil(PredictWidth)).U 285 io.out.resp.s2.ftb_entry.carry := s2_pc(instOffsetBits + log2Ceil(PredictWidth)).asBool 286 io.out.resp.s2.ftb_entry.oversize := false.B 287 } 288 289 // always taken logic 290 when (s2_hit) { 291 for (i <- 0 until numBr) { 292 when (ftb_entry.always_taken(i)) { 293 io.out.resp.s2.preds.taken_mask(i) := true.B 294 } 295 } 296 } 297 298 // Update logic 299 val has_update = RegInit(VecInit(Seq.fill(64)(0.U(VAddrBits.W)))) 300 val has_update_ptr = RegInit(0.U(log2Up(64))) 301 302 val update = RegNext(io.update.bits) 303 304 val u_meta = update.meta.asTypeOf(new FTBMeta) 305 val u_valid = RegNext(io.update.valid && !io.update.bits.old_entry) 306 val u_way_mask = u_meta.writeWay 307 308 val ftb_write = Wire(new FTBEntryWithTag) 309 ftb_write.entry := update.ftb_entry 310 ftb_write.tag := ftbAddr.getTag(update.pc)(tagSize-1, 0) 311 312 ftbBank.io.update_write_data.valid := u_valid 313 ftbBank.io.update_write_data.bits := ftb_write 314 ftbBank.io.update_pc := update.pc 315 ftbBank.io.update_write_mask := u_way_mask 316 317 val r_updated = (0 until 64).map(i => has_update(i) === s1_pc).reduce(_||_) 318 val u_updated = (0 until 64).map(i => has_update(i) === update.pc).reduce(_||_) 319 320 when(u_valid) { 321 when(!u_updated) { has_update(has_update_ptr) := update.pc } 322 323 has_update_ptr := has_update_ptr + !u_updated 324 } 325 326 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 XSDebug("s2_hit=%b, hit_way=%b\n", s2_hit, writeWay.asUInt) 328 XSDebug("s2_taken_mask=%b, s2_real_taken_mask=%b\n", 329 io.in.bits.resp_in(0).s2.preds.taken_mask.asUInt, io.out.resp.s2.real_taken_mask().asUInt) 330 XSDebug("s2_target=%x\n", io.out.resp.s2.target) 331 332 ftb_entry.display(true.B) 333 334 XSDebug(u_valid, "Update from ftq\n") 335 XSDebug(u_valid, "update_pc=%x, tag=%x, update_write_way=%b, pred_cycle=%d\n", 336 update.pc, ftbAddr.getTag(update.pc), u_way_mask, u_meta.pred_cycle) 337 338 339 340 341 342 XSPerfAccumulate("ftb_first_miss", u_valid && !u_updated && !update.preds.hit) 343 XSPerfAccumulate("ftb_updated_miss", u_valid && u_updated && !update.preds.hit) 344 345 XSPerfAccumulate("ftb_read_first_miss", RegNext(io.s0_fire) && !s1_hit && !r_updated) 346 XSPerfAccumulate("ftb_read_updated_miss", RegNext(io.s0_fire) && !s1_hit && r_updated) 347 348 XSPerfAccumulate("ftb_read_hits", RegNext(io.s0_fire) && s1_hit) 349 XSPerfAccumulate("ftb_read_misses", RegNext(io.s0_fire) && !s1_hit) 350 351 XSPerfAccumulate("ftb_commit_hits", u_valid && update.preds.hit) 352 XSPerfAccumulate("ftb_commit_misses", u_valid && !update.preds.hit) 353 354 XSPerfAccumulate("ftb_update_req", io.update.valid) 355 XSPerfAccumulate("ftb_update_ignored", io.update.valid && io.update.bits.old_entry) 356 XSPerfAccumulate("ftb_updated", u_valid) 357} 358