1package xiangshan.frontend 2 3import chisel3._ 4import chisel3.util._ 5import utils._ 6import xiangshan._ 7import xiangshan.backend.ALUOpType 8import xiangshan.backend.JumpOpType 9 10class TableAddr(val idxBits: Int, val banks: Int) extends XSBundle { 11 def tagBits = VAddrBits - idxBits - 1 12 13 val tag = UInt(tagBits.W) 14 val idx = UInt(idxBits.W) 15 val offset = UInt(1.W) 16 17 def fromUInt(x: UInt) = x.asTypeOf(UInt(VAddrBits.W)).asTypeOf(this) 18 def getTag(x: UInt) = fromUInt(x).tag 19 def getIdx(x: UInt) = fromUInt(x).idx 20 def getBank(x: UInt) = getIdx(x)(log2Up(banks) - 1, 0) 21 def getBankIdx(x: UInt) = getIdx(x)(idxBits - 1, log2Up(banks)) 22} 23 24class PredictorResponse extends XSBundle { 25 class UbtbResp extends XSBundle { 26 // the valid bits indicates whether a target is hit 27 val targets = Vec(PredictWidth, UInt(VAddrBits.W)) 28 val hits = Vec(PredictWidth, Bool()) 29 val takens = Vec(PredictWidth, Bool()) 30 val notTakens = Vec(PredictWidth, Bool()) 31 val is_RVC = Vec(PredictWidth, Bool()) 32 } 33 class BtbResp extends XSBundle { 34 // the valid bits indicates whether a target is hit 35 val targets = Vec(PredictWidth, UInt(VAddrBits.W)) 36 val hits = Vec(PredictWidth, Bool()) 37 val types = Vec(PredictWidth, UInt(2.W)) 38 val isRVC = Vec(PredictWidth, Bool()) 39 } 40 class BimResp extends XSBundle { 41 val ctrs = Vec(PredictWidth, UInt(2.W)) 42 } 43 class TageResp extends XSBundle { 44 // the valid bits indicates whether a prediction is hit 45 val takens = Vec(PredictWidth, Bool()) 46 val hits = Vec(PredictWidth, Bool()) 47 } 48 49 val ubtb = new UbtbResp 50 val btb = new BtbResp 51 val bim = new BimResp 52 val tage = new TageResp 53} 54 55abstract class BasePredictor extends XSModule { 56 val metaLen = 0 57 58 // An implementation MUST extend the IO bundle with a response 59 // and the special input from other predictors, as well as 60 // the metas to store in BRQ 61 abstract class Resp extends XSBundle {} 62 abstract class FromOthers extends XSBundle {} 63 abstract class Meta extends XSBundle {} 64 65 class DefaultBasePredictorIO extends XSBundle { 66 val flush = Input(Bool()) 67 val pc = Flipped(ValidIO(UInt(VAddrBits.W))) 68 val hist = Input(UInt(HistoryLength.W)) 69 val inMask = Input(UInt(PredictWidth.W)) 70 val update = Flipped(ValidIO(new BranchUpdateInfoWithHist)) 71 } 72 73 val io = new DefaultBasePredictorIO 74 75 // circular shifting 76 def circularShiftLeft(source: UInt, len: Int, shamt: UInt): UInt = { 77 val res = Wire(UInt(len.W)) 78 val higher = source << shamt 79 val lower = source >> (len.U - shamt) 80 res := higher | lower 81 res 82 } 83 84 def circularShiftRight(source: UInt, len: Int, shamt: UInt): UInt = { 85 val res = Wire(UInt(len.W)) 86 val higher = source << (len.U - shamt) 87 val lower = source >> shamt 88 res := higher | lower 89 res 90 } 91} 92 93class BPUStageIO extends XSBundle { 94 val pc = UInt(VAddrBits.W) 95 val mask = UInt(PredictWidth.W) 96 val resp = new PredictorResponse 97 val target = UInt(VAddrBits.W) 98 val brInfo = Vec(PredictWidth, new BranchInfo) 99} 100 101 102abstract class BPUStage extends XSModule { 103 class DefaultIO extends XSBundle { 104 val flush = Input(Bool()) 105 val in = Flipped(Decoupled(new BPUStageIO)) 106 val pred = Decoupled(new BranchPrediction) 107 val out = Decoupled(new BPUStageIO) 108 val predecode = Flipped(ValidIO(new Predecode)) 109 val recover = Flipped(ValidIO(new BranchUpdateInfo)) 110 111 } 112 val io = IO(new DefaultIO) 113 114 val predValid = RegInit(false.B) 115 116 io.in.ready := !predValid || io.out.fire() && io.pred.fire() || io.flush 117 118 def npc(pc: UInt, instCount: UInt) = pc + (instCount << 1.U) 119 120 val inFire = io.in.fire() 121 val inLatch = RegEnable(io.in.bits, inFire) 122 123 val outFire = io.out.fire() 124 125 // Each stage has its own logic to decide 126 // takens, notTakens and target 127 128 val takens = Wire(Vec(PredictWidth, Bool())) 129 val notTakens = Wire(Vec(PredictWidth, Bool())) 130 val jmpIdx = PriorityEncoder(takens) 131 val hasNTBr = (0 until PredictWidth).map(i => i.U <= jmpIdx && notTakens(i)).reduce(_||_) 132 val taken = takens.reduce(_||_) 133 // get the last valid inst 134 // val lastValidPos = MuxCase(0.U, (PredictWidth-1 to 0).map(i => (inLatch.mask(i), i.U))) 135 val lastValidPos = PriorityMux(Reverse(inLatch.mask), (PredictWidth-1 to 0 by -1).map(i => i.U)) 136 val lastHit = Wire(Bool()) 137 val lastIsRVC = Wire(Bool()) 138 // val lastValidPos = WireInit(0.U(log2Up(PredictWidth).W)) 139 // for (i <- 0 until PredictWidth) { 140 // when (inLatch.mask(i)) { lastValidPos := i.U } 141 // } 142 val targetSrc = Wire(Vec(PredictWidth, UInt(VAddrBits.W))) 143 val target = Mux(taken, targetSrc(jmpIdx), npc(inLatch.pc, PopCount(inLatch.mask))) 144 145 io.pred.bits <> DontCare 146 io.pred.bits.redirect := target =/= inLatch.target 147 io.pred.bits.taken := taken 148 io.pred.bits.jmpIdx := jmpIdx 149 io.pred.bits.hasNotTakenBrs := hasNTBr 150 io.pred.bits.target := target 151 io.pred.bits.saveHalfRVI := ((lastValidPos === jmpIdx && taken) || !taken ) && !lastIsRVC && lastHit 152 153 io.out.bits <> DontCare 154 io.out.bits.pc := inLatch.pc 155 io.out.bits.mask := inLatch.mask 156 io.out.bits.target := target 157 io.out.bits.resp <> inLatch.resp 158 io.out.bits.brInfo := inLatch.brInfo 159 160 // Default logic 161 // pred.ready not taken into consideration 162 // could be broken 163 when (io.flush) { predValid := false.B } 164 .elsewhen (inFire) { predValid := true.B } 165 .elsewhen (outFire) { predValid := false.B } 166 .otherwise { predValid := predValid } 167 168 io.out.valid := predValid && !io.flush 169 io.pred.valid := predValid && !io.flush 170 171 XSDebug(io.in.fire(), "in:(%d %d) pc=%x, mask=%b, target=%x\n", 172 io.in.valid, io.in.ready, io.in.bits.pc, io.in.bits.mask, io.in.bits.target) 173 XSDebug(io.out.fire(), "out:(%d %d) pc=%x, mask=%b, target=%x\n", 174 io.out.valid, io.out.ready, io.out.bits.pc, io.out.bits.mask, io.out.bits.target) 175 XSDebug("flush=%d\n", io.flush) 176 XSDebug("taken=%d, takens=%b, notTakens=%b, jmpIdx=%d, hasNTBr=%d, lastValidPos=%d, target=%x\n", 177 taken, takens.asUInt, notTakens.asUInt, jmpIdx, hasNTBr, lastValidPos, target) 178 val p = io.pred.bits 179 XSDebug(io.pred.fire(), "outPred: redirect=%d, taken=%d, jmpIdx=%d, hasNTBrs=%d, target=%x, saveHalfRVI=%d\n", 180 p.redirect, p.taken, p.jmpIdx, p.hasNotTakenBrs, p.target, p.saveHalfRVI) 181 XSDebug(io.pred.fire() && p.taken, "outPredTaken: fetchPC:%x, jmpPC:%x\n", 182 inLatch.pc, inLatch.pc + (jmpIdx << 1.U)) 183 XSDebug(io.pred.fire() && p.redirect, "outPred: previous target:%x redirected to %x \n", 184 inLatch.target, p.target) 185 XSDebug(io.pred.fire(), "outPred targetSrc: ") 186 for (i <- 0 until PredictWidth) { 187 XSDebug(false, io.pred.fire(), "(%d):%x ", i.U, targetSrc(i)) 188 } 189 XSDebug(false, io.pred.fire(), "\n") 190} 191 192class BPUStage1 extends BPUStage { 193 194 // 'overrides' default logic 195 // when flush, the prediction should also starts 196 when (inFire) { predValid := true.B } 197 .elsewhen (io.flush) { predValid := false.B } 198 .elsewhen (outFire) { predValid := false.B } 199 .otherwise { predValid := predValid } 200 // io.out.valid := predValid 201 202 // ubtb is accessed with inLatch pc in s1, 203 // so we use io.in instead of inLatch 204 val ubtbResp = io.in.bits.resp.ubtb 205 // the read operation is already masked, so we do not need to mask here 206 takens := VecInit((0 until PredictWidth).map(i => ubtbResp.hits(i) && ubtbResp.takens(i))) 207 notTakens := VecInit((0 until PredictWidth).map(i => ubtbResp.hits(i) && ubtbResp.notTakens(i))) 208 targetSrc := ubtbResp.targets 209 210 lastIsRVC := ubtbResp.is_RVC(lastValidPos) 211 lastHit := ubtbResp.hits(lastValidPos) 212 213 // resp and brInfo are from the components, 214 // so it does not need to be latched 215 io.out.bits.resp <> io.in.bits.resp 216 io.out.bits.brInfo := io.in.bits.brInfo 217 218 XSDebug(io.pred.fire(), "outPred using ubtb resp: hits:%b, takens:%b, notTakens:%b, isRVC:%b\n", 219 ubtbResp.hits.asUInt, ubtbResp.takens.asUInt, ubtbResp.notTakens.asUInt, ubtbResp.is_RVC.asUInt) 220} 221 222class BPUStage2 extends BPUStage { 223 224 // Use latched response from s1 225 val btbResp = inLatch.resp.btb 226 val bimResp = inLatch.resp.bim 227 takens := VecInit((0 until PredictWidth).map(i => btbResp.hits(i) && (btbResp.types(i) === BTBtype.B && bimResp.ctrs(i)(1) || btbResp.types(i) =/= BTBtype.B))) 228 notTakens := VecInit((0 until PredictWidth).map(i => btbResp.hits(i) && btbResp.types(i) === BTBtype.B && !bimResp.ctrs(i)(1))) 229 targetSrc := btbResp.targets 230 231 lastIsRVC := btbResp.isRVC(lastValidPos) 232 lastHit := btbResp.hits(lastValidPos) 233 234 XSDebug(io.pred.fire(), "outPred using btb&bim resp: hits:%b, ctrTakens:%b\n", 235 btbResp.hits.asUInt, VecInit(bimResp.ctrs.map(_(1))).asUInt) 236} 237 238class BPUStage3 extends BPUStage { 239 240 241 io.out.valid := predValid && io.predecode.valid && !io.flush 242 // TAGE has its own pipelines and the 243 // response comes directly from s3, 244 // so we do not use those from inLatch 245 val tageResp = io.in.bits.resp.tage 246 val tageValidTakens = VecInit((0 until PredictWidth).map( i => tageResp.takens(i) && tageResp.hits(i))) 247 248 val pdMask = io.predecode.bits.mask 249 val pds = io.predecode.bits.pd 250 251 val btbHits = inLatch.resp.btb.hits.asUInt 252 val bimTakens = VecInit(inLatch.resp.bim.ctrs.map(_(1))) 253 254 val brs = pdMask & Reverse(Cat(pds.map(_.isBr))) 255 val jals = pdMask & Reverse(Cat(pds.map(_.isJal))) 256 val jalrs = pdMask & Reverse(Cat(pds.map(_.isJalr))) 257 val calls = pdMask & Reverse(Cat(pds.map(_.isCall))) 258 val rets = pdMask & Reverse(Cat(pds.map(_.isRet))) 259 val RVCs = pdMask & Reverse(Cat(pds.map(_.isRVC))) 260 261 val callIdx = PriorityEncoder(calls) 262 val retIdx = PriorityEncoder(rets) 263 264 //RAS 265 val ras = Module(new RAS) 266 ras.io <> DontCare 267 ras.io.pc.bits := inLatch.pc 268 ras.io.pc.valid := io.out.fire()//predValid 269 ras.io.is_ret := rets.orR && (retIdx === jmpIdx) && io.predecode.valid 270 ras.io.callIdx.valid := calls.orR && (callIdx === jmpIdx) && io.predecode.valid 271 ras.io.callIdx.bits := callIdx 272 ras.io.isRVC := (calls & RVCs).orR //TODO: this is ugly 273 ras.io.recover := io.recover 274 275 for(i <- 0 until PredictWidth){ 276 io.out.bits.brInfo(i).rasSp := ras.io.branchInfo.rasSp 277 io.out.bits.brInfo(i).rasTopCtr := ras.io.branchInfo.rasTopCtr 278 } 279 280 val brTakens = 281 if (EnableBPD) { 282 brs & Reverse(Cat((0 until PredictWidth).map(i => tageValidTakens(i)))) 283 } else { 284 brs & Reverse(Cat((0 until PredictWidth).map(i => bimTakens(i)))) 285 } 286 287 // predict taken only if btb has a target 288 takens := VecInit((0 until PredictWidth).map(i => (brTakens(i) || jalrs(i)) && btbHits(i) || jals(i)|| rets(i))) 289 // Whether should we count in branches that are not recorded in btb? 290 // PS: Currently counted in. Whenever tage does not provide a valid 291 // taken prediction, the branch is counted as a not taken branch 292 notTakens := (if (EnableBPD) { VecInit((0 until PredictWidth).map(i => brs(i) && !tageValidTakens(i)))} 293 else { VecInit((0 until PredictWidth).map(i => brs(i) && !bimTakens(i)))}) 294 targetSrc := inLatch.resp.btb.targets 295 when(ras.io.is_ret && ras.io.out.valid){targetSrc(retIdx) := ras.io.out.bits.target} 296 lastIsRVC := pds(lastValidPos).isRVC 297 when (lastValidPos === 1.U) { 298 lastHit := pdMask(1) | 299 !pdMask(0) & !pdMask(1) | 300 pdMask(0) & !pdMask(1) & (pds(0).isRVC | !io.predecode.bits.isFetchpcEqualFirstpc) 301 }.elsewhen (lastValidPos > 0.U) { 302 lastHit := pdMask(lastValidPos) | 303 !pdMask(lastValidPos - 1.U) & !pdMask(lastValidPos) | 304 pdMask(lastValidPos - 1.U) & !pdMask(lastValidPos) & pds(lastValidPos - 1.U).isRVC 305 }.otherwise { 306 lastHit := pdMask(0) | !pdMask(0) & !pds(0).isRVC 307 } 308 309 // Wrap tage resp and tage meta in 310 // This is ugly 311 io.out.bits.resp.tage <> io.in.bits.resp.tage 312 for (i <- 0 until PredictWidth) { 313 io.out.bits.brInfo(i).tageMeta := io.in.bits.brInfo(i).tageMeta 314 } 315 316 XSDebug(io.predecode.valid, "predecode: pc:%x, mask:%b\n", inLatch.pc, io.predecode.bits.mask) 317 for (i <- 0 until PredictWidth) { 318 val p = io.predecode.bits.pd(i) 319 XSDebug(io.predecode.valid && io.predecode.bits.mask(i), "predecode(%d): brType:%d, br:%d, jal:%d, jalr:%d, call:%d, ret:%d, RVC:%d, excType:%d\n", 320 i.U, p.brType, p.isBr, p.isJal, p.isJalr, p.isCall, p.isRet, p.isRVC, p.excType) 321 } 322} 323 324trait BranchPredictorComponents extends HasXSParameter { 325 val ubtb = Module(new MicroBTB) 326 val btb = Module(new BTB) 327 val bim = Module(new BIM) 328 val tage = (if(EnableBPD) { Module(new Tage) } 329 else { Module(new FakeTage) }) 330 val preds = Seq(ubtb, btb, bim, tage) 331 preds.map(_.io := DontCare) 332} 333 334class BPUReq extends XSBundle { 335 val pc = UInt(VAddrBits.W) 336 val hist = UInt(HistoryLength.W) 337 val inMask = UInt(PredictWidth.W) 338} 339 340class BranchUpdateInfoWithHist extends XSBundle { 341 val ui = new BranchUpdateInfo 342 val hist = UInt(HistoryLength.W) 343} 344 345object BranchUpdateInfoWithHist { 346 def apply (brInfo: BranchUpdateInfo, hist: UInt) = { 347 val b = Wire(new BranchUpdateInfoWithHist) 348 b.ui <> brInfo 349 b.hist := hist 350 b 351 } 352} 353 354abstract class BaseBPU extends XSModule with BranchPredictorComponents{ 355 val io = IO(new Bundle() { 356 // from backend 357 val inOrderBrInfo = Flipped(ValidIO(new BranchUpdateInfoWithHist)) 358 val outOfOrderBrInfo = Flipped(ValidIO(new BranchUpdateInfoWithHist)) 359 // from ifu, frontend redirect 360 val flush = Input(Vec(3, Bool())) 361 // from if1 362 val in = Flipped(ValidIO(new BPUReq)) 363 // to if2/if3/if4 364 val out = Vec(3, Decoupled(new BranchPrediction)) 365 // from if4 366 val predecode = Flipped(ValidIO(new Predecode)) 367 // to if4, some bpu info used for updating 368 val branchInfo = Decoupled(Vec(PredictWidth, new BranchInfo)) 369 }) 370 371 def npc(pc: UInt, instCount: UInt) = pc + (instCount << 1.U) 372 373 preds.map(_.io.update <> io.outOfOrderBrInfo) 374 tage.io.update <> io.inOrderBrInfo 375 376 val s1 = Module(new BPUStage1) 377 val s2 = Module(new BPUStage2) 378 val s3 = Module(new BPUStage3) 379 380 s1.io.flush := io.flush(0) 381 s2.io.flush := io.flush(1) 382 s3.io.flush := io.flush(2) 383 384 s1.io.in <> DontCare 385 s2.io.in <> s1.io.out 386 s3.io.in <> s2.io.out 387 388 io.out(0) <> s1.io.pred 389 io.out(1) <> s2.io.pred 390 io.out(2) <> s3.io.pred 391 392 s1.io.predecode <> DontCare 393 s2.io.predecode <> DontCare 394 s3.io.predecode <> io.predecode 395 396 io.branchInfo.valid := s3.io.out.valid 397 io.branchInfo.bits := s3.io.out.bits.brInfo 398 s3.io.out.ready := io.branchInfo.ready 399 400 s1.io.recover <> DontCare 401 s2.io.recover <> DontCare 402 s3.io.recover.valid <> io.inOrderBrInfo.valid 403 s3.io.recover.bits <> io.inOrderBrInfo.bits.ui 404 405 XSDebug(io.branchInfo.fire(), "branchInfo sent!\n") 406 for (i <- 0 until PredictWidth) { 407 val b = io.branchInfo.bits(i) 408 XSDebug(io.branchInfo.fire(), "brInfo(%d): ubtbWrWay:%d, ubtbHit:%d, btbWrWay:%d, bimCtr:%d\n", 409 i.U, b.ubtbWriteWay, b.ubtbHits, b.btbWriteWay, b.bimCtr) 410 val t = b.tageMeta 411 XSDebug(io.branchInfo.fire(), " tageMeta: pvder(%d):%d, altDiffers:%d, pvderU:%d, pvderCtr:%d, allocate(%d):%d\n", 412 t.provider.valid, t.provider.bits, t.altDiffers, t.providerU, t.providerCtr, t.allocate.valid, t.allocate.bits) 413 } 414 val debug_verbose = false 415} 416 417 418class FakeBPU extends BaseBPU { 419 io.out.foreach(i => { 420 // Provide not takens 421 i.valid := true.B 422 i.bits <> DontCare 423 i.bits.redirect := false.B 424 }) 425 io.branchInfo <> DontCare 426} 427 428class BPU extends BaseBPU { 429 430 //**********************Stage 1****************************// 431 val s1_fire = s1.io.in.fire() 432 val s1_resp_in = Wire(new PredictorResponse) 433 val s1_brInfo_in = Wire(Vec(PredictWidth, new BranchInfo)) 434 435 s1_resp_in.tage := DontCare 436 s1_brInfo_in := DontCare 437 438 val s1_inLatch = RegEnable(io.in, s1_fire) 439 ubtb.io.flush := io.flush(0) // TODO: fix this 440 ubtb.io.pc.valid := s1_inLatch.valid 441 ubtb.io.pc.bits := s1_inLatch.bits.pc 442 ubtb.io.inMask := s1_inLatch.bits.inMask 443 444 445 446 // Wrap ubtb response into resp_in and brInfo_in 447 s1_resp_in.ubtb <> ubtb.io.out 448 for (i <- 0 until PredictWidth) { 449 s1_brInfo_in(i).ubtbWriteWay := ubtb.io.uBTBBranchInfo.writeWay(i) 450 s1_brInfo_in(i).ubtbHits := ubtb.io.uBTBBranchInfo.hits(i) 451 } 452 453 btb.io.flush := io.flush(0) // TODO: fix this 454 btb.io.pc.valid := io.in.valid 455 btb.io.pc.bits := io.in.bits.pc 456 btb.io.inMask := io.in.bits.inMask 457 458 459 460 // Wrap btb response into resp_in and brInfo_in 461 s1_resp_in.btb <> btb.io.resp 462 for (i <- 0 until PredictWidth) { 463 s1_brInfo_in(i).btbWriteWay := btb.io.meta.writeWay(i) 464 s1_brInfo_in(i).btbHitJal := btb.io.meta.hitJal(i) 465 } 466 467 bim.io.flush := io.flush(0) // TODO: fix this 468 bim.io.pc.valid := io.in.valid 469 bim.io.pc.bits := io.in.bits.pc 470 bim.io.inMask := io.in.bits.inMask 471 472 473 // Wrap bim response into resp_in and brInfo_in 474 s1_resp_in.bim <> bim.io.resp 475 for (i <- 0 until PredictWidth) { 476 s1_brInfo_in(i).bimCtr := bim.io.meta.ctrs(i) 477 } 478 479 480 s1.io.in.valid := io.in.valid 481 s1.io.in.bits.pc := io.in.bits.pc 482 s1.io.in.bits.mask := io.in.bits.inMask 483 s1.io.in.bits.target := npc(io.in.bits.pc, PopCount(io.in.bits.inMask)) // Deault target npc 484 s1.io.in.bits.resp <> s1_resp_in 485 s1.io.in.bits.brInfo <> s1_brInfo_in 486 487 //**********************Stage 2****************************// 488 tage.io.flush := io.flush(1) // TODO: fix this 489 tage.io.pc.valid := s1.io.out.fire() 490 tage.io.pc.bits := s1.io.out.bits.pc // PC from s1 491 tage.io.hist := io.in.bits.hist // The inst is from s1 492 tage.io.inMask := s1.io.out.bits.mask 493 tage.io.s3Fire := s3.io.in.fire() // Tell tage to march 1 stage 494 tage.io.bim <> s1.io.out.bits.resp.bim // Use bim results from s1 495 496 //**********************Stage 3****************************// 497 // Wrap tage response and meta into s3.io.in.bits 498 // This is ugly 499 500 s3.io.in.bits.resp.tage <> tage.io.resp 501 for (i <- 0 until PredictWidth) { 502 s3.io.in.bits.brInfo(i).tageMeta := tage.io.meta(i) 503 } 504 505 if (debug_verbose) { 506 val uo = ubtb.io.out 507 XSDebug("debug: ubtb hits:%b, takens:%b, notTakens:%b\n", uo.hits.asUInt, uo.takens.asUInt, uo.notTakens.asUInt) 508 val bio = bim.io.resp 509 XSDebug("debug: bim takens:%b\n", VecInit(bio.ctrs.map(_(1))).asUInt) 510 val bo = btb.io.resp 511 XSDebug("debug: btb hits:%b\n", bo.hits.asUInt) 512 } 513 514} 515