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 chisel3._ 20import chisel3.util._ 21import org.chipsalliance.cde.config.Parameters 22import scala.{Tuple2 => &} 23import utility._ 24import xiangshan._ 25 26trait FauFTBParams extends HasXSParameter with HasBPUConst { 27 val numWays = 32 28 val tagSize = 16 29 30 val TAR_STAT_SZ = 2 31 def TAR_FIT = 0.U(TAR_STAT_SZ.W) 32 def TAR_OVF = 1.U(TAR_STAT_SZ.W) 33 def TAR_UDF = 2.U(TAR_STAT_SZ.W) 34 35 def BR_OFFSET_LEN = 12 36 def JMP_OFFSET_LEN = 20 37 38 def getTag(pc: UInt) = pc(tagSize + instOffsetBits - 1, instOffsetBits) 39} 40 41class FauFTBEntry(implicit p: Parameters) extends FTBEntry()(p) {} 42 43class FauFTBWay(implicit p: Parameters) extends XSModule with FauFTBParams { 44 val io = IO(new Bundle { 45 val req_tag = Input(UInt(tagSize.W)) 46 val resp = Output(new FauFTBEntry) 47 val resp_hit = Output(Bool()) 48 val update_req_tag = Input(UInt(tagSize.W)) 49 val update_hit = Output(Bool()) 50 val write_valid = Input(Bool()) 51 val write_entry = Input(new FauFTBEntry) 52 val write_tag = Input(UInt(tagSize.W)) 53 val tag_read = Output(UInt(tagSize.W)) 54 }) 55 56 val data = Reg(new FauFTBEntry) 57 val tag = Reg(UInt(tagSize.W)) 58 val valid = RegInit(false.B) 59 60 io.resp := data 61 io.resp_hit := tag === io.req_tag && valid 62 // write bypass to avoid multiple hit 63 io.update_hit := ((tag === io.update_req_tag) && valid) || 64 ((io.write_tag === io.update_req_tag) && io.write_valid) 65 io.tag_read := tag 66 67 when(io.write_valid) { 68 when(!valid) { 69 valid := true.B 70 } 71 tag := io.write_tag 72 data := io.write_entry 73 } 74} 75 76class FauFTB(implicit p: Parameters) extends BasePredictor with FauFTBParams { 77 78 class FauFTBMeta(implicit p: Parameters) extends XSBundle with FauFTBParams { 79 val pred_way = if (!env.FPGAPlatform) Some(UInt(log2Ceil(numWays).W)) else None 80 val hit = Bool() 81 } 82 val resp_meta = Wire(new FauFTBMeta) 83 override val meta_size = resp_meta.getWidth 84 override val is_fast_pred = true 85 86 val ways = Seq.tabulate(numWays)(w => Module(new FauFTBWay)) 87 // numWays * numBr 88 val ctrs = Seq.tabulate(numWays)(w => Seq.tabulate(numBr)(b => RegInit(2.U(2.W)))) 89 val replacer = ReplacementPolicy.fromString("plru", numWays) 90 val replacer_touch_ways = Wire(Vec(2, Valid(UInt(log2Ceil(numWays).W)))) 91 92 // pred req 93 ways.foreach(_.io.req_tag := getTag(s1_pc_dup(0))) 94 95 // pred resp 96 val s1_hit_oh = VecInit(ways.map(_.io.resp_hit)).asUInt 97 val s1_hit = s1_hit_oh.orR 98 val s1_hit_way = OHToUInt(s1_hit_oh) 99 val s1_possible_full_preds = Wire(Vec(numWays, new FullBranchPrediction(isNotS3 = true))) 100 101 val s1_all_entries = VecInit(ways.map(_.io.resp)) 102 for (c & fp & e <- ctrs zip s1_possible_full_preds zip s1_all_entries) { 103 fp.hit := DontCare 104 fp.multiHit := false.B 105 fp.fromFtbEntry(e, s1_pc_dup(0)) 106 for (i <- 0 until numBr) { 107 fp.br_taken_mask(i) := c(i)(1) || e.strong_bias(i) 108 } 109 } 110 val s1_hit_full_pred = Mux1H(s1_hit_oh, s1_possible_full_preds) 111 val s1_hit_fauftbentry = Mux1H(s1_hit_oh, s1_all_entries) 112 XSError(PopCount(s1_hit_oh) > 1.U, "fauftb has multiple hits!\n") 113 val fauftb_enable = RegNext(io.ctrl.ubtb_enable) 114 io.out.s1.full_pred.map(_ := s1_hit_full_pred) 115 io.out.s1.full_pred.map(_.hit := s1_hit && fauftb_enable) 116 io.fauftb_entry_out := s1_hit_fauftbentry 117 io.fauftb_entry_hit_out := s1_hit && fauftb_enable 118 119 // Illegal check for FTB entry reading 120 val s1_pc_startLower = Cat(0.U(1.W), s1_pc_dup(0)(instOffsetBits + log2Ceil(PredictWidth) - 1, instOffsetBits)) 121 val uftb_entry_endLowerwithCarry = Cat(s1_hit_fauftbentry.carry, s1_hit_fauftbentry.pftAddr) 122 val fallThroughErr = s1_pc_startLower + PredictWidth.U >= uftb_entry_endLowerwithCarry 123 when(io.s1_fire(0) && s1_hit) { 124 assert(fallThroughErr, s"FauFTB read entry fallThrough address error!") 125 } 126 127 // assign metas 128 io.out.last_stage_meta := resp_meta.asUInt 129 resp_meta.hit := RegEnable(RegEnable(s1_hit, io.s1_fire(0)), io.s2_fire(0)) 130 if (resp_meta.pred_way.isDefined) { 131 resp_meta.pred_way.get := RegEnable(RegEnable(s1_hit_way, io.s1_fire(0)), io.s2_fire(0)) 132 } 133 134 // pred update replacer state 135 val s1_fire = io.s1_fire(0) 136 replacer_touch_ways(0).valid := RegNext(s1_fire(0) && s1_hit) 137 replacer_touch_ways(0).bits := RegEnable(s1_hit_way, s1_fire(0) && s1_hit) 138 139 /********************** update ***********************/ 140 // s0: update_valid, read and tag comparison 141 // s1: alloc_way and write 142 143 // s0 144 val u = io.update 145 val u_meta = u.bits.meta.asTypeOf(new FauFTBMeta) 146 val u_s0_tag = getTag(u.bits.pc) 147 ways.foreach(_.io.update_req_tag := u_s0_tag) 148 val u_s0_hit_oh = VecInit(ways.map(_.io.update_hit)).asUInt 149 val u_s0_hit = u_s0_hit_oh.orR 150 val u_s0_br_update_valids = 151 VecInit((0 until numBr).map(w => 152 u.bits.ftb_entry.brValids(w) && u.valid && !u.bits.ftb_entry.strong_bias(w) && 153 !(PriorityEncoder(u.bits.br_taken_mask) < w.U) 154 )) 155 156 // s1 157 val u_s1_valid = RegNext(u.valid) 158 val u_s1_tag = RegEnable(u_s0_tag, u.valid) 159 val u_s1_hit_oh = RegEnable(u_s0_hit_oh, u.valid) 160 val u_s1_hit = RegEnable(u_s0_hit, u.valid) 161 val u_s1_alloc_way = replacer.way 162 val u_s1_write_way_oh = Mux(u_s1_hit, u_s1_hit_oh, UIntToOH(u_s1_alloc_way)) 163 val u_s1_ftb_entry = RegEnable(u.bits.ftb_entry, u.valid) 164 val u_s1_ways_write_valid = VecInit((0 until numWays).map(w => u_s1_write_way_oh(w).asBool && u_s1_valid)) 165 for (w <- 0 until numWays) { 166 ways(w).io.write_valid := u_s1_ways_write_valid(w) 167 ways(w).io.write_tag := u_s1_tag 168 ways(w).io.write_entry := u_s1_ftb_entry 169 } 170 171 // Illegal check for FTB entry writing 172 val uftb_write_pc = RegEnable(u.bits.pc, u.valid) 173 val uftb_write_fallThrough = u_s1_ftb_entry.getFallThrough(uftb_write_pc) 174 when(u_s1_valid && u_s1_hit) { 175 assert( 176 uftb_write_pc + (FetchWidth * 4).U >= uftb_write_fallThrough, 177 s"FauFTB write entry fallThrough address error!" 178 ) 179 } 180 181 // update saturating counters 182 val u_s1_br_update_valids = RegEnable(u_s0_br_update_valids, u.valid) 183 val u_s1_br_takens = RegEnable(u.bits.br_taken_mask, u.valid) 184 for (w <- 0 until numWays) { 185 when(u_s1_ways_write_valid(w)) { 186 for (br <- 0 until numBr) { 187 when(u_s1_br_update_valids(br)) { 188 ctrs(w)(br) := satUpdate(ctrs(w)(br), 2, u_s1_br_takens(br)) 189 } 190 } 191 } 192 } 193 194 // commit update replacer state 195 replacer_touch_ways(1).valid := u_s1_valid 196 replacer_touch_ways(1).bits := OHToUInt(u_s1_write_way_oh) 197 198 /******** update replacer *********/ 199 replacer.access(replacer_touch_ways) 200 201 /********************** perf counters **********************/ 202 val s0_fire_next_cycle = RegNext(io.s0_fire(0)) 203 val u_pred_hit_way_map = (0 until numWays).map(w => s0_fire_next_cycle && s1_hit && s1_hit_way === w.U) 204 XSPerfAccumulate("uftb_read_hits", s0_fire_next_cycle && s1_hit) 205 XSPerfAccumulate("uftb_read_misses", s0_fire_next_cycle && !s1_hit) 206 XSPerfAccumulate("uftb_commit_hits", u.valid && u_meta.hit) 207 XSPerfAccumulate("uftb_commit_misses", u.valid && !u_meta.hit) 208 XSPerfAccumulate("uftb_commit_read_hit_pred_miss", u.valid && !u_meta.hit && u_s0_hit_oh.orR) 209 for (w <- 0 until numWays) { 210 XSPerfAccumulate(f"uftb_pred_hit_way_${w}", u_pred_hit_way_map(w)) 211 XSPerfAccumulate(f"uftb_replace_way_${w}", !u_s1_hit && u_s1_alloc_way === w.U) 212 } 213 214 if (u_meta.pred_way.isDefined) { 215 val u_commit_hit_way_map = (0 until numWays).map(w => u.valid && u_meta.hit && u_meta.pred_way.get === w.U) 216 for (w <- 0 until numWays) { 217 XSPerfAccumulate(f"uftb_commit_hit_way_${w}", u_commit_hit_way_map(w)) 218 } 219 } 220 221 override val perfEvents = Seq( 222 ("fauftb_commit_hit ", u.valid && u_meta.hit), 223 ("fauftb_commit_miss ", u.valid && !u_meta.hit) 224 ) 225 generatePerfEvent() 226 227} 228