1package xiangshan.frontend 2 3import chisel3._ 4import chisel3.util._ 5import utils._ 6import xiangshan._ 7import xiangshan.backend.ALUOpType 8import xiangshan.backend.JumpOpType 9import chisel3.experimental.chiselName 10 11trait HasBPUParameter extends HasXSParameter { 12 val BPUDebug = true && !env.FPGAPlatform 13 val EnableCFICommitLog = true 14 val EnbaleCFIPredLog = true 15 val EnableBPUTimeRecord = (EnableCFICommitLog || EnbaleCFIPredLog) && !env.FPGAPlatform 16 val EnableCommit = false 17} 18 19class TableAddr(val idxBits: Int, val banks: Int) extends XSBundle with HasIFUConst { 20 def tagBits = VAddrBits - idxBits - instOffsetBits 21 22 val tag = UInt(tagBits.W) 23 val idx = UInt(idxBits.W) 24 val offset = UInt(instOffsetBits.W) 25 26 def fromUInt(x: UInt) = x.asTypeOf(UInt(VAddrBits.W)).asTypeOf(this) 27 def getTag(x: UInt) = fromUInt(x).tag 28 def getIdx(x: UInt) = fromUInt(x).idx 29 def getBank(x: UInt) = getIdx(x)(log2Up(banks) - 1, 0) 30 def getBankIdx(x: UInt) = getIdx(x)(idxBits - 1, log2Up(banks)) 31} 32 33class PredictorResponse extends XSBundle { 34 class UbtbResp extends XSBundle { 35 // the valid bits indicates whether a target is hit 36 val targets = Vec(PredictWidth, UInt(VAddrBits.W)) 37 val hits = Vec(PredictWidth, Bool()) 38 val takens = Vec(PredictWidth, Bool()) 39 val brMask = Vec(PredictWidth, Bool()) 40 val is_RVC = Vec(PredictWidth, Bool()) 41 } 42 class BtbResp extends XSBundle { 43 // the valid bits indicates whether a target is hit 44 val targets = Vec(PredictWidth, UInt(VAddrBits.W)) 45 val hits = Vec(PredictWidth, Bool()) 46 val isBrs = Vec(PredictWidth, Bool()) 47 val isRVC = Vec(PredictWidth, Bool()) 48 } 49 class BimResp extends XSBundle { 50 val ctrs = Vec(PredictWidth, UInt(2.W)) 51 } 52 class TageResp extends XSBundle { 53 // the valid bits indicates whether a prediction is hit 54 val takens = Vec(PredictWidth, Bool()) 55 val hits = Vec(PredictWidth, Bool()) 56 } 57 class LoopResp extends XSBundle { 58 val exit = Vec(PredictWidth, Bool()) 59 } 60 61 val ubtb = new UbtbResp 62 val btb = new BtbResp 63 val bim = new BimResp 64 val tage = new TageResp 65 val loop = new LoopResp 66} 67 68trait PredictorUtils { 69 // circular shifting 70 def circularShiftLeft(source: UInt, len: Int, shamt: UInt): UInt = { 71 val res = Wire(UInt(len.W)) 72 val higher = source << shamt 73 val lower = source >> (len.U - shamt) 74 res := higher | lower 75 res 76 } 77 78 def circularShiftRight(source: UInt, len: Int, shamt: UInt): UInt = { 79 val res = Wire(UInt(len.W)) 80 val higher = source << (len.U - shamt) 81 val lower = source >> shamt 82 res := higher | lower 83 res 84 } 85 86 // To be verified 87 def satUpdate(old: UInt, len: Int, taken: Bool): UInt = { 88 val oldSatTaken = old === ((1 << len)-1).U 89 val oldSatNotTaken = old === 0.U 90 Mux(oldSatTaken && taken, ((1 << len)-1).U, 91 Mux(oldSatNotTaken && !taken, 0.U, 92 Mux(taken, old + 1.U, old - 1.U))) 93 } 94 95 def signedSatUpdate(old: SInt, len: Int, taken: Bool): SInt = { 96 val oldSatTaken = old === ((1 << (len-1))-1).S 97 val oldSatNotTaken = old === (-(1 << (len-1))).S 98 Mux(oldSatTaken && taken, ((1 << (len-1))-1).S, 99 Mux(oldSatNotTaken && !taken, (-(1 << (len-1))).S, 100 Mux(taken, old + 1.S, old - 1.S))) 101 } 102} 103 104trait HasIFUFire { this: MultiIOModule => 105 val fires = IO(Input(Vec(4, Bool()))) 106 val s1_fire = fires(0) 107 val s2_fire = fires(1) 108 val s3_fire = fires(2) 109 val out_fire = fires(3) 110} 111 112trait HasCtrl { this: BasePredictor => 113 val ctrl = IO(Input(new BPUCtrl)) 114} 115 116abstract class BasePredictor extends XSModule 117 with HasBPUParameter with HasIFUConst with PredictorUtils 118 with HasIFUFire with HasCtrl { 119 val metaLen = 0 120 121 // An implementation MUST extend the IO bundle with a response 122 // and the special input from other predictors, as well as 123 // the metas to store in BRQ 124 abstract class Resp extends XSBundle {} 125 abstract class FromOthers extends XSBundle {} 126 abstract class Meta extends XSBundle {} 127 128 class DefaultBasePredictorIO extends XSBundle { 129 val pc = Flipped(ValidIO(UInt(VAddrBits.W))) 130 val hist = Input(UInt(HistoryLength.W)) 131 val inMask = Input(UInt(PredictWidth.W)) 132 val update = Flipped(ValidIO(new FtqEntry)) 133 } 134 val io = new DefaultBasePredictorIO 135 val in_ready = IO(Output(Bool())) 136 in_ready := true.B 137 val debug = true 138} 139 140class BrInfo extends XSBundle { 141 val metas = Vec(PredictWidth, new BpuMeta) 142 val rasSp = UInt(log2Ceil(RasSize).W) 143 val rasTop = new RASEntry 144 val specCnt = Vec(PredictWidth, UInt(10.W)) 145} 146class BPUStageIO extends XSBundle { 147 val pc = UInt(VAddrBits.W) 148 val mask = UInt(PredictWidth.W) 149 val resp = new PredictorResponse 150 val brInfo = new BrInfo 151} 152 153 154abstract class BPUStage extends XSModule with HasBPUParameter 155 with HasIFUConst with HasIFUFire { 156 class DefaultIO extends XSBundle { 157 val in = Input(new BPUStageIO) 158 val inFire = Input(Bool()) 159 val pred = Output(new BranchPrediction) // to ifu 160 val out = Output(new BPUStageIO) // to the next stage 161 val outFire = Input(Bool()) 162 163 val debug_hist = Input(UInt((if (BPUDebug) (HistoryLength) else 0).W)) 164 } 165 val io = IO(new DefaultIO) 166 167 val inLatch = RegEnable(io.in, io.inFire) 168 169 // Each stage has its own logic to decide 170 // takens, brMask, jalMask, targets and hasHalfRVI 171 val takens = Wire(Vec(PredictWidth, Bool())) 172 val brMask = Wire(Vec(PredictWidth, Bool())) 173 val jalMask = Wire(Vec(PredictWidth, Bool())) 174 val targets = Wire(Vec(PredictWidth, UInt(VAddrBits.W))) 175 val hasHalfRVI = Wire(Bool()) 176 177 io.pred <> DontCare 178 io.pred.takens := takens.asUInt 179 io.pred.brMask := brMask.asUInt 180 io.pred.jalMask := jalMask.asUInt 181 io.pred.targets := targets 182 io.pred.hasHalfRVI := hasHalfRVI 183 184 io.out <> DontCare 185 io.out.pc := inLatch.pc 186 io.out.mask := inLatch.mask 187 io.out.resp <> inLatch.resp 188 io.out.brInfo := inLatch.brInfo 189 190 if (BPUDebug) { 191 val jmpIdx = io.pred.jmpIdx 192 val taken = io.pred.taken 193 val target = Mux(taken, io.pred.targets(jmpIdx), snpc(inLatch.pc)) 194 XSDebug("in(%d): pc=%x, mask=%b\n", io.inFire, io.in.pc, io.in.mask) 195 XSDebug("inLatch: pc=%x, mask=%b\n", inLatch.pc, inLatch.mask) 196 XSDebug("out(%d): pc=%x, mask=%b, taken=%d, jmpIdx=%d, target=%x, hasHalfRVI=%d\n", 197 io.outFire, io.out.pc, io.out.mask, taken, jmpIdx, target, hasHalfRVI) 198 val p = io.pred 199 } 200} 201 202@chiselName 203class BPUStage1 extends BPUStage { 204 205 // ubtb is accessed with inLatch pc in s1, 206 // so we use io.in instead of inLatch 207 val ubtbResp = io.in.resp.ubtb 208 // the read operation is already masked, so we do not need to mask here 209 takens := VecInit((0 until PredictWidth).map(i => ubtbResp.takens(i))) 210 // notTakens := VecInit((0 until PredictWidth).map(i => ubtbResp.hits(i) && !ubtbResp.takens(i) && ubtbResp.brMask(i))) 211 brMask := ubtbResp.brMask 212 jalMask := DontCare 213 targets := ubtbResp.targets 214 215 hasHalfRVI := ubtbResp.hits(PredictWidth-1) && !ubtbResp.is_RVC(PredictWidth-1) && HasCExtension.B 216 217 // resp and brInfo are from the components, 218 // so it does not need to be latched 219 io.out.resp <> io.in.resp 220 io.out.brInfo := io.in.brInfo 221 222 // For perf counters 223 if (!env.FPGAPlatform && env.EnablePerfDebug) { 224 io.out.brInfo.metas.zipWithIndex.foreach{case (meta, i) => 225 // record ubtb pred result 226 meta.ubtbAns.hit := ubtbResp.hits(i) 227 meta.ubtbAns.taken := ubtbResp.takens(i) 228 meta.ubtbAns.target := ubtbResp.targets(i) 229 } 230 } 231 232 if (BPUDebug) { 233 XSDebug(io.outFire, "outPred using ubtb resp: hits:%b, takens:%b, notTakens:%b, isRVC:%b\n", 234 ubtbResp.hits.asUInt, ubtbResp.takens.asUInt, ~ubtbResp.takens.asUInt & brMask.asUInt, ubtbResp.is_RVC.asUInt) 235 } 236 if (EnableBPUTimeRecord) { 237 io.out.brInfo.metas.map(_.debug_ubtb_cycle := GTimer()) 238 } 239} 240@chiselName 241class BPUStage2 extends BPUStage { 242 // Use latched response from s1 243 val btbResp = inLatch.resp.btb 244 val bimResp = inLatch.resp.bim 245 takens := VecInit((0 until PredictWidth).map(i => btbResp.hits(i) && (btbResp.isBrs(i) && bimResp.ctrs(i)(1) || !btbResp.isBrs(i)))) 246 targets := btbResp.targets 247 brMask := VecInit((0 until PredictWidth).map(i => btbResp.isBrs(i) && btbResp.hits(i))) 248 jalMask := DontCare 249 250 hasHalfRVI := btbResp.hits(PredictWidth-1) && !btbResp.isRVC(PredictWidth-1) && HasCExtension.B 251 252 // For perf counters 253 if (!env.FPGAPlatform && env.EnablePerfDebug) { 254 io.out.brInfo.metas.zipWithIndex.foreach{case (meta, i) => 255 // record btb pred result 256 meta.btbAns.hit := btbResp.hits(i) 257 meta.btbAns.taken := takens(i) 258 meta.btbAns.target := btbResp.targets(i) 259 } 260 } 261 262 if (BPUDebug) { 263 XSDebug(io.outFire, "outPred using btb&bim resp: hits:%b, ctrTakens:%b\n", 264 btbResp.hits.asUInt, VecInit(bimResp.ctrs.map(_(1))).asUInt) 265 } 266 if (EnableBPUTimeRecord) { 267 io.out.brInfo.metas.map(_.debug_btb_cycle := GTimer()) 268 } 269} 270@chiselName 271class BPUStage3 extends BPUStage { 272 class S3IO extends XSBundle { 273 val predecode = Input(new Predecode) 274 val redirect = Flipped(ValidIO(new Redirect)) 275 val ctrl = Input(new BPUCtrl) 276 } 277 val s3IO = IO(new S3IO) 278 // TAGE has its own pipelines and the 279 // response comes directly from s3, 280 // so we do not use those from inLatch 281 val tageResp = io.in.resp.tage 282 val tageTakens = tageResp.takens 283 284 val loopResp = io.in.resp.loop.exit 285 286 val pdMask = s3IO.predecode.mask 287 val pdLastHalf = s3IO.predecode.lastHalf 288 val pds = s3IO.predecode.pd 289 290 val btbResp = WireInit(inLatch.resp.btb) 291 val btbHits = WireInit(btbResp.hits.asUInt) 292 val bimTakens = VecInit(inLatch.resp.bim.ctrs.map(_(1))) 293 294 val brs = pdMask & Reverse(Cat(pds.map(_.isBr))) 295 val jals = pdMask & Reverse(Cat(pds.map(_.isJal))) 296 val jalrs = pdMask & Reverse(Cat(pds.map(_.isJalr))) 297 val calls = pdMask & Reverse(Cat(pds.map(_.isCall))) 298 val rets = pdMask & Reverse(Cat(pds.map(_.isRet))) 299 val RVCs = pdMask & Reverse(Cat(pds.map(_.isRVC))) 300 301 val callIdx = PriorityEncoder(calls) 302 val retIdx = PriorityEncoder(rets) 303 304 val brPred = (if(EnableBPD) tageTakens else bimTakens).asUInt 305 val loopRes = (if (EnableLoop) loopResp else VecInit(Fill(PredictWidth, 0.U(1.W)))).asUInt 306 val brTakens = ((brs & brPred) & ~loopRes) 307 // we should provide btb resp as well 308 btbHits := btbResp.hits.asUInt 309 310 // predict taken only if btb has a target, jal and br targets will be provided by IFU 311 takens := VecInit((0 until PredictWidth).map(i => jalrs(i) && btbHits(i) || (jals(i) || brTakens(i)))) 312 313 314 targets := inLatch.resp.btb.targets 315 316 brMask := WireInit(brs.asTypeOf(Vec(PredictWidth, Bool()))) 317 jalMask := WireInit(jals.asTypeOf(Vec(PredictWidth, Bool()))) 318 319 hasHalfRVI := pdLastHalf && HasCExtension.B 320 321 //RAS 322 if(EnableRAS){ 323 val ras = Module(new RAS) 324 ras.io <> DontCare 325 ras.io.pc.bits := packetAligned(inLatch.pc) 326 ras.io.pc.valid := io.outFire//predValid 327 ras.io.is_ret := rets.orR && (retIdx === io.pred.jmpIdx) 328 ras.io.callIdx.valid := calls.orR && (callIdx === io.pred.jmpIdx) 329 ras.io.callIdx.bits := callIdx 330 ras.io.isRVC := (calls & RVCs).orR //TODO: this is ugly 331 ras.io.isLastHalfRVI := s3IO.predecode.hasLastHalfRVI 332 ras.io.redirect := s3IO.redirect 333 ras.fires <> fires 334 ras.ctrl := s3IO.ctrl 335 336 for(i <- 0 until PredictWidth){ 337 io.out.brInfo.rasSp := ras.io.meta.rasSp 338 io.out.brInfo.rasTop := ras.io.meta.rasTop 339 } 340 takens := VecInit((0 until PredictWidth).map(i => { 341 (jalrs(i) && btbHits(i)) || 342 jals(i) || brTakens(i) || 343 (ras.io.out.valid && rets(i)) || 344 (!ras.io.out.valid && rets(i) && btbHits(i)) 345 } 346 )) 347 348 for (i <- 0 until PredictWidth) { 349 when(rets(i) && ras.io.out.valid){ 350 targets(i) := ras.io.out.bits.target 351 } 352 } 353 354 // For perf counters 355 if (!env.FPGAPlatform && env.EnablePerfDebug) { 356 io.out.brInfo.metas.zipWithIndex.foreach{case (meta, i) => 357 // record tage pred result 358 meta.tageAns.hit := tageResp.hits(i) 359 meta.tageAns.taken := tageResp.takens(i) 360 meta.tageAns.target := DontCare 361 362 // record ras pred result 363 meta.rasAns.hit := ras.io.out.valid 364 meta.rasAns.taken := true.B 365 meta.rasAns.target := ras.io.out.bits.target 366 367 // record loop pred result 368 meta.loopAns.hit := loopRes(i) 369 meta.loopAns.taken := false.B 370 meta.loopAns.target := DontCare 371 } 372 } 373 } 374 375 376 // Wrap tage resp and tage meta in 377 // This is ugly 378 io.out.resp.tage <> io.in.resp.tage 379 io.out.resp.loop <> io.in.resp.loop 380 for (i <- 0 until PredictWidth) { 381 io.out.brInfo.metas(i).tageMeta := io.in.brInfo.metas(i).tageMeta 382 io.out.brInfo.specCnt(i) := io.in.brInfo.specCnt(i) 383 } 384 385 if (BPUDebug) { 386 XSDebug(io.inFire, "predecode: pc:%x, mask:%b\n", inLatch.pc, s3IO.predecode.mask) 387 for (i <- 0 until PredictWidth) { 388 val p = s3IO.predecode.pd(i) 389 XSDebug(io.inFire && s3IO.predecode.mask(i), "predecode(%d): brType:%d, br:%d, jal:%d, jalr:%d, call:%d, ret:%d, RVC:%d, excType:%d\n", 390 i.U, p.brType, p.isBr, p.isJal, p.isJalr, p.isCall, p.isRet, p.isRVC, p.excType) 391 } 392 XSDebug(p"brs:${Binary(brs)} jals:${Binary(jals)} jalrs:${Binary(jalrs)} calls:${Binary(calls)} rets:${Binary(rets)} rvcs:${Binary(RVCs)}\n") 393 XSDebug(p"callIdx:${callIdx} retIdx:${retIdx}\n") 394 XSDebug(p"brPred:${Binary(brPred)} loopRes:${Binary(loopRes)} brTakens:${Binary(brTakens)}\n") 395 } 396 397 if (EnbaleCFIPredLog) { 398 val out = io.out 399 XSDebug(io.outFire, p"cfi_pred: fetchpc(${Hexadecimal(out.pc)}) mask(${out.mask}) brmask(${brMask.asUInt}) hist(${Hexadecimal(io.debug_hist)})\n") 400 } 401 402 if (EnableBPUTimeRecord) { 403 io.out.brInfo.metas.map(_.debug_tage_cycle := GTimer()) 404 } 405} 406 407trait BranchPredictorComponents extends HasXSParameter { 408 val ubtb = Module(new MicroBTB) 409 val btb = Module(new BTB) 410 val bim = Module(new BIM) 411 val tage = (if(EnableBPD) { if (EnableSC) Module(new Tage_SC) 412 else Module(new Tage) } 413 else { Module(new FakeTage) }) 414 val loop = Module(new LoopPredictor) 415 val preds = Seq(ubtb, btb, bim, tage, loop) 416 preds.map(_.io := DontCare) 417} 418 419class BPUReq extends XSBundle { 420 val pc = UInt(VAddrBits.W) 421 val hist = UInt(HistoryLength.W) 422 val inMask = UInt(PredictWidth.W) 423} 424 425class BPUCtrl extends XSBundle { 426 val ubtb_enable = Bool() 427 val btb_enable = Bool() 428 val bim_enable = Bool() 429 val tage_enable = Bool() 430 val sc_enable = Bool() 431 val ras_enable = Bool() 432 val loop_enable = Bool() 433} 434 435abstract class BaseBPU extends XSModule with BranchPredictorComponents 436 with HasBPUParameter with HasIFUConst { 437 val io = IO(new Bundle() { 438 // from backend 439 val redirect = Flipped(ValidIO(new Redirect)) 440 val ctrl = Input(new BPUCtrl) 441 val commit = Flipped(ValidIO(new FtqEntry)) 442 // from if1 443 val in = Input(new BPUReq) 444 val inFire = Input(Vec(4, Bool())) 445 // to if1 446 val in_ready = Output(Bool()) 447 // to if2/if3/if4 448 val out = Vec(3, Output(new BranchPrediction)) 449 // from if4 450 val predecode = Input(new Predecode) 451 // to if4, some bpu info used for updating 452 val brInfo = Output(new BrInfo) 453 }) 454 455 preds.map(p => { 456 p.io.update <> io.commit 457 p.fires <> io.inFire 458 p.ctrl <> io.ctrl 459 }) 460 461 io.in_ready := preds.map(p => p.in_ready).reduce(_&&_) 462 463 val s1 = Module(new BPUStage1) 464 val s2 = Module(new BPUStage2) 465 val s3 = Module(new BPUStage3) 466 467 Seq(s1, s2, s3).foreach(s => s.fires <> io.inFire) 468 469 val s1_fire = io.inFire(0) 470 val s2_fire = io.inFire(1) 471 val s3_fire = io.inFire(2) 472 val s4_fire = io.inFire(3) 473 474 s1.io.in <> DontCare 475 s2.io.in <> s1.io.out 476 s3.io.in <> s2.io.out 477 478 s1.io.inFire := s1_fire 479 s2.io.inFire := s2_fire 480 s3.io.inFire := s3_fire 481 482 s1.io.outFire := s2_fire 483 s2.io.outFire := s3_fire 484 s3.io.outFire := s4_fire 485 486 io.out(0) <> s1.io.pred 487 io.out(1) <> s2.io.pred 488 io.out(2) <> s3.io.pred 489 490 io.brInfo := s3.io.out.brInfo 491 492 if (BPUDebug) { 493 XSDebug(io.inFire(3), "bpuMeta sent!\n") 494 for (i <- 0 until PredictWidth) { 495 val b = io.brInfo.metas(i) 496 XSDebug(io.inFire(3), "brInfo(%d): btbWrWay:%d, bimCtr:%d\n", 497 i.U, b.btbWriteWay, b.bimCtr) 498 val t = b.tageMeta 499 XSDebug(io.inFire(3), " tageMeta: pvder(%d):%d, altDiffers:%d, pvderU:%d, pvderCtr:%d, allocate(%d):%d\n", 500 t.provider.valid, t.provider.bits, t.altDiffers, t.providerU, t.providerCtr, t.allocate.valid, t.allocate.bits) 501 } 502 } 503 val debug_verbose = false 504} 505 506 507class FakeBPU extends BaseBPU { 508 io.out.foreach(i => { 509 // Provide not takens 510 i <> DontCare 511 i.takens := 0.U 512 }) 513 io.brInfo <> DontCare 514} 515@chiselName 516class BPU extends BaseBPU { 517 518 //**********************Stage 1****************************// 519 520 val s1_resp_in = Wire(new PredictorResponse) 521 val s1_brInfo_in = Wire(new BrInfo) 522 523 s1_resp_in.tage := DontCare 524 s1_resp_in.loop := DontCare 525 s1_brInfo_in := DontCare 526 527 val s1_inLatch = RegEnable(io.in, s1_fire) 528 ubtb.io.pc.valid := s2_fire 529 ubtb.io.pc.bits := s1_inLatch.pc 530 ubtb.io.inMask := s1_inLatch.inMask 531 532 533 534 // Wrap ubtb response into resp_in and brInfo_in 535 s1_resp_in.ubtb <> ubtb.io.out 536 for (i <- 0 until PredictWidth) { 537 s1_brInfo_in.metas(i).ubtbHit := ubtb.io.out.hits(i) 538 } 539 540 btb.io.pc.valid := s1_fire 541 btb.io.pc.bits := io.in.pc 542 btb.io.inMask := io.in.inMask 543 544 545 546 // Wrap btb response into resp_in and brInfo_in 547 s1_resp_in.btb <> btb.io.resp 548 for (i <- 0 until PredictWidth) { 549 s1_brInfo_in.metas(i).btbWriteWay := btb.io.meta.writeWay(i) 550 s1_brInfo_in.metas(i).btbHit := btb.io.meta.hits(i) 551 } 552 553 bim.io.pc.valid := s1_fire 554 bim.io.pc.bits := io.in.pc 555 bim.io.inMask := io.in.inMask 556 557 558 // Wrap bim response into resp_in and brInfo_in 559 s1_resp_in.bim <> bim.io.resp 560 for (i <- 0 until PredictWidth) { 561 s1_brInfo_in.metas(i).bimCtr := bim.io.meta.ctrs(i) 562 } 563 564 565 s1.io.inFire := s1_fire 566 s1.io.in.pc := io.in.pc 567 s1.io.in.mask := io.in.inMask 568 s1.io.in.resp <> s1_resp_in 569 s1.io.in.brInfo <> s1_brInfo_in 570 571 val s1_hist = RegEnable(io.in.hist, enable=s1_fire) 572 val s2_hist = RegEnable(s1_hist, enable=s2_fire) 573 val s3_hist = RegEnable(s2_hist, enable=s3_fire) 574 575 s1.io.debug_hist := s1_hist 576 s2.io.debug_hist := s2_hist 577 s3.io.debug_hist := s3_hist 578 579 //**********************Stage 2****************************// 580 tage.io.pc.valid := s2_fire 581 tage.io.pc.bits := s2.io.in.pc // PC from s1 582 tage.io.hist := s1_hist // The inst is from s1 583 tage.io.inMask := s2.io.in.mask 584 tage.io.bim <> s1.io.out.resp.bim // Use bim results from s1 585 586 //**********************Stage 3****************************// 587 // Wrap tage response and meta into s3.io.in.bits 588 // This is ugly 589 590 loop.io.pc.valid := s2_fire 591 loop.io.if3_fire := s3_fire 592 loop.io.pc.bits := s2.io.in.pc 593 loop.io.inMask := io.predecode.mask 594 loop.io.respIn.taken := s3.io.pred.taken 595 loop.io.respIn.jmpIdx := s3.io.pred.jmpIdx 596 loop.io.redirect := s3.s3IO.redirect 597 598 599 s3.io.in.resp.tage <> tage.io.resp 600 s3.io.in.resp.loop <> loop.io.resp 601 for (i <- 0 until PredictWidth) { 602 s3.io.in.brInfo.metas(i).tageMeta := tage.io.meta(i) 603 s3.io.in.brInfo.specCnt(i) := loop.io.meta.specCnts(i) 604 } 605 606 s3.s3IO.predecode <> io.predecode 607 s3.s3IO.redirect <> io.redirect 608 s3.s3IO.ctrl <> io.ctrl 609 610 611 if (BPUDebug) { 612 if (debug_verbose) { 613 val uo = ubtb.io.out 614 XSDebug("debug: ubtb hits:%b, takens:%b, notTakens:%b\n", uo.hits.asUInt, uo.takens.asUInt, ~uo.takens.asUInt & uo.brMask.asUInt) 615 val bio = bim.io.resp 616 XSDebug("debug: bim takens:%b\n", VecInit(bio.ctrs.map(_(1))).asUInt) 617 val bo = btb.io.resp 618 XSDebug("debug: btb hits:%b\n", bo.hits.asUInt) 619 } 620 } 621 622 623 624 if (EnableCFICommitLog) { 625 val buValid = io.commit.valid 626 val buinfo = io.commit.bits 627 for (i <- 0 until PredictWidth) { 628 val cfi_idx = buinfo.cfiIndex 629 val isTaken = cfi_idx.valid && cfi_idx.bits === i.U 630 val isCfi = buinfo.valids(i) && (buinfo.br_mask(i) || cfi_idx.valid && cfi_idx.bits === i.U) 631 val isBr = buinfo.br_mask(i) 632 val pc = packetAligned(buinfo.ftqPC) + (i * instBytes).U - Mux((i==0).B && buinfo.hasLastPrev, 2.U, 0.U) 633 val tage_cycle = buinfo.metas(i).debug_tage_cycle 634 XSDebug(buValid && isCfi, p"cfi_update: isBr(${isBr}) pc(${Hexadecimal(pc)}) taken(${isTaken}) mispred(${buinfo.mispred(i)}) cycle($tage_cycle) hist(${Hexadecimal(buinfo.predHist.asUInt)})\n") 635 } 636 } 637 638} 639 640object BPU{ 641 def apply(enableBPU: Boolean = true) = { 642 if(enableBPU) { 643 val BPU = Module(new BPU) 644 BPU 645 } 646 else { 647 val FakeBPU = Module(new FakeBPU) 648 FakeBPU 649 } 650 } 651} 652