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 chisel3._ 201f0e2dc7SJiawei Linimport chisel3.util._ 218891a219SYinan Xuimport org.chipsalliance.cde.config.Parameters 2237225120Ssfencevmaimport utils._ 233c02ee8fSwakafaimport utility._ 2437225120Ssfencevmaimport xiangshan._ 25e04c5f64SYanqin Liimport xiangshan.mem._ 26519244c7SYanqin Liimport coupledL2.MemBackTypeMM 27519244c7SYanqin Liimport coupledL2.MemPageTypeNC 281f0e2dc7SJiawei Linimport freechips.rocketchip.diplomacy.{IdRange, LazyModule, LazyModuleImp, TransferSizes} 291f0e2dc7SJiawei Linimport freechips.rocketchip.tilelink.{TLArbiter, TLBundleA, TLBundleD, TLClientNode, TLEdgeOut, TLMasterParameters, TLMasterPortParameters} 30519244c7SYanqin Liimport coupledL2.{MemBackTypeMMField, MemPageTypeNCField} 3137225120Ssfencevma 32*74050fc0SYanqin Litrait HasUncacheBufferParameters extends HasXSParameter with HasDCacheParameters { 33*74050fc0SYanqin Li 34*74050fc0SYanqin Li def doMerge(oldData: UInt, oldMask: UInt, newData:UInt, newMask: UInt):(UInt, UInt) = { 35*74050fc0SYanqin Li val resData = VecInit((0 until DataBytes).map(j => 36*74050fc0SYanqin Li Mux(newMask(j), newData(8*(j+1)-1, 8*j), oldData(8*(j+1)-1, 8*j)) 37*74050fc0SYanqin Li )).asUInt 38*74050fc0SYanqin Li val resMask = newMask | oldMask 39*74050fc0SYanqin Li (resData, resMask) 40*74050fc0SYanqin Li } 41*74050fc0SYanqin Li 42*74050fc0SYanqin Li def INDEX_WIDTH = log2Up(UncacheBufferSize) 43*74050fc0SYanqin Li def BLOCK_OFFSET = log2Up(XLEN / 8) 44*74050fc0SYanqin Li def getBlockAddr(x: UInt) = x >> BLOCK_OFFSET 45*74050fc0SYanqin Li} 46*74050fc0SYanqin Li 47*74050fc0SYanqin Liabstract class UncacheBundle(implicit p: Parameters) extends XSBundle with HasUncacheBufferParameters 48*74050fc0SYanqin Li 49*74050fc0SYanqin Liabstract class UncacheModule(implicit p: Parameters) extends XSModule with HasUncacheBufferParameters 50*74050fc0SYanqin Li 51*74050fc0SYanqin Li 5237225120Ssfencevmaclass UncacheFlushBundle extends Bundle { 5337225120Ssfencevma val valid = Output(Bool()) 5437225120Ssfencevma val empty = Input(Bool()) 5537225120Ssfencevma} 561f0e2dc7SJiawei Lin 57*74050fc0SYanqin Liclass UncacheEntry(implicit p: Parameters) extends UncacheBundle { 58cfdd605fSYanqin Li val cmd = UInt(M_SZ.W) 59cfdd605fSYanqin Li val addr = UInt(PAddrBits.W) 60e04c5f64SYanqin Li val vaddr = UInt(VAddrBits.W) 61cfdd605fSYanqin Li val data = UInt(XLEN.W) 62e04c5f64SYanqin Li val mask = UInt(DataBytes.W) 63cfdd605fSYanqin Li val nc = Bool() 64cfdd605fSYanqin Li val atomic = Bool() 65519244c7SYanqin Li val memBackTypeMM = Bool() 661f0e2dc7SJiawei Lin 67cfdd605fSYanqin Li val resp_nderr = Bool() 681f0e2dc7SJiawei Lin 6946236761SYanqin Li /* NOTE: if it support the internal forward logic, here can uncomment */ 7046236761SYanqin Li // val fwd_data = UInt(XLEN.W) 7146236761SYanqin Li // val fwd_mask = UInt(DataBytes.W) 72e04c5f64SYanqin Li 73cfdd605fSYanqin Li def set(x: UncacheWordReq): Unit = { 74cfdd605fSYanqin Li cmd := x.cmd 75cfdd605fSYanqin Li addr := x.addr 76e04c5f64SYanqin Li vaddr := x.vaddr 77cfdd605fSYanqin Li data := x.data 78cfdd605fSYanqin Li mask := x.mask 79cfdd605fSYanqin Li nc := x.nc 80519244c7SYanqin Li memBackTypeMM := x.memBackTypeMM 81cfdd605fSYanqin Li atomic := x.atomic 8258cb1b0bSzhanglinjuan resp_nderr := false.B 8346236761SYanqin Li // fwd_data := 0.U 8446236761SYanqin Li // fwd_mask := 0.U 85cfdd605fSYanqin Li } 86cfdd605fSYanqin Li 87*74050fc0SYanqin Li def update(x: UncacheWordReq): Unit = { 88*74050fc0SYanqin Li val (resData, resMask) = doMerge(data, mask, x.data, x.mask) 89*74050fc0SYanqin Li // mask -> get the first position as 1 -> for address align 90*74050fc0SYanqin Li val (resOffset, resFlag) = PriorityEncoderWithFlag(resMask) 91*74050fc0SYanqin Li data := resData 92*74050fc0SYanqin Li mask := resMask 93*74050fc0SYanqin Li when(resFlag){ 94*74050fc0SYanqin Li addr := (getBlockAddr(addr) << BLOCK_OFFSET) | resOffset 95*74050fc0SYanqin Li vaddr := (getBlockAddr(vaddr) << BLOCK_OFFSET) | resOffset 96*74050fc0SYanqin Li } 97*74050fc0SYanqin Li } 98*74050fc0SYanqin Li 99cfdd605fSYanqin Li def update(x: TLBundleD): Unit = { 10046236761SYanqin Li when(cmd === MemoryOpConstants.M_XRD) { 10146236761SYanqin Li data := x.data 10246236761SYanqin Li } 103db81ab70SYanqin Li resp_nderr := x.denied || x.corrupt 104cfdd605fSYanqin Li } 105cfdd605fSYanqin Li 10646236761SYanqin Li // def update(forwardData: UInt, forwardMask: UInt): Unit = { 10746236761SYanqin Li // fwd_data := forwardData 10846236761SYanqin Li // fwd_mask := forwardMask 10946236761SYanqin Li // } 110e04c5f64SYanqin Li 111*74050fc0SYanqin Li def toUncacheWordResp(eid: UInt): UncacheWordResp = { 11246236761SYanqin Li // val resp_fwd_data = VecInit((0 until DataBytes).map(j => 11346236761SYanqin Li // Mux(fwd_mask(j), fwd_data(8*(j+1)-1, 8*j), data(8*(j+1)-1, 8*j)) 11446236761SYanqin Li // )).asUInt 11546236761SYanqin Li val resp_fwd_data = data 116cfdd605fSYanqin Li val r = Wire(new UncacheWordResp) 117cfdd605fSYanqin Li r := DontCare 118e04c5f64SYanqin Li r.data := resp_fwd_data 119*74050fc0SYanqin Li r.id := eid 120cfdd605fSYanqin Li r.nderr := resp_nderr 121cfdd605fSYanqin Li r.nc := nc 122cfdd605fSYanqin Li r.is2lq := cmd === MemoryOpConstants.M_XRD 123cfdd605fSYanqin Li r.miss := false.B 124cfdd605fSYanqin Li r.replay := false.B 125cfdd605fSYanqin Li r.tag_error := false.B 126cfdd605fSYanqin Li r.error := false.B 127cfdd605fSYanqin Li r 1281f0e2dc7SJiawei Lin } 1291f0e2dc7SJiawei Lin} 1301f0e2dc7SJiawei Lin 131cfdd605fSYanqin Liclass UncacheEntryState(implicit p: Parameters) extends DCacheBundle { 132cfdd605fSYanqin Li // valid (-> waitSame) -> inflight -> waitReturn 133cfdd605fSYanqin Li val valid = Bool() 134cfdd605fSYanqin Li val inflight = Bool() // uncache -> L2 135cfdd605fSYanqin Li val waitSame = Bool() 136cfdd605fSYanqin Li val waitReturn = Bool() // uncache -> LSQ 1371f0e2dc7SJiawei Lin 138cfdd605fSYanqin Li def init: Unit = { 139cfdd605fSYanqin Li valid := false.B 140cfdd605fSYanqin Li inflight := false.B 141cfdd605fSYanqin Li waitSame := false.B 142cfdd605fSYanqin Li waitReturn := false.B 1431f0e2dc7SJiawei Lin } 1441f0e2dc7SJiawei Lin 145cfdd605fSYanqin Li def isValid(): Bool = valid 146*74050fc0SYanqin Li def isInflight(): Bool = valid && inflight 147*74050fc0SYanqin Li def isWaitReturn(): Bool = valid && waitReturn 148*74050fc0SYanqin Li def isWaitSame(): Bool = valid && waitSame 149*74050fc0SYanqin Li def can2Bus(): Bool = valid && !inflight && !waitSame && !waitReturn 150cfdd605fSYanqin Li def can2Lsq(): Bool = valid && waitReturn 1511f0e2dc7SJiawei Lin 152cfdd605fSYanqin Li def setValid(x: Bool): Unit = { valid := x} 153cfdd605fSYanqin Li def setInflight(x: Bool): Unit = { inflight := x} 154cfdd605fSYanqin Li def setWaitReturn(x: Bool): Unit = { waitReturn := x } 155cfdd605fSYanqin Li def setWaitSame(x: Bool): Unit = { waitSame := x} 1561f0e2dc7SJiawei Lin 157cfdd605fSYanqin Li def updateUncacheResp(): Unit = { 158cfdd605fSYanqin Li assert(inflight, "The request was not sent and a response was received") 159cfdd605fSYanqin Li inflight := false.B 160cfdd605fSYanqin Li waitReturn := true.B 1611f0e2dc7SJiawei Lin } 162cfdd605fSYanqin Li def updateReturn(): Unit = { 163cfdd605fSYanqin Li valid := false.B 164cfdd605fSYanqin Li inflight := false.B 165cfdd605fSYanqin Li waitSame := false.B 166cfdd605fSYanqin Li waitReturn := false.B 1671f0e2dc7SJiawei Lin } 1681f0e2dc7SJiawei Lin} 1691f0e2dc7SJiawei Lin 1701f0e2dc7SJiawei Linclass UncacheIO(implicit p: Parameters) extends DCacheBundle { 17137225120Ssfencevma val hartId = Input(UInt()) 17237225120Ssfencevma val enableOutstanding = Input(Bool()) 17337225120Ssfencevma val flush = Flipped(new UncacheFlushBundle) 1746786cfb7SWilliam Wang val lsq = Flipped(new UncacheWordIO) 175e04c5f64SYanqin Li val forward = Vec(LoadPipelineWidth, Flipped(new LoadForwardQueryIO)) 1761f0e2dc7SJiawei Lin} 1771f0e2dc7SJiawei Lin 1781f0e2dc7SJiawei Lin// convert DCacheIO to TileLink 1791f0e2dc7SJiawei Lin// for Now, we only deal with TL-UL 1801f0e2dc7SJiawei Lin 18137225120Ssfencevmaclass Uncache()(implicit p: Parameters) extends LazyModule with HasXSParameter { 18295e60e55STang Haojin override def shouldBeInlined: Boolean = false 18337225120Ssfencevma def idRange: Int = UncacheBufferSize 1841f0e2dc7SJiawei Lin 1851f0e2dc7SJiawei Lin val clientParameters = TLMasterPortParameters.v1( 1861f0e2dc7SJiawei Lin clients = Seq(TLMasterParameters.v1( 1871f0e2dc7SJiawei Lin "uncache", 18837225120Ssfencevma sourceId = IdRange(0, idRange) 189519244c7SYanqin Li )), 190519244c7SYanqin Li requestFields = Seq(MemBackTypeMMField(), MemPageTypeNCField()) 1911f0e2dc7SJiawei Lin ) 1921f0e2dc7SJiawei Lin val clientNode = TLClientNode(Seq(clientParameters)) 1931f0e2dc7SJiawei Lin 1941f0e2dc7SJiawei Lin lazy val module = new UncacheImp(this) 1951f0e2dc7SJiawei Lin} 1961f0e2dc7SJiawei Lin 197cfdd605fSYanqin Li/* Uncache Buffer */ 19837225120Ssfencevmaclass UncacheImp(outer: Uncache)extends LazyModuleImp(outer) 1991f0e2dc7SJiawei Lin with HasTLDump 20037225120Ssfencevma with HasXSParameter 201*74050fc0SYanqin Li with HasUncacheBufferParameters 20237225120Ssfencevma with HasPerfEvents 2031f0e2dc7SJiawei Lin{ 204cfdd605fSYanqin Li println(s"Uncahe Buffer Size: $UncacheBufferSize entries") 2051f0e2dc7SJiawei Lin val io = IO(new UncacheIO) 2061f0e2dc7SJiawei Lin 2071f0e2dc7SJiawei Lin val (bus, edge) = outer.clientNode.out.head 2081f0e2dc7SJiawei Lin 2091f0e2dc7SJiawei Lin val req = io.lsq.req 2101f0e2dc7SJiawei Lin val resp = io.lsq.resp 2111f0e2dc7SJiawei Lin val mem_acquire = bus.a 2121f0e2dc7SJiawei Lin val mem_grant = bus.d 2131f0e2dc7SJiawei Lin val req_ready = WireInit(false.B) 2141f0e2dc7SJiawei Lin 2151f0e2dc7SJiawei Lin // assign default values to output signals 2161f0e2dc7SJiawei Lin bus.b.ready := false.B 2171f0e2dc7SJiawei Lin bus.c.valid := false.B 2181f0e2dc7SJiawei Lin bus.c.bits := DontCare 2191f0e2dc7SJiawei Lin bus.d.ready := false.B 2201f0e2dc7SJiawei Lin bus.e.valid := false.B 2211f0e2dc7SJiawei Lin bus.e.bits := DontCare 222cfdd605fSYanqin Li io.lsq.req.ready := req_ready 22337225120Ssfencevma io.lsq.resp.valid := false.B 22437225120Ssfencevma io.lsq.resp.bits := DontCare 2251f0e2dc7SJiawei Lin 22637225120Ssfencevma 227cfdd605fSYanqin Li /****************************************************************** 228cfdd605fSYanqin Li * Data Structure 229cfdd605fSYanqin Li ******************************************************************/ 23037225120Ssfencevma 231cfdd605fSYanqin Li val entries = Reg(Vec(UncacheBufferSize, new UncacheEntry)) 232cfdd605fSYanqin Li val states = RegInit(VecInit(Seq.fill(UncacheBufferSize)(0.U.asTypeOf(new UncacheEntryState)))) 233cfdd605fSYanqin Li val fence = RegInit(Bool(), false.B) 234*74050fc0SYanqin Li val s_idle :: s_inflight :: s_wait_return :: Nil = Enum(3) 235cfdd605fSYanqin Li val uState = RegInit(s_idle) 2361f0e2dc7SJiawei Lin 237e04c5f64SYanqin Li // drain buffer 238e04c5f64SYanqin Li val empty = Wire(Bool()) 239043d3da4SYanqin Li val f1_needDrain = Wire(Bool()) 240043d3da4SYanqin Li val do_uarch_drain = RegNext(f1_needDrain) 2411f0e2dc7SJiawei Lin 242cfdd605fSYanqin Li val q0_entry = Wire(new UncacheEntry) 243cfdd605fSYanqin Li val q0_canSentIdx = Wire(UInt(INDEX_WIDTH.W)) 244cfdd605fSYanqin Li val q0_canSent = Wire(Bool()) 245e04c5f64SYanqin Li 246e04c5f64SYanqin Li 247cfdd605fSYanqin Li /****************************************************************** 248*74050fc0SYanqin Li * Functions 249*74050fc0SYanqin Li ******************************************************************/ 250*74050fc0SYanqin Li def sizeMap[T <: Data](f: Int => T) = VecInit((0 until UncacheBufferSize).map(f)) 251*74050fc0SYanqin Li def sizeForeach[T <: Data](f: Int => Unit) = (0 until UncacheBufferSize).map(f) 252*74050fc0SYanqin Li def isStore(e: UncacheEntry): Bool = e.cmd === MemoryOpConstants.M_XWR 253*74050fc0SYanqin Li def isStore(x: UInt): Bool = x === MemoryOpConstants.M_XWR 254*74050fc0SYanqin Li def addrMatch(x: UncacheEntry, y: UncacheWordReq) : Bool = getBlockAddr(x.addr) === getBlockAddr(y.addr) 255*74050fc0SYanqin Li def addrMatch(x: UncacheWordReq, y: UncacheEntry) : Bool = getBlockAddr(x.addr) === getBlockAddr(y.addr) 256*74050fc0SYanqin Li def addrMatch(x: UncacheEntry, y: UncacheEntry) : Bool = getBlockAddr(x.addr) === getBlockAddr(y.addr) 257*74050fc0SYanqin Li def addrMatch(x: UInt, y: UInt) : Bool = getBlockAddr(x) === getBlockAddr(y) 258*74050fc0SYanqin Li 259*74050fc0SYanqin Li def continueAndAlign(mask: UInt): Bool = { 260*74050fc0SYanqin Li val res = 261*74050fc0SYanqin Li PopCount(mask) === 1.U || 262*74050fc0SYanqin Li mask === 0b00000011.U || 263*74050fc0SYanqin Li mask === 0b00001100.U || 264*74050fc0SYanqin Li mask === 0b00110000.U || 265*74050fc0SYanqin Li mask === 0b11000000.U || 266*74050fc0SYanqin Li mask === 0b00001111.U || 267*74050fc0SYanqin Li mask === 0b11110000.U || 268*74050fc0SYanqin Li mask === 0b11111111.U 269*74050fc0SYanqin Li res 270*74050fc0SYanqin Li } 271*74050fc0SYanqin Li 272*74050fc0SYanqin Li def canMergePrimary(x: UncacheWordReq, e: UncacheEntry): Bool = { 273*74050fc0SYanqin Li // vaddr same, properties same 274*74050fc0SYanqin Li getBlockAddr(x.vaddr) === getBlockAddr(e.vaddr) && 275*74050fc0SYanqin Li x.cmd === e.cmd && x.nc && e.nc && 276*74050fc0SYanqin Li x.memBackTypeMM === e.memBackTypeMM && !x.atomic && !e.atomic && 277*74050fc0SYanqin Li continueAndAlign(x.mask | e.mask) 278*74050fc0SYanqin Li } 279*74050fc0SYanqin Li 280*74050fc0SYanqin Li def canMergeSecondary(eid: UInt): Bool = { 281*74050fc0SYanqin Li // old entry is not inflight and senting 282*74050fc0SYanqin Li !states(eid).isInflight() && !(q0_canSent && q0_canSentIdx === eid) 283*74050fc0SYanqin Li } 284*74050fc0SYanqin Li 285*74050fc0SYanqin Li /****************************************************************** 286cfdd605fSYanqin Li * uState for non-outstanding 287cfdd605fSYanqin Li ******************************************************************/ 28837225120Ssfencevma 289cfdd605fSYanqin Li switch(uState){ 290cfdd605fSYanqin Li is(s_idle){ 29137225120Ssfencevma when(mem_acquire.fire){ 292*74050fc0SYanqin Li uState := s_inflight 29337225120Ssfencevma } 29437225120Ssfencevma } 295*74050fc0SYanqin Li is(s_inflight){ 29637225120Ssfencevma when(mem_grant.fire){ 297*74050fc0SYanqin Li uState := s_wait_return 29837225120Ssfencevma } 29937225120Ssfencevma } 300*74050fc0SYanqin Li is(s_wait_return){ 301cfdd605fSYanqin Li when(resp.fire){ 302cfdd605fSYanqin Li uState := s_idle 303cfdd605fSYanqin Li } 30437225120Ssfencevma } 30537225120Ssfencevma } 30637225120Ssfencevma 307cfdd605fSYanqin Li 308cfdd605fSYanqin Li /****************************************************************** 309cfdd605fSYanqin Li * Enter Buffer 310cfdd605fSYanqin Li * Version 0 (better timing) 311cfdd605fSYanqin Li * e0 judge: alloc/merge write vec 312cfdd605fSYanqin Li * e1 alloc 313cfdd605fSYanqin Li * 314cfdd605fSYanqin Li * Version 1 (better performance) 315*74050fc0SYanqin Li * e0: solved in one cycle for achieving the original performance. 316*74050fc0SYanqin Li * e1: return idResp to set sid for handshake 317cfdd605fSYanqin Li ******************************************************************/ 318cfdd605fSYanqin Li 319*74050fc0SYanqin Li /* e0: merge/alloc */ 320cfdd605fSYanqin Li val e0_fire = req.fire 321e10e20c6SYanqin Li val e0_req_valid = req.valid 322cfdd605fSYanqin Li val e0_req = req.bits 323cfdd605fSYanqin Li 324*74050fc0SYanqin Li val e0_rejectVec = Wire(Vec(UncacheBufferSize, Bool())) 325*74050fc0SYanqin Li val e0_mergeVec = Wire(Vec(UncacheBufferSize, Bool())) 326*74050fc0SYanqin Li val e0_allocWaitSameVec = Wire(Vec(UncacheBufferSize, Bool())) 327*74050fc0SYanqin Li sizeForeach(i => { 328*74050fc0SYanqin Li val valid = e0_req_valid && states(i).isValid() 329*74050fc0SYanqin Li val isAddrMatch = addrMatch(e0_req, entries(i)) 330*74050fc0SYanqin Li val canMerge1 = canMergePrimary(e0_req, entries(i)) 331*74050fc0SYanqin Li val canMerge2 = canMergeSecondary(i.U) 332*74050fc0SYanqin Li e0_rejectVec(i) := valid && isAddrMatch && !canMerge1 333*74050fc0SYanqin Li e0_mergeVec(i) := valid && isAddrMatch && canMerge1 && canMerge2 334*74050fc0SYanqin Li e0_allocWaitSameVec(i) := valid && isAddrMatch && canMerge1 && !canMerge2 335*74050fc0SYanqin Li }) 336*74050fc0SYanqin Li assert(PopCount(e0_mergeVec) <= 1.U, "Uncache buffer should not merge multiple entries") 337*74050fc0SYanqin Li 338*74050fc0SYanqin Li val e0_invalidVec = sizeMap(i => !states(i).isValid()) 339*74050fc0SYanqin Li val e0_reject = do_uarch_drain || !e0_invalidVec.asUInt.orR || e0_rejectVec.reduce(_ || _) 340*74050fc0SYanqin Li val (e0_mergeIdx, e0_canMerge) = PriorityEncoderWithFlag(e0_mergeVec) 341*74050fc0SYanqin Li val (e0_allocIdx, e0_canAlloc) = PriorityEncoderWithFlag(e0_invalidVec) 342*74050fc0SYanqin Li val e0_allocWaitSame = e0_allocWaitSameVec.reduce(_ || _) 343*74050fc0SYanqin Li val e0_sid = Mux(e0_canMerge, e0_mergeIdx, e0_allocIdx) 344*74050fc0SYanqin Li 345*74050fc0SYanqin Li // e0_fire is used to guarantee that it will not be rejected 346*74050fc0SYanqin Li when(e0_canMerge && e0_fire){ 347*74050fc0SYanqin Li entries(e0_mergeIdx).update(e0_req) 348*74050fc0SYanqin Li }.elsewhen(e0_canAlloc && e0_fire){ 349e04c5f64SYanqin Li entries(e0_allocIdx).set(e0_req) 350e04c5f64SYanqin Li states(e0_allocIdx).setValid(true.B) 351*74050fc0SYanqin Li when(e0_allocWaitSame){ 352e04c5f64SYanqin Li states(e0_allocIdx).setWaitSame(true.B) 353cfdd605fSYanqin Li } 354cfdd605fSYanqin Li } 355cfdd605fSYanqin Li 356*74050fc0SYanqin Li req_ready := !e0_reject 357*74050fc0SYanqin Li 358*74050fc0SYanqin Li /* e1: return accept */ 359*74050fc0SYanqin Li io.lsq.idResp.valid := RegNext(e0_fire) 360*74050fc0SYanqin Li io.lsq.idResp.bits.mid := RegEnable(e0_req.id, e0_fire) 361*74050fc0SYanqin Li io.lsq.idResp.bits.sid := RegEnable(e0_sid, e0_fire) 362*74050fc0SYanqin Li io.lsq.idResp.bits.is2lq := RegEnable(!isStore(e0_req.cmd), e0_fire) 363*74050fc0SYanqin Li io.lsq.idResp.bits.nc := RegEnable(e0_req.nc, e0_fire) 364cfdd605fSYanqin Li 365cfdd605fSYanqin Li /****************************************************************** 366cfdd605fSYanqin Li * Uncache Req 367cfdd605fSYanqin Li * Version 0 (better timing) 368cfdd605fSYanqin Li * q0: choose which one is sent 369cfdd605fSYanqin Li * q0: sent 370cfdd605fSYanqin Li * 371cfdd605fSYanqin Li * Version 1 (better performance) 372cfdd605fSYanqin Li * solved in one cycle for achieving the original performance. 373cfdd605fSYanqin Li * NOTE: "Enter Buffer" & "Uncache Req" not a continuous pipeline, 374cfdd605fSYanqin Li * because there is no guarantee that mem_aquire will be always ready. 375cfdd605fSYanqin Li ******************************************************************/ 376cfdd605fSYanqin Li 377cfdd605fSYanqin Li val q0_canSentVec = sizeMap(i => 378*74050fc0SYanqin Li (io.enableOutstanding || uState === s_idle) && 379*74050fc0SYanqin Li states(i).can2Bus() 380cfdd605fSYanqin Li ) 381cfdd605fSYanqin Li val q0_res = PriorityEncoderWithFlag(q0_canSentVec) 382cfdd605fSYanqin Li q0_canSentIdx := q0_res._1 383cfdd605fSYanqin Li q0_canSent := q0_res._2 384cfdd605fSYanqin Li q0_entry := entries(q0_canSentIdx) 385cfdd605fSYanqin Li 386cfdd605fSYanqin Li val size = PopCount(q0_entry.mask) 387cfdd605fSYanqin Li val (lgSize, legal) = PriorityMuxWithFlag(Seq( 388cfdd605fSYanqin Li 1.U -> 0.U, 389cfdd605fSYanqin Li 2.U -> 1.U, 390cfdd605fSYanqin Li 4.U -> 2.U, 391cfdd605fSYanqin Li 8.U -> 3.U 392cfdd605fSYanqin Li ).map(m => (size===m._1) -> m._2)) 393cfdd605fSYanqin Li assert(!(q0_canSent && !legal)) 394cfdd605fSYanqin Li 395cfdd605fSYanqin Li val q0_load = edge.Get( 396cfdd605fSYanqin Li fromSource = q0_canSentIdx, 397cfdd605fSYanqin Li toAddress = q0_entry.addr, 398cfdd605fSYanqin Li lgSize = lgSize 399cfdd605fSYanqin Li )._2 400cfdd605fSYanqin Li 401cfdd605fSYanqin Li val q0_store = edge.Put( 402cfdd605fSYanqin Li fromSource = q0_canSentIdx, 403cfdd605fSYanqin Li toAddress = q0_entry.addr, 404cfdd605fSYanqin Li lgSize = lgSize, 405cfdd605fSYanqin Li data = q0_entry.data, 406cfdd605fSYanqin Li mask = q0_entry.mask 407cfdd605fSYanqin Li )._2 408cfdd605fSYanqin Li 409cfdd605fSYanqin Li val q0_isStore = q0_entry.cmd === MemoryOpConstants.M_XWR 410cfdd605fSYanqin Li 411cfdd605fSYanqin Li mem_acquire.valid := q0_canSent 412cfdd605fSYanqin Li mem_acquire.bits := Mux(q0_isStore, q0_store, q0_load) 413519244c7SYanqin Li mem_acquire.bits.user.lift(MemBackTypeMM).foreach(_ := q0_entry.memBackTypeMM) 414519244c7SYanqin Li mem_acquire.bits.user.lift(MemPageTypeNC).foreach(_ := q0_entry.nc) 415cfdd605fSYanqin Li when(mem_acquire.fire){ 416cfdd605fSYanqin Li states(q0_canSentIdx).setInflight(true.B) 417cfdd605fSYanqin Li 418cfdd605fSYanqin Li // q0 should judge whether wait same block 419cfdd605fSYanqin Li (0 until UncacheBufferSize).map(j => 420e10e20c6SYanqin Li when(states(j).isValid() && !states(j).isWaitReturn() && addrMatch(q0_entry, entries(j))){ 421cfdd605fSYanqin Li states(j).setWaitSame(true.B) 422cfdd605fSYanqin Li } 423cfdd605fSYanqin Li ) 424cfdd605fSYanqin Li } 425cfdd605fSYanqin Li 426cfdd605fSYanqin Li 427cfdd605fSYanqin Li /****************************************************************** 428cfdd605fSYanqin Li * Uncache Resp 429cfdd605fSYanqin Li ******************************************************************/ 430cfdd605fSYanqin Li 431cfdd605fSYanqin Li val (_, _, refill_done, _) = edge.addr_inc(mem_grant) 432cfdd605fSYanqin Li 433cfdd605fSYanqin Li mem_grant.ready := true.B 434cfdd605fSYanqin Li when (mem_grant.fire) { 435cfdd605fSYanqin Li val id = mem_grant.bits.source 436cfdd605fSYanqin Li entries(id).update(mem_grant.bits) 437cfdd605fSYanqin Li states(id).updateUncacheResp() 438cfdd605fSYanqin Li assert(refill_done, "Uncache response should be one beat only!") 439cfdd605fSYanqin Li 440cfdd605fSYanqin Li // remove state of wait same block 441cfdd605fSYanqin Li (0 until UncacheBufferSize).map(j => 442e10e20c6SYanqin Li when(states(j).isValid() && states(j).isWaitSame() && addrMatch(entries(id), entries(j))){ 443cfdd605fSYanqin Li states(j).setWaitSame(false.B) 444cfdd605fSYanqin Li } 445cfdd605fSYanqin Li ) 446cfdd605fSYanqin Li } 447cfdd605fSYanqin Li 448cfdd605fSYanqin Li 449cfdd605fSYanqin Li /****************************************************************** 450cfdd605fSYanqin Li * Return to LSQ 451cfdd605fSYanqin Li ******************************************************************/ 452cfdd605fSYanqin Li 453cfdd605fSYanqin Li val r0_canSentVec = sizeMap(i => states(i).can2Lsq()) 454cfdd605fSYanqin Li val (r0_canSentIdx, r0_canSent) = PriorityEncoderWithFlag(r0_canSentVec) 455cfdd605fSYanqin Li resp.valid := r0_canSent 456*74050fc0SYanqin Li resp.bits := entries(r0_canSentIdx).toUncacheWordResp(r0_canSentIdx) 457cfdd605fSYanqin Li when(resp.fire){ 458cfdd605fSYanqin Li states(r0_canSentIdx).updateReturn() 459cfdd605fSYanqin Li } 460cfdd605fSYanqin Li 461cfdd605fSYanqin Li 462cfdd605fSYanqin Li /****************************************************************** 463cfdd605fSYanqin Li * Buffer Flush 46446236761SYanqin Li * 1. when io.flush.valid is true: drain store queue and ubuffer 46546236761SYanqin Li * 2. when io.lsq.req.bits.atomic is true: not support temporarily 466cfdd605fSYanqin Li ******************************************************************/ 467e04c5f64SYanqin Li empty := !VecInit(states.map(_.isValid())).asUInt.orR 468e04c5f64SYanqin Li io.flush.empty := empty 469cfdd605fSYanqin Li 470e04c5f64SYanqin Li 471e04c5f64SYanqin Li /****************************************************************** 472*74050fc0SYanqin Li * Load Data Forward to loadunit 473*74050fc0SYanqin Li * f0: vaddr match, fast resp 474*74050fc0SYanqin Li * f1: mask & data select, merge; paddr match; resp 475*74050fc0SYanqin Li * NOTE: forward.paddr from dtlb, which is far from uncache f0 476e04c5f64SYanqin Li ******************************************************************/ 477e04c5f64SYanqin Li 478e04c5f64SYanqin Li val f0_validMask = sizeMap(i => isStore(entries(i)) && states(i).isValid()) 479e04c5f64SYanqin Li val f0_fwdMaskCandidates = VecInit(entries.map(e => e.mask)) 480e04c5f64SYanqin Li val f0_fwdDataCandidates = VecInit(entries.map(e => e.data)) 481*74050fc0SYanqin Li val f1_fwdMaskCandidates = sizeMap(i => RegEnable(entries(i).mask, f0_validMask(i))) 482*74050fc0SYanqin Li val f1_fwdDataCandidates = sizeMap(i => RegEnable(entries(i).data, f0_validMask(i))) 483043d3da4SYanqin Li val f1_tagMismatchVec = Wire(Vec(LoadPipelineWidth, Bool())) 484043d3da4SYanqin Li f1_needDrain := f1_tagMismatchVec.asUInt.orR && !empty 485043d3da4SYanqin Li 486043d3da4SYanqin Li for ((forward, i) <- io.forward.zipWithIndex) { 487043d3da4SYanqin Li val f0_fwdValid = forward.valid 488043d3da4SYanqin Li val f1_fwdValid = RegNext(f0_fwdValid) 489043d3da4SYanqin Li 490*74050fc0SYanqin Li /* f0 */ 491*74050fc0SYanqin Li // vaddr match 492e10e20c6SYanqin Li val f0_vtagMatches = sizeMap(w => addrMatch(entries(w).vaddr, forward.vaddr)) 493*74050fc0SYanqin Li val f0_flyTagMatches = sizeMap(w => f0_vtagMatches(w) && f0_validMask(w) && f0_fwdValid && states(i).inflight) 494*74050fc0SYanqin Li val f0_idleTagMatches = sizeMap(w => f0_vtagMatches(w) && f0_validMask(w) && f0_fwdValid && !states(i).inflight) 495*74050fc0SYanqin Li // ONLY for fast use to get better timing 496*74050fc0SYanqin Li val f0_flyMaskFast = shiftMaskToHigh( 497043d3da4SYanqin Li forward.vaddr, 498*74050fc0SYanqin Li Mux1H(f0_flyTagMatches, f0_fwdMaskCandidates) 499e04c5f64SYanqin Li ).asTypeOf(Vec(VDataBytes, Bool())) 500*74050fc0SYanqin Li val f0_idleMaskFast = shiftMaskToHigh( 501043d3da4SYanqin Li forward.vaddr, 502*74050fc0SYanqin Li Mux1H(f0_idleTagMatches, f0_fwdMaskCandidates) 503*74050fc0SYanqin Li ).asTypeOf(Vec(VDataBytes, Bool())) 504e04c5f64SYanqin Li 505*74050fc0SYanqin Li /* f1 */ 506*74050fc0SYanqin Li val f1_flyTagMatches = RegEnable(f0_flyTagMatches, f0_fwdValid) 507*74050fc0SYanqin Li val f1_idleTagMatches = RegEnable(f0_idleTagMatches, f0_fwdValid) 508*74050fc0SYanqin Li val f1_fwdPAddr = RegEnable(forward.paddr, f0_fwdValid) 509*74050fc0SYanqin Li // select 510*74050fc0SYanqin Li val f1_flyMask = Mux1H(f1_flyTagMatches, f1_fwdMaskCandidates) 511*74050fc0SYanqin Li val f1_flyData = Mux1H(f1_flyTagMatches, f1_fwdDataCandidates) 512*74050fc0SYanqin Li val f1_idleMask = Mux1H(f1_idleTagMatches, f1_fwdMaskCandidates) 513*74050fc0SYanqin Li val f1_idleData = Mux1H(f1_idleTagMatches, f1_fwdDataCandidates) 514*74050fc0SYanqin Li // merge old(inflight) and new(idle) 515*74050fc0SYanqin Li val (f1_fwdDataTmp, f1_fwdMaskTmp) = doMerge(f1_flyData, f1_flyMask, f1_idleData, f1_idleMask) 516*74050fc0SYanqin Li val f1_fwdMask = shiftMaskToHigh(f1_fwdPAddr, f1_fwdMaskTmp).asTypeOf(Vec(VDataBytes, Bool())) 517*74050fc0SYanqin Li val f1_fwdData = shiftDataToHigh(f1_fwdPAddr, f1_fwdDataTmp).asTypeOf(Vec(VDataBytes, UInt(8.W))) 518*74050fc0SYanqin Li // paddr match and mismatch judge 519*74050fc0SYanqin Li val f1_ptagMatches = sizeMap(w => addrMatch(RegEnable(entries(w).addr, f0_fwdValid), f1_fwdPAddr)) 520e10e20c6SYanqin Li f1_tagMismatchVec(i) := sizeMap(w => 521043d3da4SYanqin Li RegEnable(f0_vtagMatches(w), f0_fwdValid) =/= f1_ptagMatches(w) && RegEnable(f0_validMask(w), f0_fwdValid) && f1_fwdValid 522043d3da4SYanqin Li ).asUInt.orR 523043d3da4SYanqin Li when(f1_tagMismatchVec(i)) { 524043d3da4SYanqin Li XSDebug("forward tag mismatch: pmatch %x vmatch %x vaddr %x paddr %x\n", 525043d3da4SYanqin Li f1_ptagMatches.asUInt, 526043d3da4SYanqin Li RegEnable(f0_vtagMatches.asUInt, f0_fwdValid), 527043d3da4SYanqin Li RegEnable(forward.vaddr, f0_fwdValid), 528043d3da4SYanqin Li RegEnable(forward.paddr, f0_fwdValid) 529043d3da4SYanqin Li ) 530043d3da4SYanqin Li } 531*74050fc0SYanqin Li // response 532e04c5f64SYanqin Li forward.addrInvalid := false.B // addr in ubuffer is always ready 533e04c5f64SYanqin Li forward.dataInvalid := false.B // data in ubuffer is always ready 534043d3da4SYanqin Li forward.matchInvalid := f1_tagMismatchVec(i) // paddr / vaddr cam result does not match 535e04c5f64SYanqin Li for (j <- 0 until VDataBytes) { 536*74050fc0SYanqin Li forward.forwardMaskFast(j) := f0_flyMaskFast(j) || f0_idleMaskFast(j) 537e04c5f64SYanqin Li 538e10e20c6SYanqin Li forward.forwardData(j) := f1_fwdData(j) 539e04c5f64SYanqin Li forward.forwardMask(j) := false.B 540e04c5f64SYanqin Li when(f1_fwdMask(j) && f1_fwdValid) { 541e04c5f64SYanqin Li forward.forwardMask(j) := true.B 542e04c5f64SYanqin Li } 543e04c5f64SYanqin Li } 544e04c5f64SYanqin Li 545e04c5f64SYanqin Li } 5461f0e2dc7SJiawei Lin 5471f0e2dc7SJiawei Lin 548cfdd605fSYanqin Li /****************************************************************** 549cfdd605fSYanqin Li * Debug / Performance 550cfdd605fSYanqin Li ******************************************************************/ 551cfdd605fSYanqin Li 552cfdd605fSYanqin Li /* Debug Counters */ 5531f0e2dc7SJiawei Lin // print all input/output requests for debug purpose 5541f0e2dc7SJiawei Lin // print req/resp 555935edac4STang Haojin XSDebug(req.fire, "req cmd: %x addr: %x data: %x mask: %x\n", 5561f0e2dc7SJiawei Lin req.bits.cmd, req.bits.addr, req.bits.data, req.bits.mask) 557935edac4STang Haojin XSDebug(resp.fire, "data: %x\n", req.bits.data) 5581f0e2dc7SJiawei Lin // print tilelink messages 5598b33cd30Sklin02 XSDebug(mem_acquire.valid, "mem_acquire valid, ready=%d ", mem_acquire.ready) 5608b33cd30Sklin02 mem_acquire.bits.dump(mem_acquire.valid) 5618b33cd30Sklin02 5628b33cd30Sklin02 XSDebug(mem_grant.fire, "mem_grant fire ") 5638b33cd30Sklin02 mem_grant.bits.dump(mem_grant.fire) 56437225120Ssfencevma 565cfdd605fSYanqin Li /* Performance Counters */ 566*74050fc0SYanqin Li XSPerfAccumulate("e0_reject", e0_reject && e0_req_valid) 567*74050fc0SYanqin Li XSPerfAccumulate("e0_total_enter", e0_fire) 568*74050fc0SYanqin Li XSPerfAccumulate("e0_merge", e0_fire && e0_canMerge) 569*74050fc0SYanqin Li XSPerfAccumulate("e0_alloc_simple", e0_fire && e0_canAlloc && !e0_allocWaitSame) 570*74050fc0SYanqin Li XSPerfAccumulate("e0_alloc_wait_same", e0_fire && e0_canAlloc && e0_allocWaitSame) 571*74050fc0SYanqin Li XSPerfAccumulate("q0_acquire", q0_canSent) 572*74050fc0SYanqin Li XSPerfAccumulate("q0_acquire_store", q0_canSent && q0_isStore) 573*74050fc0SYanqin Li XSPerfAccumulate("q0_acquire_load", q0_canSent && !q0_isStore) 574519244c7SYanqin Li XSPerfAccumulate("uncache_memBackTypeMM", io.lsq.req.fire && io.lsq.req.bits.memBackTypeMM) 575e04c5f64SYanqin Li XSPerfAccumulate("uncache_mmio_store", io.lsq.req.fire && isStore(io.lsq.req.bits.cmd) && !io.lsq.req.bits.nc) 576e04c5f64SYanqin Li XSPerfAccumulate("uncache_mmio_load", io.lsq.req.fire && !isStore(io.lsq.req.bits.cmd) && !io.lsq.req.bits.nc) 577e04c5f64SYanqin Li XSPerfAccumulate("uncache_nc_store", io.lsq.req.fire && isStore(io.lsq.req.bits.cmd) && io.lsq.req.bits.nc) 578e04c5f64SYanqin Li XSPerfAccumulate("uncache_nc_load", io.lsq.req.fire && !isStore(io.lsq.req.bits.cmd) && io.lsq.req.bits.nc) 579*74050fc0SYanqin Li XSPerfAccumulate("uncache_outstanding", uState =/= s_idle && mem_acquire.fire) 58046236761SYanqin Li XSPerfAccumulate("forward_count", PopCount(io.forward.map(_.forwardMask.asUInt.orR))) 581043d3da4SYanqin Li XSPerfAccumulate("forward_vaddr_match_failed", PopCount(f1_tagMismatchVec)) 582cfdd605fSYanqin Li 58337225120Ssfencevma val perfEvents = Seq( 584e04c5f64SYanqin Li ("uncache_mmio_store", io.lsq.req.fire && isStore(io.lsq.req.bits.cmd) && !io.lsq.req.bits.nc), 585e04c5f64SYanqin Li ("uncache_mmio_load", io.lsq.req.fire && !isStore(io.lsq.req.bits.cmd) && !io.lsq.req.bits.nc), 586e04c5f64SYanqin Li ("uncache_nc_store", io.lsq.req.fire && isStore(io.lsq.req.bits.cmd) && io.lsq.req.bits.nc), 587e04c5f64SYanqin Li ("uncache_nc_load", io.lsq.req.fire && !isStore(io.lsq.req.bits.cmd) && io.lsq.req.bits.nc), 588*74050fc0SYanqin Li ("uncache_outstanding", uState =/= s_idle && mem_acquire.fire), 58946236761SYanqin Li ("forward_count", PopCount(io.forward.map(_.forwardMask.asUInt.orR))), 590043d3da4SYanqin Li ("forward_vaddr_match_failed", PopCount(f1_tagMismatchVec)) 59137225120Ssfencevma ) 59237225120Ssfencevma 59337225120Ssfencevma generatePerfEvent() 59437225120Ssfencevma // End 5951f0e2dc7SJiawei Lin} 596