11f0e2dc7SJiawei Lin/*************************************************************************************** 21f0e2dc7SJiawei Lin* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 31f0e2dc7SJiawei Lin* Copyright (c) 2020-2021 Peng Cheng Laboratory 41f0e2dc7SJiawei Lin* 51f0e2dc7SJiawei Lin* XiangShan is licensed under Mulan PSL v2. 61f0e2dc7SJiawei Lin* You can use this software according to the terms and conditions of the Mulan PSL v2. 71f0e2dc7SJiawei Lin* You may obtain a copy of Mulan PSL v2 at: 81f0e2dc7SJiawei Lin* http://license.coscl.org.cn/MulanPSL2 91f0e2dc7SJiawei Lin* 101f0e2dc7SJiawei Lin* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 111f0e2dc7SJiawei Lin* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 121f0e2dc7SJiawei Lin* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 131f0e2dc7SJiawei Lin* 141f0e2dc7SJiawei Lin* See the Mulan PSL v2 for more details. 151f0e2dc7SJiawei Lin***************************************************************************************/ 161f0e2dc7SJiawei Lin 171f0e2dc7SJiawei Linpackage xiangshan.cache 181f0e2dc7SJiawei Lin 191f0e2dc7SJiawei Linimport chipsalliance.rocketchip.config.Parameters 201f0e2dc7SJiawei Linimport chisel3._ 211f0e2dc7SJiawei Linimport chisel3.experimental.ExtModule 221f0e2dc7SJiawei Linimport chisel3.util._ 231f0e2dc7SJiawei Linimport xiangshan._ 241f0e2dc7SJiawei Linimport utils._ 253c02ee8fSwakafaimport utility._ 261f0e2dc7SJiawei Linimport freechips.rocketchip.diplomacy.{IdRange, LazyModule, LazyModuleImp, TransferSizes} 271f0e2dc7SJiawei Linimport freechips.rocketchip.tilelink._ 285668a921SJiawei Linimport freechips.rocketchip.util.{BundleFieldBase, UIntToOH1} 291f0e2dc7SJiawei Linimport device.RAMHelper 305668a921SJiawei Linimport huancun.{AliasField, AliasKey, DirtyField, PreferCacheField, PrefetchField} 313c02ee8fSwakafaimport utility.FastArbiter 32b36dd5fdSWilliam Wangimport mem.{AddPipelineReg} 33144422dcSMaxpicca-Liimport xiangshan.cache.dcache.ReplayCarry 345668a921SJiawei Lin 35ad3ba452Szhanglinjuanimport scala.math.max 361f0e2dc7SJiawei Lin 371f0e2dc7SJiawei Lin// DCache specific parameters 381f0e2dc7SJiawei Lincase class DCacheParameters 391f0e2dc7SJiawei Lin( 401f0e2dc7SJiawei Lin nSets: Int = 256, 411f0e2dc7SJiawei Lin nWays: Int = 8, 42af22dd7cSWilliam Wang rowBits: Int = 64, 431f0e2dc7SJiawei Lin tagECC: Option[String] = None, 441f0e2dc7SJiawei Lin dataECC: Option[String] = None, 45300ded30SWilliam Wang replacer: Option[String] = Some("setplru"), 461f0e2dc7SJiawei Lin nMissEntries: Int = 1, 471f0e2dc7SJiawei Lin nProbeEntries: Int = 1, 481f0e2dc7SJiawei Lin nReleaseEntries: Int = 1, 491f0e2dc7SJiawei Lin nMMIOEntries: Int = 1, 501f0e2dc7SJiawei Lin nMMIOs: Int = 1, 51fddcfe1fSwakafa blockBytes: Int = 64, 52fddcfe1fSwakafa alwaysReleaseData: Boolean = true 531f0e2dc7SJiawei Lin) extends L1CacheParameters { 541f0e2dc7SJiawei Lin // if sets * blockBytes > 4KB(page size), 551f0e2dc7SJiawei Lin // cache alias will happen, 561f0e2dc7SJiawei Lin // we need to avoid this by recoding additional bits in L2 cache 571f0e2dc7SJiawei Lin val setBytes = nSets * blockBytes 581f0e2dc7SJiawei Lin val aliasBitsOpt = if(setBytes > pageSize) Some(log2Ceil(setBytes / pageSize)) else None 591f0e2dc7SJiawei Lin val reqFields: Seq[BundleFieldBase] = Seq( 601f0e2dc7SJiawei Lin PrefetchField(), 611f0e2dc7SJiawei Lin PreferCacheField() 621f0e2dc7SJiawei Lin ) ++ aliasBitsOpt.map(AliasField) 631f0e2dc7SJiawei Lin val echoFields: Seq[BundleFieldBase] = Seq(DirtyField()) 641f0e2dc7SJiawei Lin 651f0e2dc7SJiawei Lin def tagCode: Code = Code.fromString(tagECC) 661f0e2dc7SJiawei Lin 671f0e2dc7SJiawei Lin def dataCode: Code = Code.fromString(dataECC) 681f0e2dc7SJiawei Lin} 691f0e2dc7SJiawei Lin 701f0e2dc7SJiawei Lin// Physical Address 711f0e2dc7SJiawei Lin// -------------------------------------- 721f0e2dc7SJiawei Lin// | Physical Tag | PIndex | Offset | 731f0e2dc7SJiawei Lin// -------------------------------------- 741f0e2dc7SJiawei Lin// | 751f0e2dc7SJiawei Lin// DCacheTagOffset 761f0e2dc7SJiawei Lin// 771f0e2dc7SJiawei Lin// Virtual Address 781f0e2dc7SJiawei Lin// -------------------------------------- 791f0e2dc7SJiawei Lin// | Above index | Set | Bank | Offset | 801f0e2dc7SJiawei Lin// -------------------------------------- 811f0e2dc7SJiawei Lin// | | | | 82ca18a0b4SWilliam Wang// | | | 0 831f0e2dc7SJiawei Lin// | | DCacheBankOffset 841f0e2dc7SJiawei Lin// | DCacheSetOffset 851f0e2dc7SJiawei Lin// DCacheAboveIndexOffset 861f0e2dc7SJiawei Lin 871f0e2dc7SJiawei Lin// Default DCache size = 64 sets * 8 ways * 8 banks * 8 Byte = 32K Byte 881f0e2dc7SJiawei Lin 891f0e2dc7SJiawei Lintrait HasDCacheParameters extends HasL1CacheParameters { 901f0e2dc7SJiawei Lin val cacheParams = dcacheParameters 911f0e2dc7SJiawei Lin val cfg = cacheParams 921f0e2dc7SJiawei Lin 931f0e2dc7SJiawei Lin def encWordBits = cacheParams.dataCode.width(wordBits) 941f0e2dc7SJiawei Lin 951f0e2dc7SJiawei Lin def encRowBits = encWordBits * rowWords // for DuplicatedDataArray only 961f0e2dc7SJiawei Lin def eccBits = encWordBits - wordBits 971f0e2dc7SJiawei Lin 98e19f7967SWilliam Wang def encTagBits = cacheParams.tagCode.width(tagBits) 99e19f7967SWilliam Wang def eccTagBits = encTagBits - tagBits 100e19f7967SWilliam Wang 1011f0e2dc7SJiawei Lin def blockProbeAfterGrantCycles = 8 // give the processor some time to issue a request after a grant 1021f0e2dc7SJiawei Lin 103*3af6aa6eSWilliam Wang def nSourceType = 4 1041f0e2dc7SJiawei Lin def sourceTypeWidth = log2Up(nSourceType) 1051f0e2dc7SJiawei Lin def LOAD_SOURCE = 0 1061f0e2dc7SJiawei Lin def STORE_SOURCE = 1 1071f0e2dc7SJiawei Lin def AMO_SOURCE = 2 10870bbe6d5SWilliam Wang def DCACHE_PREFETCH = 3 1091f0e2dc7SJiawei Lin 1101f0e2dc7SJiawei Lin // each source use a id to distinguish its multiple reqs 1118b1251e1SWilliam Wang def reqIdWidth = log2Up(nEntries) max log2Up(StoreBufferSize) 1121f0e2dc7SJiawei Lin 113300ded30SWilliam Wang require(isPow2(cfg.nMissEntries)) // TODO 114300ded30SWilliam Wang // require(isPow2(cfg.nReleaseEntries)) 115300ded30SWilliam Wang require(cfg.nMissEntries < cfg.nReleaseEntries) 116300ded30SWilliam Wang val nEntries = cfg.nMissEntries + cfg.nReleaseEntries 117300ded30SWilliam Wang val releaseIdBase = cfg.nMissEntries 118ad3ba452Szhanglinjuan 1191f0e2dc7SJiawei Lin // banked dcache support 1201f0e2dc7SJiawei Lin val DCacheSets = cacheParams.nSets 1211f0e2dc7SJiawei Lin val DCacheWays = cacheParams.nWays 122af22dd7cSWilliam Wang val DCacheBanks = 8 // hardcoded 123af22dd7cSWilliam Wang val DCacheSRAMRowBits = cacheParams.rowBits // hardcoded 124ca18a0b4SWilliam Wang val DCacheWordBits = 64 // hardcoded 125ca18a0b4SWilliam Wang val DCacheWordBytes = DCacheWordBits / 8 126af22dd7cSWilliam Wang require(DCacheSRAMRowBits == 64) 1271f0e2dc7SJiawei Lin 128ca18a0b4SWilliam Wang val DCacheSizeBits = DCacheSRAMRowBits * DCacheBanks * DCacheWays * DCacheSets 129ca18a0b4SWilliam Wang val DCacheSizeBytes = DCacheSizeBits / 8 130ca18a0b4SWilliam Wang val DCacheSizeWords = DCacheSizeBits / 64 // TODO 1311f0e2dc7SJiawei Lin 1321f0e2dc7SJiawei Lin val DCacheSameVPAddrLength = 12 1331f0e2dc7SJiawei Lin 1341f0e2dc7SJiawei Lin val DCacheSRAMRowBytes = DCacheSRAMRowBits / 8 135ca18a0b4SWilliam Wang val DCacheWordOffset = log2Up(DCacheWordBytes) 136ca18a0b4SWilliam Wang 137ca18a0b4SWilliam Wang val DCacheBankOffset = log2Up(DCacheSRAMRowBytes) 1381f0e2dc7SJiawei Lin val DCacheSetOffset = DCacheBankOffset + log2Up(DCacheBanks) 1391f0e2dc7SJiawei Lin val DCacheAboveIndexOffset = DCacheSetOffset + log2Up(DCacheSets) 1401f0e2dc7SJiawei Lin val DCacheTagOffset = DCacheAboveIndexOffset min DCacheSameVPAddrLength 141ca18a0b4SWilliam Wang val DCacheLineOffset = DCacheSetOffset 1421f0e2dc7SJiawei Lin 14337225120Ssfencevma // uncache 14437225120Ssfencevma val uncacheIdxBits = log2Up(StoreQueueSize) max log2Up(LoadQueueSize) 145b52348aeSWilliam Wang // hardware prefetch parameters 146b52348aeSWilliam Wang // high confidence hardware prefetch port 147b52348aeSWilliam Wang val HighConfHWPFLoadPort = LoadPipelineWidth - 1 // use the last load port by default 148b52348aeSWilliam Wang val IgnorePrefetchConfidence = false 14937225120Ssfencevma 1506c7e5e86Szhanglinjuan // parameters about duplicating regs to solve fanout 1516c7e5e86Szhanglinjuan // In Main Pipe: 1526c7e5e86Szhanglinjuan // tag_write.ready -> data_write.valid * 8 banks 1536c7e5e86Szhanglinjuan // tag_write.ready -> meta_write.valid 1546c7e5e86Szhanglinjuan // tag_write.ready -> tag_write.valid 1556c7e5e86Szhanglinjuan // tag_write.ready -> err_write.valid 1566c7e5e86Szhanglinjuan // tag_write.ready -> wb.valid 1576c7e5e86Szhanglinjuan val nDupTagWriteReady = DCacheBanks + 4 1586c7e5e86Szhanglinjuan // In Main Pipe: 1596c7e5e86Szhanglinjuan // data_write.ready -> data_write.valid * 8 banks 1606c7e5e86Szhanglinjuan // data_write.ready -> meta_write.valid 1616c7e5e86Szhanglinjuan // data_write.ready -> tag_write.valid 1626c7e5e86Szhanglinjuan // data_write.ready -> err_write.valid 1636c7e5e86Szhanglinjuan // data_write.ready -> wb.valid 1646c7e5e86Szhanglinjuan val nDupDataWriteReady = DCacheBanks + 4 1656c7e5e86Szhanglinjuan val nDupWbReady = DCacheBanks + 4 1666c7e5e86Szhanglinjuan val nDupStatus = nDupTagWriteReady + nDupDataWriteReady 1676c7e5e86Szhanglinjuan val dataWritePort = 0 1686c7e5e86Szhanglinjuan val metaWritePort = DCacheBanks 1696c7e5e86Szhanglinjuan val tagWritePort = metaWritePort + 1 1706c7e5e86Szhanglinjuan val errWritePort = tagWritePort + 1 1716c7e5e86Szhanglinjuan val wbPort = errWritePort + 1 1726c7e5e86Szhanglinjuan 1731f0e2dc7SJiawei Lin def addr_to_dcache_bank(addr: UInt) = { 1741f0e2dc7SJiawei Lin require(addr.getWidth >= DCacheSetOffset) 1751f0e2dc7SJiawei Lin addr(DCacheSetOffset-1, DCacheBankOffset) 1761f0e2dc7SJiawei Lin } 1771f0e2dc7SJiawei Lin 1781f0e2dc7SJiawei Lin def addr_to_dcache_set(addr: UInt) = { 1791f0e2dc7SJiawei Lin require(addr.getWidth >= DCacheAboveIndexOffset) 1801f0e2dc7SJiawei Lin addr(DCacheAboveIndexOffset-1, DCacheSetOffset) 1811f0e2dc7SJiawei Lin } 1821f0e2dc7SJiawei Lin 1831f0e2dc7SJiawei Lin def get_data_of_bank(bank: Int, data: UInt) = { 1841f0e2dc7SJiawei Lin require(data.getWidth >= (bank+1)*DCacheSRAMRowBits) 1851f0e2dc7SJiawei Lin data(DCacheSRAMRowBits * (bank + 1) - 1, DCacheSRAMRowBits * bank) 1861f0e2dc7SJiawei Lin } 1871f0e2dc7SJiawei Lin 1881f0e2dc7SJiawei Lin def get_mask_of_bank(bank: Int, data: UInt) = { 1891f0e2dc7SJiawei Lin require(data.getWidth >= (bank+1)*DCacheSRAMRowBytes) 1901f0e2dc7SJiawei Lin data(DCacheSRAMRowBytes * (bank + 1) - 1, DCacheSRAMRowBytes * bank) 1911f0e2dc7SJiawei Lin } 1921f0e2dc7SJiawei Lin 193578c21a4Szhanglinjuan def arbiter[T <: Bundle]( 194578c21a4Szhanglinjuan in: Seq[DecoupledIO[T]], 195578c21a4Szhanglinjuan out: DecoupledIO[T], 196578c21a4Szhanglinjuan name: Option[String] = None): Unit = { 197578c21a4Szhanglinjuan val arb = Module(new Arbiter[T](chiselTypeOf(out.bits), in.size)) 198578c21a4Szhanglinjuan if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 199578c21a4Szhanglinjuan for ((a, req) <- arb.io.in.zip(in)) { 200578c21a4Szhanglinjuan a <> req 201578c21a4Szhanglinjuan } 202578c21a4Szhanglinjuan out <> arb.io.out 203578c21a4Szhanglinjuan } 204578c21a4Szhanglinjuan 205b36dd5fdSWilliam Wang def arbiter_with_pipereg[T <: Bundle]( 206b36dd5fdSWilliam Wang in: Seq[DecoupledIO[T]], 207b36dd5fdSWilliam Wang out: DecoupledIO[T], 208b36dd5fdSWilliam Wang name: Option[String] = None): Unit = { 209b36dd5fdSWilliam Wang val arb = Module(new Arbiter[T](chiselTypeOf(out.bits), in.size)) 210b36dd5fdSWilliam Wang if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 211b36dd5fdSWilliam Wang for ((a, req) <- arb.io.in.zip(in)) { 212b36dd5fdSWilliam Wang a <> req 213b36dd5fdSWilliam Wang } 214b36dd5fdSWilliam Wang AddPipelineReg(arb.io.out, out, false.B) 215b36dd5fdSWilliam Wang } 216b36dd5fdSWilliam Wang 217b11ec622Slixin def arbiter_with_pipereg_N_dup[T <: Bundle]( 218b11ec622Slixin in: Seq[DecoupledIO[T]], 219b11ec622Slixin out: DecoupledIO[T], 220c3a5fe5fShappy-lx dups: Seq[DecoupledIO[T]], 221b11ec622Slixin name: Option[String] = None): Unit = { 222b11ec622Slixin val arb = Module(new Arbiter[T](chiselTypeOf(out.bits), in.size)) 223b11ec622Slixin if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 224b11ec622Slixin for ((a, req) <- arb.io.in.zip(in)) { 225b11ec622Slixin a <> req 226b11ec622Slixin } 227b11ec622Slixin for (dup <- dups) { 228c3a5fe5fShappy-lx AddPipelineReg(arb.io.out, dup, false.B) 229b11ec622Slixin } 230c3a5fe5fShappy-lx AddPipelineReg(arb.io.out, out, false.B) 231b11ec622Slixin } 232b11ec622Slixin 233578c21a4Szhanglinjuan def rrArbiter[T <: Bundle]( 234578c21a4Szhanglinjuan in: Seq[DecoupledIO[T]], 235578c21a4Szhanglinjuan out: DecoupledIO[T], 236578c21a4Szhanglinjuan name: Option[String] = None): Unit = { 237578c21a4Szhanglinjuan val arb = Module(new RRArbiter[T](chiselTypeOf(out.bits), in.size)) 238578c21a4Szhanglinjuan if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 239578c21a4Szhanglinjuan for ((a, req) <- arb.io.in.zip(in)) { 240578c21a4Szhanglinjuan a <> req 241578c21a4Szhanglinjuan } 242578c21a4Szhanglinjuan out <> arb.io.out 243578c21a4Szhanglinjuan } 244578c21a4Szhanglinjuan 2457cd72b71Szhanglinjuan def fastArbiter[T <: Bundle]( 2467cd72b71Szhanglinjuan in: Seq[DecoupledIO[T]], 2477cd72b71Szhanglinjuan out: DecoupledIO[T], 2487cd72b71Szhanglinjuan name: Option[String] = None): Unit = { 2497cd72b71Szhanglinjuan val arb = Module(new FastArbiter[T](chiselTypeOf(out.bits), in.size)) 2507cd72b71Szhanglinjuan if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") } 2517cd72b71Szhanglinjuan for ((a, req) <- arb.io.in.zip(in)) { 2527cd72b71Szhanglinjuan a <> req 2537cd72b71Szhanglinjuan } 2547cd72b71Szhanglinjuan out <> arb.io.out 2557cd72b71Szhanglinjuan } 2567cd72b71Szhanglinjuan 257ad3ba452Szhanglinjuan val numReplaceRespPorts = 2 258ad3ba452Szhanglinjuan 2591f0e2dc7SJiawei Lin require(isPow2(nSets), s"nSets($nSets) must be pow2") 2601f0e2dc7SJiawei Lin require(isPow2(nWays), s"nWays($nWays) must be pow2") 2611f0e2dc7SJiawei Lin require(full_divide(rowBits, wordBits), s"rowBits($rowBits) must be multiple of wordBits($wordBits)") 2621f0e2dc7SJiawei Lin require(full_divide(beatBits, rowBits), s"beatBits($beatBits) must be multiple of rowBits($rowBits)") 2631f0e2dc7SJiawei Lin} 2641f0e2dc7SJiawei Lin 2651f0e2dc7SJiawei Linabstract class DCacheModule(implicit p: Parameters) extends L1CacheModule 2661f0e2dc7SJiawei Lin with HasDCacheParameters 2671f0e2dc7SJiawei Lin 2681f0e2dc7SJiawei Linabstract class DCacheBundle(implicit p: Parameters) extends L1CacheBundle 2691f0e2dc7SJiawei Lin with HasDCacheParameters 2701f0e2dc7SJiawei Lin 2711f0e2dc7SJiawei Linclass ReplacementAccessBundle(implicit p: Parameters) extends DCacheBundle { 2721f0e2dc7SJiawei Lin val set = UInt(log2Up(nSets).W) 2731f0e2dc7SJiawei Lin val way = UInt(log2Up(nWays).W) 2741f0e2dc7SJiawei Lin} 2751f0e2dc7SJiawei Lin 276ad3ba452Szhanglinjuanclass ReplacementWayReqIO(implicit p: Parameters) extends DCacheBundle { 277ad3ba452Szhanglinjuan val set = ValidIO(UInt(log2Up(nSets).W)) 278ad3ba452Szhanglinjuan val way = Input(UInt(log2Up(nWays).W)) 279ad3ba452Szhanglinjuan} 280ad3ba452Szhanglinjuan 281*3af6aa6eSWilliam Wangclass DCacheExtraMeta(implicit p: Parameters) extends DCacheBundle 282*3af6aa6eSWilliam Wang{ 283*3af6aa6eSWilliam Wang val error = Bool() // cache line has been marked as corrupted by l2 / ecc error detected when store 284*3af6aa6eSWilliam Wang val prefetch = Bool() // cache line is first required by prefetch 285*3af6aa6eSWilliam Wang val access = Bool() // cache line has been accessed by load / store 286*3af6aa6eSWilliam Wang 287*3af6aa6eSWilliam Wang // val debug_access_timestamp = UInt(64.W) // last time a load / store / refill access that cacheline 288*3af6aa6eSWilliam Wang} 289*3af6aa6eSWilliam Wang 2901f0e2dc7SJiawei Lin// memory request in word granularity(load, mmio, lr/sc, atomics) 2911f0e2dc7SJiawei Linclass DCacheWordReq(implicit p: Parameters) extends DCacheBundle 2921f0e2dc7SJiawei Lin{ 2931f0e2dc7SJiawei Lin val cmd = UInt(M_SZ.W) 2941f0e2dc7SJiawei Lin val addr = UInt(PAddrBits.W) 2951f0e2dc7SJiawei Lin val data = UInt(DataBits.W) 2961f0e2dc7SJiawei Lin val mask = UInt((DataBits/8).W) 2971f0e2dc7SJiawei Lin val id = UInt(reqIdWidth.W) 2983f4ec46fSCODE-JTZ val instrtype = UInt(sourceTypeWidth.W) 299144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 3001f0e2dc7SJiawei Lin def dump() = { 3011f0e2dc7SJiawei Lin XSDebug("DCacheWordReq: cmd: %x addr: %x data: %x mask: %x id: %d\n", 3021f0e2dc7SJiawei Lin cmd, addr, data, mask, id) 3031f0e2dc7SJiawei Lin } 3041f0e2dc7SJiawei Lin} 3051f0e2dc7SJiawei Lin 3061f0e2dc7SJiawei Lin// memory request in word granularity(store) 3071f0e2dc7SJiawei Linclass DCacheLineReq(implicit p: Parameters) extends DCacheBundle 3081f0e2dc7SJiawei Lin{ 3091f0e2dc7SJiawei Lin val cmd = UInt(M_SZ.W) 3101f0e2dc7SJiawei Lin val vaddr = UInt(VAddrBits.W) 3111f0e2dc7SJiawei Lin val addr = UInt(PAddrBits.W) 3121f0e2dc7SJiawei Lin val data = UInt((cfg.blockBytes * 8).W) 3131f0e2dc7SJiawei Lin val mask = UInt(cfg.blockBytes.W) 3141f0e2dc7SJiawei Lin val id = UInt(reqIdWidth.W) 3151f0e2dc7SJiawei Lin def dump() = { 3161f0e2dc7SJiawei Lin XSDebug("DCacheLineReq: cmd: %x addr: %x data: %x mask: %x id: %d\n", 3171f0e2dc7SJiawei Lin cmd, addr, data, mask, id) 3181f0e2dc7SJiawei Lin } 319ad3ba452Szhanglinjuan def idx: UInt = get_idx(vaddr) 3201f0e2dc7SJiawei Lin} 3211f0e2dc7SJiawei Lin 3221f0e2dc7SJiawei Linclass DCacheWordReqWithVaddr(implicit p: Parameters) extends DCacheWordReq { 3231f0e2dc7SJiawei Lin val vaddr = UInt(VAddrBits.W) 324ca18a0b4SWilliam Wang val wline = Bool() 3251f0e2dc7SJiawei Lin} 3261f0e2dc7SJiawei Lin 3276786cfb7SWilliam Wangclass BaseDCacheWordResp(implicit p: Parameters) extends DCacheBundle 3281f0e2dc7SJiawei Lin{ 329144422dcSMaxpicca-Li // read in s2 3301f0e2dc7SJiawei Lin val data = UInt(DataBits.W) 331144422dcSMaxpicca-Li // select in s3 332144422dcSMaxpicca-Li val data_delayed = UInt(DataBits.W) 333026615fcSWilliam Wang val id = UInt(reqIdWidth.W) 334026615fcSWilliam Wang 3351f0e2dc7SJiawei Lin // cache req missed, send it to miss queue 3361f0e2dc7SJiawei Lin val miss = Bool() 337026615fcSWilliam Wang // cache miss, and failed to enter the missqueue, replay from RS is needed 3381f0e2dc7SJiawei Lin val replay = Bool() 339144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 340026615fcSWilliam Wang // data has been corrupted 341a469aa4bSWilliam Wang val tag_error = Bool() // tag error 342144422dcSMaxpicca-Li val mshr_id = UInt(log2Up(cfg.nMissEntries).W) 343144422dcSMaxpicca-Li 3441f0e2dc7SJiawei Lin def dump() = { 3451f0e2dc7SJiawei Lin XSDebug("DCacheWordResp: data: %x id: %d miss: %b replay: %b\n", 3461f0e2dc7SJiawei Lin data, id, miss, replay) 3471f0e2dc7SJiawei Lin } 3481f0e2dc7SJiawei Lin} 3491f0e2dc7SJiawei Lin 3506786cfb7SWilliam Wangclass DCacheWordResp(implicit p: Parameters) extends BaseDCacheWordResp 3516786cfb7SWilliam Wang{ 3526786cfb7SWilliam Wang // 1 cycle after data resp 3536786cfb7SWilliam Wang val error_delayed = Bool() // all kinds of errors, include tag error 3546786cfb7SWilliam Wang} 3556786cfb7SWilliam Wang 356a19ae480SWilliam Wangclass BankedDCacheWordResp(implicit p: Parameters) extends DCacheWordResp 357a19ae480SWilliam Wang{ 358a19ae480SWilliam Wang val bank_data = Vec(DCacheBanks, Bits(DCacheSRAMRowBits.W)) 359a19ae480SWilliam Wang val bank_oh = UInt(DCacheBanks.W) 360*3af6aa6eSWilliam Wang 361*3af6aa6eSWilliam Wang val meta_prefetch = Bool() 362*3af6aa6eSWilliam Wang val meta_access = Bool() 363a19ae480SWilliam Wang} 364a19ae480SWilliam Wang 3656786cfb7SWilliam Wangclass DCacheWordRespWithError(implicit p: Parameters) extends BaseDCacheWordResp 3666786cfb7SWilliam Wang{ 3676786cfb7SWilliam Wang val error = Bool() // all kinds of errors, include tag error 3686786cfb7SWilliam Wang} 3696786cfb7SWilliam Wang 3701f0e2dc7SJiawei Linclass DCacheLineResp(implicit p: Parameters) extends DCacheBundle 3711f0e2dc7SJiawei Lin{ 3721f0e2dc7SJiawei Lin val data = UInt((cfg.blockBytes * 8).W) 3731f0e2dc7SJiawei Lin // cache req missed, send it to miss queue 3741f0e2dc7SJiawei Lin val miss = Bool() 3751f0e2dc7SJiawei Lin // cache req nacked, replay it later 3761f0e2dc7SJiawei Lin val replay = Bool() 3771f0e2dc7SJiawei Lin val id = UInt(reqIdWidth.W) 3781f0e2dc7SJiawei Lin def dump() = { 3791f0e2dc7SJiawei Lin XSDebug("DCacheLineResp: data: %x id: %d miss: %b replay: %b\n", 3801f0e2dc7SJiawei Lin data, id, miss, replay) 3811f0e2dc7SJiawei Lin } 3821f0e2dc7SJiawei Lin} 3831f0e2dc7SJiawei Lin 3841f0e2dc7SJiawei Linclass Refill(implicit p: Parameters) extends DCacheBundle 3851f0e2dc7SJiawei Lin{ 3861f0e2dc7SJiawei Lin val addr = UInt(PAddrBits.W) 3871f0e2dc7SJiawei Lin val data = UInt(l1BusDataWidth.W) 388026615fcSWilliam Wang val error = Bool() // refilled data has been corrupted 3891f0e2dc7SJiawei Lin // for debug usage 3901f0e2dc7SJiawei Lin val data_raw = UInt((cfg.blockBytes * 8).W) 3911f0e2dc7SJiawei Lin val hasdata = Bool() 3921f0e2dc7SJiawei Lin val refill_done = Bool() 3931f0e2dc7SJiawei Lin def dump() = { 3941f0e2dc7SJiawei Lin XSDebug("Refill: addr: %x data: %x\n", addr, data) 3951f0e2dc7SJiawei Lin } 396683c1411Shappy-lx val id = UInt(log2Up(cfg.nMissEntries).W) 3971f0e2dc7SJiawei Lin} 3981f0e2dc7SJiawei Lin 39967682d05SWilliam Wangclass Release(implicit p: Parameters) extends DCacheBundle 40067682d05SWilliam Wang{ 40167682d05SWilliam Wang val paddr = UInt(PAddrBits.W) 40267682d05SWilliam Wang def dump() = { 40367682d05SWilliam Wang XSDebug("Release: paddr: %x\n", paddr(PAddrBits-1, DCacheTagOffset)) 40467682d05SWilliam Wang } 40567682d05SWilliam Wang} 40667682d05SWilliam Wang 4071f0e2dc7SJiawei Linclass DCacheWordIO(implicit p: Parameters) extends DCacheBundle 4081f0e2dc7SJiawei Lin{ 4091f0e2dc7SJiawei Lin val req = DecoupledIO(new DCacheWordReq) 410144422dcSMaxpicca-Li val resp = Flipped(DecoupledIO(new DCacheWordResp)) 4111f0e2dc7SJiawei Lin} 4121f0e2dc7SJiawei Lin 41337225120Ssfencevma 41437225120Ssfencevmaclass UncacheWordReq(implicit p: Parameters) extends DCacheBundle 41537225120Ssfencevma{ 41637225120Ssfencevma val cmd = UInt(M_SZ.W) 41737225120Ssfencevma val addr = UInt(PAddrBits.W) 41837225120Ssfencevma val data = UInt(DataBits.W) 41937225120Ssfencevma val mask = UInt((DataBits/8).W) 42037225120Ssfencevma val id = UInt(uncacheIdxBits.W) 42137225120Ssfencevma val instrtype = UInt(sourceTypeWidth.W) 42237225120Ssfencevma val atomic = Bool() 423144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 42437225120Ssfencevma 42537225120Ssfencevma def dump() = { 42637225120Ssfencevma XSDebug("UncacheWordReq: cmd: %x addr: %x data: %x mask: %x id: %d\n", 42737225120Ssfencevma cmd, addr, data, mask, id) 42837225120Ssfencevma } 42937225120Ssfencevma} 43037225120Ssfencevma 43137225120Ssfencevmaclass UncacheWorResp(implicit p: Parameters) extends DCacheBundle 43237225120Ssfencevma{ 43337225120Ssfencevma val data = UInt(DataBits.W) 434144422dcSMaxpicca-Li val data_delayed = UInt(DataBits.W) 43537225120Ssfencevma val id = UInt(uncacheIdxBits.W) 43637225120Ssfencevma val miss = Bool() 43737225120Ssfencevma val replay = Bool() 43837225120Ssfencevma val tag_error = Bool() 43937225120Ssfencevma val error = Bool() 440144422dcSMaxpicca-Li val replayCarry = new ReplayCarry 441144422dcSMaxpicca-Li val mshr_id = UInt(log2Up(cfg.nMissEntries).W) // FIXME: why uncacheWordResp is not merged to baseDcacheResp 44237225120Ssfencevma 44337225120Ssfencevma def dump() = { 44437225120Ssfencevma XSDebug("UncacheWordResp: data: %x id: %d miss: %b replay: %b, tag_error: %b, error: %b\n", 44537225120Ssfencevma data, id, miss, replay, tag_error, error) 44637225120Ssfencevma } 44737225120Ssfencevma} 44837225120Ssfencevma 4496786cfb7SWilliam Wangclass UncacheWordIO(implicit p: Parameters) extends DCacheBundle 4506786cfb7SWilliam Wang{ 45137225120Ssfencevma val req = DecoupledIO(new UncacheWordReq) 45237225120Ssfencevma val resp = Flipped(DecoupledIO(new UncacheWorResp)) 4536786cfb7SWilliam Wang} 4546786cfb7SWilliam Wang 45562cb71fbShappy-lxclass AtomicsResp(implicit p: Parameters) extends DCacheBundle { 45662cb71fbShappy-lx val data = UInt(DataBits.W) 45762cb71fbShappy-lx val miss = Bool() 45862cb71fbShappy-lx val miss_id = UInt(log2Up(cfg.nMissEntries).W) 45962cb71fbShappy-lx val replay = Bool() 46062cb71fbShappy-lx val error = Bool() 46162cb71fbShappy-lx 46262cb71fbShappy-lx val ack_miss_queue = Bool() 46362cb71fbShappy-lx 46462cb71fbShappy-lx val id = UInt(reqIdWidth.W) 46562cb71fbShappy-lx} 46662cb71fbShappy-lx 4676786cfb7SWilliam Wangclass AtomicWordIO(implicit p: Parameters) extends DCacheBundle 4681f0e2dc7SJiawei Lin{ 46962cb71fbShappy-lx val req = DecoupledIO(new MainPipeReq) 47062cb71fbShappy-lx val resp = Flipped(ValidIO(new AtomicsResp)) 47162cb71fbShappy-lx val block_lr = Input(Bool()) 4721f0e2dc7SJiawei Lin} 4731f0e2dc7SJiawei Lin 4741f0e2dc7SJiawei Lin// used by load unit 4751f0e2dc7SJiawei Linclass DCacheLoadIO(implicit p: Parameters) extends DCacheWordIO 4761f0e2dc7SJiawei Lin{ 4771f0e2dc7SJiawei Lin // kill previous cycle's req 4781f0e2dc7SJiawei Lin val s1_kill = Output(Bool()) 479b6982e83SLemover val s2_kill = Output(Bool()) 4801f0e2dc7SJiawei Lin // cycle 0: virtual address: req.addr 4811f0e2dc7SJiawei Lin // cycle 1: physical address: s1_paddr 48203efd994Shappy-lx val s1_paddr_dup_lsu = Output(UInt(PAddrBits.W)) // lsu side paddr 48303efd994Shappy-lx val s1_paddr_dup_dcache = Output(UInt(PAddrBits.W)) // dcache side paddr 4841f0e2dc7SJiawei Lin val s1_disable_fast_wakeup = Input(Bool()) 485d87b76aaSWilliam Wang val s1_bank_conflict = Input(Bool()) 48603efd994Shappy-lx // cycle 2: hit signal 48703efd994Shappy-lx val s2_hit = Input(Bool()) // hit signal for lsu, 48803efd994Shappy-lx 48903efd994Shappy-lx // debug 49003efd994Shappy-lx val debug_s1_hit_way = Input(UInt(nWays.W)) 4911f0e2dc7SJiawei Lin} 4921f0e2dc7SJiawei Lin 4931f0e2dc7SJiawei Linclass DCacheLineIO(implicit p: Parameters) extends DCacheBundle 4941f0e2dc7SJiawei Lin{ 4951f0e2dc7SJiawei Lin val req = DecoupledIO(new DCacheLineReq) 4961f0e2dc7SJiawei Lin val resp = Flipped(DecoupledIO(new DCacheLineResp)) 4971f0e2dc7SJiawei Lin} 4981f0e2dc7SJiawei Lin 499ad3ba452Szhanglinjuanclass DCacheToSbufferIO(implicit p: Parameters) extends DCacheBundle { 500ad3ba452Szhanglinjuan // sbuffer will directly send request to dcache main pipe 501ad3ba452Szhanglinjuan val req = Flipped(Decoupled(new DCacheLineReq)) 502ad3ba452Szhanglinjuan 503ad3ba452Szhanglinjuan val main_pipe_hit_resp = ValidIO(new DCacheLineResp) 504ad3ba452Szhanglinjuan val refill_hit_resp = ValidIO(new DCacheLineResp) 505ad3ba452Szhanglinjuan 506ad3ba452Szhanglinjuan val replay_resp = ValidIO(new DCacheLineResp) 507ad3ba452Szhanglinjuan 508ad3ba452Szhanglinjuan def hit_resps: Seq[ValidIO[DCacheLineResp]] = Seq(main_pipe_hit_resp, refill_hit_resp) 509ad3ba452Szhanglinjuan} 510ad3ba452Szhanglinjuan 511683c1411Shappy-lx// forward tilelink channel D's data to ldu 512683c1411Shappy-lxclass DcacheToLduForwardIO(implicit p: Parameters) extends DCacheBundle { 513683c1411Shappy-lx val valid = Bool() 514683c1411Shappy-lx val data = UInt(l1BusDataWidth.W) 515683c1411Shappy-lx val mshrid = UInt(log2Up(cfg.nMissEntries).W) 516683c1411Shappy-lx val last = Bool() 517683c1411Shappy-lx 518683c1411Shappy-lx def apply(req_valid : Bool, req_data : UInt, req_mshrid : UInt, req_last : Bool) = { 519683c1411Shappy-lx valid := req_valid 520683c1411Shappy-lx data := req_data 521683c1411Shappy-lx mshrid := req_mshrid 522683c1411Shappy-lx last := req_last 523683c1411Shappy-lx } 524683c1411Shappy-lx 525683c1411Shappy-lx def dontCare() = { 526683c1411Shappy-lx valid := false.B 527683c1411Shappy-lx data := DontCare 528683c1411Shappy-lx mshrid := DontCare 529683c1411Shappy-lx last := DontCare 530683c1411Shappy-lx } 531683c1411Shappy-lx 532683c1411Shappy-lx def forward(req_valid : Bool, req_mshr_id : UInt, req_paddr : UInt) = { 533683c1411Shappy-lx val all_match = req_valid && valid && 534683c1411Shappy-lx req_mshr_id === mshrid && 535683c1411Shappy-lx req_paddr(log2Up(refillBytes)) === last 536683c1411Shappy-lx 537683c1411Shappy-lx val forward_D = RegInit(false.B) 538683c1411Shappy-lx val forwardData = RegInit(VecInit(List.fill(8)(0.U(8.W)))) 539683c1411Shappy-lx 540683c1411Shappy-lx val block_idx = req_paddr(log2Up(refillBytes) - 1, 3) 541683c1411Shappy-lx val block_data = Wire(Vec(l1BusDataWidth / 64, UInt(64.W))) 542683c1411Shappy-lx (0 until l1BusDataWidth / 64).map(i => { 543683c1411Shappy-lx block_data(i) := data(64 * i + 63, 64 * i) 544683c1411Shappy-lx }) 545683c1411Shappy-lx val selected_data = block_data(block_idx) 546683c1411Shappy-lx 547683c1411Shappy-lx forward_D := all_match 548683c1411Shappy-lx for (i <- 0 until 8) { 549683c1411Shappy-lx forwardData(i) := selected_data(8 * i + 7, 8 * i) 550683c1411Shappy-lx } 551683c1411Shappy-lx 552683c1411Shappy-lx (forward_D, forwardData) 553683c1411Shappy-lx } 554683c1411Shappy-lx} 555683c1411Shappy-lx 556683c1411Shappy-lxclass MissEntryForwardIO(implicit p: Parameters) extends DCacheBundle { 557683c1411Shappy-lx val inflight = Bool() 558683c1411Shappy-lx val paddr = UInt(PAddrBits.W) 559683c1411Shappy-lx val raw_data = Vec(blockBytes/beatBytes, UInt(beatBits.W)) 560683c1411Shappy-lx val firstbeat_valid = Bool() 561683c1411Shappy-lx val lastbeat_valid = Bool() 562683c1411Shappy-lx 563683c1411Shappy-lx def apply(mshr_valid : Bool, mshr_paddr : UInt, mshr_rawdata : Vec[UInt], mshr_first_valid : Bool, mshr_last_valid : Bool) = { 564683c1411Shappy-lx inflight := mshr_valid 565683c1411Shappy-lx paddr := mshr_paddr 566683c1411Shappy-lx raw_data := mshr_rawdata 567683c1411Shappy-lx firstbeat_valid := mshr_first_valid 568683c1411Shappy-lx lastbeat_valid := mshr_last_valid 569683c1411Shappy-lx } 570683c1411Shappy-lx 571683c1411Shappy-lx // check if we can forward from mshr or D channel 572683c1411Shappy-lx def check(req_valid : Bool, req_paddr : UInt) = { 573683c1411Shappy-lx RegNext(req_valid && inflight && req_paddr(PAddrBits - 1, blockOffBits) === paddr(PAddrBits - 1, blockOffBits)) 574683c1411Shappy-lx } 575683c1411Shappy-lx 576683c1411Shappy-lx def forward(req_valid : Bool, req_paddr : UInt) = { 577683c1411Shappy-lx val all_match = (req_paddr(log2Up(refillBytes)) === 0.U && firstbeat_valid) || 578683c1411Shappy-lx (req_paddr(log2Up(refillBytes)) === 1.U && lastbeat_valid) 579683c1411Shappy-lx 580683c1411Shappy-lx val forward_mshr = RegInit(false.B) 581683c1411Shappy-lx val forwardData = RegInit(VecInit(List.fill(8)(0.U(8.W)))) 582683c1411Shappy-lx 583683c1411Shappy-lx val beat_data = raw_data(req_paddr(log2Up(refillBytes))) 584683c1411Shappy-lx val block_idx = req_paddr(log2Up(refillBytes) - 1, 3) 585683c1411Shappy-lx val block_data = Wire(Vec(l1BusDataWidth / 64, UInt(64.W))) 586683c1411Shappy-lx (0 until l1BusDataWidth / 64).map(i => { 587683c1411Shappy-lx block_data(i) := beat_data(64 * i + 63, 64 * i) 588683c1411Shappy-lx }) 589683c1411Shappy-lx val selected_data = block_data(block_idx) 590683c1411Shappy-lx 591683c1411Shappy-lx forward_mshr := all_match 592683c1411Shappy-lx for (i <- 0 until 8) { 593683c1411Shappy-lx forwardData(i) := selected_data(8 * i + 7, 8 * i) 594683c1411Shappy-lx } 595683c1411Shappy-lx 596683c1411Shappy-lx (forward_mshr, forwardData) 597683c1411Shappy-lx } 598683c1411Shappy-lx} 599683c1411Shappy-lx 600683c1411Shappy-lx// forward mshr's data to ldu 601683c1411Shappy-lxclass LduToMissqueueForwardIO(implicit p: Parameters) extends DCacheBundle { 602683c1411Shappy-lx // req 603683c1411Shappy-lx val valid = Input(Bool()) 604683c1411Shappy-lx val mshrid = Input(UInt(log2Up(cfg.nMissEntries).W)) 605683c1411Shappy-lx val paddr = Input(UInt(PAddrBits.W)) 606683c1411Shappy-lx // resp 607683c1411Shappy-lx val forward_mshr = Output(Bool()) 608683c1411Shappy-lx val forwardData = Output(Vec(8, UInt(8.W))) 609683c1411Shappy-lx val forward_result_valid = Output(Bool()) 610683c1411Shappy-lx 611683c1411Shappy-lx def connect(sink: LduToMissqueueForwardIO) = { 612683c1411Shappy-lx sink.valid := valid 613683c1411Shappy-lx sink.mshrid := mshrid 614683c1411Shappy-lx sink.paddr := paddr 615683c1411Shappy-lx forward_mshr := sink.forward_mshr 616683c1411Shappy-lx forwardData := sink.forwardData 617683c1411Shappy-lx forward_result_valid := sink.forward_result_valid 618683c1411Shappy-lx } 619683c1411Shappy-lx 620683c1411Shappy-lx def forward() = { 621683c1411Shappy-lx (forward_result_valid, forward_mshr, forwardData) 622683c1411Shappy-lx } 623683c1411Shappy-lx} 624683c1411Shappy-lx 6251f0e2dc7SJiawei Linclass DCacheToLsuIO(implicit p: Parameters) extends DCacheBundle { 6261f0e2dc7SJiawei Lin val load = Vec(LoadPipelineWidth, Flipped(new DCacheLoadIO)) // for speculative load 6271f0e2dc7SJiawei Lin val lsq = ValidIO(new Refill) // refill to load queue, wake up load misses 628ad3ba452Szhanglinjuan val store = new DCacheToSbufferIO // for sbuffer 6296786cfb7SWilliam Wang val atomics = Flipped(new AtomicWordIO) // atomics reqs 63067682d05SWilliam Wang val release = ValidIO(new Release) // cacheline release hint for ld-ld violation check 631683c1411Shappy-lx val forward_D = Output(Vec(LoadPipelineWidth, new DcacheToLduForwardIO)) 632683c1411Shappy-lx val forward_mshr = Vec(LoadPipelineWidth, new LduToMissqueueForwardIO) 6331f0e2dc7SJiawei Lin} 6341f0e2dc7SJiawei Lin 6351f0e2dc7SJiawei Linclass DCacheIO(implicit p: Parameters) extends DCacheBundle { 6365668a921SJiawei Lin val hartId = Input(UInt(8.W)) 6371f0e2dc7SJiawei Lin val lsu = new DCacheToLsuIO 638e19f7967SWilliam Wang val csr = new L1CacheToCsrIO 6391f0e2dc7SJiawei Lin val error = new L1CacheErrorInfo 6401f0e2dc7SJiawei Lin val mshrFull = Output(Bool()) 6411f0e2dc7SJiawei Lin} 6421f0e2dc7SJiawei Lin 6431f0e2dc7SJiawei Lin 6441f0e2dc7SJiawei Linclass DCache()(implicit p: Parameters) extends LazyModule with HasDCacheParameters { 6451f0e2dc7SJiawei Lin 6461f0e2dc7SJiawei Lin val clientParameters = TLMasterPortParameters.v1( 6471f0e2dc7SJiawei Lin Seq(TLMasterParameters.v1( 6481f0e2dc7SJiawei Lin name = "dcache", 649ad3ba452Szhanglinjuan sourceId = IdRange(0, nEntries + 1), 6501f0e2dc7SJiawei Lin supportsProbe = TransferSizes(cfg.blockBytes) 6511f0e2dc7SJiawei Lin )), 6521f0e2dc7SJiawei Lin requestFields = cacheParams.reqFields, 6531f0e2dc7SJiawei Lin echoFields = cacheParams.echoFields 6541f0e2dc7SJiawei Lin ) 6551f0e2dc7SJiawei Lin 6561f0e2dc7SJiawei Lin val clientNode = TLClientNode(Seq(clientParameters)) 6571f0e2dc7SJiawei Lin 6581f0e2dc7SJiawei Lin lazy val module = new DCacheImp(this) 6591f0e2dc7SJiawei Lin} 6601f0e2dc7SJiawei Lin 6611f0e2dc7SJiawei Lin 6621ca0e4f3SYinan Xuclass DCacheImp(outer: DCache) extends LazyModuleImp(outer) with HasDCacheParameters with HasPerfEvents { 6631f0e2dc7SJiawei Lin 6641f0e2dc7SJiawei Lin val io = IO(new DCacheIO) 6651f0e2dc7SJiawei Lin 6661f0e2dc7SJiawei Lin val (bus, edge) = outer.clientNode.out.head 6671f0e2dc7SJiawei Lin require(bus.d.bits.data.getWidth == l1BusDataWidth, "DCache: tilelink width does not match") 6681f0e2dc7SJiawei Lin 6691f0e2dc7SJiawei Lin println("DCache:") 6701f0e2dc7SJiawei Lin println(" DCacheSets: " + DCacheSets) 6711f0e2dc7SJiawei Lin println(" DCacheWays: " + DCacheWays) 6721f0e2dc7SJiawei Lin println(" DCacheBanks: " + DCacheBanks) 6731f0e2dc7SJiawei Lin println(" DCacheSRAMRowBits: " + DCacheSRAMRowBits) 6741f0e2dc7SJiawei Lin println(" DCacheWordOffset: " + DCacheWordOffset) 6751f0e2dc7SJiawei Lin println(" DCacheBankOffset: " + DCacheBankOffset) 6761f0e2dc7SJiawei Lin println(" DCacheSetOffset: " + DCacheSetOffset) 6771f0e2dc7SJiawei Lin println(" DCacheTagOffset: " + DCacheTagOffset) 6781f0e2dc7SJiawei Lin println(" DCacheAboveIndexOffset: " + DCacheAboveIndexOffset) 6791f0e2dc7SJiawei Lin 6801f0e2dc7SJiawei Lin //---------------------------------------- 6811f0e2dc7SJiawei Lin // core data structures 6821f0e2dc7SJiawei Lin val bankedDataArray = Module(new BankedDataArray) 683*3af6aa6eSWilliam Wang val metaArray = Module(new L1CohMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2)) 684*3af6aa6eSWilliam Wang val errorArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2)) 685*3af6aa6eSWilliam Wang val prefetchArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2)) // prefetch flag array 686*3af6aa6eSWilliam Wang val accessArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = LoadPipelineWidth + 2)) 687ad3ba452Szhanglinjuan val tagArray = Module(new DuplicatedTagArray(readPorts = LoadPipelineWidth + 1)) 6881f0e2dc7SJiawei Lin bankedDataArray.dump() 6891f0e2dc7SJiawei Lin 6901f0e2dc7SJiawei Lin //---------------------------------------- 6911f0e2dc7SJiawei Lin // core modules 6921f0e2dc7SJiawei Lin val ldu = Seq.tabulate(LoadPipelineWidth)({ i => Module(new LoadPipe(i))}) 69362cb71fbShappy-lx // val atomicsReplayUnit = Module(new AtomicsReplayEntry) 6941f0e2dc7SJiawei Lin val mainPipe = Module(new MainPipe) 695ad3ba452Szhanglinjuan val refillPipe = Module(new RefillPipe) 6961f0e2dc7SJiawei Lin val missQueue = Module(new MissQueue(edge)) 6971f0e2dc7SJiawei Lin val probeQueue = Module(new ProbeQueue(edge)) 6981f0e2dc7SJiawei Lin val wb = Module(new WritebackQueue(edge)) 6991f0e2dc7SJiawei Lin 7005668a921SJiawei Lin missQueue.io.hartId := io.hartId 7015668a921SJiawei Lin 7029ef181f4SWilliam Wang val errors = ldu.map(_.io.error) ++ // load error 7039ef181f4SWilliam Wang Seq(mainPipe.io.error) // store / misc error 7046786cfb7SWilliam Wang io.error <> RegNext(Mux1H(errors.map(e => RegNext(e.valid) -> RegNext(e)))) 705dd95524eSzhanglinjuan 7061f0e2dc7SJiawei Lin //---------------------------------------- 7071f0e2dc7SJiawei Lin // meta array 708*3af6aa6eSWilliam Wang 709*3af6aa6eSWilliam Wang // read / write coh meta 710ad3ba452Szhanglinjuan val meta_read_ports = ldu.map(_.io.meta_read) ++ 711026615fcSWilliam Wang Seq(mainPipe.io.meta_read) 712ad3ba452Szhanglinjuan val meta_resp_ports = ldu.map(_.io.meta_resp) ++ 713026615fcSWilliam Wang Seq(mainPipe.io.meta_resp) 714ad3ba452Szhanglinjuan val meta_write_ports = Seq( 715ad3ba452Szhanglinjuan mainPipe.io.meta_write, 716026615fcSWilliam Wang refillPipe.io.meta_write 717ad3ba452Szhanglinjuan ) 718ad3ba452Szhanglinjuan meta_read_ports.zip(metaArray.io.read).foreach { case (p, r) => r <> p } 719ad3ba452Szhanglinjuan meta_resp_ports.zip(metaArray.io.resp).foreach { case (p, r) => p := r } 720ad3ba452Szhanglinjuan meta_write_ports.zip(metaArray.io.write).foreach { case (p, w) => w <> p } 7211f0e2dc7SJiawei Lin 722*3af6aa6eSWilliam Wang // read extra meta 723026615fcSWilliam Wang meta_read_ports.zip(errorArray.io.read).foreach { case (p, r) => r <> p } 724*3af6aa6eSWilliam Wang meta_read_ports.zip(prefetchArray.io.read).foreach { case (p, r) => r <> p } 725*3af6aa6eSWilliam Wang meta_read_ports.zip(accessArray.io.read).foreach { case (p, r) => r <> p } 726*3af6aa6eSWilliam Wang val extra_meta_resp_ports = ldu.map(_.io.extra_meta_resp) ++ 727*3af6aa6eSWilliam Wang Seq(mainPipe.io.extra_meta_resp) 728*3af6aa6eSWilliam Wang extra_meta_resp_ports.zip(errorArray.io.resp).foreach { case (p, r) => { 729*3af6aa6eSWilliam Wang (0 until nWays).map(i => { p(i).error := r(i) }) 730*3af6aa6eSWilliam Wang }} 731*3af6aa6eSWilliam Wang extra_meta_resp_ports.zip(prefetchArray.io.resp).foreach { case (p, r) => { 732*3af6aa6eSWilliam Wang (0 until nWays).map(i => { p(i).prefetch := r(i) }) 733*3af6aa6eSWilliam Wang }} 734*3af6aa6eSWilliam Wang extra_meta_resp_ports.zip(accessArray.io.resp).foreach { case (p, r) => { 735*3af6aa6eSWilliam Wang (0 until nWays).map(i => { p(i).access := r(i) }) 736*3af6aa6eSWilliam Wang }} 737*3af6aa6eSWilliam Wang 738*3af6aa6eSWilliam Wang // write extra meta 739*3af6aa6eSWilliam Wang val error_flag_write_ports = Seq( 740*3af6aa6eSWilliam Wang mainPipe.io.error_flag_write, // error flag generated by corrupted store 741*3af6aa6eSWilliam Wang refillPipe.io.error_flag_write // corrupted signal from l2 742*3af6aa6eSWilliam Wang ) 743026615fcSWilliam Wang error_flag_write_ports.zip(errorArray.io.write).foreach { case (p, w) => w <> p } 744026615fcSWilliam Wang 745*3af6aa6eSWilliam Wang val prefetch_flag_write_ports = Seq( 746*3af6aa6eSWilliam Wang mainPipe.io.prefetch_flag_write, // set prefetch_flag to false if coh is set to Nothing 747*3af6aa6eSWilliam Wang refillPipe.io.prefetch_flag_write // refill required by prefetch will set prefetch_flag 748*3af6aa6eSWilliam Wang ) 749*3af6aa6eSWilliam Wang prefetch_flag_write_ports.zip(prefetchArray.io.write).foreach { case (p, w) => w <> p } 750*3af6aa6eSWilliam Wang 751*3af6aa6eSWilliam Wang val access_flag_write_ports = ldu.map(_.io.access_flag_write) ++ Seq( 752*3af6aa6eSWilliam Wang mainPipe.io.access_flag_write, 753*3af6aa6eSWilliam Wang refillPipe.io.access_flag_write 754*3af6aa6eSWilliam Wang ) 755*3af6aa6eSWilliam Wang access_flag_write_ports.zip(accessArray.io.write).foreach { case (p, w) => w <> p } 756*3af6aa6eSWilliam Wang 757ad3ba452Szhanglinjuan //---------------------------------------- 758ad3ba452Szhanglinjuan // tag array 759ad3ba452Szhanglinjuan require(tagArray.io.read.size == (ldu.size + 1)) 76009ae47d2SWilliam Wang val tag_write_intend = missQueue.io.refill_pipe_req.valid || mainPipe.io.tag_write_intend 76109ae47d2SWilliam Wang assert(!RegNext(!tag_write_intend && tagArray.io.write.valid)) 762ad3ba452Szhanglinjuan ldu.zipWithIndex.foreach { 763ad3ba452Szhanglinjuan case (ld, i) => 764ad3ba452Szhanglinjuan tagArray.io.read(i) <> ld.io.tag_read 765ad3ba452Szhanglinjuan ld.io.tag_resp := tagArray.io.resp(i) 76609ae47d2SWilliam Wang ld.io.tag_read.ready := !tag_write_intend 7671f0e2dc7SJiawei Lin } 768ad3ba452Szhanglinjuan tagArray.io.read.last <> mainPipe.io.tag_read 769ad3ba452Szhanglinjuan mainPipe.io.tag_resp := tagArray.io.resp.last 770ad3ba452Szhanglinjuan 77109ae47d2SWilliam Wang val fake_tag_read_conflict_this_cycle = PopCount(ldu.map(ld=> ld.io.tag_read.valid)) 77209ae47d2SWilliam Wang XSPerfAccumulate("fake_tag_read_conflict", fake_tag_read_conflict_this_cycle) 77309ae47d2SWilliam Wang 774ad3ba452Szhanglinjuan val tag_write_arb = Module(new Arbiter(new TagWriteReq, 2)) 775ad3ba452Szhanglinjuan tag_write_arb.io.in(0) <> refillPipe.io.tag_write 776ad3ba452Szhanglinjuan tag_write_arb.io.in(1) <> mainPipe.io.tag_write 777ad3ba452Szhanglinjuan tagArray.io.write <> tag_write_arb.io.out 7781f0e2dc7SJiawei Lin 7791f0e2dc7SJiawei Lin //---------------------------------------- 7801f0e2dc7SJiawei Lin // data array 7811f0e2dc7SJiawei Lin 782ad3ba452Szhanglinjuan val dataWriteArb = Module(new Arbiter(new L1BankedDataWriteReq, 2)) 783ad3ba452Szhanglinjuan dataWriteArb.io.in(0) <> refillPipe.io.data_write 784ad3ba452Szhanglinjuan dataWriteArb.io.in(1) <> mainPipe.io.data_write 785ad3ba452Szhanglinjuan 786ad3ba452Szhanglinjuan bankedDataArray.io.write <> dataWriteArb.io.out 7871f0e2dc7SJiawei Lin 7886c7e5e86Szhanglinjuan for (bank <- 0 until DCacheBanks) { 7896c7e5e86Szhanglinjuan val dataWriteArb_dup = Module(new Arbiter(new L1BankedDataWriteReqCtrl, 2)) 7906c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(0).valid := refillPipe.io.data_write_dup(bank).valid 7916c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(0).bits := refillPipe.io.data_write_dup(bank).bits 7926c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(1).valid := mainPipe.io.data_write_dup(bank).valid 7936c7e5e86Szhanglinjuan dataWriteArb_dup.io.in(1).bits := mainPipe.io.data_write_dup(bank).bits 7946c7e5e86Szhanglinjuan 7956c7e5e86Szhanglinjuan bankedDataArray.io.write_dup(bank) <> dataWriteArb_dup.io.out 7966c7e5e86Szhanglinjuan } 7976c7e5e86Szhanglinjuan 7989ef181f4SWilliam Wang bankedDataArray.io.readline <> mainPipe.io.data_read 7997a5caa97Szhanglinjuan bankedDataArray.io.readline_intend := mainPipe.io.data_read_intend 8006786cfb7SWilliam Wang mainPipe.io.readline_error_delayed := bankedDataArray.io.readline_error_delayed 801144422dcSMaxpicca-Li mainPipe.io.data_resp := bankedDataArray.io.readline_resp 8021f0e2dc7SJiawei Lin 8039ef181f4SWilliam Wang (0 until LoadPipelineWidth).map(i => { 8049ef181f4SWilliam Wang bankedDataArray.io.read(i) <> ldu(i).io.banked_data_read 8056786cfb7SWilliam Wang bankedDataArray.io.read_error_delayed(i) <> ldu(i).io.read_error_delayed 8069ef181f4SWilliam Wang 807144422dcSMaxpicca-Li ldu(i).io.banked_data_resp := bankedDataArray.io.read_resp_delayed(i) 808144422dcSMaxpicca-Li 8099ef181f4SWilliam Wang ldu(i).io.bank_conflict_fast := bankedDataArray.io.bank_conflict_fast(i) 8109ef181f4SWilliam Wang ldu(i).io.bank_conflict_slow := bankedDataArray.io.bank_conflict_slow(i) 8119ef181f4SWilliam Wang }) 8121f0e2dc7SJiawei Lin 813774f100aSWilliam Wang (0 until LoadPipelineWidth).map(i => { 814683c1411Shappy-lx val (_, _, done, _) = edge.count(bus.d) 815683c1411Shappy-lx when(bus.d.bits.opcode === TLMessages.GrantData) { 816683c1411Shappy-lx io.lsu.forward_D(i).apply(bus.d.valid, bus.d.bits.data, bus.d.bits.source, done) 817683c1411Shappy-lx }.otherwise { 818683c1411Shappy-lx io.lsu.forward_D(i).dontCare() 819683c1411Shappy-lx } 820683c1411Shappy-lx }) 821683c1411Shappy-lx 8221f0e2dc7SJiawei Lin //---------------------------------------- 8231f0e2dc7SJiawei Lin // load pipe 8241f0e2dc7SJiawei Lin // the s1 kill signal 8251f0e2dc7SJiawei Lin // only lsu uses this, replay never kills 8261f0e2dc7SJiawei Lin for (w <- 0 until LoadPipelineWidth) { 8271f0e2dc7SJiawei Lin ldu(w).io.lsu <> io.lsu.load(w) 8281f0e2dc7SJiawei Lin 8291f0e2dc7SJiawei Lin // replay and nack not needed anymore 8301f0e2dc7SJiawei Lin // TODO: remove replay and nack 8311f0e2dc7SJiawei Lin ldu(w).io.nack := false.B 8321f0e2dc7SJiawei Lin 8331f0e2dc7SJiawei Lin ldu(w).io.disable_ld_fast_wakeup := 8347a5caa97Szhanglinjuan bankedDataArray.io.disable_ld_fast_wakeup(w) // load pipe fast wake up should be disabled when bank conflict 8351f0e2dc7SJiawei Lin } 8361f0e2dc7SJiawei Lin 8371f0e2dc7SJiawei Lin //---------------------------------------- 8381f0e2dc7SJiawei Lin // atomics 8391f0e2dc7SJiawei Lin // atomics not finished yet 84062cb71fbShappy-lx // io.lsu.atomics <> atomicsReplayUnit.io.lsu 84162cb71fbShappy-lx io.lsu.atomics.resp := RegNext(mainPipe.io.atomic_resp) 84262cb71fbShappy-lx io.lsu.atomics.block_lr := mainPipe.io.block_lr 84362cb71fbShappy-lx // atomicsReplayUnit.io.pipe_resp := RegNext(mainPipe.io.atomic_resp) 84462cb71fbShappy-lx // atomicsReplayUnit.io.block_lr <> mainPipe.io.block_lr 8451f0e2dc7SJiawei Lin 8461f0e2dc7SJiawei Lin //---------------------------------------- 8471f0e2dc7SJiawei Lin // miss queue 8481f0e2dc7SJiawei Lin val MissReqPortCount = LoadPipelineWidth + 1 8491f0e2dc7SJiawei Lin val MainPipeMissReqPort = 0 8501f0e2dc7SJiawei Lin 8511f0e2dc7SJiawei Lin // Request 852300ded30SWilliam Wang val missReqArb = Module(new Arbiter(new MissReq, MissReqPortCount)) 8531f0e2dc7SJiawei Lin 854a98b054bSWilliam Wang missReqArb.io.in(MainPipeMissReqPort) <> mainPipe.io.miss_req 8551f0e2dc7SJiawei Lin for (w <- 0 until LoadPipelineWidth) { missReqArb.io.in(w + 1) <> ldu(w).io.miss_req } 8561f0e2dc7SJiawei Lin 857683c1411Shappy-lx for (w <- 0 until LoadPipelineWidth) { ldu(w).io.miss_resp.id := missQueue.io.resp.id } 858683c1411Shappy-lx 8591f0e2dc7SJiawei Lin wb.io.miss_req.valid := missReqArb.io.out.valid 8601f0e2dc7SJiawei Lin wb.io.miss_req.bits := missReqArb.io.out.bits.addr 8611f0e2dc7SJiawei Lin 862a98b054bSWilliam Wang // block_decoupled(missReqArb.io.out, missQueue.io.req, wb.io.block_miss_req) 863a98b054bSWilliam Wang missReqArb.io.out <> missQueue.io.req 864a98b054bSWilliam Wang when(wb.io.block_miss_req) { 865a98b054bSWilliam Wang missQueue.io.req.bits.cancel := true.B 866a98b054bSWilliam Wang missReqArb.io.out.ready := false.B 867a98b054bSWilliam Wang } 8681f0e2dc7SJiawei Lin 869683c1411Shappy-lx // forward missqueue 870683c1411Shappy-lx (0 until LoadPipelineWidth).map(i => io.lsu.forward_mshr(i).connect(missQueue.io.forward(i))) 871683c1411Shappy-lx 8721f0e2dc7SJiawei Lin // refill to load queue 873ad3ba452Szhanglinjuan io.lsu.lsq <> missQueue.io.refill_to_ldq 8741f0e2dc7SJiawei Lin 8751f0e2dc7SJiawei Lin // tilelink stuff 8761f0e2dc7SJiawei Lin bus.a <> missQueue.io.mem_acquire 8771f0e2dc7SJiawei Lin bus.e <> missQueue.io.mem_finish 878ad3ba452Szhanglinjuan missQueue.io.probe_addr := bus.b.bits.address 879ad3ba452Szhanglinjuan 880a98b054bSWilliam Wang missQueue.io.main_pipe_resp := RegNext(mainPipe.io.atomic_resp) 8811f0e2dc7SJiawei Lin 8821f0e2dc7SJiawei Lin //---------------------------------------- 8831f0e2dc7SJiawei Lin // probe 8841f0e2dc7SJiawei Lin // probeQueue.io.mem_probe <> bus.b 8851f0e2dc7SJiawei Lin block_decoupled(bus.b, probeQueue.io.mem_probe, missQueue.io.probe_block) 886ad3ba452Szhanglinjuan probeQueue.io.lrsc_locked_block <> mainPipe.io.lrsc_locked_block 887300ded30SWilliam Wang probeQueue.io.update_resv_set <> mainPipe.io.update_resv_set 8881f0e2dc7SJiawei Lin 8891f0e2dc7SJiawei Lin //---------------------------------------- 8901f0e2dc7SJiawei Lin // mainPipe 891ad3ba452Szhanglinjuan // when a req enters main pipe, if it is set-conflict with replace pipe or refill pipe, 892ad3ba452Szhanglinjuan // block the req in main pipe 893219c4595Szhanglinjuan block_decoupled(probeQueue.io.pipe_req, mainPipe.io.probe_req, missQueue.io.refill_pipe_req.valid) 894b36dd5fdSWilliam Wang block_decoupled(io.lsu.store.req, mainPipe.io.store_req, refillPipe.io.req.valid) 8951f0e2dc7SJiawei Lin 896a98b054bSWilliam Wang io.lsu.store.replay_resp := RegNext(mainPipe.io.store_replay_resp) 897ad3ba452Szhanglinjuan io.lsu.store.main_pipe_hit_resp := mainPipe.io.store_hit_resp 8981f0e2dc7SJiawei Lin 89969790076Szhanglinjuan arbiter_with_pipereg( 90062cb71fbShappy-lx in = Seq(missQueue.io.main_pipe_req, io.lsu.atomics.req), 90169790076Szhanglinjuan out = mainPipe.io.atomic_req, 90269790076Szhanglinjuan name = Some("main_pipe_atomic_req") 90369790076Szhanglinjuan ) 9041f0e2dc7SJiawei Lin 905a98b054bSWilliam Wang mainPipe.io.invalid_resv_set := RegNext(wb.io.req.fire && wb.io.req.bits.addr === mainPipe.io.lrsc_locked_block.bits) 9061f0e2dc7SJiawei Lin 907ad3ba452Szhanglinjuan //---------------------------------------- 908b36dd5fdSWilliam Wang // replace (main pipe) 909ad3ba452Szhanglinjuan val mpStatus = mainPipe.io.status 910578c21a4Szhanglinjuan mainPipe.io.replace_req <> missQueue.io.replace_pipe_req 911578c21a4Szhanglinjuan missQueue.io.replace_pipe_resp := mainPipe.io.replace_resp 9121f0e2dc7SJiawei Lin 913ad3ba452Szhanglinjuan //---------------------------------------- 914ad3ba452Szhanglinjuan // refill pipe 91563540aa5Szhanglinjuan val refillShouldBeBlocked = (mpStatus.s1.valid && mpStatus.s1.bits.set === missQueue.io.refill_pipe_req.bits.idx) || 91663540aa5Szhanglinjuan Cat(Seq(mpStatus.s2, mpStatus.s3).map(s => 917ad3ba452Szhanglinjuan s.valid && 918ad3ba452Szhanglinjuan s.bits.set === missQueue.io.refill_pipe_req.bits.idx && 919ad3ba452Szhanglinjuan s.bits.way_en === missQueue.io.refill_pipe_req.bits.way_en 920ad3ba452Szhanglinjuan )).orR 921ad3ba452Szhanglinjuan block_decoupled(missQueue.io.refill_pipe_req, refillPipe.io.req, refillShouldBeBlocked) 922c3a5fe5fShappy-lx 923c3a5fe5fShappy-lx val mpStatus_dup = mainPipe.io.status_dup 924c3a5fe5fShappy-lx val mq_refill_dup = missQueue.io.refill_pipe_req_dup 925c3a5fe5fShappy-lx val refillShouldBeBlocked_dup = VecInit((0 until nDupStatus).map { case i => 926c3a5fe5fShappy-lx mpStatus_dup(i).s1.valid && mpStatus_dup(i).s1.bits.set === mq_refill_dup(i).bits.idx || 927c3a5fe5fShappy-lx Cat(Seq(mpStatus_dup(i).s2, mpStatus_dup(i).s3).map(s => 928c3a5fe5fShappy-lx s.valid && 929c3a5fe5fShappy-lx s.bits.set === mq_refill_dup(i).bits.idx && 930c3a5fe5fShappy-lx s.bits.way_en === mq_refill_dup(i).bits.way_en 931c3a5fe5fShappy-lx )).orR 932c3a5fe5fShappy-lx }) 933c3a5fe5fShappy-lx dontTouch(refillShouldBeBlocked_dup) 934c3a5fe5fShappy-lx 9356c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_data_w.zipWithIndex.foreach { case (r, i) => 9366c7e5e86Szhanglinjuan r.bits := (mq_refill_dup.drop(dataWritePort).take(DCacheBanks))(i).bits 9376c7e5e86Szhanglinjuan } 9386c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_meta_w.bits := mq_refill_dup(metaWritePort).bits 9396c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_tag_w.bits := mq_refill_dup(tagWritePort).bits 9406c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_err_w.bits := mq_refill_dup(errWritePort).bits 9416c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_data_w.zipWithIndex.foreach { case (r, i) => 9426c7e5e86Szhanglinjuan r.valid := (mq_refill_dup.drop(dataWritePort).take(DCacheBanks))(i).valid && 9436c7e5e86Szhanglinjuan !(refillShouldBeBlocked_dup.drop(dataWritePort).take(DCacheBanks))(i) 9446c7e5e86Szhanglinjuan } 9456c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_meta_w.valid := mq_refill_dup(metaWritePort).valid && !refillShouldBeBlocked_dup(metaWritePort) 9466c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_tag_w.valid := mq_refill_dup(tagWritePort).valid && !refillShouldBeBlocked_dup(tagWritePort) 9476c7e5e86Szhanglinjuan refillPipe.io.req_dup_for_err_w.valid := mq_refill_dup(errWritePort).valid && !refillShouldBeBlocked_dup(errWritePort) 948c3a5fe5fShappy-lx 949c3a5fe5fShappy-lx val refillPipe_io_req_valid_dup = VecInit(mq_refill_dup.zip(refillShouldBeBlocked_dup).map( 950c3a5fe5fShappy-lx x => x._1.valid && !x._2 951c3a5fe5fShappy-lx )) 952c3a5fe5fShappy-lx val refillPipe_io_data_write_valid_dup = VecInit(refillPipe_io_req_valid_dup.slice(0, nDupDataWriteReady)) 9536c7e5e86Szhanglinjuan val refillPipe_io_tag_write_valid_dup = VecInit(refillPipe_io_req_valid_dup.slice(nDupDataWriteReady, nDupStatus)) 954c3a5fe5fShappy-lx dontTouch(refillPipe_io_req_valid_dup) 955c3a5fe5fShappy-lx dontTouch(refillPipe_io_data_write_valid_dup) 956c3a5fe5fShappy-lx dontTouch(refillPipe_io_tag_write_valid_dup) 957c3a5fe5fShappy-lx mainPipe.io.data_write_ready_dup := VecInit(refillPipe_io_data_write_valid_dup.map(v => !v)) 958c3a5fe5fShappy-lx mainPipe.io.tag_write_ready_dup := VecInit(refillPipe_io_tag_write_valid_dup.map(v => !v)) 959c3a5fe5fShappy-lx mainPipe.io.wb_ready_dup := wb.io.req_ready_dup 960c3a5fe5fShappy-lx 961c3a5fe5fShappy-lx mq_refill_dup.zip(refillShouldBeBlocked_dup).foreach { case (r, block) => 962c3a5fe5fShappy-lx r.ready := refillPipe.io.req.ready && !block 963c3a5fe5fShappy-lx } 964c3a5fe5fShappy-lx 96554e42658SWilliam Wang missQueue.io.refill_pipe_resp := refillPipe.io.resp 966a98b054bSWilliam Wang io.lsu.store.refill_hit_resp := RegNext(refillPipe.io.store_resp) 9671f0e2dc7SJiawei Lin 9681f0e2dc7SJiawei Lin //---------------------------------------- 9691f0e2dc7SJiawei Lin // wb 9701f0e2dc7SJiawei Lin // add a queue between MainPipe and WritebackUnit to reduce MainPipe stalls due to WritebackUnit busy 971026615fcSWilliam Wang 972578c21a4Szhanglinjuan wb.io.req <> mainPipe.io.wb 9731f0e2dc7SJiawei Lin bus.c <> wb.io.mem_release 974ad3ba452Szhanglinjuan wb.io.release_wakeup := refillPipe.io.release_wakeup 975ad3ba452Szhanglinjuan wb.io.release_update := mainPipe.io.release_update 976b8f6ff86SWilliam Wang wb.io.probe_ttob_check_req <> mainPipe.io.probe_ttob_check_req 977b8f6ff86SWilliam Wang wb.io.probe_ttob_check_resp <> mainPipe.io.probe_ttob_check_resp 978ef3b5b96SWilliam Wang 979ef3b5b96SWilliam Wang io.lsu.release.valid := RegNext(wb.io.req.fire()) 980ef3b5b96SWilliam Wang io.lsu.release.bits.paddr := RegNext(wb.io.req.bits.addr) 981ef3b5b96SWilliam Wang // Note: RegNext() is required by: 982ef3b5b96SWilliam Wang // * load queue released flag update logic 983ef3b5b96SWilliam Wang // * load / load violation check logic 984ef3b5b96SWilliam Wang // * and timing requirements 985ef3b5b96SWilliam Wang // CHANGE IT WITH CARE 9861f0e2dc7SJiawei Lin 9871f0e2dc7SJiawei Lin // connect bus d 9881f0e2dc7SJiawei Lin missQueue.io.mem_grant.valid := false.B 9891f0e2dc7SJiawei Lin missQueue.io.mem_grant.bits := DontCare 9901f0e2dc7SJiawei Lin 9911f0e2dc7SJiawei Lin wb.io.mem_grant.valid := false.B 9921f0e2dc7SJiawei Lin wb.io.mem_grant.bits := DontCare 9931f0e2dc7SJiawei Lin 9941f0e2dc7SJiawei Lin // in L1DCache, we ony expect Grant[Data] and ReleaseAck 9951f0e2dc7SJiawei Lin bus.d.ready := false.B 9961f0e2dc7SJiawei Lin when (bus.d.bits.opcode === TLMessages.Grant || bus.d.bits.opcode === TLMessages.GrantData) { 9971f0e2dc7SJiawei Lin missQueue.io.mem_grant <> bus.d 9981f0e2dc7SJiawei Lin } .elsewhen (bus.d.bits.opcode === TLMessages.ReleaseAck) { 9991f0e2dc7SJiawei Lin wb.io.mem_grant <> bus.d 10001f0e2dc7SJiawei Lin } .otherwise { 10011f0e2dc7SJiawei Lin assert (!bus.d.fire()) 10021f0e2dc7SJiawei Lin } 10031f0e2dc7SJiawei Lin 10041f0e2dc7SJiawei Lin //---------------------------------------- 1005ad3ba452Szhanglinjuan // replacement algorithm 1006ad3ba452Szhanglinjuan val replacer = ReplacementPolicy.fromString(cacheParams.replacer, nWays, nSets) 1007ad3ba452Szhanglinjuan 1008ad3ba452Szhanglinjuan val replWayReqs = ldu.map(_.io.replace_way) ++ Seq(mainPipe.io.replace_way) 1009ad3ba452Szhanglinjuan replWayReqs.foreach{ 1010ad3ba452Szhanglinjuan case req => 1011ad3ba452Szhanglinjuan req.way := DontCare 1012ad3ba452Szhanglinjuan when (req.set.valid) { req.way := replacer.way(req.set.bits) } 1013ad3ba452Szhanglinjuan } 1014ad3ba452Szhanglinjuan 1015ad3ba452Szhanglinjuan val replAccessReqs = ldu.map(_.io.replace_access) ++ Seq( 101692816bbcSWilliam Wang mainPipe.io.replace_access 1017ad3ba452Szhanglinjuan ) 1018ad3ba452Szhanglinjuan val touchWays = Seq.fill(replAccessReqs.size)(Wire(ValidIO(UInt(log2Up(nWays).W)))) 1019ad3ba452Szhanglinjuan touchWays.zip(replAccessReqs).foreach { 1020ad3ba452Szhanglinjuan case (w, req) => 1021ad3ba452Szhanglinjuan w.valid := req.valid 1022ad3ba452Szhanglinjuan w.bits := req.bits.way 1023ad3ba452Szhanglinjuan } 1024ad3ba452Szhanglinjuan val touchSets = replAccessReqs.map(_.bits.set) 1025ad3ba452Szhanglinjuan replacer.access(touchSets, touchWays) 1026ad3ba452Szhanglinjuan 1027ad3ba452Szhanglinjuan //---------------------------------------- 10281f0e2dc7SJiawei Lin // assertions 10291f0e2dc7SJiawei Lin // dcache should only deal with DRAM addresses 10301f0e2dc7SJiawei Lin when (bus.a.fire()) { 10311f0e2dc7SJiawei Lin assert(bus.a.bits.address >= 0x80000000L.U) 10321f0e2dc7SJiawei Lin } 10331f0e2dc7SJiawei Lin when (bus.b.fire()) { 10341f0e2dc7SJiawei Lin assert(bus.b.bits.address >= 0x80000000L.U) 10351f0e2dc7SJiawei Lin } 10361f0e2dc7SJiawei Lin when (bus.c.fire()) { 10371f0e2dc7SJiawei Lin assert(bus.c.bits.address >= 0x80000000L.U) 10381f0e2dc7SJiawei Lin } 10391f0e2dc7SJiawei Lin 10401f0e2dc7SJiawei Lin //---------------------------------------- 10411f0e2dc7SJiawei Lin // utility functions 10421f0e2dc7SJiawei Lin def block_decoupled[T <: Data](source: DecoupledIO[T], sink: DecoupledIO[T], block_signal: Bool) = { 10431f0e2dc7SJiawei Lin sink.valid := source.valid && !block_signal 10441f0e2dc7SJiawei Lin source.ready := sink.ready && !block_signal 10451f0e2dc7SJiawei Lin sink.bits := source.bits 10461f0e2dc7SJiawei Lin } 10471f0e2dc7SJiawei Lin 10481f0e2dc7SJiawei Lin //---------------------------------------- 1049e19f7967SWilliam Wang // Customized csr cache op support 1050e19f7967SWilliam Wang val cacheOpDecoder = Module(new CSRCacheOpDecoder("dcache", CacheInstrucion.COP_ID_DCACHE)) 1051e19f7967SWilliam Wang cacheOpDecoder.io.csr <> io.csr 1052c3a5fe5fShappy-lx bankedDataArray.io.cacheOp.req := cacheOpDecoder.io.cache.req 1053c3a5fe5fShappy-lx // dup cacheOp_req_valid 1054779109e3Slixin bankedDataArray.io.cacheOp_req_dup.zipWithIndex.map{ case(dup, i) => dup := cacheOpDecoder.io.cache_req_dup(i) } 1055c3a5fe5fShappy-lx // dup cacheOp_req_bits_opCode 1056779109e3Slixin bankedDataArray.io.cacheOp_req_bits_opCode_dup.zipWithIndex.map{ case (dup, i) => dup := cacheOpDecoder.io.cacheOp_req_bits_opCode_dup(i) } 1057c3a5fe5fShappy-lx 1058e19f7967SWilliam Wang tagArray.io.cacheOp.req := cacheOpDecoder.io.cache.req 1059c3a5fe5fShappy-lx // dup cacheOp_req_valid 1060779109e3Slixin tagArray.io.cacheOp_req_dup.zipWithIndex.map{ case(dup, i) => dup := cacheOpDecoder.io.cache_req_dup(i) } 1061c3a5fe5fShappy-lx // dup cacheOp_req_bits_opCode 1062779109e3Slixin tagArray.io.cacheOp_req_bits_opCode_dup.zipWithIndex.map{ case (dup, i) => dup := cacheOpDecoder.io.cacheOp_req_bits_opCode_dup(i) } 1063e47fc57cSlixin 1064e19f7967SWilliam Wang cacheOpDecoder.io.cache.resp.valid := bankedDataArray.io.cacheOp.resp.valid || 1065e19f7967SWilliam Wang tagArray.io.cacheOp.resp.valid 1066e19f7967SWilliam Wang cacheOpDecoder.io.cache.resp.bits := Mux1H(List( 1067e19f7967SWilliam Wang bankedDataArray.io.cacheOp.resp.valid -> bankedDataArray.io.cacheOp.resp.bits, 1068e19f7967SWilliam Wang tagArray.io.cacheOp.resp.valid -> tagArray.io.cacheOp.resp.bits, 1069e19f7967SWilliam Wang )) 1070026615fcSWilliam Wang cacheOpDecoder.io.error := io.error 107141b68474SWilliam Wang assert(!((bankedDataArray.io.cacheOp.resp.valid +& tagArray.io.cacheOp.resp.valid) > 1.U)) 1072e19f7967SWilliam Wang 1073e19f7967SWilliam Wang //---------------------------------------- 10741f0e2dc7SJiawei Lin // performance counters 10751f0e2dc7SJiawei Lin val num_loads = PopCount(ldu.map(e => e.io.lsu.req.fire())) 10761f0e2dc7SJiawei Lin XSPerfAccumulate("num_loads", num_loads) 10771f0e2dc7SJiawei Lin 10781f0e2dc7SJiawei Lin io.mshrFull := missQueue.io.full 1079ad3ba452Szhanglinjuan 1080ad3ba452Szhanglinjuan // performance counter 1081ad3ba452Szhanglinjuan val ld_access = Wire(Vec(LoadPipelineWidth, missQueue.io.debug_early_replace.last.cloneType)) 1082ad3ba452Szhanglinjuan val st_access = Wire(ld_access.last.cloneType) 1083ad3ba452Szhanglinjuan ld_access.zip(ldu).foreach { 1084ad3ba452Szhanglinjuan case (a, u) => 1085ad3ba452Szhanglinjuan a.valid := RegNext(u.io.lsu.req.fire()) && !u.io.lsu.s1_kill 1086ad3ba452Szhanglinjuan a.bits.idx := RegNext(get_idx(u.io.lsu.req.bits.addr)) 108703efd994Shappy-lx a.bits.tag := get_tag(u.io.lsu.s1_paddr_dup_dcache) 1088ad3ba452Szhanglinjuan } 1089ad3ba452Szhanglinjuan st_access.valid := RegNext(mainPipe.io.store_req.fire()) 1090ad3ba452Szhanglinjuan st_access.bits.idx := RegNext(get_idx(mainPipe.io.store_req.bits.vaddr)) 1091ad3ba452Szhanglinjuan st_access.bits.tag := RegNext(get_tag(mainPipe.io.store_req.bits.addr)) 1092ad3ba452Szhanglinjuan val access_info = ld_access.toSeq ++ Seq(st_access) 1093ad3ba452Szhanglinjuan val early_replace = RegNext(missQueue.io.debug_early_replace) 1094ad3ba452Szhanglinjuan val access_early_replace = access_info.map { 1095ad3ba452Szhanglinjuan case acc => 1096ad3ba452Szhanglinjuan Cat(early_replace.map { 1097ad3ba452Szhanglinjuan case r => 1098ad3ba452Szhanglinjuan acc.valid && r.valid && 1099ad3ba452Szhanglinjuan acc.bits.tag === r.bits.tag && 1100ad3ba452Szhanglinjuan acc.bits.idx === r.bits.idx 1101ad3ba452Szhanglinjuan }) 1102ad3ba452Szhanglinjuan } 1103ad3ba452Szhanglinjuan XSPerfAccumulate("access_early_replace", PopCount(Cat(access_early_replace))) 1104cd365d4cSrvcoresjw 11051ca0e4f3SYinan Xu val perfEvents = (Seq(wb, mainPipe, missQueue, probeQueue) ++ ldu).flatMap(_.getPerfEvents) 11061ca0e4f3SYinan Xu generatePerfEvent() 11071f0e2dc7SJiawei Lin} 11081f0e2dc7SJiawei Lin 11091f0e2dc7SJiawei Linclass AMOHelper() extends ExtModule { 11101f0e2dc7SJiawei Lin val clock = IO(Input(Clock())) 11111f0e2dc7SJiawei Lin val enable = IO(Input(Bool())) 11121f0e2dc7SJiawei Lin val cmd = IO(Input(UInt(5.W))) 11131f0e2dc7SJiawei Lin val addr = IO(Input(UInt(64.W))) 11141f0e2dc7SJiawei Lin val wdata = IO(Input(UInt(64.W))) 11151f0e2dc7SJiawei Lin val mask = IO(Input(UInt(8.W))) 11161f0e2dc7SJiawei Lin val rdata = IO(Output(UInt(64.W))) 11171f0e2dc7SJiawei Lin} 11181f0e2dc7SJiawei Lin 11194f94c0c6SJiawei Linclass DCacheWrapper()(implicit p: Parameters) extends LazyModule with HasXSParameter { 11201f0e2dc7SJiawei Lin 11214f94c0c6SJiawei Lin val useDcache = coreParams.dcacheParametersOpt.nonEmpty 11224f94c0c6SJiawei Lin val clientNode = if (useDcache) TLIdentityNode() else null 11234f94c0c6SJiawei Lin val dcache = if (useDcache) LazyModule(new DCache()) else null 11244f94c0c6SJiawei Lin if (useDcache) { 11251f0e2dc7SJiawei Lin clientNode := dcache.clientNode 11261f0e2dc7SJiawei Lin } 11271f0e2dc7SJiawei Lin 11281ca0e4f3SYinan Xu lazy val module = new LazyModuleImp(this) with HasPerfEvents { 11291f0e2dc7SJiawei Lin val io = IO(new DCacheIO) 11301ca0e4f3SYinan Xu val perfEvents = if (!useDcache) { 11314f94c0c6SJiawei Lin // a fake dcache which uses dpi-c to access memory, only for debug usage! 11321f0e2dc7SJiawei Lin val fake_dcache = Module(new FakeDCache()) 11331f0e2dc7SJiawei Lin io <> fake_dcache.io 11341ca0e4f3SYinan Xu Seq() 11351f0e2dc7SJiawei Lin } 11361f0e2dc7SJiawei Lin else { 11371f0e2dc7SJiawei Lin io <> dcache.module.io 11381ca0e4f3SYinan Xu dcache.module.getPerfEvents 11391f0e2dc7SJiawei Lin } 11401ca0e4f3SYinan Xu generatePerfEvent() 11411f0e2dc7SJiawei Lin } 11421f0e2dc7SJiawei Lin} 1143