17052722fSJay/*************************************************************************************** 27052722fSJay * Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 37052722fSJay * Copyright (c) 2020-2021 Peng Cheng Laboratory 47052722fSJay * 57052722fSJay * XiangShan is licensed under Mulan PSL v2. 67052722fSJay * You can use this software according to the terms and conditions of the Mulan PSL v2. 77052722fSJay * You may obtain a copy of Mulan PSL v2 at: 87052722fSJay * http://license.coscl.org.cn/MulanPSL2 97052722fSJay * 107052722fSJay * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 117052722fSJay * EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 127052722fSJay * MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 137052722fSJay * 147052722fSJay * See the Mulan PSL v2 for more details. 157052722fSJay ***************************************************************************************/ 167052722fSJay 177052722fSJaypackage xiangshan.frontend.icache 187052722fSJay 198891a219SYinan Xuimport org.chipsalliance.cde.config.Parameters 207052722fSJayimport chisel3._ 217052722fSJayimport chisel3.util._ 227d45a146SYinan Xuimport difftest._ 237052722fSJayimport freechips.rocketchip.tilelink._ 247052722fSJayimport utils._ 257052722fSJayimport xiangshan.cache.mmu._ 267052722fSJayimport xiangshan.frontend._ 27d2b20d1aSTang Haojinimport xiangshan.backend.fu.{PMPReqBundle, PMPRespBundle} 28d2b20d1aSTang Haojinimport huancun.PreferCacheKey 29b92c5693STang Haojinimport xiangshan.XSCoreParamsKey 30b1ded4e8Sguohongyuimport utility._ 317052722fSJay 327052722fSJayabstract class IPrefetchBundle(implicit p: Parameters) extends ICacheBundle 337052722fSJayabstract class IPrefetchModule(implicit p: Parameters) extends ICacheModule 347052722fSJay 35*88895b11Sxu_zhclass IPrefetchIO(implicit p: Parameters) extends IPrefetchBundle { 36b92f8445Sssszwic // control 37b92f8445Sssszwic val csr_pf_enable = Input(Bool()) 38b92f8445Sssszwic val flush = Input(Bool()) 3958c354d0Sssszwic 40b92f8445Sssszwic val ftqReq = Flipped(new FtqToPrefetchIO) 41b92f8445Sssszwic val itlb = Vec(PortNumber, new TlbRequestIO) 42b92f8445Sssszwic val pmp = Vec(PortNumber, new ICachePMPBundle) 43b92f8445Sssszwic val metaRead = new ICacheMetaReqBundle 44b92f8445Sssszwic val MSHRReq = DecoupledIO(new ICacheMissReq) 45b92f8445Sssszwic val MSHRResp = Flipped(ValidIO(new ICacheMissResp)) 46b92f8445Sssszwic val wayLookupWrite = DecoupledIO(new WayLookupInfo) 477052722fSJay} 487052722fSJay 497052722fSJayclass IPrefetchPipe(implicit p: Parameters) extends IPrefetchModule 507052722fSJay{ 51*88895b11Sxu_zh val io: IPrefetchIO = IO(new IPrefetchIO) 527052722fSJay 53cb6e5d3cSssszwic val fromFtq = io.ftqReq 54b92f8445Sssszwic val (toITLB, fromITLB) = (io.itlb.map(_.req), io.itlb.map(_.resp)) 55b92f8445Sssszwic val (toPMP, fromPMP) = (io.pmp.map(_.req), io.pmp.map(_.resp)) 56b92f8445Sssszwic val (toMeta, fromMeta) = (io.metaRead.toIMeta, io.metaRead.fromIMeta) 57b92f8445Sssszwic val (toMSHR, fromMSHR) = (io.MSHRReq, io.MSHRResp) 58b92f8445Sssszwic val toWayLookup = io.wayLookupWrite 597052722fSJay 60*88895b11Sxu_zh // FIXME: csr_pf_enable/enableBit is not used now 61b92f8445Sssszwic val enableBit = RegInit(false.B) 62b92f8445Sssszwic enableBit := io.csr_pf_enable 6358c354d0Sssszwic 64b92f8445Sssszwic val s0_fire, s1_fire, s2_fire = WireInit(false.B) 65b92f8445Sssszwic val s0_discard, s2_discard = WireInit(false.B) 66b92f8445Sssszwic val s0_ready, s1_ready, s2_ready = WireInit(false.B) 67b92f8445Sssszwic val s0_flush, s1_flush, s2_flush = WireInit(false.B) 68b92f8445Sssszwic val from_bpu_s0_flush, from_bpu_s1_flush = WireInit(false.B) 697052722fSJay 70cb6e5d3cSssszwic /** 71cb6e5d3cSssszwic ****************************************************************************** 72cb6e5d3cSssszwic * IPrefetch Stage 0 73b92f8445Sssszwic * - 1. receive ftq req 74b92f8445Sssszwic * - 2. send req to ITLB 75b92f8445Sssszwic * - 3. send req to Meta SRAM 76cb6e5d3cSssszwic ****************************************************************************** 77cb6e5d3cSssszwic */ 78b92f8445Sssszwic val s0_valid = fromFtq.req.valid 79cb6e5d3cSssszwic 80b92f8445Sssszwic /** 81b92f8445Sssszwic ****************************************************************************** 82b92f8445Sssszwic * receive ftq req 83b92f8445Sssszwic ****************************************************************************** 84b92f8445Sssszwic */ 85b92f8445Sssszwic val s0_req_vaddr = VecInit(Seq(fromFtq.req.bits.startAddr, fromFtq.req.bits.nextlineStart)) 86b92f8445Sssszwic val s0_req_ftqIdx = fromFtq.req.bits.ftqIdx 87b92f8445Sssszwic val s0_doubleline = fromFtq.req.bits.crossCacheline 88*88895b11Sxu_zh val s0_req_vSetIdx = s0_req_vaddr.map(get_idx) 897052722fSJay 90b92f8445Sssszwic from_bpu_s0_flush := fromFtq.flushFromBpu.shouldFlushByStage2(s0_req_ftqIdx) || 91b92f8445Sssszwic fromFtq.flushFromBpu.shouldFlushByStage3(s0_req_ftqIdx) 92b92f8445Sssszwic s0_flush := io.flush || from_bpu_s0_flush || s1_flush 937052722fSJay 94b92f8445Sssszwic val s0_can_go = s1_ready && toITLB(0).ready && toITLB(1).ready && toMeta.ready 95b92f8445Sssszwic fromFtq.req.ready := s0_can_go 967052722fSJay 97b92f8445Sssszwic s0_fire := s0_valid && s0_can_go && !s0_flush 98cb6e5d3cSssszwic 99cb6e5d3cSssszwic /** 100cb6e5d3cSssszwic ****************************************************************************** 101cb6e5d3cSssszwic * IPrefetch Stage 1 102b92f8445Sssszwic * - 1. Receive resp from ITLB 103b92f8445Sssszwic * - 2. Receive resp from IMeta and check 104b92f8445Sssszwic * - 3. Monitor the requests from missUnit to write to SRAM. 105b92f8445Sssszwic * - 4. Wirte wayLookup 106cb6e5d3cSssszwic ****************************************************************************** 107cb6e5d3cSssszwic */ 108b92f8445Sssszwic val s1_valid = generatePipeControl(lastFire = s0_fire, thisFire = s1_fire, thisFlush = s1_flush, lastFlush = false.B) 109cb6e5d3cSssszwic 110b92f8445Sssszwic val s1_req_vaddr = RegEnable(s0_req_vaddr, 0.U.asTypeOf(s0_req_vaddr), s0_fire) 111b92f8445Sssszwic val s1_doubleline = RegEnable(s0_doubleline, 0.U.asTypeOf(s0_doubleline), s0_fire) 112b92f8445Sssszwic val s1_req_ftqIdx = RegEnable(s0_req_ftqIdx, 0.U.asTypeOf(s0_req_ftqIdx), s0_fire) 113*88895b11Sxu_zh val s1_req_vSetIdx = VecInit(s1_req_vaddr.map(get_idx)) 1147052722fSJay 115b92f8445Sssszwic val m_idle :: m_itlbResend :: m_metaResend :: m_enqWay :: m_enterS2 :: Nil = Enum(5) 116b92f8445Sssszwic val state = RegInit(m_idle) 117b92f8445Sssszwic val next_state = WireDefault(state) 118b92f8445Sssszwic val s0_fire_r = RegNext(s0_fire) 119b92f8445Sssszwic dontTouch(state) 120b92f8445Sssszwic dontTouch(next_state) 121b92f8445Sssszwic state := next_state 1227052722fSJay 123b92f8445Sssszwic /** 124b92f8445Sssszwic ****************************************************************************** 125b92f8445Sssszwic * resend itlb req if miss 126b92f8445Sssszwic ****************************************************************************** 127b92f8445Sssszwic */ 128b92f8445Sssszwic val s1_wait_itlb = RegInit(VecInit(Seq.fill(PortNumber)(false.B))) 129b92f8445Sssszwic (0 until PortNumber).foreach { i => 130b92f8445Sssszwic when(s1_flush) { 131b92f8445Sssszwic s1_wait_itlb(i) := false.B 132b92f8445Sssszwic }.elsewhen(RegNext(s0_fire) && fromITLB(i).bits.miss) { 133b92f8445Sssszwic s1_wait_itlb(i) := true.B 134b92f8445Sssszwic }.elsewhen(s1_wait_itlb(i) && !fromITLB(i).bits.miss) { 135b92f8445Sssszwic s1_wait_itlb(i) := false.B 136b92f8445Sssszwic } 137b92f8445Sssszwic } 138b92f8445Sssszwic val s1_need_itlb = VecInit(Seq((RegNext(s0_fire) || s1_wait_itlb(0)) && fromITLB(0).bits.miss, 139b92f8445Sssszwic (RegNext(s0_fire) || s1_wait_itlb(1)) && fromITLB(1).bits.miss && s1_doubleline)) 140b92f8445Sssszwic val tlb_valid_pulse = VecInit(Seq((RegNext(s0_fire) || s1_wait_itlb(0)) && !fromITLB(0).bits.miss, 141b92f8445Sssszwic (RegNext(s0_fire) || s1_wait_itlb(1)) && !fromITLB(1).bits.miss && s1_doubleline)) 142b92f8445Sssszwic val tlb_valid_latch = VecInit((0 until PortNumber).map(i => ValidHoldBypass(tlb_valid_pulse(i), s1_fire, flush=s1_flush))) 143b92f8445Sssszwic val itlb_finish = tlb_valid_latch(0) && (!s1_doubleline || tlb_valid_latch(1)) 1447052722fSJay 145b92f8445Sssszwic for (i <- 0 until PortNumber) { 146b92f8445Sssszwic toITLB(i).valid := s1_need_itlb(i) || (s0_valid && (if(i == 0) true.B else s0_doubleline)) 147b92f8445Sssszwic toITLB(i).bits := DontCare 148b92f8445Sssszwic toITLB(i).bits.size := 3.U 149b92f8445Sssszwic toITLB(i).bits.vaddr := Mux(s1_need_itlb(i), s1_req_vaddr(i), s0_req_vaddr(i)) 150b92f8445Sssszwic toITLB(i).bits.debug.pc := Mux(s1_need_itlb(i), s1_req_vaddr(i), s0_req_vaddr(i)) 151b92f8445Sssszwic toITLB(i).bits.cmd := TlbCmd.exec 152b92f8445Sssszwic toITLB(i).bits.no_translate := false.B 153b92f8445Sssszwic } 154b92f8445Sssszwic fromITLB.foreach(_.ready := true.B) 155b92f8445Sssszwic io.itlb.foreach(_.req_kill := false.B) 1567052722fSJay 157b92f8445Sssszwic /** 158b92f8445Sssszwic ****************************************************************************** 159b92f8445Sssszwic * Receive resp from ITLB 160b92f8445Sssszwic ****************************************************************************** 161b92f8445Sssszwic */ 162b92f8445Sssszwic val s1_req_paddr_wire = VecInit(fromITLB.map(_.bits.paddr(0))) 163b92f8445Sssszwic val s1_req_paddr_reg = VecInit((0 until PortNumber).map( i => 164*88895b11Sxu_zh RegEnable(s1_req_paddr_wire(i), 0.U(PAddrBits.W), tlb_valid_pulse(i)) 165*88895b11Sxu_zh )) 166b92f8445Sssszwic val s1_req_paddr = VecInit((0 until PortNumber).map( i => 167*88895b11Sxu_zh Mux(tlb_valid_pulse(i), s1_req_paddr_wire(i), s1_req_paddr_reg(i)) 168*88895b11Sxu_zh )) 16991946104Sxu_zh val s1_req_gpaddr_tmp = VecInit((0 until PortNumber).map( i => 170*88895b11Sxu_zh ResultHoldBypass(valid = tlb_valid_pulse(i), init = 0.U.asTypeOf(fromITLB(i).bits.gpaddr(0)), data = fromITLB(i).bits.gpaddr(0)) 171*88895b11Sxu_zh )) 172*88895b11Sxu_zh val s1_itlb_exception = VecInit((0 until PortNumber).map( i => 173*88895b11Sxu_zh ResultHoldBypass(valid = tlb_valid_pulse(i), init = 0.U(ExceptionType.width.W), data = ExceptionType.fromTlbResp(fromITLB(i).bits)) 174*88895b11Sxu_zh )) 175*88895b11Sxu_zh val s1_itlb_exception_gpf = VecInit(s1_itlb_exception.map(_ === ExceptionType.gpf)) 176b92f8445Sssszwic 17791946104Sxu_zh /* Select gpaddr with the first gpf 17891946104Sxu_zh * Note: the backend wants the base guest physical address of a fetch block 17991946104Sxu_zh * for port(i), its base gpaddr is actually (gpaddr - i * blocksize) 18091946104Sxu_zh * see GPAMem: https://github.com/OpenXiangShan/XiangShan/blob/344cf5d55568dd40cd658a9ee66047a505eeb504/src/main/scala/xiangshan/backend/GPAMem.scala#L33-L34 18191946104Sxu_zh * see also: https://github.com/OpenXiangShan/XiangShan/blob/344cf5d55568dd40cd658a9ee66047a505eeb504/src/main/scala/xiangshan/frontend/IFU.scala#L374-L375 18291946104Sxu_zh */ 18391946104Sxu_zh val s1_req_gpaddr = PriorityMuxDefault( 184*88895b11Sxu_zh s1_itlb_exception_gpf zip (0 until PortNumber).map(i => s1_req_gpaddr_tmp(i) - (i << blockOffBits).U), 18591946104Sxu_zh 0.U.asTypeOf(s1_req_gpaddr_tmp(0)) 18691946104Sxu_zh ) 18791946104Sxu_zh 188b92f8445Sssszwic /** 189b92f8445Sssszwic ****************************************************************************** 190b92f8445Sssszwic * resend metaArray read req when itlb miss finish 191b92f8445Sssszwic ****************************************************************************** 192b92f8445Sssszwic */ 193b92f8445Sssszwic val s1_need_meta = ((state === m_itlbResend) && itlb_finish) || (state === m_metaResend) 194b92f8445Sssszwic toMeta.valid := s1_need_meta || s0_valid 195b92f8445Sssszwic toMeta.bits := DontCare 196b92f8445Sssszwic toMeta.bits.isDoubleLine := Mux(s1_need_meta, s1_doubleline, s0_doubleline) 197b92f8445Sssszwic 198b92f8445Sssszwic for (i <- 0 until PortNumber) { 199b92f8445Sssszwic toMeta.bits.vSetIdx(i) := Mux(s1_need_meta, s1_req_vSetIdx(i), s0_req_vSetIdx(i)) 200cb6e5d3cSssszwic } 201cb6e5d3cSssszwic 202cb6e5d3cSssszwic /** 203cb6e5d3cSssszwic ****************************************************************************** 204b92f8445Sssszwic * Receive resp from IMeta and check 205cb6e5d3cSssszwic ****************************************************************************** 206cb6e5d3cSssszwic */ 207*88895b11Sxu_zh val s1_req_ptags = VecInit(s1_req_paddr.map(get_phy_tag)) 208cb6e5d3cSssszwic 209b92f8445Sssszwic val s1_meta_ptags = fromMeta.tags 210b92f8445Sssszwic val s1_meta_valids = fromMeta.entryValid 211b92f8445Sssszwic // If error is found in either way, the tag_eq_vec is unreliable, so we do not use waymask, but directly .orR 212*88895b11Sxu_zh val s1_meta_corrupt = VecInit(fromMeta.errors.map(_.asUInt.orR)) 2139bba777eSssszwic 214b92f8445Sssszwic def get_waymask(paddrs: Vec[UInt]): Vec[UInt] = { 215*88895b11Sxu_zh val ptags = paddrs.map(get_phy_tag) 216b92f8445Sssszwic val tag_eq_vec = VecInit((0 until PortNumber).map( p => VecInit((0 until nWays).map( w => s1_meta_ptags(p)(w) === ptags(p))))) 217b92f8445Sssszwic val tag_match_vec = VecInit((0 until PortNumber).map( k => VecInit(tag_eq_vec(k).zipWithIndex.map{ case(way_tag_eq, w) => way_tag_eq && s1_meta_valids(k)(w)}))) 218b92f8445Sssszwic val waymasks = VecInit(tag_match_vec.map(_.asUInt)) 219b92f8445Sssszwic waymasks 220cb6e5d3cSssszwic } 2219bba777eSssszwic 222b92f8445Sssszwic val s1_SRAM_waymasks = VecInit((0 until PortNumber).map(i => 223b92f8445Sssszwic Mux(tlb_valid_pulse(i), get_waymask(s1_req_paddr_wire)(i), get_waymask(s1_req_paddr_reg)(i)))) 224b92f8445Sssszwic 225b92f8445Sssszwic /** 226b92f8445Sssszwic ****************************************************************************** 227b4f1e5b2Sxu_zh * update waymask according to MSHR update data 228b92f8445Sssszwic ****************************************************************************** 229b92f8445Sssszwic */ 230b92f8445Sssszwic def update_waymask(mask: UInt, vSetIdx: UInt, ptag: UInt): UInt = { 231b92f8445Sssszwic require(mask.getWidth == nWays) 232b92f8445Sssszwic val new_mask = WireInit(mask) 233b4f1e5b2Sxu_zh val valid = fromMSHR.valid && !fromMSHR.bits.corrupt 234b4f1e5b2Sxu_zh val vset_same = fromMSHR.bits.vSetIdx === vSetIdx 235b92f8445Sssszwic val ptag_same = getPhyTagFromBlk(fromMSHR.bits.blkPaddr) === ptag 236b92f8445Sssszwic val way_same = fromMSHR.bits.waymask === mask 237b4f1e5b2Sxu_zh when(valid && vset_same) { 238b92f8445Sssszwic when(ptag_same) { 239b92f8445Sssszwic new_mask := fromMSHR.bits.waymask 240b92f8445Sssszwic }.elsewhen(way_same) { 241b92f8445Sssszwic new_mask := 0.U 242cb6e5d3cSssszwic } 243b92f8445Sssszwic } 244b92f8445Sssszwic new_mask 245b92f8445Sssszwic } 246b92f8445Sssszwic 247b92f8445Sssszwic val s1_SRAM_valid = s0_fire_r || RegNext(s1_need_meta && toMeta.ready) 248b4f1e5b2Sxu_zh val s1_MSHR_valid = fromMSHR.valid && !fromMSHR.bits.corrupt 249b4f1e5b2Sxu_zh val s1_waymasks = WireInit(VecInit(Seq.fill(PortNumber)(0.U(nWays.W)))) 250b4f1e5b2Sxu_zh val s1_waymasks_r = RegEnable(s1_waymasks, 0.U.asTypeOf(s1_waymasks), s1_SRAM_valid || s1_MSHR_valid) 251b92f8445Sssszwic (0 until PortNumber).foreach{i => 252b4f1e5b2Sxu_zh val old_waymask = Mux(s1_SRAM_valid, s1_SRAM_waymasks(i), s1_waymasks_r(i)) 253b4f1e5b2Sxu_zh s1_waymasks(i) := update_waymask(old_waymask, s1_req_vSetIdx(i), s1_req_ptags(i)) 254b92f8445Sssszwic } 255b92f8445Sssszwic 256b92f8445Sssszwic /** 257b92f8445Sssszwic ****************************************************************************** 258b92f8445Sssszwic * send enqueu req to WayLookup 259b92f8445Sssszwic ******** ********************************************************************** 260b92f8445Sssszwic */ 261b92f8445Sssszwic // Disallow enqueuing wayLookup when SRAM write occurs. 262b92f8445Sssszwic toWayLookup.valid := ((state === m_enqWay) || ((state === m_idle) && itlb_finish)) && !s1_flush && !fromMSHR.valid 263b92f8445Sssszwic toWayLookup.bits.vSetIdx := s1_req_vSetIdx 264b92f8445Sssszwic toWayLookup.bits.waymask := s1_waymasks 265b92f8445Sssszwic toWayLookup.bits.ptag := s1_req_ptags 266b92f8445Sssszwic toWayLookup.bits.gpaddr := s1_req_gpaddr 2671a5af821Sxu_zh (0 until PortNumber).foreach { i => 2681a5af821Sxu_zh val excpValid = (if (i == 0) true.B else s1_doubleline) // exception in first line is always valid, in second line is valid iff is doubleline request 269*88895b11Sxu_zh // Send s1_itlb_exception to WayLookup (instead of s1_exception_out) for better timing. Will check pmp again in mainPipe 270*88895b11Sxu_zh toWayLookup.bits.itlb_exception(i) := Mux(excpValid, s1_itlb_exception(i), ExceptionType.none) 271*88895b11Sxu_zh toWayLookup.bits.meta_corrupt(i) := excpValid && s1_meta_corrupt(i) 2721a5af821Sxu_zh } 273b92f8445Sssszwic 274b92f8445Sssszwic val s1_waymasks_vec = s1_waymasks.map(_.asTypeOf(Vec(nWays, Bool()))) 275b92f8445Sssszwic when(toWayLookup.fire) { 276b92f8445Sssszwic assert(PopCount(s1_waymasks_vec(0)) <= 1.U && (PopCount(s1_waymasks_vec(1)) <= 1.U || !s1_doubleline), 277b92f8445Sssszwic "Multiple hit in main pipe, port0:is=%d,ptag=0x%x,vidx=0x%x,vaddr=0x%x port1:is=%d,ptag=0x%x,vidx=0x%x,vaddr=0x%x ", 278b92f8445Sssszwic PopCount(s1_waymasks_vec(0)) > 1.U, s1_req_ptags(0), get_idx(s1_req_vaddr(0)), s1_req_vaddr(0), 279b92f8445Sssszwic PopCount(s1_waymasks_vec(1)) > 1.U && s1_doubleline, s1_req_ptags(1), get_idx(s1_req_vaddr(1)), s1_req_vaddr(1)) 280b92f8445Sssszwic } 281b92f8445Sssszwic 282b92f8445Sssszwic /** 283b92f8445Sssszwic ****************************************************************************** 284b92f8445Sssszwic * PMP check 285b92f8445Sssszwic ****************************************************************************** 286b92f8445Sssszwic */ 287*88895b11Sxu_zh toPMP.zipWithIndex.foreach { case (p, i) => 288*88895b11Sxu_zh // if itlb has exception, paddr can be invalid, therefore pmp check can be skipped 289*88895b11Sxu_zh p.valid := s1_valid // && s1_itlb_exception === ExceptionType.none 290b92f8445Sssszwic p.bits.addr := s1_req_paddr(i) 291b92f8445Sssszwic p.bits.size := 3.U // TODO 292b92f8445Sssszwic p.bits.cmd := TlbCmd.exec 293b92f8445Sssszwic } 294*88895b11Sxu_zh val s1_pmp_exception = VecInit(fromPMP.map(ExceptionType.fromPMPResp)) 295*88895b11Sxu_zh val s1_mmio = VecInit(fromPMP.map(_.mmio)) 296*88895b11Sxu_zh 297*88895b11Sxu_zh // merge s1 itlb/pmp exceptions, itlb has higher priority 298*88895b11Sxu_zh val s1_exception_out = ExceptionType.merge(s1_itlb_exception, s1_pmp_exception) 299b92f8445Sssszwic 300b92f8445Sssszwic /** 301b92f8445Sssszwic ****************************************************************************** 302b92f8445Sssszwic * state machine 303b92f8445Sssszwic ******** ********************************************************************** 304b92f8445Sssszwic */ 305b92f8445Sssszwic 306b92f8445Sssszwic switch(state) { 307b92f8445Sssszwic is(m_idle) { 308b92f8445Sssszwic when(s1_valid && !itlb_finish) { 309b92f8445Sssszwic next_state := m_itlbResend 310b92f8445Sssszwic }.elsewhen(s1_valid && itlb_finish && !toWayLookup.fire) { 311b92f8445Sssszwic next_state := m_enqWay 312b92f8445Sssszwic }.elsewhen(s1_valid && itlb_finish && toWayLookup.fire && !s2_ready) { 313b92f8445Sssszwic next_state := m_enterS2 314b92f8445Sssszwic } 315b92f8445Sssszwic } 316b92f8445Sssszwic is(m_itlbResend) { 317b92f8445Sssszwic when(itlb_finish && !toMeta.ready) { 318b92f8445Sssszwic next_state := m_metaResend 319b92f8445Sssszwic }.elsewhen(itlb_finish && toMeta.ready) { 320b92f8445Sssszwic next_state := m_enqWay 321b92f8445Sssszwic } 322b92f8445Sssszwic } 323b92f8445Sssszwic is(m_metaResend) { 324b92f8445Sssszwic when(toMeta.ready) { 325b92f8445Sssszwic next_state := m_enqWay 326b92f8445Sssszwic } 327b92f8445Sssszwic } 328b92f8445Sssszwic is(m_enqWay) { 329b92f8445Sssszwic when(toWayLookup.fire && !s2_ready) { 330b92f8445Sssszwic next_state := m_enterS2 331b92f8445Sssszwic }.elsewhen(toWayLookup.fire && s2_ready) { 332b92f8445Sssszwic next_state := m_idle 333b92f8445Sssszwic } 334b92f8445Sssszwic } 335b92f8445Sssszwic is(m_enterS2) { 336b92f8445Sssszwic when(s2_ready) { 337b92f8445Sssszwic next_state := m_idle 338b92f8445Sssszwic } 339b92f8445Sssszwic } 340b92f8445Sssszwic } 341b92f8445Sssszwic 342b92f8445Sssszwic when(s1_flush) { 343b92f8445Sssszwic next_state := m_idle 344b92f8445Sssszwic } 345b92f8445Sssszwic 346b92f8445Sssszwic /** Stage 1 control */ 347b92f8445Sssszwic from_bpu_s1_flush := s1_valid && fromFtq.flushFromBpu.shouldFlushByStage3(s1_req_ftqIdx) 348b92f8445Sssszwic s1_flush := io.flush || from_bpu_s1_flush 349b92f8445Sssszwic 350b92f8445Sssszwic s1_ready := next_state === m_idle 351b92f8445Sssszwic s1_fire := (next_state === m_idle) && s1_valid && !s1_flush 352b92f8445Sssszwic 353b92f8445Sssszwic /** 354b92f8445Sssszwic ****************************************************************************** 355b92f8445Sssszwic * IPrefetch Stage 2 356b92f8445Sssszwic * - 1. Monitor the requests from missUnit to write to SRAM. 357b92f8445Sssszwic * - 2. send req to missUnit 358b92f8445Sssszwic ****************************************************************************** 359b92f8445Sssszwic */ 360b92f8445Sssszwic val s2_valid = generatePipeControl(lastFire = s1_fire, thisFire = s2_fire, thisFlush = s2_flush, lastFlush = false.B) 361b92f8445Sssszwic 362b92f8445Sssszwic val s2_req_vaddr = RegEnable(s1_req_vaddr, 0.U.asTypeOf(s1_req_vaddr), s1_fire) 363b92f8445Sssszwic val s2_doubleline = RegEnable(s1_doubleline, 0.U.asTypeOf(s1_doubleline), s1_fire) 364b92f8445Sssszwic val s2_req_paddr = RegEnable(s1_req_paddr, 0.U.asTypeOf(s1_req_paddr), s1_fire) 365*88895b11Sxu_zh val s2_exception = RegEnable(s1_exception_out, 0.U.asTypeOf(s1_exception_out), s1_fire) // includes itlb/pmp exceptions 366*88895b11Sxu_zh val s2_mmio = RegEnable(s1_mmio, 0.U.asTypeOf(s1_mmio), s1_fire) 367b92f8445Sssszwic val s2_waymasks = RegEnable(s1_waymasks, 0.U.asTypeOf(s1_waymasks), s1_fire) 368b92f8445Sssszwic 369*88895b11Sxu_zh val s2_req_vSetIdx = s2_req_vaddr.map(get_idx) 370*88895b11Sxu_zh val s2_req_ptags = s2_req_paddr.map(get_phy_tag) 371b92f8445Sssszwic 372b92f8445Sssszwic /** 373b92f8445Sssszwic ****************************************************************************** 374b92f8445Sssszwic * Monitor the requests from missUnit to write to SRAM 375b92f8445Sssszwic ****************************************************************************** 376b92f8445Sssszwic */ 377b808ac73Sxu_zh 378b808ac73Sxu_zh /* NOTE: If fromMSHR.bits.corrupt, we should set s2_MSHR_hits to false.B, and send prefetch requests again. 379b808ac73Sxu_zh * This is the opposite of how mainPipe handles fromMSHR.bits.corrupt, 380b808ac73Sxu_zh * in which we should set s2_MSHR_hits to true.B, and send error to ifu. 381b808ac73Sxu_zh */ 382b808ac73Sxu_zh val s2_MSHR_match = VecInit((0 until PortNumber).map(i => 383b808ac73Sxu_zh (s2_req_vSetIdx(i) === fromMSHR.bits.vSetIdx) && 384b92f8445Sssszwic (s2_req_ptags(i) === getPhyTagFromBlk(fromMSHR.bits.blkPaddr)) && 385b808ac73Sxu_zh s2_valid && fromMSHR.valid && !fromMSHR.bits.corrupt 386b808ac73Sxu_zh )) 387b92f8445Sssszwic val s2_MSHR_hits = (0 until PortNumber).map(i => ValidHoldBypass(s2_MSHR_match(i), s2_fire || s2_flush)) 388b92f8445Sssszwic 389b808ac73Sxu_zh val s2_SRAM_hits = s2_waymasks.map(_.orR) 390b808ac73Sxu_zh val s2_hits = VecInit((0 until PortNumber).map(i => s2_MSHR_hits(i) || s2_SRAM_hits(i))) 391b808ac73Sxu_zh 392*88895b11Sxu_zh /* s2_exception includes itlb pf/gpf/af and pmp af, neither of which should be prefetched 393*88895b11Sxu_zh * mmio should not be prefetched 394*88895b11Sxu_zh * also, if port0 has exception, port1 should not be prefetched 395*88895b11Sxu_zh * miss = this port not hit && need this port && no exception found before and in this port 396*88895b11Sxu_zh */ 397*88895b11Sxu_zh // FIXME: maybe we should cancel fetch when meta error is detected, since hits (waymasks) can be invalid 398b808ac73Sxu_zh val s2_miss = VecInit((0 until PortNumber).map { i => 399b808ac73Sxu_zh !s2_hits(i) && (if (i==0) true.B else s2_doubleline) && 400*88895b11Sxu_zh s2_exception.take(i+1).map(_ === ExceptionType.none).reduce(_&&_) && 401*88895b11Sxu_zh s2_mmio.take(i+1).map(!_).reduce(_&&_) 402b808ac73Sxu_zh }) 403b92f8445Sssszwic 404b92f8445Sssszwic /** 405b92f8445Sssszwic ****************************************************************************** 406b92f8445Sssszwic * send req to missUnit 407b92f8445Sssszwic ****************************************************************************** 408b92f8445Sssszwic */ 409b92f8445Sssszwic val toMSHRArbiter = Module(new Arbiter(new ICacheMissReq, PortNumber)) 410b92f8445Sssszwic 411b92f8445Sssszwic // To avoid sending duplicate requests. 412b808ac73Sxu_zh val has_send = RegInit(VecInit(Seq.fill(PortNumber)(false.B))) 413b92f8445Sssszwic (0 until PortNumber).foreach{ i => 414b92f8445Sssszwic when(s1_fire) { 415b92f8445Sssszwic has_send(i) := false.B 416b92f8445Sssszwic }.elsewhen(toMSHRArbiter.io.in(i).fire) { 417b92f8445Sssszwic has_send(i) := true.B 418b92f8445Sssszwic } 419b92f8445Sssszwic } 420b92f8445Sssszwic 421b92f8445Sssszwic (0 until PortNumber).map{ i => 422b92f8445Sssszwic toMSHRArbiter.io.in(i).valid := s2_valid && s2_miss(i) && !has_send(i) 423b92f8445Sssszwic toMSHRArbiter.io.in(i).bits.blkPaddr := getBlkAddr(s2_req_paddr(i)) 424b92f8445Sssszwic toMSHRArbiter.io.in(i).bits.vSetIdx := s2_req_vSetIdx(i) 425b92f8445Sssszwic } 426b92f8445Sssszwic 427b92f8445Sssszwic toMSHR <> toMSHRArbiter.io.out 428b92f8445Sssszwic 429b92f8445Sssszwic s2_flush := io.flush 430b92f8445Sssszwic 431b92f8445Sssszwic val s2_finish = (0 until PortNumber).map(i => has_send(i) || !s2_miss(i) || toMSHRArbiter.io.in(i).fire).reduce(_&&_) 432b92f8445Sssszwic s2_ready := s2_finish || !s2_valid 433b92f8445Sssszwic s2_fire := s2_valid && s2_finish && !s2_flush 4349bba777eSssszwic 435cb6e5d3cSssszwic /** PerfAccumulate */ 436cb6e5d3cSssszwic // the number of prefetch request received from ftq 437935edac4STang Haojin XSPerfAccumulate("prefetch_req_receive", fromFtq.req.fire) 438b92f8445Sssszwic // the number of prefetch request sent to missUnit 439b92f8445Sssszwic XSPerfAccumulate("prefetch_req_send", toMSHR.fire) 440b92f8445Sssszwic XSPerfAccumulate("to_missUnit_stall", toMSHR.valid && !toMSHR.ready) 441cb6e5d3cSssszwic /** 442cb6e5d3cSssszwic * Count the number of requests that are filtered for various reasons. 443cb6e5d3cSssszwic * The number of prefetch discard in Performance Accumulator may be 444cb6e5d3cSssszwic * a littel larger the number of really discarded. Because there can 445cb6e5d3cSssszwic * be multiple reasons for a canceled request at the same time. 446cb6e5d3cSssszwic */ 447b92f8445Sssszwic // discard prefetch request by flush 448b92f8445Sssszwic // XSPerfAccumulate("fdip_prefetch_discard_by_tlb_except", p1_discard && p1_tlb_except) 449b92f8445Sssszwic // // discard prefetch request by hit icache SRAM 450b92f8445Sssszwic // XSPerfAccumulate("fdip_prefetch_discard_by_hit_cache", p2_discard && p1_meta_hit) 451b92f8445Sssszwic // // discard prefetch request by hit wirte SRAM 452b92f8445Sssszwic // XSPerfAccumulate("fdip_prefetch_discard_by_p1_monoitor", p1_discard && p1_monitor_hit) 453b92f8445Sssszwic // // discard prefetch request by pmp except or mmio 454b92f8445Sssszwic // XSPerfAccumulate("fdip_prefetch_discard_by_pmp", p2_discard && p2_pmp_except) 455b92f8445Sssszwic // // discard prefetch request by hit mainPipe info 456b92f8445Sssszwic // // XSPerfAccumulate("fdip_prefetch_discard_by_mainPipe", p2_discard && p2_mainPipe_hit) 4577052722fSJay}