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 199e12e8edScz4eimport org.chipsalliance.cde.config.Parameters 201f0e2dc7SJiawei Linimport chisel3._ 211f0e2dc7SJiawei Linimport chisel3.util._ 2237225120Ssfencevmaimport utils._ 233c02ee8fSwakafaimport utility._ 241f0e2dc7SJiawei Linimport freechips.rocketchip.diplomacy.{IdRange, LazyModule, LazyModuleImp, TransferSizes} 251f0e2dc7SJiawei Linimport freechips.rocketchip.tilelink.{TLArbiter, TLBundleA, TLBundleD, TLClientNode, TLEdgeOut, TLMasterParameters, TLMasterPortParameters} 269e12e8edScz4eimport xiangshan._ 279e12e8edScz4eimport xiangshan.mem._ 289e12e8edScz4eimport xiangshan.mem.Bundles._ 299e12e8edScz4eimport coupledL2.{MemBackTypeMM, MemBackTypeMMField, MemPageTypeNC, MemPageTypeNCField} 3037225120Ssfencevma 3174050fc0SYanqin Litrait HasUncacheBufferParameters extends HasXSParameter with HasDCacheParameters { 3274050fc0SYanqin Li 3374050fc0SYanqin Li def doMerge(oldData: UInt, oldMask: UInt, newData:UInt, newMask: UInt):(UInt, UInt) = { 3474050fc0SYanqin Li val resData = VecInit((0 until DataBytes).map(j => 3574050fc0SYanqin Li Mux(newMask(j), newData(8*(j+1)-1, 8*j), oldData(8*(j+1)-1, 8*j)) 3674050fc0SYanqin Li )).asUInt 3774050fc0SYanqin Li val resMask = newMask | oldMask 3874050fc0SYanqin Li (resData, resMask) 3974050fc0SYanqin Li } 4074050fc0SYanqin Li 4174050fc0SYanqin Li def INDEX_WIDTH = log2Up(UncacheBufferSize) 4274050fc0SYanqin Li def BLOCK_OFFSET = log2Up(XLEN / 8) 4374050fc0SYanqin Li def getBlockAddr(x: UInt) = x >> BLOCK_OFFSET 4474050fc0SYanqin Li} 4574050fc0SYanqin Li 4674050fc0SYanqin Liabstract class UncacheBundle(implicit p: Parameters) extends XSBundle with HasUncacheBufferParameters 4774050fc0SYanqin Li 4874050fc0SYanqin Liabstract class UncacheModule(implicit p: Parameters) extends XSModule with HasUncacheBufferParameters 4974050fc0SYanqin Li 5074050fc0SYanqin Li 5137225120Ssfencevmaclass UncacheFlushBundle extends Bundle { 5237225120Ssfencevma val valid = Output(Bool()) 5337225120Ssfencevma val empty = Input(Bool()) 5437225120Ssfencevma} 551f0e2dc7SJiawei Lin 5674050fc0SYanqin Liclass UncacheEntry(implicit p: Parameters) extends UncacheBundle { 57cfdd605fSYanqin Li val cmd = UInt(M_SZ.W) 58cfdd605fSYanqin Li val addr = UInt(PAddrBits.W) 59e04c5f64SYanqin Li val vaddr = UInt(VAddrBits.W) 60cfdd605fSYanqin Li val data = UInt(XLEN.W) 61e04c5f64SYanqin Li val mask = UInt(DataBytes.W) 62cfdd605fSYanqin Li val nc = Bool() 63cfdd605fSYanqin Li val atomic = Bool() 64519244c7SYanqin Li val memBackTypeMM = Bool() 651f0e2dc7SJiawei Lin 66cfdd605fSYanqin Li val resp_nderr = Bool() 671f0e2dc7SJiawei Lin 6846236761SYanqin Li /* NOTE: if it support the internal forward logic, here can uncomment */ 6946236761SYanqin Li // val fwd_data = UInt(XLEN.W) 7046236761SYanqin Li // val fwd_mask = UInt(DataBytes.W) 71e04c5f64SYanqin Li 72cfdd605fSYanqin Li def set(x: UncacheWordReq): Unit = { 73cfdd605fSYanqin Li cmd := x.cmd 74cfdd605fSYanqin Li addr := x.addr 75e04c5f64SYanqin Li vaddr := x.vaddr 76cfdd605fSYanqin Li data := x.data 77cfdd605fSYanqin Li mask := x.mask 78cfdd605fSYanqin Li nc := x.nc 79519244c7SYanqin Li memBackTypeMM := x.memBackTypeMM 80cfdd605fSYanqin Li atomic := x.atomic 8158cb1b0bSzhanglinjuan resp_nderr := false.B 8246236761SYanqin Li // fwd_data := 0.U 8346236761SYanqin Li // fwd_mask := 0.U 84cfdd605fSYanqin Li } 85cfdd605fSYanqin Li 8674050fc0SYanqin Li def update(x: UncacheWordReq): Unit = { 8774050fc0SYanqin Li val (resData, resMask) = doMerge(data, mask, x.data, x.mask) 8874050fc0SYanqin Li // mask -> get the first position as 1 -> for address align 8974050fc0SYanqin Li val (resOffset, resFlag) = PriorityEncoderWithFlag(resMask) 9074050fc0SYanqin Li data := resData 9174050fc0SYanqin Li mask := resMask 9274050fc0SYanqin Li when(resFlag){ 9374050fc0SYanqin Li addr := (getBlockAddr(addr) << BLOCK_OFFSET) | resOffset 9474050fc0SYanqin Li vaddr := (getBlockAddr(vaddr) << BLOCK_OFFSET) | resOffset 9574050fc0SYanqin Li } 9674050fc0SYanqin Li } 9774050fc0SYanqin Li 98cfdd605fSYanqin Li def update(x: TLBundleD): Unit = { 9946236761SYanqin Li when(cmd === MemoryOpConstants.M_XRD) { 10046236761SYanqin Li data := x.data 10146236761SYanqin Li } 102db81ab70SYanqin Li resp_nderr := x.denied || x.corrupt 103cfdd605fSYanqin Li } 104cfdd605fSYanqin Li 10546236761SYanqin Li // def update(forwardData: UInt, forwardMask: UInt): Unit = { 10646236761SYanqin Li // fwd_data := forwardData 10746236761SYanqin Li // fwd_mask := forwardMask 10846236761SYanqin Li // } 109e04c5f64SYanqin Li 11074050fc0SYanqin Li def toUncacheWordResp(eid: UInt): UncacheWordResp = { 11146236761SYanqin Li // val resp_fwd_data = VecInit((0 until DataBytes).map(j => 11246236761SYanqin Li // Mux(fwd_mask(j), fwd_data(8*(j+1)-1, 8*j), data(8*(j+1)-1, 8*j)) 11346236761SYanqin Li // )).asUInt 11446236761SYanqin Li val resp_fwd_data = data 115cfdd605fSYanqin Li val r = Wire(new UncacheWordResp) 116cfdd605fSYanqin Li r := DontCare 117e04c5f64SYanqin Li r.data := resp_fwd_data 11874050fc0SYanqin Li r.id := eid 119cfdd605fSYanqin Li r.nderr := resp_nderr 120cfdd605fSYanqin Li r.nc := nc 121cfdd605fSYanqin Li r.is2lq := cmd === MemoryOpConstants.M_XRD 122cfdd605fSYanqin Li r.miss := false.B 123cfdd605fSYanqin Li r.replay := false.B 124cfdd605fSYanqin Li r.tag_error := false.B 125cfdd605fSYanqin Li r.error := false.B 126cfdd605fSYanqin Li r 1271f0e2dc7SJiawei Lin } 1281f0e2dc7SJiawei Lin} 1291f0e2dc7SJiawei Lin 130cfdd605fSYanqin Liclass UncacheEntryState(implicit p: Parameters) extends DCacheBundle { 131cfdd605fSYanqin Li // valid (-> waitSame) -> inflight -> waitReturn 132cfdd605fSYanqin Li val valid = Bool() 133cfdd605fSYanqin Li val inflight = Bool() // uncache -> L2 134cfdd605fSYanqin Li val waitSame = Bool() 135cfdd605fSYanqin Li val waitReturn = Bool() // uncache -> LSQ 1361f0e2dc7SJiawei Lin 137cfdd605fSYanqin Li def init: Unit = { 138cfdd605fSYanqin Li valid := false.B 139cfdd605fSYanqin Li inflight := false.B 140cfdd605fSYanqin Li waitSame := false.B 141cfdd605fSYanqin Li waitReturn := false.B 1421f0e2dc7SJiawei Lin } 1431f0e2dc7SJiawei Lin 144cfdd605fSYanqin Li def isValid(): Bool = valid 14574050fc0SYanqin Li def isInflight(): Bool = valid && inflight 14674050fc0SYanqin Li def isWaitReturn(): Bool = valid && waitReturn 14774050fc0SYanqin Li def isWaitSame(): Bool = valid && waitSame 14874050fc0SYanqin Li def can2Bus(): Bool = valid && !inflight && !waitSame && !waitReturn 149cfdd605fSYanqin Li def can2Lsq(): Bool = valid && waitReturn 150*d74a7897SYanqin Li def canMerge(): Bool = valid && !inflight 151*d74a7897SYanqin Li def isFwdOld(): Bool = valid && (inflight || waitReturn) 152*d74a7897SYanqin Li def isFwdNew(): Bool = valid && !inflight && !waitReturn 1531f0e2dc7SJiawei Lin 154cfdd605fSYanqin Li def setValid(x: Bool): Unit = { valid := x} 155cfdd605fSYanqin Li def setInflight(x: Bool): Unit = { inflight := x} 156cfdd605fSYanqin Li def setWaitReturn(x: Bool): Unit = { waitReturn := x } 157cfdd605fSYanqin Li def setWaitSame(x: Bool): Unit = { waitSame := x} 1581f0e2dc7SJiawei Lin 159cfdd605fSYanqin Li def updateUncacheResp(): Unit = { 160cfdd605fSYanqin Li assert(inflight, "The request was not sent and a response was received") 161cfdd605fSYanqin Li inflight := false.B 162cfdd605fSYanqin Li waitReturn := true.B 1631f0e2dc7SJiawei Lin } 164cfdd605fSYanqin Li def updateReturn(): Unit = { 165cfdd605fSYanqin Li valid := false.B 166cfdd605fSYanqin Li inflight := false.B 167cfdd605fSYanqin Li waitSame := false.B 168cfdd605fSYanqin Li waitReturn := false.B 1691f0e2dc7SJiawei Lin } 1701f0e2dc7SJiawei Lin} 1711f0e2dc7SJiawei Lin 1721f0e2dc7SJiawei Linclass UncacheIO(implicit p: Parameters) extends DCacheBundle { 17337225120Ssfencevma val hartId = Input(UInt()) 17437225120Ssfencevma val enableOutstanding = Input(Bool()) 17537225120Ssfencevma val flush = Flipped(new UncacheFlushBundle) 1766786cfb7SWilliam Wang val lsq = Flipped(new UncacheWordIO) 177e04c5f64SYanqin Li val forward = Vec(LoadPipelineWidth, Flipped(new LoadForwardQueryIO)) 1781f0e2dc7SJiawei Lin} 1791f0e2dc7SJiawei Lin 1801f0e2dc7SJiawei Lin// convert DCacheIO to TileLink 1811f0e2dc7SJiawei Lin// for Now, we only deal with TL-UL 1821f0e2dc7SJiawei Lin 18337225120Ssfencevmaclass Uncache()(implicit p: Parameters) extends LazyModule with HasXSParameter { 18495e60e55STang Haojin override def shouldBeInlined: Boolean = false 18537225120Ssfencevma def idRange: Int = UncacheBufferSize 1861f0e2dc7SJiawei Lin 1871f0e2dc7SJiawei Lin val clientParameters = TLMasterPortParameters.v1( 1881f0e2dc7SJiawei Lin clients = Seq(TLMasterParameters.v1( 1891f0e2dc7SJiawei Lin "uncache", 19037225120Ssfencevma sourceId = IdRange(0, idRange) 191519244c7SYanqin Li )), 192519244c7SYanqin Li requestFields = Seq(MemBackTypeMMField(), MemPageTypeNCField()) 1931f0e2dc7SJiawei Lin ) 1941f0e2dc7SJiawei Lin val clientNode = TLClientNode(Seq(clientParameters)) 1951f0e2dc7SJiawei Lin 1961f0e2dc7SJiawei Lin lazy val module = new UncacheImp(this) 1971f0e2dc7SJiawei Lin} 1981f0e2dc7SJiawei Lin 199cfdd605fSYanqin Li/* Uncache Buffer */ 20037225120Ssfencevmaclass UncacheImp(outer: Uncache)extends LazyModuleImp(outer) 2011f0e2dc7SJiawei Lin with HasTLDump 20237225120Ssfencevma with HasXSParameter 20374050fc0SYanqin Li with HasUncacheBufferParameters 20437225120Ssfencevma with HasPerfEvents 2051f0e2dc7SJiawei Lin{ 206cfdd605fSYanqin Li println(s"Uncahe Buffer Size: $UncacheBufferSize entries") 2071f0e2dc7SJiawei Lin val io = IO(new UncacheIO) 2081f0e2dc7SJiawei Lin 2091f0e2dc7SJiawei Lin val (bus, edge) = outer.clientNode.out.head 2101f0e2dc7SJiawei Lin 2111f0e2dc7SJiawei Lin val req = io.lsq.req 2121f0e2dc7SJiawei Lin val resp = io.lsq.resp 2131f0e2dc7SJiawei Lin val mem_acquire = bus.a 2141f0e2dc7SJiawei Lin val mem_grant = bus.d 2151f0e2dc7SJiawei Lin val req_ready = WireInit(false.B) 2161f0e2dc7SJiawei Lin 2171f0e2dc7SJiawei Lin // assign default values to output signals 2181f0e2dc7SJiawei Lin bus.b.ready := false.B 2191f0e2dc7SJiawei Lin bus.c.valid := false.B 2201f0e2dc7SJiawei Lin bus.c.bits := DontCare 2211f0e2dc7SJiawei Lin bus.d.ready := false.B 2221f0e2dc7SJiawei Lin bus.e.valid := false.B 2231f0e2dc7SJiawei Lin bus.e.bits := DontCare 224cfdd605fSYanqin Li io.lsq.req.ready := req_ready 22537225120Ssfencevma io.lsq.resp.valid := false.B 22637225120Ssfencevma io.lsq.resp.bits := DontCare 2271f0e2dc7SJiawei Lin 22837225120Ssfencevma 229cfdd605fSYanqin Li /****************************************************************** 230cfdd605fSYanqin Li * Data Structure 231cfdd605fSYanqin Li ******************************************************************/ 23237225120Ssfencevma 233cfdd605fSYanqin Li val entries = Reg(Vec(UncacheBufferSize, new UncacheEntry)) 234cfdd605fSYanqin Li val states = RegInit(VecInit(Seq.fill(UncacheBufferSize)(0.U.asTypeOf(new UncacheEntryState)))) 235cfdd605fSYanqin Li val fence = RegInit(Bool(), false.B) 23674050fc0SYanqin Li val s_idle :: s_inflight :: s_wait_return :: Nil = Enum(3) 237cfdd605fSYanqin Li val uState = RegInit(s_idle) 2381f0e2dc7SJiawei Lin 239e04c5f64SYanqin Li // drain buffer 240e04c5f64SYanqin Li val empty = Wire(Bool()) 241043d3da4SYanqin Li val f1_needDrain = Wire(Bool()) 242043d3da4SYanqin Li val do_uarch_drain = RegNext(f1_needDrain) 2431f0e2dc7SJiawei Lin 244cfdd605fSYanqin Li val q0_entry = Wire(new UncacheEntry) 245cfdd605fSYanqin Li val q0_canSentIdx = Wire(UInt(INDEX_WIDTH.W)) 246cfdd605fSYanqin Li val q0_canSent = Wire(Bool()) 247e04c5f64SYanqin Li 248e04c5f64SYanqin Li 249cfdd605fSYanqin Li /****************************************************************** 25074050fc0SYanqin Li * Functions 25174050fc0SYanqin Li ******************************************************************/ 25274050fc0SYanqin Li def sizeMap[T <: Data](f: Int => T) = VecInit((0 until UncacheBufferSize).map(f)) 25374050fc0SYanqin Li def sizeForeach[T <: Data](f: Int => Unit) = (0 until UncacheBufferSize).map(f) 25474050fc0SYanqin Li def isStore(e: UncacheEntry): Bool = e.cmd === MemoryOpConstants.M_XWR 25574050fc0SYanqin Li def isStore(x: UInt): Bool = x === MemoryOpConstants.M_XWR 25674050fc0SYanqin Li def addrMatch(x: UncacheEntry, y: UncacheWordReq) : Bool = getBlockAddr(x.addr) === getBlockAddr(y.addr) 25774050fc0SYanqin Li def addrMatch(x: UncacheWordReq, y: UncacheEntry) : Bool = getBlockAddr(x.addr) === getBlockAddr(y.addr) 25874050fc0SYanqin Li def addrMatch(x: UncacheEntry, y: UncacheEntry) : Bool = getBlockAddr(x.addr) === getBlockAddr(y.addr) 25974050fc0SYanqin Li def addrMatch(x: UInt, y: UInt) : Bool = getBlockAddr(x) === getBlockAddr(y) 26074050fc0SYanqin Li 26174050fc0SYanqin Li def continueAndAlign(mask: UInt): Bool = { 26274050fc0SYanqin Li val res = 26374050fc0SYanqin Li PopCount(mask) === 1.U || 26474050fc0SYanqin Li mask === 0b00000011.U || 26574050fc0SYanqin Li mask === 0b00001100.U || 26674050fc0SYanqin Li mask === 0b00110000.U || 26774050fc0SYanqin Li mask === 0b11000000.U || 26874050fc0SYanqin Li mask === 0b00001111.U || 26974050fc0SYanqin Li mask === 0b11110000.U || 27074050fc0SYanqin Li mask === 0b11111111.U 27174050fc0SYanqin Li res 27274050fc0SYanqin Li } 27374050fc0SYanqin Li 274*d74a7897SYanqin Li def canMergePrimary(x: UncacheWordReq, e: UncacheEntry, eid: UInt): Bool = { 27574050fc0SYanqin Li // vaddr same, properties same 27674050fc0SYanqin Li getBlockAddr(x.vaddr) === getBlockAddr(e.vaddr) && 27774050fc0SYanqin Li x.cmd === e.cmd && x.nc && e.nc && 27874050fc0SYanqin Li x.memBackTypeMM === e.memBackTypeMM && !x.atomic && !e.atomic && 279*d74a7897SYanqin Li continueAndAlign(x.mask | e.mask) && 280*d74a7897SYanqin Li // not receiving uncache response, not waitReturn -> no wake-up signal in these cases 281*d74a7897SYanqin Li !(mem_grant.fire && mem_grant.bits.source === eid || states(eid).isWaitReturn()) 28274050fc0SYanqin Li } 28374050fc0SYanqin Li 28474050fc0SYanqin Li def canMergeSecondary(eid: UInt): Bool = { 28574050fc0SYanqin Li // old entry is not inflight and senting 286*d74a7897SYanqin Li states(eid).canMerge() && !(q0_canSent && q0_canSentIdx === eid) 28774050fc0SYanqin Li } 28874050fc0SYanqin Li 28974050fc0SYanqin Li /****************************************************************** 290cfdd605fSYanqin Li * uState for non-outstanding 291cfdd605fSYanqin Li ******************************************************************/ 29237225120Ssfencevma 293cfdd605fSYanqin Li switch(uState){ 294cfdd605fSYanqin Li is(s_idle){ 29537225120Ssfencevma when(mem_acquire.fire){ 29674050fc0SYanqin Li uState := s_inflight 29737225120Ssfencevma } 29837225120Ssfencevma } 29974050fc0SYanqin Li is(s_inflight){ 30037225120Ssfencevma when(mem_grant.fire){ 30174050fc0SYanqin Li uState := s_wait_return 30237225120Ssfencevma } 30337225120Ssfencevma } 30474050fc0SYanqin Li is(s_wait_return){ 305cfdd605fSYanqin Li when(resp.fire){ 306cfdd605fSYanqin Li uState := s_idle 307cfdd605fSYanqin Li } 30837225120Ssfencevma } 30937225120Ssfencevma } 31037225120Ssfencevma 311cfdd605fSYanqin Li 312cfdd605fSYanqin Li /****************************************************************** 313cfdd605fSYanqin Li * Enter Buffer 314cfdd605fSYanqin Li * Version 0 (better timing) 315cfdd605fSYanqin Li * e0 judge: alloc/merge write vec 316cfdd605fSYanqin Li * e1 alloc 317cfdd605fSYanqin Li * 318cfdd605fSYanqin Li * Version 1 (better performance) 31974050fc0SYanqin Li * e0: solved in one cycle for achieving the original performance. 32074050fc0SYanqin Li * e1: return idResp to set sid for handshake 321cfdd605fSYanqin Li ******************************************************************/ 322cfdd605fSYanqin Li 32374050fc0SYanqin Li /* e0: merge/alloc */ 324cfdd605fSYanqin Li val e0_fire = req.fire 325e10e20c6SYanqin Li val e0_req_valid = req.valid 326cfdd605fSYanqin Li val e0_req = req.bits 327cfdd605fSYanqin Li 32874050fc0SYanqin Li val e0_rejectVec = Wire(Vec(UncacheBufferSize, Bool())) 32974050fc0SYanqin Li val e0_mergeVec = Wire(Vec(UncacheBufferSize, Bool())) 33074050fc0SYanqin Li val e0_allocWaitSameVec = Wire(Vec(UncacheBufferSize, Bool())) 33174050fc0SYanqin Li sizeForeach(i => { 33274050fc0SYanqin Li val valid = e0_req_valid && states(i).isValid() 33374050fc0SYanqin Li val isAddrMatch = addrMatch(e0_req, entries(i)) 334*d74a7897SYanqin Li val canMerge1 = canMergePrimary(e0_req, entries(i), i.U) 33574050fc0SYanqin Li val canMerge2 = canMergeSecondary(i.U) 33674050fc0SYanqin Li e0_rejectVec(i) := valid && isAddrMatch && !canMerge1 33774050fc0SYanqin Li e0_mergeVec(i) := valid && isAddrMatch && canMerge1 && canMerge2 33874050fc0SYanqin Li e0_allocWaitSameVec(i) := valid && isAddrMatch && canMerge1 && !canMerge2 33974050fc0SYanqin Li }) 34074050fc0SYanqin Li assert(PopCount(e0_mergeVec) <= 1.U, "Uncache buffer should not merge multiple entries") 34174050fc0SYanqin Li 34274050fc0SYanqin Li val e0_invalidVec = sizeMap(i => !states(i).isValid()) 34374050fc0SYanqin Li val e0_reject = do_uarch_drain || !e0_invalidVec.asUInt.orR || e0_rejectVec.reduce(_ || _) 34474050fc0SYanqin Li val (e0_mergeIdx, e0_canMerge) = PriorityEncoderWithFlag(e0_mergeVec) 34574050fc0SYanqin Li val (e0_allocIdx, e0_canAlloc) = PriorityEncoderWithFlag(e0_invalidVec) 34674050fc0SYanqin Li val e0_allocWaitSame = e0_allocWaitSameVec.reduce(_ || _) 34774050fc0SYanqin Li val e0_sid = Mux(e0_canMerge, e0_mergeIdx, e0_allocIdx) 34874050fc0SYanqin Li 34974050fc0SYanqin Li // e0_fire is used to guarantee that it will not be rejected 35074050fc0SYanqin Li when(e0_canMerge && e0_fire){ 35174050fc0SYanqin Li entries(e0_mergeIdx).update(e0_req) 35274050fc0SYanqin Li }.elsewhen(e0_canAlloc && e0_fire){ 353e04c5f64SYanqin Li entries(e0_allocIdx).set(e0_req) 354e04c5f64SYanqin Li states(e0_allocIdx).setValid(true.B) 35574050fc0SYanqin Li when(e0_allocWaitSame){ 356e04c5f64SYanqin Li states(e0_allocIdx).setWaitSame(true.B) 357cfdd605fSYanqin Li } 358cfdd605fSYanqin Li } 359cfdd605fSYanqin Li 36074050fc0SYanqin Li req_ready := !e0_reject 36174050fc0SYanqin Li 36274050fc0SYanqin Li /* e1: return accept */ 36374050fc0SYanqin Li io.lsq.idResp.valid := RegNext(e0_fire) 36474050fc0SYanqin Li io.lsq.idResp.bits.mid := RegEnable(e0_req.id, e0_fire) 36574050fc0SYanqin Li io.lsq.idResp.bits.sid := RegEnable(e0_sid, e0_fire) 36674050fc0SYanqin Li io.lsq.idResp.bits.is2lq := RegEnable(!isStore(e0_req.cmd), e0_fire) 36774050fc0SYanqin Li io.lsq.idResp.bits.nc := RegEnable(e0_req.nc, e0_fire) 368cfdd605fSYanqin Li 369cfdd605fSYanqin Li /****************************************************************** 370cfdd605fSYanqin Li * Uncache Req 371cfdd605fSYanqin Li * Version 0 (better timing) 372cfdd605fSYanqin Li * q0: choose which one is sent 373cfdd605fSYanqin Li * q0: sent 374cfdd605fSYanqin Li * 375cfdd605fSYanqin Li * Version 1 (better performance) 376cfdd605fSYanqin Li * solved in one cycle for achieving the original performance. 377cfdd605fSYanqin Li * NOTE: "Enter Buffer" & "Uncache Req" not a continuous pipeline, 378cfdd605fSYanqin Li * because there is no guarantee that mem_aquire will be always ready. 379cfdd605fSYanqin Li ******************************************************************/ 380cfdd605fSYanqin Li 381cfdd605fSYanqin Li val q0_canSentVec = sizeMap(i => 38274050fc0SYanqin Li (io.enableOutstanding || uState === s_idle) && 38374050fc0SYanqin Li states(i).can2Bus() 384cfdd605fSYanqin Li ) 385cfdd605fSYanqin Li val q0_res = PriorityEncoderWithFlag(q0_canSentVec) 386cfdd605fSYanqin Li q0_canSentIdx := q0_res._1 387cfdd605fSYanqin Li q0_canSent := q0_res._2 388cfdd605fSYanqin Li q0_entry := entries(q0_canSentIdx) 389cfdd605fSYanqin Li 390cfdd605fSYanqin Li val size = PopCount(q0_entry.mask) 391cfdd605fSYanqin Li val (lgSize, legal) = PriorityMuxWithFlag(Seq( 392cfdd605fSYanqin Li 1.U -> 0.U, 393cfdd605fSYanqin Li 2.U -> 1.U, 394cfdd605fSYanqin Li 4.U -> 2.U, 395cfdd605fSYanqin Li 8.U -> 3.U 396cfdd605fSYanqin Li ).map(m => (size===m._1) -> m._2)) 397cfdd605fSYanqin Li assert(!(q0_canSent && !legal)) 398cfdd605fSYanqin Li 399cfdd605fSYanqin Li val q0_load = edge.Get( 400cfdd605fSYanqin Li fromSource = q0_canSentIdx, 401cfdd605fSYanqin Li toAddress = q0_entry.addr, 402cfdd605fSYanqin Li lgSize = lgSize 403cfdd605fSYanqin Li )._2 404cfdd605fSYanqin Li 405cfdd605fSYanqin Li val q0_store = edge.Put( 406cfdd605fSYanqin Li fromSource = q0_canSentIdx, 407cfdd605fSYanqin Li toAddress = q0_entry.addr, 408cfdd605fSYanqin Li lgSize = lgSize, 409cfdd605fSYanqin Li data = q0_entry.data, 410cfdd605fSYanqin Li mask = q0_entry.mask 411cfdd605fSYanqin Li )._2 412cfdd605fSYanqin Li 413cfdd605fSYanqin Li val q0_isStore = q0_entry.cmd === MemoryOpConstants.M_XWR 414cfdd605fSYanqin Li 415cfdd605fSYanqin Li mem_acquire.valid := q0_canSent 416cfdd605fSYanqin Li mem_acquire.bits := Mux(q0_isStore, q0_store, q0_load) 417519244c7SYanqin Li mem_acquire.bits.user.lift(MemBackTypeMM).foreach(_ := q0_entry.memBackTypeMM) 418519244c7SYanqin Li mem_acquire.bits.user.lift(MemPageTypeNC).foreach(_ := q0_entry.nc) 419cfdd605fSYanqin Li when(mem_acquire.fire){ 420cfdd605fSYanqin Li states(q0_canSentIdx).setInflight(true.B) 421cfdd605fSYanqin Li 422cfdd605fSYanqin Li // q0 should judge whether wait same block 423cfdd605fSYanqin Li (0 until UncacheBufferSize).map(j => 424e10e20c6SYanqin Li when(states(j).isValid() && !states(j).isWaitReturn() && addrMatch(q0_entry, entries(j))){ 425cfdd605fSYanqin Li states(j).setWaitSame(true.B) 426cfdd605fSYanqin Li } 427cfdd605fSYanqin Li ) 428cfdd605fSYanqin Li } 429cfdd605fSYanqin Li 430cfdd605fSYanqin Li 431cfdd605fSYanqin Li /****************************************************************** 432cfdd605fSYanqin Li * Uncache Resp 433cfdd605fSYanqin Li ******************************************************************/ 434cfdd605fSYanqin Li 435cfdd605fSYanqin Li val (_, _, refill_done, _) = edge.addr_inc(mem_grant) 436cfdd605fSYanqin Li 437cfdd605fSYanqin Li mem_grant.ready := true.B 438cfdd605fSYanqin Li when (mem_grant.fire) { 439cfdd605fSYanqin Li val id = mem_grant.bits.source 440cfdd605fSYanqin Li entries(id).update(mem_grant.bits) 441cfdd605fSYanqin Li states(id).updateUncacheResp() 442cfdd605fSYanqin Li assert(refill_done, "Uncache response should be one beat only!") 443cfdd605fSYanqin Li 444cfdd605fSYanqin Li // remove state of wait same block 445cfdd605fSYanqin Li (0 until UncacheBufferSize).map(j => 446e10e20c6SYanqin Li when(states(j).isValid() && states(j).isWaitSame() && addrMatch(entries(id), entries(j))){ 447cfdd605fSYanqin Li states(j).setWaitSame(false.B) 448cfdd605fSYanqin Li } 449cfdd605fSYanqin Li ) 450cfdd605fSYanqin Li } 451cfdd605fSYanqin Li 452cfdd605fSYanqin Li 453cfdd605fSYanqin Li /****************************************************************** 454cfdd605fSYanqin Li * Return to LSQ 455cfdd605fSYanqin Li ******************************************************************/ 456cfdd605fSYanqin Li 457cfdd605fSYanqin Li val r0_canSentVec = sizeMap(i => states(i).can2Lsq()) 458cfdd605fSYanqin Li val (r0_canSentIdx, r0_canSent) = PriorityEncoderWithFlag(r0_canSentVec) 459cfdd605fSYanqin Li resp.valid := r0_canSent 46074050fc0SYanqin Li resp.bits := entries(r0_canSentIdx).toUncacheWordResp(r0_canSentIdx) 461cfdd605fSYanqin Li when(resp.fire){ 462cfdd605fSYanqin Li states(r0_canSentIdx).updateReturn() 463cfdd605fSYanqin Li } 464cfdd605fSYanqin Li 465cfdd605fSYanqin Li 466cfdd605fSYanqin Li /****************************************************************** 467cfdd605fSYanqin Li * Buffer Flush 46846236761SYanqin Li * 1. when io.flush.valid is true: drain store queue and ubuffer 46946236761SYanqin Li * 2. when io.lsq.req.bits.atomic is true: not support temporarily 470cfdd605fSYanqin Li ******************************************************************/ 471e04c5f64SYanqin Li empty := !VecInit(states.map(_.isValid())).asUInt.orR 472e04c5f64SYanqin Li io.flush.empty := empty 473cfdd605fSYanqin Li 474e04c5f64SYanqin Li 475e04c5f64SYanqin Li /****************************************************************** 47674050fc0SYanqin Li * Load Data Forward to loadunit 47774050fc0SYanqin Li * f0: vaddr match, fast resp 47874050fc0SYanqin Li * f1: mask & data select, merge; paddr match; resp 47974050fc0SYanqin Li * NOTE: forward.paddr from dtlb, which is far from uncache f0 480e04c5f64SYanqin Li ******************************************************************/ 481e04c5f64SYanqin Li 482e04c5f64SYanqin Li val f0_validMask = sizeMap(i => isStore(entries(i)) && states(i).isValid()) 483e04c5f64SYanqin Li val f0_fwdMaskCandidates = VecInit(entries.map(e => e.mask)) 484e04c5f64SYanqin Li val f0_fwdDataCandidates = VecInit(entries.map(e => e.data)) 48574050fc0SYanqin Li val f1_fwdMaskCandidates = sizeMap(i => RegEnable(entries(i).mask, f0_validMask(i))) 48674050fc0SYanqin Li val f1_fwdDataCandidates = sizeMap(i => RegEnable(entries(i).data, f0_validMask(i))) 487043d3da4SYanqin Li val f1_tagMismatchVec = Wire(Vec(LoadPipelineWidth, Bool())) 488043d3da4SYanqin Li f1_needDrain := f1_tagMismatchVec.asUInt.orR && !empty 489043d3da4SYanqin Li 490043d3da4SYanqin Li for ((forward, i) <- io.forward.zipWithIndex) { 491043d3da4SYanqin Li val f0_fwdValid = forward.valid 492043d3da4SYanqin Li val f1_fwdValid = RegNext(f0_fwdValid) 493043d3da4SYanqin Li 49474050fc0SYanqin Li /* f0 */ 49574050fc0SYanqin Li // vaddr match 496e10e20c6SYanqin Li val f0_vtagMatches = sizeMap(w => addrMatch(entries(w).vaddr, forward.vaddr)) 497*d74a7897SYanqin Li val f0_flyTagMatches = sizeMap(w => f0_vtagMatches(w) && f0_validMask(w) && f0_fwdValid && states(i).isFwdOld) 498*d74a7897SYanqin Li val f0_idleTagMatches = sizeMap(w => f0_vtagMatches(w) && f0_validMask(w) && f0_fwdValid && states(i).isFwdNew) 49974050fc0SYanqin Li // ONLY for fast use to get better timing 50074050fc0SYanqin Li val f0_flyMaskFast = shiftMaskToHigh( 501043d3da4SYanqin Li forward.vaddr, 50274050fc0SYanqin Li Mux1H(f0_flyTagMatches, f0_fwdMaskCandidates) 503e04c5f64SYanqin Li ).asTypeOf(Vec(VDataBytes, Bool())) 50474050fc0SYanqin Li val f0_idleMaskFast = shiftMaskToHigh( 505043d3da4SYanqin Li forward.vaddr, 50674050fc0SYanqin Li Mux1H(f0_idleTagMatches, f0_fwdMaskCandidates) 50774050fc0SYanqin Li ).asTypeOf(Vec(VDataBytes, Bool())) 508e04c5f64SYanqin Li 50974050fc0SYanqin Li /* f1 */ 51074050fc0SYanqin Li val f1_flyTagMatches = RegEnable(f0_flyTagMatches, f0_fwdValid) 51174050fc0SYanqin Li val f1_idleTagMatches = RegEnable(f0_idleTagMatches, f0_fwdValid) 51274050fc0SYanqin Li val f1_fwdPAddr = RegEnable(forward.paddr, f0_fwdValid) 51374050fc0SYanqin Li // select 51474050fc0SYanqin Li val f1_flyMask = Mux1H(f1_flyTagMatches, f1_fwdMaskCandidates) 51574050fc0SYanqin Li val f1_flyData = Mux1H(f1_flyTagMatches, f1_fwdDataCandidates) 51674050fc0SYanqin Li val f1_idleMask = Mux1H(f1_idleTagMatches, f1_fwdMaskCandidates) 51774050fc0SYanqin Li val f1_idleData = Mux1H(f1_idleTagMatches, f1_fwdDataCandidates) 51874050fc0SYanqin Li // merge old(inflight) and new(idle) 51974050fc0SYanqin Li val (f1_fwdDataTmp, f1_fwdMaskTmp) = doMerge(f1_flyData, f1_flyMask, f1_idleData, f1_idleMask) 52074050fc0SYanqin Li val f1_fwdMask = shiftMaskToHigh(f1_fwdPAddr, f1_fwdMaskTmp).asTypeOf(Vec(VDataBytes, Bool())) 52174050fc0SYanqin Li val f1_fwdData = shiftDataToHigh(f1_fwdPAddr, f1_fwdDataTmp).asTypeOf(Vec(VDataBytes, UInt(8.W))) 52274050fc0SYanqin Li // paddr match and mismatch judge 52374050fc0SYanqin Li val f1_ptagMatches = sizeMap(w => addrMatch(RegEnable(entries(w).addr, f0_fwdValid), f1_fwdPAddr)) 524e10e20c6SYanqin Li f1_tagMismatchVec(i) := sizeMap(w => 525043d3da4SYanqin Li RegEnable(f0_vtagMatches(w), f0_fwdValid) =/= f1_ptagMatches(w) && RegEnable(f0_validMask(w), f0_fwdValid) && f1_fwdValid 526043d3da4SYanqin Li ).asUInt.orR 527043d3da4SYanqin Li when(f1_tagMismatchVec(i)) { 528043d3da4SYanqin Li XSDebug("forward tag mismatch: pmatch %x vmatch %x vaddr %x paddr %x\n", 529043d3da4SYanqin Li f1_ptagMatches.asUInt, 530043d3da4SYanqin Li RegEnable(f0_vtagMatches.asUInt, f0_fwdValid), 531043d3da4SYanqin Li RegEnable(forward.vaddr, f0_fwdValid), 532043d3da4SYanqin Li RegEnable(forward.paddr, f0_fwdValid) 533043d3da4SYanqin Li ) 534043d3da4SYanqin Li } 53574050fc0SYanqin Li // response 536e04c5f64SYanqin Li forward.addrInvalid := false.B // addr in ubuffer is always ready 537e04c5f64SYanqin Li forward.dataInvalid := false.B // data in ubuffer is always ready 538043d3da4SYanqin Li forward.matchInvalid := f1_tagMismatchVec(i) // paddr / vaddr cam result does not match 539e04c5f64SYanqin Li for (j <- 0 until VDataBytes) { 54074050fc0SYanqin Li forward.forwardMaskFast(j) := f0_flyMaskFast(j) || f0_idleMaskFast(j) 541e04c5f64SYanqin Li 542e10e20c6SYanqin Li forward.forwardData(j) := f1_fwdData(j) 543e04c5f64SYanqin Li forward.forwardMask(j) := false.B 544e04c5f64SYanqin Li when(f1_fwdMask(j) && f1_fwdValid) { 545e04c5f64SYanqin Li forward.forwardMask(j) := true.B 546e04c5f64SYanqin Li } 547e04c5f64SYanqin Li } 548e04c5f64SYanqin Li 549e04c5f64SYanqin Li } 5501f0e2dc7SJiawei Lin 5511f0e2dc7SJiawei Lin 552cfdd605fSYanqin Li /****************************************************************** 553cfdd605fSYanqin Li * Debug / Performance 554cfdd605fSYanqin Li ******************************************************************/ 555cfdd605fSYanqin Li 556cfdd605fSYanqin Li /* Debug Counters */ 5571f0e2dc7SJiawei Lin // print all input/output requests for debug purpose 5581f0e2dc7SJiawei Lin // print req/resp 559935edac4STang Haojin XSDebug(req.fire, "req cmd: %x addr: %x data: %x mask: %x\n", 5601f0e2dc7SJiawei Lin req.bits.cmd, req.bits.addr, req.bits.data, req.bits.mask) 561935edac4STang Haojin XSDebug(resp.fire, "data: %x\n", req.bits.data) 5621f0e2dc7SJiawei Lin // print tilelink messages 5638b33cd30Sklin02 XSDebug(mem_acquire.valid, "mem_acquire valid, ready=%d ", mem_acquire.ready) 5648b33cd30Sklin02 mem_acquire.bits.dump(mem_acquire.valid) 5658b33cd30Sklin02 5668b33cd30Sklin02 XSDebug(mem_grant.fire, "mem_grant fire ") 5678b33cd30Sklin02 mem_grant.bits.dump(mem_grant.fire) 56837225120Ssfencevma 569cfdd605fSYanqin Li /* Performance Counters */ 57074050fc0SYanqin Li XSPerfAccumulate("e0_reject", e0_reject && e0_req_valid) 57174050fc0SYanqin Li XSPerfAccumulate("e0_total_enter", e0_fire) 57274050fc0SYanqin Li XSPerfAccumulate("e0_merge", e0_fire && e0_canMerge) 57374050fc0SYanqin Li XSPerfAccumulate("e0_alloc_simple", e0_fire && e0_canAlloc && !e0_allocWaitSame) 57474050fc0SYanqin Li XSPerfAccumulate("e0_alloc_wait_same", e0_fire && e0_canAlloc && e0_allocWaitSame) 57574050fc0SYanqin Li XSPerfAccumulate("q0_acquire", q0_canSent) 57674050fc0SYanqin Li XSPerfAccumulate("q0_acquire_store", q0_canSent && q0_isStore) 57774050fc0SYanqin Li XSPerfAccumulate("q0_acquire_load", q0_canSent && !q0_isStore) 578519244c7SYanqin Li XSPerfAccumulate("uncache_memBackTypeMM", io.lsq.req.fire && io.lsq.req.bits.memBackTypeMM) 579e04c5f64SYanqin Li XSPerfAccumulate("uncache_mmio_store", io.lsq.req.fire && isStore(io.lsq.req.bits.cmd) && !io.lsq.req.bits.nc) 580e04c5f64SYanqin Li XSPerfAccumulate("uncache_mmio_load", io.lsq.req.fire && !isStore(io.lsq.req.bits.cmd) && !io.lsq.req.bits.nc) 581e04c5f64SYanqin Li XSPerfAccumulate("uncache_nc_store", io.lsq.req.fire && isStore(io.lsq.req.bits.cmd) && io.lsq.req.bits.nc) 582e04c5f64SYanqin Li XSPerfAccumulate("uncache_nc_load", io.lsq.req.fire && !isStore(io.lsq.req.bits.cmd) && io.lsq.req.bits.nc) 58374050fc0SYanqin Li XSPerfAccumulate("uncache_outstanding", uState =/= s_idle && mem_acquire.fire) 58446236761SYanqin Li XSPerfAccumulate("forward_count", PopCount(io.forward.map(_.forwardMask.asUInt.orR))) 585043d3da4SYanqin Li XSPerfAccumulate("forward_vaddr_match_failed", PopCount(f1_tagMismatchVec)) 586cfdd605fSYanqin Li 58737225120Ssfencevma val perfEvents = Seq( 588e04c5f64SYanqin Li ("uncache_mmio_store", io.lsq.req.fire && isStore(io.lsq.req.bits.cmd) && !io.lsq.req.bits.nc), 589e04c5f64SYanqin Li ("uncache_mmio_load", io.lsq.req.fire && !isStore(io.lsq.req.bits.cmd) && !io.lsq.req.bits.nc), 590e04c5f64SYanqin Li ("uncache_nc_store", io.lsq.req.fire && isStore(io.lsq.req.bits.cmd) && io.lsq.req.bits.nc), 591e04c5f64SYanqin Li ("uncache_nc_load", io.lsq.req.fire && !isStore(io.lsq.req.bits.cmd) && io.lsq.req.bits.nc), 59274050fc0SYanqin Li ("uncache_outstanding", uState =/= s_idle && mem_acquire.fire), 59346236761SYanqin Li ("forward_count", PopCount(io.forward.map(_.forwardMask.asUInt.orR))), 594043d3da4SYanqin Li ("forward_vaddr_match_failed", PopCount(f1_tagMismatchVec)) 59537225120Ssfencevma ) 59637225120Ssfencevma 59737225120Ssfencevma generatePerfEvent() 59837225120Ssfencevma // End 5991f0e2dc7SJiawei Lin} 600