xref: /XiangShan/src/main/scala/xiangshan/cache/dcache/DCacheWrapper.scala (revision b9e121dff513e733e443a16e49648e82b9583af6)
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
3015ee59e4Swakafaimport coupledL2.{AliasField, AliasKey, DirtyField, 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"),
46fa9ac9b6SWilliam Wang  updateReplaceOn2ndmiss: Boolean = true,
471f0e2dc7SJiawei Lin  nMissEntries: Int = 1,
481f0e2dc7SJiawei Lin  nProbeEntries: Int = 1,
491f0e2dc7SJiawei Lin  nReleaseEntries: Int = 1,
501f0e2dc7SJiawei Lin  nMMIOEntries: Int = 1,
511f0e2dc7SJiawei Lin  nMMIOs: Int = 1,
52fddcfe1fSwakafa  blockBytes: Int = 64,
5315ee59e4Swakafa  alwaysReleaseData: Boolean = false
541f0e2dc7SJiawei Lin) extends L1CacheParameters {
551f0e2dc7SJiawei Lin  // if sets * blockBytes > 4KB(page size),
561f0e2dc7SJiawei Lin  // cache alias will happen,
571f0e2dc7SJiawei Lin  // we need to avoid this by recoding additional bits in L2 cache
581f0e2dc7SJiawei Lin  val setBytes = nSets * blockBytes
591f0e2dc7SJiawei Lin  val aliasBitsOpt = if(setBytes > pageSize) Some(log2Ceil(setBytes / pageSize)) else None
601f0e2dc7SJiawei Lin  val reqFields: Seq[BundleFieldBase] = Seq(
6115ee59e4Swakafa    PrefetchField()
621f0e2dc7SJiawei Lin  ) ++ aliasBitsOpt.map(AliasField)
6315ee59e4Swakafa  val echoFields: Seq[BundleFieldBase] = Nil
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
132a9c1b353SMaxpicca-Li  val DCacheDupNum = 16
133af22dd7cSWilliam Wang  val DCacheSRAMRowBits = cacheParams.rowBits // hardcoded
134ca18a0b4SWilliam Wang  val DCacheWordBits = 64 // hardcoded
135ca18a0b4SWilliam Wang  val DCacheWordBytes = DCacheWordBits / 8
136af22dd7cSWilliam Wang  require(DCacheSRAMRowBits == 64)
1371f0e2dc7SJiawei Lin
138ca18a0b4SWilliam Wang  val DCacheSizeBits = DCacheSRAMRowBits * DCacheBanks * DCacheWays * DCacheSets
139ca18a0b4SWilliam Wang  val DCacheSizeBytes = DCacheSizeBits / 8
140ca18a0b4SWilliam Wang  val DCacheSizeWords = DCacheSizeBits / 64 // TODO
1411f0e2dc7SJiawei Lin
1421f0e2dc7SJiawei Lin  val DCacheSameVPAddrLength = 12
1431f0e2dc7SJiawei Lin
1441f0e2dc7SJiawei Lin  val DCacheSRAMRowBytes = DCacheSRAMRowBits / 8
145ca18a0b4SWilliam Wang  val DCacheWordOffset = log2Up(DCacheWordBytes)
146ca18a0b4SWilliam Wang
147ca18a0b4SWilliam Wang  val DCacheBankOffset = log2Up(DCacheSRAMRowBytes)
1481f0e2dc7SJiawei Lin  val DCacheSetOffset = DCacheBankOffset + log2Up(DCacheBanks)
1491f0e2dc7SJiawei Lin  val DCacheAboveIndexOffset = DCacheSetOffset + log2Up(DCacheSets)
1501f0e2dc7SJiawei Lin  val DCacheTagOffset = DCacheAboveIndexOffset min DCacheSameVPAddrLength
151ca18a0b4SWilliam Wang  val DCacheLineOffset = DCacheSetOffset
1521f0e2dc7SJiawei Lin
15337225120Ssfencevma  // uncache
154e4f69d78Ssfencevma  val uncacheIdxBits = log2Up(StoreQueueSize + 1) max log2Up(VirtualLoadQueueSize + 1)
155b52348aeSWilliam Wang  // hardware prefetch parameters
156b52348aeSWilliam Wang  // high confidence hardware prefetch port
157b52348aeSWilliam Wang  val HighConfHWPFLoadPort = LoadPipelineWidth - 1 // use the last load port by default
158b52348aeSWilliam Wang  val IgnorePrefetchConfidence = false
15937225120Ssfencevma
1606c7e5e86Szhanglinjuan  // parameters about duplicating regs to solve fanout
1616c7e5e86Szhanglinjuan  // In Main Pipe:
1626c7e5e86Szhanglinjuan    // tag_write.ready -> data_write.valid * 8 banks
1636c7e5e86Szhanglinjuan    // tag_write.ready -> meta_write.valid
1646c7e5e86Szhanglinjuan    // tag_write.ready -> tag_write.valid
1656c7e5e86Szhanglinjuan    // tag_write.ready -> err_write.valid
1666c7e5e86Szhanglinjuan    // tag_write.ready -> wb.valid
1676c7e5e86Szhanglinjuan  val nDupTagWriteReady = DCacheBanks + 4
1686c7e5e86Szhanglinjuan  // In Main Pipe:
1696c7e5e86Szhanglinjuan    // data_write.ready -> data_write.valid * 8 banks
1706c7e5e86Szhanglinjuan    // data_write.ready -> meta_write.valid
1716c7e5e86Szhanglinjuan    // data_write.ready -> tag_write.valid
1726c7e5e86Szhanglinjuan    // data_write.ready -> err_write.valid
1736c7e5e86Szhanglinjuan    // data_write.ready -> wb.valid
1746c7e5e86Szhanglinjuan  val nDupDataWriteReady = DCacheBanks + 4
1756c7e5e86Szhanglinjuan  val nDupWbReady = DCacheBanks + 4
1766c7e5e86Szhanglinjuan  val nDupStatus = nDupTagWriteReady + nDupDataWriteReady
1776c7e5e86Szhanglinjuan  val dataWritePort = 0
1786c7e5e86Szhanglinjuan  val metaWritePort = DCacheBanks
1796c7e5e86Szhanglinjuan  val tagWritePort = metaWritePort + 1
1806c7e5e86Szhanglinjuan  val errWritePort = tagWritePort + 1
1816c7e5e86Szhanglinjuan  val wbPort = errWritePort + 1
1826c7e5e86Szhanglinjuan
1831f0e2dc7SJiawei Lin  def addr_to_dcache_bank(addr: UInt) = {
1841f0e2dc7SJiawei Lin    require(addr.getWidth >= DCacheSetOffset)
1851f0e2dc7SJiawei Lin    addr(DCacheSetOffset-1, DCacheBankOffset)
1861f0e2dc7SJiawei Lin  }
1871f0e2dc7SJiawei Lin
1881f0e2dc7SJiawei Lin  def addr_to_dcache_set(addr: UInt) = {
1891f0e2dc7SJiawei Lin    require(addr.getWidth >= DCacheAboveIndexOffset)
1901f0e2dc7SJiawei Lin    addr(DCacheAboveIndexOffset-1, DCacheSetOffset)
1911f0e2dc7SJiawei Lin  }
1921f0e2dc7SJiawei Lin
1931f0e2dc7SJiawei Lin  def get_data_of_bank(bank: Int, data: UInt) = {
1941f0e2dc7SJiawei Lin    require(data.getWidth >= (bank+1)*DCacheSRAMRowBits)
1951f0e2dc7SJiawei Lin    data(DCacheSRAMRowBits * (bank + 1) - 1, DCacheSRAMRowBits * bank)
1961f0e2dc7SJiawei Lin  }
1971f0e2dc7SJiawei Lin
1981f0e2dc7SJiawei Lin  def get_mask_of_bank(bank: Int, data: UInt) = {
1991f0e2dc7SJiawei Lin    require(data.getWidth >= (bank+1)*DCacheSRAMRowBytes)
2001f0e2dc7SJiawei Lin    data(DCacheSRAMRowBytes * (bank + 1) - 1, DCacheSRAMRowBytes * bank)
2011f0e2dc7SJiawei Lin  }
2021f0e2dc7SJiawei Lin
203578c21a4Szhanglinjuan  def arbiter[T <: Bundle](
204578c21a4Szhanglinjuan    in: Seq[DecoupledIO[T]],
205578c21a4Szhanglinjuan    out: DecoupledIO[T],
206578c21a4Szhanglinjuan    name: Option[String] = None): Unit = {
207578c21a4Szhanglinjuan    val arb = Module(new Arbiter[T](chiselTypeOf(out.bits), in.size))
208578c21a4Szhanglinjuan    if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") }
209578c21a4Szhanglinjuan    for ((a, req) <- arb.io.in.zip(in)) {
210578c21a4Szhanglinjuan      a <> req
211578c21a4Szhanglinjuan    }
212578c21a4Szhanglinjuan    out <> arb.io.out
213578c21a4Szhanglinjuan  }
214578c21a4Szhanglinjuan
215b36dd5fdSWilliam Wang  def arbiter_with_pipereg[T <: Bundle](
216b36dd5fdSWilliam Wang    in: Seq[DecoupledIO[T]],
217b36dd5fdSWilliam Wang    out: DecoupledIO[T],
218b36dd5fdSWilliam Wang    name: Option[String] = None): Unit = {
219b36dd5fdSWilliam Wang    val arb = Module(new Arbiter[T](chiselTypeOf(out.bits), in.size))
220b36dd5fdSWilliam Wang    if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") }
221b36dd5fdSWilliam Wang    for ((a, req) <- arb.io.in.zip(in)) {
222b36dd5fdSWilliam Wang      a <> req
223b36dd5fdSWilliam Wang    }
224b36dd5fdSWilliam Wang    AddPipelineReg(arb.io.out, out, false.B)
225b36dd5fdSWilliam Wang  }
226b36dd5fdSWilliam Wang
227b11ec622Slixin  def arbiter_with_pipereg_N_dup[T <: Bundle](
228b11ec622Slixin    in: Seq[DecoupledIO[T]],
229b11ec622Slixin    out: DecoupledIO[T],
230c3a5fe5fShappy-lx    dups: Seq[DecoupledIO[T]],
231b11ec622Slixin    name: Option[String] = None): Unit = {
232b11ec622Slixin    val arb = Module(new Arbiter[T](chiselTypeOf(out.bits), in.size))
233b11ec622Slixin    if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") }
234b11ec622Slixin    for ((a, req) <- arb.io.in.zip(in)) {
235b11ec622Slixin      a <> req
236b11ec622Slixin    }
237b11ec622Slixin    for (dup <- dups) {
238c3a5fe5fShappy-lx      AddPipelineReg(arb.io.out, dup, false.B)
239b11ec622Slixin    }
240c3a5fe5fShappy-lx    AddPipelineReg(arb.io.out, out, false.B)
241b11ec622Slixin  }
242b11ec622Slixin
243578c21a4Szhanglinjuan  def rrArbiter[T <: Bundle](
244578c21a4Szhanglinjuan    in: Seq[DecoupledIO[T]],
245578c21a4Szhanglinjuan    out: DecoupledIO[T],
246578c21a4Szhanglinjuan    name: Option[String] = None): Unit = {
247578c21a4Szhanglinjuan    val arb = Module(new RRArbiter[T](chiselTypeOf(out.bits), in.size))
248578c21a4Szhanglinjuan    if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") }
249578c21a4Szhanglinjuan    for ((a, req) <- arb.io.in.zip(in)) {
250578c21a4Szhanglinjuan      a <> req
251578c21a4Szhanglinjuan    }
252578c21a4Szhanglinjuan    out <> arb.io.out
253578c21a4Szhanglinjuan  }
254578c21a4Szhanglinjuan
2557cd72b71Szhanglinjuan  def fastArbiter[T <: Bundle](
2567cd72b71Szhanglinjuan    in: Seq[DecoupledIO[T]],
2577cd72b71Szhanglinjuan    out: DecoupledIO[T],
2587cd72b71Szhanglinjuan    name: Option[String] = None): Unit = {
2597cd72b71Szhanglinjuan    val arb = Module(new FastArbiter[T](chiselTypeOf(out.bits), in.size))
2607cd72b71Szhanglinjuan    if (name.nonEmpty) { arb.suggestName(s"${name.get}_arb") }
2617cd72b71Szhanglinjuan    for ((a, req) <- arb.io.in.zip(in)) {
2627cd72b71Szhanglinjuan      a <> req
2637cd72b71Szhanglinjuan    }
2647cd72b71Szhanglinjuan    out <> arb.io.out
2657cd72b71Szhanglinjuan  }
2667cd72b71Szhanglinjuan
267ad3ba452Szhanglinjuan  val numReplaceRespPorts = 2
268ad3ba452Szhanglinjuan
2691f0e2dc7SJiawei Lin  require(isPow2(nSets), s"nSets($nSets) must be pow2")
2701f0e2dc7SJiawei Lin  require(isPow2(nWays), s"nWays($nWays) must be pow2")
2711f0e2dc7SJiawei Lin  require(full_divide(rowBits, wordBits), s"rowBits($rowBits) must be multiple of wordBits($wordBits)")
2721f0e2dc7SJiawei Lin  require(full_divide(beatBits, rowBits), s"beatBits($beatBits) must be multiple of rowBits($rowBits)")
2731f0e2dc7SJiawei Lin}
2741f0e2dc7SJiawei Lin
2751f0e2dc7SJiawei Linabstract class DCacheModule(implicit p: Parameters) extends L1CacheModule
2761f0e2dc7SJiawei Lin  with HasDCacheParameters
2771f0e2dc7SJiawei Lin
2781f0e2dc7SJiawei Linabstract class DCacheBundle(implicit p: Parameters) extends L1CacheBundle
2791f0e2dc7SJiawei Lin  with HasDCacheParameters
2801f0e2dc7SJiawei Lin
2811f0e2dc7SJiawei Linclass ReplacementAccessBundle(implicit p: Parameters) extends DCacheBundle {
2821f0e2dc7SJiawei Lin  val set = UInt(log2Up(nSets).W)
2831f0e2dc7SJiawei Lin  val way = UInt(log2Up(nWays).W)
2841f0e2dc7SJiawei Lin}
2851f0e2dc7SJiawei Lin
286ad3ba452Szhanglinjuanclass ReplacementWayReqIO(implicit p: Parameters) extends DCacheBundle {
287ad3ba452Szhanglinjuan  val set = ValidIO(UInt(log2Up(nSets).W))
288ad3ba452Szhanglinjuan  val way = Input(UInt(log2Up(nWays).W))
289ad3ba452Szhanglinjuan}
290ad3ba452Szhanglinjuan
2913af6aa6eSWilliam Wangclass DCacheExtraMeta(implicit p: Parameters) extends DCacheBundle
2923af6aa6eSWilliam Wang{
2933af6aa6eSWilliam Wang  val error = Bool() // cache line has been marked as corrupted by l2 / ecc error detected when store
2943af6aa6eSWilliam Wang  val prefetch = Bool() // cache line is first required by prefetch
2953af6aa6eSWilliam Wang  val access = Bool() // cache line has been accessed by load / store
2963af6aa6eSWilliam Wang
2973af6aa6eSWilliam Wang  // val debug_access_timestamp = UInt(64.W) // last time a load / store / refill access that cacheline
2983af6aa6eSWilliam Wang}
2993af6aa6eSWilliam Wang
3001f0e2dc7SJiawei Lin// memory request in word granularity(load, mmio, lr/sc, atomics)
3011f0e2dc7SJiawei Linclass DCacheWordReq(implicit p: Parameters)  extends DCacheBundle
3021f0e2dc7SJiawei Lin{
3031f0e2dc7SJiawei Lin  val cmd    = UInt(M_SZ.W)
3041f0e2dc7SJiawei Lin  val addr   = UInt(PAddrBits.W)
3051f0e2dc7SJiawei Lin  val data   = UInt(DataBits.W)
3061f0e2dc7SJiawei Lin  val mask   = UInt((DataBits/8).W)
3071f0e2dc7SJiawei Lin  val id     = UInt(reqIdWidth.W)
3083f4ec46fSCODE-JTZ  val instrtype   = UInt(sourceTypeWidth.W)
309da3bf434SMaxpicca-Li  val isFirstIssue = Bool()
310144422dcSMaxpicca-Li  val replayCarry = new ReplayCarry
311da3bf434SMaxpicca-Li
312da3bf434SMaxpicca-Li  val debug_robIdx = UInt(log2Ceil(RobSize).W)
3131f0e2dc7SJiawei Lin  def dump() = {
3141f0e2dc7SJiawei Lin    XSDebug("DCacheWordReq: cmd: %x addr: %x data: %x mask: %x id: %d\n",
3151f0e2dc7SJiawei Lin      cmd, addr, data, mask, id)
3161f0e2dc7SJiawei Lin  }
3171f0e2dc7SJiawei Lin}
3181f0e2dc7SJiawei Lin
3191f0e2dc7SJiawei Lin// memory request in word granularity(store)
3201f0e2dc7SJiawei Linclass DCacheLineReq(implicit p: Parameters)  extends DCacheBundle
3211f0e2dc7SJiawei Lin{
3221f0e2dc7SJiawei Lin  val cmd    = UInt(M_SZ.W)
3231f0e2dc7SJiawei Lin  val vaddr  = UInt(VAddrBits.W)
3241f0e2dc7SJiawei Lin  val addr   = UInt(PAddrBits.W)
3251f0e2dc7SJiawei Lin  val data   = UInt((cfg.blockBytes * 8).W)
3261f0e2dc7SJiawei Lin  val mask   = UInt(cfg.blockBytes.W)
3271f0e2dc7SJiawei Lin  val id     = UInt(reqIdWidth.W)
3281f0e2dc7SJiawei Lin  def dump() = {
3291f0e2dc7SJiawei Lin    XSDebug("DCacheLineReq: cmd: %x addr: %x data: %x mask: %x id: %d\n",
3301f0e2dc7SJiawei Lin      cmd, addr, data, mask, id)
3311f0e2dc7SJiawei Lin  }
332ad3ba452Szhanglinjuan  def idx: UInt = get_idx(vaddr)
3331f0e2dc7SJiawei Lin}
3341f0e2dc7SJiawei Lin
3351f0e2dc7SJiawei Linclass DCacheWordReqWithVaddr(implicit p: Parameters) extends DCacheWordReq {
3361f0e2dc7SJiawei Lin  val vaddr = UInt(VAddrBits.W)
337ca18a0b4SWilliam Wang  val wline = Bool()
3381f0e2dc7SJiawei Lin}
3391f0e2dc7SJiawei Lin
3406786cfb7SWilliam Wangclass BaseDCacheWordResp(implicit p: Parameters) extends DCacheBundle
3411f0e2dc7SJiawei Lin{
342144422dcSMaxpicca-Li  // read in s2
3431f0e2dc7SJiawei Lin  val data = UInt(DataBits.W)
344144422dcSMaxpicca-Li  // select in s3
345144422dcSMaxpicca-Li  val data_delayed = UInt(DataBits.W)
346026615fcSWilliam Wang  val id     = UInt(reqIdWidth.W)
3471f0e2dc7SJiawei Lin  // cache req missed, send it to miss queue
3481f0e2dc7SJiawei Lin  val miss   = Bool()
349026615fcSWilliam Wang  // cache miss, and failed to enter the missqueue, replay from RS is needed
3501f0e2dc7SJiawei Lin  val replay = Bool()
351144422dcSMaxpicca-Li  val replayCarry = new ReplayCarry
352026615fcSWilliam Wang  // data has been corrupted
353a469aa4bSWilliam Wang  val tag_error = Bool() // tag error
354144422dcSMaxpicca-Li  val mshr_id = UInt(log2Up(cfg.nMissEntries).W)
355144422dcSMaxpicca-Li
356da3bf434SMaxpicca-Li  val debug_robIdx = UInt(log2Ceil(RobSize).W)
3571f0e2dc7SJiawei Lin  def dump() = {
3581f0e2dc7SJiawei Lin    XSDebug("DCacheWordResp: data: %x id: %d miss: %b replay: %b\n",
3591f0e2dc7SJiawei Lin      data, id, miss, replay)
3601f0e2dc7SJiawei Lin  }
3611f0e2dc7SJiawei Lin}
3621f0e2dc7SJiawei Lin
3636786cfb7SWilliam Wangclass DCacheWordResp(implicit p: Parameters) extends BaseDCacheWordResp
3646786cfb7SWilliam Wang{
3654b6d4d13SWilliam Wang  val meta_prefetch = Bool()
3664b6d4d13SWilliam Wang  val meta_access = Bool()
367*b9e121dfShappy-lx  // s2
368*b9e121dfShappy-lx  val handled = Bool()
369*b9e121dfShappy-lx  // s3: 1 cycle after data resp
3706786cfb7SWilliam Wang  val error_delayed = Bool() // all kinds of errors, include tag error
371*b9e121dfShappy-lx  val replacementUpdated = Bool()
3726786cfb7SWilliam Wang}
3736786cfb7SWilliam Wang
374a19ae480SWilliam Wangclass BankedDCacheWordResp(implicit p: Parameters) extends DCacheWordResp
375a19ae480SWilliam Wang{
376a19ae480SWilliam Wang  val bank_data = Vec(DCacheBanks, Bits(DCacheSRAMRowBits.W))
377a19ae480SWilliam Wang  val bank_oh = UInt(DCacheBanks.W)
378a19ae480SWilliam Wang}
379a19ae480SWilliam Wang
3806786cfb7SWilliam Wangclass DCacheWordRespWithError(implicit p: Parameters) extends BaseDCacheWordResp
3816786cfb7SWilliam Wang{
3826786cfb7SWilliam Wang  val error = Bool() // all kinds of errors, include tag error
3836786cfb7SWilliam Wang}
3846786cfb7SWilliam Wang
3851f0e2dc7SJiawei Linclass DCacheLineResp(implicit p: Parameters) extends DCacheBundle
3861f0e2dc7SJiawei Lin{
3871f0e2dc7SJiawei Lin  val data   = UInt((cfg.blockBytes * 8).W)
3881f0e2dc7SJiawei Lin  // cache req missed, send it to miss queue
3891f0e2dc7SJiawei Lin  val miss   = Bool()
3901f0e2dc7SJiawei Lin  // cache req nacked, replay it later
3911f0e2dc7SJiawei Lin  val replay = Bool()
3921f0e2dc7SJiawei Lin  val id     = UInt(reqIdWidth.W)
3931f0e2dc7SJiawei Lin  def dump() = {
3941f0e2dc7SJiawei Lin    XSDebug("DCacheLineResp: data: %x id: %d miss: %b replay: %b\n",
3951f0e2dc7SJiawei Lin      data, id, miss, replay)
3961f0e2dc7SJiawei Lin  }
3971f0e2dc7SJiawei Lin}
3981f0e2dc7SJiawei Lin
3991f0e2dc7SJiawei Linclass Refill(implicit p: Parameters) extends DCacheBundle
4001f0e2dc7SJiawei Lin{
4011f0e2dc7SJiawei Lin  val addr   = UInt(PAddrBits.W)
4021f0e2dc7SJiawei Lin  val data   = UInt(l1BusDataWidth.W)
403026615fcSWilliam Wang  val error  = Bool() // refilled data has been corrupted
4041f0e2dc7SJiawei Lin  // for debug usage
4051f0e2dc7SJiawei Lin  val data_raw = UInt((cfg.blockBytes * 8).W)
4061f0e2dc7SJiawei Lin  val hasdata = Bool()
4071f0e2dc7SJiawei Lin  val refill_done = Bool()
4081f0e2dc7SJiawei Lin  def dump() = {
4091f0e2dc7SJiawei Lin    XSDebug("Refill: addr: %x data: %x\n", addr, data)
4101f0e2dc7SJiawei Lin  }
411683c1411Shappy-lx  val id     = UInt(log2Up(cfg.nMissEntries).W)
4121f0e2dc7SJiawei Lin}
4131f0e2dc7SJiawei Lin
41467682d05SWilliam Wangclass Release(implicit p: Parameters) extends DCacheBundle
41567682d05SWilliam Wang{
41667682d05SWilliam Wang  val paddr  = UInt(PAddrBits.W)
41767682d05SWilliam Wang  def dump() = {
41867682d05SWilliam Wang    XSDebug("Release: paddr: %x\n", paddr(PAddrBits-1, DCacheTagOffset))
41967682d05SWilliam Wang  }
42067682d05SWilliam Wang}
42167682d05SWilliam Wang
4221f0e2dc7SJiawei Linclass DCacheWordIO(implicit p: Parameters) extends DCacheBundle
4231f0e2dc7SJiawei Lin{
4241f0e2dc7SJiawei Lin  val req  = DecoupledIO(new DCacheWordReq)
425144422dcSMaxpicca-Li  val resp = Flipped(DecoupledIO(new DCacheWordResp))
4261f0e2dc7SJiawei Lin}
4271f0e2dc7SJiawei Lin
42837225120Ssfencevma
42937225120Ssfencevmaclass UncacheWordReq(implicit p: Parameters) extends DCacheBundle
43037225120Ssfencevma{
43137225120Ssfencevma  val cmd  = UInt(M_SZ.W)
43237225120Ssfencevma  val addr = UInt(PAddrBits.W)
43337225120Ssfencevma  val data = UInt(DataBits.W)
43437225120Ssfencevma  val mask = UInt((DataBits/8).W)
43537225120Ssfencevma  val id   = UInt(uncacheIdxBits.W)
43637225120Ssfencevma  val instrtype = UInt(sourceTypeWidth.W)
43737225120Ssfencevma  val atomic = Bool()
438da3bf434SMaxpicca-Li  val isFirstIssue = Bool()
439144422dcSMaxpicca-Li  val replayCarry = new ReplayCarry
44037225120Ssfencevma
44137225120Ssfencevma  def dump() = {
44237225120Ssfencevma    XSDebug("UncacheWordReq: cmd: %x addr: %x data: %x mask: %x id: %d\n",
44337225120Ssfencevma      cmd, addr, data, mask, id)
44437225120Ssfencevma  }
44537225120Ssfencevma}
44637225120Ssfencevma
44737225120Ssfencevmaclass UncacheWorResp(implicit p: Parameters) extends DCacheBundle
44837225120Ssfencevma{
44937225120Ssfencevma  val data      = UInt(DataBits.W)
450144422dcSMaxpicca-Li  val data_delayed = UInt(DataBits.W)
45137225120Ssfencevma  val id        = UInt(uncacheIdxBits.W)
45237225120Ssfencevma  val miss      = Bool()
45337225120Ssfencevma  val replay    = Bool()
45437225120Ssfencevma  val tag_error = Bool()
45537225120Ssfencevma  val error     = Bool()
456144422dcSMaxpicca-Li  val replayCarry = new ReplayCarry
457144422dcSMaxpicca-Li  val mshr_id = UInt(log2Up(cfg.nMissEntries).W)  // FIXME: why uncacheWordResp is not merged to baseDcacheResp
45837225120Ssfencevma
459da3bf434SMaxpicca-Li  val debug_robIdx = UInt(log2Ceil(RobSize).W)
46037225120Ssfencevma  def dump() = {
46137225120Ssfencevma    XSDebug("UncacheWordResp: data: %x id: %d miss: %b replay: %b, tag_error: %b, error: %b\n",
46237225120Ssfencevma      data, id, miss, replay, tag_error, error)
46337225120Ssfencevma  }
46437225120Ssfencevma}
46537225120Ssfencevma
4666786cfb7SWilliam Wangclass UncacheWordIO(implicit p: Parameters) extends DCacheBundle
4676786cfb7SWilliam Wang{
46837225120Ssfencevma  val req  = DecoupledIO(new UncacheWordReq)
46937225120Ssfencevma  val resp = Flipped(DecoupledIO(new UncacheWorResp))
4706786cfb7SWilliam Wang}
4716786cfb7SWilliam Wang
47262cb71fbShappy-lxclass AtomicsResp(implicit p: Parameters) extends DCacheBundle {
47362cb71fbShappy-lx  val data    = UInt(DataBits.W)
47462cb71fbShappy-lx  val miss    = Bool()
47562cb71fbShappy-lx  val miss_id = UInt(log2Up(cfg.nMissEntries).W)
47662cb71fbShappy-lx  val replay  = Bool()
47762cb71fbShappy-lx  val error   = Bool()
47862cb71fbShappy-lx
47962cb71fbShappy-lx  val ack_miss_queue = Bool()
48062cb71fbShappy-lx
48162cb71fbShappy-lx  val id     = UInt(reqIdWidth.W)
48262cb71fbShappy-lx}
48362cb71fbShappy-lx
4846786cfb7SWilliam Wangclass AtomicWordIO(implicit p: Parameters) extends DCacheBundle
4851f0e2dc7SJiawei Lin{
48662cb71fbShappy-lx  val req  = DecoupledIO(new MainPipeReq)
48762cb71fbShappy-lx  val resp = Flipped(ValidIO(new AtomicsResp))
48862cb71fbShappy-lx  val block_lr = Input(Bool())
4891f0e2dc7SJiawei Lin}
4901f0e2dc7SJiawei Lin
4911f0e2dc7SJiawei Lin// used by load unit
4921f0e2dc7SJiawei Linclass DCacheLoadIO(implicit p: Parameters) extends DCacheWordIO
4931f0e2dc7SJiawei Lin{
4941f0e2dc7SJiawei Lin  // kill previous cycle's req
4951f0e2dc7SJiawei Lin  val s1_kill  = Output(Bool())
496b6982e83SLemover  val s2_kill  = Output(Bool())
4972db9ec44SLinJiawei  val s2_pc = Output(UInt(VAddrBits.W))
498*b9e121dfShappy-lx  // cycle 0: load has updated replacement before
499*b9e121dfShappy-lx  val replacementUpdated = Output(Bool())
5001f0e2dc7SJiawei Lin  // cycle 0: virtual address: req.addr
5011f0e2dc7SJiawei Lin  // cycle 1: physical address: s1_paddr
50203efd994Shappy-lx  val s1_paddr_dup_lsu = Output(UInt(PAddrBits.W)) // lsu side paddr
50303efd994Shappy-lx  val s1_paddr_dup_dcache = Output(UInt(PAddrBits.W)) // dcache side paddr
5041f0e2dc7SJiawei Lin  val s1_disable_fast_wakeup = Input(Bool())
50503efd994Shappy-lx  // cycle 2: hit signal
50603efd994Shappy-lx  val s2_hit = Input(Bool()) // hit signal for lsu,
507da3bf434SMaxpicca-Li  val s2_first_hit = Input(Bool())
508594c5198Ssfencevma  val s2_bank_conflict = Input(Bool())
50903efd994Shappy-lx
51003efd994Shappy-lx  // debug
51103efd994Shappy-lx  val debug_s1_hit_way = Input(UInt(nWays.W))
5121f0e2dc7SJiawei Lin}
5131f0e2dc7SJiawei Lin
5141f0e2dc7SJiawei Linclass DCacheLineIO(implicit p: Parameters) extends DCacheBundle
5151f0e2dc7SJiawei Lin{
5161f0e2dc7SJiawei Lin  val req  = DecoupledIO(new DCacheLineReq)
5171f0e2dc7SJiawei Lin  val resp = Flipped(DecoupledIO(new DCacheLineResp))
5181f0e2dc7SJiawei Lin}
5191f0e2dc7SJiawei Lin
520ad3ba452Szhanglinjuanclass DCacheToSbufferIO(implicit p: Parameters) extends DCacheBundle {
521ad3ba452Szhanglinjuan  // sbuffer will directly send request to dcache main pipe
522ad3ba452Szhanglinjuan  val req = Flipped(Decoupled(new DCacheLineReq))
523ad3ba452Szhanglinjuan
524ad3ba452Szhanglinjuan  val main_pipe_hit_resp = ValidIO(new DCacheLineResp)
525ad3ba452Szhanglinjuan  val refill_hit_resp = ValidIO(new DCacheLineResp)
526ad3ba452Szhanglinjuan
527ad3ba452Szhanglinjuan  val replay_resp = ValidIO(new DCacheLineResp)
528ad3ba452Szhanglinjuan
529ad3ba452Szhanglinjuan  def hit_resps: Seq[ValidIO[DCacheLineResp]] = Seq(main_pipe_hit_resp, refill_hit_resp)
530ad3ba452Szhanglinjuan}
531ad3ba452Szhanglinjuan
532683c1411Shappy-lx// forward tilelink channel D's data to ldu
533683c1411Shappy-lxclass DcacheToLduForwardIO(implicit p: Parameters) extends DCacheBundle {
534683c1411Shappy-lx  val valid = Bool()
535683c1411Shappy-lx  val data = UInt(l1BusDataWidth.W)
536683c1411Shappy-lx  val mshrid = UInt(log2Up(cfg.nMissEntries).W)
537683c1411Shappy-lx  val last = Bool()
538683c1411Shappy-lx
539683c1411Shappy-lx  def apply(req_valid : Bool, req_data : UInt, req_mshrid : UInt, req_last : Bool) = {
540683c1411Shappy-lx    valid := req_valid
541683c1411Shappy-lx    data := req_data
542683c1411Shappy-lx    mshrid := req_mshrid
543683c1411Shappy-lx    last := req_last
544683c1411Shappy-lx  }
545683c1411Shappy-lx
546683c1411Shappy-lx  def dontCare() = {
547683c1411Shappy-lx    valid := false.B
548683c1411Shappy-lx    data := DontCare
549683c1411Shappy-lx    mshrid := DontCare
550683c1411Shappy-lx    last := DontCare
551683c1411Shappy-lx  }
552683c1411Shappy-lx
553683c1411Shappy-lx  def forward(req_valid : Bool, req_mshr_id : UInt, req_paddr : UInt) = {
554683c1411Shappy-lx    val all_match = req_valid && valid &&
555683c1411Shappy-lx                req_mshr_id === mshrid &&
556683c1411Shappy-lx                req_paddr(log2Up(refillBytes)) === last
557683c1411Shappy-lx
558683c1411Shappy-lx    val forward_D = RegInit(false.B)
559683c1411Shappy-lx    val forwardData = RegInit(VecInit(List.fill(8)(0.U(8.W))))
560683c1411Shappy-lx
561683c1411Shappy-lx    val block_idx = req_paddr(log2Up(refillBytes) - 1, 3)
562683c1411Shappy-lx    val block_data = Wire(Vec(l1BusDataWidth / 64, UInt(64.W)))
563683c1411Shappy-lx    (0 until l1BusDataWidth / 64).map(i => {
564683c1411Shappy-lx      block_data(i) := data(64 * i + 63, 64 * i)
565683c1411Shappy-lx    })
566683c1411Shappy-lx    val selected_data = block_data(block_idx)
567683c1411Shappy-lx
568683c1411Shappy-lx    forward_D := all_match
569683c1411Shappy-lx    for (i <- 0 until 8) {
570683c1411Shappy-lx      forwardData(i) := selected_data(8 * i + 7, 8 * i)
571683c1411Shappy-lx    }
572683c1411Shappy-lx
573683c1411Shappy-lx    (forward_D, forwardData)
574683c1411Shappy-lx  }
575683c1411Shappy-lx}
576683c1411Shappy-lx
577683c1411Shappy-lxclass MissEntryForwardIO(implicit p: Parameters) extends DCacheBundle {
578683c1411Shappy-lx  val inflight = Bool()
579683c1411Shappy-lx  val paddr = UInt(PAddrBits.W)
580683c1411Shappy-lx  val raw_data = Vec(blockBytes/beatBytes, UInt(beatBits.W))
581683c1411Shappy-lx  val firstbeat_valid = Bool()
582683c1411Shappy-lx  val lastbeat_valid = Bool()
583683c1411Shappy-lx
584683c1411Shappy-lx  def apply(mshr_valid : Bool, mshr_paddr : UInt, mshr_rawdata : Vec[UInt], mshr_first_valid : Bool, mshr_last_valid : Bool) = {
585683c1411Shappy-lx    inflight := mshr_valid
586683c1411Shappy-lx    paddr := mshr_paddr
587683c1411Shappy-lx    raw_data := mshr_rawdata
588683c1411Shappy-lx    firstbeat_valid := mshr_first_valid
589683c1411Shappy-lx    lastbeat_valid := mshr_last_valid
590683c1411Shappy-lx  }
591683c1411Shappy-lx
592683c1411Shappy-lx  // check if we can forward from mshr or D channel
593683c1411Shappy-lx  def check(req_valid : Bool, req_paddr : UInt) = {
594683c1411Shappy-lx    RegNext(req_valid && inflight && req_paddr(PAddrBits - 1, blockOffBits) === paddr(PAddrBits - 1, blockOffBits))
595683c1411Shappy-lx  }
596683c1411Shappy-lx
597683c1411Shappy-lx  def forward(req_valid : Bool, req_paddr : UInt) = {
598683c1411Shappy-lx    val all_match = (req_paddr(log2Up(refillBytes)) === 0.U && firstbeat_valid) ||
599683c1411Shappy-lx                    (req_paddr(log2Up(refillBytes)) === 1.U && lastbeat_valid)
600683c1411Shappy-lx
601683c1411Shappy-lx    val forward_mshr = RegInit(false.B)
602683c1411Shappy-lx    val forwardData = RegInit(VecInit(List.fill(8)(0.U(8.W))))
603683c1411Shappy-lx
604683c1411Shappy-lx    val beat_data = raw_data(req_paddr(log2Up(refillBytes)))
605683c1411Shappy-lx    val block_idx = req_paddr(log2Up(refillBytes) - 1, 3)
606683c1411Shappy-lx    val block_data = Wire(Vec(l1BusDataWidth / 64, UInt(64.W)))
607683c1411Shappy-lx    (0 until l1BusDataWidth / 64).map(i => {
608683c1411Shappy-lx      block_data(i) := beat_data(64 * i + 63, 64 * i)
609683c1411Shappy-lx    })
610683c1411Shappy-lx    val selected_data = block_data(block_idx)
611683c1411Shappy-lx
612683c1411Shappy-lx    forward_mshr := all_match
613683c1411Shappy-lx    for (i <- 0 until 8) {
614683c1411Shappy-lx      forwardData(i) := selected_data(8 * i + 7, 8 * i)
615683c1411Shappy-lx    }
616683c1411Shappy-lx
617683c1411Shappy-lx    (forward_mshr, forwardData)
618683c1411Shappy-lx  }
619683c1411Shappy-lx}
620683c1411Shappy-lx
621683c1411Shappy-lx// forward mshr's data to ldu
622683c1411Shappy-lxclass LduToMissqueueForwardIO(implicit p: Parameters) extends DCacheBundle {
623683c1411Shappy-lx  // req
624683c1411Shappy-lx  val valid = Input(Bool())
625683c1411Shappy-lx  val mshrid = Input(UInt(log2Up(cfg.nMissEntries).W))
626683c1411Shappy-lx  val paddr = Input(UInt(PAddrBits.W))
627683c1411Shappy-lx  // resp
628683c1411Shappy-lx  val forward_mshr = Output(Bool())
629683c1411Shappy-lx  val forwardData = Output(Vec(8, UInt(8.W)))
630683c1411Shappy-lx  val forward_result_valid = Output(Bool())
631683c1411Shappy-lx
632683c1411Shappy-lx  def connect(sink: LduToMissqueueForwardIO) = {
633683c1411Shappy-lx    sink.valid := valid
634683c1411Shappy-lx    sink.mshrid := mshrid
635683c1411Shappy-lx    sink.paddr := paddr
636683c1411Shappy-lx    forward_mshr := sink.forward_mshr
637683c1411Shappy-lx    forwardData := sink.forwardData
638683c1411Shappy-lx    forward_result_valid := sink.forward_result_valid
639683c1411Shappy-lx  }
640683c1411Shappy-lx
641683c1411Shappy-lx  def forward() = {
642683c1411Shappy-lx    (forward_result_valid, forward_mshr, forwardData)
643683c1411Shappy-lx  }
644683c1411Shappy-lx}
645683c1411Shappy-lx
6461f0e2dc7SJiawei Linclass DCacheToLsuIO(implicit p: Parameters) extends DCacheBundle {
6471f0e2dc7SJiawei Lin  val load  = Vec(LoadPipelineWidth, Flipped(new DCacheLoadIO)) // for speculative load
6481f0e2dc7SJiawei Lin  val lsq = ValidIO(new Refill)  // refill to load queue, wake up load misses
649ad3ba452Szhanglinjuan  val store = new DCacheToSbufferIO // for sbuffer
6506786cfb7SWilliam Wang  val atomics  = Flipped(new AtomicWordIO)  // atomics reqs
65167682d05SWilliam Wang  val release = ValidIO(new Release) // cacheline release hint for ld-ld violation check
652683c1411Shappy-lx  val forward_D = Output(Vec(LoadPipelineWidth, new DcacheToLduForwardIO))
653683c1411Shappy-lx  val forward_mshr = Vec(LoadPipelineWidth, new LduToMissqueueForwardIO)
6541f0e2dc7SJiawei Lin}
6551f0e2dc7SJiawei Lin
6561f0e2dc7SJiawei Linclass DCacheIO(implicit p: Parameters) extends DCacheBundle {
6575668a921SJiawei Lin  val hartId = Input(UInt(8.W))
658f1d78cf7SLinJiawei  val l2_pf_store_only = Input(Bool())
6591f0e2dc7SJiawei Lin  val lsu = new DCacheToLsuIO
660e19f7967SWilliam Wang  val csr = new L1CacheToCsrIO
6611f0e2dc7SJiawei Lin  val error = new L1CacheErrorInfo
6621f0e2dc7SJiawei Lin  val mshrFull = Output(Bool())
6631f0e2dc7SJiawei Lin}
6641f0e2dc7SJiawei Lin
6651f0e2dc7SJiawei Lin
6661f0e2dc7SJiawei Linclass DCache()(implicit p: Parameters) extends LazyModule with HasDCacheParameters {
6671f0e2dc7SJiawei Lin
6681f0e2dc7SJiawei Lin  val clientParameters = TLMasterPortParameters.v1(
6691f0e2dc7SJiawei Lin    Seq(TLMasterParameters.v1(
6701f0e2dc7SJiawei Lin      name = "dcache",
671ad3ba452Szhanglinjuan      sourceId = IdRange(0, nEntries + 1),
6721f0e2dc7SJiawei Lin      supportsProbe = TransferSizes(cfg.blockBytes)
6731f0e2dc7SJiawei Lin    )),
6741f0e2dc7SJiawei Lin    requestFields = cacheParams.reqFields,
6751f0e2dc7SJiawei Lin    echoFields = cacheParams.echoFields
6761f0e2dc7SJiawei Lin  )
6771f0e2dc7SJiawei Lin
6781f0e2dc7SJiawei Lin  val clientNode = TLClientNode(Seq(clientParameters))
6791f0e2dc7SJiawei Lin
6801f0e2dc7SJiawei Lin  lazy val module = new DCacheImp(this)
6811f0e2dc7SJiawei Lin}
6821f0e2dc7SJiawei Lin
6831f0e2dc7SJiawei Lin
6841ca0e4f3SYinan Xuclass DCacheImp(outer: DCache) extends LazyModuleImp(outer) with HasDCacheParameters with HasPerfEvents {
6851f0e2dc7SJiawei Lin
6861f0e2dc7SJiawei Lin  val io = IO(new DCacheIO)
6871f0e2dc7SJiawei Lin
6881f0e2dc7SJiawei Lin  val (bus, edge) = outer.clientNode.out.head
6891f0e2dc7SJiawei Lin  require(bus.d.bits.data.getWidth == l1BusDataWidth, "DCache: tilelink width does not match")
6901f0e2dc7SJiawei Lin
6911f0e2dc7SJiawei Lin  println("DCache:")
6921f0e2dc7SJiawei Lin  println("  DCacheSets: " + DCacheSets)
6931f0e2dc7SJiawei Lin  println("  DCacheWays: " + DCacheWays)
6941f0e2dc7SJiawei Lin  println("  DCacheBanks: " + DCacheBanks)
6951f0e2dc7SJiawei Lin  println("  DCacheSRAMRowBits: " + DCacheSRAMRowBits)
6961f0e2dc7SJiawei Lin  println("  DCacheWordOffset: " + DCacheWordOffset)
6971f0e2dc7SJiawei Lin  println("  DCacheBankOffset: " + DCacheBankOffset)
6981f0e2dc7SJiawei Lin  println("  DCacheSetOffset: " + DCacheSetOffset)
6991f0e2dc7SJiawei Lin  println("  DCacheTagOffset: " + DCacheTagOffset)
7001f0e2dc7SJiawei Lin  println("  DCacheAboveIndexOffset: " + DCacheAboveIndexOffset)
7011f0e2dc7SJiawei Lin
7021f0e2dc7SJiawei Lin  //----------------------------------------
7031f0e2dc7SJiawei Lin  // core data structures
7047dbf3a33SMaxpicca-Li  val bankedDataArray = if(EnableDCacheWPU) Module(new SramedDataArray) else Module(new BankedDataArray)
7053af6aa6eSWilliam Wang  val metaArray = Module(new L1CohMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2))
7063af6aa6eSWilliam Wang  val errorArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2))
7073af6aa6eSWilliam Wang  val prefetchArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = 2)) // prefetch flag array
7083af6aa6eSWilliam Wang  val accessArray = Module(new L1FlagMetaArray(readPorts = LoadPipelineWidth + 1, writePorts = LoadPipelineWidth + 2))
709ad3ba452Szhanglinjuan  val tagArray = Module(new DuplicatedTagArray(readPorts = LoadPipelineWidth + 1))
7101f0e2dc7SJiawei Lin  bankedDataArray.dump()
7111f0e2dc7SJiawei Lin
7121f0e2dc7SJiawei Lin  //----------------------------------------
7131f0e2dc7SJiawei Lin  // core modules
7141f0e2dc7SJiawei Lin  val ldu = Seq.tabulate(LoadPipelineWidth)({ i => Module(new LoadPipe(i))})
71562cb71fbShappy-lx  // val atomicsReplayUnit = Module(new AtomicsReplayEntry)
7161f0e2dc7SJiawei Lin  val mainPipe   = Module(new MainPipe)
717ad3ba452Szhanglinjuan  val refillPipe = Module(new RefillPipe)
7181f0e2dc7SJiawei Lin  val missQueue  = Module(new MissQueue(edge))
7191f0e2dc7SJiawei Lin  val probeQueue = Module(new ProbeQueue(edge))
7201f0e2dc7SJiawei Lin  val wb         = Module(new WritebackQueue(edge))
7211f0e2dc7SJiawei Lin
7225668a921SJiawei Lin  missQueue.io.hartId := io.hartId
723f1d78cf7SLinJiawei  missQueue.io.l2_pf_store_only := RegNext(io.l2_pf_store_only, false.B)
7245668a921SJiawei Lin
7259ef181f4SWilliam Wang  val errors = ldu.map(_.io.error) ++ // load error
7269ef181f4SWilliam Wang    Seq(mainPipe.io.error) // store / misc error
7276786cfb7SWilliam Wang  io.error <> RegNext(Mux1H(errors.map(e => RegNext(e.valid) -> RegNext(e))))
728dd95524eSzhanglinjuan
7291f0e2dc7SJiawei Lin  //----------------------------------------
7301f0e2dc7SJiawei Lin  // meta array
7313af6aa6eSWilliam Wang
7323af6aa6eSWilliam Wang  // read / write coh meta
733ad3ba452Szhanglinjuan  val meta_read_ports = ldu.map(_.io.meta_read) ++
734026615fcSWilliam Wang    Seq(mainPipe.io.meta_read)
735ad3ba452Szhanglinjuan  val meta_resp_ports = ldu.map(_.io.meta_resp) ++
736026615fcSWilliam Wang    Seq(mainPipe.io.meta_resp)
737ad3ba452Szhanglinjuan  val meta_write_ports = Seq(
738ad3ba452Szhanglinjuan    mainPipe.io.meta_write,
739026615fcSWilliam Wang    refillPipe.io.meta_write
740ad3ba452Szhanglinjuan  )
741ad3ba452Szhanglinjuan  meta_read_ports.zip(metaArray.io.read).foreach { case (p, r) => r <> p }
742ad3ba452Szhanglinjuan  meta_resp_ports.zip(metaArray.io.resp).foreach { case (p, r) => p := r }
743ad3ba452Szhanglinjuan  meta_write_ports.zip(metaArray.io.write).foreach { case (p, w) => w <> p }
7441f0e2dc7SJiawei Lin
7453af6aa6eSWilliam Wang  // read extra meta
746026615fcSWilliam Wang  meta_read_ports.zip(errorArray.io.read).foreach { case (p, r) => r <> p }
7473af6aa6eSWilliam Wang  meta_read_ports.zip(prefetchArray.io.read).foreach { case (p, r) => r <> p }
7483af6aa6eSWilliam Wang  meta_read_ports.zip(accessArray.io.read).foreach { case (p, r) => r <> p }
7493af6aa6eSWilliam Wang  val extra_meta_resp_ports = ldu.map(_.io.extra_meta_resp) ++
7503af6aa6eSWilliam Wang    Seq(mainPipe.io.extra_meta_resp)
7513af6aa6eSWilliam Wang  extra_meta_resp_ports.zip(errorArray.io.resp).foreach { case (p, r) => {
7523af6aa6eSWilliam Wang    (0 until nWays).map(i => { p(i).error := r(i) })
7533af6aa6eSWilliam Wang  }}
7543af6aa6eSWilliam Wang  extra_meta_resp_ports.zip(prefetchArray.io.resp).foreach { case (p, r) => {
7553af6aa6eSWilliam Wang    (0 until nWays).map(i => { p(i).prefetch := r(i) })
7563af6aa6eSWilliam Wang  }}
7573af6aa6eSWilliam Wang  extra_meta_resp_ports.zip(accessArray.io.resp).foreach { case (p, r) => {
7583af6aa6eSWilliam Wang    (0 until nWays).map(i => { p(i).access := r(i) })
7593af6aa6eSWilliam Wang  }}
7603af6aa6eSWilliam Wang
7613af6aa6eSWilliam Wang  // write extra meta
7623af6aa6eSWilliam Wang  val error_flag_write_ports = Seq(
7633af6aa6eSWilliam Wang    mainPipe.io.error_flag_write, // error flag generated by corrupted store
7643af6aa6eSWilliam Wang    refillPipe.io.error_flag_write // corrupted signal from l2
7653af6aa6eSWilliam Wang  )
766026615fcSWilliam Wang  error_flag_write_ports.zip(errorArray.io.write).foreach { case (p, w) => w <> p }
767026615fcSWilliam Wang
7683af6aa6eSWilliam Wang  val prefetch_flag_write_ports = Seq(
7693af6aa6eSWilliam Wang    mainPipe.io.prefetch_flag_write, // set prefetch_flag to false if coh is set to Nothing
7703af6aa6eSWilliam Wang    refillPipe.io.prefetch_flag_write // refill required by prefetch will set prefetch_flag
7713af6aa6eSWilliam Wang  )
7723af6aa6eSWilliam Wang  prefetch_flag_write_ports.zip(prefetchArray.io.write).foreach { case (p, w) => w <> p }
7733af6aa6eSWilliam Wang
7743af6aa6eSWilliam Wang  val access_flag_write_ports = ldu.map(_.io.access_flag_write) ++ Seq(
7753af6aa6eSWilliam Wang    mainPipe.io.access_flag_write,
7763af6aa6eSWilliam Wang    refillPipe.io.access_flag_write
7773af6aa6eSWilliam Wang  )
7783af6aa6eSWilliam Wang  access_flag_write_ports.zip(accessArray.io.write).foreach { case (p, w) => w <> p }
7793af6aa6eSWilliam Wang
780ad3ba452Szhanglinjuan  //----------------------------------------
781ad3ba452Szhanglinjuan  // tag array
782ad3ba452Szhanglinjuan  require(tagArray.io.read.size == (ldu.size + 1))
78309ae47d2SWilliam Wang  val tag_write_intend = missQueue.io.refill_pipe_req.valid || mainPipe.io.tag_write_intend
78409ae47d2SWilliam Wang  assert(!RegNext(!tag_write_intend && tagArray.io.write.valid))
785ad3ba452Szhanglinjuan  ldu.zipWithIndex.foreach {
786ad3ba452Szhanglinjuan    case (ld, i) =>
787ad3ba452Szhanglinjuan      tagArray.io.read(i) <> ld.io.tag_read
788ad3ba452Szhanglinjuan      ld.io.tag_resp := tagArray.io.resp(i)
78909ae47d2SWilliam Wang      ld.io.tag_read.ready := !tag_write_intend
7901f0e2dc7SJiawei Lin  }
791ad3ba452Szhanglinjuan  tagArray.io.read.last <> mainPipe.io.tag_read
792ad3ba452Szhanglinjuan  mainPipe.io.tag_resp := tagArray.io.resp.last
793ad3ba452Szhanglinjuan
79409ae47d2SWilliam Wang  val fake_tag_read_conflict_this_cycle = PopCount(ldu.map(ld=> ld.io.tag_read.valid))
79509ae47d2SWilliam Wang  XSPerfAccumulate("fake_tag_read_conflict", fake_tag_read_conflict_this_cycle)
79609ae47d2SWilliam Wang
797ad3ba452Szhanglinjuan  val tag_write_arb = Module(new Arbiter(new TagWriteReq, 2))
798ad3ba452Szhanglinjuan  tag_write_arb.io.in(0) <> refillPipe.io.tag_write
799ad3ba452Szhanglinjuan  tag_write_arb.io.in(1) <> mainPipe.io.tag_write
800ad3ba452Szhanglinjuan  tagArray.io.write <> tag_write_arb.io.out
8011f0e2dc7SJiawei Lin
8021f0e2dc7SJiawei Lin  //----------------------------------------
8031f0e2dc7SJiawei Lin  // data array
8041f0e2dc7SJiawei Lin
805ad3ba452Szhanglinjuan  val dataWriteArb = Module(new Arbiter(new L1BankedDataWriteReq, 2))
806ad3ba452Szhanglinjuan  dataWriteArb.io.in(0) <> refillPipe.io.data_write
807ad3ba452Szhanglinjuan  dataWriteArb.io.in(1) <> mainPipe.io.data_write
808ad3ba452Szhanglinjuan
809ad3ba452Szhanglinjuan  bankedDataArray.io.write <> dataWriteArb.io.out
8101f0e2dc7SJiawei Lin
8116c7e5e86Szhanglinjuan  for (bank <- 0 until DCacheBanks) {
8126c7e5e86Szhanglinjuan    val dataWriteArb_dup = Module(new Arbiter(new L1BankedDataWriteReqCtrl, 2))
8136c7e5e86Szhanglinjuan    dataWriteArb_dup.io.in(0).valid := refillPipe.io.data_write_dup(bank).valid
8146c7e5e86Szhanglinjuan    dataWriteArb_dup.io.in(0).bits := refillPipe.io.data_write_dup(bank).bits
8156c7e5e86Szhanglinjuan    dataWriteArb_dup.io.in(1).valid := mainPipe.io.data_write_dup(bank).valid
8166c7e5e86Szhanglinjuan    dataWriteArb_dup.io.in(1).bits := mainPipe.io.data_write_dup(bank).bits
8176c7e5e86Szhanglinjuan
8186c7e5e86Szhanglinjuan    bankedDataArray.io.write_dup(bank) <> dataWriteArb_dup.io.out
8196c7e5e86Szhanglinjuan  }
8206c7e5e86Szhanglinjuan
8219ef181f4SWilliam Wang  bankedDataArray.io.readline <> mainPipe.io.data_read
8227a5caa97Szhanglinjuan  bankedDataArray.io.readline_intend := mainPipe.io.data_read_intend
8236786cfb7SWilliam Wang  mainPipe.io.readline_error_delayed := bankedDataArray.io.readline_error_delayed
824144422dcSMaxpicca-Li  mainPipe.io.data_resp := bankedDataArray.io.readline_resp
8251f0e2dc7SJiawei Lin
8269ef181f4SWilliam Wang  (0 until LoadPipelineWidth).map(i => {
8279ef181f4SWilliam Wang    bankedDataArray.io.read(i) <> ldu(i).io.banked_data_read
8286786cfb7SWilliam Wang    bankedDataArray.io.read_error_delayed(i) <> ldu(i).io.read_error_delayed
8299ef181f4SWilliam Wang
830144422dcSMaxpicca-Li    ldu(i).io.banked_data_resp := bankedDataArray.io.read_resp_delayed(i)
831144422dcSMaxpicca-Li
8329ef181f4SWilliam Wang    ldu(i).io.bank_conflict_fast := bankedDataArray.io.bank_conflict_fast(i)
8339ef181f4SWilliam Wang    ldu(i).io.bank_conflict_slow := bankedDataArray.io.bank_conflict_slow(i)
8349ef181f4SWilliam Wang  })
8351f0e2dc7SJiawei Lin
836774f100aSWilliam Wang  (0 until LoadPipelineWidth).map(i => {
837683c1411Shappy-lx    val (_, _, done, _) = edge.count(bus.d)
838683c1411Shappy-lx    when(bus.d.bits.opcode === TLMessages.GrantData) {
839683c1411Shappy-lx      io.lsu.forward_D(i).apply(bus.d.valid, bus.d.bits.data, bus.d.bits.source, done)
840683c1411Shappy-lx    }.otherwise {
841683c1411Shappy-lx      io.lsu.forward_D(i).dontCare()
842683c1411Shappy-lx    }
843683c1411Shappy-lx  })
844683c1411Shappy-lx
8451f0e2dc7SJiawei Lin  //----------------------------------------
8461f0e2dc7SJiawei Lin  // load pipe
8471f0e2dc7SJiawei Lin  // the s1 kill signal
8481f0e2dc7SJiawei Lin  // only lsu uses this, replay never kills
8491f0e2dc7SJiawei Lin  for (w <- 0 until LoadPipelineWidth) {
8501f0e2dc7SJiawei Lin    ldu(w).io.lsu <> io.lsu.load(w)
8511f0e2dc7SJiawei Lin
8521f0e2dc7SJiawei Lin    // replay and nack not needed anymore
8531f0e2dc7SJiawei Lin    // TODO: remove replay and nack
8541f0e2dc7SJiawei Lin    ldu(w).io.nack := false.B
8551f0e2dc7SJiawei Lin
8561f0e2dc7SJiawei Lin    ldu(w).io.disable_ld_fast_wakeup :=
8577a5caa97Szhanglinjuan      bankedDataArray.io.disable_ld_fast_wakeup(w) // load pipe fast wake up should be disabled when bank conflict
8581f0e2dc7SJiawei Lin  }
8591f0e2dc7SJiawei Lin
860da3bf434SMaxpicca-Li  /** LoadMissDB: record load miss state */
861da3bf434SMaxpicca-Li  val isWriteLoadMissTable = WireInit(Constantin.createRecord("isWriteLoadMissTable" + p(XSCoreParamsKey).HartId.toString))
862da3bf434SMaxpicca-Li  val isFirstHitWrite = WireInit(Constantin.createRecord("isFirstHitWrite" + p(XSCoreParamsKey).HartId.toString))
863da3bf434SMaxpicca-Li  val tableName = "LoadMissDB" + p(XSCoreParamsKey).HartId.toString
864da3bf434SMaxpicca-Li  val siteName = "DcacheWrapper" + p(XSCoreParamsKey).HartId.toString
865da3bf434SMaxpicca-Li  val loadMissTable = ChiselDB.createTable(tableName, new LoadMissEntry)
866da3bf434SMaxpicca-Li  for( i <- 0 until LoadPipelineWidth){
867da3bf434SMaxpicca-Li    val loadMissEntry = Wire(new LoadMissEntry)
868da3bf434SMaxpicca-Li    val loadMissWriteEn =
869da3bf434SMaxpicca-Li      (!ldu(i).io.lsu.resp.bits.replay && ldu(i).io.miss_req.fire) ||
870da3bf434SMaxpicca-Li      (ldu(i).io.lsu.s2_first_hit && ldu(i).io.lsu.resp.valid && isFirstHitWrite.orR)
871da3bf434SMaxpicca-Li    loadMissEntry.timeCnt := GTimer()
872da3bf434SMaxpicca-Li    loadMissEntry.robIdx := ldu(i).io.lsu.resp.bits.debug_robIdx
873da3bf434SMaxpicca-Li    loadMissEntry.paddr := ldu(i).io.miss_req.bits.addr
874da3bf434SMaxpicca-Li    loadMissEntry.vaddr := ldu(i).io.miss_req.bits.vaddr
875da3bf434SMaxpicca-Li    loadMissEntry.missState := OHToUInt(Cat(Seq(
876da3bf434SMaxpicca-Li      ldu(i).io.miss_req.fire & ldu(i).io.miss_resp.merged,
877da3bf434SMaxpicca-Li      ldu(i).io.miss_req.fire & !ldu(i).io.miss_resp.merged,
878da3bf434SMaxpicca-Li      ldu(i).io.lsu.s2_first_hit && ldu(i).io.lsu.resp.valid
879da3bf434SMaxpicca-Li    )))
880da3bf434SMaxpicca-Li    loadMissTable.log(
881da3bf434SMaxpicca-Li      data = loadMissEntry,
882da3bf434SMaxpicca-Li      en = isWriteLoadMissTable.orR && loadMissWriteEn,
883da3bf434SMaxpicca-Li      site = siteName,
884da3bf434SMaxpicca-Li      clock = clock,
885da3bf434SMaxpicca-Li      reset = reset
886da3bf434SMaxpicca-Li    )
887da3bf434SMaxpicca-Li  }
888da3bf434SMaxpicca-Li
8891f0e2dc7SJiawei Lin  //----------------------------------------
8901f0e2dc7SJiawei Lin  // atomics
8911f0e2dc7SJiawei Lin  // atomics not finished yet
89262cb71fbShappy-lx  // io.lsu.atomics <> atomicsReplayUnit.io.lsu
89362cb71fbShappy-lx  io.lsu.atomics.resp := RegNext(mainPipe.io.atomic_resp)
89462cb71fbShappy-lx  io.lsu.atomics.block_lr := mainPipe.io.block_lr
89562cb71fbShappy-lx  // atomicsReplayUnit.io.pipe_resp := RegNext(mainPipe.io.atomic_resp)
89662cb71fbShappy-lx  // atomicsReplayUnit.io.block_lr <> mainPipe.io.block_lr
8971f0e2dc7SJiawei Lin
8981f0e2dc7SJiawei Lin  //----------------------------------------
8991f0e2dc7SJiawei Lin  // miss queue
9001f0e2dc7SJiawei Lin  val MissReqPortCount = LoadPipelineWidth + 1
9011f0e2dc7SJiawei Lin  val MainPipeMissReqPort = 0
9021f0e2dc7SJiawei Lin
9031f0e2dc7SJiawei Lin  // Request
9046008d57dShappy-lx  val missReqArb = Module(new ArbiterFilterByCacheLineAddr(new MissReq, MissReqPortCount, blockOffBits, PAddrBits))
9051f0e2dc7SJiawei Lin
906a98b054bSWilliam Wang  missReqArb.io.in(MainPipeMissReqPort) <> mainPipe.io.miss_req
9071f0e2dc7SJiawei Lin  for (w <- 0 until LoadPipelineWidth) { missReqArb.io.in(w + 1) <> ldu(w).io.miss_req }
9081f0e2dc7SJiawei Lin
909fa9ac9b6SWilliam Wang  for (w <- 0 until LoadPipelineWidth) { ldu(w).io.miss_resp := missQueue.io.resp }
910fa9ac9b6SWilliam Wang  mainPipe.io.miss_resp := missQueue.io.resp
911683c1411Shappy-lx
9121f0e2dc7SJiawei Lin  wb.io.miss_req.valid := missReqArb.io.out.valid
9131f0e2dc7SJiawei Lin  wb.io.miss_req.bits  := missReqArb.io.out.bits.addr
9141f0e2dc7SJiawei Lin
915a98b054bSWilliam Wang  // block_decoupled(missReqArb.io.out, missQueue.io.req, wb.io.block_miss_req)
916a98b054bSWilliam Wang  missReqArb.io.out <> missQueue.io.req
917a98b054bSWilliam Wang  when(wb.io.block_miss_req) {
918a98b054bSWilliam Wang    missQueue.io.req.bits.cancel := true.B
919a98b054bSWilliam Wang    missReqArb.io.out.ready := false.B
920a98b054bSWilliam Wang  }
9211f0e2dc7SJiawei Lin
9226008d57dShappy-lx  XSPerfAccumulate("miss_queue_fire", PopCount(VecInit(missReqArb.io.in.map(_.fire))) >= 1.U)
9236008d57dShappy-lx  XSPerfAccumulate("miss_queue_muti_fire", PopCount(VecInit(missReqArb.io.in.map(_.fire))) > 1.U)
9246008d57dShappy-lx
925683c1411Shappy-lx  // forward missqueue
926683c1411Shappy-lx  (0 until LoadPipelineWidth).map(i => io.lsu.forward_mshr(i).connect(missQueue.io.forward(i)))
927683c1411Shappy-lx
9281f0e2dc7SJiawei Lin  // refill to load queue
929ad3ba452Szhanglinjuan  io.lsu.lsq <> missQueue.io.refill_to_ldq
9301f0e2dc7SJiawei Lin
9311f0e2dc7SJiawei Lin  // tilelink stuff
9321f0e2dc7SJiawei Lin  bus.a <> missQueue.io.mem_acquire
9331f0e2dc7SJiawei Lin  bus.e <> missQueue.io.mem_finish
934ad3ba452Szhanglinjuan  missQueue.io.probe_addr := bus.b.bits.address
935ad3ba452Szhanglinjuan
936a98b054bSWilliam Wang  missQueue.io.main_pipe_resp := RegNext(mainPipe.io.atomic_resp)
9371f0e2dc7SJiawei Lin
9381f0e2dc7SJiawei Lin  //----------------------------------------
9391f0e2dc7SJiawei Lin  // probe
9401f0e2dc7SJiawei Lin  // probeQueue.io.mem_probe <> bus.b
9411f0e2dc7SJiawei Lin  block_decoupled(bus.b, probeQueue.io.mem_probe, missQueue.io.probe_block)
942ad3ba452Szhanglinjuan  probeQueue.io.lrsc_locked_block <> mainPipe.io.lrsc_locked_block
943300ded30SWilliam Wang  probeQueue.io.update_resv_set <> mainPipe.io.update_resv_set
9441f0e2dc7SJiawei Lin
9451f0e2dc7SJiawei Lin  //----------------------------------------
9461f0e2dc7SJiawei Lin  // mainPipe
947ad3ba452Szhanglinjuan  // when a req enters main pipe, if it is set-conflict with replace pipe or refill pipe,
948ad3ba452Szhanglinjuan  // block the req in main pipe
949219c4595Szhanglinjuan  block_decoupled(probeQueue.io.pipe_req, mainPipe.io.probe_req, missQueue.io.refill_pipe_req.valid)
950b36dd5fdSWilliam Wang  block_decoupled(io.lsu.store.req, mainPipe.io.store_req, refillPipe.io.req.valid)
9511f0e2dc7SJiawei Lin
952a98b054bSWilliam Wang  io.lsu.store.replay_resp := RegNext(mainPipe.io.store_replay_resp)
953ad3ba452Szhanglinjuan  io.lsu.store.main_pipe_hit_resp := mainPipe.io.store_hit_resp
9541f0e2dc7SJiawei Lin
95569790076Szhanglinjuan  arbiter_with_pipereg(
95662cb71fbShappy-lx    in = Seq(missQueue.io.main_pipe_req, io.lsu.atomics.req),
95769790076Szhanglinjuan    out = mainPipe.io.atomic_req,
95869790076Szhanglinjuan    name = Some("main_pipe_atomic_req")
95969790076Szhanglinjuan  )
9601f0e2dc7SJiawei Lin
961a98b054bSWilliam Wang  mainPipe.io.invalid_resv_set := RegNext(wb.io.req.fire && wb.io.req.bits.addr === mainPipe.io.lrsc_locked_block.bits)
9621f0e2dc7SJiawei Lin
963ad3ba452Szhanglinjuan  //----------------------------------------
964b36dd5fdSWilliam Wang  // replace (main pipe)
965ad3ba452Szhanglinjuan  val mpStatus = mainPipe.io.status
966578c21a4Szhanglinjuan  mainPipe.io.replace_req <> missQueue.io.replace_pipe_req
967578c21a4Szhanglinjuan  missQueue.io.replace_pipe_resp := mainPipe.io.replace_resp
9681f0e2dc7SJiawei Lin
969ad3ba452Szhanglinjuan  //----------------------------------------
970ad3ba452Szhanglinjuan  // refill pipe
97163540aa5Szhanglinjuan  val refillShouldBeBlocked = (mpStatus.s1.valid && mpStatus.s1.bits.set === missQueue.io.refill_pipe_req.bits.idx) ||
97263540aa5Szhanglinjuan    Cat(Seq(mpStatus.s2, mpStatus.s3).map(s =>
973ad3ba452Szhanglinjuan      s.valid &&
974ad3ba452Szhanglinjuan        s.bits.set === missQueue.io.refill_pipe_req.bits.idx &&
975ad3ba452Szhanglinjuan        s.bits.way_en === missQueue.io.refill_pipe_req.bits.way_en
976ad3ba452Szhanglinjuan    )).orR
977ad3ba452Szhanglinjuan  block_decoupled(missQueue.io.refill_pipe_req, refillPipe.io.req, refillShouldBeBlocked)
978c3a5fe5fShappy-lx
979c3a5fe5fShappy-lx  val mpStatus_dup = mainPipe.io.status_dup
980c3a5fe5fShappy-lx  val mq_refill_dup = missQueue.io.refill_pipe_req_dup
981c3a5fe5fShappy-lx  val refillShouldBeBlocked_dup = VecInit((0 until nDupStatus).map { case i =>
982c3a5fe5fShappy-lx    mpStatus_dup(i).s1.valid && mpStatus_dup(i).s1.bits.set === mq_refill_dup(i).bits.idx ||
983c3a5fe5fShappy-lx    Cat(Seq(mpStatus_dup(i).s2, mpStatus_dup(i).s3).map(s =>
984c3a5fe5fShappy-lx      s.valid &&
985c3a5fe5fShappy-lx        s.bits.set === mq_refill_dup(i).bits.idx &&
986c3a5fe5fShappy-lx        s.bits.way_en === mq_refill_dup(i).bits.way_en
987c3a5fe5fShappy-lx    )).orR
988c3a5fe5fShappy-lx  })
989c3a5fe5fShappy-lx  dontTouch(refillShouldBeBlocked_dup)
990c3a5fe5fShappy-lx
9916c7e5e86Szhanglinjuan  refillPipe.io.req_dup_for_data_w.zipWithIndex.foreach { case (r, i) =>
9926c7e5e86Szhanglinjuan    r.bits := (mq_refill_dup.drop(dataWritePort).take(DCacheBanks))(i).bits
9936c7e5e86Szhanglinjuan  }
9946c7e5e86Szhanglinjuan  refillPipe.io.req_dup_for_meta_w.bits := mq_refill_dup(metaWritePort).bits
9956c7e5e86Szhanglinjuan  refillPipe.io.req_dup_for_tag_w.bits := mq_refill_dup(tagWritePort).bits
9966c7e5e86Szhanglinjuan  refillPipe.io.req_dup_for_err_w.bits := mq_refill_dup(errWritePort).bits
9976c7e5e86Szhanglinjuan  refillPipe.io.req_dup_for_data_w.zipWithIndex.foreach { case (r, i) =>
9986c7e5e86Szhanglinjuan    r.valid := (mq_refill_dup.drop(dataWritePort).take(DCacheBanks))(i).valid &&
9996c7e5e86Szhanglinjuan      !(refillShouldBeBlocked_dup.drop(dataWritePort).take(DCacheBanks))(i)
10006c7e5e86Szhanglinjuan  }
10016c7e5e86Szhanglinjuan  refillPipe.io.req_dup_for_meta_w.valid := mq_refill_dup(metaWritePort).valid && !refillShouldBeBlocked_dup(metaWritePort)
10026c7e5e86Szhanglinjuan  refillPipe.io.req_dup_for_tag_w.valid := mq_refill_dup(tagWritePort).valid && !refillShouldBeBlocked_dup(tagWritePort)
10036c7e5e86Szhanglinjuan  refillPipe.io.req_dup_for_err_w.valid := mq_refill_dup(errWritePort).valid && !refillShouldBeBlocked_dup(errWritePort)
1004c3a5fe5fShappy-lx
1005c3a5fe5fShappy-lx  val refillPipe_io_req_valid_dup = VecInit(mq_refill_dup.zip(refillShouldBeBlocked_dup).map(
1006c3a5fe5fShappy-lx    x => x._1.valid && !x._2
1007c3a5fe5fShappy-lx  ))
1008c3a5fe5fShappy-lx  val refillPipe_io_data_write_valid_dup = VecInit(refillPipe_io_req_valid_dup.slice(0, nDupDataWriteReady))
10096c7e5e86Szhanglinjuan  val refillPipe_io_tag_write_valid_dup = VecInit(refillPipe_io_req_valid_dup.slice(nDupDataWriteReady, nDupStatus))
1010c3a5fe5fShappy-lx  dontTouch(refillPipe_io_req_valid_dup)
1011c3a5fe5fShappy-lx  dontTouch(refillPipe_io_data_write_valid_dup)
1012c3a5fe5fShappy-lx  dontTouch(refillPipe_io_tag_write_valid_dup)
1013c3a5fe5fShappy-lx  mainPipe.io.data_write_ready_dup := VecInit(refillPipe_io_data_write_valid_dup.map(v => !v))
1014c3a5fe5fShappy-lx  mainPipe.io.tag_write_ready_dup := VecInit(refillPipe_io_tag_write_valid_dup.map(v => !v))
1015c3a5fe5fShappy-lx  mainPipe.io.wb_ready_dup := wb.io.req_ready_dup
1016c3a5fe5fShappy-lx
1017c3a5fe5fShappy-lx  mq_refill_dup.zip(refillShouldBeBlocked_dup).foreach { case (r, block) =>
1018c3a5fe5fShappy-lx    r.ready := refillPipe.io.req.ready && !block
1019c3a5fe5fShappy-lx  }
1020c3a5fe5fShappy-lx
102154e42658SWilliam Wang  missQueue.io.refill_pipe_resp := refillPipe.io.resp
1022a98b054bSWilliam Wang  io.lsu.store.refill_hit_resp := RegNext(refillPipe.io.store_resp)
10231f0e2dc7SJiawei Lin
10241f0e2dc7SJiawei Lin  //----------------------------------------
10251f0e2dc7SJiawei Lin  // wb
10261f0e2dc7SJiawei Lin  // add a queue between MainPipe and WritebackUnit to reduce MainPipe stalls due to WritebackUnit busy
1027026615fcSWilliam Wang
1028578c21a4Szhanglinjuan  wb.io.req <> mainPipe.io.wb
10291f0e2dc7SJiawei Lin  bus.c     <> wb.io.mem_release
1030ad3ba452Szhanglinjuan  wb.io.release_wakeup := refillPipe.io.release_wakeup
1031ad3ba452Szhanglinjuan  wb.io.release_update := mainPipe.io.release_update
1032b8f6ff86SWilliam Wang  wb.io.probe_ttob_check_req <> mainPipe.io.probe_ttob_check_req
1033b8f6ff86SWilliam Wang  wb.io.probe_ttob_check_resp <> mainPipe.io.probe_ttob_check_resp
1034ef3b5b96SWilliam Wang
1035ef3b5b96SWilliam Wang  io.lsu.release.valid := RegNext(wb.io.req.fire())
1036ef3b5b96SWilliam Wang  io.lsu.release.bits.paddr := RegNext(wb.io.req.bits.addr)
1037ef3b5b96SWilliam Wang  // Note: RegNext() is required by:
1038ef3b5b96SWilliam Wang  // * load queue released flag update logic
1039ef3b5b96SWilliam Wang  // * load / load violation check logic
1040ef3b5b96SWilliam Wang  // * and timing requirements
1041ef3b5b96SWilliam Wang  // CHANGE IT WITH CARE
10421f0e2dc7SJiawei Lin
10431f0e2dc7SJiawei Lin  // connect bus d
10441f0e2dc7SJiawei Lin  missQueue.io.mem_grant.valid := false.B
10451f0e2dc7SJiawei Lin  missQueue.io.mem_grant.bits  := DontCare
10461f0e2dc7SJiawei Lin
10471f0e2dc7SJiawei Lin  wb.io.mem_grant.valid := false.B
10481f0e2dc7SJiawei Lin  wb.io.mem_grant.bits  := DontCare
10491f0e2dc7SJiawei Lin
10501f0e2dc7SJiawei Lin  // in L1DCache, we ony expect Grant[Data] and ReleaseAck
10511f0e2dc7SJiawei Lin  bus.d.ready := false.B
10521f0e2dc7SJiawei Lin  when (bus.d.bits.opcode === TLMessages.Grant || bus.d.bits.opcode === TLMessages.GrantData) {
10531f0e2dc7SJiawei Lin    missQueue.io.mem_grant <> bus.d
10541f0e2dc7SJiawei Lin  } .elsewhen (bus.d.bits.opcode === TLMessages.ReleaseAck) {
10551f0e2dc7SJiawei Lin    wb.io.mem_grant <> bus.d
10561f0e2dc7SJiawei Lin  } .otherwise {
10571f0e2dc7SJiawei Lin    assert (!bus.d.fire())
10581f0e2dc7SJiawei Lin  }
10591f0e2dc7SJiawei Lin
10601f0e2dc7SJiawei Lin  //----------------------------------------
1061ad3ba452Szhanglinjuan  // replacement algorithm
1062ad3ba452Szhanglinjuan  val replacer = ReplacementPolicy.fromString(cacheParams.replacer, nWays, nSets)
1063ad3ba452Szhanglinjuan
1064ad3ba452Szhanglinjuan  val replWayReqs = ldu.map(_.io.replace_way) ++ Seq(mainPipe.io.replace_way)
1065ad3ba452Szhanglinjuan  replWayReqs.foreach{
1066ad3ba452Szhanglinjuan    case req =>
1067ad3ba452Szhanglinjuan      req.way := DontCare
1068ad3ba452Szhanglinjuan      when (req.set.valid) { req.way := replacer.way(req.set.bits) }
1069ad3ba452Szhanglinjuan  }
1070ad3ba452Szhanglinjuan
1071ad3ba452Szhanglinjuan  val replAccessReqs = ldu.map(_.io.replace_access) ++ Seq(
107292816bbcSWilliam Wang    mainPipe.io.replace_access
1073ad3ba452Szhanglinjuan  )
1074ad3ba452Szhanglinjuan  val touchWays = Seq.fill(replAccessReqs.size)(Wire(ValidIO(UInt(log2Up(nWays).W))))
1075ad3ba452Szhanglinjuan  touchWays.zip(replAccessReqs).foreach {
1076ad3ba452Szhanglinjuan    case (w, req) =>
1077ad3ba452Szhanglinjuan      w.valid := req.valid
1078ad3ba452Szhanglinjuan      w.bits := req.bits.way
1079ad3ba452Szhanglinjuan  }
1080ad3ba452Szhanglinjuan  val touchSets = replAccessReqs.map(_.bits.set)
1081ad3ba452Szhanglinjuan  replacer.access(touchSets, touchWays)
1082ad3ba452Szhanglinjuan
1083ad3ba452Szhanglinjuan  //----------------------------------------
10841f0e2dc7SJiawei Lin  // assertions
10851f0e2dc7SJiawei Lin  // dcache should only deal with DRAM addresses
10861f0e2dc7SJiawei Lin  when (bus.a.fire()) {
10871f0e2dc7SJiawei Lin    assert(bus.a.bits.address >= 0x80000000L.U)
10881f0e2dc7SJiawei Lin  }
10891f0e2dc7SJiawei Lin  when (bus.b.fire()) {
10901f0e2dc7SJiawei Lin    assert(bus.b.bits.address >= 0x80000000L.U)
10911f0e2dc7SJiawei Lin  }
10921f0e2dc7SJiawei Lin  when (bus.c.fire()) {
10931f0e2dc7SJiawei Lin    assert(bus.c.bits.address >= 0x80000000L.U)
10941f0e2dc7SJiawei Lin  }
10951f0e2dc7SJiawei Lin
10961f0e2dc7SJiawei Lin  //----------------------------------------
10971f0e2dc7SJiawei Lin  // utility functions
10981f0e2dc7SJiawei Lin  def block_decoupled[T <: Data](source: DecoupledIO[T], sink: DecoupledIO[T], block_signal: Bool) = {
10991f0e2dc7SJiawei Lin    sink.valid   := source.valid && !block_signal
11001f0e2dc7SJiawei Lin    source.ready := sink.ready   && !block_signal
11011f0e2dc7SJiawei Lin    sink.bits    := source.bits
11021f0e2dc7SJiawei Lin  }
11031f0e2dc7SJiawei Lin
11041f0e2dc7SJiawei Lin  //----------------------------------------
1105e19f7967SWilliam Wang  // Customized csr cache op support
1106e19f7967SWilliam Wang  val cacheOpDecoder = Module(new CSRCacheOpDecoder("dcache", CacheInstrucion.COP_ID_DCACHE))
1107e19f7967SWilliam Wang  cacheOpDecoder.io.csr <> io.csr
1108c3a5fe5fShappy-lx  bankedDataArray.io.cacheOp.req := cacheOpDecoder.io.cache.req
1109c3a5fe5fShappy-lx  // dup cacheOp_req_valid
1110779109e3Slixin  bankedDataArray.io.cacheOp_req_dup.zipWithIndex.map{ case(dup, i) => dup := cacheOpDecoder.io.cache_req_dup(i) }
1111c3a5fe5fShappy-lx  // dup cacheOp_req_bits_opCode
1112779109e3Slixin  bankedDataArray.io.cacheOp_req_bits_opCode_dup.zipWithIndex.map{ case (dup, i) => dup := cacheOpDecoder.io.cacheOp_req_bits_opCode_dup(i) }
1113c3a5fe5fShappy-lx
1114e19f7967SWilliam Wang  tagArray.io.cacheOp.req := cacheOpDecoder.io.cache.req
1115c3a5fe5fShappy-lx  // dup cacheOp_req_valid
1116779109e3Slixin  tagArray.io.cacheOp_req_dup.zipWithIndex.map{ case(dup, i) => dup := cacheOpDecoder.io.cache_req_dup(i) }
1117c3a5fe5fShappy-lx  // dup cacheOp_req_bits_opCode
1118779109e3Slixin  tagArray.io.cacheOp_req_bits_opCode_dup.zipWithIndex.map{ case (dup, i) => dup := cacheOpDecoder.io.cacheOp_req_bits_opCode_dup(i) }
1119e47fc57cSlixin
1120e19f7967SWilliam Wang  cacheOpDecoder.io.cache.resp.valid := bankedDataArray.io.cacheOp.resp.valid ||
1121e19f7967SWilliam Wang    tagArray.io.cacheOp.resp.valid
1122e19f7967SWilliam Wang  cacheOpDecoder.io.cache.resp.bits := Mux1H(List(
1123e19f7967SWilliam Wang    bankedDataArray.io.cacheOp.resp.valid -> bankedDataArray.io.cacheOp.resp.bits,
1124e19f7967SWilliam Wang    tagArray.io.cacheOp.resp.valid -> tagArray.io.cacheOp.resp.bits,
1125e19f7967SWilliam Wang  ))
1126026615fcSWilliam Wang  cacheOpDecoder.io.error := io.error
112741b68474SWilliam Wang  assert(!((bankedDataArray.io.cacheOp.resp.valid +& tagArray.io.cacheOp.resp.valid) > 1.U))
1128e19f7967SWilliam Wang
1129e19f7967SWilliam Wang  //----------------------------------------
11301f0e2dc7SJiawei Lin  // performance counters
11311f0e2dc7SJiawei Lin  val num_loads = PopCount(ldu.map(e => e.io.lsu.req.fire()))
11321f0e2dc7SJiawei Lin  XSPerfAccumulate("num_loads", num_loads)
11331f0e2dc7SJiawei Lin
11341f0e2dc7SJiawei Lin  io.mshrFull := missQueue.io.full
1135ad3ba452Szhanglinjuan
1136ad3ba452Szhanglinjuan  // performance counter
1137ad3ba452Szhanglinjuan  val ld_access = Wire(Vec(LoadPipelineWidth, missQueue.io.debug_early_replace.last.cloneType))
1138ad3ba452Szhanglinjuan  val st_access = Wire(ld_access.last.cloneType)
1139ad3ba452Szhanglinjuan  ld_access.zip(ldu).foreach {
1140ad3ba452Szhanglinjuan    case (a, u) =>
1141ad3ba452Szhanglinjuan      a.valid := RegNext(u.io.lsu.req.fire()) && !u.io.lsu.s1_kill
1142ad3ba452Szhanglinjuan      a.bits.idx := RegNext(get_idx(u.io.lsu.req.bits.addr))
114303efd994Shappy-lx      a.bits.tag := get_tag(u.io.lsu.s1_paddr_dup_dcache)
1144ad3ba452Szhanglinjuan  }
1145ad3ba452Szhanglinjuan  st_access.valid := RegNext(mainPipe.io.store_req.fire())
1146ad3ba452Szhanglinjuan  st_access.bits.idx := RegNext(get_idx(mainPipe.io.store_req.bits.vaddr))
1147ad3ba452Szhanglinjuan  st_access.bits.tag := RegNext(get_tag(mainPipe.io.store_req.bits.addr))
1148ad3ba452Szhanglinjuan  val access_info = ld_access.toSeq ++ Seq(st_access)
1149ad3ba452Szhanglinjuan  val early_replace = RegNext(missQueue.io.debug_early_replace)
1150ad3ba452Szhanglinjuan  val access_early_replace = access_info.map {
1151ad3ba452Szhanglinjuan    case acc =>
1152ad3ba452Szhanglinjuan      Cat(early_replace.map {
1153ad3ba452Szhanglinjuan        case r =>
1154ad3ba452Szhanglinjuan          acc.valid && r.valid &&
1155ad3ba452Szhanglinjuan            acc.bits.tag === r.bits.tag &&
1156ad3ba452Szhanglinjuan            acc.bits.idx === r.bits.idx
1157ad3ba452Szhanglinjuan      })
1158ad3ba452Szhanglinjuan  }
1159ad3ba452Szhanglinjuan  XSPerfAccumulate("access_early_replace", PopCount(Cat(access_early_replace)))
1160cd365d4cSrvcoresjw
11611ca0e4f3SYinan Xu  val perfEvents = (Seq(wb, mainPipe, missQueue, probeQueue) ++ ldu).flatMap(_.getPerfEvents)
11621ca0e4f3SYinan Xu  generatePerfEvent()
11631f0e2dc7SJiawei Lin}
11641f0e2dc7SJiawei Lin
11651f0e2dc7SJiawei Linclass AMOHelper() extends ExtModule {
11661f0e2dc7SJiawei Lin  val clock  = IO(Input(Clock()))
11671f0e2dc7SJiawei Lin  val enable = IO(Input(Bool()))
11681f0e2dc7SJiawei Lin  val cmd    = IO(Input(UInt(5.W)))
11691f0e2dc7SJiawei Lin  val addr   = IO(Input(UInt(64.W)))
11701f0e2dc7SJiawei Lin  val wdata  = IO(Input(UInt(64.W)))
11711f0e2dc7SJiawei Lin  val mask   = IO(Input(UInt(8.W)))
11721f0e2dc7SJiawei Lin  val rdata  = IO(Output(UInt(64.W)))
11731f0e2dc7SJiawei Lin}
11741f0e2dc7SJiawei Lin
11754f94c0c6SJiawei Linclass DCacheWrapper()(implicit p: Parameters) extends LazyModule with HasXSParameter {
11761f0e2dc7SJiawei Lin
11774f94c0c6SJiawei Lin  val useDcache = coreParams.dcacheParametersOpt.nonEmpty
11784f94c0c6SJiawei Lin  val clientNode = if (useDcache) TLIdentityNode() else null
11794f94c0c6SJiawei Lin  val dcache = if (useDcache) LazyModule(new DCache()) else null
11804f94c0c6SJiawei Lin  if (useDcache) {
11811f0e2dc7SJiawei Lin    clientNode := dcache.clientNode
11821f0e2dc7SJiawei Lin  }
11831f0e2dc7SJiawei Lin
11841ca0e4f3SYinan Xu  lazy val module = new LazyModuleImp(this) with HasPerfEvents {
11851f0e2dc7SJiawei Lin    val io = IO(new DCacheIO)
11861ca0e4f3SYinan Xu    val perfEvents = if (!useDcache) {
11874f94c0c6SJiawei Lin      // a fake dcache which uses dpi-c to access memory, only for debug usage!
11881f0e2dc7SJiawei Lin      val fake_dcache = Module(new FakeDCache())
11891f0e2dc7SJiawei Lin      io <> fake_dcache.io
11901ca0e4f3SYinan Xu      Seq()
11911f0e2dc7SJiawei Lin    }
11921f0e2dc7SJiawei Lin    else {
11931f0e2dc7SJiawei Lin      io <> dcache.module.io
11941ca0e4f3SYinan Xu      dcache.module.getPerfEvents
11951f0e2dc7SJiawei Lin    }
11961ca0e4f3SYinan Xu    generatePerfEvent()
11971f0e2dc7SJiawei Lin  }
11981f0e2dc7SJiawei Lin}
1199