1e4f69d78Ssfencevma/*************************************************************************************** 2e4f69d78Ssfencevma* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 3e4f69d78Ssfencevma* Copyright (c) 2020-2021 Peng Cheng Laboratory 4e4f69d78Ssfencevma* 5e4f69d78Ssfencevma* XiangShan is licensed under Mulan PSL v2. 6e4f69d78Ssfencevma* You can use this software according to the terms and conditions of the Mulan PSL v2. 7e4f69d78Ssfencevma* You may obtain a copy of Mulan PSL v2 at: 8e4f69d78Ssfencevma* http://license.coscl.org.cn/MulanPSL2 9e4f69d78Ssfencevma* 10e4f69d78Ssfencevma* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 11e4f69d78Ssfencevma* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 12e4f69d78Ssfencevma* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 13e4f69d78Ssfencevma* 14e4f69d78Ssfencevma* See the Mulan PSL v2 for more details. 15e4f69d78Ssfencevma***************************************************************************************/ 16e4f69d78Ssfencevmapackage xiangshan.mem 17e4f69d78Ssfencevma 18e4f69d78Ssfencevmaimport chisel3._ 19e4f69d78Ssfencevmaimport chisel3.util._ 20e4f69d78Ssfencevmaimport chipsalliance.rocketchip.config._ 21e4f69d78Ssfencevmaimport xiangshan._ 22e4f69d78Ssfencevmaimport xiangshan.backend.rob.{RobPtr, RobLsqIO} 23e4f69d78Ssfencevmaimport xiangshan.cache._ 24e4f69d78Ssfencevmaimport xiangshan.backend.fu.fpu.FPU 25e4f69d78Ssfencevmaimport xiangshan.cache._ 26e4f69d78Ssfencevmaimport xiangshan.frontend.FtqPtr 27e4f69d78Ssfencevmaimport xiangshan.ExceptionNO._ 28e4f69d78Ssfencevmaimport xiangshan.cache.dcache.ReplayCarry 29e4f69d78Ssfencevmaimport xiangshan.mem.mdp._ 30e4f69d78Ssfencevmaimport utils._ 31e4f69d78Ssfencevmaimport utility._ 32e4f69d78Ssfencevma 33e4f69d78Ssfencevmaobject LoadReplayCauses { 34e4f69d78Ssfencevma // these causes have priority, lower coding has higher priority. 35e4f69d78Ssfencevma // when load replay happens, load unit will select highest priority 36e4f69d78Ssfencevma // from replay causes vector 37e4f69d78Ssfencevma 38e4f69d78Ssfencevma /* 39e4f69d78Ssfencevma * Warning: 40e4f69d78Ssfencevma * ************************************************************ 41e4f69d78Ssfencevma * * Don't change the priority. If the priority is changed, * 42e4f69d78Ssfencevma * * deadlock may occur. If you really need to change or * 43e4f69d78Ssfencevma * * add priority, please ensure that no deadlock will occur. * 44e4f69d78Ssfencevma * ************************************************************ 45e4f69d78Ssfencevma * 46e4f69d78Ssfencevma */ 47e4f69d78Ssfencevma // st-ld violation 48e4f69d78Ssfencevma val waitStore = 0 49e4f69d78Ssfencevma // tlb miss check 50e4f69d78Ssfencevma val tlbMiss = 1 51e4f69d78Ssfencevma // st-ld violation re-execute check 52e4f69d78Ssfencevma val schedError = 2 53e4f69d78Ssfencevma // dcache bank conflict check 54e4f69d78Ssfencevma val bankConflict = 3 55e4f69d78Ssfencevma // store-to-load-forwarding check 56e4f69d78Ssfencevma val forwardFail = 4 57e4f69d78Ssfencevma // dcache replay check 58e4f69d78Ssfencevma val dcacheReplay = 5 59e4f69d78Ssfencevma // dcache miss check 60e4f69d78Ssfencevma val dcacheMiss = 6 61*f2e8d419Ssfencevma // RAR queue accept check 62*f2e8d419Ssfencevma val rarReject = 7 63*f2e8d419Ssfencevma // RAW queue accept check 64*f2e8d419Ssfencevma val rawReject = 8 65e4f69d78Ssfencevma // total causes 66*f2e8d419Ssfencevma val allCauses = 9 67e4f69d78Ssfencevma} 68e4f69d78Ssfencevma 69e4f69d78Ssfencevmaclass AgeDetector(numEntries: Int, numEnq: Int, regOut: Boolean = true)(implicit p: Parameters) extends XSModule { 70e4f69d78Ssfencevma val io = IO(new Bundle { 71e4f69d78Ssfencevma // NOTE: deq and enq may come at the same cycle. 72e4f69d78Ssfencevma val enq = Vec(numEnq, Input(UInt(numEntries.W))) 73e4f69d78Ssfencevma val deq = Input(UInt(numEntries.W)) 74e4f69d78Ssfencevma val ready = Input(UInt(numEntries.W)) 75e4f69d78Ssfencevma val out = Output(UInt(numEntries.W)) 76e4f69d78Ssfencevma }) 77e4f69d78Ssfencevma 78e4f69d78Ssfencevma // age(i)(j): entry i enters queue before entry j 79e4f69d78Ssfencevma val age = Seq.fill(numEntries)(Seq.fill(numEntries)(RegInit(false.B))) 80e4f69d78Ssfencevma val nextAge = Seq.fill(numEntries)(Seq.fill(numEntries)(Wire(Bool()))) 81e4f69d78Ssfencevma 82e4f69d78Ssfencevma // to reduce reg usage, only use upper matrix 83e4f69d78Ssfencevma def get_age(row: Int, col: Int): Bool = if (row <= col) age(row)(col) else !age(col)(row) 84e4f69d78Ssfencevma def get_next_age(row: Int, col: Int): Bool = if (row <= col) nextAge(row)(col) else !nextAge(col)(row) 85e4f69d78Ssfencevma def isFlushed(i: Int): Bool = io.deq(i) 86e4f69d78Ssfencevma def isEnqueued(i: Int, numPorts: Int = -1): Bool = { 87e4f69d78Ssfencevma val takePorts = if (numPorts == -1) io.enq.length else numPorts 88e4f69d78Ssfencevma takePorts match { 89e4f69d78Ssfencevma case 0 => false.B 90e4f69d78Ssfencevma case 1 => io.enq.head(i) && !isFlushed(i) 91e4f69d78Ssfencevma case n => VecInit(io.enq.take(n).map(_(i))).asUInt.orR && !isFlushed(i) 92e4f69d78Ssfencevma } 93e4f69d78Ssfencevma } 94e4f69d78Ssfencevma 95e4f69d78Ssfencevma for ((row, i) <- nextAge.zipWithIndex) { 96e4f69d78Ssfencevma val thisValid = get_age(i, i) || isEnqueued(i) 97e4f69d78Ssfencevma for ((elem, j) <- row.zipWithIndex) { 98e4f69d78Ssfencevma when (isFlushed(i)) { 99e4f69d78Ssfencevma // (1) when entry i is flushed or dequeues, set row(i) to false.B 100e4f69d78Ssfencevma elem := false.B 101e4f69d78Ssfencevma }.elsewhen (isFlushed(j)) { 102e4f69d78Ssfencevma // (2) when entry j is flushed or dequeues, set column(j) to validVec 103e4f69d78Ssfencevma elem := thisValid 104e4f69d78Ssfencevma }.elsewhen (isEnqueued(i)) { 105e4f69d78Ssfencevma // (3) when entry i enqueues from port k, 106e4f69d78Ssfencevma // (3.1) if entry j enqueues from previous ports, set to false 107e4f69d78Ssfencevma // (3.2) otherwise, set to true if and only of entry j is invalid 108e4f69d78Ssfencevma // overall: !jEnqFromPreviousPorts && !jIsValid 109e4f69d78Ssfencevma val sel = io.enq.map(_(i)) 110e4f69d78Ssfencevma val result = (0 until numEnq).map(k => isEnqueued(j, k)) 111e4f69d78Ssfencevma // why ParallelMux: sel must be one-hot since enq is one-hot 112e4f69d78Ssfencevma elem := !get_age(j, j) && !ParallelMux(sel, result) 113e4f69d78Ssfencevma }.otherwise { 114e4f69d78Ssfencevma // default: unchanged 115e4f69d78Ssfencevma elem := get_age(i, j) 116e4f69d78Ssfencevma } 117e4f69d78Ssfencevma age(i)(j) := elem 118e4f69d78Ssfencevma } 119e4f69d78Ssfencevma } 120e4f69d78Ssfencevma 121e4f69d78Ssfencevma def getOldest(get: (Int, Int) => Bool): UInt = { 122e4f69d78Ssfencevma VecInit((0 until numEntries).map(i => { 123e4f69d78Ssfencevma io.ready(i) & VecInit((0 until numEntries).map(j => if (i != j) !io.ready(j) || get(i, j) else true.B)).asUInt.andR 124e4f69d78Ssfencevma })).asUInt 125e4f69d78Ssfencevma } 126e4f69d78Ssfencevma val best = getOldest(get_age) 127e4f69d78Ssfencevma val nextBest = getOldest(get_next_age) 128e4f69d78Ssfencevma 129e4f69d78Ssfencevma io.out := (if (regOut) best else nextBest) 130e4f69d78Ssfencevma} 131e4f69d78Ssfencevma 132e4f69d78Ssfencevmaobject AgeDetector { 133e4f69d78Ssfencevma def apply(numEntries: Int, enq: Vec[UInt], deq: UInt, ready: UInt)(implicit p: Parameters): Valid[UInt] = { 134e4f69d78Ssfencevma val age = Module(new AgeDetector(numEntries, enq.length, regOut = true)) 135e4f69d78Ssfencevma age.io.enq := enq 136e4f69d78Ssfencevma age.io.deq := deq 137e4f69d78Ssfencevma age.io.ready:= ready 138e4f69d78Ssfencevma val out = Wire(Valid(UInt(deq.getWidth.W))) 139e4f69d78Ssfencevma out.valid := age.io.out.orR 140e4f69d78Ssfencevma out.bits := age.io.out 141e4f69d78Ssfencevma out 142e4f69d78Ssfencevma } 143e4f69d78Ssfencevma} 144e4f69d78Ssfencevma 145e4f69d78Ssfencevma 146e4f69d78Ssfencevmaclass LoadQueueReplay(implicit p: Parameters) extends XSModule 147e4f69d78Ssfencevma with HasDCacheParameters 148e4f69d78Ssfencevma with HasCircularQueuePtrHelper 149e4f69d78Ssfencevma with HasLoadHelper 150e4f69d78Ssfencevma with HasPerfEvents 151e4f69d78Ssfencevma{ 152e4f69d78Ssfencevma val io = IO(new Bundle() { 153e4f69d78Ssfencevma val redirect = Flipped(ValidIO(new Redirect)) 154e4f69d78Ssfencevma val enq = Vec(LoadPipelineWidth, Flipped(Decoupled(new LqWriteBundle))) 155e4f69d78Ssfencevma val storeAddrIn = Vec(StorePipelineWidth, Flipped(Valid(new LsPipelineBundle))) 156e4f69d78Ssfencevma val storeDataIn = Vec(StorePipelineWidth, Flipped(Valid(new ExuOutput))) 157e4f69d78Ssfencevma val replay = Vec(LoadPipelineWidth, Decoupled(new LsPipelineBundle)) 158e4f69d78Ssfencevma val refill = Flipped(ValidIO(new Refill)) 159e4f69d78Ssfencevma val stAddrReadySqPtr = Input(new SqPtr) 160e4f69d78Ssfencevma val stAddrReadyVec = Input(Vec(StoreQueueSize, Bool())) 161e4f69d78Ssfencevma val stDataReadySqPtr = Input(new SqPtr) 162e4f69d78Ssfencevma val stDataReadyVec = Input(Vec(StoreQueueSize, Bool())) 163e4f69d78Ssfencevma val sqEmpty = Input(Bool()) 164e4f69d78Ssfencevma val lqFull = Output(Bool()) 165e4f69d78Ssfencevma val ldWbPtr = Input(new LqPtr) 166e4f69d78Ssfencevma val tlbReplayDelayCycleCtrl = Vec(4, Input(UInt(ReSelectLen.W))) 167*f2e8d419Ssfencevma val rarFull = Input(Bool()) 168*f2e8d419Ssfencevma val rawFull = Input(Bool()) 169e4f69d78Ssfencevma }) 170e4f69d78Ssfencevma 171e4f69d78Ssfencevma println("LoadQueueReplay size: " + LoadQueueReplaySize) 172e4f69d78Ssfencevma // LoadQueueReplay field: 173e4f69d78Ssfencevma // +-----------+---------+-------+-------------+--------+ 174e4f69d78Ssfencevma // | Allocated | MicroOp | VAddr | Cause | Flags | 175e4f69d78Ssfencevma // +-----------+---------+-------+-------------+--------+ 176e4f69d78Ssfencevma // Allocated : entry has been allocated already 177e4f69d78Ssfencevma // MicroOp : inst's microOp 178e4f69d78Ssfencevma // VAddr : virtual address 179e4f69d78Ssfencevma // Cause : replay cause 180e4f69d78Ssfencevma // Flags : rar/raw queue allocate flags 181e4f69d78Ssfencevma val allocated = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B))) // The control signals need to explicitly indicate the initial value 182e4f69d78Ssfencevma val sleep = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B))) 183e4f69d78Ssfencevma val uop = Reg(Vec(LoadQueueReplaySize, new MicroOp)) 184e4f69d78Ssfencevma val vaddrModule = Module(new LqVAddrModule( 185e4f69d78Ssfencevma gen = UInt(VAddrBits.W), 186e4f69d78Ssfencevma numEntries = LoadQueueReplaySize, 187e4f69d78Ssfencevma numRead = LoadPipelineWidth, 188e4f69d78Ssfencevma numWrite = LoadPipelineWidth, 189e4f69d78Ssfencevma numWBank = LoadQueueNWriteBanks, 190e4f69d78Ssfencevma numWDelay = 2, 191e4f69d78Ssfencevma numCamPort = 0)) 192e4f69d78Ssfencevma vaddrModule.io := DontCare 193e4f69d78Ssfencevma val cause = RegInit(VecInit(List.fill(LoadQueueReplaySize)(0.U(LoadReplayCauses.allCauses.W)))) 194e4f69d78Ssfencevma 195e4f69d78Ssfencevma // freeliset: store valid entries index. 196e4f69d78Ssfencevma // +---+---+--------------+-----+-----+ 197e4f69d78Ssfencevma // | 0 | 1 | ...... | n-2 | n-1 | 198e4f69d78Ssfencevma // +---+---+--------------+-----+-----+ 199e4f69d78Ssfencevma val freeList = Module(new FreeList( 200e4f69d78Ssfencevma size = LoadQueueReplaySize, 201e4f69d78Ssfencevma allocWidth = LoadPipelineWidth, 202e4f69d78Ssfencevma freeWidth = 4, 203e4f69d78Ssfencevma moduleName = "LoadQueueReplay freelist" 204e4f69d78Ssfencevma )) 205e4f69d78Ssfencevma freeList.io := DontCare 206e4f69d78Ssfencevma /** 207e4f69d78Ssfencevma * used for re-select control 208e4f69d78Ssfencevma */ 209e4f69d78Ssfencevma val credit = RegInit(VecInit(List.fill(LoadQueueReplaySize)(0.U(ReSelectLen.W)))) 210e4f69d78Ssfencevma val selBlocked = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B))) 211e4f69d78Ssfencevma // Ptrs to control which cycle to choose 212e4f69d78Ssfencevma val blockPtrTlb = RegInit(VecInit(List.fill(LoadQueueReplaySize)(0.U(2.W)))) 213e4f69d78Ssfencevma val blockPtrCache = RegInit(VecInit(List.fill(LoadQueueReplaySize)(0.U(2.W)))) 214e4f69d78Ssfencevma val blockPtrOthers = RegInit(VecInit(List.fill(LoadQueueReplaySize)(0.U(2.W)))) 215e4f69d78Ssfencevma // Specific cycles to block 216e4f69d78Ssfencevma val blockCyclesTlb = Reg(Vec(4, UInt(ReSelectLen.W))) 217e4f69d78Ssfencevma blockCyclesTlb := io.tlbReplayDelayCycleCtrl 218e4f69d78Ssfencevma val blockCyclesCache = RegInit(VecInit(Seq(11.U(ReSelectLen.W), 18.U(ReSelectLen.W), 127.U(ReSelectLen.W), 17.U(ReSelectLen.W)))) 219e4f69d78Ssfencevma val blockCyclesOthers = RegInit(VecInit(Seq(0.U(ReSelectLen.W), 0.U(ReSelectLen.W), 0.U(ReSelectLen.W), 0.U(ReSelectLen.W)))) 220e4f69d78Ssfencevma val blockSqIdx = Reg(Vec(LoadQueueReplaySize, new SqPtr)) 221e4f69d78Ssfencevma // block causes 222e4f69d78Ssfencevma val blockByTlbMiss = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B))) 223e4f69d78Ssfencevma val blockByForwardFail = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B))) 224e4f69d78Ssfencevma val blockByWaitStore = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B))) 225e4f69d78Ssfencevma val blockByCacheMiss = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B))) 226*f2e8d419Ssfencevma val blockByRARReject = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B))) 227*f2e8d419Ssfencevma val blockByRAWReject = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B))) 228e4f69d78Ssfencevma val blockByOthers = RegInit(VecInit(List.fill(LoadQueueReplaySize)(false.B))) 229e4f69d78Ssfencevma // DCache miss block 230e4f69d78Ssfencevma val missMSHRId = RegInit(VecInit(List.fill(LoadQueueReplaySize)(0.U((log2Up(cfg.nMissEntries).W))))) 231e4f69d78Ssfencevma val trueCacheMissReplay = WireInit(VecInit(cause.map(_(LoadReplayCauses.dcacheMiss)))) 232e4f69d78Ssfencevma val creditUpdate = WireInit(VecInit(List.fill(LoadQueueReplaySize)(0.U(ReSelectLen.W)))) 233e4f69d78Ssfencevma (0 until LoadQueueReplaySize).map(i => { 234e4f69d78Ssfencevma creditUpdate(i) := Mux(credit(i) > 0.U(ReSelectLen.W), credit(i)-1.U(ReSelectLen.W), credit(i)) 235e4f69d78Ssfencevma selBlocked(i) := creditUpdate(i) =/= 0.U(ReSelectLen.W) || credit(i) =/= 0.U(ReSelectLen.W) 236e4f69d78Ssfencevma }) 237e4f69d78Ssfencevma val replayCarryReg = RegInit(VecInit(List.fill(LoadQueueReplaySize)(ReplayCarry(0.U, false.B)))) 238e4f69d78Ssfencevma 239e4f69d78Ssfencevma /** 240e4f69d78Ssfencevma * Enqueue 241e4f69d78Ssfencevma */ 242e4f69d78Ssfencevma val canEnqueue = io.enq.map(_.valid) 243e4f69d78Ssfencevma val cancelEnq = io.enq.map(enq => enq.bits.uop.robIdx.needFlush(io.redirect)) 244e4f69d78Ssfencevma val needReplay = io.enq.map(enq => enq.bits.replayInfo.needReplay()) 245e4f69d78Ssfencevma val hasExceptions = io.enq.map(enq => ExceptionNO.selectByFu(enq.bits.uop.cf.exceptionVec, lduCfg).asUInt.orR && !enq.bits.tlbMiss) 246e4f69d78Ssfencevma val loadReplay = io.enq.map(enq => enq.bits.isLoadReplay) 247e4f69d78Ssfencevma val needEnqueue = VecInit((0 until LoadPipelineWidth).map(w => { 248e4f69d78Ssfencevma canEnqueue(w) && !cancelEnq(w) && needReplay(w) && !hasExceptions(w) 249e4f69d78Ssfencevma })) 250e4f69d78Ssfencevma val canFreeVec = VecInit((0 until LoadPipelineWidth).map(w => { 251e4f69d78Ssfencevma canEnqueue(w) && loadReplay(w) && (!needReplay(w) || hasExceptions(w)) 252e4f69d78Ssfencevma })) 253e4f69d78Ssfencevma 254e4f69d78Ssfencevma // select LoadPipelineWidth valid index. 255e4f69d78Ssfencevma val lqFull = freeList.io.empty 256e4f69d78Ssfencevma val lqFreeNums = freeList.io.validCount 257e4f69d78Ssfencevma 258e4f69d78Ssfencevma // replay logic 259e4f69d78Ssfencevma // release logic generation 260e4f69d78Ssfencevma val storeAddrInSameCycleVec = Wire(Vec(LoadQueueReplaySize, Bool())) 261e4f69d78Ssfencevma val storeDataInSameCycleVec = Wire(Vec(LoadQueueReplaySize, Bool())) 262e4f69d78Ssfencevma val addrNotBlockVec = Wire(Vec(LoadQueueReplaySize, Bool())) 263e4f69d78Ssfencevma val dataNotBlockVec = Wire(Vec(LoadQueueReplaySize, Bool())) 264e4f69d78Ssfencevma val storeAddrValidVec = addrNotBlockVec.asUInt | storeAddrInSameCycleVec.asUInt 265e4f69d78Ssfencevma val storeDataValidVec = dataNotBlockVec.asUInt | storeDataInSameCycleVec.asUInt 266e4f69d78Ssfencevma 267e4f69d78Ssfencevma // store data valid check 268e4f69d78Ssfencevma val stAddrReadyVec = io.stAddrReadyVec 269e4f69d78Ssfencevma val stDataReadyVec = io.stDataReadyVec 270e4f69d78Ssfencevma 271e4f69d78Ssfencevma for (i <- 0 until LoadQueueReplaySize) { 272e4f69d78Ssfencevma // dequeue 273e4f69d78Ssfencevma // FIXME: store*Ptr is not accurate 274159372ddSsfencevma dataNotBlockVec(i) := !isBefore(io.stDataReadySqPtr, blockSqIdx(i)) || stDataReadyVec(blockSqIdx(i).value) || io.sqEmpty // for better timing 275e4f69d78Ssfencevma addrNotBlockVec(i) := !isBefore(io.stAddrReadySqPtr, blockSqIdx(i)) || stAddrReadyVec(blockSqIdx(i).value) || io.sqEmpty // for better timing 276e4f69d78Ssfencevma 277e4f69d78Ssfencevma // store address execute 278e4f69d78Ssfencevma storeAddrInSameCycleVec(i) := VecInit((0 until StorePipelineWidth).map(w => { 279e4f69d78Ssfencevma io.storeAddrIn(w).valid && 280e4f69d78Ssfencevma !io.storeAddrIn(w).bits.miss && 281e4f69d78Ssfencevma blockSqIdx(i) === io.storeAddrIn(w).bits.uop.sqIdx 282e4f69d78Ssfencevma })).asUInt.orR // for better timing 283e4f69d78Ssfencevma 284e4f69d78Ssfencevma // store data execute 285e4f69d78Ssfencevma storeDataInSameCycleVec(i) := VecInit((0 until StorePipelineWidth).map(w => { 286e4f69d78Ssfencevma io.storeDataIn(w).valid && 287e4f69d78Ssfencevma blockSqIdx(i) === io.storeDataIn(w).bits.uop.sqIdx 288e4f69d78Ssfencevma })).asUInt.orR // for better timing 289e4f69d78Ssfencevma 290e4f69d78Ssfencevma } 291e4f69d78Ssfencevma 292e4f69d78Ssfencevma // store addr issue check 293e4f69d78Ssfencevma val stAddrDeqVec = Wire(Vec(LoadQueueReplaySize, Bool())) 294e4f69d78Ssfencevma (0 until LoadQueueReplaySize).map(i => { 295e4f69d78Ssfencevma stAddrDeqVec(i) := allocated(i) && storeAddrValidVec(i) 296e4f69d78Ssfencevma }) 297e4f69d78Ssfencevma 298e4f69d78Ssfencevma // store data issue check 299e4f69d78Ssfencevma val stDataDeqVec = Wire(Vec(LoadQueueReplaySize, Bool())) 300e4f69d78Ssfencevma (0 until LoadQueueReplaySize).map(i => { 301e4f69d78Ssfencevma stDataDeqVec(i) := allocated(i) && storeDataValidVec(i) 302e4f69d78Ssfencevma }) 303e4f69d78Ssfencevma 304e4f69d78Ssfencevma // update block condition 305e4f69d78Ssfencevma (0 until LoadQueueReplaySize).map(i => { 306e4f69d78Ssfencevma blockByForwardFail(i) := Mux(blockByForwardFail(i) && stDataDeqVec(i), false.B, blockByForwardFail(i)) 307e4f69d78Ssfencevma blockByWaitStore(i) := Mux(blockByWaitStore(i) && stAddrDeqVec(i), false.B, blockByWaitStore(i)) 308e4f69d78Ssfencevma blockByCacheMiss(i) := Mux(blockByCacheMiss(i) && io.refill.valid && io.refill.bits.id === missMSHRId(i), false.B, blockByCacheMiss(i)) 309e4f69d78Ssfencevma 310e4f69d78Ssfencevma when (blockByCacheMiss(i) && io.refill.valid && io.refill.bits.id === missMSHRId(i)) { creditUpdate(i) := 0.U } 311e4f69d78Ssfencevma when (blockByCacheMiss(i) && creditUpdate(i) === 0.U) { blockByCacheMiss(i) := false.B } 312*f2e8d419Ssfencevma when (blockByRARReject(i) && (!io.rarFull || !isAfter(uop(i).lqIdx, io.ldWbPtr))) { blockByRARReject(i) := false.B } 313*f2e8d419Ssfencevma when (blockByRAWReject(i) && (!io.rawFull || !isAfter(uop(i).sqIdx, io.stAddrReadySqPtr))) { blockByRAWReject(i) := false.B } 314e4f69d78Ssfencevma when (blockByTlbMiss(i) && creditUpdate(i) === 0.U) { blockByTlbMiss(i) := false.B } 315e4f69d78Ssfencevma when (blockByOthers(i) && creditUpdate(i) === 0.U) { blockByOthers(i) := false.B } 316e4f69d78Ssfencevma }) 317e4f69d78Ssfencevma 318e4f69d78Ssfencevma // Replay is splitted into 3 stages 319e4f69d78Ssfencevma def getRemBits(input: UInt)(rem: Int): UInt = { 320e4f69d78Ssfencevma VecInit((0 until LoadQueueReplaySize / LoadPipelineWidth).map(i => { input(LoadPipelineWidth * i + rem) })).asUInt 321e4f69d78Ssfencevma } 322e4f69d78Ssfencevma 323*f2e8d419Ssfencevma def getRemSeq(input: Seq[Seq[Bool]])(rem: Int) = { 324*f2e8d419Ssfencevma (0 until LoadQueueReplaySize / LoadPipelineWidth).map(i => { input(LoadPipelineWidth * i + rem) }) 325*f2e8d419Ssfencevma } 326*f2e8d419Ssfencevma 327e4f69d78Ssfencevma // stage1: select 2 entries and read their vaddr 328e4f69d78Ssfencevma val s1_oldestSel = Wire(Vec(LoadPipelineWidth, Valid(UInt(log2Up(LoadQueueReplaySize).W)))) 329e4f69d78Ssfencevma val s2_oldestSel = Wire(Vec(LoadPipelineWidth, Valid(UInt(log2Up(LoadQueueReplaySize).W)))) 330e4f69d78Ssfencevma 331e4f69d78Ssfencevma // generate mask 332e4f69d78Ssfencevma val needCancel = Wire(Vec(LoadQueueReplaySize, Bool())) 333e4f69d78Ssfencevma // generate enq mask 334e4f69d78Ssfencevma val selectIndexOH = Wire(Vec(LoadPipelineWidth, UInt(LoadQueueReplaySize.W))) 335e4f69d78Ssfencevma val loadEnqFireMask = io.enq.map(x => x.fire && !x.bits.isLoadReplay).zip(selectIndexOH).map(x => Mux(x._1, x._2, 0.U)) 336e4f69d78Ssfencevma val remLoadEnqFireVec = loadEnqFireMask.map(x => VecInit((0 until LoadPipelineWidth).map(rem => getRemBits(x)(rem)))) 337e4f69d78Ssfencevma val remEnqSelVec = Seq.tabulate(LoadPipelineWidth)(w => VecInit(remLoadEnqFireVec.map(x => x(w)))) 338e4f69d78Ssfencevma 339e4f69d78Ssfencevma // generate free mask 340e4f69d78Ssfencevma val loadReplayFreeMask = io.enq.map(_.bits).zip(canFreeVec).map(x => Mux(x._2, UIntToOH(x._1.sleepIndex), 0.U)).reduce(_|_) 341e4f69d78Ssfencevma val loadFreeSelMask = VecInit((0 until LoadQueueReplaySize).map(i => { 342e4f69d78Ssfencevma needCancel(i) || loadReplayFreeMask(i) 343e4f69d78Ssfencevma })).asUInt 344e4f69d78Ssfencevma val remFreeSelVec = VecInit(Seq.tabulate(LoadPipelineWidth)(rem => getRemBits(loadFreeSelMask)(rem))) 345e4f69d78Ssfencevma 346e4f69d78Ssfencevma // generate cancel mask 347e4f69d78Ssfencevma val loadReplayFireMask = (0 until LoadPipelineWidth).map(w => Mux(io.replay(w).fire, UIntToOH(s2_oldestSel(w).bits), 0.U)).reduce(_|_) 348e4f69d78Ssfencevma val loadCancelSelMask = VecInit((0 until LoadQueueReplaySize).map(i => { 349e4f69d78Ssfencevma needCancel(i) || loadReplayFireMask(i) 350e4f69d78Ssfencevma })).asUInt 351e4f69d78Ssfencevma val remCancelSelVec = VecInit(Seq.tabulate(LoadPipelineWidth)(rem => getRemBits(loadCancelSelMask)(rem))) 352e4f69d78Ssfencevma 353e4f69d78Ssfencevma // generate replay mask 354*f2e8d419Ssfencevma val loadHigherPriorityReplaySelMask = VecInit((0 until LoadQueueReplaySize).map(i => { 355*f2e8d419Ssfencevma val blocked = blockByForwardFail(i) || blockByCacheMiss(i) || blockByTlbMiss(i) 356e4f69d78Ssfencevma allocated(i) && sleep(i) && !blocked && !loadCancelSelMask(i) 357e4f69d78Ssfencevma })).asUInt // use uint instead vec to reduce verilog lines 358*f2e8d419Ssfencevma val loadLowerPriorityReplaySelMask = VecInit((0 until LoadQueueReplaySize).map(i => { 359*f2e8d419Ssfencevma val blocked = selBlocked(i) || blockByWaitStore(i) || blockByRARReject(i) || blockByRAWReject(i) || blockByOthers(i) 360*f2e8d419Ssfencevma allocated(i) && sleep(i) && !blocked && !loadCancelSelMask(i) 361e4f69d78Ssfencevma })).asUInt // use uint instead vec to reduce verilog lines 362*f2e8d419Ssfencevma val loadNormalReplaySelMask = loadLowerPriorityReplaySelMask | loadHigherPriorityReplaySelMask 363*f2e8d419Ssfencevma val remNormalReplaySelVec = VecInit((0 until LoadPipelineWidth).map(rem => getRemBits(loadNormalReplaySelMask)(rem))) 364*f2e8d419Ssfencevma val loadPriorityReplaySelMask = Mux(loadHigherPriorityReplaySelMask.orR, loadHigherPriorityReplaySelMask, loadLowerPriorityReplaySelMask) 365*f2e8d419Ssfencevma val remPriorityReplaySelVec = VecInit((0 until LoadPipelineWidth).map(rem => getRemBits(loadPriorityReplaySelMask)(rem))) 366*f2e8d419Ssfencevma 367*f2e8d419Ssfencevma /****************************************************************************************** 368*f2e8d419Ssfencevma * WARNING: Make sure that OldestSelectStride must less than or equal stages of load unit.* 369*f2e8d419Ssfencevma ****************************************************************************************** 370*f2e8d419Ssfencevma */ 371*f2e8d419Ssfencevma val OldestSelectStride = 4 372*f2e8d419Ssfencevma val oldestPtrExt = (0 until OldestSelectStride).map(i => io.ldWbPtr + i.U) 373*f2e8d419Ssfencevma val oldestMatchMaskVec = (0 until LoadQueueReplaySize).map(i => (0 until OldestSelectStride).map(j => loadNormalReplaySelMask(i) && uop(i).lqIdx === oldestPtrExt(j))) 374*f2e8d419Ssfencevma val remOldsetMatchMaskVec = (0 until LoadPipelineWidth).map(rem => getRemSeq(oldestMatchMaskVec.map(_.take(1)))(rem)) 375*f2e8d419Ssfencevma val remOlderMatchMaskVec = (0 until LoadPipelineWidth).map(rem => getRemSeq(oldestMatchMaskVec.map(_.drop(1)))(rem)) 376*f2e8d419Ssfencevma val remOldestSelVec = VecInit(Seq.tabulate(LoadPipelineWidth)(rem => { 377*f2e8d419Ssfencevma VecInit((0 until LoadQueueReplaySize / LoadPipelineWidth).map(i => { 378*f2e8d419Ssfencevma Mux(VecInit(remOldsetMatchMaskVec(rem).map(_(0))).asUInt.orR, remOldsetMatchMaskVec(rem)(i)(0), remOlderMatchMaskVec(rem)(i).reduce(_|_)) 379*f2e8d419Ssfencevma })).asUInt 380*f2e8d419Ssfencevma })) 381e4f69d78Ssfencevma 382e4f69d78Ssfencevma // select oldest logic 383e4f69d78Ssfencevma s1_oldestSel := VecInit((0 until LoadPipelineWidth).map(rport => { 384e4f69d78Ssfencevma // select enqueue earlest inst 385*f2e8d419Ssfencevma val ageOldest = AgeDetector(LoadQueueReplaySize / LoadPipelineWidth, remEnqSelVec(rport), remFreeSelVec(rport), remPriorityReplaySelVec(rport)) 386e4f69d78Ssfencevma assert(!(ageOldest.valid && PopCount(ageOldest.bits) > 1.U), "oldest index must be one-hot!") 387e4f69d78Ssfencevma val ageOldestValid = ageOldest.valid 388e4f69d78Ssfencevma val ageOldestIndex = OHToUInt(ageOldest.bits) 389e4f69d78Ssfencevma 390e4f69d78Ssfencevma // select program order oldest 391e4f69d78Ssfencevma val issOldestValid = remOldestSelVec(rport).orR 392e4f69d78Ssfencevma val issOldestIndex = OHToUInt(PriorityEncoderOH(remOldestSelVec(rport))) 393e4f69d78Ssfencevma 394e4f69d78Ssfencevma val oldest = Wire(Valid(UInt())) 395e4f69d78Ssfencevma oldest.valid := ageOldest.valid || issOldestValid 396e4f69d78Ssfencevma oldest.bits := Cat(Mux(issOldestValid, issOldestIndex, ageOldestIndex), rport.U(log2Ceil(LoadPipelineWidth).W)) 397e4f69d78Ssfencevma oldest 398e4f69d78Ssfencevma })) 399e4f69d78Ssfencevma 400e4f69d78Ssfencevma 401*f2e8d419Ssfencevma // Replay port reorder 402*f2e8d419Ssfencevma class BalanceEntry extends XSBundle { 403*f2e8d419Ssfencevma val balance = Bool() 404*f2e8d419Ssfencevma val index = UInt(log2Up(LoadQueueReplaySize).W) 405*f2e8d419Ssfencevma val port = UInt(log2Up(LoadPipelineWidth).W) 406*f2e8d419Ssfencevma } 407*f2e8d419Ssfencevma 408*f2e8d419Ssfencevma def balanceReOrder(sel: Seq[ValidIO[BalanceEntry]]): Seq[ValidIO[BalanceEntry]] = { 409*f2e8d419Ssfencevma require(sel.length > 0) 410*f2e8d419Ssfencevma val balancePick = ParallelPriorityMux(sel.map(x => (x.valid && x.bits.balance) -> x)) 411*f2e8d419Ssfencevma val reorderSel = Wire(Vec(sel.length, ValidIO(new BalanceEntry))) 412*f2e8d419Ssfencevma (0 until sel.length).map(i => 413*f2e8d419Ssfencevma if (i == 0) { 414*f2e8d419Ssfencevma when (balancePick.valid && balancePick.bits.balance) { 415*f2e8d419Ssfencevma reorderSel(i) := balancePick 416*f2e8d419Ssfencevma } .otherwise { 417*f2e8d419Ssfencevma reorderSel(i) := sel(i) 418*f2e8d419Ssfencevma } 419*f2e8d419Ssfencevma } else { 420*f2e8d419Ssfencevma when (balancePick.valid && balancePick.bits.balance && i.U === balancePick.bits.port) { 421*f2e8d419Ssfencevma reorderSel(i) := sel(0) 422*f2e8d419Ssfencevma } .otherwise { 423*f2e8d419Ssfencevma reorderSel(i) := sel(i) 424*f2e8d419Ssfencevma } 425*f2e8d419Ssfencevma } 426*f2e8d419Ssfencevma ) 427*f2e8d419Ssfencevma reorderSel 428*f2e8d419Ssfencevma } 429e4f69d78Ssfencevma 430e4f69d78Ssfencevma // stage2: send replay request to load unit 431e4f69d78Ssfencevma // replay cold down 432e4f69d78Ssfencevma val ColdDownCycles = 16 433e4f69d78Ssfencevma val coldCounter = RegInit(VecInit(List.fill(LoadPipelineWidth)(0.U(log2Up(ColdDownCycles).W)))) 434e4f69d78Ssfencevma val ColdDownThreshold = Wire(UInt(log2Up(ColdDownCycles).W)) 435e4f69d78Ssfencevma ColdDownThreshold := Constantin.createRecord("ColdDownThreshold_"+p(XSCoreParamsKey).HartId.toString(), initValue = 12.U) 436e4f69d78Ssfencevma assert(ColdDownCycles.U > ColdDownThreshold, "ColdDownCycles must great than ColdDownThreshold!") 437e4f69d78Ssfencevma 438e4f69d78Ssfencevma def replayCanFire(i: Int) = coldCounter(i) >= 0.U && coldCounter(i) < ColdDownThreshold 439e4f69d78Ssfencevma def coldDownNow(i: Int) = coldCounter(i) >= ColdDownThreshold 440e4f69d78Ssfencevma 441*f2e8d419Ssfencevma val s1_balanceOldestSelExt = (0 until LoadPipelineWidth).map(i => { 442*f2e8d419Ssfencevma val wrapper = Wire(Valid(new BalanceEntry)) 443*f2e8d419Ssfencevma wrapper.valid := s1_oldestSel(i).valid 444*f2e8d419Ssfencevma wrapper.bits.balance := cause(s1_oldestSel(i).bits)(LoadReplayCauses.bankConflict) 445*f2e8d419Ssfencevma wrapper.bits.index := s1_oldestSel(i).bits 446*f2e8d419Ssfencevma wrapper.bits.port := i.U 447*f2e8d419Ssfencevma wrapper 448*f2e8d419Ssfencevma }) 449*f2e8d419Ssfencevma val s1_balanceOldestSel = balanceReOrder(s1_balanceOldestSelExt) 450*f2e8d419Ssfencevma (0 until LoadPipelineWidth).map(w => { 451*f2e8d419Ssfencevma vaddrModule.io.raddr(w) := s1_balanceOldestSel(w).bits.index 452*f2e8d419Ssfencevma }) 453*f2e8d419Ssfencevma 454e4f69d78Ssfencevma for (i <- 0 until LoadPipelineWidth) { 455*f2e8d419Ssfencevma val s2_replayIdx = RegNext(s1_balanceOldestSel(i).bits.index) 456*f2e8d419Ssfencevma val s2_replayUop = uop(s2_replayIdx) 457*f2e8d419Ssfencevma val s2_replayMSHRId = missMSHRId(s2_replayIdx) 458*f2e8d419Ssfencevma val s2_replayCauses = cause(s2_replayIdx) 459*f2e8d419Ssfencevma val s2_replayCarry = replayCarryReg(s2_replayIdx) 460*f2e8d419Ssfencevma val s2_replayCacheMissReplay = trueCacheMissReplay(s2_replayIdx) 461e4f69d78Ssfencevma val cancelReplay = s2_replayUop.robIdx.needFlush(io.redirect) 462e4f69d78Ssfencevma 463*f2e8d419Ssfencevma val s2_loadCancelSelMask = RegNext(loadCancelSelMask) 464*f2e8d419Ssfencevma s2_oldestSel(i).valid := RegNext(s1_balanceOldestSel(i).valid) && !s2_loadCancelSelMask(s2_replayIdx) 465*f2e8d419Ssfencevma s2_oldestSel(i).bits := s2_replayIdx 466e4f69d78Ssfencevma 467*f2e8d419Ssfencevma io.replay(i).valid := s2_oldestSel(i).valid && !cancelReplay && replayCanFire(i) 468e4f69d78Ssfencevma io.replay(i).bits := DontCare 469e4f69d78Ssfencevma io.replay(i).bits.uop := s2_replayUop 470e4f69d78Ssfencevma io.replay(i).bits.vaddr := vaddrModule.io.rdata(i) 471e4f69d78Ssfencevma io.replay(i).bits.isFirstIssue := false.B 472e4f69d78Ssfencevma io.replay(i).bits.isLoadReplay := true.B 473e4f69d78Ssfencevma io.replay(i).bits.replayCarry := s2_replayCarry 474e4f69d78Ssfencevma io.replay(i).bits.mshrid := s2_replayMSHRId 475e4f69d78Ssfencevma io.replay(i).bits.forward_tlDchannel := s2_replayCauses(LoadReplayCauses.dcacheMiss) 476e4f69d78Ssfencevma io.replay(i).bits.sleepIndex := s2_oldestSel(i).bits 477e4f69d78Ssfencevma 478e4f69d78Ssfencevma when (io.replay(i).fire) { 479e4f69d78Ssfencevma sleep(s2_oldestSel(i).bits) := false.B 480e4f69d78Ssfencevma assert(allocated(s2_oldestSel(i).bits), s"LoadQueueReplay: why replay an invalid entry ${s2_oldestSel(i).bits} ?\n") 481e4f69d78Ssfencevma } 482e4f69d78Ssfencevma } 483e4f69d78Ssfencevma 484e4f69d78Ssfencevma // update cold counter 485e4f69d78Ssfencevma val lastReplay = RegNext(VecInit(io.replay.map(_.fire))) 486e4f69d78Ssfencevma for (i <- 0 until LoadPipelineWidth) { 487e4f69d78Ssfencevma when (lastReplay(i) && io.replay(i).fire) { 488e4f69d78Ssfencevma coldCounter(i) := coldCounter(i) + 1.U 489e4f69d78Ssfencevma } .elsewhen (coldDownNow(i)) { 490e4f69d78Ssfencevma coldCounter(i) := coldCounter(i) + 1.U 491e4f69d78Ssfencevma } .otherwise { 492e4f69d78Ssfencevma coldCounter(i) := 0.U 493e4f69d78Ssfencevma } 494e4f69d78Ssfencevma } 495e4f69d78Ssfencevma 496e4f69d78Ssfencevma when(io.refill.valid) { 497e4f69d78Ssfencevma XSDebug("miss resp: paddr:0x%x data %x\n", io.refill.bits.addr, io.refill.bits.data) 498e4f69d78Ssfencevma } 499e4f69d78Ssfencevma 500e4f69d78Ssfencevma // LoadQueueReplay deallocate 501e4f69d78Ssfencevma val freeMaskVec = Wire(Vec(LoadQueueReplaySize, Bool())) 502e4f69d78Ssfencevma 503e4f69d78Ssfencevma // init 504e4f69d78Ssfencevma freeMaskVec.map(e => e := false.B) 505e4f69d78Ssfencevma 506e4f69d78Ssfencevma // Allocate logic 507e4f69d78Ssfencevma val enqValidVec = Wire(Vec(LoadPipelineWidth, Bool())) 508e4f69d78Ssfencevma val enqIndexVec = Wire(Vec(LoadPipelineWidth, UInt())) 509e4f69d78Ssfencevma val enqOffset = Wire(Vec(LoadPipelineWidth, UInt())) 510e4f69d78Ssfencevma 511e4f69d78Ssfencevma val newEnqueue = (0 until LoadPipelineWidth).map(i => { 512e4f69d78Ssfencevma needEnqueue(i) && !io.enq(i).bits.isLoadReplay 513e4f69d78Ssfencevma }) 514e4f69d78Ssfencevma 515e4f69d78Ssfencevma for ((enq, w) <- io.enq.zipWithIndex) { 516e4f69d78Ssfencevma vaddrModule.io.wen(w) := false.B 517e4f69d78Ssfencevma freeList.io.doAllocate(w) := false.B 518e4f69d78Ssfencevma 519e4f69d78Ssfencevma enqOffset(w) := PopCount(newEnqueue.take(w)) 520e4f69d78Ssfencevma freeList.io.allocateReq(w) := newEnqueue(w) 521e4f69d78Ssfencevma 522e4f69d78Ssfencevma // Allocated ready 523e4f69d78Ssfencevma enqValidVec(w) := freeList.io.canAllocate(enqOffset(w)) 524e4f69d78Ssfencevma enqIndexVec(w) := Mux(enq.bits.isLoadReplay, enq.bits.sleepIndex, freeList.io.allocateSlot(enqOffset(w))) 525e4f69d78Ssfencevma selectIndexOH(w) := UIntToOH(enqIndexVec(w)) 526e4f69d78Ssfencevma enq.ready := Mux(enq.bits.isLoadReplay, true.B, enqValidVec(w)) 527e4f69d78Ssfencevma 528e4f69d78Ssfencevma val enqIndex = enqIndexVec(w) 529e4f69d78Ssfencevma when (needEnqueue(w) && enq.ready) { 530e4f69d78Ssfencevma 531e4f69d78Ssfencevma val debug_robIdx = enq.bits.uop.robIdx.asUInt 532e4f69d78Ssfencevma XSError(allocated(enqIndex) && !enq.bits.isLoadReplay, p"LoadQueueReplay: can not accept more load, check: ldu $w, robIdx $debug_robIdx!") 533e4f69d78Ssfencevma XSError(hasExceptions(w), p"LoadQueueReplay: The instruction has exception, it can not be replay, check: ldu $w, robIdx $debug_robIdx!") 534e4f69d78Ssfencevma 535e4f69d78Ssfencevma freeList.io.doAllocate(w) := !enq.bits.isLoadReplay 536e4f69d78Ssfencevma 537e4f69d78Ssfencevma // Allocate new entry 538e4f69d78Ssfencevma allocated(enqIndex) := true.B 539e4f69d78Ssfencevma sleep(enqIndex) := true.B 540e4f69d78Ssfencevma uop(enqIndex) := enq.bits.uop 541e4f69d78Ssfencevma 542e4f69d78Ssfencevma vaddrModule.io.wen(w) := true.B 543e4f69d78Ssfencevma vaddrModule.io.waddr(w) := enqIndex 544e4f69d78Ssfencevma vaddrModule.io.wdata(w) := enq.bits.vaddr 545e4f69d78Ssfencevma 546e4f69d78Ssfencevma /** 547e4f69d78Ssfencevma * used for feedback and replay 548e4f69d78Ssfencevma */ 549e4f69d78Ssfencevma // set flags 550e4f69d78Ssfencevma val replayInfo = enq.bits.replayInfo 551e4f69d78Ssfencevma val dataInLastBeat = replayInfo.dataInLastBeat 552e4f69d78Ssfencevma cause(enqIndex) := replayInfo.cause.asUInt 553e4f69d78Ssfencevma 554e4f69d78Ssfencevma // update credit 555e4f69d78Ssfencevma val blockCyclesTlbPtr = blockPtrTlb(enqIndex) 556e4f69d78Ssfencevma val blockCyclesCachePtr = blockPtrCache(enqIndex) 557e4f69d78Ssfencevma val blockCyclesOtherPtr = blockPtrOthers(enqIndex) 558e4f69d78Ssfencevma creditUpdate(enqIndex) := Mux(replayInfo.cause(LoadReplayCauses.tlbMiss), blockCyclesTlb(blockCyclesTlbPtr), 559e4f69d78Ssfencevma Mux(replayInfo.cause(LoadReplayCauses.dcacheMiss), blockCyclesCache(blockCyclesCachePtr) + dataInLastBeat, blockCyclesOthers(blockCyclesOtherPtr))) 560e4f69d78Ssfencevma 561e4f69d78Ssfencevma // init 562e4f69d78Ssfencevma blockByTlbMiss(enqIndex) := false.B 563e4f69d78Ssfencevma blockByWaitStore(enqIndex) := false.B 564e4f69d78Ssfencevma blockByForwardFail(enqIndex) := false.B 565e4f69d78Ssfencevma blockByCacheMiss(enqIndex) := false.B 566*f2e8d419Ssfencevma blockByRARReject(enqIndex) := false.B 567*f2e8d419Ssfencevma blockByRAWReject(enqIndex) := false.B 568e4f69d78Ssfencevma blockByOthers(enqIndex) := false.B 569e4f69d78Ssfencevma 570e4f69d78Ssfencevma // update block pointer 571*f2e8d419Ssfencevma when (replayInfo.cause(LoadReplayCauses.dcacheReplay)) { 572*f2e8d419Ssfencevma // normal case: dcache replay 573e4f69d78Ssfencevma blockByOthers(enqIndex) := true.B 574e4f69d78Ssfencevma blockPtrOthers(enqIndex) := Mux(blockPtrOthers(enqIndex) === 3.U(2.W), blockPtrOthers(enqIndex), blockPtrOthers(enqIndex) + 1.U(2.W)) 575e4f69d78Ssfencevma } .elsewhen (replayInfo.cause(LoadReplayCauses.bankConflict) || replayInfo.cause(LoadReplayCauses.schedError)) { 576e4f69d78Ssfencevma // normal case: bank conflict or schedule error 577e4f69d78Ssfencevma // can replay next cycle 578e4f69d78Ssfencevma creditUpdate(enqIndex) := 0.U 579e4f69d78Ssfencevma blockByOthers(enqIndex) := false.B 580e4f69d78Ssfencevma } 581e4f69d78Ssfencevma 582e4f69d78Ssfencevma // special case: tlb miss 583e4f69d78Ssfencevma when (replayInfo.cause(LoadReplayCauses.tlbMiss)) { 584e4f69d78Ssfencevma blockByTlbMiss(enqIndex) := true.B 585e4f69d78Ssfencevma blockPtrTlb(enqIndex) := Mux(blockPtrTlb(enqIndex) === 3.U(2.W), blockPtrTlb(enqIndex), blockPtrTlb(enqIndex) + 1.U(2.W)) 586e4f69d78Ssfencevma } 587e4f69d78Ssfencevma 588e4f69d78Ssfencevma // special case: dcache miss 589e4f69d78Ssfencevma when (replayInfo.cause(LoadReplayCauses.dcacheMiss)) { 590e4f69d78Ssfencevma blockByCacheMiss(enqIndex) := !replayInfo.canForwardFullData && // dcache miss 591e4f69d78Ssfencevma !(io.refill.valid && io.refill.bits.id === replayInfo.missMSHRId) && // no refill in this cycle 592e4f69d78Ssfencevma creditUpdate(enqIndex) =/= 0.U // credit is not zero 593e4f69d78Ssfencevma blockPtrCache(enqIndex) := Mux(blockPtrCache(enqIndex) === 3.U(2.W), blockPtrCache(enqIndex), blockPtrCache(enqIndex) + 1.U(2.W)) 594e4f69d78Ssfencevma } 595e4f69d78Ssfencevma 596e4f69d78Ssfencevma // special case: st-ld violation 597e4f69d78Ssfencevma when (replayInfo.cause(LoadReplayCauses.waitStore)) { 598e4f69d78Ssfencevma blockByWaitStore(enqIndex) := true.B 599e4f69d78Ssfencevma blockSqIdx(enqIndex) := replayInfo.addrInvalidSqIdx 600e4f69d78Ssfencevma blockPtrOthers(enqIndex) := Mux(blockPtrOthers(enqIndex) === 3.U(2.W), blockPtrOthers(enqIndex), blockPtrOthers(enqIndex) + 1.U(2.W)) 601e4f69d78Ssfencevma } 602e4f69d78Ssfencevma 603e4f69d78Ssfencevma // special case: data forward fail 604e4f69d78Ssfencevma when (replayInfo.cause(LoadReplayCauses.forwardFail)) { 605e4f69d78Ssfencevma blockByForwardFail(enqIndex) := true.B 606e4f69d78Ssfencevma blockSqIdx(enqIndex) := replayInfo.dataInvalidSqIdx 607e4f69d78Ssfencevma blockPtrOthers(enqIndex) := Mux(blockPtrOthers(enqIndex) === 3.U(2.W), blockPtrOthers(enqIndex), blockPtrOthers(enqIndex) + 1.U(2.W)) 608e4f69d78Ssfencevma } 609e4f69d78Ssfencevma 610*f2e8d419Ssfencevma // special case: rar reject 611*f2e8d419Ssfencevma when (replayInfo.cause(LoadReplayCauses.rarReject)) { 612*f2e8d419Ssfencevma blockByRARReject(enqIndex) := true.B 613*f2e8d419Ssfencevma blockPtrOthers(enqIndex) := Mux(blockPtrOthers(enqIndex) === 3.U(2.W), blockPtrOthers(enqIndex), blockPtrOthers(enqIndex) + 1.U(2.W)) 614*f2e8d419Ssfencevma } 615*f2e8d419Ssfencevma 616*f2e8d419Ssfencevma // special case: raw reject 617*f2e8d419Ssfencevma when (replayInfo.cause(LoadReplayCauses.rawReject)) { 618*f2e8d419Ssfencevma blockByRAWReject(enqIndex) := true.B 619*f2e8d419Ssfencevma blockPtrOthers(enqIndex) := Mux(blockPtrOthers(enqIndex) === 3.U(2.W), blockPtrOthers(enqIndex), blockPtrOthers(enqIndex) + 1.U(2.W)) 620*f2e8d419Ssfencevma } 621*f2e8d419Ssfencevma 622e4f69d78Ssfencevma // 623e4f69d78Ssfencevma replayCarryReg(enqIndex) := replayInfo.replayCarry 624e4f69d78Ssfencevma missMSHRId(enqIndex) := replayInfo.missMSHRId 625e4f69d78Ssfencevma } 626e4f69d78Ssfencevma 627e4f69d78Ssfencevma // 628e4f69d78Ssfencevma val sleepIndex = enq.bits.sleepIndex 629e4f69d78Ssfencevma when (enq.valid && enq.bits.isLoadReplay) { 630e4f69d78Ssfencevma when (!needReplay(w) || hasExceptions(w)) { 631e4f69d78Ssfencevma allocated(sleepIndex) := false.B 632e4f69d78Ssfencevma freeMaskVec(sleepIndex) := true.B 633e4f69d78Ssfencevma } .otherwise { 634e4f69d78Ssfencevma sleep(sleepIndex) := true.B 635e4f69d78Ssfencevma } 636e4f69d78Ssfencevma } 637e4f69d78Ssfencevma } 638e4f69d78Ssfencevma 639e4f69d78Ssfencevma // misprediction recovery / exception redirect 640e4f69d78Ssfencevma for (i <- 0 until LoadQueueReplaySize) { 641e4f69d78Ssfencevma needCancel(i) := uop(i).robIdx.needFlush(io.redirect) && allocated(i) 642e4f69d78Ssfencevma when (needCancel(i)) { 643e4f69d78Ssfencevma allocated(i) := false.B 644e4f69d78Ssfencevma freeMaskVec(i) := true.B 645e4f69d78Ssfencevma } 646e4f69d78Ssfencevma } 647e4f69d78Ssfencevma 648e4f69d78Ssfencevma freeList.io.free := freeMaskVec.asUInt 649e4f69d78Ssfencevma 650e4f69d78Ssfencevma io.lqFull := lqFull 651e4f69d78Ssfencevma 652e4f69d78Ssfencevma // perf cnt 653e4f69d78Ssfencevma val enqCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay)) 654e4f69d78Ssfencevma val deqCount = PopCount(io.replay.map(_.fire)) 655e4f69d78Ssfencevma val deqBlockCount = PopCount(io.replay.map(r => r.valid && !r.ready)) 656e4f69d78Ssfencevma val replayTlbMissCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.tlbMiss))) 657e4f69d78Ssfencevma val replayWaitStoreCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.waitStore))) 658e4f69d78Ssfencevma val replaySchedErrorCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.schedError))) 659*f2e8d419Ssfencevma val replayRARRejectCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.rarReject))) 660*f2e8d419Ssfencevma val replayRAWRejectCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.rawReject))) 661e4f69d78Ssfencevma val replayBankConflictCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.bankConflict))) 662e4f69d78Ssfencevma val replayDCacheReplayCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.dcacheReplay))) 663e4f69d78Ssfencevma val replayForwardFailCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.forwardFail))) 664e4f69d78Ssfencevma val replayDCacheMissCount = PopCount(io.enq.map(enq => enq.fire && !enq.bits.isLoadReplay && enq.bits.replayInfo.cause(LoadReplayCauses.dcacheMiss))) 665e4f69d78Ssfencevma XSPerfAccumulate("enq", enqCount) 666e4f69d78Ssfencevma XSPerfAccumulate("deq", deqCount) 667e4f69d78Ssfencevma XSPerfAccumulate("deq_block", deqBlockCount) 668e4f69d78Ssfencevma XSPerfAccumulate("replay_full", io.lqFull) 669*f2e8d419Ssfencevma XSPerfAccumulate("replay_rar_reject", replayRARRejectCount) 670*f2e8d419Ssfencevma XSPerfAccumulate("replay_raw_reject", replayRAWRejectCount) 671e4f69d78Ssfencevma XSPerfAccumulate("replay_sched_error", replaySchedErrorCount) 672e4f69d78Ssfencevma XSPerfAccumulate("replay_wait_store", replayWaitStoreCount) 673e4f69d78Ssfencevma XSPerfAccumulate("replay_tlb_miss", replayTlbMissCount) 674e4f69d78Ssfencevma XSPerfAccumulate("replay_bank_conflict", replayBankConflictCount) 675e4f69d78Ssfencevma XSPerfAccumulate("replay_dcache_replay", replayDCacheReplayCount) 676e4f69d78Ssfencevma XSPerfAccumulate("replay_forward_fail", replayForwardFailCount) 677e4f69d78Ssfencevma XSPerfAccumulate("replay_dcache_miss", replayDCacheMissCount) 678e4f69d78Ssfencevma 679e4f69d78Ssfencevma val perfEvents: Seq[(String, UInt)] = Seq( 680e4f69d78Ssfencevma ("enq", enqCount), 681e4f69d78Ssfencevma ("deq", deqCount), 682e4f69d78Ssfencevma ("deq_block", deqBlockCount), 683e4f69d78Ssfencevma ("replay_full", io.lqFull), 684*f2e8d419Ssfencevma ("replay_rar_reject", replayRARRejectCount), 685*f2e8d419Ssfencevma ("replay_raw_reject", replayRAWRejectCount), 686e4f69d78Ssfencevma ("replay_advance_sched", replaySchedErrorCount), 687e4f69d78Ssfencevma ("replay_wait_store", replayWaitStoreCount), 688e4f69d78Ssfencevma ("replay_tlb_miss", replayTlbMissCount), 689e4f69d78Ssfencevma ("replay_bank_conflict", replayBankConflictCount), 690e4f69d78Ssfencevma ("replay_dcache_replay", replayDCacheReplayCount), 691e4f69d78Ssfencevma ("replay_forward_fail", replayForwardFailCount), 692e4f69d78Ssfencevma ("replay_dcache_miss", replayDCacheMissCount), 693e4f69d78Ssfencevma ) 694e4f69d78Ssfencevma generatePerfEvent() 695e4f69d78Ssfencevma // end 696e4f69d78Ssfencevma} 697