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