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) 10500575ac8SWilliam Wang // non-prefetch source < 3 1061f0e2dc7SJiawei Lin def LOAD_SOURCE = 0 1071f0e2dc7SJiawei Lin def STORE_SOURCE = 1 1081f0e2dc7SJiawei Lin def AMO_SOURCE = 2 10900575ac8SWilliam Wang // prefetch source >= 3 11000575ac8SWilliam 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{ 361*4b6d4d13SWilliam Wang val meta_prefetch = Bool() 362*4b6d4d13SWilliam Wang val meta_access = Bool() 3636786cfb7SWilliam Wang // 1 cycle after data resp 3646786cfb7SWilliam Wang val error_delayed = Bool() // all kinds of errors, include tag error 3656786cfb7SWilliam Wang} 3666786cfb7SWilliam Wang 367a19ae480SWilliam Wangclass BankedDCacheWordResp(implicit p: Parameters) extends DCacheWordResp 368a19ae480SWilliam Wang{ 369a19ae480SWilliam Wang val bank_data = Vec(DCacheBanks, Bits(DCacheSRAMRowBits.W)) 370a19ae480SWilliam Wang val bank_oh = UInt(DCacheBanks.W) 3713af6aa6eSWilliam Wang 3723af6aa6eSWilliam Wang val meta_prefetch = Bool() 3733af6aa6eSWilliam Wang val meta_access = Bool() 374a19ae480SWilliam Wang} 375a19ae480SWilliam Wang 3766786cfb7SWilliam Wangclass DCacheWordRespWithError(implicit p: Parameters) extends BaseDCacheWordResp 3776786cfb7SWilliam Wang{ 3786786cfb7SWilliam Wang val error = Bool() // all kinds of errors, include tag error 3796786cfb7SWilliam Wang} 3806786cfb7SWilliam Wang 3811f0e2dc7SJiawei Linclass DCacheLineResp(implicit p: Parameters) extends DCacheBundle 3821f0e2dc7SJiawei Lin{ 3831f0e2dc7SJiawei Lin val data = UInt((cfg.blockBytes * 8).W) 3841f0e2dc7SJiawei Lin // cache req missed, send it to miss queue 3851f0e2dc7SJiawei Lin val miss = Bool() 3861f0e2dc7SJiawei Lin // cache req nacked, replay it later 3871f0e2dc7SJiawei Lin val replay = Bool() 3881f0e2dc7SJiawei Lin val id = UInt(reqIdWidth.W) 3891f0e2dc7SJiawei Lin def dump() = { 3901f0e2dc7SJiawei Lin XSDebug("DCacheLineResp: data: %x id: %d miss: %b replay: %b\n", 3911f0e2dc7SJiawei Lin data, id, miss, replay) 3921f0e2dc7SJiawei Lin } 3931f0e2dc7SJiawei Lin} 3941f0e2dc7SJiawei Lin 3951f0e2dc7SJiawei Linclass Refill(implicit p: Parameters) extends DCacheBundle 3961f0e2dc7SJiawei Lin{ 3971f0e2dc7SJiawei Lin val addr = UInt(PAddrBits.W) 3981f0e2dc7SJiawei Lin val data = UInt(l1BusDataWidth.W) 399026615fcSWilliam Wang val error = Bool() // refilled data has been corrupted 4001f0e2dc7SJiawei Lin // for debug usage 4011f0e2dc7SJiawei Lin val data_raw = UInt((cfg.blockBytes * 8).W) 4021f0e2dc7SJiawei Lin val hasdata = Bool() 4031f0e2dc7SJiawei Lin val refill_done = Bool() 4041f0e2dc7SJiawei Lin def dump() = { 4051f0e2dc7SJiawei Lin XSDebug("Refill: addr: %x data: %x\n", addr, data) 4061f0e2dc7SJiawei Lin } 407683c1411Shappy-lx val id = UInt(log2Up(cfg.nMissEntries).W) 4081f0e2dc7SJiawei Lin} 4091f0e2dc7SJiawei Lin 41067682d05SWilliam Wangclass Release(implicit p: Parameters) extends DCacheBundle 41167682d05SWilliam Wang{ 41267682d05SWilliam Wang val paddr = UInt(PAddrBits.W) 41367682d05SWilliam Wang def dump() = { 41467682d05SWilliam Wang XSDebug("Release: paddr: %x\n", paddr(PAddrBits-1, DCacheTagOffset)) 41567682d05SWilliam Wang } 41667682d05SWilliam Wang} 41767682d05SWilliam Wang 4181f0e2dc7SJiawei Linclass DCacheWordIO(implicit p: Parameters) extends DCacheBundle 4191f0e2dc7SJiawei Lin{ 4201f0e2dc7SJiawei Lin val req = DecoupledIO(new DCacheWordReq) 421144422dcSMaxpicca-Li val resp = Flipped(DecoupledIO(new DCacheWordResp)) 4221f0e2dc7SJiawei Lin} 4231f0e2dc7SJiawei Lin 42437225120Ssfencevma 42537225120Ssfencevmaclass UncacheWordReq(implicit p: Parameters) extends DCacheBundle 42637225120Ssfencevma{ 42737225120Ssfencevma val cmd = UInt(M_SZ.W) 42837225120Ssfencevma val addr = UInt(PAddrBits.W) 42937225120Ssfencevma val data = UInt(DataBits.W) 43037225120Ssfencevma val mask = UInt((DataBits/8).W) 43137225120Ssfencevma val id = UInt(uncacheIdxBits.W) 43237225120Ssfencevma val instrtype = UInt(sourceTypeWidth.W) 43337225120Ssfencevma val atomic = Bool() 434144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 43537225120Ssfencevma 43637225120Ssfencevma def dump() = { 43737225120Ssfencevma XSDebug("UncacheWordReq: cmd: %x addr: %x data: %x mask: %x id: %d\n", 43837225120Ssfencevma cmd, addr, data, mask, id) 43937225120Ssfencevma } 44037225120Ssfencevma} 44137225120Ssfencevma 44237225120Ssfencevmaclass UncacheWorResp(implicit p: Parameters) extends DCacheBundle 44337225120Ssfencevma{ 44437225120Ssfencevma val data = UInt(DataBits.W) 445144422dcSMaxpicca-Li val data_delayed = UInt(DataBits.W) 44637225120Ssfencevma val id = UInt(uncacheIdxBits.W) 44737225120Ssfencevma val miss = Bool() 44837225120Ssfencevma val replay = Bool() 44937225120Ssfencevma val tag_error = Bool() 45037225120Ssfencevma val error = Bool() 451144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 452144422dcSMaxpicca-Li val mshr_id = UInt(log2Up(cfg.nMissEntries).W) // FIXME: why uncacheWordResp is not merged to baseDcacheResp 45337225120Ssfencevma 45437225120Ssfencevma def dump() = { 45537225120Ssfencevma XSDebug("UncacheWordResp: data: %x id: %d miss: %b replay: %b, tag_error: %b, error: %b\n", 45637225120Ssfencevma data, id, miss, replay, tag_error, error) 45737225120Ssfencevma } 45837225120Ssfencevma} 45937225120Ssfencevma 4606786cfb7SWilliam Wangclass UncacheWordIO(implicit p: Parameters) extends DCacheBundle 4616786cfb7SWilliam Wang{ 46237225120Ssfencevma val req = DecoupledIO(new UncacheWordReq) 46337225120Ssfencevma val resp = Flipped(DecoupledIO(new UncacheWorResp)) 4646786cfb7SWilliam Wang} 4656786cfb7SWilliam Wang 46662cb71fbShappy-lxclass AtomicsResp(implicit p: Parameters) extends DCacheBundle { 46762cb71fbShappy-lx val data = UInt(DataBits.W) 46862cb71fbShappy-lx val miss = Bool() 46962cb71fbShappy-lx val miss_id = UInt(log2Up(cfg.nMissEntries).W) 47062cb71fbShappy-lx val replay = Bool() 47162cb71fbShappy-lx val error = Bool() 47262cb71fbShappy-lx 47362cb71fbShappy-lx val ack_miss_queue = Bool() 47462cb71fbShappy-lx 47562cb71fbShappy-lx val id = UInt(reqIdWidth.W) 47662cb71fbShappy-lx} 47762cb71fbShappy-lx 4786786cfb7SWilliam Wangclass AtomicWordIO(implicit p: Parameters) extends DCacheBundle 4791f0e2dc7SJiawei Lin{ 48062cb71fbShappy-lx val req = DecoupledIO(new MainPipeReq) 48162cb71fbShappy-lx val resp = Flipped(ValidIO(new AtomicsResp)) 48262cb71fbShappy-lx val block_lr = Input(Bool()) 4831f0e2dc7SJiawei Lin} 4841f0e2dc7SJiawei Lin 4851f0e2dc7SJiawei Lin// used by load unit 4861f0e2dc7SJiawei Linclass DCacheLoadIO(implicit p: Parameters) extends DCacheWordIO 4871f0e2dc7SJiawei Lin{ 4881f0e2dc7SJiawei Lin // kill previous cycle's req 4891f0e2dc7SJiawei Lin val s1_kill = Output(Bool()) 490b6982e83SLemover val s2_kill = Output(Bool()) 4912db9ec44SLinJiawei val s2_pc = Output(UInt(VAddrBits.W)) 4921f0e2dc7SJiawei Lin // cycle 0: virtual address: req.addr 4931f0e2dc7SJiawei Lin // cycle 1: physical address: s1_paddr 49403efd994Shappy-lx val s1_paddr_dup_lsu = Output(UInt(PAddrBits.W)) // lsu side paddr 49503efd994Shappy-lx val s1_paddr_dup_dcache = Output(UInt(PAddrBits.W)) // dcache side paddr 4961f0e2dc7SJiawei Lin val s1_disable_fast_wakeup = Input(Bool()) 497d87b76aaSWilliam Wang val s1_bank_conflict = Input(Bool()) 49803efd994Shappy-lx // cycle 2: hit signal 49903efd994Shappy-lx val s2_hit = Input(Bool()) // hit signal for lsu, 50003efd994Shappy-lx 50103efd994Shappy-lx // debug 50203efd994Shappy-lx val debug_s1_hit_way = Input(UInt(nWays.W)) 5031f0e2dc7SJiawei Lin} 5041f0e2dc7SJiawei Lin 5051f0e2dc7SJiawei Linclass DCacheLineIO(implicit p: Parameters) extends DCacheBundle 5061f0e2dc7SJiawei Lin{ 5071f0e2dc7SJiawei Lin val req = DecoupledIO(new DCacheLineReq) 5081f0e2dc7SJiawei Lin val resp = Flipped(DecoupledIO(new DCacheLineResp)) 5091f0e2dc7SJiawei Lin} 5101f0e2dc7SJiawei Lin 511ad3ba452Szhanglinjuanclass DCacheToSbufferIO(implicit p: Parameters) extends DCacheBundle { 512ad3ba452Szhanglinjuan // sbuffer will directly send request to dcache main pipe 513ad3ba452Szhanglinjuan val req = Flipped(Decoupled(new DCacheLineReq)) 514ad3ba452Szhanglinjuan 515ad3ba452Szhanglinjuan val main_pipe_hit_resp = ValidIO(new DCacheLineResp) 516ad3ba452Szhanglinjuan val refill_hit_resp = ValidIO(new DCacheLineResp) 517ad3ba452Szhanglinjuan 518ad3ba452Szhanglinjuan val replay_resp = ValidIO(new DCacheLineResp) 519ad3ba452Szhanglinjuan 520ad3ba452Szhanglinjuan def hit_resps: Seq[ValidIO[DCacheLineResp]] = Seq(main_pipe_hit_resp, refill_hit_resp) 521ad3ba452Szhanglinjuan} 522ad3ba452Szhanglinjuan 523683c1411Shappy-lx// forward tilelink channel D's data to ldu 524683c1411Shappy-lxclass DcacheToLduForwardIO(implicit p: Parameters) extends DCacheBundle { 525683c1411Shappy-lx val valid = Bool() 526683c1411Shappy-lx val data = UInt(l1BusDataWidth.W) 527683c1411Shappy-lx val mshrid = UInt(log2Up(cfg.nMissEntries).W) 528683c1411Shappy-lx val last = Bool() 529683c1411Shappy-lx 530683c1411Shappy-lx def apply(req_valid : Bool, req_data : UInt, req_mshrid : UInt, req_last : Bool) = { 531683c1411Shappy-lx valid := req_valid 532683c1411Shappy-lx data := req_data 533683c1411Shappy-lx mshrid := req_mshrid 534683c1411Shappy-lx last := req_last 535683c1411Shappy-lx } 536683c1411Shappy-lx 537683c1411Shappy-lx def dontCare() = { 538683c1411Shappy-lx valid := false.B 539683c1411Shappy-lx data := DontCare 540683c1411Shappy-lx mshrid := DontCare 541683c1411Shappy-lx last := DontCare 542683c1411Shappy-lx } 543683c1411Shappy-lx 544683c1411Shappy-lx def forward(req_valid : Bool, req_mshr_id : UInt, req_paddr : UInt) = { 545683c1411Shappy-lx val all_match = req_valid && valid && 546683c1411Shappy-lx req_mshr_id === mshrid && 547683c1411Shappy-lx req_paddr(log2Up(refillBytes)) === last 548683c1411Shappy-lx 549683c1411Shappy-lx val forward_D = RegInit(false.B) 550683c1411Shappy-lx val forwardData = RegInit(VecInit(List.fill(8)(0.U(8.W)))) 551683c1411Shappy-lx 552683c1411Shappy-lx val block_idx = req_paddr(log2Up(refillBytes) - 1, 3) 553683c1411Shappy-lx val block_data = Wire(Vec(l1BusDataWidth / 64, UInt(64.W))) 554683c1411Shappy-lx (0 until l1BusDataWidth / 64).map(i => { 555683c1411Shappy-lx block_data(i) := data(64 * i + 63, 64 * i) 556683c1411Shappy-lx }) 557683c1411Shappy-lx val selected_data = block_data(block_idx) 558683c1411Shappy-lx 559683c1411Shappy-lx forward_D := all_match 560683c1411Shappy-lx for (i <- 0 until 8) { 561683c1411Shappy-lx forwardData(i) := selected_data(8 * i + 7, 8 * i) 562683c1411Shappy-lx } 563683c1411Shappy-lx 564683c1411Shappy-lx (forward_D, forwardData) 565683c1411Shappy-lx } 566683c1411Shappy-lx} 567683c1411Shappy-lx 568683c1411Shappy-lxclass MissEntryForwardIO(implicit p: Parameters) extends DCacheBundle { 569683c1411Shappy-lx val inflight = Bool() 570683c1411Shappy-lx val paddr = UInt(PAddrBits.W) 571683c1411Shappy-lx val raw_data = Vec(blockBytes/beatBytes, UInt(beatBits.W)) 572683c1411Shappy-lx val firstbeat_valid = Bool() 573683c1411Shappy-lx val lastbeat_valid = Bool() 574683c1411Shappy-lx 575683c1411Shappy-lx def apply(mshr_valid : Bool, mshr_paddr : UInt, mshr_rawdata : Vec[UInt], mshr_first_valid : Bool, mshr_last_valid : Bool) = { 576683c1411Shappy-lx inflight := mshr_valid 577683c1411Shappy-lx paddr := mshr_paddr 578683c1411Shappy-lx raw_data := mshr_rawdata 579683c1411Shappy-lx firstbeat_valid := mshr_first_valid 580683c1411Shappy-lx lastbeat_valid := mshr_last_valid 581683c1411Shappy-lx } 582683c1411Shappy-lx 583683c1411Shappy-lx // check if we can forward from mshr or D channel 584683c1411Shappy-lx def check(req_valid : Bool, req_paddr : UInt) = { 585683c1411Shappy-lx RegNext(req_valid && inflight && req_paddr(PAddrBits - 1, blockOffBits) === paddr(PAddrBits - 1, blockOffBits)) 586683c1411Shappy-lx } 587683c1411Shappy-lx 588683c1411Shappy-lx def forward(req_valid : Bool, req_paddr : UInt) = { 589683c1411Shappy-lx val all_match = (req_paddr(log2Up(refillBytes)) === 0.U && firstbeat_valid) || 590683c1411Shappy-lx (req_paddr(log2Up(refillBytes)) === 1.U && lastbeat_valid) 591683c1411Shappy-lx 592683c1411Shappy-lx val forward_mshr = RegInit(false.B) 593683c1411Shappy-lx val forwardData = RegInit(VecInit(List.fill(8)(0.U(8.W)))) 594683c1411Shappy-lx 595683c1411Shappy-lx val beat_data = raw_data(req_paddr(log2Up(refillBytes))) 596683c1411Shappy-lx val block_idx = req_paddr(log2Up(refillBytes) - 1, 3) 597683c1411Shappy-lx val block_data = Wire(Vec(l1BusDataWidth / 64, UInt(64.W))) 598683c1411Shappy-lx (0 until l1BusDataWidth / 64).map(i => { 599683c1411Shappy-lx block_data(i) := beat_data(64 * i + 63, 64 * i) 600683c1411Shappy-lx }) 601683c1411Shappy-lx val selected_data = block_data(block_idx) 602683c1411Shappy-lx 603683c1411Shappy-lx forward_mshr := all_match 604683c1411Shappy-lx for (i <- 0 until 8) { 605683c1411Shappy-lx forwardData(i) := selected_data(8 * i + 7, 8 * i) 606683c1411Shappy-lx } 607683c1411Shappy-lx 608683c1411Shappy-lx (forward_mshr, forwardData) 609683c1411Shappy-lx } 610683c1411Shappy-lx} 611683c1411Shappy-lx 612683c1411Shappy-lx// forward mshr's data to ldu 613683c1411Shappy-lxclass LduToMissqueueForwardIO(implicit p: Parameters) extends DCacheBundle { 614683c1411Shappy-lx // req 615683c1411Shappy-lx val valid = Input(Bool()) 616683c1411Shappy-lx val mshrid = Input(UInt(log2Up(cfg.nMissEntries).W)) 617683c1411Shappy-lx val paddr = Input(UInt(PAddrBits.W)) 618683c1411Shappy-lx // resp 619683c1411Shappy-lx val forward_mshr = Output(Bool()) 620683c1411Shappy-lx val forwardData = Output(Vec(8, UInt(8.W))) 621683c1411Shappy-lx val forward_result_valid = Output(Bool()) 622683c1411Shappy-lx 623683c1411Shappy-lx def connect(sink: LduToMissqueueForwardIO) = { 624683c1411Shappy-lx sink.valid := valid 625683c1411Shappy-lx sink.mshrid := mshrid 626683c1411Shappy-lx sink.paddr := paddr 627683c1411Shappy-lx forward_mshr := sink.forward_mshr 628683c1411Shappy-lx forwardData := sink.forwardData 629683c1411Shappy-lx forward_result_valid := sink.forward_result_valid 630683c1411Shappy-lx } 631683c1411Shappy-lx 632683c1411Shappy-lx def forward() = { 633683c1411Shappy-lx (forward_result_valid, forward_mshr, forwardData) 634683c1411Shappy-lx } 635683c1411Shappy-lx} 636683c1411Shappy-lx 6371f0e2dc7SJiawei Linclass DCacheToLsuIO(implicit p: Parameters) extends DCacheBundle { 6381f0e2dc7SJiawei Lin val load = Vec(LoadPipelineWidth, Flipped(new DCacheLoadIO)) // for speculative load 6391f0e2dc7SJiawei Lin val lsq = ValidIO(new Refill) // refill to load queue, wake up load misses 640ad3ba452Szhanglinjuan val store = new DCacheToSbufferIO // for sbuffer 6416786cfb7SWilliam Wang val atomics = Flipped(new AtomicWordIO) // atomics reqs 64267682d05SWilliam Wang val release = ValidIO(new Release) // cacheline release hint for ld-ld violation check 643683c1411Shappy-lx val forward_D = Output(Vec(LoadPipelineWidth, new DcacheToLduForwardIO)) 644683c1411Shappy-lx val forward_mshr = Vec(LoadPipelineWidth, new LduToMissqueueForwardIO) 6451f0e2dc7SJiawei Lin} 6461f0e2dc7SJiawei Lin 6471f0e2dc7SJiawei Linclass DCacheIO(implicit p: Parameters) extends DCacheBundle { 6485668a921SJiawei Lin val hartId = Input(UInt(8.W)) 6491f0e2dc7SJiawei Lin val lsu = new DCacheToLsuIO 650e19f7967SWilliam Wang val csr = new L1CacheToCsrIO 6511f0e2dc7SJiawei Lin val error = new L1CacheErrorInfo 6521f0e2dc7SJiawei Lin val mshrFull = Output(Bool()) 6531f0e2dc7SJiawei Lin} 6541f0e2dc7SJiawei Lin 6551f0e2dc7SJiawei Lin 6561f0e2dc7SJiawei Linclass DCache()(implicit p: Parameters) extends LazyModule with HasDCacheParameters { 6571f0e2dc7SJiawei Lin 6581f0e2dc7SJiawei Lin val clientParameters = TLMasterPortParameters.v1( 6591f0e2dc7SJiawei Lin Seq(TLMasterParameters.v1( 6601f0e2dc7SJiawei Lin name = "dcache", 661ad3ba452Szhanglinjuan sourceId = IdRange(0, nEntries + 1), 6621f0e2dc7SJiawei Lin supportsProbe = TransferSizes(cfg.blockBytes) 6631f0e2dc7SJiawei Lin )), 6641f0e2dc7SJiawei Lin requestFields = cacheParams.reqFields, 6651f0e2dc7SJiawei Lin echoFields = cacheParams.echoFields 6661f0e2dc7SJiawei Lin ) 6671f0e2dc7SJiawei Lin 6681f0e2dc7SJiawei Lin val clientNode = TLClientNode(Seq(clientParameters)) 6691f0e2dc7SJiawei Lin 6701f0e2dc7SJiawei Lin lazy val module = new DCacheImp(this) 6711f0e2dc7SJiawei Lin} 6721f0e2dc7SJiawei Lin 6731f0e2dc7SJiawei Lin 6741ca0e4f3SYinan Xuclass DCacheImp(outer: DCache) extends LazyModuleImp(outer) with HasDCacheParameters with HasPerfEvents { 6751f0e2dc7SJiawei Lin 6761f0e2dc7SJiawei Lin val io = IO(new DCacheIO) 6771f0e2dc7SJiawei Lin 6781f0e2dc7SJiawei Lin val (bus, edge) = outer.clientNode.out.head 6791f0e2dc7SJiawei Lin require(bus.d.bits.data.getWidth == l1BusDataWidth, "DCache: tilelink width does not match") 6801f0e2dc7SJiawei Lin 6811f0e2dc7SJiawei Lin println("DCache:") 6821f0e2dc7SJiawei Lin println(" DCacheSets: " + DCacheSets) 6831f0e2dc7SJiawei Lin println(" DCacheWays: " + DCacheWays) 6841f0e2dc7SJiawei Lin println(" DCacheBanks: " + DCacheBanks) 6851f0e2dc7SJiawei Lin println(" DCacheSRAMRowBits: " + DCacheSRAMRowBits) 6861f0e2dc7SJiawei Lin println(" DCacheWordOffset: " + DCacheWordOffset) 6871f0e2dc7SJiawei Lin println(" DCacheBankOffset: " + DCacheBankOffset) 6881f0e2dc7SJiawei Lin println(" DCacheSetOffset: " + DCacheSetOffset) 6891f0e2dc7SJiawei Lin println(" DCacheTagOffset: " + DCacheTagOffset) 6901f0e2dc7SJiawei Lin println(" DCacheAboveIndexOffset: " + DCacheAboveIndexOffset) 6911f0e2dc7SJiawei Lin 6921f0e2dc7SJiawei Lin //---------------------------------------- 6931f0e2dc7SJiawei Lin // core data structures 6941f0e2dc7SJiawei Lin val bankedDataArray = Module(new BankedDataArray) 6953af6aa6eSWilliam Wang val metaArray = Module(new L1CohMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2)) 6963af6aa6eSWilliam Wang val errorArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2)) 6973af6aa6eSWilliam Wang val prefetchArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2)) // prefetch flag array 6983af6aa6eSWilliam Wang val accessArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = LoadPipelineWidth + 2)) 699ad3ba452Szhanglinjuan val tagArray = Module(new DuplicatedTagArray(readPorts = LoadPipelineWidth + 1)) 7001f0e2dc7SJiawei Lin bankedDataArray.dump() 7011f0e2dc7SJiawei Lin 7021f0e2dc7SJiawei Lin //---------------------------------------- 7031f0e2dc7SJiawei Lin // core modules 7041f0e2dc7SJiawei Lin val ldu = Seq.tabulate(LoadPipelineWidth)({ i => Module(new LoadPipe(i))}) 70562cb71fbShappy-lx // val atomicsReplayUnit = Module(new AtomicsReplayEntry) 7061f0e2dc7SJiawei Lin val mainPipe = Module(new MainPipe) 707ad3ba452Szhanglinjuan val refillPipe = Module(new RefillPipe) 7081f0e2dc7SJiawei Lin val missQueue = Module(new MissQueue(edge)) 7091f0e2dc7SJiawei Lin val probeQueue = Module(new ProbeQueue(edge)) 7101f0e2dc7SJiawei Lin val wb = Module(new WritebackQueue(edge)) 7111f0e2dc7SJiawei Lin 7125668a921SJiawei Lin missQueue.io.hartId := io.hartId 7135668a921SJiawei Lin 7149ef181f4SWilliam Wang val errors = ldu.map(_.io.error) ++ // load error 7159ef181f4SWilliam Wang Seq(mainPipe.io.error) // store / misc error 7166786cfb7SWilliam Wang io.error <> RegNext(Mux1H(errors.map(e => RegNext(e.valid) -> RegNext(e)))) 717dd95524eSzhanglinjuan 7181f0e2dc7SJiawei Lin //---------------------------------------- 7191f0e2dc7SJiawei Lin // meta array 7203af6aa6eSWilliam Wang 7213af6aa6eSWilliam Wang // read / write coh meta 722ad3ba452Szhanglinjuan val meta_read_ports = ldu.map(_.io.meta_read) ++ 723026615fcSWilliam Wang Seq(mainPipe.io.meta_read) 724ad3ba452Szhanglinjuan val meta_resp_ports = ldu.map(_.io.meta_resp) ++ 725026615fcSWilliam Wang Seq(mainPipe.io.meta_resp) 726ad3ba452Szhanglinjuan val meta_write_ports = Seq( 727ad3ba452Szhanglinjuan mainPipe.io.meta_write, 728026615fcSWilliam Wang refillPipe.io.meta_write 729ad3ba452Szhanglinjuan ) 730ad3ba452Szhanglinjuan meta_read_ports.zip(metaArray.io.read).foreach { case (p, r) => r <> p } 731ad3ba452Szhanglinjuan meta_resp_ports.zip(metaArray.io.resp).foreach { case (p, r) => p := r } 732ad3ba452Szhanglinjuan meta_write_ports.zip(metaArray.io.write).foreach { case (p, w) => w <> p } 7331f0e2dc7SJiawei Lin 7343af6aa6eSWilliam Wang // read extra meta 735026615fcSWilliam Wang meta_read_ports.zip(errorArray.io.read).foreach { case (p, r) => r <> p } 7363af6aa6eSWilliam Wang meta_read_ports.zip(prefetchArray.io.read).foreach { case (p, r) => r <> p } 7373af6aa6eSWilliam Wang meta_read_ports.zip(accessArray.io.read).foreach { case (p, r) => r <> p } 7383af6aa6eSWilliam Wang val extra_meta_resp_ports = ldu.map(_.io.extra_meta_resp) ++ 7393af6aa6eSWilliam Wang Seq(mainPipe.io.extra_meta_resp) 7403af6aa6eSWilliam Wang extra_meta_resp_ports.zip(errorArray.io.resp).foreach { case (p, r) => { 7413af6aa6eSWilliam Wang (0 until nWays).map(i => { p(i).error := r(i) }) 7423af6aa6eSWilliam Wang }} 7433af6aa6eSWilliam Wang extra_meta_resp_ports.zip(prefetchArray.io.resp).foreach { case (p, r) => { 7443af6aa6eSWilliam Wang (0 until nWays).map(i => { p(i).prefetch := r(i) }) 7453af6aa6eSWilliam Wang }} 7463af6aa6eSWilliam Wang extra_meta_resp_ports.zip(accessArray.io.resp).foreach { case (p, r) => { 7473af6aa6eSWilliam Wang (0 until nWays).map(i => { p(i).access := r(i) }) 7483af6aa6eSWilliam Wang }} 7493af6aa6eSWilliam Wang 7503af6aa6eSWilliam Wang // write extra meta 7513af6aa6eSWilliam Wang val error_flag_write_ports = Seq( 7523af6aa6eSWilliam Wang mainPipe.io.error_flag_write, // error flag generated by corrupted store 7533af6aa6eSWilliam Wang refillPipe.io.error_flag_write // corrupted signal from l2 7543af6aa6eSWilliam Wang ) 755026615fcSWilliam Wang error_flag_write_ports.zip(errorArray.io.write).foreach { case (p, w) => w <> p } 756026615fcSWilliam Wang 7573af6aa6eSWilliam Wang val prefetch_flag_write_ports = Seq( 7583af6aa6eSWilliam Wang mainPipe.io.prefetch_flag_write, // set prefetch_flag to false if coh is set to Nothing 7593af6aa6eSWilliam Wang refillPipe.io.prefetch_flag_write // refill required by prefetch will set prefetch_flag 7603af6aa6eSWilliam Wang ) 7613af6aa6eSWilliam Wang prefetch_flag_write_ports.zip(prefetchArray.io.write).foreach { case (p, w) => w <> p } 7623af6aa6eSWilliam Wang 7633af6aa6eSWilliam Wang val access_flag_write_ports = ldu.map(_.io.access_flag_write) ++ Seq( 7643af6aa6eSWilliam Wang mainPipe.io.access_flag_write, 7653af6aa6eSWilliam Wang refillPipe.io.access_flag_write 7663af6aa6eSWilliam Wang ) 7673af6aa6eSWilliam Wang access_flag_write_ports.zip(accessArray.io.write).foreach { case (p, w) => w <> p } 7683af6aa6eSWilliam Wang 769ad3ba452Szhanglinjuan //---------------------------------------- 770ad3ba452Szhanglinjuan // tag array 771ad3ba452Szhanglinjuan require(tagArray.io.read.size == (ldu.size + 1)) 77209ae47d2SWilliam Wang val tag_write_intend = missQueue.io.refill_pipe_req.valid || mainPipe.io.tag_write_intend 77309ae47d2SWilliam Wang assert(!RegNext(!tag_write_intend && tagArray.io.write.valid)) 774ad3ba452Szhanglinjuan ldu.zipWithIndex.foreach { 775ad3ba452Szhanglinjuan case (ld, i) => 776ad3ba452Szhanglinjuan tagArray.io.read(i) <> ld.io.tag_read 777ad3ba452Szhanglinjuan ld.io.tag_resp := tagArray.io.resp(i) 77809ae47d2SWilliam Wang ld.io.tag_read.ready := !tag_write_intend 7791f0e2dc7SJiawei Lin } 780ad3ba452Szhanglinjuan tagArray.io.read.last <> mainPipe.io.tag_read 781ad3ba452Szhanglinjuan mainPipe.io.tag_resp := tagArray.io.resp.last 782ad3ba452Szhanglinjuan 78309ae47d2SWilliam Wang val fake_tag_read_conflict_this_cycle = PopCount(ldu.map(ld=> ld.io.tag_read.valid)) 78409ae47d2SWilliam Wang XSPerfAccumulate("fake_tag_read_conflict", fake_tag_read_conflict_this_cycle) 78509ae47d2SWilliam Wang 786ad3ba452Szhanglinjuan val tag_write_arb = Module(new Arbiter(new TagWriteReq, 2)) 787ad3ba452Szhanglinjuan tag_write_arb.io.in(0) <> refillPipe.io.tag_write 788ad3ba452Szhanglinjuan tag_write_arb.io.in(1) <> mainPipe.io.tag_write 789ad3ba452Szhanglinjuan tagArray.io.write <> tag_write_arb.io.out 7901f0e2dc7SJiawei Lin 7911f0e2dc7SJiawei Lin //---------------------------------------- 7921f0e2dc7SJiawei Lin // data array 7931f0e2dc7SJiawei Lin 794ad3ba452Szhanglinjuan val dataWriteArb = Module(new Arbiter(new L1BankedDataWriteReq, 2)) 795ad3ba452Szhanglinjuan dataWriteArb.io.in(0) <> refillPipe.io.data_write 796ad3ba452Szhanglinjuan dataWriteArb.io.in(1) <> mainPipe.io.data_write 797ad3ba452Szhanglinjuan 798ad3ba452Szhanglinjuan bankedDataArray.io.write <> dataWriteArb.io.out 7991f0e2dc7SJiawei Lin 8006c7e5e86Szhanglinjuan for (bank <- 0 until DCacheBanks) { 8016c7e5e86Szhanglinjuan val dataWriteArb_dup = Module(new Arbiter(new L1BankedDataWriteReqCtrl, 2)) 8026c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(0).valid := refillPipe.io.data_write_dup(bank).valid 8036c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(0).bits := refillPipe.io.data_write_dup(bank).bits 8046c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(1).valid := mainPipe.io.data_write_dup(bank).valid 8056c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(1).bits := mainPipe.io.data_write_dup(bank).bits 8066c7e5e86Szhanglinjuan 8076c7e5e86Szhanglinjuan bankedDataArray.io.write_dup(bank) <> dataWriteArb_dup.io.out 8086c7e5e86Szhanglinjuan } 8096c7e5e86Szhanglinjuan 8109ef181f4SWilliam Wang bankedDataArray.io.readline <> mainPipe.io.data_read 8117a5caa97Szhanglinjuan bankedDataArray.io.readline_intend := mainPipe.io.data_read_intend 8126786cfb7SWilliam Wang mainPipe.io.readline_error_delayed := bankedDataArray.io.readline_error_delayed 813144422dcSMaxpicca-Li mainPipe.io.data_resp := bankedDataArray.io.readline_resp 8141f0e2dc7SJiawei Lin 8159ef181f4SWilliam Wang (0 until LoadPipelineWidth).map(i => { 8169ef181f4SWilliam Wang bankedDataArray.io.read(i) <> ldu(i).io.banked_data_read 8176786cfb7SWilliam Wang bankedDataArray.io.read_error_delayed(i) <> ldu(i).io.read_error_delayed 8189ef181f4SWilliam Wang 819144422dcSMaxpicca-Li ldu(i).io.banked_data_resp := bankedDataArray.io.read_resp_delayed(i) 820144422dcSMaxpicca-Li 8219ef181f4SWilliam Wang ldu(i).io.bank_conflict_fast := bankedDataArray.io.bank_conflict_fast(i) 8229ef181f4SWilliam Wang ldu(i).io.bank_conflict_slow := bankedDataArray.io.bank_conflict_slow(i) 8239ef181f4SWilliam Wang }) 8241f0e2dc7SJiawei Lin 825774f100aSWilliam Wang (0 until LoadPipelineWidth).map(i => { 826683c1411Shappy-lx val (_, _, done, _) = edge.count(bus.d) 827683c1411Shappy-lx when(bus.d.bits.opcode === TLMessages.GrantData) { 828683c1411Shappy-lx io.lsu.forward_D(i).apply(bus.d.valid, bus.d.bits.data, bus.d.bits.source, done) 829683c1411Shappy-lx }.otherwise { 830683c1411Shappy-lx io.lsu.forward_D(i).dontCare() 831683c1411Shappy-lx } 832683c1411Shappy-lx }) 833683c1411Shappy-lx 8341f0e2dc7SJiawei Lin //---------------------------------------- 8351f0e2dc7SJiawei Lin // load pipe 8361f0e2dc7SJiawei Lin // the s1 kill signal 8371f0e2dc7SJiawei Lin // only lsu uses this, replay never kills 8381f0e2dc7SJiawei Lin for (w <- 0 until LoadPipelineWidth) { 8391f0e2dc7SJiawei Lin ldu(w).io.lsu <> io.lsu.load(w) 8401f0e2dc7SJiawei Lin 8411f0e2dc7SJiawei Lin // replay and nack not needed anymore 8421f0e2dc7SJiawei Lin // TODO: remove replay and nack 8431f0e2dc7SJiawei Lin ldu(w).io.nack := false.B 8441f0e2dc7SJiawei Lin 8451f0e2dc7SJiawei Lin ldu(w).io.disable_ld_fast_wakeup := 8467a5caa97Szhanglinjuan bankedDataArray.io.disable_ld_fast_wakeup(w) // load pipe fast wake up should be disabled when bank conflict 8471f0e2dc7SJiawei Lin } 8481f0e2dc7SJiawei Lin 8491f0e2dc7SJiawei Lin //---------------------------------------- 8501f0e2dc7SJiawei Lin // atomics 8511f0e2dc7SJiawei Lin // atomics not finished yet 85262cb71fbShappy-lx // io.lsu.atomics <> atomicsReplayUnit.io.lsu 85362cb71fbShappy-lx io.lsu.atomics.resp := RegNext(mainPipe.io.atomic_resp) 85462cb71fbShappy-lx io.lsu.atomics.block_lr := mainPipe.io.block_lr 85562cb71fbShappy-lx // atomicsReplayUnit.io.pipe_resp := RegNext(mainPipe.io.atomic_resp) 85662cb71fbShappy-lx // atomicsReplayUnit.io.block_lr <> mainPipe.io.block_lr 8571f0e2dc7SJiawei Lin 8581f0e2dc7SJiawei Lin //---------------------------------------- 8591f0e2dc7SJiawei Lin // miss queue 8601f0e2dc7SJiawei Lin val MissReqPortCount = LoadPipelineWidth + 1 8611f0e2dc7SJiawei Lin val MainPipeMissReqPort = 0 8621f0e2dc7SJiawei Lin 8631f0e2dc7SJiawei Lin // Request 864300ded30SWilliam Wang val missReqArb = Module(new Arbiter(new MissReq, MissReqPortCount)) 8651f0e2dc7SJiawei Lin 866a98b054bSWilliam Wang missReqArb.io.in(MainPipeMissReqPort) <> mainPipe.io.miss_req 8671f0e2dc7SJiawei Lin for (w <- 0 until LoadPipelineWidth) { missReqArb.io.in(w + 1) <> ldu(w).io.miss_req } 8681f0e2dc7SJiawei Lin 869683c1411Shappy-lx for (w <- 0 until LoadPipelineWidth) { ldu(w).io.miss_resp.id := missQueue.io.resp.id } 870683c1411Shappy-lx 8711f0e2dc7SJiawei Lin wb.io.miss_req.valid := missReqArb.io.out.valid 8721f0e2dc7SJiawei Lin wb.io.miss_req.bits := missReqArb.io.out.bits.addr 8731f0e2dc7SJiawei Lin 874a98b054bSWilliam Wang // block_decoupled(missReqArb.io.out, missQueue.io.req, wb.io.block_miss_req) 875a98b054bSWilliam Wang missReqArb.io.out <> missQueue.io.req 876a98b054bSWilliam Wang when(wb.io.block_miss_req) { 877a98b054bSWilliam Wang missQueue.io.req.bits.cancel := true.B 878a98b054bSWilliam Wang missReqArb.io.out.ready := false.B 879a98b054bSWilliam Wang } 8801f0e2dc7SJiawei Lin 881683c1411Shappy-lx // forward missqueue 882683c1411Shappy-lx (0 until LoadPipelineWidth).map(i => io.lsu.forward_mshr(i).connect(missQueue.io.forward(i))) 883683c1411Shappy-lx 8841f0e2dc7SJiawei Lin // refill to load queue 885ad3ba452Szhanglinjuan io.lsu.lsq <> missQueue.io.refill_to_ldq 8861f0e2dc7SJiawei Lin 8871f0e2dc7SJiawei Lin // tilelink stuff 8881f0e2dc7SJiawei Lin bus.a <> missQueue.io.mem_acquire 8891f0e2dc7SJiawei Lin bus.e <> missQueue.io.mem_finish 890ad3ba452Szhanglinjuan missQueue.io.probe_addr := bus.b.bits.address 891ad3ba452Szhanglinjuan 892a98b054bSWilliam Wang missQueue.io.main_pipe_resp := RegNext(mainPipe.io.atomic_resp) 8931f0e2dc7SJiawei Lin 8941f0e2dc7SJiawei Lin //---------------------------------------- 8951f0e2dc7SJiawei Lin // probe 8961f0e2dc7SJiawei Lin // probeQueue.io.mem_probe <> bus.b 8971f0e2dc7SJiawei Lin block_decoupled(bus.b, probeQueue.io.mem_probe, missQueue.io.probe_block) 898ad3ba452Szhanglinjuan probeQueue.io.lrsc_locked_block <> mainPipe.io.lrsc_locked_block 899300ded30SWilliam Wang probeQueue.io.update_resv_set <> mainPipe.io.update_resv_set 9001f0e2dc7SJiawei Lin 9011f0e2dc7SJiawei Lin //---------------------------------------- 9021f0e2dc7SJiawei Lin // mainPipe 903ad3ba452Szhanglinjuan // when a req enters main pipe, if it is set-conflict with replace pipe or refill pipe, 904ad3ba452Szhanglinjuan // block the req in main pipe 905219c4595Szhanglinjuan block_decoupled(probeQueue.io.pipe_req, mainPipe.io.probe_req, missQueue.io.refill_pipe_req.valid) 906b36dd5fdSWilliam Wang block_decoupled(io.lsu.store.req, mainPipe.io.store_req, refillPipe.io.req.valid) 9071f0e2dc7SJiawei Lin 908a98b054bSWilliam Wang io.lsu.store.replay_resp := RegNext(mainPipe.io.store_replay_resp) 909ad3ba452Szhanglinjuan io.lsu.store.main_pipe_hit_resp := mainPipe.io.store_hit_resp 9101f0e2dc7SJiawei Lin 91169790076Szhanglinjuan arbiter_with_pipereg( 91262cb71fbShappy-lx in = Seq(missQueue.io.main_pipe_req, io.lsu.atomics.req), 91369790076Szhanglinjuan out = mainPipe.io.atomic_req, 91469790076Szhanglinjuan name = Some("main_pipe_atomic_req") 91569790076Szhanglinjuan ) 9161f0e2dc7SJiawei Lin 917a98b054bSWilliam Wang mainPipe.io.invalid_resv_set := RegNext(wb.io.req.fire && wb.io.req.bits.addr === mainPipe.io.lrsc_locked_block.bits) 9181f0e2dc7SJiawei Lin 919ad3ba452Szhanglinjuan //---------------------------------------- 920b36dd5fdSWilliam Wang // replace (main pipe) 921ad3ba452Szhanglinjuan val mpStatus = mainPipe.io.status 922578c21a4Szhanglinjuan mainPipe.io.replace_req <> missQueue.io.replace_pipe_req 923578c21a4Szhanglinjuan missQueue.io.replace_pipe_resp := mainPipe.io.replace_resp 9241f0e2dc7SJiawei Lin 925ad3ba452Szhanglinjuan //---------------------------------------- 926ad3ba452Szhanglinjuan // refill pipe 92763540aa5Szhanglinjuan val refillShouldBeBlocked = (mpStatus.s1.valid && mpStatus.s1.bits.set === missQueue.io.refill_pipe_req.bits.idx) || 92863540aa5Szhanglinjuan Cat(Seq(mpStatus.s2, mpStatus.s3).map(s => 929ad3ba452Szhanglinjuan s.valid && 930ad3ba452Szhanglinjuan s.bits.set === missQueue.io.refill_pipe_req.bits.idx && 931ad3ba452Szhanglinjuan s.bits.way_en === missQueue.io.refill_pipe_req.bits.way_en 932ad3ba452Szhanglinjuan )).orR 933ad3ba452Szhanglinjuan block_decoupled(missQueue.io.refill_pipe_req, refillPipe.io.req, refillShouldBeBlocked) 934c3a5fe5fShappy-lx 935c3a5fe5fShappy-lx val mpStatus_dup = mainPipe.io.status_dup 936c3a5fe5fShappy-lx val mq_refill_dup = missQueue.io.refill_pipe_req_dup 937c3a5fe5fShappy-lx val refillShouldBeBlocked_dup = VecInit((0 until nDupStatus).map { case i => 938c3a5fe5fShappy-lx mpStatus_dup(i).s1.valid && mpStatus_dup(i).s1.bits.set === mq_refill_dup(i).bits.idx || 939c3a5fe5fShappy-lx Cat(Seq(mpStatus_dup(i).s2, mpStatus_dup(i).s3).map(s => 940c3a5fe5fShappy-lx s.valid && 941c3a5fe5fShappy-lx s.bits.set === mq_refill_dup(i).bits.idx && 942c3a5fe5fShappy-lx s.bits.way_en === mq_refill_dup(i).bits.way_en 943c3a5fe5fShappy-lx )).orR 944c3a5fe5fShappy-lx }) 945c3a5fe5fShappy-lx dontTouch(refillShouldBeBlocked_dup) 946c3a5fe5fShappy-lx 9476c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_data_w.zipWithIndex.foreach { case (r, i) => 9486c7e5e86Szhanglinjuan r.bits := (mq_refill_dup.drop(dataWritePort).take(DCacheBanks))(i).bits 9496c7e5e86Szhanglinjuan } 9506c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_meta_w.bits := mq_refill_dup(metaWritePort).bits 9516c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_tag_w.bits := mq_refill_dup(tagWritePort).bits 9526c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_err_w.bits := mq_refill_dup(errWritePort).bits 9536c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_data_w.zipWithIndex.foreach { case (r, i) => 9546c7e5e86Szhanglinjuan r.valid := (mq_refill_dup.drop(dataWritePort).take(DCacheBanks))(i).valid && 9556c7e5e86Szhanglinjuan !(refillShouldBeBlocked_dup.drop(dataWritePort).take(DCacheBanks))(i) 9566c7e5e86Szhanglinjuan } 9576c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_meta_w.valid := mq_refill_dup(metaWritePort).valid && !refillShouldBeBlocked_dup(metaWritePort) 9586c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_tag_w.valid := mq_refill_dup(tagWritePort).valid && !refillShouldBeBlocked_dup(tagWritePort) 9596c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_err_w.valid := mq_refill_dup(errWritePort).valid && !refillShouldBeBlocked_dup(errWritePort) 960c3a5fe5fShappy-lx 961c3a5fe5fShappy-lx val refillPipe_io_req_valid_dup = VecInit(mq_refill_dup.zip(refillShouldBeBlocked_dup).map( 962c3a5fe5fShappy-lx x => x._1.valid && !x._2 963c3a5fe5fShappy-lx )) 964c3a5fe5fShappy-lx val refillPipe_io_data_write_valid_dup = VecInit(refillPipe_io_req_valid_dup.slice(0, nDupDataWriteReady)) 9656c7e5e86Szhanglinjuan val refillPipe_io_tag_write_valid_dup = VecInit(refillPipe_io_req_valid_dup.slice(nDupDataWriteReady, nDupStatus)) 966c3a5fe5fShappy-lx dontTouch(refillPipe_io_req_valid_dup) 967c3a5fe5fShappy-lx dontTouch(refillPipe_io_data_write_valid_dup) 968c3a5fe5fShappy-lx dontTouch(refillPipe_io_tag_write_valid_dup) 969c3a5fe5fShappy-lx mainPipe.io.data_write_ready_dup := VecInit(refillPipe_io_data_write_valid_dup.map(v => !v)) 970c3a5fe5fShappy-lx mainPipe.io.tag_write_ready_dup := VecInit(refillPipe_io_tag_write_valid_dup.map(v => !v)) 971c3a5fe5fShappy-lx mainPipe.io.wb_ready_dup := wb.io.req_ready_dup 972c3a5fe5fShappy-lx 973c3a5fe5fShappy-lx mq_refill_dup.zip(refillShouldBeBlocked_dup).foreach { case (r, block) => 974c3a5fe5fShappy-lx r.ready := refillPipe.io.req.ready && !block 975c3a5fe5fShappy-lx } 976c3a5fe5fShappy-lx 97754e42658SWilliam Wang missQueue.io.refill_pipe_resp := refillPipe.io.resp 978a98b054bSWilliam Wang io.lsu.store.refill_hit_resp := RegNext(refillPipe.io.store_resp) 9791f0e2dc7SJiawei Lin 9801f0e2dc7SJiawei Lin //---------------------------------------- 9811f0e2dc7SJiawei Lin // wb 9821f0e2dc7SJiawei Lin // add a queue between MainPipe and WritebackUnit to reduce MainPipe stalls due to WritebackUnit busy 983026615fcSWilliam Wang 984578c21a4Szhanglinjuan wb.io.req <> mainPipe.io.wb 9851f0e2dc7SJiawei Lin bus.c <> wb.io.mem_release 986ad3ba452Szhanglinjuan wb.io.release_wakeup := refillPipe.io.release_wakeup 987ad3ba452Szhanglinjuan wb.io.release_update := mainPipe.io.release_update 988b8f6ff86SWilliam Wang wb.io.probe_ttob_check_req <> mainPipe.io.probe_ttob_check_req 989b8f6ff86SWilliam Wang wb.io.probe_ttob_check_resp <> mainPipe.io.probe_ttob_check_resp 990ef3b5b96SWilliam Wang 991ef3b5b96SWilliam Wang io.lsu.release.valid := RegNext(wb.io.req.fire()) 992ef3b5b96SWilliam Wang io.lsu.release.bits.paddr := RegNext(wb.io.req.bits.addr) 993ef3b5b96SWilliam Wang // Note: RegNext() is required by: 994ef3b5b96SWilliam Wang // * load queue released flag update logic 995ef3b5b96SWilliam Wang // * load / load violation check logic 996ef3b5b96SWilliam Wang // * and timing requirements 997ef3b5b96SWilliam Wang // CHANGE IT WITH CARE 9981f0e2dc7SJiawei Lin 9991f0e2dc7SJiawei Lin // connect bus d 10001f0e2dc7SJiawei Lin missQueue.io.mem_grant.valid := false.B 10011f0e2dc7SJiawei Lin missQueue.io.mem_grant.bits := DontCare 10021f0e2dc7SJiawei Lin 10031f0e2dc7SJiawei Lin wb.io.mem_grant.valid := false.B 10041f0e2dc7SJiawei Lin wb.io.mem_grant.bits := DontCare 10051f0e2dc7SJiawei Lin 10061f0e2dc7SJiawei Lin // in L1DCache, we ony expect Grant[Data] and ReleaseAck 10071f0e2dc7SJiawei Lin bus.d.ready := false.B 10081f0e2dc7SJiawei Lin when (bus.d.bits.opcode === TLMessages.Grant || bus.d.bits.opcode === TLMessages.GrantData) { 10091f0e2dc7SJiawei Lin missQueue.io.mem_grant <> bus.d 10101f0e2dc7SJiawei Lin } .elsewhen (bus.d.bits.opcode === TLMessages.ReleaseAck) { 10111f0e2dc7SJiawei Lin wb.io.mem_grant <> bus.d 10121f0e2dc7SJiawei Lin } .otherwise { 10131f0e2dc7SJiawei Lin assert (!bus.d.fire()) 10141f0e2dc7SJiawei Lin } 10151f0e2dc7SJiawei Lin 10161f0e2dc7SJiawei Lin //---------------------------------------- 1017ad3ba452Szhanglinjuan // replacement algorithm 1018ad3ba452Szhanglinjuan val replacer = ReplacementPolicy.fromString(cacheParams.replacer, nWays, nSets) 1019ad3ba452Szhanglinjuan 1020ad3ba452Szhanglinjuan val replWayReqs = ldu.map(_.io.replace_way) ++ Seq(mainPipe.io.replace_way) 1021ad3ba452Szhanglinjuan replWayReqs.foreach{ 1022ad3ba452Szhanglinjuan case req => 1023ad3ba452Szhanglinjuan req.way := DontCare 1024ad3ba452Szhanglinjuan when (req.set.valid) { req.way := replacer.way(req.set.bits) } 1025ad3ba452Szhanglinjuan } 1026ad3ba452Szhanglinjuan 1027ad3ba452Szhanglinjuan val replAccessReqs = ldu.map(_.io.replace_access) ++ Seq( 102892816bbcSWilliam Wang mainPipe.io.replace_access 1029ad3ba452Szhanglinjuan ) 1030ad3ba452Szhanglinjuan val touchWays = Seq.fill(replAccessReqs.size)(Wire(ValidIO(UInt(log2Up(nWays).W)))) 1031ad3ba452Szhanglinjuan touchWays.zip(replAccessReqs).foreach { 1032ad3ba452Szhanglinjuan case (w, req) => 1033ad3ba452Szhanglinjuan w.valid := req.valid 1034ad3ba452Szhanglinjuan w.bits := req.bits.way 1035ad3ba452Szhanglinjuan } 1036ad3ba452Szhanglinjuan val touchSets = replAccessReqs.map(_.bits.set) 1037ad3ba452Szhanglinjuan replacer.access(touchSets, touchWays) 1038ad3ba452Szhanglinjuan 1039ad3ba452Szhanglinjuan //---------------------------------------- 10401f0e2dc7SJiawei Lin // assertions 10411f0e2dc7SJiawei Lin // dcache should only deal with DRAM addresses 10421f0e2dc7SJiawei Lin when (bus.a.fire()) { 10431f0e2dc7SJiawei Lin assert(bus.a.bits.address >= 0x80000000L.U) 10441f0e2dc7SJiawei Lin } 10451f0e2dc7SJiawei Lin when (bus.b.fire()) { 10461f0e2dc7SJiawei Lin assert(bus.b.bits.address >= 0x80000000L.U) 10471f0e2dc7SJiawei Lin } 10481f0e2dc7SJiawei Lin when (bus.c.fire()) { 10491f0e2dc7SJiawei Lin assert(bus.c.bits.address >= 0x80000000L.U) 10501f0e2dc7SJiawei Lin } 10511f0e2dc7SJiawei Lin 10521f0e2dc7SJiawei Lin //---------------------------------------- 10531f0e2dc7SJiawei Lin // utility functions 10541f0e2dc7SJiawei Lin def block_decoupled[T <: Data](source: DecoupledIO[T], sink: DecoupledIO[T], block_signal: Bool) = { 10551f0e2dc7SJiawei Lin sink.valid := source.valid && !block_signal 10561f0e2dc7SJiawei Lin source.ready := sink.ready && !block_signal 10571f0e2dc7SJiawei Lin sink.bits := source.bits 10581f0e2dc7SJiawei Lin } 10591f0e2dc7SJiawei Lin 10601f0e2dc7SJiawei Lin //---------------------------------------- 1061e19f7967SWilliam Wang // Customized csr cache op support 1062e19f7967SWilliam Wang val cacheOpDecoder = Module(new CSRCacheOpDecoder("dcache", CacheInstrucion.COP_ID_DCACHE)) 1063e19f7967SWilliam Wang cacheOpDecoder.io.csr <> io.csr 1064c3a5fe5fShappy-lx bankedDataArray.io.cacheOp.req := cacheOpDecoder.io.cache.req 1065c3a5fe5fShappy-lx // dup cacheOp_req_valid 1066779109e3Slixin bankedDataArray.io.cacheOp_req_dup.zipWithIndex.map{ case(dup, i) => dup := cacheOpDecoder.io.cache_req_dup(i) } 1067c3a5fe5fShappy-lx // dup cacheOp_req_bits_opCode 1068779109e3Slixin bankedDataArray.io.cacheOp_req_bits_opCode_dup.zipWithIndex.map{ case (dup, i) => dup := cacheOpDecoder.io.cacheOp_req_bits_opCode_dup(i) } 1069c3a5fe5fShappy-lx 1070e19f7967SWilliam Wang tagArray.io.cacheOp.req := cacheOpDecoder.io.cache.req 1071c3a5fe5fShappy-lx // dup cacheOp_req_valid 1072779109e3Slixin tagArray.io.cacheOp_req_dup.zipWithIndex.map{ case(dup, i) => dup := cacheOpDecoder.io.cache_req_dup(i) } 1073c3a5fe5fShappy-lx // dup cacheOp_req_bits_opCode 1074779109e3Slixin tagArray.io.cacheOp_req_bits_opCode_dup.zipWithIndex.map{ case (dup, i) => dup := cacheOpDecoder.io.cacheOp_req_bits_opCode_dup(i) } 1075e47fc57cSlixin 1076e19f7967SWilliam Wang cacheOpDecoder.io.cache.resp.valid := bankedDataArray.io.cacheOp.resp.valid || 1077e19f7967SWilliam Wang tagArray.io.cacheOp.resp.valid 1078e19f7967SWilliam Wang cacheOpDecoder.io.cache.resp.bits := Mux1H(List( 1079e19f7967SWilliam Wang bankedDataArray.io.cacheOp.resp.valid -> bankedDataArray.io.cacheOp.resp.bits, 1080e19f7967SWilliam Wang tagArray.io.cacheOp.resp.valid -> tagArray.io.cacheOp.resp.bits, 1081e19f7967SWilliam Wang )) 1082026615fcSWilliam Wang cacheOpDecoder.io.error := io.error 108341b68474SWilliam Wang assert(!((bankedDataArray.io.cacheOp.resp.valid +& tagArray.io.cacheOp.resp.valid) > 1.U)) 1084e19f7967SWilliam Wang 1085e19f7967SWilliam Wang //---------------------------------------- 10861f0e2dc7SJiawei Lin // performance counters 10871f0e2dc7SJiawei Lin val num_loads = PopCount(ldu.map(e => e.io.lsu.req.fire())) 10881f0e2dc7SJiawei Lin XSPerfAccumulate("num_loads", num_loads) 10891f0e2dc7SJiawei Lin 10901f0e2dc7SJiawei Lin io.mshrFull := missQueue.io.full 1091ad3ba452Szhanglinjuan 1092ad3ba452Szhanglinjuan // performance counter 1093ad3ba452Szhanglinjuan val ld_access = Wire(Vec(LoadPipelineWidth, missQueue.io.debug_early_replace.last.cloneType)) 1094ad3ba452Szhanglinjuan val st_access = Wire(ld_access.last.cloneType) 1095ad3ba452Szhanglinjuan ld_access.zip(ldu).foreach { 1096ad3ba452Szhanglinjuan case (a, u) => 1097ad3ba452Szhanglinjuan a.valid := RegNext(u.io.lsu.req.fire()) && !u.io.lsu.s1_kill 1098ad3ba452Szhanglinjuan a.bits.idx := RegNext(get_idx(u.io.lsu.req.bits.addr)) 109903efd994Shappy-lx a.bits.tag := get_tag(u.io.lsu.s1_paddr_dup_dcache) 1100ad3ba452Szhanglinjuan } 1101ad3ba452Szhanglinjuan st_access.valid := RegNext(mainPipe.io.store_req.fire()) 1102ad3ba452Szhanglinjuan st_access.bits.idx := RegNext(get_idx(mainPipe.io.store_req.bits.vaddr)) 1103ad3ba452Szhanglinjuan st_access.bits.tag := RegNext(get_tag(mainPipe.io.store_req.bits.addr)) 1104ad3ba452Szhanglinjuan val access_info = ld_access.toSeq ++ Seq(st_access) 1105ad3ba452Szhanglinjuan val early_replace = RegNext(missQueue.io.debug_early_replace) 1106ad3ba452Szhanglinjuan val access_early_replace = access_info.map { 1107ad3ba452Szhanglinjuan case acc => 1108ad3ba452Szhanglinjuan Cat(early_replace.map { 1109ad3ba452Szhanglinjuan case r => 1110ad3ba452Szhanglinjuan acc.valid && r.valid && 1111ad3ba452Szhanglinjuan acc.bits.tag === r.bits.tag && 1112ad3ba452Szhanglinjuan acc.bits.idx === r.bits.idx 1113ad3ba452Szhanglinjuan }) 1114ad3ba452Szhanglinjuan } 1115ad3ba452Szhanglinjuan XSPerfAccumulate("access_early_replace", PopCount(Cat(access_early_replace))) 1116cd365d4cSrvcoresjw 11171ca0e4f3SYinan Xu val perfEvents = (Seq(wb, mainPipe, missQueue, probeQueue) ++ ldu).flatMap(_.getPerfEvents) 11181ca0e4f3SYinan Xu generatePerfEvent() 11191f0e2dc7SJiawei Lin} 11201f0e2dc7SJiawei Lin 11211f0e2dc7SJiawei Linclass AMOHelper() extends ExtModule { 11221f0e2dc7SJiawei Lin val clock = IO(Input(Clock())) 11231f0e2dc7SJiawei Lin val enable = IO(Input(Bool())) 11241f0e2dc7SJiawei Lin val cmd = IO(Input(UInt(5.W))) 11251f0e2dc7SJiawei Lin val addr = IO(Input(UInt(64.W))) 11261f0e2dc7SJiawei Lin val wdata = IO(Input(UInt(64.W))) 11271f0e2dc7SJiawei Lin val mask = IO(Input(UInt(8.W))) 11281f0e2dc7SJiawei Lin val rdata = IO(Output(UInt(64.W))) 11291f0e2dc7SJiawei Lin} 11301f0e2dc7SJiawei Lin 11314f94c0c6SJiawei Linclass DCacheWrapper()(implicit p: Parameters) extends LazyModule with HasXSParameter { 11321f0e2dc7SJiawei Lin 11334f94c0c6SJiawei Lin val useDcache = coreParams.dcacheParametersOpt.nonEmpty 11344f94c0c6SJiawei Lin val clientNode = if (useDcache) TLIdentityNode() else null 11354f94c0c6SJiawei Lin val dcache = if (useDcache) LazyModule(new DCache()) else null 11364f94c0c6SJiawei Lin if (useDcache) { 11371f0e2dc7SJiawei Lin clientNode := dcache.clientNode 11381f0e2dc7SJiawei Lin } 11391f0e2dc7SJiawei Lin 11401ca0e4f3SYinan Xu lazy val module = new LazyModuleImp(this) with HasPerfEvents { 11411f0e2dc7SJiawei Lin val io = IO(new DCacheIO) 11421ca0e4f3SYinan Xu val perfEvents = if (!useDcache) { 11434f94c0c6SJiawei Lin // a fake dcache which uses dpi-c to access memory, only for debug usage! 11441f0e2dc7SJiawei Lin val fake_dcache = Module(new FakeDCache()) 11451f0e2dc7SJiawei Lin io <> fake_dcache.io 11461ca0e4f3SYinan Xu Seq() 11471f0e2dc7SJiawei Lin } 11481f0e2dc7SJiawei Lin else { 11491f0e2dc7SJiawei Lin io <> dcache.module.io 11501ca0e4f3SYinan Xu dcache.module.getPerfEvents 11511f0e2dc7SJiawei Lin } 11521ca0e4f3SYinan Xu generatePerfEvent() 11531f0e2dc7SJiawei Lin } 11541f0e2dc7SJiawei Lin} 1155