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.util._ 2209c6f1ddSLingrui98import xiangshan._ 2309c6f1ddSLingrui98import utils._ 2409c6f1ddSLingrui98import chisel3.experimental.chiselName 2509c6f1ddSLingrui98 2609c6f1ddSLingrui98trait BimParams extends HasXSParameter { 2709c6f1ddSLingrui98 val bimSize = 2048 2809c6f1ddSLingrui98 val bypassEntries = 4 2909c6f1ddSLingrui98} 3009c6f1ddSLingrui98 3109c6f1ddSLingrui98@chiselName 3209c6f1ddSLingrui98class BIM(implicit p: Parameters) extends BasePredictor with BimParams with BPUUtils { 3309c6f1ddSLingrui98 val bimAddr = new TableAddr(log2Up(bimSize), 1) 3409c6f1ddSLingrui98 3509c6f1ddSLingrui98 val bim = Module(new SRAMTemplate(UInt(2.W), set = bimSize, way=numBr, shouldReset = false, holdRead = true)) 3609c6f1ddSLingrui98 3709c6f1ddSLingrui98 val doing_reset = RegInit(true.B) 3809c6f1ddSLingrui98 val resetRow = RegInit(0.U(log2Ceil(bimSize).W)) 3909c6f1ddSLingrui98 resetRow := resetRow + doing_reset 4009c6f1ddSLingrui98 when (resetRow === (bimSize-1).U) { doing_reset := false.B } 4109c6f1ddSLingrui98 4209c6f1ddSLingrui98 val s0_idx = bimAddr.getIdx(s0_pc) 4309c6f1ddSLingrui98 4409c6f1ddSLingrui98 bim.io.r.req.valid := io.s0_fire 4509c6f1ddSLingrui98 bim.io.r.req.bits.setIdx := s0_idx 4609c6f1ddSLingrui98 4709c6f1ddSLingrui98 io.in.ready := bim.io.r.req.ready 4809c6f1ddSLingrui98 io.s1_ready := bim.io.r.req.ready 4909c6f1ddSLingrui98 5009c6f1ddSLingrui98 val s1_read = bim.io.r.resp.data 5109c6f1ddSLingrui98 5209c6f1ddSLingrui98 io.out.resp := io.in.bits.resp_in(0) 5309c6f1ddSLingrui98 5409c6f1ddSLingrui98 val s1_latch_taken_mask = VecInit(Cat((0 until numBr reverse).map(i => s1_read(i)(1))).asBools()) 5509c6f1ddSLingrui98 val s1_latch_meta = s1_read.asUInt() 5609c6f1ddSLingrui98 override val meta_size = s1_latch_meta.getWidth 5709c6f1ddSLingrui98 58*eeb5ff92SLingrui98 io.out.resp.s1.preds.br_taken_mask := s1_latch_taken_mask 59*eeb5ff92SLingrui98 io.out.resp.s2.preds.br_taken_mask := RegEnable(s1_latch_taken_mask, 0.U.asTypeOf(Vec(numBr, Bool())), io.s1_fire) 6009c6f1ddSLingrui98 61*eeb5ff92SLingrui98 io.out.resp.s3.preds.br_taken_mask := RegEnable(RegEnable(s1_latch_taken_mask, io.s1_fire), io.s2_fire) 6209c6f1ddSLingrui98 io.out.s3_meta := RegEnable(RegEnable(s1_latch_meta, io.s1_fire), io.s2_fire) 6309c6f1ddSLingrui98 6409c6f1ddSLingrui98 // Update logic 6509c6f1ddSLingrui98 val u_valid = RegNext(io.update.valid) 6609c6f1ddSLingrui98 val update = RegNext(io.update.bits) 6709c6f1ddSLingrui98 6809c6f1ddSLingrui98 val u_idx = bimAddr.getIdx(update.pc) 6909c6f1ddSLingrui98 7009c6f1ddSLingrui98 // Bypass logic 7109c6f1ddSLingrui98 val wrbypass_ctrs = RegInit(0.U.asTypeOf(Vec(bypassEntries, Vec(numBr, UInt(2.W))))) 7209c6f1ddSLingrui98 val wrbypass_ctr_valids = RegInit(0.U.asTypeOf(Vec(bypassEntries, Vec(numBr, Bool())))) 7309c6f1ddSLingrui98 val wrbypass_idx = RegInit(0.U.asTypeOf(Vec(bypassEntries, UInt(log2Up(bimSize).W)))) 7409c6f1ddSLingrui98 val wrbypass_enq_ptr = RegInit(0.U(log2Up(bypassEntries).W)) 7509c6f1ddSLingrui98 7609c6f1ddSLingrui98 val wrbypass_hits = VecInit((0 until bypassEntries).map(i => 7709c6f1ddSLingrui98 !doing_reset && wrbypass_idx(i) === u_idx)) 7809c6f1ddSLingrui98 val wrbypass_hit = wrbypass_hits.reduce(_||_) 7909c6f1ddSLingrui98 val wrbypass_hit_idx = PriorityEncoder(wrbypass_hits) 8009c6f1ddSLingrui98 8109c6f1ddSLingrui98 val oldCtrs = VecInit((0 until numBr).map(i => 8209c6f1ddSLingrui98 Mux(wrbypass_hit && wrbypass_ctr_valids(wrbypass_hit_idx)(i), 8309c6f1ddSLingrui98 wrbypass_ctrs(wrbypass_hit_idx)(i), update.meta(2*i+1, 2*i)))) 8409c6f1ddSLingrui98 85*eeb5ff92SLingrui98 val newTakens = update.preds.br_taken_mask 8609c6f1ddSLingrui98 val newCtrs = VecInit((0 until numBr).map(i => 8709c6f1ddSLingrui98 satUpdate(oldCtrs(i), 2, newTakens(i)) 8809c6f1ddSLingrui98 )) 8909c6f1ddSLingrui98 90*eeb5ff92SLingrui98 val update_mask = LowerMask(PriorityEncoderOH(update.preds.br_taken_mask.asUInt)) 9109c6f1ddSLingrui98 val need_to_update = VecInit((0 until numBr).map(i => u_valid && update.ftb_entry.brValids(i) && update_mask(i))) 9209c6f1ddSLingrui98 9309c6f1ddSLingrui98 when (reset.asBool) { wrbypass_ctr_valids.foreach(_ := VecInit(Seq.fill(numBr)(false.B)))} 9409c6f1ddSLingrui98 9509c6f1ddSLingrui98 for (i <- 0 until numBr) { 9609c6f1ddSLingrui98 when(need_to_update.reduce(_||_)) { 9709c6f1ddSLingrui98 when(wrbypass_hit) { 9809c6f1ddSLingrui98 when(need_to_update(i)) { 9909c6f1ddSLingrui98 wrbypass_ctrs(wrbypass_hit_idx)(i) := newCtrs(i) 10009c6f1ddSLingrui98 wrbypass_ctr_valids(wrbypass_hit_idx)(i) := true.B 10109c6f1ddSLingrui98 } 10209c6f1ddSLingrui98 }.otherwise { 10309c6f1ddSLingrui98 wrbypass_ctr_valids(wrbypass_enq_ptr)(i) := false.B 10409c6f1ddSLingrui98 when(need_to_update(i)) { 10509c6f1ddSLingrui98 wrbypass_ctrs(wrbypass_enq_ptr)(i) := newCtrs(i) 10609c6f1ddSLingrui98 wrbypass_ctr_valids(wrbypass_enq_ptr)(i) := true.B 10709c6f1ddSLingrui98 } 10809c6f1ddSLingrui98 } 10909c6f1ddSLingrui98 } 11009c6f1ddSLingrui98 } 11109c6f1ddSLingrui98 11209c6f1ddSLingrui98 when (need_to_update.reduce(_||_) && !wrbypass_hit) { 11309c6f1ddSLingrui98 wrbypass_idx(wrbypass_enq_ptr) := u_idx 11409c6f1ddSLingrui98 wrbypass_enq_ptr := (wrbypass_enq_ptr + 1.U)(log2Up(bypassEntries)-1, 0) 11509c6f1ddSLingrui98 } 11609c6f1ddSLingrui98 11709c6f1ddSLingrui98 bim.io.w.apply( 11809c6f1ddSLingrui98 valid = need_to_update.asUInt.orR || doing_reset, 11909c6f1ddSLingrui98 data = Mux(doing_reset, VecInit(Seq.fill(numBr)(2.U(2.W))), newCtrs), 12009c6f1ddSLingrui98 setIdx = Mux(doing_reset, resetRow, u_idx), 12109c6f1ddSLingrui98 waymask = Mux(doing_reset, Fill(numBr, 1.U(1.W)).asUInt(), need_to_update.asUInt()) 12209c6f1ddSLingrui98 ) 12309c6f1ddSLingrui98 12409c6f1ddSLingrui98 val latch_s0_fire = RegNext(io.s0_fire) 12509c6f1ddSLingrui98 12609c6f1ddSLingrui98 XSDebug(doing_reset, "Doing reset...\n") 12709c6f1ddSLingrui98 12809c6f1ddSLingrui98 XSDebug(io.s0_fire, "req_pc=%x, req_idx=%d\n", s0_pc, s0_idx) 12909c6f1ddSLingrui98 13009c6f1ddSLingrui98 for(i <- 0 until numBr) { 13109c6f1ddSLingrui98 XSDebug(latch_s0_fire, "last_cycle req %d: ctr=%b\n", i.U, s1_read(i)) 13209c6f1ddSLingrui98 } 13309c6f1ddSLingrui98 13409c6f1ddSLingrui98 XSDebug(u_valid, "update_pc=%x, update_idx=%d, is_br=%b\n", update.pc, u_idx, update.ftb_entry.brValids.asUInt) 13509c6f1ddSLingrui98 13609c6f1ddSLingrui98 XSDebug(u_valid, "newTakens=%b\n", newTakens.asUInt) 13709c6f1ddSLingrui98 13809c6f1ddSLingrui98 for(i <- 0 until numBr) { 13909c6f1ddSLingrui98 XSDebug(u_valid, "oldCtrs%d=%b\n", i.U, oldCtrs(i)) 14009c6f1ddSLingrui98 } 14109c6f1ddSLingrui98 14209c6f1ddSLingrui98 for(i <- 0 until numBr) { 14309c6f1ddSLingrui98 XSDebug(u_valid, "newCtrs%d=%b\n", i.U, newCtrs(i)) 14409c6f1ddSLingrui98 } 14509c6f1ddSLingrui98 14609c6f1ddSLingrui98} 147