1/*************************************************************************************** 2* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 3* Copyright (c) 2020-2021 Peng Cheng Laboratory 4* 5* XiangShan is licensed under Mulan PSL v2. 6* You can use this software according to the terms and conditions of the Mulan PSL v2. 7* You may obtain a copy of Mulan PSL v2 at: 8* http://license.coscl.org.cn/MulanPSL2 9* 10* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 11* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 12* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 13* 14* See the Mulan PSL v2 for more details. 15***************************************************************************************/ 16 17package xiangshan.mem 18 19import org.chipsalliance.cde.config.Parameters 20import chisel3._ 21import chisel3.util._ 22import utils._ 23import utility._ 24import xiangshan._ 25import xiangshan.backend.Bundles.{DynInst, MemExuOutput} 26import xiangshan.cache._ 27import xiangshan.cache.{DCacheWordIO, DCacheLineIO, MemoryOpConstants} 28import xiangshan.cache.{CMOReq, CMOResp} 29import xiangshan.cache.mmu.{TlbRequestIO, TlbHintIO} 30import xiangshan.mem._ 31import xiangshan.backend._ 32import xiangshan.backend.rob.RobLsqIO 33import xiangshan.backend.fu.FuType 34 35class ExceptionAddrIO(implicit p: Parameters) extends XSBundle { 36 val isStore = Input(Bool()) 37 val vaddr = Output(UInt(XLEN.W)) 38 val vaNeedExt = Output(Bool()) 39 val isHyper = Output(Bool()) 40 val vstart = Output(UInt((log2Up(VLEN) + 1).W)) 41 val vl = Output(UInt((log2Up(VLEN) + 1).W)) 42 val gpaddr = Output(UInt(XLEN.W)) 43 val isForVSnonLeafPTE = Output(Bool()) 44} 45 46class FwdEntry extends Bundle { 47 val validFast = Bool() // validFast is generated the same cycle with query 48 val valid = Bool() // valid is generated 1 cycle after query request 49 val data = UInt(8.W) // data is generated 1 cycle after query request 50} 51 52// inflight miss block reqs 53class InflightBlockInfo(implicit p: Parameters) extends XSBundle { 54 val block_addr = UInt(PAddrBits.W) 55 val valid = Bool() 56} 57 58class LsqEnqIO(implicit p: Parameters) extends MemBlockBundle { 59 val canAccept = Output(Bool()) 60 val needAlloc = Vec(LSQEnqWidth, Input(UInt(2.W))) 61 val req = Vec(LSQEnqWidth, Flipped(ValidIO(new DynInst))) 62 val iqAccept = Input(Vec(LSQEnqWidth, Bool())) 63 val resp = Vec(LSQEnqWidth, Output(new LSIdx)) 64} 65 66// Load / Store Queue Wrapper for XiangShan Out of Order LSU 67class LsqWrapper(implicit p: Parameters) extends XSModule with HasDCacheParameters with HasPerfEvents { 68 val io = IO(new Bundle() { 69 val hartId = Input(UInt(hartIdLen.W)) 70 val brqRedirect = Flipped(ValidIO(new Redirect)) 71 val stvecFeedback = Vec(VecStorePipelineWidth, Flipped(ValidIO(new FeedbackToLsqIO))) 72 val ldvecFeedback = Vec(VecLoadPipelineWidth, Flipped(ValidIO(new FeedbackToLsqIO))) 73 val enq = new LsqEnqIO 74 val ldu = new Bundle() { 75 val stld_nuke_query = Vec(LoadPipelineWidth, Flipped(new LoadNukeQueryIO)) // from load_s2 76 val ldld_nuke_query = Vec(LoadPipelineWidth, Flipped(new LoadNukeQueryIO)) // from load_s2 77 val ldin = Vec(LoadPipelineWidth, Flipped(Decoupled(new LqWriteBundle))) // from load_s3 78 } 79 val sta = new Bundle() { 80 val storeMaskIn = Vec(StorePipelineWidth, Flipped(Valid(new StoreMaskBundle))) // from store_s0, store mask, send to sq from rs 81 val storeAddrIn = Vec(StorePipelineWidth, Flipped(Valid(new LsPipelineBundle))) // from store_s1 82 val storeAddrInRe = Vec(StorePipelineWidth, Input(new LsPipelineBundle())) // from store_s2 83 } 84 val std = new Bundle() { 85 val storeDataIn = Vec(StorePipelineWidth, Flipped(Valid(new MemExuOutput(isVector = true)))) // from store_s0, store data, send to sq from rs 86 } 87 val ldout = Vec(LoadPipelineWidth, DecoupledIO(new MemExuOutput)) 88 val ld_raw_data = Vec(LoadPipelineWidth, Output(new LoadDataFromLQBundle)) 89 val ncOut = Vec(LoadPipelineWidth, DecoupledIO(new LsPipelineBundle)) 90 val replay = Vec(LoadPipelineWidth, Decoupled(new LsPipelineBundle)) 91 val sbuffer = Vec(EnsbufferWidth, Decoupled(new DCacheWordReqWithVaddrAndPfFlag)) 92 val sbufferVecDifftestInfo = Vec(EnsbufferWidth, Decoupled(new DynInst)) // The vector store difftest needs is 93 val forward = Vec(LoadPipelineWidth, Flipped(new PipeLoadForwardQueryIO)) 94 val rob = Flipped(new RobLsqIO) 95 val nuke_rollback = Vec(StorePipelineWidth, Output(Valid(new Redirect))) 96 val nack_rollback = Vec(1, Output(Valid(new Redirect))) // uncahce 97 val release = Flipped(Valid(new Release)) 98 // val refill = Flipped(Valid(new Refill)) 99 val tl_d_channel = Input(new DcacheToLduForwardIO) 100 val maControl = Flipped(new StoreMaBufToSqControlIO) 101 val uncacheOutstanding = Input(Bool()) 102 val uncache = new UncacheWordIO 103 val mmioStout = DecoupledIO(new MemExuOutput) // writeback uncached store 104 // TODO: implement vector store 105 val vecmmioStout = DecoupledIO(new MemExuOutput(isVector = true)) // vec writeback uncached store 106 val sqEmpty = Output(Bool()) 107 val lq_rep_full = Output(Bool()) 108 val sqFull = Output(Bool()) 109 val lqFull = Output(Bool()) 110 val sqCancelCnt = Output(UInt(log2Up(StoreQueueSize+1).W)) 111 val lqCancelCnt = Output(UInt(log2Up(VirtualLoadQueueSize+1).W)) 112 val lqDeq = Output(UInt(log2Up(CommitWidth + 1).W)) 113 val sqDeq = Output(UInt(log2Ceil(EnsbufferWidth + 1).W)) 114 val lqCanAccept = Output(Bool()) 115 val sqCanAccept = Output(Bool()) 116 val lqDeqPtr = Output(new LqPtr) 117 val sqDeqPtr = Output(new SqPtr) 118 val exceptionAddr = new ExceptionAddrIO 119 val loadMisalignFull = Input(Bool()) 120 val issuePtrExt = Output(new SqPtr) 121 val l2_hint = Input(Valid(new L2ToL1Hint())) 122 val tlb_hint = Flipped(new TlbHintIO) 123 val cmoOpReq = DecoupledIO(new CMOReq) 124 val cmoOpResp = Flipped(DecoupledIO(new CMOResp)) 125 val flushSbuffer = new SbufferFlushBundle 126 val force_write = Output(Bool()) 127 val lqEmpty = Output(Bool()) 128 129 // top-down 130 val debugTopDown = new LoadQueueTopDownIO 131 }) 132 133 val loadQueue = Module(new LoadQueue) 134 val storeQueue = Module(new StoreQueue) 135 136 storeQueue.io.hartId := io.hartId 137 storeQueue.io.uncacheOutstanding := io.uncacheOutstanding 138 139 if (backendParams.debugEn){ dontTouch(loadQueue.io.tlbReplayDelayCycleCtrl) } 140 141 // Todo: imm 142 val tlbReplayDelayCycleCtrl = WireInit(VecInit(Seq(14.U(ReSelectLen.W), 0.U(ReSelectLen.W), 125.U(ReSelectLen.W), 0.U(ReSelectLen.W)))) 143 loadQueue.io.tlbReplayDelayCycleCtrl := tlbReplayDelayCycleCtrl 144 145 // io.enq logic 146 // LSQ: send out canAccept when both load queue and store queue are ready 147 // Dispatch: send instructions to LSQ only when they are ready 148 io.enq.canAccept := loadQueue.io.enq.canAccept && storeQueue.io.enq.canAccept 149 io.lqCanAccept := loadQueue.io.enq.canAccept 150 io.sqCanAccept := storeQueue.io.enq.canAccept 151 loadQueue.io.enq.sqCanAccept := storeQueue.io.enq.canAccept 152 storeQueue.io.enq.lqCanAccept := loadQueue.io.enq.canAccept 153 io.lqDeqPtr := loadQueue.io.lqDeqPtr 154 io.sqDeqPtr := storeQueue.io.sqDeqPtr 155 for (i <- io.enq.req.indices) { 156 loadQueue.io.enq.needAlloc(i) := io.enq.needAlloc(i)(0) 157 loadQueue.io.enq.req(i).valid := io.enq.needAlloc(i)(0) && io.enq.req(i).valid 158 loadQueue.io.enq.req(i).bits := io.enq.req(i).bits 159 loadQueue.io.enq.req(i).bits.sqIdx := storeQueue.io.enq.resp(i) 160 161 storeQueue.io.enq.needAlloc(i) := io.enq.needAlloc(i)(1) 162 storeQueue.io.enq.req(i).valid := io.enq.needAlloc(i)(1) && io.enq.req(i).valid 163 storeQueue.io.enq.req(i).bits := io.enq.req(i).bits 164 storeQueue.io.enq.req(i).bits.lqIdx := loadQueue.io.enq.resp(i) 165 166 io.enq.resp(i).lqIdx := loadQueue.io.enq.resp(i) 167 io.enq.resp(i).sqIdx := storeQueue.io.enq.resp(i) 168 } 169 170 // store queue wiring 171 storeQueue.io.brqRedirect <> io.brqRedirect 172 storeQueue.io.vecFeedback <> io.stvecFeedback 173 storeQueue.io.storeAddrIn <> io.sta.storeAddrIn // from store_s1 174 storeQueue.io.storeAddrInRe <> io.sta.storeAddrInRe // from store_s2 175 storeQueue.io.storeDataIn <> io.std.storeDataIn // from store_s0 176 storeQueue.io.storeMaskIn <> io.sta.storeMaskIn // from store_s0 177 storeQueue.io.sbuffer <> io.sbuffer 178 storeQueue.io.sbufferVecDifftestInfo <> io.sbufferVecDifftestInfo 179 storeQueue.io.mmioStout <> io.mmioStout 180 storeQueue.io.vecmmioStout <> io.vecmmioStout 181 storeQueue.io.rob <> io.rob 182 storeQueue.io.exceptionAddr.isStore := DontCare 183 storeQueue.io.sqCancelCnt <> io.sqCancelCnt 184 storeQueue.io.sqDeq <> io.sqDeq 185 storeQueue.io.sqEmpty <> io.sqEmpty 186 storeQueue.io.sqFull <> io.sqFull 187 storeQueue.io.forward <> io.forward // overlap forwardMask & forwardData, DO NOT CHANGE SEQUENCE 188 storeQueue.io.force_write <> io.force_write 189 storeQueue.io.cmoOpReq <> io.cmoOpReq 190 storeQueue.io.cmoOpResp <> io.cmoOpResp 191 storeQueue.io.flushSbuffer <> io.flushSbuffer 192 storeQueue.io.maControl <> io.maControl 193 194 /* <------- DANGEROUS: Don't change sequence here ! -------> */ 195 196 // load queue wiring 197 loadQueue.io.redirect <> io.brqRedirect 198 loadQueue.io.vecFeedback <> io.ldvecFeedback 199 loadQueue.io.ldu <> io.ldu 200 loadQueue.io.ldout <> io.ldout 201 loadQueue.io.ld_raw_data <> io.ld_raw_data 202 loadQueue.io.ncOut <> io.ncOut 203 loadQueue.io.rob <> io.rob 204 loadQueue.io.nuke_rollback <> io.nuke_rollback 205 loadQueue.io.nack_rollback <> io.nack_rollback 206 loadQueue.io.replay <> io.replay 207 // loadQueue.io.refill <> io.refill 208 loadQueue.io.tl_d_channel <> io.tl_d_channel 209 loadQueue.io.release <> io.release 210 loadQueue.io.exceptionAddr.isStore := DontCare 211 loadQueue.io.loadMisalignFull := io.loadMisalignFull 212 loadQueue.io.lqCancelCnt <> io.lqCancelCnt 213 loadQueue.io.sq.stAddrReadySqPtr <> storeQueue.io.stAddrReadySqPtr 214 loadQueue.io.sq.stAddrReadyVec <> storeQueue.io.stAddrReadyVec 215 loadQueue.io.sq.stDataReadySqPtr <> storeQueue.io.stDataReadySqPtr 216 loadQueue.io.sq.stDataReadyVec <> storeQueue.io.stDataReadyVec 217 loadQueue.io.sq.stIssuePtr <> storeQueue.io.stIssuePtr 218 loadQueue.io.sq.sqEmpty <> storeQueue.io.sqEmpty 219 loadQueue.io.sta.storeAddrIn <> io.sta.storeAddrIn // store_s1 220 loadQueue.io.std.storeDataIn <> io.std.storeDataIn // store_s0 221 loadQueue.io.lqFull <> io.lqFull 222 loadQueue.io.lq_rep_full <> io.lq_rep_full 223 loadQueue.io.lqDeq <> io.lqDeq 224 loadQueue.io.l2_hint <> io.l2_hint 225 loadQueue.io.tlb_hint <> io.tlb_hint 226 loadQueue.io.lqEmpty <> io.lqEmpty 227 228 // rob commits for lsq is delayed for two cycles, which causes the delayed update for deqPtr in lq/sq 229 // s0: commit 230 // s1: exception find 231 // s2: exception triggered 232 // s3: ptr updated & new address 233 // address will be used at the next cycle after exception is triggered 234 io.exceptionAddr.vaddr := Mux(RegNext(io.exceptionAddr.isStore), storeQueue.io.exceptionAddr.vaddr, loadQueue.io.exceptionAddr.vaddr) 235 io.exceptionAddr.vaNeedExt := Mux(RegNext(io.exceptionAddr.isStore), storeQueue.io.exceptionAddr.vaNeedExt, loadQueue.io.exceptionAddr.vaNeedExt) 236 io.exceptionAddr.isHyper := Mux(RegNext(io.exceptionAddr.isStore), storeQueue.io.exceptionAddr.isHyper, loadQueue.io.exceptionAddr.isHyper) 237 io.exceptionAddr.vstart := Mux(RegNext(io.exceptionAddr.isStore), storeQueue.io.exceptionAddr.vstart, loadQueue.io.exceptionAddr.vstart) 238 io.exceptionAddr.vl := Mux(RegNext(io.exceptionAddr.isStore), storeQueue.io.exceptionAddr.vl, loadQueue.io.exceptionAddr.vl) 239 io.exceptionAddr.gpaddr := Mux(RegNext(io.exceptionAddr.isStore), storeQueue.io.exceptionAddr.gpaddr, loadQueue.io.exceptionAddr.gpaddr) 240 io.exceptionAddr.isForVSnonLeafPTE:= Mux(RegNext(io.exceptionAddr.isStore), storeQueue.io.exceptionAddr.isForVSnonLeafPTE, loadQueue.io.exceptionAddr.isForVSnonLeafPTE) 241 io.issuePtrExt := storeQueue.io.stAddrReadySqPtr 242 243 // naive uncache arbiter 244 val s_idle :: s_load :: s_store :: Nil = Enum(3) 245 val pendingstate = RegInit(s_idle) 246 247 switch(pendingstate){ 248 is(s_idle){ 249 when(io.uncache.req.fire){ 250 pendingstate := 251 Mux(io.uncacheOutstanding && io.uncache.req.bits.nc, s_idle, 252 Mux(loadQueue.io.uncache.req.valid, s_load, 253 s_store)) 254 } 255 } 256 is(s_load){ 257 when(io.uncache.resp.fire){ 258 pendingstate := s_idle 259 } 260 } 261 is(s_store){ 262 when(io.uncache.resp.fire){ 263 pendingstate := s_idle 264 } 265 } 266 } 267 268 loadQueue.io.uncache := DontCare 269 storeQueue.io.uncache := DontCare 270 loadQueue.io.uncache.req.ready := false.B 271 storeQueue.io.uncache.req.ready := false.B 272 loadQueue.io.uncache.resp.valid := false.B 273 storeQueue.io.uncache.resp.valid := false.B 274 when(pendingstate === s_idle){ 275 when(loadQueue.io.uncache.req.valid){ 276 io.uncache.req <> loadQueue.io.uncache.req 277 }.otherwise{ 278 io.uncache.req <> storeQueue.io.uncache.req 279 } 280 }.otherwise{ 281 io.uncache.req.valid := false.B 282 io.uncache.req.bits := DontCare 283 } 284 when (io.uncache.resp.bits.is2lq) { 285 io.uncache.resp <> loadQueue.io.uncache.resp 286 } .otherwise { 287 io.uncache.resp <> storeQueue.io.uncache.resp 288 } 289 290 loadQueue.io.debugTopDown <> io.debugTopDown 291 292 assert(!(loadQueue.io.uncache.resp.valid && storeQueue.io.uncache.resp.valid)) 293 when (!io.uncacheOutstanding) { 294 assert(!((loadQueue.io.uncache.resp.valid || storeQueue.io.uncache.resp.valid) && pendingstate === s_idle)) 295 } 296 297 298 val perfEvents = Seq(loadQueue, storeQueue).flatMap(_.getPerfEvents) 299 generatePerfEvent() 300} 301 302class LsqEnqCtrl(implicit p: Parameters) extends XSModule 303 with HasVLSUParameters { 304 val io = IO(new Bundle { 305 val redirect = Flipped(ValidIO(new Redirect)) 306 // to dispatch 307 val enq = new LsqEnqIO 308 // from `memBlock.io.lqDeq 309 val lcommit = Input(UInt(log2Up(CommitWidth + 1).W)) 310 // from `memBlock.io.sqDeq` 311 val scommit = Input(UInt(log2Ceil(EnsbufferWidth + 1).W)) 312 // from/tp lsq 313 val lqCancelCnt = Input(UInt(log2Up(VirtualLoadQueueSize + 1).W)) 314 val sqCancelCnt = Input(UInt(log2Up(StoreQueueSize + 1).W)) 315 val lqFreeCount = Output(UInt(log2Up(VirtualLoadQueueSize + 1).W)) 316 val sqFreeCount = Output(UInt(log2Up(StoreQueueSize + 1).W)) 317 val enqLsq = Flipped(new LsqEnqIO) 318 }) 319 320 val lqPtr = RegInit(0.U.asTypeOf(new LqPtr)) 321 val sqPtr = RegInit(0.U.asTypeOf(new SqPtr)) 322 val lqCounter = RegInit(VirtualLoadQueueSize.U(log2Up(VirtualLoadQueueSize + 1).W)) 323 val sqCounter = RegInit(StoreQueueSize.U(log2Up(StoreQueueSize + 1).W)) 324 val canAccept = RegInit(false.B) 325 326 val blockVec = io.enq.iqAccept.map(!_) :+ true.B 327 val numLsElem = io.enq.req.map(_.bits.numLsElem) 328 val needEnqLoadQueue = VecInit(io.enq.req.map(x => FuType.isLoad(x.bits.fuType) || FuType.isVNonsegLoad(x.bits.fuType))) 329 val needEnqStoreQueue = VecInit(io.enq.req.map(x => FuType.isStore(x.bits.fuType) || FuType.isVNonsegStore(x.bits.fuType))) 330 val loadQueueElem = needEnqLoadQueue.zip(numLsElem).map(x => Mux(x._1, x._2, 0.U)) 331 val storeQueueElem = needEnqStoreQueue.zip(numLsElem).map(x => Mux(x._1, x._2, 0.U)) 332 val loadFlowPopCount = 0.U +: loadQueueElem.zipWithIndex.map{ case (l, i) => 333 loadQueueElem.take(i + 1).reduce(_ + _) 334 } 335 val storeFlowPopCount = 0.U +: storeQueueElem.zipWithIndex.map { case (s, i) => 336 storeQueueElem.take(i + 1).reduce(_ + _) 337 } 338 val lqAllocNumber = PriorityMux(blockVec.zip(loadFlowPopCount)) 339 val sqAllocNumber = PriorityMux(blockVec.zip(storeFlowPopCount)) 340 341 io.lqFreeCount := lqCounter 342 io.sqFreeCount := sqCounter 343 // How to update ptr and counter: 344 // (1) by default, updated according to enq/commit 345 // (2) when redirect and dispatch queue is empty, update according to lsq 346 val t1_redirect = RegNext(io.redirect.valid) 347 val t2_redirect = RegNext(t1_redirect) 348 val t2_update = t2_redirect && !VecInit(io.enq.needAlloc.map(_.orR)).asUInt.orR 349 val t3_update = RegNext(t2_update) 350 val t3_lqCancelCnt = GatedRegNext(io.lqCancelCnt) 351 val t3_sqCancelCnt = GatedRegNext(io.sqCancelCnt) 352 when (t3_update) { 353 lqPtr := lqPtr - t3_lqCancelCnt 354 lqCounter := lqCounter + io.lcommit + t3_lqCancelCnt 355 sqPtr := sqPtr - t3_sqCancelCnt 356 sqCounter := sqCounter + io.scommit + t3_sqCancelCnt 357 }.elsewhen (!io.redirect.valid && io.enq.canAccept) { 358 lqPtr := lqPtr + lqAllocNumber 359 lqCounter := lqCounter + io.lcommit - lqAllocNumber 360 sqPtr := sqPtr + sqAllocNumber 361 sqCounter := sqCounter + io.scommit - sqAllocNumber 362 }.otherwise { 363 lqCounter := lqCounter + io.lcommit 364 sqCounter := sqCounter + io.scommit 365 } 366 367 368 //TODO MaxAllocate and width of lqOffset/sqOffset needs to be discussed 369 val lqMaxAllocate = LSQLdEnqWidth 370 val sqMaxAllocate = LSQStEnqWidth 371 val maxAllocate = lqMaxAllocate max sqMaxAllocate 372 val ldCanAccept = lqCounter >= lqAllocNumber +& lqMaxAllocate.U 373 val sqCanAccept = sqCounter >= sqAllocNumber +& sqMaxAllocate.U 374 // It is possible that t3_update and enq are true at the same clock cycle. 375 // For example, if redirect.valid lasts more than one clock cycle, 376 // after the last redirect, new instructions may enter but previously redirect has not been resolved (updated according to the cancel count from LSQ). 377 // To solve the issue easily, we block enqueue when t3_update, which is RegNext(t2_update). 378 io.enq.canAccept := RegNext(ldCanAccept && sqCanAccept && !t2_update) 379 val lqOffset = Wire(Vec(io.enq.resp.length, UInt(lqPtr.value.getWidth.W))) 380 val sqOffset = Wire(Vec(io.enq.resp.length, UInt(sqPtr.value.getWidth.W))) 381 for ((resp, i) <- io.enq.resp.zipWithIndex) { 382 lqOffset(i) := loadFlowPopCount(i) 383 resp.lqIdx := lqPtr + lqOffset(i) 384 sqOffset(i) := storeFlowPopCount(i) 385 resp.sqIdx := sqPtr + sqOffset(i) 386 } 387 388 io.enqLsq.needAlloc := RegNext(io.enq.needAlloc) 389 io.enqLsq.iqAccept := RegNext(io.enq.iqAccept) 390 io.enqLsq.req.zip(io.enq.req).zip(io.enq.resp).foreach{ case ((toLsq, enq), resp) => 391 val do_enq = enq.valid && !io.redirect.valid && io.enq.canAccept 392 toLsq.valid := RegNext(do_enq) 393 toLsq.bits := RegEnable(enq.bits, do_enq) 394 toLsq.bits.lqIdx := RegEnable(resp.lqIdx, do_enq) 395 toLsq.bits.sqIdx := RegEnable(resp.sqIdx, do_enq) 396 } 397 398}