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 1032db9ec44SLinJiawei def nSourceType = 10 1041f0e2dc7SJiawei Lin def sourceTypeWidth = log2Up(nSourceType) 105*00575ac8SWilliam Wang // non-prefetch source < 3 1061f0e2dc7SJiawei Lin def LOAD_SOURCE = 0 1071f0e2dc7SJiawei Lin def STORE_SOURCE = 1 1081f0e2dc7SJiawei Lin def AMO_SOURCE = 2 109*00575ac8SWilliam Wang // prefetch source >= 3 110*00575ac8SWilliam Wang def DCACHE_PREFETCH_SOURCE = 3 1112db9ec44SLinJiawei def SOFT_PREFETCH = 4 1122db9ec44SLinJiawei def HW_PREFETCH_AGT = 5 1132db9ec44SLinJiawei def HW_PREFETCH_PHT_CUR = 6 1142db9ec44SLinJiawei def HW_PREFETCH_PHT_INC = 7 1152db9ec44SLinJiawei def HW_PREFETCH_PHT_DEC = 8 1162db9ec44SLinJiawei def HW_PREFETCH_BOP = 9 1172db9ec44SLinJiawei def HW_PREFETCH_STRIDE = 10 1181f0e2dc7SJiawei Lin 1191f0e2dc7SJiawei Lin // each source use a id to distinguish its multiple reqs 1208b1251e1SWilliam Wang def reqIdWidth = log2Up(nEntries) max log2Up(StoreBufferSize) 1211f0e2dc7SJiawei Lin 122300ded30SWilliam Wang require(isPow2(cfg.nMissEntries)) // TODO 123300ded30SWilliam Wang // require(isPow2(cfg.nReleaseEntries)) 124300ded30SWilliam Wang require(cfg.nMissEntries < cfg.nReleaseEntries) 125300ded30SWilliam Wang val nEntries = cfg.nMissEntries + cfg.nReleaseEntries 126300ded30SWilliam Wang val releaseIdBase = cfg.nMissEntries 127ad3ba452Szhanglinjuan 1281f0e2dc7SJiawei Lin // banked dcache support 1291f0e2dc7SJiawei Lin val DCacheSets = cacheParams.nSets 1301f0e2dc7SJiawei Lin val DCacheWays = cacheParams.nWays 131af22dd7cSWilliam Wang val DCacheBanks = 8 // hardcoded 132af22dd7cSWilliam Wang val DCacheSRAMRowBits = cacheParams.rowBits // hardcoded 133ca18a0b4SWilliam Wang val DCacheWordBits = 64 // hardcoded 134ca18a0b4SWilliam Wang val DCacheWordBytes = DCacheWordBits / 8 135af22dd7cSWilliam Wang require(DCacheSRAMRowBits == 64) 1361f0e2dc7SJiawei Lin 137ca18a0b4SWilliam Wang val DCacheSizeBits = DCacheSRAMRowBits * DCacheBanks * DCacheWays * DCacheSets 138ca18a0b4SWilliam Wang val DCacheSizeBytes = DCacheSizeBits / 8 139ca18a0b4SWilliam Wang val DCacheSizeWords = DCacheSizeBits / 64 // TODO 1401f0e2dc7SJiawei Lin 1411f0e2dc7SJiawei Lin val DCacheSameVPAddrLength = 12 1421f0e2dc7SJiawei Lin 1431f0e2dc7SJiawei Lin val DCacheSRAMRowBytes = DCacheSRAMRowBits / 8 144ca18a0b4SWilliam Wang val DCacheWordOffset = log2Up(DCacheWordBytes) 145ca18a0b4SWilliam Wang 146ca18a0b4SWilliam Wang val DCacheBankOffset = log2Up(DCacheSRAMRowBytes) 1471f0e2dc7SJiawei Lin val DCacheSetOffset = DCacheBankOffset + log2Up(DCacheBanks) 1481f0e2dc7SJiawei Lin val DCacheAboveIndexOffset = DCacheSetOffset + log2Up(DCacheSets) 1491f0e2dc7SJiawei Lin val DCacheTagOffset = DCacheAboveIndexOffset min DCacheSameVPAddrLength 150ca18a0b4SWilliam Wang val DCacheLineOffset = DCacheSetOffset 1511f0e2dc7SJiawei Lin 15237225120Ssfencevma // uncache 15337225120Ssfencevma val uncacheIdxBits = log2Up(StoreQueueSize) max log2Up(LoadQueueSize) 154b52348aeSWilliam Wang // hardware prefetch parameters 155b52348aeSWilliam Wang // high confidence hardware prefetch port 156b52348aeSWilliam Wang val HighConfHWPFLoadPort = LoadPipelineWidth - 1 // use the last load port by default 157b52348aeSWilliam Wang val IgnorePrefetchConfidence = false 15837225120Ssfencevma 1596c7e5e86Szhanglinjuan // parameters about duplicating regs to solve fanout 1606c7e5e86Szhanglinjuan // In Main Pipe: 1616c7e5e86Szhanglinjuan // tag_write.ready -> data_write.valid * 8 banks 1626c7e5e86Szhanglinjuan // tag_write.ready -> meta_write.valid 1636c7e5e86Szhanglinjuan // tag_write.ready -> tag_write.valid 1646c7e5e86Szhanglinjuan // tag_write.ready -> err_write.valid 1656c7e5e86Szhanglinjuan // tag_write.ready -> wb.valid 1666c7e5e86Szhanglinjuan val nDupTagWriteReady = DCacheBanks + 4 1676c7e5e86Szhanglinjuan // In Main Pipe: 1686c7e5e86Szhanglinjuan // data_write.ready -> data_write.valid * 8 banks 1696c7e5e86Szhanglinjuan // data_write.ready -> meta_write.valid 1706c7e5e86Szhanglinjuan // data_write.ready -> tag_write.valid 1716c7e5e86Szhanglinjuan // data_write.ready -> err_write.valid 1726c7e5e86Szhanglinjuan // data_write.ready -> wb.valid 1736c7e5e86Szhanglinjuan val nDupDataWriteReady = DCacheBanks + 4 1746c7e5e86Szhanglinjuan val nDupWbReady = DCacheBanks + 4 1756c7e5e86Szhanglinjuan val nDupStatus = nDupTagWriteReady + nDupDataWriteReady 1766c7e5e86Szhanglinjuan val dataWritePort = 0 1776c7e5e86Szhanglinjuan val metaWritePort = DCacheBanks 1786c7e5e86Szhanglinjuan val tagWritePort = metaWritePort + 1 1796c7e5e86Szhanglinjuan val errWritePort = tagWritePort + 1 1806c7e5e86Szhanglinjuan val wbPort = errWritePort + 1 1816c7e5e86Szhanglinjuan 1821f0e2dc7SJiawei Lin def addr_to_dcache_bank(addr: UInt) = { 1831f0e2dc7SJiawei Lin require(addr.getWidth >= DCacheSetOffset) 1841f0e2dc7SJiawei Lin addr(DCacheSetOffset-1, DCacheBankOffset) 1851f0e2dc7SJiawei Lin } 1861f0e2dc7SJiawei Lin 1871f0e2dc7SJiawei Lin def addr_to_dcache_set(addr: UInt) = { 1881f0e2dc7SJiawei Lin require(addr.getWidth >= DCacheAboveIndexOffset) 1891f0e2dc7SJiawei Lin addr(DCacheAboveIndexOffset-1, DCacheSetOffset) 1901f0e2dc7SJiawei Lin } 1911f0e2dc7SJiawei Lin 1921f0e2dc7SJiawei Lin def get_data_of_bank(bank: Int, data: UInt) = { 1931f0e2dc7SJiawei Lin require(data.getWidth >= (bank+1)*DCacheSRAMRowBits) 1941f0e2dc7SJiawei Lin data(DCacheSRAMRowBits * (bank + 1) - 1, DCacheSRAMRowBits * bank) 1951f0e2dc7SJiawei Lin } 1961f0e2dc7SJiawei Lin 1971f0e2dc7SJiawei Lin def get_mask_of_bank(bank: Int, data: UInt) = { 1981f0e2dc7SJiawei Lin require(data.getWidth >= (bank+1)*DCacheSRAMRowBytes) 1991f0e2dc7SJiawei Lin data(DCacheSRAMRowBytes * (bank + 1) - 1, DCacheSRAMRowBytes * bank) 2001f0e2dc7SJiawei Lin } 2011f0e2dc7SJiawei Lin 202578c21a4Szhanglinjuan def arbiter[T <: Bundle]( 203578c21a4Szhanglinjuan in: Seq[DecoupledIO[T]], 204578c21a4Szhanglinjuan out: DecoupledIO[T], 205578c21a4Szhanglinjuan name: Option[String] = None): Unit = { 206578c21a4Szhanglinjuan val arb = Module(new Arbiter[T](chiselTypeOf(out.bits), in.size)) 207578c21a4Szhanglinjuan if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 208578c21a4Szhanglinjuan for ((a, req) <- arb.io.in.zip(in)) { 209578c21a4Szhanglinjuan a <> req 210578c21a4Szhanglinjuan } 211578c21a4Szhanglinjuan out <> arb.io.out 212578c21a4Szhanglinjuan } 213578c21a4Szhanglinjuan 214b36dd5fdSWilliam Wang def arbiter_with_pipereg[T <: Bundle]( 215b36dd5fdSWilliam Wang in: Seq[DecoupledIO[T]], 216b36dd5fdSWilliam Wang out: DecoupledIO[T], 217b36dd5fdSWilliam Wang name: Option[String] = None): Unit = { 218b36dd5fdSWilliam Wang val arb = Module(new Arbiter[T](chiselTypeOf(out.bits), in.size)) 219b36dd5fdSWilliam Wang if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 220b36dd5fdSWilliam Wang for ((a, req) <- arb.io.in.zip(in)) { 221b36dd5fdSWilliam Wang a <> req 222b36dd5fdSWilliam Wang } 223b36dd5fdSWilliam Wang AddPipelineReg(arb.io.out, out, false.B) 224b36dd5fdSWilliam Wang } 225b36dd5fdSWilliam Wang 226b11ec622Slixin def arbiter_with_pipereg_N_dup[T <: Bundle]( 227b11ec622Slixin in: Seq[DecoupledIO[T]], 228b11ec622Slixin out: DecoupledIO[T], 229c3a5fe5fShappy-lx dups: Seq[DecoupledIO[T]], 230b11ec622Slixin name: Option[String] = None): Unit = { 231b11ec622Slixin val arb = Module(new Arbiter[T](chiselTypeOf(out.bits), in.size)) 232b11ec622Slixin if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 233b11ec622Slixin for ((a, req) <- arb.io.in.zip(in)) { 234b11ec622Slixin a <> req 235b11ec622Slixin } 236b11ec622Slixin for (dup <- dups) { 237c3a5fe5fShappy-lx AddPipelineReg(arb.io.out, dup, false.B) 238b11ec622Slixin } 239c3a5fe5fShappy-lx AddPipelineReg(arb.io.out, out, false.B) 240b11ec622Slixin } 241b11ec622Slixin 242578c21a4Szhanglinjuan def rrArbiter[T <: Bundle]( 243578c21a4Szhanglinjuan in: Seq[DecoupledIO[T]], 244578c21a4Szhanglinjuan out: DecoupledIO[T], 245578c21a4Szhanglinjuan name: Option[String] = None): Unit = { 246578c21a4Szhanglinjuan val arb = Module(new RRArbiter[T](chiselTypeOf(out.bits), in.size)) 247578c21a4Szhanglinjuan if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 248578c21a4Szhanglinjuan for ((a, req) <- arb.io.in.zip(in)) { 249578c21a4Szhanglinjuan a <> req 250578c21a4Szhanglinjuan } 251578c21a4Szhanglinjuan out <> arb.io.out 252578c21a4Szhanglinjuan } 253578c21a4Szhanglinjuan 2547cd72b71Szhanglinjuan def fastArbiter[T <: Bundle]( 2557cd72b71Szhanglinjuan in: Seq[DecoupledIO[T]], 2567cd72b71Szhanglinjuan out: DecoupledIO[T], 2577cd72b71Szhanglinjuan name: Option[String] = None): Unit = { 2587cd72b71Szhanglinjuan val arb = Module(new FastArbiter[T](chiselTypeOf(out.bits), in.size)) 2597cd72b71Szhanglinjuan if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 2607cd72b71Szhanglinjuan for ((a, req) <- arb.io.in.zip(in)) { 2617cd72b71Szhanglinjuan a <> req 2627cd72b71Szhanglinjuan } 2637cd72b71Szhanglinjuan out <> arb.io.out 2647cd72b71Szhanglinjuan } 2657cd72b71Szhanglinjuan 266ad3ba452Szhanglinjuan val numReplaceRespPorts = 2 267ad3ba452Szhanglinjuan 2681f0e2dc7SJiawei Lin require(isPow2(nSets), s"nSets($nSets) must be pow2") 2691f0e2dc7SJiawei Lin require(isPow2(nWays), s"nWays($nWays) must be pow2") 2701f0e2dc7SJiawei Lin require(full_divide(rowBits, wordBits), s"rowBits($rowBits) must be multiple of wordBits($wordBits)") 2711f0e2dc7SJiawei Lin require(full_divide(beatBits, rowBits), s"beatBits($beatBits) must be multiple of rowBits($rowBits)") 2721f0e2dc7SJiawei Lin} 2731f0e2dc7SJiawei Lin 2741f0e2dc7SJiawei Linabstract class DCacheModule(implicit p: Parameters) extends L1CacheModule 2751f0e2dc7SJiawei Lin with HasDCacheParameters 2761f0e2dc7SJiawei Lin 2771f0e2dc7SJiawei Linabstract class DCacheBundle(implicit p: Parameters) extends L1CacheBundle 2781f0e2dc7SJiawei Lin with HasDCacheParameters 2791f0e2dc7SJiawei Lin 2801f0e2dc7SJiawei Linclass ReplacementAccessBundle(implicit p: Parameters) extends DCacheBundle { 2811f0e2dc7SJiawei Lin val set = UInt(log2Up(nSets).W) 2821f0e2dc7SJiawei Lin val way = UInt(log2Up(nWays).W) 2831f0e2dc7SJiawei Lin} 2841f0e2dc7SJiawei Lin 285ad3ba452Szhanglinjuanclass ReplacementWayReqIO(implicit p: Parameters) extends DCacheBundle { 286ad3ba452Szhanglinjuan val set = ValidIO(UInt(log2Up(nSets).W)) 287ad3ba452Szhanglinjuan val way = Input(UInt(log2Up(nWays).W)) 288ad3ba452Szhanglinjuan} 289ad3ba452Szhanglinjuan 2903af6aa6eSWilliam Wangclass DCacheExtraMeta(implicit p: Parameters) extends DCacheBundle 2913af6aa6eSWilliam Wang{ 2923af6aa6eSWilliam Wang val error = Bool() // cache line has been marked as corrupted by l2 / ecc error detected when store 2933af6aa6eSWilliam Wang val prefetch = Bool() // cache line is first required by prefetch 2943af6aa6eSWilliam Wang val access = Bool() // cache line has been accessed by load / store 2953af6aa6eSWilliam Wang 2963af6aa6eSWilliam Wang // val debug_access_timestamp = UInt(64.W) // last time a load / store / refill access that cacheline 2973af6aa6eSWilliam Wang} 2983af6aa6eSWilliam Wang 2991f0e2dc7SJiawei Lin// memory request in word granularity(load, mmio, lr/sc, atomics) 3001f0e2dc7SJiawei Linclass DCacheWordReq(implicit p: Parameters) extends DCacheBundle 3011f0e2dc7SJiawei Lin{ 3021f0e2dc7SJiawei Lin val cmd = UInt(M_SZ.W) 3031f0e2dc7SJiawei Lin val addr = UInt(PAddrBits.W) 3041f0e2dc7SJiawei Lin val data = UInt(DataBits.W) 3051f0e2dc7SJiawei Lin val mask = UInt((DataBits/8).W) 3061f0e2dc7SJiawei Lin val id = UInt(reqIdWidth.W) 3073f4ec46fSCODE-JTZ val instrtype = UInt(sourceTypeWidth.W) 308144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 3091f0e2dc7SJiawei Lin def dump() = { 3101f0e2dc7SJiawei Lin XSDebug("DCacheWordReq: cmd: %x addr: %x data: %x mask: %x id: %d\n", 3111f0e2dc7SJiawei Lin cmd, addr, data, mask, id) 3121f0e2dc7SJiawei Lin } 3131f0e2dc7SJiawei Lin} 3141f0e2dc7SJiawei Lin 3151f0e2dc7SJiawei Lin// memory request in word granularity(store) 3161f0e2dc7SJiawei Linclass DCacheLineReq(implicit p: Parameters) extends DCacheBundle 3171f0e2dc7SJiawei Lin{ 3181f0e2dc7SJiawei Lin val cmd = UInt(M_SZ.W) 3191f0e2dc7SJiawei Lin val vaddr = UInt(VAddrBits.W) 3201f0e2dc7SJiawei Lin val addr = UInt(PAddrBits.W) 3211f0e2dc7SJiawei Lin val data = UInt((cfg.blockBytes * 8).W) 3221f0e2dc7SJiawei Lin val mask = UInt(cfg.blockBytes.W) 3231f0e2dc7SJiawei Lin val id = UInt(reqIdWidth.W) 3241f0e2dc7SJiawei Lin def dump() = { 3251f0e2dc7SJiawei Lin XSDebug("DCacheLineReq: cmd: %x addr: %x data: %x mask: %x id: %d\n", 3261f0e2dc7SJiawei Lin cmd, addr, data, mask, id) 3271f0e2dc7SJiawei Lin } 328ad3ba452Szhanglinjuan def idx: UInt = get_idx(vaddr) 3291f0e2dc7SJiawei Lin} 3301f0e2dc7SJiawei Lin 3311f0e2dc7SJiawei Linclass DCacheWordReqWithVaddr(implicit p: Parameters) extends DCacheWordReq { 3321f0e2dc7SJiawei Lin val vaddr = UInt(VAddrBits.W) 333ca18a0b4SWilliam Wang val wline = Bool() 3341f0e2dc7SJiawei Lin} 3351f0e2dc7SJiawei Lin 3366786cfb7SWilliam Wangclass BaseDCacheWordResp(implicit p: Parameters) extends DCacheBundle 3371f0e2dc7SJiawei Lin{ 338144422dcSMaxpicca-Li // read in s2 3391f0e2dc7SJiawei Lin val data = UInt(DataBits.W) 340144422dcSMaxpicca-Li // select in s3 341144422dcSMaxpicca-Li val data_delayed = UInt(DataBits.W) 342026615fcSWilliam Wang val id = UInt(reqIdWidth.W) 343026615fcSWilliam Wang 3441f0e2dc7SJiawei Lin // cache req missed, send it to miss queue 3451f0e2dc7SJiawei Lin val miss = Bool() 346026615fcSWilliam Wang // cache miss, and failed to enter the missqueue, replay from RS is needed 3471f0e2dc7SJiawei Lin val replay = Bool() 348144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 349026615fcSWilliam Wang // data has been corrupted 350a469aa4bSWilliam Wang val tag_error = Bool() // tag error 351144422dcSMaxpicca-Li val mshr_id = UInt(log2Up(cfg.nMissEntries).W) 352144422dcSMaxpicca-Li 3531f0e2dc7SJiawei Lin def dump() = { 3541f0e2dc7SJiawei Lin XSDebug("DCacheWordResp: data: %x id: %d miss: %b replay: %b\n", 3551f0e2dc7SJiawei Lin data, id, miss, replay) 3561f0e2dc7SJiawei Lin } 3571f0e2dc7SJiawei Lin} 3581f0e2dc7SJiawei Lin 3596786cfb7SWilliam Wangclass DCacheWordResp(implicit p: Parameters) extends BaseDCacheWordResp 3606786cfb7SWilliam Wang{ 3616786cfb7SWilliam Wang // 1 cycle after data resp 3626786cfb7SWilliam Wang val error_delayed = Bool() // all kinds of errors, include tag error 3636786cfb7SWilliam Wang} 3646786cfb7SWilliam Wang 365a19ae480SWilliam Wangclass BankedDCacheWordResp(implicit p: Parameters) extends DCacheWordResp 366a19ae480SWilliam Wang{ 367a19ae480SWilliam Wang val bank_data = Vec(DCacheBanks, Bits(DCacheSRAMRowBits.W)) 368a19ae480SWilliam Wang val bank_oh = UInt(DCacheBanks.W) 3693af6aa6eSWilliam Wang 3703af6aa6eSWilliam Wang val meta_prefetch = Bool() 3713af6aa6eSWilliam Wang val meta_access = Bool() 372a19ae480SWilliam Wang} 373a19ae480SWilliam Wang 3746786cfb7SWilliam Wangclass DCacheWordRespWithError(implicit p: Parameters) extends BaseDCacheWordResp 3756786cfb7SWilliam Wang{ 3766786cfb7SWilliam Wang val error = Bool() // all kinds of errors, include tag error 3776786cfb7SWilliam Wang} 3786786cfb7SWilliam Wang 3791f0e2dc7SJiawei Linclass DCacheLineResp(implicit p: Parameters) extends DCacheBundle 3801f0e2dc7SJiawei Lin{ 3811f0e2dc7SJiawei Lin val data = UInt((cfg.blockBytes * 8).W) 3821f0e2dc7SJiawei Lin // cache req missed, send it to miss queue 3831f0e2dc7SJiawei Lin val miss = Bool() 3841f0e2dc7SJiawei Lin // cache req nacked, replay it later 3851f0e2dc7SJiawei Lin val replay = Bool() 3861f0e2dc7SJiawei Lin val id = UInt(reqIdWidth.W) 3871f0e2dc7SJiawei Lin def dump() = { 3881f0e2dc7SJiawei Lin XSDebug("DCacheLineResp: data: %x id: %d miss: %b replay: %b\n", 3891f0e2dc7SJiawei Lin data, id, miss, replay) 3901f0e2dc7SJiawei Lin } 3911f0e2dc7SJiawei Lin} 3921f0e2dc7SJiawei Lin 3931f0e2dc7SJiawei Linclass Refill(implicit p: Parameters) extends DCacheBundle 3941f0e2dc7SJiawei Lin{ 3951f0e2dc7SJiawei Lin val addr = UInt(PAddrBits.W) 3961f0e2dc7SJiawei Lin val data = UInt(l1BusDataWidth.W) 397026615fcSWilliam Wang val error = Bool() // refilled data has been corrupted 3981f0e2dc7SJiawei Lin // for debug usage 3991f0e2dc7SJiawei Lin val data_raw = UInt((cfg.blockBytes * 8).W) 4001f0e2dc7SJiawei Lin val hasdata = Bool() 4011f0e2dc7SJiawei Lin val refill_done = Bool() 4021f0e2dc7SJiawei Lin def dump() = { 4031f0e2dc7SJiawei Lin XSDebug("Refill: addr: %x data: %x\n", addr, data) 4041f0e2dc7SJiawei Lin } 405683c1411Shappy-lx val id = UInt(log2Up(cfg.nMissEntries).W) 4061f0e2dc7SJiawei Lin} 4071f0e2dc7SJiawei Lin 40867682d05SWilliam Wangclass Release(implicit p: Parameters) extends DCacheBundle 40967682d05SWilliam Wang{ 41067682d05SWilliam Wang val paddr = UInt(PAddrBits.W) 41167682d05SWilliam Wang def dump() = { 41267682d05SWilliam Wang XSDebug("Release: paddr: %x\n", paddr(PAddrBits-1, DCacheTagOffset)) 41367682d05SWilliam Wang } 41467682d05SWilliam Wang} 41567682d05SWilliam Wang 4161f0e2dc7SJiawei Linclass DCacheWordIO(implicit p: Parameters) extends DCacheBundle 4171f0e2dc7SJiawei Lin{ 4181f0e2dc7SJiawei Lin val req = DecoupledIO(new DCacheWordReq) 419144422dcSMaxpicca-Li val resp = Flipped(DecoupledIO(new DCacheWordResp)) 4201f0e2dc7SJiawei Lin} 4211f0e2dc7SJiawei Lin 42237225120Ssfencevma 42337225120Ssfencevmaclass UncacheWordReq(implicit p: Parameters) extends DCacheBundle 42437225120Ssfencevma{ 42537225120Ssfencevma val cmd = UInt(M_SZ.W) 42637225120Ssfencevma val addr = UInt(PAddrBits.W) 42737225120Ssfencevma val data = UInt(DataBits.W) 42837225120Ssfencevma val mask = UInt((DataBits/8).W) 42937225120Ssfencevma val id = UInt(uncacheIdxBits.W) 43037225120Ssfencevma val instrtype = UInt(sourceTypeWidth.W) 43137225120Ssfencevma val atomic = Bool() 432144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 43337225120Ssfencevma 43437225120Ssfencevma def dump() = { 43537225120Ssfencevma XSDebug("UncacheWordReq: cmd: %x addr: %x data: %x mask: %x id: %d\n", 43637225120Ssfencevma cmd, addr, data, mask, id) 43737225120Ssfencevma } 43837225120Ssfencevma} 43937225120Ssfencevma 44037225120Ssfencevmaclass UncacheWorResp(implicit p: Parameters) extends DCacheBundle 44137225120Ssfencevma{ 44237225120Ssfencevma val data = UInt(DataBits.W) 443144422dcSMaxpicca-Li val data_delayed = UInt(DataBits.W) 44437225120Ssfencevma val id = UInt(uncacheIdxBits.W) 44537225120Ssfencevma val miss = Bool() 44637225120Ssfencevma val replay = Bool() 44737225120Ssfencevma val tag_error = Bool() 44837225120Ssfencevma val error = Bool() 449144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 450144422dcSMaxpicca-Li val mshr_id = UInt(log2Up(cfg.nMissEntries).W) // FIXME: why uncacheWordResp is not merged to baseDcacheResp 45137225120Ssfencevma 45237225120Ssfencevma def dump() = { 45337225120Ssfencevma XSDebug("UncacheWordResp: data: %x id: %d miss: %b replay: %b, tag_error: %b, error: %b\n", 45437225120Ssfencevma data, id, miss, replay, tag_error, error) 45537225120Ssfencevma } 45637225120Ssfencevma} 45737225120Ssfencevma 4586786cfb7SWilliam Wangclass UncacheWordIO(implicit p: Parameters) extends DCacheBundle 4596786cfb7SWilliam Wang{ 46037225120Ssfencevma val req = DecoupledIO(new UncacheWordReq) 46137225120Ssfencevma val resp = Flipped(DecoupledIO(new UncacheWorResp)) 4626786cfb7SWilliam Wang} 4636786cfb7SWilliam Wang 46462cb71fbShappy-lxclass AtomicsResp(implicit p: Parameters) extends DCacheBundle { 46562cb71fbShappy-lx val data = UInt(DataBits.W) 46662cb71fbShappy-lx val miss = Bool() 46762cb71fbShappy-lx val miss_id = UInt(log2Up(cfg.nMissEntries).W) 46862cb71fbShappy-lx val replay = Bool() 46962cb71fbShappy-lx val error = Bool() 47062cb71fbShappy-lx 47162cb71fbShappy-lx val ack_miss_queue = Bool() 47262cb71fbShappy-lx 47362cb71fbShappy-lx val id = UInt(reqIdWidth.W) 47462cb71fbShappy-lx} 47562cb71fbShappy-lx 4766786cfb7SWilliam Wangclass AtomicWordIO(implicit p: Parameters) extends DCacheBundle 4771f0e2dc7SJiawei Lin{ 47862cb71fbShappy-lx val req = DecoupledIO(new MainPipeReq) 47962cb71fbShappy-lx val resp = Flipped(ValidIO(new AtomicsResp)) 48062cb71fbShappy-lx val block_lr = Input(Bool()) 4811f0e2dc7SJiawei Lin} 4821f0e2dc7SJiawei Lin 4831f0e2dc7SJiawei Lin// used by load unit 4841f0e2dc7SJiawei Linclass DCacheLoadIO(implicit p: Parameters) extends DCacheWordIO 4851f0e2dc7SJiawei Lin{ 4861f0e2dc7SJiawei Lin // kill previous cycle's req 4871f0e2dc7SJiawei Lin val s1_kill = Output(Bool()) 488b6982e83SLemover val s2_kill = Output(Bool()) 4892db9ec44SLinJiawei val s2_pc = Output(UInt(VAddrBits.W)) 4901f0e2dc7SJiawei Lin // cycle 0: virtual address: req.addr 4911f0e2dc7SJiawei Lin // cycle 1: physical address: s1_paddr 49203efd994Shappy-lx val s1_paddr_dup_lsu = Output(UInt(PAddrBits.W)) // lsu side paddr 49303efd994Shappy-lx val s1_paddr_dup_dcache = Output(UInt(PAddrBits.W)) // dcache side paddr 4941f0e2dc7SJiawei Lin val s1_disable_fast_wakeup = Input(Bool()) 495d87b76aaSWilliam Wang val s1_bank_conflict = Input(Bool()) 49603efd994Shappy-lx // cycle 2: hit signal 49703efd994Shappy-lx val s2_hit = Input(Bool()) // hit signal for lsu, 49803efd994Shappy-lx 49903efd994Shappy-lx // debug 50003efd994Shappy-lx val debug_s1_hit_way = Input(UInt(nWays.W)) 5011f0e2dc7SJiawei Lin} 5021f0e2dc7SJiawei Lin 5031f0e2dc7SJiawei Linclass DCacheLineIO(implicit p: Parameters) extends DCacheBundle 5041f0e2dc7SJiawei Lin{ 5051f0e2dc7SJiawei Lin val req = DecoupledIO(new DCacheLineReq) 5061f0e2dc7SJiawei Lin val resp = Flipped(DecoupledIO(new DCacheLineResp)) 5071f0e2dc7SJiawei Lin} 5081f0e2dc7SJiawei Lin 509ad3ba452Szhanglinjuanclass DCacheToSbufferIO(implicit p: Parameters) extends DCacheBundle { 510ad3ba452Szhanglinjuan // sbuffer will directly send request to dcache main pipe 511ad3ba452Szhanglinjuan val req = Flipped(Decoupled(new DCacheLineReq)) 512ad3ba452Szhanglinjuan 513ad3ba452Szhanglinjuan val main_pipe_hit_resp = ValidIO(new DCacheLineResp) 514ad3ba452Szhanglinjuan val refill_hit_resp = ValidIO(new DCacheLineResp) 515ad3ba452Szhanglinjuan 516ad3ba452Szhanglinjuan val replay_resp = ValidIO(new DCacheLineResp) 517ad3ba452Szhanglinjuan 518ad3ba452Szhanglinjuan def hit_resps: Seq[ValidIO[DCacheLineResp]] = Seq(main_pipe_hit_resp, refill_hit_resp) 519ad3ba452Szhanglinjuan} 520ad3ba452Szhanglinjuan 521683c1411Shappy-lx// forward tilelink channel D's data to ldu 522683c1411Shappy-lxclass DcacheToLduForwardIO(implicit p: Parameters) extends DCacheBundle { 523683c1411Shappy-lx val valid = Bool() 524683c1411Shappy-lx val data = UInt(l1BusDataWidth.W) 525683c1411Shappy-lx val mshrid = UInt(log2Up(cfg.nMissEntries).W) 526683c1411Shappy-lx val last = Bool() 527683c1411Shappy-lx 528683c1411Shappy-lx def apply(req_valid : Bool, req_data : UInt, req_mshrid : UInt, req_last : Bool) = { 529683c1411Shappy-lx valid := req_valid 530683c1411Shappy-lx data := req_data 531683c1411Shappy-lx mshrid := req_mshrid 532683c1411Shappy-lx last := req_last 533683c1411Shappy-lx } 534683c1411Shappy-lx 535683c1411Shappy-lx def dontCare() = { 536683c1411Shappy-lx valid := false.B 537683c1411Shappy-lx data := DontCare 538683c1411Shappy-lx mshrid := DontCare 539683c1411Shappy-lx last := DontCare 540683c1411Shappy-lx } 541683c1411Shappy-lx 542683c1411Shappy-lx def forward(req_valid : Bool, req_mshr_id : UInt, req_paddr : UInt) = { 543683c1411Shappy-lx val all_match = req_valid && valid && 544683c1411Shappy-lx req_mshr_id === mshrid && 545683c1411Shappy-lx req_paddr(log2Up(refillBytes)) === last 546683c1411Shappy-lx 547683c1411Shappy-lx val forward_D = RegInit(false.B) 548683c1411Shappy-lx val forwardData = RegInit(VecInit(List.fill(8)(0.U(8.W)))) 549683c1411Shappy-lx 550683c1411Shappy-lx val block_idx = req_paddr(log2Up(refillBytes) - 1, 3) 551683c1411Shappy-lx val block_data = Wire(Vec(l1BusDataWidth / 64, UInt(64.W))) 552683c1411Shappy-lx (0 until l1BusDataWidth / 64).map(i => { 553683c1411Shappy-lx block_data(i) := data(64 * i + 63, 64 * i) 554683c1411Shappy-lx }) 555683c1411Shappy-lx val selected_data = block_data(block_idx) 556683c1411Shappy-lx 557683c1411Shappy-lx forward_D := all_match 558683c1411Shappy-lx for (i <- 0 until 8) { 559683c1411Shappy-lx forwardData(i) := selected_data(8 * i + 7, 8 * i) 560683c1411Shappy-lx } 561683c1411Shappy-lx 562683c1411Shappy-lx (forward_D, forwardData) 563683c1411Shappy-lx } 564683c1411Shappy-lx} 565683c1411Shappy-lx 566683c1411Shappy-lxclass MissEntryForwardIO(implicit p: Parameters) extends DCacheBundle { 567683c1411Shappy-lx val inflight = Bool() 568683c1411Shappy-lx val paddr = UInt(PAddrBits.W) 569683c1411Shappy-lx val raw_data = Vec(blockBytes/beatBytes, UInt(beatBits.W)) 570683c1411Shappy-lx val firstbeat_valid = Bool() 571683c1411Shappy-lx val lastbeat_valid = Bool() 572683c1411Shappy-lx 573683c1411Shappy-lx def apply(mshr_valid : Bool, mshr_paddr : UInt, mshr_rawdata : Vec[UInt], mshr_first_valid : Bool, mshr_last_valid : Bool) = { 574683c1411Shappy-lx inflight := mshr_valid 575683c1411Shappy-lx paddr := mshr_paddr 576683c1411Shappy-lx raw_data := mshr_rawdata 577683c1411Shappy-lx firstbeat_valid := mshr_first_valid 578683c1411Shappy-lx lastbeat_valid := mshr_last_valid 579683c1411Shappy-lx } 580683c1411Shappy-lx 581683c1411Shappy-lx // check if we can forward from mshr or D channel 582683c1411Shappy-lx def check(req_valid : Bool, req_paddr : UInt) = { 583683c1411Shappy-lx RegNext(req_valid && inflight && req_paddr(PAddrBits - 1, blockOffBits) === paddr(PAddrBits - 1, blockOffBits)) 584683c1411Shappy-lx } 585683c1411Shappy-lx 586683c1411Shappy-lx def forward(req_valid : Bool, req_paddr : UInt) = { 587683c1411Shappy-lx val all_match = (req_paddr(log2Up(refillBytes)) === 0.U && firstbeat_valid) || 588683c1411Shappy-lx (req_paddr(log2Up(refillBytes)) === 1.U && lastbeat_valid) 589683c1411Shappy-lx 590683c1411Shappy-lx val forward_mshr = RegInit(false.B) 591683c1411Shappy-lx val forwardData = RegInit(VecInit(List.fill(8)(0.U(8.W)))) 592683c1411Shappy-lx 593683c1411Shappy-lx val beat_data = raw_data(req_paddr(log2Up(refillBytes))) 594683c1411Shappy-lx val block_idx = req_paddr(log2Up(refillBytes) - 1, 3) 595683c1411Shappy-lx val block_data = Wire(Vec(l1BusDataWidth / 64, UInt(64.W))) 596683c1411Shappy-lx (0 until l1BusDataWidth / 64).map(i => { 597683c1411Shappy-lx block_data(i) := beat_data(64 * i + 63, 64 * i) 598683c1411Shappy-lx }) 599683c1411Shappy-lx val selected_data = block_data(block_idx) 600683c1411Shappy-lx 601683c1411Shappy-lx forward_mshr := all_match 602683c1411Shappy-lx for (i <- 0 until 8) { 603683c1411Shappy-lx forwardData(i) := selected_data(8 * i + 7, 8 * i) 604683c1411Shappy-lx } 605683c1411Shappy-lx 606683c1411Shappy-lx (forward_mshr, forwardData) 607683c1411Shappy-lx } 608683c1411Shappy-lx} 609683c1411Shappy-lx 610683c1411Shappy-lx// forward mshr's data to ldu 611683c1411Shappy-lxclass LduToMissqueueForwardIO(implicit p: Parameters) extends DCacheBundle { 612683c1411Shappy-lx // req 613683c1411Shappy-lx val valid = Input(Bool()) 614683c1411Shappy-lx val mshrid = Input(UInt(log2Up(cfg.nMissEntries).W)) 615683c1411Shappy-lx val paddr = Input(UInt(PAddrBits.W)) 616683c1411Shappy-lx // resp 617683c1411Shappy-lx val forward_mshr = Output(Bool()) 618683c1411Shappy-lx val forwardData = Output(Vec(8, UInt(8.W))) 619683c1411Shappy-lx val forward_result_valid = Output(Bool()) 620683c1411Shappy-lx 621683c1411Shappy-lx def connect(sink: LduToMissqueueForwardIO) = { 622683c1411Shappy-lx sink.valid := valid 623683c1411Shappy-lx sink.mshrid := mshrid 624683c1411Shappy-lx sink.paddr := paddr 625683c1411Shappy-lx forward_mshr := sink.forward_mshr 626683c1411Shappy-lx forwardData := sink.forwardData 627683c1411Shappy-lx forward_result_valid := sink.forward_result_valid 628683c1411Shappy-lx } 629683c1411Shappy-lx 630683c1411Shappy-lx def forward() = { 631683c1411Shappy-lx (forward_result_valid, forward_mshr, forwardData) 632683c1411Shappy-lx } 633683c1411Shappy-lx} 634683c1411Shappy-lx 6351f0e2dc7SJiawei Linclass DCacheToLsuIO(implicit p: Parameters) extends DCacheBundle { 6361f0e2dc7SJiawei Lin val load = Vec(LoadPipelineWidth, Flipped(new DCacheLoadIO)) // for speculative load 6371f0e2dc7SJiawei Lin val lsq = ValidIO(new Refill) // refill to load queue, wake up load misses 638ad3ba452Szhanglinjuan val store = new DCacheToSbufferIO // for sbuffer 6396786cfb7SWilliam Wang val atomics = Flipped(new AtomicWordIO) // atomics reqs 64067682d05SWilliam Wang val release = ValidIO(new Release) // cacheline release hint for ld-ld violation check 641683c1411Shappy-lx val forward_D = Output(Vec(LoadPipelineWidth, new DcacheToLduForwardIO)) 642683c1411Shappy-lx val forward_mshr = Vec(LoadPipelineWidth, new LduToMissqueueForwardIO) 6431f0e2dc7SJiawei Lin} 6441f0e2dc7SJiawei Lin 6451f0e2dc7SJiawei Linclass DCacheIO(implicit p: Parameters) extends DCacheBundle { 6465668a921SJiawei Lin val hartId = Input(UInt(8.W)) 6471f0e2dc7SJiawei Lin val lsu = new DCacheToLsuIO 648e19f7967SWilliam Wang val csr = new L1CacheToCsrIO 6491f0e2dc7SJiawei Lin val error = new L1CacheErrorInfo 6501f0e2dc7SJiawei Lin val mshrFull = Output(Bool()) 6511f0e2dc7SJiawei Lin} 6521f0e2dc7SJiawei Lin 6531f0e2dc7SJiawei Lin 6541f0e2dc7SJiawei Linclass DCache()(implicit p: Parameters) extends LazyModule with HasDCacheParameters { 6551f0e2dc7SJiawei Lin 6561f0e2dc7SJiawei Lin val clientParameters = TLMasterPortParameters.v1( 6571f0e2dc7SJiawei Lin Seq(TLMasterParameters.v1( 6581f0e2dc7SJiawei Lin name = "dcache", 659ad3ba452Szhanglinjuan sourceId = IdRange(0, nEntries + 1), 6601f0e2dc7SJiawei Lin supportsProbe = TransferSizes(cfg.blockBytes) 6611f0e2dc7SJiawei Lin )), 6621f0e2dc7SJiawei Lin requestFields = cacheParams.reqFields, 6631f0e2dc7SJiawei Lin echoFields = cacheParams.echoFields 6641f0e2dc7SJiawei Lin ) 6651f0e2dc7SJiawei Lin 6661f0e2dc7SJiawei Lin val clientNode = TLClientNode(Seq(clientParameters)) 6671f0e2dc7SJiawei Lin 6681f0e2dc7SJiawei Lin lazy val module = new DCacheImp(this) 6691f0e2dc7SJiawei Lin} 6701f0e2dc7SJiawei Lin 6711f0e2dc7SJiawei Lin 6721ca0e4f3SYinan Xuclass DCacheImp(outer: DCache) extends LazyModuleImp(outer) with HasDCacheParameters with HasPerfEvents { 6731f0e2dc7SJiawei Lin 6741f0e2dc7SJiawei Lin val io = IO(new DCacheIO) 6751f0e2dc7SJiawei Lin 6761f0e2dc7SJiawei Lin val (bus, edge) = outer.clientNode.out.head 6771f0e2dc7SJiawei Lin require(bus.d.bits.data.getWidth == l1BusDataWidth, "DCache: tilelink width does not match") 6781f0e2dc7SJiawei Lin 6791f0e2dc7SJiawei Lin println("DCache:") 6801f0e2dc7SJiawei Lin println(" DCacheSets: " + DCacheSets) 6811f0e2dc7SJiawei Lin println(" DCacheWays: " + DCacheWays) 6821f0e2dc7SJiawei Lin println(" DCacheBanks: " + DCacheBanks) 6831f0e2dc7SJiawei Lin println(" DCacheSRAMRowBits: " + DCacheSRAMRowBits) 6841f0e2dc7SJiawei Lin println(" DCacheWordOffset: " + DCacheWordOffset) 6851f0e2dc7SJiawei Lin println(" DCacheBankOffset: " + DCacheBankOffset) 6861f0e2dc7SJiawei Lin println(" DCacheSetOffset: " + DCacheSetOffset) 6871f0e2dc7SJiawei Lin println(" DCacheTagOffset: " + DCacheTagOffset) 6881f0e2dc7SJiawei Lin println(" DCacheAboveIndexOffset: " + DCacheAboveIndexOffset) 6891f0e2dc7SJiawei Lin 6901f0e2dc7SJiawei Lin //---------------------------------------- 6911f0e2dc7SJiawei Lin // core data structures 6921f0e2dc7SJiawei Lin val bankedDataArray = Module(new BankedDataArray) 6933af6aa6eSWilliam Wang val metaArray = Module(new L1CohMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2)) 6943af6aa6eSWilliam Wang val errorArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2)) 6953af6aa6eSWilliam Wang val prefetchArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2)) // prefetch flag array 6963af6aa6eSWilliam Wang val accessArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = LoadPipelineWidth + 2)) 697ad3ba452Szhanglinjuan val tagArray = Module(new DuplicatedTagArray(readPorts = LoadPipelineWidth + 1)) 6981f0e2dc7SJiawei Lin bankedDataArray.dump() 6991f0e2dc7SJiawei Lin 7001f0e2dc7SJiawei Lin //---------------------------------------- 7011f0e2dc7SJiawei Lin // core modules 7021f0e2dc7SJiawei Lin val ldu = Seq.tabulate(LoadPipelineWidth)({ i => Module(new LoadPipe(i))}) 70362cb71fbShappy-lx // val atomicsReplayUnit = Module(new AtomicsReplayEntry) 7041f0e2dc7SJiawei Lin val mainPipe = Module(new MainPipe) 705ad3ba452Szhanglinjuan val refillPipe = Module(new RefillPipe) 7061f0e2dc7SJiawei Lin val missQueue = Module(new MissQueue(edge)) 7071f0e2dc7SJiawei Lin val probeQueue = Module(new ProbeQueue(edge)) 7081f0e2dc7SJiawei Lin val wb = Module(new WritebackQueue(edge)) 7091f0e2dc7SJiawei Lin 7105668a921SJiawei Lin missQueue.io.hartId := io.hartId 7115668a921SJiawei Lin 7129ef181f4SWilliam Wang val errors = ldu.map(_.io.error) ++ // load error 7139ef181f4SWilliam Wang Seq(mainPipe.io.error) // store / misc error 7146786cfb7SWilliam Wang io.error <> RegNext(Mux1H(errors.map(e => RegNext(e.valid) -> RegNext(e)))) 715dd95524eSzhanglinjuan 7161f0e2dc7SJiawei Lin //---------------------------------------- 7171f0e2dc7SJiawei Lin // meta array 7183af6aa6eSWilliam Wang 7193af6aa6eSWilliam Wang // read / write coh meta 720ad3ba452Szhanglinjuan val meta_read_ports = ldu.map(_.io.meta_read) ++ 721026615fcSWilliam Wang Seq(mainPipe.io.meta_read) 722ad3ba452Szhanglinjuan val meta_resp_ports = ldu.map(_.io.meta_resp) ++ 723026615fcSWilliam Wang Seq(mainPipe.io.meta_resp) 724ad3ba452Szhanglinjuan val meta_write_ports = Seq( 725ad3ba452Szhanglinjuan mainPipe.io.meta_write, 726026615fcSWilliam Wang refillPipe.io.meta_write 727ad3ba452Szhanglinjuan ) 728ad3ba452Szhanglinjuan meta_read_ports.zip(metaArray.io.read).foreach { case (p, r) => r <> p } 729ad3ba452Szhanglinjuan meta_resp_ports.zip(metaArray.io.resp).foreach { case (p, r) => p := r } 730ad3ba452Szhanglinjuan meta_write_ports.zip(metaArray.io.write).foreach { case (p, w) => w <> p } 7311f0e2dc7SJiawei Lin 7323af6aa6eSWilliam Wang // read extra meta 733026615fcSWilliam Wang meta_read_ports.zip(errorArray.io.read).foreach { case (p, r) => r <> p } 7343af6aa6eSWilliam Wang meta_read_ports.zip(prefetchArray.io.read).foreach { case (p, r) => r <> p } 7353af6aa6eSWilliam Wang meta_read_ports.zip(accessArray.io.read).foreach { case (p, r) => r <> p } 7363af6aa6eSWilliam Wang val extra_meta_resp_ports = ldu.map(_.io.extra_meta_resp) ++ 7373af6aa6eSWilliam Wang Seq(mainPipe.io.extra_meta_resp) 7383af6aa6eSWilliam Wang extra_meta_resp_ports.zip(errorArray.io.resp).foreach { case (p, r) => { 7393af6aa6eSWilliam Wang (0 until nWays).map(i => { p(i).error := r(i) }) 7403af6aa6eSWilliam Wang }} 7413af6aa6eSWilliam Wang extra_meta_resp_ports.zip(prefetchArray.io.resp).foreach { case (p, r) => { 7423af6aa6eSWilliam Wang (0 until nWays).map(i => { p(i).prefetch := r(i) }) 7433af6aa6eSWilliam Wang }} 7443af6aa6eSWilliam Wang extra_meta_resp_ports.zip(accessArray.io.resp).foreach { case (p, r) => { 7453af6aa6eSWilliam Wang (0 until nWays).map(i => { p(i).access := r(i) }) 7463af6aa6eSWilliam Wang }} 7473af6aa6eSWilliam Wang 7483af6aa6eSWilliam Wang // write extra meta 7493af6aa6eSWilliam Wang val error_flag_write_ports = Seq( 7503af6aa6eSWilliam Wang mainPipe.io.error_flag_write, // error flag generated by corrupted store 7513af6aa6eSWilliam Wang refillPipe.io.error_flag_write // corrupted signal from l2 7523af6aa6eSWilliam Wang ) 753026615fcSWilliam Wang error_flag_write_ports.zip(errorArray.io.write).foreach { case (p, w) => w <> p } 754026615fcSWilliam Wang 7553af6aa6eSWilliam Wang val prefetch_flag_write_ports = Seq( 7563af6aa6eSWilliam Wang mainPipe.io.prefetch_flag_write, // set prefetch_flag to false if coh is set to Nothing 7573af6aa6eSWilliam Wang refillPipe.io.prefetch_flag_write // refill required by prefetch will set prefetch_flag 7583af6aa6eSWilliam Wang ) 7593af6aa6eSWilliam Wang prefetch_flag_write_ports.zip(prefetchArray.io.write).foreach { case (p, w) => w <> p } 7603af6aa6eSWilliam Wang 7613af6aa6eSWilliam Wang val access_flag_write_ports = ldu.map(_.io.access_flag_write) ++ Seq( 7623af6aa6eSWilliam Wang mainPipe.io.access_flag_write, 7633af6aa6eSWilliam Wang refillPipe.io.access_flag_write 7643af6aa6eSWilliam Wang ) 7653af6aa6eSWilliam Wang access_flag_write_ports.zip(accessArray.io.write).foreach { case (p, w) => w <> p } 7663af6aa6eSWilliam Wang 767ad3ba452Szhanglinjuan //---------------------------------------- 768ad3ba452Szhanglinjuan // tag array 769ad3ba452Szhanglinjuan require(tagArray.io.read.size == (ldu.size + 1)) 77009ae47d2SWilliam Wang val tag_write_intend = missQueue.io.refill_pipe_req.valid || mainPipe.io.tag_write_intend 77109ae47d2SWilliam Wang assert(!RegNext(!tag_write_intend && tagArray.io.write.valid)) 772ad3ba452Szhanglinjuan ldu.zipWithIndex.foreach { 773ad3ba452Szhanglinjuan case (ld, i) => 774ad3ba452Szhanglinjuan tagArray.io.read(i) <> ld.io.tag_read 775ad3ba452Szhanglinjuan ld.io.tag_resp := tagArray.io.resp(i) 77609ae47d2SWilliam Wang ld.io.tag_read.ready := !tag_write_intend 7771f0e2dc7SJiawei Lin } 778ad3ba452Szhanglinjuan tagArray.io.read.last <> mainPipe.io.tag_read 779ad3ba452Szhanglinjuan mainPipe.io.tag_resp := tagArray.io.resp.last 780ad3ba452Szhanglinjuan 78109ae47d2SWilliam Wang val fake_tag_read_conflict_this_cycle = PopCount(ldu.map(ld=> ld.io.tag_read.valid)) 78209ae47d2SWilliam Wang XSPerfAccumulate("fake_tag_read_conflict", fake_tag_read_conflict_this_cycle) 78309ae47d2SWilliam Wang 784ad3ba452Szhanglinjuan val tag_write_arb = Module(new Arbiter(new TagWriteReq, 2)) 785ad3ba452Szhanglinjuan tag_write_arb.io.in(0) <> refillPipe.io.tag_write 786ad3ba452Szhanglinjuan tag_write_arb.io.in(1) <> mainPipe.io.tag_write 787ad3ba452Szhanglinjuan tagArray.io.write <> tag_write_arb.io.out 7881f0e2dc7SJiawei Lin 7891f0e2dc7SJiawei Lin //---------------------------------------- 7901f0e2dc7SJiawei Lin // data array 7911f0e2dc7SJiawei Lin 792ad3ba452Szhanglinjuan val dataWriteArb = Module(new Arbiter(new L1BankedDataWriteReq, 2)) 793ad3ba452Szhanglinjuan dataWriteArb.io.in(0) <> refillPipe.io.data_write 794ad3ba452Szhanglinjuan dataWriteArb.io.in(1) <> mainPipe.io.data_write 795ad3ba452Szhanglinjuan 796ad3ba452Szhanglinjuan bankedDataArray.io.write <> dataWriteArb.io.out 7971f0e2dc7SJiawei Lin 7986c7e5e86Szhanglinjuan for (bank <- 0 until DCacheBanks) { 7996c7e5e86Szhanglinjuan val dataWriteArb_dup = Module(new Arbiter(new L1BankedDataWriteReqCtrl, 2)) 8006c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(0).valid := refillPipe.io.data_write_dup(bank).valid 8016c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(0).bits := refillPipe.io.data_write_dup(bank).bits 8026c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(1).valid := mainPipe.io.data_write_dup(bank).valid 8036c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(1).bits := mainPipe.io.data_write_dup(bank).bits 8046c7e5e86Szhanglinjuan 8056c7e5e86Szhanglinjuan bankedDataArray.io.write_dup(bank) <> dataWriteArb_dup.io.out 8066c7e5e86Szhanglinjuan } 8076c7e5e86Szhanglinjuan 8089ef181f4SWilliam Wang bankedDataArray.io.readline <> mainPipe.io.data_read 8097a5caa97Szhanglinjuan bankedDataArray.io.readline_intend := mainPipe.io.data_read_intend 8106786cfb7SWilliam Wang mainPipe.io.readline_error_delayed := bankedDataArray.io.readline_error_delayed 811144422dcSMaxpicca-Li mainPipe.io.data_resp := bankedDataArray.io.readline_resp 8121f0e2dc7SJiawei Lin 8139ef181f4SWilliam Wang (0 until LoadPipelineWidth).map(i => { 8149ef181f4SWilliam Wang bankedDataArray.io.read(i) <> ldu(i).io.banked_data_read 8156786cfb7SWilliam Wang bankedDataArray.io.read_error_delayed(i) <> ldu(i).io.read_error_delayed 8169ef181f4SWilliam Wang 817144422dcSMaxpicca-Li ldu(i).io.banked_data_resp := bankedDataArray.io.read_resp_delayed(i) 818144422dcSMaxpicca-Li 8199ef181f4SWilliam Wang ldu(i).io.bank_conflict_fast := bankedDataArray.io.bank_conflict_fast(i) 8209ef181f4SWilliam Wang ldu(i).io.bank_conflict_slow := bankedDataArray.io.bank_conflict_slow(i) 8219ef181f4SWilliam Wang }) 8221f0e2dc7SJiawei Lin 823774f100aSWilliam Wang (0 until LoadPipelineWidth).map(i => { 824683c1411Shappy-lx val (_, _, done, _) = edge.count(bus.d) 825683c1411Shappy-lx when(bus.d.bits.opcode === TLMessages.GrantData) { 826683c1411Shappy-lx io.lsu.forward_D(i).apply(bus.d.valid, bus.d.bits.data, bus.d.bits.source, done) 827683c1411Shappy-lx }.otherwise { 828683c1411Shappy-lx io.lsu.forward_D(i).dontCare() 829683c1411Shappy-lx } 830683c1411Shappy-lx }) 831683c1411Shappy-lx 8321f0e2dc7SJiawei Lin //---------------------------------------- 8331f0e2dc7SJiawei Lin // load pipe 8341f0e2dc7SJiawei Lin // the s1 kill signal 8351f0e2dc7SJiawei Lin // only lsu uses this, replay never kills 8361f0e2dc7SJiawei Lin for (w <- 0 until LoadPipelineWidth) { 8371f0e2dc7SJiawei Lin ldu(w).io.lsu <> io.lsu.load(w) 8381f0e2dc7SJiawei Lin 8391f0e2dc7SJiawei Lin // replay and nack not needed anymore 8401f0e2dc7SJiawei Lin // TODO: remove replay and nack 8411f0e2dc7SJiawei Lin ldu(w).io.nack := false.B 8421f0e2dc7SJiawei Lin 8431f0e2dc7SJiawei Lin ldu(w).io.disable_ld_fast_wakeup := 8447a5caa97Szhanglinjuan bankedDataArray.io.disable_ld_fast_wakeup(w) // load pipe fast wake up should be disabled when bank conflict 8451f0e2dc7SJiawei Lin } 8461f0e2dc7SJiawei Lin 8471f0e2dc7SJiawei Lin //---------------------------------------- 8481f0e2dc7SJiawei Lin // atomics 8491f0e2dc7SJiawei Lin // atomics not finished yet 85062cb71fbShappy-lx // io.lsu.atomics <> atomicsReplayUnit.io.lsu 85162cb71fbShappy-lx io.lsu.atomics.resp := RegNext(mainPipe.io.atomic_resp) 85262cb71fbShappy-lx io.lsu.atomics.block_lr := mainPipe.io.block_lr 85362cb71fbShappy-lx // atomicsReplayUnit.io.pipe_resp := RegNext(mainPipe.io.atomic_resp) 85462cb71fbShappy-lx // atomicsReplayUnit.io.block_lr <> mainPipe.io.block_lr 8551f0e2dc7SJiawei Lin 8561f0e2dc7SJiawei Lin //---------------------------------------- 8571f0e2dc7SJiawei Lin // miss queue 8581f0e2dc7SJiawei Lin val MissReqPortCount = LoadPipelineWidth + 1 8591f0e2dc7SJiawei Lin val MainPipeMissReqPort = 0 8601f0e2dc7SJiawei Lin 8611f0e2dc7SJiawei Lin // Request 862300ded30SWilliam Wang val missReqArb = Module(new Arbiter(new MissReq, MissReqPortCount)) 8631f0e2dc7SJiawei Lin 864a98b054bSWilliam Wang missReqArb.io.in(MainPipeMissReqPort) <> mainPipe.io.miss_req 8651f0e2dc7SJiawei Lin for (w <- 0 until LoadPipelineWidth) { missReqArb.io.in(w + 1) <> ldu(w).io.miss_req } 8661f0e2dc7SJiawei Lin 867683c1411Shappy-lx for (w <- 0 until LoadPipelineWidth) { ldu(w).io.miss_resp.id := missQueue.io.resp.id } 868683c1411Shappy-lx 8691f0e2dc7SJiawei Lin wb.io.miss_req.valid := missReqArb.io.out.valid 8701f0e2dc7SJiawei Lin wb.io.miss_req.bits := missReqArb.io.out.bits.addr 8711f0e2dc7SJiawei Lin 872a98b054bSWilliam Wang // block_decoupled(missReqArb.io.out, missQueue.io.req, wb.io.block_miss_req) 873a98b054bSWilliam Wang missReqArb.io.out <> missQueue.io.req 874a98b054bSWilliam Wang when(wb.io.block_miss_req) { 875a98b054bSWilliam Wang missQueue.io.req.bits.cancel := true.B 876a98b054bSWilliam Wang missReqArb.io.out.ready := false.B 877a98b054bSWilliam Wang } 8781f0e2dc7SJiawei Lin 879683c1411Shappy-lx // forward missqueue 880683c1411Shappy-lx (0 until LoadPipelineWidth).map(i => io.lsu.forward_mshr(i).connect(missQueue.io.forward(i))) 881683c1411Shappy-lx 8821f0e2dc7SJiawei Lin // refill to load queue 883ad3ba452Szhanglinjuan io.lsu.lsq <> missQueue.io.refill_to_ldq 8841f0e2dc7SJiawei Lin 8851f0e2dc7SJiawei Lin // tilelink stuff 8861f0e2dc7SJiawei Lin bus.a <> missQueue.io.mem_acquire 8871f0e2dc7SJiawei Lin bus.e <> missQueue.io.mem_finish 888ad3ba452Szhanglinjuan missQueue.io.probe_addr := bus.b.bits.address 889ad3ba452Szhanglinjuan 890a98b054bSWilliam Wang missQueue.io.main_pipe_resp := RegNext(mainPipe.io.atomic_resp) 8911f0e2dc7SJiawei Lin 8921f0e2dc7SJiawei Lin //---------------------------------------- 8931f0e2dc7SJiawei Lin // probe 8941f0e2dc7SJiawei Lin // probeQueue.io.mem_probe <> bus.b 8951f0e2dc7SJiawei Lin block_decoupled(bus.b, probeQueue.io.mem_probe, missQueue.io.probe_block) 896ad3ba452Szhanglinjuan probeQueue.io.lrsc_locked_block <> mainPipe.io.lrsc_locked_block 897300ded30SWilliam Wang probeQueue.io.update_resv_set <> mainPipe.io.update_resv_set 8981f0e2dc7SJiawei Lin 8991f0e2dc7SJiawei Lin //---------------------------------------- 9001f0e2dc7SJiawei Lin // mainPipe 901ad3ba452Szhanglinjuan // when a req enters main pipe, if it is set-conflict with replace pipe or refill pipe, 902ad3ba452Szhanglinjuan // block the req in main pipe 903219c4595Szhanglinjuan block_decoupled(probeQueue.io.pipe_req, mainPipe.io.probe_req, missQueue.io.refill_pipe_req.valid) 904b36dd5fdSWilliam Wang block_decoupled(io.lsu.store.req, mainPipe.io.store_req, refillPipe.io.req.valid) 9051f0e2dc7SJiawei Lin 906a98b054bSWilliam Wang io.lsu.store.replay_resp := RegNext(mainPipe.io.store_replay_resp) 907ad3ba452Szhanglinjuan io.lsu.store.main_pipe_hit_resp := mainPipe.io.store_hit_resp 9081f0e2dc7SJiawei Lin 90969790076Szhanglinjuan arbiter_with_pipereg( 91062cb71fbShappy-lx in = Seq(missQueue.io.main_pipe_req, io.lsu.atomics.req), 91169790076Szhanglinjuan out = mainPipe.io.atomic_req, 91269790076Szhanglinjuan name = Some("main_pipe_atomic_req") 91369790076Szhanglinjuan ) 9141f0e2dc7SJiawei Lin 915a98b054bSWilliam Wang mainPipe.io.invalid_resv_set := RegNext(wb.io.req.fire && wb.io.req.bits.addr === mainPipe.io.lrsc_locked_block.bits) 9161f0e2dc7SJiawei Lin 917ad3ba452Szhanglinjuan //---------------------------------------- 918b36dd5fdSWilliam Wang // replace (main pipe) 919ad3ba452Szhanglinjuan val mpStatus = mainPipe.io.status 920578c21a4Szhanglinjuan mainPipe.io.replace_req <> missQueue.io.replace_pipe_req 921578c21a4Szhanglinjuan missQueue.io.replace_pipe_resp := mainPipe.io.replace_resp 9221f0e2dc7SJiawei Lin 923ad3ba452Szhanglinjuan //---------------------------------------- 924ad3ba452Szhanglinjuan // refill pipe 92563540aa5Szhanglinjuan val refillShouldBeBlocked = (mpStatus.s1.valid && mpStatus.s1.bits.set === missQueue.io.refill_pipe_req.bits.idx) || 92663540aa5Szhanglinjuan Cat(Seq(mpStatus.s2, mpStatus.s3).map(s => 927ad3ba452Szhanglinjuan s.valid && 928ad3ba452Szhanglinjuan s.bits.set === missQueue.io.refill_pipe_req.bits.idx && 929ad3ba452Szhanglinjuan s.bits.way_en === missQueue.io.refill_pipe_req.bits.way_en 930ad3ba452Szhanglinjuan )).orR 931ad3ba452Szhanglinjuan block_decoupled(missQueue.io.refill_pipe_req, refillPipe.io.req, refillShouldBeBlocked) 932c3a5fe5fShappy-lx 933c3a5fe5fShappy-lx val mpStatus_dup = mainPipe.io.status_dup 934c3a5fe5fShappy-lx val mq_refill_dup = missQueue.io.refill_pipe_req_dup 935c3a5fe5fShappy-lx val refillShouldBeBlocked_dup = VecInit((0 until nDupStatus).map { case i => 936c3a5fe5fShappy-lx mpStatus_dup(i).s1.valid && mpStatus_dup(i).s1.bits.set === mq_refill_dup(i).bits.idx || 937c3a5fe5fShappy-lx Cat(Seq(mpStatus_dup(i).s2, mpStatus_dup(i).s3).map(s => 938c3a5fe5fShappy-lx s.valid && 939c3a5fe5fShappy-lx s.bits.set === mq_refill_dup(i).bits.idx && 940c3a5fe5fShappy-lx s.bits.way_en === mq_refill_dup(i).bits.way_en 941c3a5fe5fShappy-lx )).orR 942c3a5fe5fShappy-lx }) 943c3a5fe5fShappy-lx dontTouch(refillShouldBeBlocked_dup) 944c3a5fe5fShappy-lx 9456c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_data_w.zipWithIndex.foreach { case (r, i) => 9466c7e5e86Szhanglinjuan r.bits := (mq_refill_dup.drop(dataWritePort).take(DCacheBanks))(i).bits 9476c7e5e86Szhanglinjuan } 9486c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_meta_w.bits := mq_refill_dup(metaWritePort).bits 9496c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_tag_w.bits := mq_refill_dup(tagWritePort).bits 9506c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_err_w.bits := mq_refill_dup(errWritePort).bits 9516c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_data_w.zipWithIndex.foreach { case (r, i) => 9526c7e5e86Szhanglinjuan r.valid := (mq_refill_dup.drop(dataWritePort).take(DCacheBanks))(i).valid && 9536c7e5e86Szhanglinjuan !(refillShouldBeBlocked_dup.drop(dataWritePort).take(DCacheBanks))(i) 9546c7e5e86Szhanglinjuan } 9556c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_meta_w.valid := mq_refill_dup(metaWritePort).valid && !refillShouldBeBlocked_dup(metaWritePort) 9566c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_tag_w.valid := mq_refill_dup(tagWritePort).valid && !refillShouldBeBlocked_dup(tagWritePort) 9576c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_err_w.valid := mq_refill_dup(errWritePort).valid && !refillShouldBeBlocked_dup(errWritePort) 958c3a5fe5fShappy-lx 959c3a5fe5fShappy-lx val refillPipe_io_req_valid_dup = VecInit(mq_refill_dup.zip(refillShouldBeBlocked_dup).map( 960c3a5fe5fShappy-lx x => x._1.valid && !x._2 961c3a5fe5fShappy-lx )) 962c3a5fe5fShappy-lx val refillPipe_io_data_write_valid_dup = VecInit(refillPipe_io_req_valid_dup.slice(0, nDupDataWriteReady)) 9636c7e5e86Szhanglinjuan val refillPipe_io_tag_write_valid_dup = VecInit(refillPipe_io_req_valid_dup.slice(nDupDataWriteReady, nDupStatus)) 964c3a5fe5fShappy-lx dontTouch(refillPipe_io_req_valid_dup) 965c3a5fe5fShappy-lx dontTouch(refillPipe_io_data_write_valid_dup) 966c3a5fe5fShappy-lx dontTouch(refillPipe_io_tag_write_valid_dup) 967c3a5fe5fShappy-lx mainPipe.io.data_write_ready_dup := VecInit(refillPipe_io_data_write_valid_dup.map(v => !v)) 968c3a5fe5fShappy-lx mainPipe.io.tag_write_ready_dup := VecInit(refillPipe_io_tag_write_valid_dup.map(v => !v)) 969c3a5fe5fShappy-lx mainPipe.io.wb_ready_dup := wb.io.req_ready_dup 970c3a5fe5fShappy-lx 971c3a5fe5fShappy-lx mq_refill_dup.zip(refillShouldBeBlocked_dup).foreach { case (r, block) => 972c3a5fe5fShappy-lx r.ready := refillPipe.io.req.ready && !block 973c3a5fe5fShappy-lx } 974c3a5fe5fShappy-lx 97554e42658SWilliam Wang missQueue.io.refill_pipe_resp := refillPipe.io.resp 976a98b054bSWilliam Wang io.lsu.store.refill_hit_resp := RegNext(refillPipe.io.store_resp) 9771f0e2dc7SJiawei Lin 9781f0e2dc7SJiawei Lin //---------------------------------------- 9791f0e2dc7SJiawei Lin // wb 9801f0e2dc7SJiawei Lin // add a queue between MainPipe and WritebackUnit to reduce MainPipe stalls due to WritebackUnit busy 981026615fcSWilliam Wang 982578c21a4Szhanglinjuan wb.io.req <> mainPipe.io.wb 9831f0e2dc7SJiawei Lin bus.c <> wb.io.mem_release 984ad3ba452Szhanglinjuan wb.io.release_wakeup := refillPipe.io.release_wakeup 985ad3ba452Szhanglinjuan wb.io.release_update := mainPipe.io.release_update 986b8f6ff86SWilliam Wang wb.io.probe_ttob_check_req <> mainPipe.io.probe_ttob_check_req 987b8f6ff86SWilliam Wang wb.io.probe_ttob_check_resp <> mainPipe.io.probe_ttob_check_resp 988ef3b5b96SWilliam Wang 989ef3b5b96SWilliam Wang io.lsu.release.valid := RegNext(wb.io.req.fire()) 990ef3b5b96SWilliam Wang io.lsu.release.bits.paddr := RegNext(wb.io.req.bits.addr) 991ef3b5b96SWilliam Wang // Note: RegNext() is required by: 992ef3b5b96SWilliam Wang // * load queue released flag update logic 993ef3b5b96SWilliam Wang // * load / load violation check logic 994ef3b5b96SWilliam Wang // * and timing requirements 995ef3b5b96SWilliam Wang // CHANGE IT WITH CARE 9961f0e2dc7SJiawei Lin 9971f0e2dc7SJiawei Lin // connect bus d 9981f0e2dc7SJiawei Lin missQueue.io.mem_grant.valid := false.B 9991f0e2dc7SJiawei Lin missQueue.io.mem_grant.bits := DontCare 10001f0e2dc7SJiawei Lin 10011f0e2dc7SJiawei Lin wb.io.mem_grant.valid := false.B 10021f0e2dc7SJiawei Lin wb.io.mem_grant.bits := DontCare 10031f0e2dc7SJiawei Lin 10041f0e2dc7SJiawei Lin // in L1DCache, we ony expect Grant[Data] and ReleaseAck 10051f0e2dc7SJiawei Lin bus.d.ready := false.B 10061f0e2dc7SJiawei Lin when (bus.d.bits.opcode === TLMessages.Grant || bus.d.bits.opcode === TLMessages.GrantData) { 10071f0e2dc7SJiawei Lin missQueue.io.mem_grant <> bus.d 10081f0e2dc7SJiawei Lin } .elsewhen (bus.d.bits.opcode === TLMessages.ReleaseAck) { 10091f0e2dc7SJiawei Lin wb.io.mem_grant <> bus.d 10101f0e2dc7SJiawei Lin } .otherwise { 10111f0e2dc7SJiawei Lin assert (!bus.d.fire()) 10121f0e2dc7SJiawei Lin } 10131f0e2dc7SJiawei Lin 10141f0e2dc7SJiawei Lin //---------------------------------------- 1015ad3ba452Szhanglinjuan // replacement algorithm 1016ad3ba452Szhanglinjuan val replacer = ReplacementPolicy.fromString(cacheParams.replacer, nWays, nSets) 1017ad3ba452Szhanglinjuan 1018ad3ba452Szhanglinjuan val replWayReqs = ldu.map(_.io.replace_way) ++ Seq(mainPipe.io.replace_way) 1019ad3ba452Szhanglinjuan replWayReqs.foreach{ 1020ad3ba452Szhanglinjuan case req => 1021ad3ba452Szhanglinjuan req.way := DontCare 1022ad3ba452Szhanglinjuan when (req.set.valid) { req.way := replacer.way(req.set.bits) } 1023ad3ba452Szhanglinjuan } 1024ad3ba452Szhanglinjuan 1025ad3ba452Szhanglinjuan val replAccessReqs = ldu.map(_.io.replace_access) ++ Seq( 102692816bbcSWilliam Wang mainPipe.io.replace_access 1027ad3ba452Szhanglinjuan ) 1028ad3ba452Szhanglinjuan val touchWays = Seq.fill(replAccessReqs.size)(Wire(ValidIO(UInt(log2Up(nWays).W)))) 1029ad3ba452Szhanglinjuan touchWays.zip(replAccessReqs).foreach { 1030ad3ba452Szhanglinjuan case (w, req) => 1031ad3ba452Szhanglinjuan w.valid := req.valid 1032ad3ba452Szhanglinjuan w.bits := req.bits.way 1033ad3ba452Szhanglinjuan } 1034ad3ba452Szhanglinjuan val touchSets = replAccessReqs.map(_.bits.set) 1035ad3ba452Szhanglinjuan replacer.access(touchSets, touchWays) 1036ad3ba452Szhanglinjuan 1037ad3ba452Szhanglinjuan //---------------------------------------- 10381f0e2dc7SJiawei Lin // assertions 10391f0e2dc7SJiawei Lin // dcache should only deal with DRAM addresses 10401f0e2dc7SJiawei Lin when (bus.a.fire()) { 10411f0e2dc7SJiawei Lin assert(bus.a.bits.address >= 0x80000000L.U) 10421f0e2dc7SJiawei Lin } 10431f0e2dc7SJiawei Lin when (bus.b.fire()) { 10441f0e2dc7SJiawei Lin assert(bus.b.bits.address >= 0x80000000L.U) 10451f0e2dc7SJiawei Lin } 10461f0e2dc7SJiawei Lin when (bus.c.fire()) { 10471f0e2dc7SJiawei Lin assert(bus.c.bits.address >= 0x80000000L.U) 10481f0e2dc7SJiawei Lin } 10491f0e2dc7SJiawei Lin 10501f0e2dc7SJiawei Lin //---------------------------------------- 10511f0e2dc7SJiawei Lin // utility functions 10521f0e2dc7SJiawei Lin def block_decoupled[T <: Data](source: DecoupledIO[T], sink: DecoupledIO[T], block_signal: Bool) = { 10531f0e2dc7SJiawei Lin sink.valid := source.valid && !block_signal 10541f0e2dc7SJiawei Lin source.ready := sink.ready && !block_signal 10551f0e2dc7SJiawei Lin sink.bits := source.bits 10561f0e2dc7SJiawei Lin } 10571f0e2dc7SJiawei Lin 10581f0e2dc7SJiawei Lin //---------------------------------------- 1059e19f7967SWilliam Wang // Customized csr cache op support 1060e19f7967SWilliam Wang val cacheOpDecoder = Module(new CSRCacheOpDecoder("dcache", CacheInstrucion.COP_ID_DCACHE)) 1061e19f7967SWilliam Wang cacheOpDecoder.io.csr <> io.csr 1062c3a5fe5fShappy-lx bankedDataArray.io.cacheOp.req := cacheOpDecoder.io.cache.req 1063c3a5fe5fShappy-lx // dup cacheOp_req_valid 1064779109e3Slixin bankedDataArray.io.cacheOp_req_dup.zipWithIndex.map{ case(dup, i) => dup := cacheOpDecoder.io.cache_req_dup(i) } 1065c3a5fe5fShappy-lx // dup cacheOp_req_bits_opCode 1066779109e3Slixin bankedDataArray.io.cacheOp_req_bits_opCode_dup.zipWithIndex.map{ case (dup, i) => dup := cacheOpDecoder.io.cacheOp_req_bits_opCode_dup(i) } 1067c3a5fe5fShappy-lx 1068e19f7967SWilliam Wang tagArray.io.cacheOp.req := cacheOpDecoder.io.cache.req 1069c3a5fe5fShappy-lx // dup cacheOp_req_valid 1070779109e3Slixin tagArray.io.cacheOp_req_dup.zipWithIndex.map{ case(dup, i) => dup := cacheOpDecoder.io.cache_req_dup(i) } 1071c3a5fe5fShappy-lx // dup cacheOp_req_bits_opCode 1072779109e3Slixin tagArray.io.cacheOp_req_bits_opCode_dup.zipWithIndex.map{ case (dup, i) => dup := cacheOpDecoder.io.cacheOp_req_bits_opCode_dup(i) } 1073e47fc57cSlixin 1074e19f7967SWilliam Wang cacheOpDecoder.io.cache.resp.valid := bankedDataArray.io.cacheOp.resp.valid || 1075e19f7967SWilliam Wang tagArray.io.cacheOp.resp.valid 1076e19f7967SWilliam Wang cacheOpDecoder.io.cache.resp.bits := Mux1H(List( 1077e19f7967SWilliam Wang bankedDataArray.io.cacheOp.resp.valid -> bankedDataArray.io.cacheOp.resp.bits, 1078e19f7967SWilliam Wang tagArray.io.cacheOp.resp.valid -> tagArray.io.cacheOp.resp.bits, 1079e19f7967SWilliam Wang )) 1080026615fcSWilliam Wang cacheOpDecoder.io.error := io.error 108141b68474SWilliam Wang assert(!((bankedDataArray.io.cacheOp.resp.valid +& tagArray.io.cacheOp.resp.valid) > 1.U)) 1082e19f7967SWilliam Wang 1083e19f7967SWilliam Wang //---------------------------------------- 10841f0e2dc7SJiawei Lin // performance counters 10851f0e2dc7SJiawei Lin val num_loads = PopCount(ldu.map(e => e.io.lsu.req.fire())) 10861f0e2dc7SJiawei Lin XSPerfAccumulate("num_loads", num_loads) 10871f0e2dc7SJiawei Lin 10881f0e2dc7SJiawei Lin io.mshrFull := missQueue.io.full 1089ad3ba452Szhanglinjuan 1090ad3ba452Szhanglinjuan // performance counter 1091ad3ba452Szhanglinjuan val ld_access = Wire(Vec(LoadPipelineWidth, missQueue.io.debug_early_replace.last.cloneType)) 1092ad3ba452Szhanglinjuan val st_access = Wire(ld_access.last.cloneType) 1093ad3ba452Szhanglinjuan ld_access.zip(ldu).foreach { 1094ad3ba452Szhanglinjuan case (a, u) => 1095ad3ba452Szhanglinjuan a.valid := RegNext(u.io.lsu.req.fire()) && !u.io.lsu.s1_kill 1096ad3ba452Szhanglinjuan a.bits.idx := RegNext(get_idx(u.io.lsu.req.bits.addr)) 109703efd994Shappy-lx a.bits.tag := get_tag(u.io.lsu.s1_paddr_dup_dcache) 1098ad3ba452Szhanglinjuan } 1099ad3ba452Szhanglinjuan st_access.valid := RegNext(mainPipe.io.store_req.fire()) 1100ad3ba452Szhanglinjuan st_access.bits.idx := RegNext(get_idx(mainPipe.io.store_req.bits.vaddr)) 1101ad3ba452Szhanglinjuan st_access.bits.tag := RegNext(get_tag(mainPipe.io.store_req.bits.addr)) 1102ad3ba452Szhanglinjuan val access_info = ld_access.toSeq ++ Seq(st_access) 1103ad3ba452Szhanglinjuan val early_replace = RegNext(missQueue.io.debug_early_replace) 1104ad3ba452Szhanglinjuan val access_early_replace = access_info.map { 1105ad3ba452Szhanglinjuan case acc => 1106ad3ba452Szhanglinjuan Cat(early_replace.map { 1107ad3ba452Szhanglinjuan case r => 1108ad3ba452Szhanglinjuan acc.valid && r.valid && 1109ad3ba452Szhanglinjuan acc.bits.tag === r.bits.tag && 1110ad3ba452Szhanglinjuan acc.bits.idx === r.bits.idx 1111ad3ba452Szhanglinjuan }) 1112ad3ba452Szhanglinjuan } 1113ad3ba452Szhanglinjuan XSPerfAccumulate("access_early_replace", PopCount(Cat(access_early_replace))) 1114cd365d4cSrvcoresjw 11151ca0e4f3SYinan Xu val perfEvents = (Seq(wb, mainPipe, missQueue, probeQueue) ++ ldu).flatMap(_.getPerfEvents) 11161ca0e4f3SYinan Xu generatePerfEvent() 11171f0e2dc7SJiawei Lin} 11181f0e2dc7SJiawei Lin 11191f0e2dc7SJiawei Linclass AMOHelper() extends ExtModule { 11201f0e2dc7SJiawei Lin val clock = IO(Input(Clock())) 11211f0e2dc7SJiawei Lin val enable = IO(Input(Bool())) 11221f0e2dc7SJiawei Lin val cmd = IO(Input(UInt(5.W))) 11231f0e2dc7SJiawei Lin val addr = IO(Input(UInt(64.W))) 11241f0e2dc7SJiawei Lin val wdata = IO(Input(UInt(64.W))) 11251f0e2dc7SJiawei Lin val mask = IO(Input(UInt(8.W))) 11261f0e2dc7SJiawei Lin val rdata = IO(Output(UInt(64.W))) 11271f0e2dc7SJiawei Lin} 11281f0e2dc7SJiawei Lin 11294f94c0c6SJiawei Linclass DCacheWrapper()(implicit p: Parameters) extends LazyModule with HasXSParameter { 11301f0e2dc7SJiawei Lin 11314f94c0c6SJiawei Lin val useDcache = coreParams.dcacheParametersOpt.nonEmpty 11324f94c0c6SJiawei Lin val clientNode = if (useDcache) TLIdentityNode() else null 11334f94c0c6SJiawei Lin val dcache = if (useDcache) LazyModule(new DCache()) else null 11344f94c0c6SJiawei Lin if (useDcache) { 11351f0e2dc7SJiawei Lin clientNode := dcache.clientNode 11361f0e2dc7SJiawei Lin } 11371f0e2dc7SJiawei Lin 11381ca0e4f3SYinan Xu lazy val module = new LazyModuleImp(this) with HasPerfEvents { 11391f0e2dc7SJiawei Lin val io = IO(new DCacheIO) 11401ca0e4f3SYinan Xu val perfEvents = if (!useDcache) { 11414f94c0c6SJiawei Lin // a fake dcache which uses dpi-c to access memory, only for debug usage! 11421f0e2dc7SJiawei Lin val fake_dcache = Module(new FakeDCache()) 11431f0e2dc7SJiawei Lin io <> fake_dcache.io 11441ca0e4f3SYinan Xu Seq() 11451f0e2dc7SJiawei Lin } 11461f0e2dc7SJiawei Lin else { 11471f0e2dc7SJiawei Lin io <> dcache.module.io 11481ca0e4f3SYinan Xu dcache.module.getPerfEvents 11491f0e2dc7SJiawei Lin } 11501ca0e4f3SYinan Xu generatePerfEvent() 11511f0e2dc7SJiawei Lin } 11521f0e2dc7SJiawei Lin} 1153