11d8f4dcbSJay/*************************************************************************************** 21d8f4dcbSJay* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 31d8f4dcbSJay* Copyright (c) 2020-2021 Peng Cheng Laboratory 41d8f4dcbSJay* 51d8f4dcbSJay* XiangShan is licensed under Mulan PSL v2. 61d8f4dcbSJay* You can use this software according to the terms and conditions of the Mulan PSL v2. 71d8f4dcbSJay* You may obtain a copy of Mulan PSL v2 at: 81d8f4dcbSJay* http://license.coscl.org.cn/MulanPSL2 91d8f4dcbSJay* 101d8f4dcbSJay* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 111d8f4dcbSJay* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 121d8f4dcbSJay* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 131d8f4dcbSJay* 141d8f4dcbSJay* See the Mulan PSL v2 for more details. 151d8f4dcbSJay***************************************************************************************/ 161d8f4dcbSJay 171d8f4dcbSJaypackage xiangshan.frontend.icache 181d8f4dcbSJay 198891a219SYinan Xuimport org.chipsalliance.cde.config.Parameters 201d8f4dcbSJayimport chisel3._ 211d8f4dcbSJayimport chisel3.util._ 227d45a146SYinan Xuimport difftest._ 231d8f4dcbSJayimport freechips.rocketchip.tilelink.ClientStates 241d8f4dcbSJayimport xiangshan._ 251d8f4dcbSJayimport xiangshan.cache.mmu._ 261d8f4dcbSJayimport utils._ 273c02ee8fSwakafaimport utility._ 281d8f4dcbSJayimport xiangshan.backend.fu.{PMPReqBundle, PMPRespBundle} 2988895b11Sxu_zhimport xiangshan.frontend.{FtqICacheInfo, FtqToICacheRequestBundle, ExceptionType} 301d8f4dcbSJay 311d8f4dcbSJayclass ICacheMainPipeReq(implicit p: Parameters) extends ICacheBundle 321d8f4dcbSJay{ 331d8f4dcbSJay val vaddr = UInt(VAddrBits.W) 34b92f8445Sssszwic def vSetIdx = get_idx(vaddr) 351d8f4dcbSJay} 361d8f4dcbSJay 371d8f4dcbSJayclass ICacheMainPipeResp(implicit p: Parameters) extends ICacheBundle 381d8f4dcbSJay{ 391d8f4dcbSJay val vaddr = UInt(VAddrBits.W) 40b92f8445Sssszwic val data = UInt((blockBits).W) 411d8f4dcbSJay val paddr = UInt(PAddrBits.W) 42d0de7e4aSpeixiaokun val gpaddr = UInt(GPAddrBits.W) 4388895b11Sxu_zh val exception = UInt(ExceptionType.width.W) 44*002c10a4SYanqin Li val pmp_mmio = Bool() 45*002c10a4SYanqin Li val itlb_pbmt = UInt(Pbmt.width.W) 461d8f4dcbSJay} 471d8f4dcbSJay 481d8f4dcbSJayclass ICacheMainPipeBundle(implicit p: Parameters) extends ICacheBundle 491d8f4dcbSJay{ 50c5c5edaeSJenius val req = Flipped(Decoupled(new FtqToICacheRequestBundle)) 51c5c5edaeSJenius val resp = Vec(PortNumber, ValidIO(new ICacheMainPipeResp)) 52d2b20d1aSTang Haojin val topdownIcacheMiss = Output(Bool()) 53d2b20d1aSTang Haojin val topdownItlbMiss = Output(Bool()) 541d8f4dcbSJay} 551d8f4dcbSJay 561d8f4dcbSJayclass ICacheMetaReqBundle(implicit p: Parameters) extends ICacheBundle{ 57afed18b5SJenius val toIMeta = DecoupledIO(new ICacheReadBundle) 581d8f4dcbSJay val fromIMeta = Input(new ICacheMetaRespBundle) 591d8f4dcbSJay} 601d8f4dcbSJay 611d8f4dcbSJayclass ICacheDataReqBundle(implicit p: Parameters) extends ICacheBundle{ 62b92f8445Sssszwic val toIData = Vec(partWayNum, DecoupledIO(new ICacheReadBundle)) 631d8f4dcbSJay val fromIData = Input(new ICacheDataRespBundle) 641d8f4dcbSJay} 651d8f4dcbSJay 661d8f4dcbSJayclass ICacheMSHRBundle(implicit p: Parameters) extends ICacheBundle{ 67b92f8445Sssszwic val req = Decoupled(new ICacheMissReq) 68b92f8445Sssszwic val resp = Flipped(ValidIO(new ICacheMissResp)) 691d8f4dcbSJay} 701d8f4dcbSJay 711d8f4dcbSJayclass ICachePMPBundle(implicit p: Parameters) extends ICacheBundle{ 721d8f4dcbSJay val req = Valid(new PMPReqBundle()) 731d8f4dcbSJay val resp = Input(new PMPRespBundle()) 741d8f4dcbSJay} 751d8f4dcbSJay 761d8f4dcbSJayclass ICachePerfInfo(implicit p: Parameters) extends ICacheBundle{ 771d8f4dcbSJay val only_0_hit = Bool() 781d8f4dcbSJay val only_0_miss = Bool() 791d8f4dcbSJay val hit_0_hit_1 = Bool() 801d8f4dcbSJay val hit_0_miss_1 = Bool() 811d8f4dcbSJay val miss_0_hit_1 = Bool() 821d8f4dcbSJay val miss_0_miss_1 = Bool() 83a108d429SJay val hit_0_except_1 = Bool() 84a108d429SJay val miss_0_except_1 = Bool() 85a108d429SJay val except_0 = Bool() 861d8f4dcbSJay val bank_hit = Vec(2,Bool()) 871d8f4dcbSJay val hit = Bool() 881d8f4dcbSJay} 891d8f4dcbSJay 901d8f4dcbSJayclass ICacheMainPipeInterface(implicit p: Parameters) extends ICacheBundle { 91f57f7f2aSYangyu Chen val hartId = Input(UInt(hartIdLen.W)) 922a3050c2SJay /*** internal interface ***/ 931d8f4dcbSJay val dataArray = new ICacheDataReqBundle 94b1ded4e8Sguohongyu /** prefetch io */ 95b92f8445Sssszwic val touch = Vec(PortNumber,ValidIO(new ReplacerTouch)) 96b92f8445Sssszwic val wayLookupRead = Flipped(DecoupledIO(new WayLookupInfo)) 97cb6e5d3cSssszwic 98b92f8445Sssszwic val mshr = new ICacheMSHRBundle 990184a80eSYanqin Li val errors = Output(Vec(PortNumber, ValidIO(new L1CacheErrorInfo))) 1002a3050c2SJay /*** outside interface ***/ 101c5c5edaeSJenius //val fetch = Vec(PortNumber, new ICacheMainPipeBundle) 102c5c5edaeSJenius /* when ftq.valid is high in T + 1 cycle 103c5c5edaeSJenius * the ftq component must be valid in T cycle 104c5c5edaeSJenius */ 105c5c5edaeSJenius val fetch = new ICacheMainPipeBundle 1061d8f4dcbSJay val pmp = Vec(PortNumber, new ICachePMPBundle) 1071d8f4dcbSJay val respStall = Input(Bool()) 10858dbdfc2SJay 109ecccf78fSJay val csr_parity_enable = Input(Bool()) 110b92f8445Sssszwic val flush = Input(Bool()) 111b92f8445Sssszwic 112b92f8445Sssszwic val perfInfo = Output(new ICachePerfInfo) 1131d8f4dcbSJay} 1141d8f4dcbSJay 115f9c51548Sssszwicclass ICacheDB(implicit p: Parameters) extends ICacheBundle { 116f9c51548Sssszwic val blk_vaddr = UInt((VAddrBits - blockOffBits).W) 117f9c51548Sssszwic val blk_paddr = UInt((PAddrBits - blockOffBits).W) 118f9c51548Sssszwic val hit = Bool() 119f9c51548Sssszwic} 120f9c51548Sssszwic 1211d8f4dcbSJayclass ICacheMainPipe(implicit p: Parameters) extends ICacheModule 1221d8f4dcbSJay{ 1231d8f4dcbSJay val io = IO(new ICacheMainPipeInterface) 1241d8f4dcbSJay 12558dbdfc2SJay /** Input/Output port */ 126c5c5edaeSJenius val (fromFtq, toIFU) = (io.fetch.req, io.fetch.resp) 127b92f8445Sssszwic val (toData, fromData) = (io.dataArray.toIData, io.dataArray.fromIData) 128b92f8445Sssszwic val (toMSHR, fromMSHR) = (io.mshr.req, io.mshr.resp) 1291d8f4dcbSJay val (toPMP, fromPMP) = (io.pmp.map(_.req), io.pmp.map(_.resp)) 130b92f8445Sssszwic val fromWayLookup = io.wayLookupRead 13158c354d0Sssszwic 13258c354d0Sssszwic // Statistics on the frequency distribution of FTQ fire interval 13358c354d0Sssszwic val cntFtqFireInterval = RegInit(0.U(32.W)) 13458c354d0Sssszwic cntFtqFireInterval := Mux(fromFtq.fire, 1.U, cntFtqFireInterval + 1.U) 135da05f2feSYangyu Chen XSPerfHistogram("ftq2icache_fire", 13658c354d0Sssszwic cntFtqFireInterval, fromFtq.fire, 13758c354d0Sssszwic 1, 300, 1, right_strict = true) 138b1ded4e8Sguohongyu 13958dbdfc2SJay /** pipeline control signal */ 140f1fe8698SLemover val s1_ready, s2_ready = Wire(Bool()) 141f1fe8698SLemover val s0_fire, s1_fire , s2_fire = Wire(Bool()) 142b92f8445Sssszwic val s0_flush, s1_flush , s2_flush = Wire(Bool()) 1431d8f4dcbSJay 1442a3050c2SJay /** 1452a3050c2SJay ****************************************************************************** 14658dbdfc2SJay * ICache Stage 0 147b92f8445Sssszwic * - send req to data SRAM 148b92f8445Sssszwic * - get waymask and tlb info from wayLookup 1492a3050c2SJay ****************************************************************************** 1502a3050c2SJay */ 1512a3050c2SJay 15258dbdfc2SJay /** s0 control */ 153b92f8445Sssszwic // 0,1,2,3 -> dataArray(data); 4 -> mainPipe 154b92f8445Sssszwic // Ftq RegNext Register 155b92f8445Sssszwic val fromFtqReq = fromFtq.bits.pcMemRead 156c5c5edaeSJenius val s0_valid = fromFtq.valid 157b92f8445Sssszwic val s0_req_valid_all = (0 until partWayNum + 1).map(i => fromFtq.bits.readValid(i)) 158b92f8445Sssszwic val s0_req_vaddr_all = (0 until partWayNum + 1).map(i => VecInit(Seq(fromFtqReq(i).startAddr, fromFtqReq(i).nextlineStart))) 15988895b11Sxu_zh val s0_req_vSetIdx_all = (0 until partWayNum + 1).map(i => VecInit(s0_req_vaddr_all(i).map(get_idx))) 160b92f8445Sssszwic val s0_req_offset_all = (0 until partWayNum + 1).map(i => s0_req_vaddr_all(i)(0)(log2Ceil(blockBytes)-1, 0)) 161b92f8445Sssszwic val s0_doubleline_all = (0 until partWayNum + 1).map(i => fromFtq.bits.readValid(i) && fromFtqReq(i).crossCacheline) 1621d8f4dcbSJay 163b92f8445Sssszwic val s0_req_vaddr = s0_req_vaddr_all.last 164b92f8445Sssszwic val s0_req_vSetIdx = s0_req_vSetIdx_all.last 165b92f8445Sssszwic val s0_doubleline = s0_doubleline_all.last 16661e1db30SJay 167b92f8445Sssszwic /** 168b92f8445Sssszwic ****************************************************************************** 169b92f8445Sssszwic * get waymask and tlb info from wayLookup 170b92f8445Sssszwic ****************************************************************************** 171b92f8445Sssszwic */ 172b92f8445Sssszwic fromWayLookup.ready := s0_fire 173b92f8445Sssszwic val s0_waymasks = VecInit(fromWayLookup.bits.waymask.map(_.asTypeOf(Vec(nWays, Bool())))) 174b92f8445Sssszwic val s0_req_ptags = fromWayLookup.bits.ptag 175b92f8445Sssszwic val s0_req_gpaddr = fromWayLookup.bits.gpaddr 17688895b11Sxu_zh val s0_itlb_exception = fromWayLookup.bits.itlb_exception 177*002c10a4SYanqin Li val s0_itlb_pbmt = fromWayLookup.bits.itlb_pbmt 17888895b11Sxu_zh val s0_meta_corrupt = fromWayLookup.bits.meta_corrupt 17988895b11Sxu_zh val s0_hits = VecInit(fromWayLookup.bits.waymask.map(_.orR)) 180f56177cbSJenius 181b92f8445Sssszwic when(s0_fire){ 182b92f8445Sssszwic assert((0 until PortNumber).map(i => s0_req_vSetIdx(i) === fromWayLookup.bits.vSetIdx(i)).reduce(_&&_), 183b92f8445Sssszwic "vSetIdxs from ftq and wayLookup are different! vaddr0=0x%x ftq: vidx0=0x%x vidx1=0x%x wayLookup: vidx0=0x%x vidx1=0x%x", 184b92f8445Sssszwic s0_req_vaddr(0), s0_req_vSetIdx(0), s0_req_vSetIdx(1), fromWayLookup.bits.vSetIdx(0), fromWayLookup.bits.vSetIdx(1)) 1851d8f4dcbSJay } 186afed18b5SJenius 187b92f8445Sssszwic /** 188b92f8445Sssszwic ****************************************************************************** 189b92f8445Sssszwic * data SRAM request 190b92f8445Sssszwic ****************************************************************************** 191b92f8445Sssszwic */ 192b92f8445Sssszwic for(i <- 0 until partWayNum) { 193b92f8445Sssszwic toData(i).valid := s0_req_valid_all(i) 194b92f8445Sssszwic toData(i).bits.isDoubleLine := s0_doubleline_all(i) 195b92f8445Sssszwic toData(i).bits.vSetIdx := s0_req_vSetIdx_all(i) 196b92f8445Sssszwic toData(i).bits.blkOffset := s0_req_offset_all(i) 197b92f8445Sssszwic toData(i).bits.wayMask := s0_waymasks 198b92f8445Sssszwic } 199afed18b5SJenius 200b92f8445Sssszwic val s0_can_go = toData.last.ready && fromWayLookup.valid && s1_ready 201b92f8445Sssszwic s0_flush := io.flush 202b92f8445Sssszwic s0_fire := s0_valid && s0_can_go && !s0_flush 2032a3050c2SJay 204c5c5edaeSJenius fromFtq.ready := s0_can_go 205f1fe8698SLemover 2062a3050c2SJay /** 2072a3050c2SJay ****************************************************************************** 20858dbdfc2SJay * ICache Stage 1 209b92f8445Sssszwic * - PMP check 210b92f8445Sssszwic * - get Data SRAM read responses (latched for pipeline stop) 211b92f8445Sssszwic * - monitor missUint response port 2122a3050c2SJay ****************************************************************************** 2132a3050c2SJay */ 214b92f8445Sssszwic val s1_valid = generatePipeControl(lastFire = s0_fire, thisFire = s1_fire, thisFlush = s1_flush, lastFlush = false.B) 2151d8f4dcbSJay 216b92f8445Sssszwic val s1_req_vaddr = RegEnable(s0_req_vaddr, 0.U.asTypeOf(s0_req_vaddr), s0_fire) 217b92f8445Sssszwic val s1_req_ptags = RegEnable(s0_req_ptags, 0.U.asTypeOf(s0_req_ptags), s0_fire) 218b92f8445Sssszwic val s1_req_gpaddr = RegEnable(s0_req_gpaddr, 0.U.asTypeOf(s0_req_gpaddr), s0_fire) 219b92f8445Sssszwic val s1_doubleline = RegEnable(s0_doubleline, 0.U.asTypeOf(s0_doubleline), s0_fire) 220b92f8445Sssszwic val s1_SRAMhits = RegEnable(s0_hits, 0.U.asTypeOf(s0_hits), s0_fire) 22188895b11Sxu_zh val s1_itlb_exception = RegEnable(s0_itlb_exception, 0.U.asTypeOf(s0_itlb_exception), s0_fire) 222*002c10a4SYanqin Li val s1_itlb_pbmt = RegEnable(s0_itlb_pbmt, 0.U.asTypeOf(s0_itlb_pbmt), s0_fire) 223b92f8445Sssszwic val s1_waymasks = RegEnable(s0_waymasks, 0.U.asTypeOf(s0_waymasks), s0_fire) 22488895b11Sxu_zh val s1_meta_corrupt = RegEnable(s0_meta_corrupt, 0.U.asTypeOf(s0_meta_corrupt), s0_fire) 2251d8f4dcbSJay 22688895b11Sxu_zh val s1_req_vSetIdx = s1_req_vaddr.map(get_idx) 227b92f8445Sssszwic val s1_req_paddr = s1_req_vaddr.zip(s1_req_ptags).map{case(vaddr, ptag) => get_paddr_from_ptag(vaddr, ptag)} 228b92f8445Sssszwic val s1_req_offset = s1_req_vaddr(0)(log2Ceil(blockBytes)-1, 0) 229b1ded4e8Sguohongyu 2302a3050c2SJay /** 2312a3050c2SJay ****************************************************************************** 232b92f8445Sssszwic * update replacement status register 2332a3050c2SJay ****************************************************************************** 2342a3050c2SJay */ 235b92f8445Sssszwic (0 until PortNumber).foreach{ i => 236b92f8445Sssszwic io.touch(i).bits.vSetIdx := s1_req_vSetIdx(i) 237b92f8445Sssszwic io.touch(i).bits.way := OHToUInt(s1_waymasks(i)) 238b92f8445Sssszwic } 239b92f8445Sssszwic io.touch(0).valid := RegNext(s0_fire) && s1_SRAMhits(0) 240b92f8445Sssszwic io.touch(1).valid := RegNext(s0_fire) && s1_SRAMhits(1) && s1_doubleline 241f1fe8698SLemover 242a61a35e0Sssszwic /** 243a61a35e0Sssszwic ****************************************************************************** 244b92f8445Sssszwic * PMP check 245a61a35e0Sssszwic ****************************************************************************** 246a61a35e0Sssszwic */ 24788895b11Sxu_zh toPMP.zipWithIndex.foreach { case (p, i) => 24888895b11Sxu_zh // if itlb has exception, paddr can be invalid, therefore pmp check can be skipped 24988895b11Sxu_zh p.valid := s1_valid // && s1_itlb_exception === ExceptionType.none 250b92f8445Sssszwic p.bits.addr := s1_req_paddr(i) 251a61a35e0Sssszwic p.bits.size := 3.U // TODO 252a61a35e0Sssszwic p.bits.cmd := TlbCmd.exec 253a61a35e0Sssszwic } 25488895b11Sxu_zh val s1_pmp_exception = VecInit(fromPMP.map(ExceptionType.fromPMPResp)) 255*002c10a4SYanqin Li val s1_pmp_mmio = VecInit(fromPMP.map(_.mmio)) 25688895b11Sxu_zh 257f80535c3Sxu_zh // also raise af when meta array corrupt is detected, to cancel fetch 258f80535c3Sxu_zh val s1_meta_exception = VecInit(s1_meta_corrupt.map(ExceptionType.fromECC(io.csr_parity_enable, _))) 259f80535c3Sxu_zh 260f80535c3Sxu_zh // merge s1 itlb/pmp/meta exceptions, itlb has the highest priority, pmp next, meta lowest 261f80535c3Sxu_zh val s1_exception_out = ExceptionType.merge( 262f80535c3Sxu_zh s1_itlb_exception, 263f80535c3Sxu_zh s1_pmp_exception, 264f80535c3Sxu_zh s1_meta_exception 265f80535c3Sxu_zh ) 2661d8f4dcbSJay 267*002c10a4SYanqin Li // DO NOT merge pmp mmio and itlb pbmt here, we need them to be passed to IFU separately 268*002c10a4SYanqin Li 269a61a35e0Sssszwic /** 270a61a35e0Sssszwic ****************************************************************************** 271b92f8445Sssszwic * select data from MSHR, SRAM 272a61a35e0Sssszwic ****************************************************************************** 273a61a35e0Sssszwic */ 274b92f8445Sssszwic val s1_MSHR_match = VecInit((0 until PortNumber).map(i => (s1_req_vSetIdx(i) === fromMSHR.bits.vSetIdx) && 275b92f8445Sssszwic (s1_req_ptags(i) === getPhyTagFromBlk(fromMSHR.bits.blkPaddr)) && 276b92f8445Sssszwic fromMSHR.valid && !fromMSHR.bits.corrupt)) 277b92f8445Sssszwic val s1_MSHR_hits = Seq(s1_valid && s1_MSHR_match(0), 278b92f8445Sssszwic s1_valid && (s1_MSHR_match(1) && s1_doubleline)) 279b92f8445Sssszwic val s1_MSHR_datas = fromMSHR.bits.data.asTypeOf(Vec(ICacheDataBanks, UInt((blockBits/ICacheDataBanks).W))) 28079b191f7SJay 281b92f8445Sssszwic val s1_hits = (0 until PortNumber).map(i => ValidHoldBypass(s1_MSHR_hits(i) || (RegNext(s0_fire) && s1_SRAMhits(i)), s1_fire || s1_flush)) 282a61a35e0Sssszwic 283b92f8445Sssszwic val s1_bankIdxLow = s1_req_offset >> log2Ceil(blockBytes/ICacheDataBanks) 284b92f8445Sssszwic val s1_bankMSHRHit = VecInit((0 until ICacheDataBanks).map(i => (i.U >= s1_bankIdxLow) && s1_MSHR_hits(0) || 285b92f8445Sssszwic (i.U < s1_bankIdxLow) && s1_MSHR_hits(1))) 286b92f8445Sssszwic val s1_datas = VecInit((0 until ICacheDataBanks).map(i => DataHoldBypass(Mux(s1_bankMSHRHit(i), s1_MSHR_datas(i), fromData.datas(i)), 287b92f8445Sssszwic s1_bankMSHRHit(i) || RegNext(s0_fire)))) 288b92f8445Sssszwic val s1_codes = DataHoldBypass(fromData.codes, RegNext(s0_fire)) 289a61a35e0Sssszwic 290b92f8445Sssszwic s1_flush := io.flush 291b92f8445Sssszwic s1_ready := s2_ready || !s1_valid 292b92f8445Sssszwic s1_fire := s1_valid && s2_ready && !s1_flush 293a61a35e0Sssszwic 294a61a35e0Sssszwic /** 295a61a35e0Sssszwic ****************************************************************************** 296b92f8445Sssszwic * ICache Stage 2 297b92f8445Sssszwic * - send request to MSHR if ICache miss 298b92f8445Sssszwic * - monitor missUint response port 299b92f8445Sssszwic * - response to IFU 300a61a35e0Sssszwic ****************************************************************************** 301a61a35e0Sssszwic */ 302a61a35e0Sssszwic 303b92f8445Sssszwic val s2_valid = generatePipeControl(lastFire = s1_fire, thisFire = s2_fire, thisFlush = s2_flush, lastFlush = false.B) 304a61a35e0Sssszwic 305b92f8445Sssszwic val s2_req_vaddr = RegEnable(s1_req_vaddr, 0.U.asTypeOf(s1_req_vaddr), s1_fire) 306b92f8445Sssszwic val s2_req_ptags = RegEnable(s1_req_ptags, 0.U.asTypeOf(s1_req_ptags), s1_fire) 307b39ba14bSxu_zh val s2_req_gpaddr = RegEnable(s1_req_gpaddr, 0.U.asTypeOf(s1_req_gpaddr), s1_fire) 308b92f8445Sssszwic val s2_doubleline = RegEnable(s1_doubleline, 0.U.asTypeOf(s1_doubleline), s1_fire) 309f80535c3Sxu_zh val s2_exception = RegEnable(s1_exception_out, 0.U.asTypeOf(s1_exception_out), s1_fire) // includes itlb/pmp/meta exception 310*002c10a4SYanqin Li val s2_pmp_mmio = RegEnable(s1_pmp_mmio, 0.U.asTypeOf(s1_pmp_mmio), s1_fire) 311*002c10a4SYanqin Li val s2_itlb_pbmt = RegEnable(s1_itlb_pbmt, 0.U.asTypeOf(s1_itlb_pbmt), s1_fire) 312a61a35e0Sssszwic 31388895b11Sxu_zh val s2_req_vSetIdx = s2_req_vaddr.map(get_idx) 314b92f8445Sssszwic val s2_req_offset = s2_req_vaddr(0)(log2Ceil(blockBytes)-1, 0) 315b92f8445Sssszwic val s2_req_paddr = s2_req_vaddr.zip(s2_req_ptags).map{case(vaddr, ptag) => get_paddr_from_ptag(vaddr, ptag)} 316a61a35e0Sssszwic 317b92f8445Sssszwic val s2_SRAMhits = RegEnable(s1_SRAMhits, 0.U.asTypeOf(s1_SRAMhits), s1_fire) 318b92f8445Sssszwic val s2_codes = RegEnable(s1_codes, 0.U.asTypeOf(s1_codes), s1_fire) 319b92f8445Sssszwic val s2_hits = RegInit(VecInit(Seq.fill(PortNumber)(false.B))) 320b92f8445Sssszwic val s2_datas = RegInit(VecInit(Seq.fill(ICacheDataBanks)(0.U((blockBits/ICacheDataBanks).W)))) 321a61a35e0Sssszwic 322a61a35e0Sssszwic /** 323a61a35e0Sssszwic ****************************************************************************** 324b92f8445Sssszwic * report data parity error 325a61a35e0Sssszwic ****************************************************************************** 326a61a35e0Sssszwic */ 327b92f8445Sssszwic // check data error 328b92f8445Sssszwic val s2_bankSel = getBankSel(s2_req_offset, s2_valid) 32988895b11Sxu_zh val s2_bank_corrupt = (0 until ICacheDataBanks).map(i => (encode(s2_datas(i)) =/= s2_codes(i))) 33088895b11Sxu_zh val s2_data_corrupt = (0 until PortNumber).map(port => (0 until ICacheDataBanks).map(bank => 33188895b11Sxu_zh s2_bank_corrupt(bank) && s2_bankSel(port)(bank).asBool).reduce(_||_) && s2_SRAMhits(port)) 332b92f8445Sssszwic // meta error is checked in prefetch pipeline 33388895b11Sxu_zh val s2_meta_corrupt = RegEnable(s1_meta_corrupt, 0.U.asTypeOf(s1_meta_corrupt), s1_fire) 334b92f8445Sssszwic // send errors to top 335a61a35e0Sssszwic (0 until PortNumber).map{ i => 33688895b11Sxu_zh io.errors(i).valid := io.csr_parity_enable && RegNext(s1_fire) && (s2_meta_corrupt(i) || s2_data_corrupt(i)) 33788895b11Sxu_zh io.errors(i).bits.report_to_beu := io.csr_parity_enable && RegNext(s1_fire) && (s2_meta_corrupt(i) || s2_data_corrupt(i)) 338b92f8445Sssszwic io.errors(i).bits.paddr := s2_req_paddr(i) 3390184a80eSYanqin Li io.errors(i).bits.source := DontCare 34088895b11Sxu_zh io.errors(i).bits.source.tag := s2_meta_corrupt(i) 34188895b11Sxu_zh io.errors(i).bits.source.data := s2_data_corrupt(i) 3420184a80eSYanqin Li io.errors(i).bits.source.l2 := false.B 3430184a80eSYanqin Li io.errors(i).bits.opType := DontCare 3440184a80eSYanqin Li io.errors(i).bits.opType.fetch := true.B 34579b191f7SJay } 34679b191f7SJay 347b92f8445Sssszwic /** 348b92f8445Sssszwic ****************************************************************************** 349b92f8445Sssszwic * monitor missUint response port 350b92f8445Sssszwic ****************************************************************************** 351b92f8445Sssszwic */ 352fa42eb78Sxu_zh val s2_MSHR_match = VecInit((0 until PortNumber).map( i => 353fa42eb78Sxu_zh (s2_req_vSetIdx(i) === fromMSHR.bits.vSetIdx) && 354b92f8445Sssszwic (s2_req_ptags(i) === getPhyTagFromBlk(fromMSHR.bits.blkPaddr)) && 355fa42eb78Sxu_zh fromMSHR.valid // we don't care about whether it's corrupt here 356fa42eb78Sxu_zh )) 357b92f8445Sssszwic val s2_MSHR_hits = Seq(s2_valid && s2_MSHR_match(0), 358fa42eb78Sxu_zh s2_valid && s2_MSHR_match(1) && s2_doubleline) 359b92f8445Sssszwic val s2_MSHR_datas = fromMSHR.bits.data.asTypeOf(Vec(ICacheDataBanks, UInt((blockBits/ICacheDataBanks).W))) 360b92f8445Sssszwic 361b92f8445Sssszwic val s2_bankIdxLow = s2_req_offset >> log2Ceil(blockBytes/ICacheDataBanks) 362fa42eb78Sxu_zh val s2_bankMSHRHit = VecInit((0 until ICacheDataBanks).map( i => 363fa42eb78Sxu_zh ((i.U >= s2_bankIdxLow) && s2_MSHR_hits(0)) || ((i.U < s2_bankIdxLow) && s2_MSHR_hits(1)) 364fa42eb78Sxu_zh )) 365b92f8445Sssszwic 366b92f8445Sssszwic (0 until ICacheDataBanks).foreach{ i => 367b92f8445Sssszwic when(s1_fire) { 368b92f8445Sssszwic s2_datas := s1_datas 369fa42eb78Sxu_zh }.elsewhen(s2_bankMSHRHit(i) && !fromMSHR.bits.corrupt) { 370fa42eb78Sxu_zh // if corrupt, no need to update s2_datas (it's wrong anyway), to save power 371b92f8445Sssszwic s2_datas(i) := s2_MSHR_datas(i) 372b92f8445Sssszwic } 373b92f8445Sssszwic } 374b92f8445Sssszwic 375b92f8445Sssszwic (0 until PortNumber).foreach{ i => 376b92f8445Sssszwic when(s1_fire) { 377b92f8445Sssszwic s2_hits := s1_hits 378b92f8445Sssszwic }.elsewhen(s2_MSHR_hits(i)) { 379fa42eb78Sxu_zh // update s2_hits even if it's corrupt, to let s2_fire 380b92f8445Sssszwic s2_hits(i) := true.B 381b92f8445Sssszwic } 382b92f8445Sssszwic } 383b92f8445Sssszwic 38488895b11Sxu_zh val s2_l2_corrupt = RegInit(VecInit(Seq.fill(PortNumber)(false.B))) 385b92f8445Sssszwic (0 until PortNumber).foreach{ i => 386b92f8445Sssszwic when(s1_fire) { 38788895b11Sxu_zh s2_l2_corrupt(i) := false.B 388b92f8445Sssszwic }.elsewhen(s2_MSHR_hits(i)) { 38988895b11Sxu_zh s2_l2_corrupt(i) := fromMSHR.bits.corrupt 390b92f8445Sssszwic } 391b92f8445Sssszwic } 392b92f8445Sssszwic 393b92f8445Sssszwic /** 394b92f8445Sssszwic ****************************************************************************** 395b92f8445Sssszwic * send request to MSHR if ICache miss 396b92f8445Sssszwic ****************************************************************************** 397b92f8445Sssszwic */ 398*002c10a4SYanqin Li 399*002c10a4SYanqin Li // merge pmp mmio and itlb pbmt 400*002c10a4SYanqin Li val s2_mmio = VecInit((s2_pmp_mmio zip s2_itlb_pbmt).map{ case (mmio, pbmt) => 401*002c10a4SYanqin Li mmio || Pbmt.isUncache(pbmt) 402*002c10a4SYanqin Li }) 403*002c10a4SYanqin Li 404f80535c3Sxu_zh /* s2_exception includes itlb pf/gpf/af, pmp af and meta corruption (af), neither of which should be fetched 405f80535c3Sxu_zh * mmio should not be fetched, it will be fetched by IFU mmio fsm 406f80535c3Sxu_zh * also, if previous has exception, latter port should also not be fetched 40788895b11Sxu_zh */ 408b808ac73Sxu_zh val s2_miss = VecInit((0 until PortNumber).map { i => 409b808ac73Sxu_zh !s2_hits(i) && (if (i==0) true.B else s2_doubleline) && 41088895b11Sxu_zh s2_exception.take(i+1).map(_ === ExceptionType.none).reduce(_&&_) && 41188895b11Sxu_zh s2_mmio.take(i+1).map(!_).reduce(_&&_) 412b808ac73Sxu_zh }) 413b92f8445Sssszwic 414b92f8445Sssszwic val toMSHRArbiter = Module(new Arbiter(new ICacheMissReq, PortNumber)) 415b92f8445Sssszwic 416b92f8445Sssszwic // To avoid sending duplicate requests. 417b92f8445Sssszwic val has_send = RegInit(VecInit(Seq.fill(PortNumber)(false.B))) 418b92f8445Sssszwic (0 until PortNumber).foreach{ i => 419b92f8445Sssszwic when(s1_fire) { 420b92f8445Sssszwic has_send(i) := false.B 421b92f8445Sssszwic }.elsewhen(toMSHRArbiter.io.in(i).fire) { 422b92f8445Sssszwic has_send(i) := true.B 423b92f8445Sssszwic } 424b92f8445Sssszwic } 425b92f8445Sssszwic 426b92f8445Sssszwic (0 until PortNumber).map{ i => 427b92f8445Sssszwic toMSHRArbiter.io.in(i).valid := s2_valid && s2_miss(i) && !has_send(i) && !s2_flush 428b92f8445Sssszwic toMSHRArbiter.io.in(i).bits.blkPaddr := getBlkAddr(s2_req_paddr(i)) 429b92f8445Sssszwic toMSHRArbiter.io.in(i).bits.vSetIdx := s2_req_vSetIdx(i) 430b92f8445Sssszwic } 431b92f8445Sssszwic toMSHR <> toMSHRArbiter.io.out 432b92f8445Sssszwic 433b92f8445Sssszwic XSPerfAccumulate("to_missUnit_stall", toMSHR.valid && !toMSHR.ready) 434b92f8445Sssszwic 435b92f8445Sssszwic val s2_fetch_finish = !s2_miss.reduce(_||_) 436f80535c3Sxu_zh 437f80535c3Sxu_zh // also raise af if data/l2 corrupt is detected 438f80535c3Sxu_zh val s2_data_exception = VecInit(s2_data_corrupt.map(ExceptionType.fromECC(io.csr_parity_enable, _))) 439f80535c3Sxu_zh val s2_l2_exception = VecInit(s2_l2_corrupt.map(ExceptionType.fromECC(true.B, _))) 440f80535c3Sxu_zh 441f80535c3Sxu_zh // merge s2 exceptions, itlb has the highest priority, meta next, meta/data/l2 lowest (and we dont care about prioritizing between this three) 44288895b11Sxu_zh val s2_exception_out = ExceptionType.merge( 443f80535c3Sxu_zh s2_exception, // includes itlb/pmp/meta exception 444f80535c3Sxu_zh s2_data_exception, 445f80535c3Sxu_zh s2_l2_exception 44688895b11Sxu_zh ) 447b92f8445Sssszwic 448b92f8445Sssszwic /** 449b92f8445Sssszwic ****************************************************************************** 450b92f8445Sssszwic * response to IFU 451b92f8445Sssszwic ****************************************************************************** 452b92f8445Sssszwic */ 4531a5af821Sxu_zh (0 until PortNumber).foreach{ i => 454b92f8445Sssszwic if(i == 0) { 455b92f8445Sssszwic toIFU(i).valid := s2_fire 45688895b11Sxu_zh toIFU(i).bits.exception := s2_exception_out(i) 457*002c10a4SYanqin Li toIFU(i).bits.pmp_mmio := s2_pmp_mmio(i) // pass pmp_mmio instead of merged mmio to IFU 458*002c10a4SYanqin Li toIFU(i).bits.itlb_pbmt := s2_itlb_pbmt(i) 459b92f8445Sssszwic toIFU(i).bits.data := s2_datas.asTypeOf(UInt(blockBits.W)) 460b92f8445Sssszwic } else { 461b92f8445Sssszwic toIFU(i).valid := s2_fire && s2_doubleline 46288895b11Sxu_zh toIFU(i).bits.exception := Mux(s2_doubleline, s2_exception_out(i), ExceptionType.none) 463*002c10a4SYanqin Li toIFU(i).bits.pmp_mmio := s2_pmp_mmio(i) && s2_doubleline 464*002c10a4SYanqin Li toIFU(i).bits.itlb_pbmt := Mux(s2_doubleline, s2_itlb_pbmt(i), Pbmt.pma) 465b92f8445Sssszwic toIFU(i).bits.data := DontCare 466b92f8445Sssszwic } 467b92f8445Sssszwic toIFU(i).bits.vaddr := s2_req_vaddr(i) 468b92f8445Sssszwic toIFU(i).bits.paddr := s2_req_paddr(i) 4691a5af821Sxu_zh toIFU(i).bits.gpaddr := s2_req_gpaddr // Note: toIFU(1).bits.gpaddr is actually DontCare in current design 470b92f8445Sssszwic } 471b92f8445Sssszwic 472b92f8445Sssszwic s2_flush := io.flush 473b92f8445Sssszwic s2_ready := (s2_fetch_finish && !io.respStall) || !s2_valid 474b92f8445Sssszwic s2_fire := s2_valid && s2_fetch_finish && !io.respStall && !s2_flush 475b92f8445Sssszwic 476b92f8445Sssszwic /** 477b92f8445Sssszwic ****************************************************************************** 478b92f8445Sssszwic * report Tilelink corrupt error 479b92f8445Sssszwic ****************************************************************************** 480b92f8445Sssszwic */ 481a61a35e0Sssszwic (0 until PortNumber).map{ i => 48288895b11Sxu_zh when(RegNext(s2_fire && s2_l2_corrupt(i))){ 483a61a35e0Sssszwic io.errors(i).valid := true.B 4840184a80eSYanqin Li io.errors(i).bits.report_to_beu := false.B // l2 should have report that to bus error unit, no need to do it again 485b92f8445Sssszwic io.errors(i).bits.paddr := RegNext(s2_req_paddr(i)) 4860184a80eSYanqin Li io.errors(i).bits.source.tag := false.B 4870184a80eSYanqin Li io.errors(i).bits.source.data := false.B 4880184a80eSYanqin Li io.errors(i).bits.source.l2 := true.B 4891d8f4dcbSJay } 4901d8f4dcbSJay } 4911d8f4dcbSJay 492a61a35e0Sssszwic /** 493a61a35e0Sssszwic ****************************************************************************** 494a61a35e0Sssszwic * performance info. TODO: need to simplify the logic 495a61a35e0Sssszwic ***********************************************************s******************* 496a61a35e0Sssszwic */ 497b92f8445Sssszwic io.perfInfo.only_0_hit := s2_hits(0) && !s2_doubleline 498b92f8445Sssszwic io.perfInfo.only_0_miss := !s2_hits(0) && !s2_doubleline 499b92f8445Sssszwic io.perfInfo.hit_0_hit_1 := s2_hits(0) && s2_hits(1) && s2_doubleline 500b92f8445Sssszwic io.perfInfo.hit_0_miss_1 := s2_hits(0) && !s2_hits(1) && s2_doubleline 501b92f8445Sssszwic io.perfInfo.miss_0_hit_1 := !s2_hits(0) && s2_hits(1) && s2_doubleline 502b92f8445Sssszwic io.perfInfo.miss_0_miss_1 := !s2_hits(0) && !s2_hits(1) && s2_doubleline 50388895b11Sxu_zh io.perfInfo.hit_0_except_1 := s2_hits(0) && (s2_exception(1) =/= ExceptionType.none) && s2_doubleline 50488895b11Sxu_zh io.perfInfo.miss_0_except_1 := !s2_hits(0) && (s2_exception(1) =/= ExceptionType.none) && s2_doubleline 505b92f8445Sssszwic io.perfInfo.bank_hit(0) := s2_hits(0) 506b92f8445Sssszwic io.perfInfo.bank_hit(1) := s2_hits(1) && s2_doubleline 50788895b11Sxu_zh io.perfInfo.except_0 := s2_exception(0) =/= ExceptionType.none 508b92f8445Sssszwic io.perfInfo.hit := s2_hits(0) && (!s2_doubleline || s2_hits(1)) 50958dbdfc2SJay 51058dbdfc2SJay /** <PERF> fetch bubble generated by icache miss */ 51100240ba6SJay XSPerfAccumulate("icache_bubble_s2_miss", s2_valid && !s2_fetch_finish ) 512b92f8445Sssszwic XSPerfAccumulate("icache_bubble_s0_wayLookup", s0_valid && !fromWayLookup.ready) 513b92f8445Sssszwic 514b92f8445Sssszwic io.fetch.topdownIcacheMiss := !s2_fetch_finish 515b92f8445Sssszwic io.fetch.topdownItlbMiss := s0_valid && !fromWayLookup.ready 516b92f8445Sssszwic 517b92f8445Sssszwic // class ICacheTouchDB(implicit p: Parameters) extends ICacheBundle{ 518b92f8445Sssszwic // val blkPaddr = UInt((PAddrBits - blockOffBits).W) 519b92f8445Sssszwic // val vSetIdx = UInt(idxBits.W) 520b92f8445Sssszwic // val waymask = UInt(log2Ceil(nWays).W) 521b92f8445Sssszwic // } 522b92f8445Sssszwic 523b92f8445Sssszwic // val isWriteICacheTouchTable = WireInit(Constantin.createRecord("isWriteICacheTouchTable" + p(XSCoreParamsKey).HartId.toString)) 524b92f8445Sssszwic // val ICacheTouchTable = ChiselDB.createTable("ICacheTouchTable" + p(XSCoreParamsKey).HartId.toString, new ICacheTouchDB) 525b92f8445Sssszwic 526b92f8445Sssszwic // val ICacheTouchDumpData = Wire(Vec(PortNumber, new ICacheTouchDB)) 527b92f8445Sssszwic // (0 until PortNumber).foreach{ i => 528b92f8445Sssszwic // ICacheTouchDumpData(i).blkPaddr := getBlkAddr(s2_req_paddr(i)) 529b92f8445Sssszwic // ICacheTouchDumpData(i).vSetIdx := s2_req_vSetIdx(i) 530b92f8445Sssszwic // ICacheTouchDumpData(i).waymask := OHToUInt(s2_tag_match_vec(i)) 531b92f8445Sssszwic // ICacheTouchTable.log( 532b92f8445Sssszwic // data = ICacheTouchDumpData(i), 533b92f8445Sssszwic // en = io.touch(i).valid, 534b92f8445Sssszwic // site = "req_" + i.toString, 535b92f8445Sssszwic // clock = clock, 536b92f8445Sssszwic // reset = reset 537b92f8445Sssszwic // ) 538b92f8445Sssszwic // } 53958dbdfc2SJay 540a61a35e0Sssszwic /** 541a61a35e0Sssszwic ****************************************************************************** 542a61a35e0Sssszwic * difftest refill check 543a61a35e0Sssszwic ****************************************************************************** 544a61a35e0Sssszwic */ 545afa866b1Sguohongyu if (env.EnableDifftest) { 546afa866b1Sguohongyu val discards = (0 until PortNumber).map { i => 547*002c10a4SYanqin Li val discard = toIFU(i).bits.exception =/= ExceptionType.none || toIFU(i).bits.pmp_mmio || 548*002c10a4SYanqin Li Pbmt.isUncache(toIFU(i).bits.itlb_pbmt) 549afa866b1Sguohongyu discard 550afa866b1Sguohongyu } 551b92f8445Sssszwic val blkPaddrAll = s2_req_paddr.map(addr => addr(PAddrBits - 1, blockOffBits) << blockOffBits) 552b92f8445Sssszwic (0 until ICacheDataBanks).map { i => 553a0c65233SYinan Xu val diffMainPipeOut = DifftestModule(new DiffRefillEvent, dontCare = true) 5547d45a146SYinan Xu diffMainPipeOut.coreid := io.hartId 555b92f8445Sssszwic diffMainPipeOut.index := (3 + i).U 556b92f8445Sssszwic 557b92f8445Sssszwic val bankSel = getBankSel(s2_req_offset, s2_valid).reduce(_|_) 558b92f8445Sssszwic val lineSel = getLineSel(s2_req_offset) 559b92f8445Sssszwic 560b92f8445Sssszwic diffMainPipeOut.valid := s2_fire && bankSel(i).asBool && Mux(lineSel(i), !discards(1), !discards(0)) 561b92f8445Sssszwic diffMainPipeOut.addr := Mux(lineSel(i), blkPaddrAll(1) + (i.U << (log2Ceil(blockBytes/ICacheDataBanks))), 562b92f8445Sssszwic blkPaddrAll(0) + (i.U << (log2Ceil(blockBytes/ICacheDataBanks)))) 563b92f8445Sssszwic 564b92f8445Sssszwic diffMainPipeOut.data := s2_datas(i).asTypeOf(diffMainPipeOut.data) 565b92f8445Sssszwic diffMainPipeOut.idtfr := DontCare 566afa866b1Sguohongyu } 567afa866b1Sguohongyu } 5681d8f4dcbSJay}