11f0e2dc7SJiawei Lin/*************************************************************************************** 21f0e2dc7SJiawei Lin* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 31f0e2dc7SJiawei Lin* Copyright (c) 2020-2021 Peng Cheng Laboratory 41f0e2dc7SJiawei Lin* 51f0e2dc7SJiawei Lin* XiangShan is licensed under Mulan PSL v2. 61f0e2dc7SJiawei Lin* You can use this software according to the terms and conditions of the Mulan PSL v2. 71f0e2dc7SJiawei Lin* You may obtain a copy of Mulan PSL v2 at: 81f0e2dc7SJiawei Lin* http://license.coscl.org.cn/MulanPSL2 91f0e2dc7SJiawei Lin* 101f0e2dc7SJiawei Lin* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 111f0e2dc7SJiawei Lin* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 121f0e2dc7SJiawei Lin* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 131f0e2dc7SJiawei Lin* 141f0e2dc7SJiawei Lin* See the Mulan PSL v2 for more details. 151f0e2dc7SJiawei Lin***************************************************************************************/ 161f0e2dc7SJiawei Lin 171f0e2dc7SJiawei Linpackage xiangshan.cache 181f0e2dc7SJiawei Lin 191f0e2dc7SJiawei Linimport chipsalliance.rocketchip.config.Parameters 201f0e2dc7SJiawei Linimport chisel3._ 211f0e2dc7SJiawei Linimport chisel3.experimental.ExtModule 221f0e2dc7SJiawei Linimport chisel3.util._ 231f0e2dc7SJiawei Linimport xiangshan._ 241f0e2dc7SJiawei Linimport utils._ 253c02ee8fSwakafaimport utility._ 261f0e2dc7SJiawei Linimport freechips.rocketchip.diplomacy.{IdRange, LazyModule, LazyModuleImp, TransferSizes} 271f0e2dc7SJiawei Linimport freechips.rocketchip.tilelink._ 285668a921SJiawei Linimport freechips.rocketchip.util.{BundleFieldBase, UIntToOH1} 291f0e2dc7SJiawei Linimport device.RAMHelper 305668a921SJiawei Linimport huancun.{AliasField, AliasKey, DirtyField, PreferCacheField, PrefetchField} 313c02ee8fSwakafaimport utility.FastArbiter 32b36dd5fdSWilliam Wangimport mem.{AddPipelineReg} 33144422dcSMaxpicca-Liimport xiangshan.cache.dcache.ReplayCarry 345668a921SJiawei Lin 35ad3ba452Szhanglinjuanimport scala.math.max 361f0e2dc7SJiawei Lin 371f0e2dc7SJiawei Lin// DCache specific parameters 381f0e2dc7SJiawei Lincase class DCacheParameters 391f0e2dc7SJiawei Lin( 401f0e2dc7SJiawei Lin nSets: Int = 256, 411f0e2dc7SJiawei Lin nWays: Int = 8, 42af22dd7cSWilliam Wang rowBits: Int = 64, 431f0e2dc7SJiawei Lin tagECC: Option[String] = None, 441f0e2dc7SJiawei Lin dataECC: Option[String] = None, 45300ded30SWilliam Wang replacer: Option[String] = Some("setplru"), 461f0e2dc7SJiawei Lin nMissEntries: Int = 1, 471f0e2dc7SJiawei Lin nProbeEntries: Int = 1, 481f0e2dc7SJiawei Lin nReleaseEntries: Int = 1, 491f0e2dc7SJiawei Lin nMMIOEntries: Int = 1, 501f0e2dc7SJiawei Lin nMMIOs: Int = 1, 51fddcfe1fSwakafa blockBytes: Int = 64, 52fddcfe1fSwakafa alwaysReleaseData: Boolean = true 531f0e2dc7SJiawei Lin) extends L1CacheParameters { 541f0e2dc7SJiawei Lin // if sets * blockBytes > 4KB(page size), 551f0e2dc7SJiawei Lin // cache alias will happen, 561f0e2dc7SJiawei Lin // we need to avoid this by recoding additional bits in L2 cache 571f0e2dc7SJiawei Lin val setBytes = nSets * blockBytes 581f0e2dc7SJiawei Lin val aliasBitsOpt = if(setBytes > pageSize) Some(log2Ceil(setBytes / pageSize)) else None 591f0e2dc7SJiawei Lin val reqFields: Seq[BundleFieldBase] = Seq( 601f0e2dc7SJiawei Lin PrefetchField(), 611f0e2dc7SJiawei Lin PreferCacheField() 621f0e2dc7SJiawei Lin ) ++ aliasBitsOpt.map(AliasField) 631f0e2dc7SJiawei Lin val echoFields: Seq[BundleFieldBase] = Seq(DirtyField()) 641f0e2dc7SJiawei Lin 651f0e2dc7SJiawei Lin def tagCode: Code = Code.fromString(tagECC) 661f0e2dc7SJiawei Lin 671f0e2dc7SJiawei Lin def dataCode: Code = Code.fromString(dataECC) 681f0e2dc7SJiawei Lin} 691f0e2dc7SJiawei Lin 701f0e2dc7SJiawei Lin// Physical Address 711f0e2dc7SJiawei Lin// -------------------------------------- 721f0e2dc7SJiawei Lin// | Physical Tag | PIndex | Offset | 731f0e2dc7SJiawei Lin// -------------------------------------- 741f0e2dc7SJiawei Lin// | 751f0e2dc7SJiawei Lin// DCacheTagOffset 761f0e2dc7SJiawei Lin// 771f0e2dc7SJiawei Lin// Virtual Address 781f0e2dc7SJiawei Lin// -------------------------------------- 791f0e2dc7SJiawei Lin// | Above index | Set | Bank | Offset | 801f0e2dc7SJiawei Lin// -------------------------------------- 811f0e2dc7SJiawei Lin// | | | | 82ca18a0b4SWilliam Wang// | | | 0 831f0e2dc7SJiawei Lin// | | DCacheBankOffset 841f0e2dc7SJiawei Lin// | DCacheSetOffset 851f0e2dc7SJiawei Lin// DCacheAboveIndexOffset 861f0e2dc7SJiawei Lin 871f0e2dc7SJiawei Lin// Default DCache size = 64 sets * 8 ways * 8 banks * 8 Byte = 32K Byte 881f0e2dc7SJiawei Lin 891f0e2dc7SJiawei Lintrait HasDCacheParameters extends HasL1CacheParameters { 901f0e2dc7SJiawei Lin val cacheParams = dcacheParameters 911f0e2dc7SJiawei Lin val cfg = cacheParams 921f0e2dc7SJiawei Lin 931f0e2dc7SJiawei Lin def encWordBits = cacheParams.dataCode.width(wordBits) 941f0e2dc7SJiawei Lin 951f0e2dc7SJiawei Lin def encRowBits = encWordBits * rowWords // for DuplicatedDataArray only 961f0e2dc7SJiawei Lin def eccBits = encWordBits - wordBits 971f0e2dc7SJiawei Lin 98e19f7967SWilliam Wang def encTagBits = cacheParams.tagCode.width(tagBits) 99e19f7967SWilliam Wang def eccTagBits = encTagBits - tagBits 100e19f7967SWilliam Wang 1011f0e2dc7SJiawei Lin def blockProbeAfterGrantCycles = 8 // give the processor some time to issue a request after a grant 1021f0e2dc7SJiawei Lin 103*2db9ec44SLinJiawei def nSourceType = 10 1041f0e2dc7SJiawei Lin def sourceTypeWidth = log2Up(nSourceType) 1051f0e2dc7SJiawei Lin def LOAD_SOURCE = 0 1061f0e2dc7SJiawei Lin def STORE_SOURCE = 1 1071f0e2dc7SJiawei Lin def AMO_SOURCE = 2 10870bbe6d5SWilliam Wang def DCACHE_PREFETCH = 3 109*2db9ec44SLinJiawei def SOFT_PREFETCH = 4 110*2db9ec44SLinJiawei def HW_PREFETCH_AGT = 5 111*2db9ec44SLinJiawei def HW_PREFETCH_PHT_CUR = 6 112*2db9ec44SLinJiawei def HW_PREFETCH_PHT_INC = 7 113*2db9ec44SLinJiawei def HW_PREFETCH_PHT_DEC = 8 114*2db9ec44SLinJiawei def HW_PREFETCH_BOP = 9 115*2db9ec44SLinJiawei def HW_PREFETCH_STRIDE = 10 1161f0e2dc7SJiawei Lin 1171f0e2dc7SJiawei Lin // each source use a id to distinguish its multiple reqs 1188b1251e1SWilliam Wang def reqIdWidth = log2Up(nEntries) max log2Up(StoreBufferSize) 1191f0e2dc7SJiawei Lin 120300ded30SWilliam Wang require(isPow2(cfg.nMissEntries)) // TODO 121300ded30SWilliam Wang // require(isPow2(cfg.nReleaseEntries)) 122300ded30SWilliam Wang require(cfg.nMissEntries < cfg.nReleaseEntries) 123300ded30SWilliam Wang val nEntries = cfg.nMissEntries + cfg.nReleaseEntries 124300ded30SWilliam Wang val releaseIdBase = cfg.nMissEntries 125ad3ba452Szhanglinjuan 1261f0e2dc7SJiawei Lin // banked dcache support 1271f0e2dc7SJiawei Lin val DCacheSets = cacheParams.nSets 1281f0e2dc7SJiawei Lin val DCacheWays = cacheParams.nWays 129af22dd7cSWilliam Wang val DCacheBanks = 8 // hardcoded 130af22dd7cSWilliam Wang val DCacheSRAMRowBits = cacheParams.rowBits // hardcoded 131ca18a0b4SWilliam Wang val DCacheWordBits = 64 // hardcoded 132ca18a0b4SWilliam Wang val DCacheWordBytes = DCacheWordBits / 8 133af22dd7cSWilliam Wang require(DCacheSRAMRowBits == 64) 1341f0e2dc7SJiawei Lin 135ca18a0b4SWilliam Wang val DCacheSizeBits = DCacheSRAMRowBits * DCacheBanks * DCacheWays * DCacheSets 136ca18a0b4SWilliam Wang val DCacheSizeBytes = DCacheSizeBits / 8 137ca18a0b4SWilliam Wang val DCacheSizeWords = DCacheSizeBits / 64 // TODO 1381f0e2dc7SJiawei Lin 1391f0e2dc7SJiawei Lin val DCacheSameVPAddrLength = 12 1401f0e2dc7SJiawei Lin 1411f0e2dc7SJiawei Lin val DCacheSRAMRowBytes = DCacheSRAMRowBits / 8 142ca18a0b4SWilliam Wang val DCacheWordOffset = log2Up(DCacheWordBytes) 143ca18a0b4SWilliam Wang 144ca18a0b4SWilliam Wang val DCacheBankOffset = log2Up(DCacheSRAMRowBytes) 1451f0e2dc7SJiawei Lin val DCacheSetOffset = DCacheBankOffset + log2Up(DCacheBanks) 1461f0e2dc7SJiawei Lin val DCacheAboveIndexOffset = DCacheSetOffset + log2Up(DCacheSets) 1471f0e2dc7SJiawei Lin val DCacheTagOffset = DCacheAboveIndexOffset min DCacheSameVPAddrLength 148ca18a0b4SWilliam Wang val DCacheLineOffset = DCacheSetOffset 1491f0e2dc7SJiawei Lin 15037225120Ssfencevma // uncache 15137225120Ssfencevma val uncacheIdxBits = log2Up(StoreQueueSize) max log2Up(LoadQueueSize) 152b52348aeSWilliam Wang // hardware prefetch parameters 153b52348aeSWilliam Wang // high confidence hardware prefetch port 154b52348aeSWilliam Wang val HighConfHWPFLoadPort = LoadPipelineWidth - 1 // use the last load port by default 155b52348aeSWilliam Wang val IgnorePrefetchConfidence = false 15637225120Ssfencevma 1576c7e5e86Szhanglinjuan // parameters about duplicating regs to solve fanout 1586c7e5e86Szhanglinjuan // In Main Pipe: 1596c7e5e86Szhanglinjuan // tag_write.ready -> data_write.valid * 8 banks 1606c7e5e86Szhanglinjuan // tag_write.ready -> meta_write.valid 1616c7e5e86Szhanglinjuan // tag_write.ready -> tag_write.valid 1626c7e5e86Szhanglinjuan // tag_write.ready -> err_write.valid 1636c7e5e86Szhanglinjuan // tag_write.ready -> wb.valid 1646c7e5e86Szhanglinjuan val nDupTagWriteReady = DCacheBanks + 4 1656c7e5e86Szhanglinjuan // In Main Pipe: 1666c7e5e86Szhanglinjuan // data_write.ready -> data_write.valid * 8 banks 1676c7e5e86Szhanglinjuan // data_write.ready -> meta_write.valid 1686c7e5e86Szhanglinjuan // data_write.ready -> tag_write.valid 1696c7e5e86Szhanglinjuan // data_write.ready -> err_write.valid 1706c7e5e86Szhanglinjuan // data_write.ready -> wb.valid 1716c7e5e86Szhanglinjuan val nDupDataWriteReady = DCacheBanks + 4 1726c7e5e86Szhanglinjuan val nDupWbReady = DCacheBanks + 4 1736c7e5e86Szhanglinjuan val nDupStatus = nDupTagWriteReady + nDupDataWriteReady 1746c7e5e86Szhanglinjuan val dataWritePort = 0 1756c7e5e86Szhanglinjuan val metaWritePort = DCacheBanks 1766c7e5e86Szhanglinjuan val tagWritePort = metaWritePort + 1 1776c7e5e86Szhanglinjuan val errWritePort = tagWritePort + 1 1786c7e5e86Szhanglinjuan val wbPort = errWritePort + 1 1796c7e5e86Szhanglinjuan 1801f0e2dc7SJiawei Lin def addr_to_dcache_bank(addr: UInt) = { 1811f0e2dc7SJiawei Lin require(addr.getWidth >= DCacheSetOffset) 1821f0e2dc7SJiawei Lin addr(DCacheSetOffset-1, DCacheBankOffset) 1831f0e2dc7SJiawei Lin } 1841f0e2dc7SJiawei Lin 1851f0e2dc7SJiawei Lin def addr_to_dcache_set(addr: UInt) = { 1861f0e2dc7SJiawei Lin require(addr.getWidth >= DCacheAboveIndexOffset) 1871f0e2dc7SJiawei Lin addr(DCacheAboveIndexOffset-1, DCacheSetOffset) 1881f0e2dc7SJiawei Lin } 1891f0e2dc7SJiawei Lin 1901f0e2dc7SJiawei Lin def get_data_of_bank(bank: Int, data: UInt) = { 1911f0e2dc7SJiawei Lin require(data.getWidth >= (bank+1)*DCacheSRAMRowBits) 1921f0e2dc7SJiawei Lin data(DCacheSRAMRowBits * (bank + 1) - 1, DCacheSRAMRowBits * bank) 1931f0e2dc7SJiawei Lin } 1941f0e2dc7SJiawei Lin 1951f0e2dc7SJiawei Lin def get_mask_of_bank(bank: Int, data: UInt) = { 1961f0e2dc7SJiawei Lin require(data.getWidth >= (bank+1)*DCacheSRAMRowBytes) 1971f0e2dc7SJiawei Lin data(DCacheSRAMRowBytes * (bank + 1) - 1, DCacheSRAMRowBytes * bank) 1981f0e2dc7SJiawei Lin } 1991f0e2dc7SJiawei Lin 200578c21a4Szhanglinjuan def arbiter[T <: Bundle]( 201578c21a4Szhanglinjuan in: Seq[DecoupledIO[T]], 202578c21a4Szhanglinjuan out: DecoupledIO[T], 203578c21a4Szhanglinjuan name: Option[String] = None): Unit = { 204578c21a4Szhanglinjuan val arb = Module(new Arbiter[T](chiselTypeOf(out.bits), in.size)) 205578c21a4Szhanglinjuan if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 206578c21a4Szhanglinjuan for ((a, req) <- arb.io.in.zip(in)) { 207578c21a4Szhanglinjuan a <> req 208578c21a4Szhanglinjuan } 209578c21a4Szhanglinjuan out <> arb.io.out 210578c21a4Szhanglinjuan } 211578c21a4Szhanglinjuan 212b36dd5fdSWilliam Wang def arbiter_with_pipereg[T <: Bundle]( 213b36dd5fdSWilliam Wang in: Seq[DecoupledIO[T]], 214b36dd5fdSWilliam Wang out: DecoupledIO[T], 215b36dd5fdSWilliam Wang name: Option[String] = None): Unit = { 216b36dd5fdSWilliam Wang val arb = Module(new Arbiter[T](chiselTypeOf(out.bits), in.size)) 217b36dd5fdSWilliam Wang if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 218b36dd5fdSWilliam Wang for ((a, req) <- arb.io.in.zip(in)) { 219b36dd5fdSWilliam Wang a <> req 220b36dd5fdSWilliam Wang } 221b36dd5fdSWilliam Wang AddPipelineReg(arb.io.out, out, false.B) 222b36dd5fdSWilliam Wang } 223b36dd5fdSWilliam Wang 224b11ec622Slixin def arbiter_with_pipereg_N_dup[T <: Bundle]( 225b11ec622Slixin in: Seq[DecoupledIO[T]], 226b11ec622Slixin out: DecoupledIO[T], 227c3a5fe5fShappy-lx dups: Seq[DecoupledIO[T]], 228b11ec622Slixin name: Option[String] = None): Unit = { 229b11ec622Slixin val arb = Module(new Arbiter[T](chiselTypeOf(out.bits), in.size)) 230b11ec622Slixin if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 231b11ec622Slixin for ((a, req) <- arb.io.in.zip(in)) { 232b11ec622Slixin a <> req 233b11ec622Slixin } 234b11ec622Slixin for (dup <- dups) { 235c3a5fe5fShappy-lx AddPipelineReg(arb.io.out, dup, false.B) 236b11ec622Slixin } 237c3a5fe5fShappy-lx AddPipelineReg(arb.io.out, out, false.B) 238b11ec622Slixin } 239b11ec622Slixin 240578c21a4Szhanglinjuan def rrArbiter[T <: Bundle]( 241578c21a4Szhanglinjuan in: Seq[DecoupledIO[T]], 242578c21a4Szhanglinjuan out: DecoupledIO[T], 243578c21a4Szhanglinjuan name: Option[String] = None): Unit = { 244578c21a4Szhanglinjuan val arb = Module(new RRArbiter[T](chiselTypeOf(out.bits), in.size)) 245578c21a4Szhanglinjuan if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 246578c21a4Szhanglinjuan for ((a, req) <- arb.io.in.zip(in)) { 247578c21a4Szhanglinjuan a <> req 248578c21a4Szhanglinjuan } 249578c21a4Szhanglinjuan out <> arb.io.out 250578c21a4Szhanglinjuan } 251578c21a4Szhanglinjuan 2527cd72b71Szhanglinjuan def fastArbiter[T <: Bundle]( 2537cd72b71Szhanglinjuan in: Seq[DecoupledIO[T]], 2547cd72b71Szhanglinjuan out: DecoupledIO[T], 2557cd72b71Szhanglinjuan name: Option[String] = None): Unit = { 2567cd72b71Szhanglinjuan val arb = Module(new FastArbiter[T](chiselTypeOf(out.bits), in.size)) 2577cd72b71Szhanglinjuan if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 2587cd72b71Szhanglinjuan for ((a, req) <- arb.io.in.zip(in)) { 2597cd72b71Szhanglinjuan a <> req 2607cd72b71Szhanglinjuan } 2617cd72b71Szhanglinjuan out <> arb.io.out 2627cd72b71Szhanglinjuan } 2637cd72b71Szhanglinjuan 264ad3ba452Szhanglinjuan val numReplaceRespPorts = 2 265ad3ba452Szhanglinjuan 2661f0e2dc7SJiawei Lin require(isPow2(nSets), s"nSets($nSets) must be pow2") 2671f0e2dc7SJiawei Lin require(isPow2(nWays), s"nWays($nWays) must be pow2") 2681f0e2dc7SJiawei Lin require(full_divide(rowBits, wordBits), s"rowBits($rowBits) must be multiple of wordBits($wordBits)") 2691f0e2dc7SJiawei Lin require(full_divide(beatBits, rowBits), s"beatBits($beatBits) must be multiple of rowBits($rowBits)") 2701f0e2dc7SJiawei Lin} 2711f0e2dc7SJiawei Lin 2721f0e2dc7SJiawei Linabstract class DCacheModule(implicit p: Parameters) extends L1CacheModule 2731f0e2dc7SJiawei Lin with HasDCacheParameters 2741f0e2dc7SJiawei Lin 2751f0e2dc7SJiawei Linabstract class DCacheBundle(implicit p: Parameters) extends L1CacheBundle 2761f0e2dc7SJiawei Lin with HasDCacheParameters 2771f0e2dc7SJiawei Lin 2781f0e2dc7SJiawei Linclass ReplacementAccessBundle(implicit p: Parameters) extends DCacheBundle { 2791f0e2dc7SJiawei Lin val set = UInt(log2Up(nSets).W) 2801f0e2dc7SJiawei Lin val way = UInt(log2Up(nWays).W) 2811f0e2dc7SJiawei Lin} 2821f0e2dc7SJiawei Lin 283ad3ba452Szhanglinjuanclass ReplacementWayReqIO(implicit p: Parameters) extends DCacheBundle { 284ad3ba452Szhanglinjuan val set = ValidIO(UInt(log2Up(nSets).W)) 285ad3ba452Szhanglinjuan val way = Input(UInt(log2Up(nWays).W)) 286ad3ba452Szhanglinjuan} 287ad3ba452Szhanglinjuan 2883af6aa6eSWilliam Wangclass DCacheExtraMeta(implicit p: Parameters) extends DCacheBundle 2893af6aa6eSWilliam Wang{ 2903af6aa6eSWilliam Wang val error = Bool() // cache line has been marked as corrupted by l2 / ecc error detected when store 2913af6aa6eSWilliam Wang val prefetch = Bool() // cache line is first required by prefetch 2923af6aa6eSWilliam Wang val access = Bool() // cache line has been accessed by load / store 2933af6aa6eSWilliam Wang 2943af6aa6eSWilliam Wang // val debug_access_timestamp = UInt(64.W) // last time a load / store / refill access that cacheline 2953af6aa6eSWilliam Wang} 2963af6aa6eSWilliam Wang 2971f0e2dc7SJiawei Lin// memory request in word granularity(load, mmio, lr/sc, atomics) 2981f0e2dc7SJiawei Linclass DCacheWordReq(implicit p: Parameters) extends DCacheBundle 2991f0e2dc7SJiawei Lin{ 3001f0e2dc7SJiawei Lin val cmd = UInt(M_SZ.W) 3011f0e2dc7SJiawei Lin val addr = UInt(PAddrBits.W) 3021f0e2dc7SJiawei Lin val data = UInt(DataBits.W) 3031f0e2dc7SJiawei Lin val mask = UInt((DataBits/8).W) 3041f0e2dc7SJiawei Lin val id = UInt(reqIdWidth.W) 3053f4ec46fSCODE-JTZ val instrtype = UInt(sourceTypeWidth.W) 306144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 3071f0e2dc7SJiawei Lin def dump() = { 3081f0e2dc7SJiawei Lin XSDebug("DCacheWordReq: cmd: %x addr: %x data: %x mask: %x id: %d\n", 3091f0e2dc7SJiawei Lin cmd, addr, data, mask, id) 3101f0e2dc7SJiawei Lin } 3111f0e2dc7SJiawei Lin} 3121f0e2dc7SJiawei Lin 3131f0e2dc7SJiawei Lin// memory request in word granularity(store) 3141f0e2dc7SJiawei Linclass DCacheLineReq(implicit p: Parameters) extends DCacheBundle 3151f0e2dc7SJiawei Lin{ 3161f0e2dc7SJiawei Lin val cmd = UInt(M_SZ.W) 3171f0e2dc7SJiawei Lin val vaddr = UInt(VAddrBits.W) 3181f0e2dc7SJiawei Lin val addr = UInt(PAddrBits.W) 3191f0e2dc7SJiawei Lin val data = UInt((cfg.blockBytes * 8).W) 3201f0e2dc7SJiawei Lin val mask = UInt(cfg.blockBytes.W) 3211f0e2dc7SJiawei Lin val id = UInt(reqIdWidth.W) 3221f0e2dc7SJiawei Lin def dump() = { 3231f0e2dc7SJiawei Lin XSDebug("DCacheLineReq: cmd: %x addr: %x data: %x mask: %x id: %d\n", 3241f0e2dc7SJiawei Lin cmd, addr, data, mask, id) 3251f0e2dc7SJiawei Lin } 326ad3ba452Szhanglinjuan def idx: UInt = get_idx(vaddr) 3271f0e2dc7SJiawei Lin} 3281f0e2dc7SJiawei Lin 3291f0e2dc7SJiawei Linclass DCacheWordReqWithVaddr(implicit p: Parameters) extends DCacheWordReq { 3301f0e2dc7SJiawei Lin val vaddr = UInt(VAddrBits.W) 331ca18a0b4SWilliam Wang val wline = Bool() 3321f0e2dc7SJiawei Lin} 3331f0e2dc7SJiawei Lin 3346786cfb7SWilliam Wangclass BaseDCacheWordResp(implicit p: Parameters) extends DCacheBundle 3351f0e2dc7SJiawei Lin{ 336144422dcSMaxpicca-Li // read in s2 3371f0e2dc7SJiawei Lin val data = UInt(DataBits.W) 338144422dcSMaxpicca-Li // select in s3 339144422dcSMaxpicca-Li val data_delayed = UInt(DataBits.W) 340026615fcSWilliam Wang val id = UInt(reqIdWidth.W) 341026615fcSWilliam Wang 3421f0e2dc7SJiawei Lin // cache req missed, send it to miss queue 3431f0e2dc7SJiawei Lin val miss = Bool() 344026615fcSWilliam Wang // cache miss, and failed to enter the missqueue, replay from RS is needed 3451f0e2dc7SJiawei Lin val replay = Bool() 346144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 347026615fcSWilliam Wang // data has been corrupted 348a469aa4bSWilliam Wang val tag_error = Bool() // tag error 349144422dcSMaxpicca-Li val mshr_id = UInt(log2Up(cfg.nMissEntries).W) 350144422dcSMaxpicca-Li 3511f0e2dc7SJiawei Lin def dump() = { 3521f0e2dc7SJiawei Lin XSDebug("DCacheWordResp: data: %x id: %d miss: %b replay: %b\n", 3531f0e2dc7SJiawei Lin data, id, miss, replay) 3541f0e2dc7SJiawei Lin } 3551f0e2dc7SJiawei Lin} 3561f0e2dc7SJiawei Lin 3576786cfb7SWilliam Wangclass DCacheWordResp(implicit p: Parameters) extends BaseDCacheWordResp 3586786cfb7SWilliam Wang{ 3596786cfb7SWilliam Wang // 1 cycle after data resp 3606786cfb7SWilliam Wang val error_delayed = Bool() // all kinds of errors, include tag error 3616786cfb7SWilliam Wang} 3626786cfb7SWilliam Wang 363a19ae480SWilliam Wangclass BankedDCacheWordResp(implicit p: Parameters) extends DCacheWordResp 364a19ae480SWilliam Wang{ 365a19ae480SWilliam Wang val bank_data = Vec(DCacheBanks, Bits(DCacheSRAMRowBits.W)) 366a19ae480SWilliam Wang val bank_oh = UInt(DCacheBanks.W) 3673af6aa6eSWilliam Wang 3683af6aa6eSWilliam Wang val meta_prefetch = Bool() 3693af6aa6eSWilliam Wang val meta_access = Bool() 370a19ae480SWilliam Wang} 371a19ae480SWilliam Wang 3726786cfb7SWilliam Wangclass DCacheWordRespWithError(implicit p: Parameters) extends BaseDCacheWordResp 3736786cfb7SWilliam Wang{ 3746786cfb7SWilliam Wang val error = Bool() // all kinds of errors, include tag error 3756786cfb7SWilliam Wang} 3766786cfb7SWilliam Wang 3771f0e2dc7SJiawei Linclass DCacheLineResp(implicit p: Parameters) extends DCacheBundle 3781f0e2dc7SJiawei Lin{ 3791f0e2dc7SJiawei Lin val data = UInt((cfg.blockBytes * 8).W) 3801f0e2dc7SJiawei Lin // cache req missed, send it to miss queue 3811f0e2dc7SJiawei Lin val miss = Bool() 3821f0e2dc7SJiawei Lin // cache req nacked, replay it later 3831f0e2dc7SJiawei Lin val replay = Bool() 3841f0e2dc7SJiawei Lin val id = UInt(reqIdWidth.W) 3851f0e2dc7SJiawei Lin def dump() = { 3861f0e2dc7SJiawei Lin XSDebug("DCacheLineResp: data: %x id: %d miss: %b replay: %b\n", 3871f0e2dc7SJiawei Lin data, id, miss, replay) 3881f0e2dc7SJiawei Lin } 3891f0e2dc7SJiawei Lin} 3901f0e2dc7SJiawei Lin 3911f0e2dc7SJiawei Linclass Refill(implicit p: Parameters) extends DCacheBundle 3921f0e2dc7SJiawei Lin{ 3931f0e2dc7SJiawei Lin val addr = UInt(PAddrBits.W) 3941f0e2dc7SJiawei Lin val data = UInt(l1BusDataWidth.W) 395026615fcSWilliam Wang val error = Bool() // refilled data has been corrupted 3961f0e2dc7SJiawei Lin // for debug usage 3971f0e2dc7SJiawei Lin val data_raw = UInt((cfg.blockBytes * 8).W) 3981f0e2dc7SJiawei Lin val hasdata = Bool() 3991f0e2dc7SJiawei Lin val refill_done = Bool() 4001f0e2dc7SJiawei Lin def dump() = { 4011f0e2dc7SJiawei Lin XSDebug("Refill: addr: %x data: %x\n", addr, data) 4021f0e2dc7SJiawei Lin } 403683c1411Shappy-lx val id = UInt(log2Up(cfg.nMissEntries).W) 4041f0e2dc7SJiawei Lin} 4051f0e2dc7SJiawei Lin 40667682d05SWilliam Wangclass Release(implicit p: Parameters) extends DCacheBundle 40767682d05SWilliam Wang{ 40867682d05SWilliam Wang val paddr = UInt(PAddrBits.W) 40967682d05SWilliam Wang def dump() = { 41067682d05SWilliam Wang XSDebug("Release: paddr: %x\n", paddr(PAddrBits-1, DCacheTagOffset)) 41167682d05SWilliam Wang } 41267682d05SWilliam Wang} 41367682d05SWilliam Wang 4141f0e2dc7SJiawei Linclass DCacheWordIO(implicit p: Parameters) extends DCacheBundle 4151f0e2dc7SJiawei Lin{ 4161f0e2dc7SJiawei Lin val req = DecoupledIO(new DCacheWordReq) 417144422dcSMaxpicca-Li val resp = Flipped(DecoupledIO(new DCacheWordResp)) 4181f0e2dc7SJiawei Lin} 4191f0e2dc7SJiawei Lin 42037225120Ssfencevma 42137225120Ssfencevmaclass UncacheWordReq(implicit p: Parameters) extends DCacheBundle 42237225120Ssfencevma{ 42337225120Ssfencevma val cmd = UInt(M_SZ.W) 42437225120Ssfencevma val addr = UInt(PAddrBits.W) 42537225120Ssfencevma val data = UInt(DataBits.W) 42637225120Ssfencevma val mask = UInt((DataBits/8).W) 42737225120Ssfencevma val id = UInt(uncacheIdxBits.W) 42837225120Ssfencevma val instrtype = UInt(sourceTypeWidth.W) 42937225120Ssfencevma val atomic = Bool() 430144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 43137225120Ssfencevma 43237225120Ssfencevma def dump() = { 43337225120Ssfencevma XSDebug("UncacheWordReq: cmd: %x addr: %x data: %x mask: %x id: %d\n", 43437225120Ssfencevma cmd, addr, data, mask, id) 43537225120Ssfencevma } 43637225120Ssfencevma} 43737225120Ssfencevma 43837225120Ssfencevmaclass UncacheWorResp(implicit p: Parameters) extends DCacheBundle 43937225120Ssfencevma{ 44037225120Ssfencevma val data = UInt(DataBits.W) 441144422dcSMaxpicca-Li val data_delayed = UInt(DataBits.W) 44237225120Ssfencevma val id = UInt(uncacheIdxBits.W) 44337225120Ssfencevma val miss = Bool() 44437225120Ssfencevma val replay = Bool() 44537225120Ssfencevma val tag_error = Bool() 44637225120Ssfencevma val error = Bool() 447144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 448144422dcSMaxpicca-Li val mshr_id = UInt(log2Up(cfg.nMissEntries).W) // FIXME: why uncacheWordResp is not merged to baseDcacheResp 44937225120Ssfencevma 45037225120Ssfencevma def dump() = { 45137225120Ssfencevma XSDebug("UncacheWordResp: data: %x id: %d miss: %b replay: %b, tag_error: %b, error: %b\n", 45237225120Ssfencevma data, id, miss, replay, tag_error, error) 45337225120Ssfencevma } 45437225120Ssfencevma} 45537225120Ssfencevma 4566786cfb7SWilliam Wangclass UncacheWordIO(implicit p: Parameters) extends DCacheBundle 4576786cfb7SWilliam Wang{ 45837225120Ssfencevma val req = DecoupledIO(new UncacheWordReq) 45937225120Ssfencevma val resp = Flipped(DecoupledIO(new UncacheWorResp)) 4606786cfb7SWilliam Wang} 4616786cfb7SWilliam Wang 46262cb71fbShappy-lxclass AtomicsResp(implicit p: Parameters) extends DCacheBundle { 46362cb71fbShappy-lx val data = UInt(DataBits.W) 46462cb71fbShappy-lx val miss = Bool() 46562cb71fbShappy-lx val miss_id = UInt(log2Up(cfg.nMissEntries).W) 46662cb71fbShappy-lx val replay = Bool() 46762cb71fbShappy-lx val error = Bool() 46862cb71fbShappy-lx 46962cb71fbShappy-lx val ack_miss_queue = Bool() 47062cb71fbShappy-lx 47162cb71fbShappy-lx val id = UInt(reqIdWidth.W) 47262cb71fbShappy-lx} 47362cb71fbShappy-lx 4746786cfb7SWilliam Wangclass AtomicWordIO(implicit p: Parameters) extends DCacheBundle 4751f0e2dc7SJiawei Lin{ 47662cb71fbShappy-lx val req = DecoupledIO(new MainPipeReq) 47762cb71fbShappy-lx val resp = Flipped(ValidIO(new AtomicsResp)) 47862cb71fbShappy-lx val block_lr = Input(Bool()) 4791f0e2dc7SJiawei Lin} 4801f0e2dc7SJiawei Lin 4811f0e2dc7SJiawei Lin// used by load unit 4821f0e2dc7SJiawei Linclass DCacheLoadIO(implicit p: Parameters) extends DCacheWordIO 4831f0e2dc7SJiawei Lin{ 4841f0e2dc7SJiawei Lin // kill previous cycle's req 4851f0e2dc7SJiawei Lin val s1_kill = Output(Bool()) 486b6982e83SLemover val s2_kill = Output(Bool()) 487*2db9ec44SLinJiawei val s2_pc = Output(UInt(VAddrBits.W)) 4881f0e2dc7SJiawei Lin // cycle 0: virtual address: req.addr 4891f0e2dc7SJiawei Lin // cycle 1: physical address: s1_paddr 49003efd994Shappy-lx val s1_paddr_dup_lsu = Output(UInt(PAddrBits.W)) // lsu side paddr 49103efd994Shappy-lx val s1_paddr_dup_dcache = Output(UInt(PAddrBits.W)) // dcache side paddr 4921f0e2dc7SJiawei Lin val s1_disable_fast_wakeup = Input(Bool()) 493d87b76aaSWilliam Wang val s1_bank_conflict = Input(Bool()) 49403efd994Shappy-lx // cycle 2: hit signal 49503efd994Shappy-lx val s2_hit = Input(Bool()) // hit signal for lsu, 49603efd994Shappy-lx 49703efd994Shappy-lx // debug 49803efd994Shappy-lx val debug_s1_hit_way = Input(UInt(nWays.W)) 4991f0e2dc7SJiawei Lin} 5001f0e2dc7SJiawei Lin 5011f0e2dc7SJiawei Linclass DCacheLineIO(implicit p: Parameters) extends DCacheBundle 5021f0e2dc7SJiawei Lin{ 5031f0e2dc7SJiawei Lin val req = DecoupledIO(new DCacheLineReq) 5041f0e2dc7SJiawei Lin val resp = Flipped(DecoupledIO(new DCacheLineResp)) 5051f0e2dc7SJiawei Lin} 5061f0e2dc7SJiawei Lin 507ad3ba452Szhanglinjuanclass DCacheToSbufferIO(implicit p: Parameters) extends DCacheBundle { 508ad3ba452Szhanglinjuan // sbuffer will directly send request to dcache main pipe 509ad3ba452Szhanglinjuan val req = Flipped(Decoupled(new DCacheLineReq)) 510ad3ba452Szhanglinjuan 511ad3ba452Szhanglinjuan val main_pipe_hit_resp = ValidIO(new DCacheLineResp) 512ad3ba452Szhanglinjuan val refill_hit_resp = ValidIO(new DCacheLineResp) 513ad3ba452Szhanglinjuan 514ad3ba452Szhanglinjuan val replay_resp = ValidIO(new DCacheLineResp) 515ad3ba452Szhanglinjuan 516ad3ba452Szhanglinjuan def hit_resps: Seq[ValidIO[DCacheLineResp]] = Seq(main_pipe_hit_resp, refill_hit_resp) 517ad3ba452Szhanglinjuan} 518ad3ba452Szhanglinjuan 519683c1411Shappy-lx// forward tilelink channel D's data to ldu 520683c1411Shappy-lxclass DcacheToLduForwardIO(implicit p: Parameters) extends DCacheBundle { 521683c1411Shappy-lx val valid = Bool() 522683c1411Shappy-lx val data = UInt(l1BusDataWidth.W) 523683c1411Shappy-lx val mshrid = UInt(log2Up(cfg.nMissEntries).W) 524683c1411Shappy-lx val last = Bool() 525683c1411Shappy-lx 526683c1411Shappy-lx def apply(req_valid : Bool, req_data : UInt, req_mshrid : UInt, req_last : Bool) = { 527683c1411Shappy-lx valid := req_valid 528683c1411Shappy-lx data := req_data 529683c1411Shappy-lx mshrid := req_mshrid 530683c1411Shappy-lx last := req_last 531683c1411Shappy-lx } 532683c1411Shappy-lx 533683c1411Shappy-lx def dontCare() = { 534683c1411Shappy-lx valid := false.B 535683c1411Shappy-lx data := DontCare 536683c1411Shappy-lx mshrid := DontCare 537683c1411Shappy-lx last := DontCare 538683c1411Shappy-lx } 539683c1411Shappy-lx 540683c1411Shappy-lx def forward(req_valid : Bool, req_mshr_id : UInt, req_paddr : UInt) = { 541683c1411Shappy-lx val all_match = req_valid && valid && 542683c1411Shappy-lx req_mshr_id === mshrid && 543683c1411Shappy-lx req_paddr(log2Up(refillBytes)) === last 544683c1411Shappy-lx 545683c1411Shappy-lx val forward_D = RegInit(false.B) 546683c1411Shappy-lx val forwardData = RegInit(VecInit(List.fill(8)(0.U(8.W)))) 547683c1411Shappy-lx 548683c1411Shappy-lx val block_idx = req_paddr(log2Up(refillBytes) - 1, 3) 549683c1411Shappy-lx val block_data = Wire(Vec(l1BusDataWidth / 64, UInt(64.W))) 550683c1411Shappy-lx (0 until l1BusDataWidth / 64).map(i => { 551683c1411Shappy-lx block_data(i) := data(64 * i + 63, 64 * i) 552683c1411Shappy-lx }) 553683c1411Shappy-lx val selected_data = block_data(block_idx) 554683c1411Shappy-lx 555683c1411Shappy-lx forward_D := all_match 556683c1411Shappy-lx for (i <- 0 until 8) { 557683c1411Shappy-lx forwardData(i) := selected_data(8 * i + 7, 8 * i) 558683c1411Shappy-lx } 559683c1411Shappy-lx 560683c1411Shappy-lx (forward_D, forwardData) 561683c1411Shappy-lx } 562683c1411Shappy-lx} 563683c1411Shappy-lx 564683c1411Shappy-lxclass MissEntryForwardIO(implicit p: Parameters) extends DCacheBundle { 565683c1411Shappy-lx val inflight = Bool() 566683c1411Shappy-lx val paddr = UInt(PAddrBits.W) 567683c1411Shappy-lx val raw_data = Vec(blockBytes/beatBytes, UInt(beatBits.W)) 568683c1411Shappy-lx val firstbeat_valid = Bool() 569683c1411Shappy-lx val lastbeat_valid = Bool() 570683c1411Shappy-lx 571683c1411Shappy-lx def apply(mshr_valid : Bool, mshr_paddr : UInt, mshr_rawdata : Vec[UInt], mshr_first_valid : Bool, mshr_last_valid : Bool) = { 572683c1411Shappy-lx inflight := mshr_valid 573683c1411Shappy-lx paddr := mshr_paddr 574683c1411Shappy-lx raw_data := mshr_rawdata 575683c1411Shappy-lx firstbeat_valid := mshr_first_valid 576683c1411Shappy-lx lastbeat_valid := mshr_last_valid 577683c1411Shappy-lx } 578683c1411Shappy-lx 579683c1411Shappy-lx // check if we can forward from mshr or D channel 580683c1411Shappy-lx def check(req_valid : Bool, req_paddr : UInt) = { 581683c1411Shappy-lx RegNext(req_valid && inflight && req_paddr(PAddrBits - 1, blockOffBits) === paddr(PAddrBits - 1, blockOffBits)) 582683c1411Shappy-lx } 583683c1411Shappy-lx 584683c1411Shappy-lx def forward(req_valid : Bool, req_paddr : UInt) = { 585683c1411Shappy-lx val all_match = (req_paddr(log2Up(refillBytes)) === 0.U && firstbeat_valid) || 586683c1411Shappy-lx (req_paddr(log2Up(refillBytes)) === 1.U && lastbeat_valid) 587683c1411Shappy-lx 588683c1411Shappy-lx val forward_mshr = RegInit(false.B) 589683c1411Shappy-lx val forwardData = RegInit(VecInit(List.fill(8)(0.U(8.W)))) 590683c1411Shappy-lx 591683c1411Shappy-lx val beat_data = raw_data(req_paddr(log2Up(refillBytes))) 592683c1411Shappy-lx val block_idx = req_paddr(log2Up(refillBytes) - 1, 3) 593683c1411Shappy-lx val block_data = Wire(Vec(l1BusDataWidth / 64, UInt(64.W))) 594683c1411Shappy-lx (0 until l1BusDataWidth / 64).map(i => { 595683c1411Shappy-lx block_data(i) := beat_data(64 * i + 63, 64 * i) 596683c1411Shappy-lx }) 597683c1411Shappy-lx val selected_data = block_data(block_idx) 598683c1411Shappy-lx 599683c1411Shappy-lx forward_mshr := all_match 600683c1411Shappy-lx for (i <- 0 until 8) { 601683c1411Shappy-lx forwardData(i) := selected_data(8 * i + 7, 8 * i) 602683c1411Shappy-lx } 603683c1411Shappy-lx 604683c1411Shappy-lx (forward_mshr, forwardData) 605683c1411Shappy-lx } 606683c1411Shappy-lx} 607683c1411Shappy-lx 608683c1411Shappy-lx// forward mshr's data to ldu 609683c1411Shappy-lxclass LduToMissqueueForwardIO(implicit p: Parameters) extends DCacheBundle { 610683c1411Shappy-lx // req 611683c1411Shappy-lx val valid = Input(Bool()) 612683c1411Shappy-lx val mshrid = Input(UInt(log2Up(cfg.nMissEntries).W)) 613683c1411Shappy-lx val paddr = Input(UInt(PAddrBits.W)) 614683c1411Shappy-lx // resp 615683c1411Shappy-lx val forward_mshr = Output(Bool()) 616683c1411Shappy-lx val forwardData = Output(Vec(8, UInt(8.W))) 617683c1411Shappy-lx val forward_result_valid = Output(Bool()) 618683c1411Shappy-lx 619683c1411Shappy-lx def connect(sink: LduToMissqueueForwardIO) = { 620683c1411Shappy-lx sink.valid := valid 621683c1411Shappy-lx sink.mshrid := mshrid 622683c1411Shappy-lx sink.paddr := paddr 623683c1411Shappy-lx forward_mshr := sink.forward_mshr 624683c1411Shappy-lx forwardData := sink.forwardData 625683c1411Shappy-lx forward_result_valid := sink.forward_result_valid 626683c1411Shappy-lx } 627683c1411Shappy-lx 628683c1411Shappy-lx def forward() = { 629683c1411Shappy-lx (forward_result_valid, forward_mshr, forwardData) 630683c1411Shappy-lx } 631683c1411Shappy-lx} 632683c1411Shappy-lx 6331f0e2dc7SJiawei Linclass DCacheToLsuIO(implicit p: Parameters) extends DCacheBundle { 6341f0e2dc7SJiawei Lin val load = Vec(LoadPipelineWidth, Flipped(new DCacheLoadIO)) // for speculative load 6351f0e2dc7SJiawei Lin val lsq = ValidIO(new Refill) // refill to load queue, wake up load misses 636ad3ba452Szhanglinjuan val store = new DCacheToSbufferIO // for sbuffer 6376786cfb7SWilliam Wang val atomics = Flipped(new AtomicWordIO) // atomics reqs 63867682d05SWilliam Wang val release = ValidIO(new Release) // cacheline release hint for ld-ld violation check 639683c1411Shappy-lx val forward_D = Output(Vec(LoadPipelineWidth, new DcacheToLduForwardIO)) 640683c1411Shappy-lx val forward_mshr = Vec(LoadPipelineWidth, new LduToMissqueueForwardIO) 6411f0e2dc7SJiawei Lin} 6421f0e2dc7SJiawei Lin 6431f0e2dc7SJiawei Linclass DCacheIO(implicit p: Parameters) extends DCacheBundle { 6445668a921SJiawei Lin val hartId = Input(UInt(8.W)) 6451f0e2dc7SJiawei Lin val lsu = new DCacheToLsuIO 646e19f7967SWilliam Wang val csr = new L1CacheToCsrIO 6471f0e2dc7SJiawei Lin val error = new L1CacheErrorInfo 6481f0e2dc7SJiawei Lin val mshrFull = Output(Bool()) 6491f0e2dc7SJiawei Lin} 6501f0e2dc7SJiawei Lin 6511f0e2dc7SJiawei Lin 6521f0e2dc7SJiawei Linclass DCache()(implicit p: Parameters) extends LazyModule with HasDCacheParameters { 6531f0e2dc7SJiawei Lin 6541f0e2dc7SJiawei Lin val clientParameters = TLMasterPortParameters.v1( 6551f0e2dc7SJiawei Lin Seq(TLMasterParameters.v1( 6561f0e2dc7SJiawei Lin name = "dcache", 657ad3ba452Szhanglinjuan sourceId = IdRange(0, nEntries + 1), 6581f0e2dc7SJiawei Lin supportsProbe = TransferSizes(cfg.blockBytes) 6591f0e2dc7SJiawei Lin )), 6601f0e2dc7SJiawei Lin requestFields = cacheParams.reqFields, 6611f0e2dc7SJiawei Lin echoFields = cacheParams.echoFields 6621f0e2dc7SJiawei Lin ) 6631f0e2dc7SJiawei Lin 6641f0e2dc7SJiawei Lin val clientNode = TLClientNode(Seq(clientParameters)) 6651f0e2dc7SJiawei Lin 6661f0e2dc7SJiawei Lin lazy val module = new DCacheImp(this) 6671f0e2dc7SJiawei Lin} 6681f0e2dc7SJiawei Lin 6691f0e2dc7SJiawei Lin 6701ca0e4f3SYinan Xuclass DCacheImp(outer: DCache) extends LazyModuleImp(outer) with HasDCacheParameters with HasPerfEvents { 6711f0e2dc7SJiawei Lin 6721f0e2dc7SJiawei Lin val io = IO(new DCacheIO) 6731f0e2dc7SJiawei Lin 6741f0e2dc7SJiawei Lin val (bus, edge) = outer.clientNode.out.head 6751f0e2dc7SJiawei Lin require(bus.d.bits.data.getWidth == l1BusDataWidth, "DCache: tilelink width does not match") 6761f0e2dc7SJiawei Lin 6771f0e2dc7SJiawei Lin println("DCache:") 6781f0e2dc7SJiawei Lin println(" DCacheSets: " + DCacheSets) 6791f0e2dc7SJiawei Lin println(" DCacheWays: " + DCacheWays) 6801f0e2dc7SJiawei Lin println(" DCacheBanks: " + DCacheBanks) 6811f0e2dc7SJiawei Lin println(" DCacheSRAMRowBits: " + DCacheSRAMRowBits) 6821f0e2dc7SJiawei Lin println(" DCacheWordOffset: " + DCacheWordOffset) 6831f0e2dc7SJiawei Lin println(" DCacheBankOffset: " + DCacheBankOffset) 6841f0e2dc7SJiawei Lin println(" DCacheSetOffset: " + DCacheSetOffset) 6851f0e2dc7SJiawei Lin println(" DCacheTagOffset: " + DCacheTagOffset) 6861f0e2dc7SJiawei Lin println(" DCacheAboveIndexOffset: " + DCacheAboveIndexOffset) 6871f0e2dc7SJiawei Lin 6881f0e2dc7SJiawei Lin //---------------------------------------- 6891f0e2dc7SJiawei Lin // core data structures 6901f0e2dc7SJiawei Lin val bankedDataArray = Module(new BankedDataArray) 6913af6aa6eSWilliam Wang val metaArray = Module(new L1CohMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2)) 6923af6aa6eSWilliam Wang val errorArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2)) 6933af6aa6eSWilliam Wang val prefetchArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2)) // prefetch flag array 6943af6aa6eSWilliam Wang val accessArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = LoadPipelineWidth + 2)) 695ad3ba452Szhanglinjuan val tagArray = Module(new DuplicatedTagArray(readPorts = LoadPipelineWidth + 1)) 6961f0e2dc7SJiawei Lin bankedDataArray.dump() 6971f0e2dc7SJiawei Lin 6981f0e2dc7SJiawei Lin //---------------------------------------- 6991f0e2dc7SJiawei Lin // core modules 7001f0e2dc7SJiawei Lin val ldu = Seq.tabulate(LoadPipelineWidth)({ i => Module(new LoadPipe(i))}) 70162cb71fbShappy-lx // val atomicsReplayUnit = Module(new AtomicsReplayEntry) 7021f0e2dc7SJiawei Lin val mainPipe = Module(new MainPipe) 703ad3ba452Szhanglinjuan val refillPipe = Module(new RefillPipe) 7041f0e2dc7SJiawei Lin val missQueue = Module(new MissQueue(edge)) 7051f0e2dc7SJiawei Lin val probeQueue = Module(new ProbeQueue(edge)) 7061f0e2dc7SJiawei Lin val wb = Module(new WritebackQueue(edge)) 7071f0e2dc7SJiawei Lin 7085668a921SJiawei Lin missQueue.io.hartId := io.hartId 7095668a921SJiawei Lin 7109ef181f4SWilliam Wang val errors = ldu.map(_.io.error) ++ // load error 7119ef181f4SWilliam Wang Seq(mainPipe.io.error) // store / misc error 7126786cfb7SWilliam Wang io.error <> RegNext(Mux1H(errors.map(e => RegNext(e.valid) -> RegNext(e)))) 713dd95524eSzhanglinjuan 7141f0e2dc7SJiawei Lin //---------------------------------------- 7151f0e2dc7SJiawei Lin // meta array 7163af6aa6eSWilliam Wang 7173af6aa6eSWilliam Wang // read / write coh meta 718ad3ba452Szhanglinjuan val meta_read_ports = ldu.map(_.io.meta_read) ++ 719026615fcSWilliam Wang Seq(mainPipe.io.meta_read) 720ad3ba452Szhanglinjuan val meta_resp_ports = ldu.map(_.io.meta_resp) ++ 721026615fcSWilliam Wang Seq(mainPipe.io.meta_resp) 722ad3ba452Szhanglinjuan val meta_write_ports = Seq( 723ad3ba452Szhanglinjuan mainPipe.io.meta_write, 724026615fcSWilliam Wang refillPipe.io.meta_write 725ad3ba452Szhanglinjuan ) 726ad3ba452Szhanglinjuan meta_read_ports.zip(metaArray.io.read).foreach { case (p, r) => r <> p } 727ad3ba452Szhanglinjuan meta_resp_ports.zip(metaArray.io.resp).foreach { case (p, r) => p := r } 728ad3ba452Szhanglinjuan meta_write_ports.zip(metaArray.io.write).foreach { case (p, w) => w <> p } 7291f0e2dc7SJiawei Lin 7303af6aa6eSWilliam Wang // read extra meta 731026615fcSWilliam Wang meta_read_ports.zip(errorArray.io.read).foreach { case (p, r) => r <> p } 7323af6aa6eSWilliam Wang meta_read_ports.zip(prefetchArray.io.read).foreach { case (p, r) => r <> p } 7333af6aa6eSWilliam Wang meta_read_ports.zip(accessArray.io.read).foreach { case (p, r) => r <> p } 7343af6aa6eSWilliam Wang val extra_meta_resp_ports = ldu.map(_.io.extra_meta_resp) ++ 7353af6aa6eSWilliam Wang Seq(mainPipe.io.extra_meta_resp) 7363af6aa6eSWilliam Wang extra_meta_resp_ports.zip(errorArray.io.resp).foreach { case (p, r) => { 7373af6aa6eSWilliam Wang (0 until nWays).map(i => { p(i).error := r(i) }) 7383af6aa6eSWilliam Wang }} 7393af6aa6eSWilliam Wang extra_meta_resp_ports.zip(prefetchArray.io.resp).foreach { case (p, r) => { 7403af6aa6eSWilliam Wang (0 until nWays).map(i => { p(i).prefetch := r(i) }) 7413af6aa6eSWilliam Wang }} 7423af6aa6eSWilliam Wang extra_meta_resp_ports.zip(accessArray.io.resp).foreach { case (p, r) => { 7433af6aa6eSWilliam Wang (0 until nWays).map(i => { p(i).access := r(i) }) 7443af6aa6eSWilliam Wang }} 7453af6aa6eSWilliam Wang 7463af6aa6eSWilliam Wang // write extra meta 7473af6aa6eSWilliam Wang val error_flag_write_ports = Seq( 7483af6aa6eSWilliam Wang mainPipe.io.error_flag_write, // error flag generated by corrupted store 7493af6aa6eSWilliam Wang refillPipe.io.error_flag_write // corrupted signal from l2 7503af6aa6eSWilliam Wang ) 751026615fcSWilliam Wang error_flag_write_ports.zip(errorArray.io.write).foreach { case (p, w) => w <> p } 752026615fcSWilliam Wang 7533af6aa6eSWilliam Wang val prefetch_flag_write_ports = Seq( 7543af6aa6eSWilliam Wang mainPipe.io.prefetch_flag_write, // set prefetch_flag to false if coh is set to Nothing 7553af6aa6eSWilliam Wang refillPipe.io.prefetch_flag_write // refill required by prefetch will set prefetch_flag 7563af6aa6eSWilliam Wang ) 7573af6aa6eSWilliam Wang prefetch_flag_write_ports.zip(prefetchArray.io.write).foreach { case (p, w) => w <> p } 7583af6aa6eSWilliam Wang 7593af6aa6eSWilliam Wang val access_flag_write_ports = ldu.map(_.io.access_flag_write) ++ Seq( 7603af6aa6eSWilliam Wang mainPipe.io.access_flag_write, 7613af6aa6eSWilliam Wang refillPipe.io.access_flag_write 7623af6aa6eSWilliam Wang ) 7633af6aa6eSWilliam Wang access_flag_write_ports.zip(accessArray.io.write).foreach { case (p, w) => w <> p } 7643af6aa6eSWilliam Wang 765ad3ba452Szhanglinjuan //---------------------------------------- 766ad3ba452Szhanglinjuan // tag array 767ad3ba452Szhanglinjuan require(tagArray.io.read.size == (ldu.size + 1)) 76809ae47d2SWilliam Wang val tag_write_intend = missQueue.io.refill_pipe_req.valid || mainPipe.io.tag_write_intend 76909ae47d2SWilliam Wang assert(!RegNext(!tag_write_intend && tagArray.io.write.valid)) 770ad3ba452Szhanglinjuan ldu.zipWithIndex.foreach { 771ad3ba452Szhanglinjuan case (ld, i) => 772ad3ba452Szhanglinjuan tagArray.io.read(i) <> ld.io.tag_read 773ad3ba452Szhanglinjuan ld.io.tag_resp := tagArray.io.resp(i) 77409ae47d2SWilliam Wang ld.io.tag_read.ready := !tag_write_intend 7751f0e2dc7SJiawei Lin } 776ad3ba452Szhanglinjuan tagArray.io.read.last <> mainPipe.io.tag_read 777ad3ba452Szhanglinjuan mainPipe.io.tag_resp := tagArray.io.resp.last 778ad3ba452Szhanglinjuan 77909ae47d2SWilliam Wang val fake_tag_read_conflict_this_cycle = PopCount(ldu.map(ld=> ld.io.tag_read.valid)) 78009ae47d2SWilliam Wang XSPerfAccumulate("fake_tag_read_conflict", fake_tag_read_conflict_this_cycle) 78109ae47d2SWilliam Wang 782ad3ba452Szhanglinjuan val tag_write_arb = Module(new Arbiter(new TagWriteReq, 2)) 783ad3ba452Szhanglinjuan tag_write_arb.io.in(0) <> refillPipe.io.tag_write 784ad3ba452Szhanglinjuan tag_write_arb.io.in(1) <> mainPipe.io.tag_write 785ad3ba452Szhanglinjuan tagArray.io.write <> tag_write_arb.io.out 7861f0e2dc7SJiawei Lin 7871f0e2dc7SJiawei Lin //---------------------------------------- 7881f0e2dc7SJiawei Lin // data array 7891f0e2dc7SJiawei Lin 790ad3ba452Szhanglinjuan val dataWriteArb = Module(new Arbiter(new L1BankedDataWriteReq, 2)) 791ad3ba452Szhanglinjuan dataWriteArb.io.in(0) <> refillPipe.io.data_write 792ad3ba452Szhanglinjuan dataWriteArb.io.in(1) <> mainPipe.io.data_write 793ad3ba452Szhanglinjuan 794ad3ba452Szhanglinjuan bankedDataArray.io.write <> dataWriteArb.io.out 7951f0e2dc7SJiawei Lin 7966c7e5e86Szhanglinjuan for (bank <- 0 until DCacheBanks) { 7976c7e5e86Szhanglinjuan val dataWriteArb_dup = Module(new Arbiter(new L1BankedDataWriteReqCtrl, 2)) 7986c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(0).valid := refillPipe.io.data_write_dup(bank).valid 7996c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(0).bits := refillPipe.io.data_write_dup(bank).bits 8006c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(1).valid := mainPipe.io.data_write_dup(bank).valid 8016c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(1).bits := mainPipe.io.data_write_dup(bank).bits 8026c7e5e86Szhanglinjuan 8036c7e5e86Szhanglinjuan bankedDataArray.io.write_dup(bank) <> dataWriteArb_dup.io.out 8046c7e5e86Szhanglinjuan } 8056c7e5e86Szhanglinjuan 8069ef181f4SWilliam Wang bankedDataArray.io.readline <> mainPipe.io.data_read 8077a5caa97Szhanglinjuan bankedDataArray.io.readline_intend := mainPipe.io.data_read_intend 8086786cfb7SWilliam Wang mainPipe.io.readline_error_delayed := bankedDataArray.io.readline_error_delayed 809144422dcSMaxpicca-Li mainPipe.io.data_resp := bankedDataArray.io.readline_resp 8101f0e2dc7SJiawei Lin 8119ef181f4SWilliam Wang (0 until LoadPipelineWidth).map(i => { 8129ef181f4SWilliam Wang bankedDataArray.io.read(i) <> ldu(i).io.banked_data_read 8136786cfb7SWilliam Wang bankedDataArray.io.read_error_delayed(i) <> ldu(i).io.read_error_delayed 8149ef181f4SWilliam Wang 815144422dcSMaxpicca-Li ldu(i).io.banked_data_resp := bankedDataArray.io.read_resp_delayed(i) 816144422dcSMaxpicca-Li 8179ef181f4SWilliam Wang ldu(i).io.bank_conflict_fast := bankedDataArray.io.bank_conflict_fast(i) 8189ef181f4SWilliam Wang ldu(i).io.bank_conflict_slow := bankedDataArray.io.bank_conflict_slow(i) 8199ef181f4SWilliam Wang }) 8201f0e2dc7SJiawei Lin 821774f100aSWilliam Wang (0 until LoadPipelineWidth).map(i => { 822683c1411Shappy-lx val (_, _, done, _) = edge.count(bus.d) 823683c1411Shappy-lx when(bus.d.bits.opcode === TLMessages.GrantData) { 824683c1411Shappy-lx io.lsu.forward_D(i).apply(bus.d.valid, bus.d.bits.data, bus.d.bits.source, done) 825683c1411Shappy-lx }.otherwise { 826683c1411Shappy-lx io.lsu.forward_D(i).dontCare() 827683c1411Shappy-lx } 828683c1411Shappy-lx }) 829683c1411Shappy-lx 8301f0e2dc7SJiawei Lin //---------------------------------------- 8311f0e2dc7SJiawei Lin // load pipe 8321f0e2dc7SJiawei Lin // the s1 kill signal 8331f0e2dc7SJiawei Lin // only lsu uses this, replay never kills 8341f0e2dc7SJiawei Lin for (w <- 0 until LoadPipelineWidth) { 8351f0e2dc7SJiawei Lin ldu(w).io.lsu <> io.lsu.load(w) 8361f0e2dc7SJiawei Lin 8371f0e2dc7SJiawei Lin // replay and nack not needed anymore 8381f0e2dc7SJiawei Lin // TODO: remove replay and nack 8391f0e2dc7SJiawei Lin ldu(w).io.nack := false.B 8401f0e2dc7SJiawei Lin 8411f0e2dc7SJiawei Lin ldu(w).io.disable_ld_fast_wakeup := 8427a5caa97Szhanglinjuan bankedDataArray.io.disable_ld_fast_wakeup(w) // load pipe fast wake up should be disabled when bank conflict 8431f0e2dc7SJiawei Lin } 8441f0e2dc7SJiawei Lin 8451f0e2dc7SJiawei Lin //---------------------------------------- 8461f0e2dc7SJiawei Lin // atomics 8471f0e2dc7SJiawei Lin // atomics not finished yet 84862cb71fbShappy-lx // io.lsu.atomics <> atomicsReplayUnit.io.lsu 84962cb71fbShappy-lx io.lsu.atomics.resp := RegNext(mainPipe.io.atomic_resp) 85062cb71fbShappy-lx io.lsu.atomics.block_lr := mainPipe.io.block_lr 85162cb71fbShappy-lx // atomicsReplayUnit.io.pipe_resp := RegNext(mainPipe.io.atomic_resp) 85262cb71fbShappy-lx // atomicsReplayUnit.io.block_lr <> mainPipe.io.block_lr 8531f0e2dc7SJiawei Lin 8541f0e2dc7SJiawei Lin //---------------------------------------- 8551f0e2dc7SJiawei Lin // miss queue 8561f0e2dc7SJiawei Lin val MissReqPortCount = LoadPipelineWidth + 1 8571f0e2dc7SJiawei Lin val MainPipeMissReqPort = 0 8581f0e2dc7SJiawei Lin 8591f0e2dc7SJiawei Lin // Request 860300ded30SWilliam Wang val missReqArb = Module(new Arbiter(new MissReq, MissReqPortCount)) 8611f0e2dc7SJiawei Lin 862a98b054bSWilliam Wang missReqArb.io.in(MainPipeMissReqPort) <> mainPipe.io.miss_req 8631f0e2dc7SJiawei Lin for (w <- 0 until LoadPipelineWidth) { missReqArb.io.in(w + 1) <> ldu(w).io.miss_req } 8641f0e2dc7SJiawei Lin 865683c1411Shappy-lx for (w <- 0 until LoadPipelineWidth) { ldu(w).io.miss_resp.id := missQueue.io.resp.id } 866683c1411Shappy-lx 8671f0e2dc7SJiawei Lin wb.io.miss_req.valid := missReqArb.io.out.valid 8681f0e2dc7SJiawei Lin wb.io.miss_req.bits := missReqArb.io.out.bits.addr 8691f0e2dc7SJiawei Lin 870a98b054bSWilliam Wang // block_decoupled(missReqArb.io.out, missQueue.io.req, wb.io.block_miss_req) 871a98b054bSWilliam Wang missReqArb.io.out <> missQueue.io.req 872a98b054bSWilliam Wang when(wb.io.block_miss_req) { 873a98b054bSWilliam Wang missQueue.io.req.bits.cancel := true.B 874a98b054bSWilliam Wang missReqArb.io.out.ready := false.B 875a98b054bSWilliam Wang } 8761f0e2dc7SJiawei Lin 877683c1411Shappy-lx // forward missqueue 878683c1411Shappy-lx (0 until LoadPipelineWidth).map(i => io.lsu.forward_mshr(i).connect(missQueue.io.forward(i))) 879683c1411Shappy-lx 8801f0e2dc7SJiawei Lin // refill to load queue 881ad3ba452Szhanglinjuan io.lsu.lsq <> missQueue.io.refill_to_ldq 8821f0e2dc7SJiawei Lin 8831f0e2dc7SJiawei Lin // tilelink stuff 8841f0e2dc7SJiawei Lin bus.a <> missQueue.io.mem_acquire 8851f0e2dc7SJiawei Lin bus.e <> missQueue.io.mem_finish 886ad3ba452Szhanglinjuan missQueue.io.probe_addr := bus.b.bits.address 887ad3ba452Szhanglinjuan 888a98b054bSWilliam Wang missQueue.io.main_pipe_resp := RegNext(mainPipe.io.atomic_resp) 8891f0e2dc7SJiawei Lin 8901f0e2dc7SJiawei Lin //---------------------------------------- 8911f0e2dc7SJiawei Lin // probe 8921f0e2dc7SJiawei Lin // probeQueue.io.mem_probe <> bus.b 8931f0e2dc7SJiawei Lin block_decoupled(bus.b, probeQueue.io.mem_probe, missQueue.io.probe_block) 894ad3ba452Szhanglinjuan probeQueue.io.lrsc_locked_block <> mainPipe.io.lrsc_locked_block 895300ded30SWilliam Wang probeQueue.io.update_resv_set <> mainPipe.io.update_resv_set 8961f0e2dc7SJiawei Lin 8971f0e2dc7SJiawei Lin //---------------------------------------- 8981f0e2dc7SJiawei Lin // mainPipe 899ad3ba452Szhanglinjuan // when a req enters main pipe, if it is set-conflict with replace pipe or refill pipe, 900ad3ba452Szhanglinjuan // block the req in main pipe 901219c4595Szhanglinjuan block_decoupled(probeQueue.io.pipe_req, mainPipe.io.probe_req, missQueue.io.refill_pipe_req.valid) 902b36dd5fdSWilliam Wang block_decoupled(io.lsu.store.req, mainPipe.io.store_req, refillPipe.io.req.valid) 9031f0e2dc7SJiawei Lin 904a98b054bSWilliam Wang io.lsu.store.replay_resp := RegNext(mainPipe.io.store_replay_resp) 905ad3ba452Szhanglinjuan io.lsu.store.main_pipe_hit_resp := mainPipe.io.store_hit_resp 9061f0e2dc7SJiawei Lin 90769790076Szhanglinjuan arbiter_with_pipereg( 90862cb71fbShappy-lx in = Seq(missQueue.io.main_pipe_req, io.lsu.atomics.req), 90969790076Szhanglinjuan out = mainPipe.io.atomic_req, 91069790076Szhanglinjuan name = Some("main_pipe_atomic_req") 91169790076Szhanglinjuan ) 9121f0e2dc7SJiawei Lin 913a98b054bSWilliam Wang mainPipe.io.invalid_resv_set := RegNext(wb.io.req.fire && wb.io.req.bits.addr === mainPipe.io.lrsc_locked_block.bits) 9141f0e2dc7SJiawei Lin 915ad3ba452Szhanglinjuan //---------------------------------------- 916b36dd5fdSWilliam Wang // replace (main pipe) 917ad3ba452Szhanglinjuan val mpStatus = mainPipe.io.status 918578c21a4Szhanglinjuan mainPipe.io.replace_req <> missQueue.io.replace_pipe_req 919578c21a4Szhanglinjuan missQueue.io.replace_pipe_resp := mainPipe.io.replace_resp 9201f0e2dc7SJiawei Lin 921ad3ba452Szhanglinjuan //---------------------------------------- 922ad3ba452Szhanglinjuan // refill pipe 92363540aa5Szhanglinjuan val refillShouldBeBlocked = (mpStatus.s1.valid && mpStatus.s1.bits.set === missQueue.io.refill_pipe_req.bits.idx) || 92463540aa5Szhanglinjuan Cat(Seq(mpStatus.s2, mpStatus.s3).map(s => 925ad3ba452Szhanglinjuan s.valid && 926ad3ba452Szhanglinjuan s.bits.set === missQueue.io.refill_pipe_req.bits.idx && 927ad3ba452Szhanglinjuan s.bits.way_en === missQueue.io.refill_pipe_req.bits.way_en 928ad3ba452Szhanglinjuan )).orR 929ad3ba452Szhanglinjuan block_decoupled(missQueue.io.refill_pipe_req, refillPipe.io.req, refillShouldBeBlocked) 930c3a5fe5fShappy-lx 931c3a5fe5fShappy-lx val mpStatus_dup = mainPipe.io.status_dup 932c3a5fe5fShappy-lx val mq_refill_dup = missQueue.io.refill_pipe_req_dup 933c3a5fe5fShappy-lx val refillShouldBeBlocked_dup = VecInit((0 until nDupStatus).map { case i => 934c3a5fe5fShappy-lx mpStatus_dup(i).s1.valid && mpStatus_dup(i).s1.bits.set === mq_refill_dup(i).bits.idx || 935c3a5fe5fShappy-lx Cat(Seq(mpStatus_dup(i).s2, mpStatus_dup(i).s3).map(s => 936c3a5fe5fShappy-lx s.valid && 937c3a5fe5fShappy-lx s.bits.set === mq_refill_dup(i).bits.idx && 938c3a5fe5fShappy-lx s.bits.way_en === mq_refill_dup(i).bits.way_en 939c3a5fe5fShappy-lx )).orR 940c3a5fe5fShappy-lx }) 941c3a5fe5fShappy-lx dontTouch(refillShouldBeBlocked_dup) 942c3a5fe5fShappy-lx 9436c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_data_w.zipWithIndex.foreach { case (r, i) => 9446c7e5e86Szhanglinjuan r.bits := (mq_refill_dup.drop(dataWritePort).take(DCacheBanks))(i).bits 9456c7e5e86Szhanglinjuan } 9466c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_meta_w.bits := mq_refill_dup(metaWritePort).bits 9476c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_tag_w.bits := mq_refill_dup(tagWritePort).bits 9486c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_err_w.bits := mq_refill_dup(errWritePort).bits 9496c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_data_w.zipWithIndex.foreach { case (r, i) => 9506c7e5e86Szhanglinjuan r.valid := (mq_refill_dup.drop(dataWritePort).take(DCacheBanks))(i).valid && 9516c7e5e86Szhanglinjuan !(refillShouldBeBlocked_dup.drop(dataWritePort).take(DCacheBanks))(i) 9526c7e5e86Szhanglinjuan } 9536c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_meta_w.valid := mq_refill_dup(metaWritePort).valid && !refillShouldBeBlocked_dup(metaWritePort) 9546c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_tag_w.valid := mq_refill_dup(tagWritePort).valid && !refillShouldBeBlocked_dup(tagWritePort) 9556c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_err_w.valid := mq_refill_dup(errWritePort).valid && !refillShouldBeBlocked_dup(errWritePort) 956c3a5fe5fShappy-lx 957c3a5fe5fShappy-lx val refillPipe_io_req_valid_dup = VecInit(mq_refill_dup.zip(refillShouldBeBlocked_dup).map( 958c3a5fe5fShappy-lx x => x._1.valid && !x._2 959c3a5fe5fShappy-lx )) 960c3a5fe5fShappy-lx val refillPipe_io_data_write_valid_dup = VecInit(refillPipe_io_req_valid_dup.slice(0, nDupDataWriteReady)) 9616c7e5e86Szhanglinjuan val refillPipe_io_tag_write_valid_dup = VecInit(refillPipe_io_req_valid_dup.slice(nDupDataWriteReady, nDupStatus)) 962c3a5fe5fShappy-lx dontTouch(refillPipe_io_req_valid_dup) 963c3a5fe5fShappy-lx dontTouch(refillPipe_io_data_write_valid_dup) 964c3a5fe5fShappy-lx dontTouch(refillPipe_io_tag_write_valid_dup) 965c3a5fe5fShappy-lx mainPipe.io.data_write_ready_dup := VecInit(refillPipe_io_data_write_valid_dup.map(v => !v)) 966c3a5fe5fShappy-lx mainPipe.io.tag_write_ready_dup := VecInit(refillPipe_io_tag_write_valid_dup.map(v => !v)) 967c3a5fe5fShappy-lx mainPipe.io.wb_ready_dup := wb.io.req_ready_dup 968c3a5fe5fShappy-lx 969c3a5fe5fShappy-lx mq_refill_dup.zip(refillShouldBeBlocked_dup).foreach { case (r, block) => 970c3a5fe5fShappy-lx r.ready := refillPipe.io.req.ready && !block 971c3a5fe5fShappy-lx } 972c3a5fe5fShappy-lx 97354e42658SWilliam Wang missQueue.io.refill_pipe_resp := refillPipe.io.resp 974a98b054bSWilliam Wang io.lsu.store.refill_hit_resp := RegNext(refillPipe.io.store_resp) 9751f0e2dc7SJiawei Lin 9761f0e2dc7SJiawei Lin //---------------------------------------- 9771f0e2dc7SJiawei Lin // wb 9781f0e2dc7SJiawei Lin // add a queue between MainPipe and WritebackUnit to reduce MainPipe stalls due to WritebackUnit busy 979026615fcSWilliam Wang 980578c21a4Szhanglinjuan wb.io.req <> mainPipe.io.wb 9811f0e2dc7SJiawei Lin bus.c <> wb.io.mem_release 982ad3ba452Szhanglinjuan wb.io.release_wakeup := refillPipe.io.release_wakeup 983ad3ba452Szhanglinjuan wb.io.release_update := mainPipe.io.release_update 984b8f6ff86SWilliam Wang wb.io.probe_ttob_check_req <> mainPipe.io.probe_ttob_check_req 985b8f6ff86SWilliam Wang wb.io.probe_ttob_check_resp <> mainPipe.io.probe_ttob_check_resp 986ef3b5b96SWilliam Wang 987ef3b5b96SWilliam Wang io.lsu.release.valid := RegNext(wb.io.req.fire()) 988ef3b5b96SWilliam Wang io.lsu.release.bits.paddr := RegNext(wb.io.req.bits.addr) 989ef3b5b96SWilliam Wang // Note: RegNext() is required by: 990ef3b5b96SWilliam Wang // * load queue released flag update logic 991ef3b5b96SWilliam Wang // * load / load violation check logic 992ef3b5b96SWilliam Wang // * and timing requirements 993ef3b5b96SWilliam Wang // CHANGE IT WITH CARE 9941f0e2dc7SJiawei Lin 9951f0e2dc7SJiawei Lin // connect bus d 9961f0e2dc7SJiawei Lin missQueue.io.mem_grant.valid := false.B 9971f0e2dc7SJiawei Lin missQueue.io.mem_grant.bits := DontCare 9981f0e2dc7SJiawei Lin 9991f0e2dc7SJiawei Lin wb.io.mem_grant.valid := false.B 10001f0e2dc7SJiawei Lin wb.io.mem_grant.bits := DontCare 10011f0e2dc7SJiawei Lin 10021f0e2dc7SJiawei Lin // in L1DCache, we ony expect Grant[Data] and ReleaseAck 10031f0e2dc7SJiawei Lin bus.d.ready := false.B 10041f0e2dc7SJiawei Lin when (bus.d.bits.opcode === TLMessages.Grant || bus.d.bits.opcode === TLMessages.GrantData) { 10051f0e2dc7SJiawei Lin missQueue.io.mem_grant <> bus.d 10061f0e2dc7SJiawei Lin } .elsewhen (bus.d.bits.opcode === TLMessages.ReleaseAck) { 10071f0e2dc7SJiawei Lin wb.io.mem_grant <> bus.d 10081f0e2dc7SJiawei Lin } .otherwise { 10091f0e2dc7SJiawei Lin assert (!bus.d.fire()) 10101f0e2dc7SJiawei Lin } 10111f0e2dc7SJiawei Lin 10121f0e2dc7SJiawei Lin //---------------------------------------- 1013ad3ba452Szhanglinjuan // replacement algorithm 1014ad3ba452Szhanglinjuan val replacer = ReplacementPolicy.fromString(cacheParams.replacer, nWays, nSets) 1015ad3ba452Szhanglinjuan 1016ad3ba452Szhanglinjuan val replWayReqs = ldu.map(_.io.replace_way) ++ Seq(mainPipe.io.replace_way) 1017ad3ba452Szhanglinjuan replWayReqs.foreach{ 1018ad3ba452Szhanglinjuan case req => 1019ad3ba452Szhanglinjuan req.way := DontCare 1020ad3ba452Szhanglinjuan when (req.set.valid) { req.way := replacer.way(req.set.bits) } 1021ad3ba452Szhanglinjuan } 1022ad3ba452Szhanglinjuan 1023ad3ba452Szhanglinjuan val replAccessReqs = ldu.map(_.io.replace_access) ++ Seq( 102492816bbcSWilliam Wang mainPipe.io.replace_access 1025ad3ba452Szhanglinjuan ) 1026ad3ba452Szhanglinjuan val touchWays = Seq.fill(replAccessReqs.size)(Wire(ValidIO(UInt(log2Up(nWays).W)))) 1027ad3ba452Szhanglinjuan touchWays.zip(replAccessReqs).foreach { 1028ad3ba452Szhanglinjuan case (w, req) => 1029ad3ba452Szhanglinjuan w.valid := req.valid 1030ad3ba452Szhanglinjuan w.bits := req.bits.way 1031ad3ba452Szhanglinjuan } 1032ad3ba452Szhanglinjuan val touchSets = replAccessReqs.map(_.bits.set) 1033ad3ba452Szhanglinjuan replacer.access(touchSets, touchWays) 1034ad3ba452Szhanglinjuan 1035ad3ba452Szhanglinjuan //---------------------------------------- 10361f0e2dc7SJiawei Lin // assertions 10371f0e2dc7SJiawei Lin // dcache should only deal with DRAM addresses 10381f0e2dc7SJiawei Lin when (bus.a.fire()) { 10391f0e2dc7SJiawei Lin assert(bus.a.bits.address >= 0x80000000L.U) 10401f0e2dc7SJiawei Lin } 10411f0e2dc7SJiawei Lin when (bus.b.fire()) { 10421f0e2dc7SJiawei Lin assert(bus.b.bits.address >= 0x80000000L.U) 10431f0e2dc7SJiawei Lin } 10441f0e2dc7SJiawei Lin when (bus.c.fire()) { 10451f0e2dc7SJiawei Lin assert(bus.c.bits.address >= 0x80000000L.U) 10461f0e2dc7SJiawei Lin } 10471f0e2dc7SJiawei Lin 10481f0e2dc7SJiawei Lin //---------------------------------------- 10491f0e2dc7SJiawei Lin // utility functions 10501f0e2dc7SJiawei Lin def block_decoupled[T <: Data](source: DecoupledIO[T], sink: DecoupledIO[T], block_signal: Bool) = { 10511f0e2dc7SJiawei Lin sink.valid := source.valid && !block_signal 10521f0e2dc7SJiawei Lin source.ready := sink.ready && !block_signal 10531f0e2dc7SJiawei Lin sink.bits := source.bits 10541f0e2dc7SJiawei Lin } 10551f0e2dc7SJiawei Lin 10561f0e2dc7SJiawei Lin //---------------------------------------- 1057e19f7967SWilliam Wang // Customized csr cache op support 1058e19f7967SWilliam Wang val cacheOpDecoder = Module(new CSRCacheOpDecoder("dcache", CacheInstrucion.COP_ID_DCACHE)) 1059e19f7967SWilliam Wang cacheOpDecoder.io.csr <> io.csr 1060c3a5fe5fShappy-lx bankedDataArray.io.cacheOp.req := cacheOpDecoder.io.cache.req 1061c3a5fe5fShappy-lx // dup cacheOp_req_valid 1062779109e3Slixin bankedDataArray.io.cacheOp_req_dup.zipWithIndex.map{ case(dup, i) => dup := cacheOpDecoder.io.cache_req_dup(i) } 1063c3a5fe5fShappy-lx // dup cacheOp_req_bits_opCode 1064779109e3Slixin bankedDataArray.io.cacheOp_req_bits_opCode_dup.zipWithIndex.map{ case (dup, i) => dup := cacheOpDecoder.io.cacheOp_req_bits_opCode_dup(i) } 1065c3a5fe5fShappy-lx 1066e19f7967SWilliam Wang tagArray.io.cacheOp.req := cacheOpDecoder.io.cache.req 1067c3a5fe5fShappy-lx // dup cacheOp_req_valid 1068779109e3Slixin tagArray.io.cacheOp_req_dup.zipWithIndex.map{ case(dup, i) => dup := cacheOpDecoder.io.cache_req_dup(i) } 1069c3a5fe5fShappy-lx // dup cacheOp_req_bits_opCode 1070779109e3Slixin tagArray.io.cacheOp_req_bits_opCode_dup.zipWithIndex.map{ case (dup, i) => dup := cacheOpDecoder.io.cacheOp_req_bits_opCode_dup(i) } 1071e47fc57cSlixin 1072e19f7967SWilliam Wang cacheOpDecoder.io.cache.resp.valid := bankedDataArray.io.cacheOp.resp.valid || 1073e19f7967SWilliam Wang tagArray.io.cacheOp.resp.valid 1074e19f7967SWilliam Wang cacheOpDecoder.io.cache.resp.bits := Mux1H(List( 1075e19f7967SWilliam Wang bankedDataArray.io.cacheOp.resp.valid -> bankedDataArray.io.cacheOp.resp.bits, 1076e19f7967SWilliam Wang tagArray.io.cacheOp.resp.valid -> tagArray.io.cacheOp.resp.bits, 1077e19f7967SWilliam Wang )) 1078026615fcSWilliam Wang cacheOpDecoder.io.error := io.error 107941b68474SWilliam Wang assert(!((bankedDataArray.io.cacheOp.resp.valid +& tagArray.io.cacheOp.resp.valid) > 1.U)) 1080e19f7967SWilliam Wang 1081e19f7967SWilliam Wang //---------------------------------------- 10821f0e2dc7SJiawei Lin // performance counters 10831f0e2dc7SJiawei Lin val num_loads = PopCount(ldu.map(e => e.io.lsu.req.fire())) 10841f0e2dc7SJiawei Lin XSPerfAccumulate("num_loads", num_loads) 10851f0e2dc7SJiawei Lin 10861f0e2dc7SJiawei Lin io.mshrFull := missQueue.io.full 1087ad3ba452Szhanglinjuan 1088ad3ba452Szhanglinjuan // performance counter 1089ad3ba452Szhanglinjuan val ld_access = Wire(Vec(LoadPipelineWidth, missQueue.io.debug_early_replace.last.cloneType)) 1090ad3ba452Szhanglinjuan val st_access = Wire(ld_access.last.cloneType) 1091ad3ba452Szhanglinjuan ld_access.zip(ldu).foreach { 1092ad3ba452Szhanglinjuan case (a, u) => 1093ad3ba452Szhanglinjuan a.valid := RegNext(u.io.lsu.req.fire()) && !u.io.lsu.s1_kill 1094ad3ba452Szhanglinjuan a.bits.idx := RegNext(get_idx(u.io.lsu.req.bits.addr)) 109503efd994Shappy-lx a.bits.tag := get_tag(u.io.lsu.s1_paddr_dup_dcache) 1096ad3ba452Szhanglinjuan } 1097ad3ba452Szhanglinjuan st_access.valid := RegNext(mainPipe.io.store_req.fire()) 1098ad3ba452Szhanglinjuan st_access.bits.idx := RegNext(get_idx(mainPipe.io.store_req.bits.vaddr)) 1099ad3ba452Szhanglinjuan st_access.bits.tag := RegNext(get_tag(mainPipe.io.store_req.bits.addr)) 1100ad3ba452Szhanglinjuan val access_info = ld_access.toSeq ++ Seq(st_access) 1101ad3ba452Szhanglinjuan val early_replace = RegNext(missQueue.io.debug_early_replace) 1102ad3ba452Szhanglinjuan val access_early_replace = access_info.map { 1103ad3ba452Szhanglinjuan case acc => 1104ad3ba452Szhanglinjuan Cat(early_replace.map { 1105ad3ba452Szhanglinjuan case r => 1106ad3ba452Szhanglinjuan acc.valid && r.valid && 1107ad3ba452Szhanglinjuan acc.bits.tag === r.bits.tag && 1108ad3ba452Szhanglinjuan acc.bits.idx === r.bits.idx 1109ad3ba452Szhanglinjuan }) 1110ad3ba452Szhanglinjuan } 1111ad3ba452Szhanglinjuan XSPerfAccumulate("access_early_replace", PopCount(Cat(access_early_replace))) 1112cd365d4cSrvcoresjw 11131ca0e4f3SYinan Xu val perfEvents = (Seq(wb, mainPipe, missQueue, probeQueue) ++ ldu).flatMap(_.getPerfEvents) 11141ca0e4f3SYinan Xu generatePerfEvent() 11151f0e2dc7SJiawei Lin} 11161f0e2dc7SJiawei Lin 11171f0e2dc7SJiawei Linclass AMOHelper() extends ExtModule { 11181f0e2dc7SJiawei Lin val clock = IO(Input(Clock())) 11191f0e2dc7SJiawei Lin val enable = IO(Input(Bool())) 11201f0e2dc7SJiawei Lin val cmd = IO(Input(UInt(5.W))) 11211f0e2dc7SJiawei Lin val addr = IO(Input(UInt(64.W))) 11221f0e2dc7SJiawei Lin val wdata = IO(Input(UInt(64.W))) 11231f0e2dc7SJiawei Lin val mask = IO(Input(UInt(8.W))) 11241f0e2dc7SJiawei Lin val rdata = IO(Output(UInt(64.W))) 11251f0e2dc7SJiawei Lin} 11261f0e2dc7SJiawei Lin 11274f94c0c6SJiawei Linclass DCacheWrapper()(implicit p: Parameters) extends LazyModule with HasXSParameter { 11281f0e2dc7SJiawei Lin 11294f94c0c6SJiawei Lin val useDcache = coreParams.dcacheParametersOpt.nonEmpty 11304f94c0c6SJiawei Lin val clientNode = if (useDcache) TLIdentityNode() else null 11314f94c0c6SJiawei Lin val dcache = if (useDcache) LazyModule(new DCache()) else null 11324f94c0c6SJiawei Lin if (useDcache) { 11331f0e2dc7SJiawei Lin clientNode := dcache.clientNode 11341f0e2dc7SJiawei Lin } 11351f0e2dc7SJiawei Lin 11361ca0e4f3SYinan Xu lazy val module = new LazyModuleImp(this) with HasPerfEvents { 11371f0e2dc7SJiawei Lin val io = IO(new DCacheIO) 11381ca0e4f3SYinan Xu val perfEvents = if (!useDcache) { 11394f94c0c6SJiawei Lin // a fake dcache which uses dpi-c to access memory, only for debug usage! 11401f0e2dc7SJiawei Lin val fake_dcache = Module(new FakeDCache()) 11411f0e2dc7SJiawei Lin io <> fake_dcache.io 11421ca0e4f3SYinan Xu Seq() 11431f0e2dc7SJiawei Lin } 11441f0e2dc7SJiawei Lin else { 11451f0e2dc7SJiawei Lin io <> dcache.module.io 11461ca0e4f3SYinan Xu dcache.module.getPerfEvents 11471f0e2dc7SJiawei Lin } 11481ca0e4f3SYinan Xu generatePerfEvent() 11491f0e2dc7SJiawei Lin } 11501f0e2dc7SJiawei Lin} 1151