1c6d43980SLemover/*************************************************************************************** 2c6d43980SLemover* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 3f320e0f0SYinan Xu* Copyright (c) 2020-2021 Peng Cheng Laboratory 4c6d43980SLemover* 5c6d43980SLemover* XiangShan is licensed under Mulan PSL v2. 6c6d43980SLemover* You can use this software according to the terms and conditions of the Mulan PSL v2. 7c6d43980SLemover* You may obtain a copy of Mulan PSL v2 at: 8c6d43980SLemover* http://license.coscl.org.cn/MulanPSL2 9c6d43980SLemover* 10c6d43980SLemover* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 11c6d43980SLemover* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 12c6d43980SLemover* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 13c6d43980SLemover* 14c6d43980SLemover* See the Mulan PSL v2 for more details. 15c6d43980SLemover***************************************************************************************/ 16c6d43980SLemover 171e3fad10SLinJiaweipackage xiangshan 181e3fad10SLinJiawei 191e3fad10SLinJiaweiimport chisel3._ 205844fcf0SLinJiaweiimport chisel3.util._ 219aca92b9SYinan Xuimport xiangshan.backend.rob.RobPtr 22f06ca0bfSLingrui98import xiangshan.backend.CtrlToFtqIO 23de169c67SWilliam Wangimport xiangshan.backend.decode.{ImmUnion, XDecode} 245c1ae31bSYinan Xuimport xiangshan.mem.{LqPtr, SqPtr} 2566b0d0c3Szhanglinjuanimport xiangshan.frontend.PreDecodeInfo 26f00290d7SLingrui98import xiangshan.frontend.HasBPUParameter 27bcce877bSYinan Xuimport xiangshan.frontend.{AllFoldedHistories, CircularGlobalHistory, GlobalHistory, ShiftingGlobalHistory} 287447ee13SLingrui98import xiangshan.frontend.RASEntry 292b8b2e7aSWilliam Wangimport xiangshan.frontend.BPUCtrl 30e0d9a9f0SLingrui98import xiangshan.frontend.FtqPtr 31c2ad24ebSLingrui98import xiangshan.frontend.CGHPtr 32e0d9a9f0SLingrui98import xiangshan.frontend.FtqRead 33f06ca0bfSLingrui98import xiangshan.frontend.FtqToCtrlIO 34ceaf5e1fSLingrui98import utils._ 353c02ee8fSwakafaimport utility._ 36b0ae3ac4SLinJiawei 372fbdb79bSLingrui98import scala.math.max 38d471c5aeSLingrui98import Chisel.experimental.chiselName 392225d46eSJiawei Linimport chipsalliance.rocketchip.config.Parameters 4088825c5cSYinan Xuimport chisel3.util.BitPat.bitPatToUInt 41bcce877bSYinan Xuimport xiangshan.backend.exu.ExuConfig 42b6982e83SLemoverimport xiangshan.backend.fu.PMPEntry 4314a6653fSLingrui98import xiangshan.frontend.Ftq_Redirect_SRAMEntry 44dd6c0695SLingrui98import xiangshan.frontend.AllFoldedHistories 4567402d75SLingrui98import xiangshan.frontend.AllAheadFoldedHistoryOldestBits 461e3fad10SLinJiawei 47627c0a19Szhanglinjuanclass ValidUndirectioned[T <: Data](gen: T) extends Bundle { 483803411bSzhanglinjuan val valid = Bool() 4935fe60e8SLingrui98 val bits = gen.cloneType.asInstanceOf[T] 50fe211d16SLinJiawei 513803411bSzhanglinjuan} 523803411bSzhanglinjuan 53627c0a19Szhanglinjuanobject ValidUndirectioned { 54627c0a19Szhanglinjuan def apply[T <: Data](gen: T) = { 55627c0a19Szhanglinjuan new ValidUndirectioned[T](gen) 563803411bSzhanglinjuan } 573803411bSzhanglinjuan} 583803411bSzhanglinjuan 591b7adedcSWilliam Wangobject RSFeedbackType { 60*e4f69d78Ssfencevma val lrqFull = 0.U(3.W) 61*e4f69d78Ssfencevma val tlbMiss = 1.U(3.W) 62*e4f69d78Ssfencevma val mshrFull = 2.U(3.W) 63*e4f69d78Ssfencevma val dataInvalid = 3.U(3.W) 64*e4f69d78Ssfencevma val bankConflict = 4.U(3.W) 65*e4f69d78Ssfencevma val ldVioCheckRedo = 5.U(3.W) 66eb163ef0SHaojin Tang val feedbackInvalid = 7.U(3.W) 67eb163ef0SHaojin Tang 68*e4f69d78Ssfencevma val allTypes = 8 6967682d05SWilliam Wang def apply() = UInt(3.W) 701b7adedcSWilliam Wang} 711b7adedcSWilliam Wang 722225d46eSJiawei Linclass PredictorAnswer(implicit p: Parameters) extends XSBundle { 73097c2688SLingrui98 val hit = if (!env.FPGAPlatform) Bool() else UInt(0.W) 74097c2688SLingrui98 val taken = if (!env.FPGAPlatform) Bool() else UInt(0.W) 75097c2688SLingrui98 val target = if (!env.FPGAPlatform) UInt(VAddrBits.W) else UInt(0.W) 7651b2a476Szoujr} 7751b2a476Szoujr 782225d46eSJiawei Linclass CfiUpdateInfo(implicit p: Parameters) extends XSBundle with HasBPUParameter { 79f226232fSzhanglinjuan // from backend 8069cafcc9SLingrui98 val pc = UInt(VAddrBits.W) 81f226232fSzhanglinjuan // frontend -> backend -> frontend 82f226232fSzhanglinjuan val pd = new PreDecodeInfo 838a5e9243SLinJiawei val rasSp = UInt(log2Up(RasSize).W) 842e947747SLinJiawei val rasEntry = new RASEntry 85c2ad24ebSLingrui98 // val hist = new ShiftingGlobalHistory 86dd6c0695SLingrui98 val folded_hist = new AllFoldedHistories(foldedGHistInfos) 8767402d75SLingrui98 val afhob = new AllAheadFoldedHistoryOldestBits(foldedGHistInfos) 8867402d75SLingrui98 val lastBrNumOH = UInt((numBr+1).W) 89b37e4b45SLingrui98 val ghr = UInt(UbtbGHRLength.W) 90c2ad24ebSLingrui98 val histPtr = new CGHPtr 91e7b046c5Szoujr val specCnt = Vec(numBr, UInt(10.W)) 92fe3a74fcSYinan Xu // need pipeline update 938a597714Szoujr val br_hit = Bool() 942e947747SLinJiawei val predTaken = Bool() 95b2e6921eSLinJiawei val target = UInt(VAddrBits.W) 969a2e6b8aSLinJiawei val taken = Bool() 97b2e6921eSLinJiawei val isMisPred = Bool() 98d0527adfSzoujr val shift = UInt((log2Ceil(numBr)+1).W) 99d0527adfSzoujr val addIntoHist = Bool() 10014a6653fSLingrui98 10114a6653fSLingrui98 def fromFtqRedirectSram(entry: Ftq_Redirect_SRAMEntry) = { 102c2ad24ebSLingrui98 // this.hist := entry.ghist 103dd6c0695SLingrui98 this.folded_hist := entry.folded_hist 10467402d75SLingrui98 this.lastBrNumOH := entry.lastBrNumOH 10567402d75SLingrui98 this.afhob := entry.afhob 106c2ad24ebSLingrui98 this.histPtr := entry.histPtr 10714a6653fSLingrui98 this.rasSp := entry.rasSp 108c2d1ec7dSLingrui98 this.rasEntry := entry.rasTop 10914a6653fSLingrui98 this 11014a6653fSLingrui98 } 111b2e6921eSLinJiawei} 112b2e6921eSLinJiawei 1135844fcf0SLinJiawei// Dequeue DecodeWidth insts from Ibuffer 114de169c67SWilliam Wangclass CtrlFlow(implicit p: Parameters) extends XSBundle { 1155844fcf0SLinJiawei val instr = UInt(32.W) 1165844fcf0SLinJiawei val pc = UInt(VAddrBits.W) 117de169c67SWilliam Wang val foldpc = UInt(MemPredPCWidth.W) 118baf8def6SYinan Xu val exceptionVec = ExceptionVec() 11972951335SLi Qianruo val trigger = new TriggerCf 120faf3cfa9SLinJiawei val pd = new PreDecodeInfo 121cde9280dSLinJiawei val pred_taken = Bool() 122c84054caSLinJiawei val crossPageIPFFix = Bool() 123de169c67SWilliam Wang val storeSetHit = Bool() // inst has been allocated an store set 124980c1bc3SWilliam Wang val waitForRobIdx = new RobPtr // store set predicted previous store robIdx 125d1fe0262SWilliam Wang // Load wait is needed 126d1fe0262SWilliam Wang // load inst will not be executed until former store (predicted by mdp) addr calcuated 127d1fe0262SWilliam Wang val loadWaitBit = Bool() 128d1fe0262SWilliam Wang // If (loadWaitBit && loadWaitStrict), strict load wait is needed 129d1fe0262SWilliam Wang // load inst will not be executed until ALL former store addr calcuated 130d1fe0262SWilliam Wang val loadWaitStrict = Bool() 131de169c67SWilliam Wang val ssid = UInt(SSIDWidth.W) 132884dbb3bSLinJiawei val ftqPtr = new FtqPtr 133884dbb3bSLinJiawei val ftqOffset = UInt(log2Up(PredictWidth).W) 1345844fcf0SLinJiawei} 1355844fcf0SLinJiawei 13672951335SLi Qianruo 1372225d46eSJiawei Linclass FPUCtrlSignals(implicit p: Parameters) extends XSBundle { 1382ce29ed6SLinJiawei val isAddSub = Bool() // swap23 139dc597826SJiawei Lin val typeTagIn = UInt(1.W) 140dc597826SJiawei Lin val typeTagOut = UInt(1.W) 1412ce29ed6SLinJiawei val fromInt = Bool() 1422ce29ed6SLinJiawei val wflags = Bool() 1432ce29ed6SLinJiawei val fpWen = Bool() 1442ce29ed6SLinJiawei val fmaCmd = UInt(2.W) 1452ce29ed6SLinJiawei val div = Bool() 1462ce29ed6SLinJiawei val sqrt = Bool() 1472ce29ed6SLinJiawei val fcvt = Bool() 1482ce29ed6SLinJiawei val typ = UInt(2.W) 1492ce29ed6SLinJiawei val fmt = UInt(2.W) 1502ce29ed6SLinJiawei val ren3 = Bool() //TODO: remove SrcType.fp 151e6c6b64fSLinJiawei val rm = UInt(3.W) 152579b9f28SLinJiawei} 153579b9f28SLinJiawei 1545844fcf0SLinJiawei// Decode DecodeWidth insts at Decode Stage 1552225d46eSJiawei Linclass CtrlSignals(implicit p: Parameters) extends XSBundle { 1568744445eSMaxpicca-Li val debug_globalID = UInt(XLEN.W) 15720e31bd1SYinan Xu val srcType = Vec(3, SrcType()) 15820e31bd1SYinan Xu val lsrc = Vec(3, UInt(5.W)) 1599a2e6b8aSLinJiawei val ldest = UInt(5.W) 1609a2e6b8aSLinJiawei val fuType = FuType() 1619a2e6b8aSLinJiawei val fuOpType = FuOpType() 1629a2e6b8aSLinJiawei val rfWen = Bool() 1639a2e6b8aSLinJiawei val fpWen = Bool() 1649a2e6b8aSLinJiawei val isXSTrap = Bool() 1652d366136SLinJiawei val noSpecExec = Bool() // wait forward 1662d366136SLinJiawei val blockBackward = Bool() // block backward 16745a56a29SZhangZifei val flushPipe = Bool() // This inst will flush all the pipe when commit, like exception but can commit 168c2a8ae00SYikeZhou val selImm = SelImm() 169b0ae3ac4SLinJiawei val imm = UInt(ImmUnion.maxLen.W) 170a3edac52SYinan Xu val commitType = CommitType() 171579b9f28SLinJiawei val fpu = new FPUCtrlSignals 172aac4464eSYinan Xu val isMove = Bool() 173d4aca96cSlqre val singleStep = Bool() 174c88c3a2aSYinan Xu // This inst will flush all the pipe when it is the oldest inst in ROB, 175c88c3a2aSYinan Xu // then replay from this inst itself 176c88c3a2aSYinan Xu val replayInst = Bool() 177be25371aSYikeZhou 17888825c5cSYinan Xu private def allSignals = srcType ++ Seq(fuType, fuOpType, rfWen, fpWen, 1796e7c9679Shuxuan0307 isXSTrap, noSpecExec, blockBackward, flushPipe, selImm) 18088825c5cSYinan Xu 18188825c5cSYinan Xu def decode(inst: UInt, table: Iterable[(BitPat, List[BitPat])]): CtrlSignals = { 18288825c5cSYinan Xu val decoder = freechips.rocketchip.rocket.DecodeLogic(inst, XDecode.decodeDefault, table) 18388825c5cSYinan Xu allSignals zip decoder foreach { case (s, d) => s := d } 1844d24c305SYikeZhou commitType := DontCare 185be25371aSYikeZhou this 186be25371aSYikeZhou } 18788825c5cSYinan Xu 18888825c5cSYinan Xu def decode(bit: List[BitPat]): CtrlSignals = { 18988825c5cSYinan Xu allSignals.zip(bit.map(bitPatToUInt(_))).foreach{ case (s, d) => s := d } 19088825c5cSYinan Xu this 19188825c5cSYinan Xu } 192b6900d94SYinan Xu 193b6900d94SYinan Xu def isWFI: Bool = fuType === FuType.csr && fuOpType === CSROpType.wfi 194f025d715SYinan Xu def isSoftPrefetch: Bool = { 195f025d715SYinan Xu fuType === FuType.alu && fuOpType === ALUOpType.or && selImm === SelImm.IMM_I && ldest === 0.U 196f025d715SYinan Xu } 1975844fcf0SLinJiawei} 1985844fcf0SLinJiawei 1992225d46eSJiawei Linclass CfCtrl(implicit p: Parameters) extends XSBundle { 2005844fcf0SLinJiawei val cf = new CtrlFlow 2015844fcf0SLinJiawei val ctrl = new CtrlSignals 2025844fcf0SLinJiawei} 2035844fcf0SLinJiawei 2042225d46eSJiawei Linclass PerfDebugInfo(implicit p: Parameters) extends XSBundle { 2058b8e745dSYikeZhou val eliminatedMove = Bool() 2068744445eSMaxpicca-Li // val fetchTime = UInt(XLEN.W) 207ebb8ebf8SYinan Xu val renameTime = UInt(XLEN.W) 208ebb8ebf8SYinan Xu val dispatchTime = UInt(XLEN.W) 209ebb8ebf8SYinan Xu val enqRsTime = UInt(XLEN.W) 210ebb8ebf8SYinan Xu val selectTime = UInt(XLEN.W) 211ebb8ebf8SYinan Xu val issueTime = UInt(XLEN.W) 212ebb8ebf8SYinan Xu val writebackTime = UInt(XLEN.W) 2138744445eSMaxpicca-Li // val commitTime = UInt(XLEN.W) 2148744445eSMaxpicca-Li val runahead_checkpoint_id = UInt(XLEN.W) 2158744445eSMaxpicca-Li val tlbFirstReqTime = UInt(XLEN.W) 2168744445eSMaxpicca-Li val tlbRespTime = UInt(XLEN.W) // when getting hit result (including delay in L2TLB hit) 217ba4100caSYinan Xu} 218ba4100caSYinan Xu 21948d1472eSWilliam Wang// Separate LSQ 2202225d46eSJiawei Linclass LSIdx(implicit p: Parameters) extends XSBundle { 221915c0dd4SYinan Xu val lqIdx = new LqPtr 2225c1ae31bSYinan Xu val sqIdx = new SqPtr 22324726fbfSWilliam Wang} 22424726fbfSWilliam Wang 225b2e6921eSLinJiawei// CfCtrl -> MicroOp at Rename Stage 2262225d46eSJiawei Linclass MicroOp(implicit p: Parameters) extends CfCtrl { 22720e31bd1SYinan Xu val srcState = Vec(3, SrcState()) 22820e31bd1SYinan Xu val psrc = Vec(3, UInt(PhyRegIdxWidth.W)) 22920e31bd1SYinan Xu val pdest = UInt(PhyRegIdxWidth.W) 23020e31bd1SYinan Xu val old_pdest = UInt(PhyRegIdxWidth.W) 2319aca92b9SYinan Xu val robIdx = new RobPtr 232fe6452fcSYinan Xu val lqIdx = new LqPtr 233fe6452fcSYinan Xu val sqIdx = new SqPtr 2348b8e745dSYikeZhou val eliminatedMove = Bool() 2357cef916fSYinan Xu val debugInfo = new PerfDebugInfo 2369d4e1137SYinan Xu def needRfRPort(index: Int, isFp: Boolean, ignoreState: Boolean = true) : Bool = { 237bcce877bSYinan Xu val stateReady = srcState(index) === SrcState.rdy || ignoreState.B 238bcce877bSYinan Xu val readReg = if (isFp) { 239bcce877bSYinan Xu ctrl.srcType(index) === SrcType.fp 240bcce877bSYinan Xu } else { 241bcce877bSYinan Xu ctrl.srcType(index) === SrcType.reg && ctrl.lsrc(index) =/= 0.U 242a338f247SYinan Xu } 243bcce877bSYinan Xu readReg && stateReady 244a338f247SYinan Xu } 2455c7674feSYinan Xu def srcIsReady: Vec[Bool] = { 246c9ebdf90SYinan Xu VecInit(ctrl.srcType.zip(srcState).map{ case (t, s) => SrcType.isPcOrImm(t) || s === SrcState.rdy }) 2475c7674feSYinan Xu } 2486ab6918fSYinan Xu def clearExceptions( 2496ab6918fSYinan Xu exceptionBits: Seq[Int] = Seq(), 2506ab6918fSYinan Xu flushPipe: Boolean = false, 2516ab6918fSYinan Xu replayInst: Boolean = false 2526ab6918fSYinan Xu ): MicroOp = { 2536ab6918fSYinan Xu cf.exceptionVec.zipWithIndex.filterNot(x => exceptionBits.contains(x._2)).foreach(_._1 := false.B) 2546ab6918fSYinan Xu if (!flushPipe) { ctrl.flushPipe := false.B } 2556ab6918fSYinan Xu if (!replayInst) { ctrl.replayInst := false.B } 256c88c3a2aSYinan Xu this 257c88c3a2aSYinan Xu } 258a19215ddSYinan Xu // Assume only the LUI instruction is decoded with IMM_U in ALU. 259a19215ddSYinan Xu def isLUI: Bool = ctrl.selImm === SelImm.IMM_U && ctrl.fuType === FuType.alu 260bcce877bSYinan Xu // This MicroOp is used to wakeup another uop (the successor: (psrc, srcType). 261bcce877bSYinan Xu def wakeup(successor: Seq[(UInt, UInt)], exuCfg: ExuConfig): Seq[(Bool, Bool)] = { 262bcce877bSYinan Xu successor.map{ case (src, srcType) => 263bcce877bSYinan Xu val pdestMatch = pdest === src 264bcce877bSYinan Xu // For state: no need to check whether src is x0/imm/pc because they are always ready. 265bcce877bSYinan Xu val rfStateMatch = if (exuCfg.readIntRf) ctrl.rfWen else false.B 266bcce877bSYinan Xu val fpMatch = if (exuCfg.readFpRf) ctrl.fpWen else false.B 267bcce877bSYinan Xu val bothIntFp = exuCfg.readIntRf && exuCfg.readFpRf 268bcce877bSYinan Xu val bothStateMatch = Mux(SrcType.regIsFp(srcType), fpMatch, rfStateMatch) 269bcce877bSYinan Xu val stateCond = pdestMatch && (if (bothIntFp) bothStateMatch else rfStateMatch || fpMatch) 270bcce877bSYinan Xu // For data: types are matched and int pdest is not $zero. 271bcce877bSYinan Xu val rfDataMatch = if (exuCfg.readIntRf) ctrl.rfWen && src =/= 0.U else false.B 272bcce877bSYinan Xu val dataCond = pdestMatch && (rfDataMatch && SrcType.isReg(srcType) || fpMatch && SrcType.isFp(srcType)) 273bcce877bSYinan Xu (stateCond, dataCond) 274bcce877bSYinan Xu } 275bcce877bSYinan Xu } 276bcce877bSYinan Xu // This MicroOp is used to wakeup another uop (the successor: MicroOp). 277bcce877bSYinan Xu def wakeup(successor: MicroOp, exuCfg: ExuConfig): Seq[(Bool, Bool)] = { 278bcce877bSYinan Xu wakeup(successor.psrc.zip(successor.ctrl.srcType), exuCfg) 279bcce877bSYinan Xu } 28074515c5aSYinan Xu def isJump: Bool = FuType.isJumpExu(ctrl.fuType) 2815844fcf0SLinJiawei} 2825844fcf0SLinJiawei 28346f74b57SHaojin Tangclass XSBundleWithMicroOp(implicit p: Parameters) extends XSBundle { 284de169c67SWilliam Wang val uop = new MicroOp 28546f74b57SHaojin Tang} 28646f74b57SHaojin Tang 28746f74b57SHaojin Tangclass MicroOpRbExt(implicit p: Parameters) extends XSBundleWithMicroOp { 288de169c67SWilliam Wang val flag = UInt(1.W) 289de169c67SWilliam Wang} 290de169c67SWilliam Wang 2912225d46eSJiawei Linclass Redirect(implicit p: Parameters) extends XSBundle { 2929aca92b9SYinan Xu val robIdx = new RobPtr 29336d7aed5SLinJiawei val ftqIdx = new FtqPtr 29436d7aed5SLinJiawei val ftqOffset = UInt(log2Up(PredictWidth).W) 295bfb958a3SYinan Xu val level = RedirectLevel() 296bfb958a3SYinan Xu val interrupt = Bool() 297c778d2afSLinJiawei val cfiUpdate = new CfiUpdateInfo 298bfb958a3SYinan Xu 299de169c67SWilliam Wang val stFtqIdx = new FtqPtr // for load violation predict 300de169c67SWilliam Wang val stFtqOffset = UInt(log2Up(PredictWidth).W) 301fe211d16SLinJiawei 30220edb3f7SWilliam Wang val debug_runahead_checkpoint_id = UInt(64.W) 30320edb3f7SWilliam Wang 3042d7c7105SYinan Xu // def isUnconditional() = RedirectLevel.isUnconditional(level) 305bfb958a3SYinan Xu def flushItself() = RedirectLevel.flushItself(level) 3062d7c7105SYinan Xu // def isException() = RedirectLevel.isException(level) 307a25b1bceSLinJiawei} 308a25b1bceSLinJiawei 3092225d46eSJiawei Linclass Dp1ToDp2IO(implicit p: Parameters) extends XSBundle { 3105c7b21d5SYinan Xu val intDqToDp2 = Vec(dpParams.IntDqDeqWidth, DecoupledIO(new MicroOp)) 3115c7b21d5SYinan Xu val fpDqToDp2 = Vec(dpParams.FpDqDeqWidth, DecoupledIO(new MicroOp)) 3125c7b21d5SYinan Xu val lsDqToDp2 = Vec(dpParams.LsDqDeqWidth, DecoupledIO(new MicroOp)) 3135844fcf0SLinJiawei} 3145844fcf0SLinJiawei 3152b4e8253SYinan Xuclass ResetPregStateReq(implicit p: Parameters) extends XSBundle { 31660deaca2SLinJiawei // NOTE: set isInt and isFp both to 'false' when invalid 31760deaca2SLinJiawei val isInt = Bool() 31860deaca2SLinJiawei val isFp = Bool() 31960deaca2SLinJiawei val preg = UInt(PhyRegIdxWidth.W) 3205844fcf0SLinJiawei} 3215844fcf0SLinJiawei 3222225d46eSJiawei Linclass DebugBundle(implicit p: Parameters) extends XSBundle { 32372235fa4SWilliam Wang val isMMIO = Bool() 3248635f18fSwangkaifan val isPerfCnt = Bool() 3258b91a337SWilliam Wang val paddr = UInt(PAddrBits.W) 32672951335SLi Qianruo val vaddr = UInt(VAddrBits.W) 3278744445eSMaxpicca-Li /* add L/S inst info in EXU */ 3288744445eSMaxpicca-Li // val L1toL2TlbLatency = UInt(XLEN.W) 3298744445eSMaxpicca-Li // val levelTlbHit = UInt(2.W) 330e402d94eSWilliam Wang} 3315844fcf0SLinJiawei 33246f74b57SHaojin Tangclass ExuInput(implicit p: Parameters) extends XSBundleWithMicroOp { 333dc597826SJiawei Lin val src = Vec(3, UInt(XLEN.W)) 3345844fcf0SLinJiawei} 3355844fcf0SLinJiawei 33646f74b57SHaojin Tangclass ExuOutput(implicit p: Parameters) extends XSBundleWithMicroOp { 337dc597826SJiawei Lin val data = UInt(XLEN.W) 3387f1506e3SLinJiawei val fflags = UInt(5.W) 33997cfa7f8SLinJiawei val redirectValid = Bool() 34097cfa7f8SLinJiawei val redirect = new Redirect 341e402d94eSWilliam Wang val debug = new DebugBundle 3425844fcf0SLinJiawei} 3435844fcf0SLinJiawei 3442225d46eSJiawei Linclass ExternalInterruptIO(implicit p: Parameters) extends XSBundle { 34535bfeecbSYinan Xu val mtip = Input(Bool()) 34635bfeecbSYinan Xu val msip = Input(Bool()) 34735bfeecbSYinan Xu val meip = Input(Bool()) 348b3d79b37SYinan Xu val seip = Input(Bool()) 349d4aca96cSlqre val debug = Input(Bool()) 3505844fcf0SLinJiawei} 3515844fcf0SLinJiawei 3522225d46eSJiawei Linclass CSRSpecialIO(implicit p: Parameters) extends XSBundle { 35335bfeecbSYinan Xu val exception = Flipped(ValidIO(new MicroOp)) 3543fa7b737SYinan Xu val isInterrupt = Input(Bool()) 35535bfeecbSYinan Xu val memExceptionVAddr = Input(UInt(VAddrBits.W)) 35635bfeecbSYinan Xu val trapTarget = Output(UInt(VAddrBits.W)) 35735bfeecbSYinan Xu val externalInterrupt = new ExternalInterruptIO 35835bfeecbSYinan Xu val interrupt = Output(Bool()) 35935bfeecbSYinan Xu} 36035bfeecbSYinan Xu 36146f74b57SHaojin Tangclass ExceptionInfo(implicit p: Parameters) extends XSBundleWithMicroOp { 3623a474d38SYinan Xu val isInterrupt = Bool() 3633a474d38SYinan Xu} 3643a474d38SYinan Xu 3659aca92b9SYinan Xuclass RobCommitInfo(implicit p: Parameters) extends XSBundle { 366fe6452fcSYinan Xu val ldest = UInt(5.W) 367fe6452fcSYinan Xu val rfWen = Bool() 368fe6452fcSYinan Xu val fpWen = Bool() 369a1fd7de4SLinJiawei val wflags = Bool() 370fe6452fcSYinan Xu val commitType = CommitType() 371fe6452fcSYinan Xu val pdest = UInt(PhyRegIdxWidth.W) 372fe6452fcSYinan Xu val old_pdest = UInt(PhyRegIdxWidth.W) 373884dbb3bSLinJiawei val ftqIdx = new FtqPtr 374884dbb3bSLinJiawei val ftqOffset = UInt(log2Up(PredictWidth).W) 375ccfddc82SHaojin Tang val isMove = Bool() 3765844fcf0SLinJiawei 3779ecac1e8SYinan Xu // these should be optimized for synthesis verilog 3789ecac1e8SYinan Xu val pc = UInt(VAddrBits.W) 379fe6452fcSYinan Xu} 3805844fcf0SLinJiawei 3819aca92b9SYinan Xuclass RobCommitIO(implicit p: Parameters) extends XSBundle { 382ccfddc82SHaojin Tang val isCommit = Bool() 383ccfddc82SHaojin Tang val commitValid = Vec(CommitWidth, Bool()) 3846474c47fSYinan Xu 385ccfddc82SHaojin Tang val isWalk = Bool() 386c51eab43SYinan Xu // valid bits optimized for walk 387ccfddc82SHaojin Tang val walkValid = Vec(CommitWidth, Bool()) 3886474c47fSYinan Xu 389ccfddc82SHaojin Tang val info = Vec(CommitWidth, new RobCommitInfo) 39021e7a6c5SYinan Xu 3916474c47fSYinan Xu def hasWalkInstr: Bool = isWalk && walkValid.asUInt.orR 3926474c47fSYinan Xu def hasCommitInstr: Bool = isCommit && commitValid.asUInt.orR 3935844fcf0SLinJiawei} 3945844fcf0SLinJiawei 3951b7adedcSWilliam Wangclass RSFeedback(implicit p: Parameters) extends XSBundle { 39664e8d8bdSZhangZifei val rsIdx = UInt(log2Up(IssQueSize).W) 397037a131fSWilliam Wang val hit = Bool() 39862f57a35SLemover val flushState = Bool() 3991b7adedcSWilliam Wang val sourceType = RSFeedbackType() 400c7160cd3SWilliam Wang val dataInvalidSqIdx = new SqPtr 401037a131fSWilliam Wang} 402037a131fSWilliam Wang 403d87b76aaSWilliam Wangclass MemRSFeedbackIO(implicit p: Parameters) extends XSBundle { 404d87b76aaSWilliam Wang // Note: you need to update in implicit Parameters p before imp MemRSFeedbackIO 405d87b76aaSWilliam Wang // for instance: MemRSFeedbackIO()(updateP) 406d87b76aaSWilliam Wang val feedbackSlow = ValidIO(new RSFeedback()) // dcache miss queue full, dtlb miss 407d87b76aaSWilliam Wang val feedbackFast = ValidIO(new RSFeedback()) // bank conflict 408d87b76aaSWilliam Wang val rsIdx = Input(UInt(log2Up(IssQueSize).W)) 409d87b76aaSWilliam Wang val isFirstIssue = Input(Bool()) 410d87b76aaSWilliam Wang} 411d87b76aaSWilliam Wang 412f06ca0bfSLingrui98class FrontendToCtrlIO(implicit p: Parameters) extends XSBundle { 4135844fcf0SLinJiawei // to backend end 4145844fcf0SLinJiawei val cfVec = Vec(DecodeWidth, DecoupledIO(new CtrlFlow)) 415f06ca0bfSLingrui98 val fromFtq = new FtqToCtrlIO 4165844fcf0SLinJiawei // from backend 417f06ca0bfSLingrui98 val toFtq = Flipped(new CtrlToFtqIO) 4181e3fad10SLinJiawei} 419fcff7e94SZhangZifei 420f1fe8698SLemoverclass SatpStruct(implicit p: Parameters) extends XSBundle { 42145f497a4Shappy-lx val mode = UInt(4.W) 42245f497a4Shappy-lx val asid = UInt(16.W) 42345f497a4Shappy-lx val ppn = UInt(44.W) 42445f497a4Shappy-lx} 42545f497a4Shappy-lx 426f1fe8698SLemoverclass TlbSatpBundle(implicit p: Parameters) extends SatpStruct { 42745f497a4Shappy-lx val changed = Bool() 42845f497a4Shappy-lx 42945f497a4Shappy-lx def apply(satp_value: UInt): Unit = { 43045f497a4Shappy-lx require(satp_value.getWidth == XLEN) 43145f497a4Shappy-lx val sa = satp_value.asTypeOf(new SatpStruct) 43245f497a4Shappy-lx mode := sa.mode 43345f497a4Shappy-lx asid := sa.asid 434f1fe8698SLemover ppn := Cat(0.U(44-PAddrBits), sa.ppn(PAddrBits-1, 0)).asUInt() 43545f497a4Shappy-lx changed := DataChanged(sa.asid) // when ppn is changed, software need do the flush 43645f497a4Shappy-lx } 437fcff7e94SZhangZifei} 438f1fe8698SLemover 439f1fe8698SLemoverclass TlbCsrBundle(implicit p: Parameters) extends XSBundle { 440f1fe8698SLemover val satp = new TlbSatpBundle() 441fcff7e94SZhangZifei val priv = new Bundle { 442fcff7e94SZhangZifei val mxr = Bool() 443fcff7e94SZhangZifei val sum = Bool() 444fcff7e94SZhangZifei val imode = UInt(2.W) 445fcff7e94SZhangZifei val dmode = UInt(2.W) 446fcff7e94SZhangZifei } 4478fc4e859SZhangZifei 4488fc4e859SZhangZifei override def toPrintable: Printable = { 4498fc4e859SZhangZifei p"Satp mode:0x${Hexadecimal(satp.mode)} asid:0x${Hexadecimal(satp.asid)} ppn:0x${Hexadecimal(satp.ppn)} " + 4508fc4e859SZhangZifei p"Priv mxr:${priv.mxr} sum:${priv.sum} imode:${priv.imode} dmode:${priv.dmode}" 4518fc4e859SZhangZifei } 452fcff7e94SZhangZifei} 453fcff7e94SZhangZifei 4542225d46eSJiawei Linclass SfenceBundle(implicit p: Parameters) extends XSBundle { 455fcff7e94SZhangZifei val valid = Bool() 456fcff7e94SZhangZifei val bits = new Bundle { 457fcff7e94SZhangZifei val rs1 = Bool() 458fcff7e94SZhangZifei val rs2 = Bool() 459fcff7e94SZhangZifei val addr = UInt(VAddrBits.W) 46045f497a4Shappy-lx val asid = UInt(AsidLength.W) 461f1fe8698SLemover val flushPipe = Bool() 462fcff7e94SZhangZifei } 4638fc4e859SZhangZifei 4648fc4e859SZhangZifei override def toPrintable: Printable = { 465f1fe8698SLemover p"valid:0x${Hexadecimal(valid)} rs1:${bits.rs1} rs2:${bits.rs2} addr:${Hexadecimal(bits.addr)}, flushPipe:${bits.flushPipe}" 4668fc4e859SZhangZifei } 467fcff7e94SZhangZifei} 468a165bd69Swangkaifan 469de169c67SWilliam Wang// Bundle for load violation predictor updating 470de169c67SWilliam Wangclass MemPredUpdateReq(implicit p: Parameters) extends XSBundle { 4712b8b2e7aSWilliam Wang val valid = Bool() 472de169c67SWilliam Wang 473de169c67SWilliam Wang // wait table update 474de169c67SWilliam Wang val waddr = UInt(MemPredPCWidth.W) 4752b8b2e7aSWilliam Wang val wdata = Bool() // true.B by default 476de169c67SWilliam Wang 477de169c67SWilliam Wang // store set update 478de169c67SWilliam Wang // by default, ldpc/stpc should be xor folded 479de169c67SWilliam Wang val ldpc = UInt(MemPredPCWidth.W) 480de169c67SWilliam Wang val stpc = UInt(MemPredPCWidth.W) 4812b8b2e7aSWilliam Wang} 4822b8b2e7aSWilliam Wang 4832225d46eSJiawei Linclass CustomCSRCtrlIO(implicit p: Parameters) extends XSBundle { 4842b8b2e7aSWilliam Wang // Prefetcher 485ecccf78fSJay val l1I_pf_enable = Output(Bool()) 4862b8b2e7aSWilliam Wang val l2_pf_enable = Output(Bool()) 48785de5caeSLinJiawei val l1D_pf_enable = Output(Bool()) 48885de5caeSLinJiawei val l1D_pf_train_on_hit = Output(Bool()) 48985de5caeSLinJiawei val l1D_pf_enable_agt = Output(Bool()) 49085de5caeSLinJiawei val l1D_pf_enable_pht = Output(Bool()) 4915d13017eSLinJiawei val l1D_pf_active_threshold = Output(UInt(4.W)) 4925d13017eSLinJiawei val l1D_pf_active_stride = Output(UInt(6.W)) 493edbf1204SLinJiawei val l1D_pf_enable_stride = Output(Bool()) 494f1d78cf7SLinJiawei val l2_pf_store_only = Output(Bool()) 495ecccf78fSJay // ICache 496ecccf78fSJay val icache_parity_enable = Output(Bool()) 497f3f22d72SYinan Xu // Labeled XiangShan 4982b8b2e7aSWilliam Wang val dsid = Output(UInt(8.W)) // TODO: DsidWidth as parameter 499f3f22d72SYinan Xu // Load violation predictor 5002b8b2e7aSWilliam Wang val lvpred_disable = Output(Bool()) 5012b8b2e7aSWilliam Wang val no_spec_load = Output(Bool()) 502c7160cd3SWilliam Wang val storeset_wait_store = Output(Bool()) 503c7160cd3SWilliam Wang val storeset_no_fast_wakeup = Output(Bool()) 504c7160cd3SWilliam Wang val lvpred_timeout = Output(UInt(5.W)) 505f3f22d72SYinan Xu // Branch predictor 5062b8b2e7aSWilliam Wang val bp_ctrl = Output(new BPUCtrl) 507f3f22d72SYinan Xu // Memory Block 508f3f22d72SYinan Xu val sbuffer_threshold = Output(UInt(4.W)) 509d10a581eSWilliam Wang val ldld_vio_check_enable = Output(Bool()) 510d10a581eSWilliam Wang val soft_prefetch_enable = Output(Bool()) 511a4e57ea3SLi Qianruo val cache_error_enable = Output(Bool()) 51237225120Ssfencevma val uncache_write_outstanding_enable = Output(Bool()) 513aac4464eSYinan Xu // Rename 5145b47c58cSYinan Xu val fusion_enable = Output(Bool()) 5155b47c58cSYinan Xu val wfi_enable = Output(Bool()) 516af2f7849Shappy-lx // Decode 517af2f7849Shappy-lx val svinval_enable = Output(Bool()) 518af2f7849Shappy-lx 519b6982e83SLemover // distribute csr write signal 520b6982e83SLemover val distribute_csr = new DistributedCSRIO() 52172951335SLi Qianruo 522ddb65c47SLi Qianruo val singlestep = Output(Bool()) 52372951335SLi Qianruo val frontend_trigger = new FrontendTdataDistributeIO() 52472951335SLi Qianruo val mem_trigger = new MemTdataDistributeIO() 52572951335SLi Qianruo val trigger_enable = Output(Vec(10, Bool())) 526b6982e83SLemover} 527b6982e83SLemover 528b6982e83SLemoverclass DistributedCSRIO(implicit p: Parameters) extends XSBundle { 5291c746d3aScui fliter // CSR has been written by csr inst, copies of csr should be updated 530b6982e83SLemover val w = ValidIO(new Bundle { 531b6982e83SLemover val addr = Output(UInt(12.W)) 532b6982e83SLemover val data = Output(UInt(XLEN.W)) 533b6982e83SLemover }) 5342b8b2e7aSWilliam Wang} 535e19f7967SWilliam Wang 536e19f7967SWilliam Wangclass DistributedCSRUpdateReq(implicit p: Parameters) extends XSBundle { 537e19f7967SWilliam Wang // Request csr to be updated 538e19f7967SWilliam Wang // 539e19f7967SWilliam Wang // Note that this request will ONLY update CSR Module it self, 540e19f7967SWilliam Wang // copies of csr will NOT be updated, use it with care! 541e19f7967SWilliam Wang // 542e19f7967SWilliam Wang // For each cycle, no more than 1 DistributedCSRUpdateReq is valid 543e19f7967SWilliam Wang val w = ValidIO(new Bundle { 544e19f7967SWilliam Wang val addr = Output(UInt(12.W)) 545e19f7967SWilliam Wang val data = Output(UInt(XLEN.W)) 546e19f7967SWilliam Wang }) 547e19f7967SWilliam Wang def apply(valid: Bool, addr: UInt, data: UInt, src_description: String) = { 548e19f7967SWilliam Wang when(valid){ 549e19f7967SWilliam Wang w.bits.addr := addr 550e19f7967SWilliam Wang w.bits.data := data 551e19f7967SWilliam Wang } 552e19f7967SWilliam Wang println("Distributed CSR update req registered for " + src_description) 553e19f7967SWilliam Wang } 554e19f7967SWilliam Wang} 55572951335SLi Qianruo 5560f59c834SWilliam Wangclass L1CacheErrorInfo(implicit p: Parameters) extends XSBundle { 5570f59c834SWilliam Wang // L1CacheErrorInfo is also used to encode customized CACHE_ERROR CSR 5580f59c834SWilliam Wang val source = Output(new Bundle() { 5590f59c834SWilliam Wang val tag = Bool() // l1 tag array 5600f59c834SWilliam Wang val data = Bool() // l1 data array 5610f59c834SWilliam Wang val l2 = Bool() 5620f59c834SWilliam Wang }) 5630f59c834SWilliam Wang val opType = Output(new Bundle() { 5640f59c834SWilliam Wang val fetch = Bool() 5650f59c834SWilliam Wang val load = Bool() 5660f59c834SWilliam Wang val store = Bool() 5670f59c834SWilliam Wang val probe = Bool() 5680f59c834SWilliam Wang val release = Bool() 5690f59c834SWilliam Wang val atom = Bool() 5700f59c834SWilliam Wang }) 5710f59c834SWilliam Wang val paddr = Output(UInt(PAddrBits.W)) 5720f59c834SWilliam Wang 5730f59c834SWilliam Wang // report error and paddr to beu 5740f59c834SWilliam Wang // bus error unit will receive error info iff ecc_error.valid 5750f59c834SWilliam Wang val report_to_beu = Output(Bool()) 5760f59c834SWilliam Wang 5770f59c834SWilliam Wang // there is an valid error 5780f59c834SWilliam Wang // l1 cache error will always be report to CACHE_ERROR csr 5790f59c834SWilliam Wang val valid = Output(Bool()) 5800f59c834SWilliam Wang 5810f59c834SWilliam Wang def toL1BusErrorUnitInfo(): L1BusErrorUnitInfo = { 5820f59c834SWilliam Wang val beu_info = Wire(new L1BusErrorUnitInfo) 5830f59c834SWilliam Wang beu_info.ecc_error.valid := report_to_beu 5840f59c834SWilliam Wang beu_info.ecc_error.bits := paddr 5850f59c834SWilliam Wang beu_info 5860f59c834SWilliam Wang } 5870f59c834SWilliam Wang} 588bc63e578SLi Qianruo 589bc63e578SLi Qianruo/* TODO how to trigger on next inst? 590bc63e578SLi Qianruo1. If hit is determined at frontend, then set a "next instr" trap at dispatch like singlestep 591bc63e578SLi Qianruo2. If it is determined at Load(meaning it must be "hit after", then it must not be a jump. So we can let it commit and set 592bc63e578SLi Qianruoxret csr to pc + 4/ + 2 593bc63e578SLi Qianruo2.5 The problem is to let it commit. This is the real TODO 594bc63e578SLi Qianruo3. If it is load and hit before just treat it as regular load exception 595bc63e578SLi Qianruo */ 596bc63e578SLi Qianruo 597bc63e578SLi Qianruo// This bundle carries trigger hit info along the pipeline 598bc63e578SLi Qianruo// Now there are 10 triggers divided into 5 groups of 2 599bc63e578SLi Qianruo// These groups are 600bc63e578SLi Qianruo// (if if) (store store) (load loid) (if store) (if load) 601bc63e578SLi Qianruo 602bc63e578SLi Qianruo// Triggers in the same group can chain, meaning that they only 603bc63e578SLi Qianruo// fire is both triggers in the group matches (the triggerHitVec bit is asserted) 604bc63e578SLi Qianruo// Chaining of trigger No. (2i) and (2i+1) is indicated by triggerChainVec(i) 605bc63e578SLi Qianruo// Timing of 0 means trap at current inst, 1 means trap at next inst 606bc63e578SLi Qianruo// Chaining and timing and the validness of a trigger is controlled by csr 607bc63e578SLi Qianruo// In two chained triggers, if they have different timing, both won't fire 60884e47f35SLi Qianruo//class TriggerCf (implicit p: Parameters) extends XSBundle { 60984e47f35SLi Qianruo// val triggerHitVec = Vec(10, Bool()) 61084e47f35SLi Qianruo// val triggerTiming = Vec(10, Bool()) 61184e47f35SLi Qianruo// val triggerChainVec = Vec(5, Bool()) 61284e47f35SLi Qianruo//} 61384e47f35SLi Qianruo 61472951335SLi Qianruoclass TriggerCf(implicit p: Parameters) extends XSBundle { 61584e47f35SLi Qianruo // frontend 61684e47f35SLi Qianruo val frontendHit = Vec(4, Bool()) 617ddb65c47SLi Qianruo// val frontendTiming = Vec(4, Bool()) 618ddb65c47SLi Qianruo// val frontendHitNext = Vec(4, Bool()) 61984e47f35SLi Qianruo 620ddb65c47SLi Qianruo// val frontendException = Bool() 62184e47f35SLi Qianruo // backend 62284e47f35SLi Qianruo val backendEn = Vec(2, Bool()) // Hit(6) && chain(4) , Hit(8) && chain(4) 62384e47f35SLi Qianruo val backendHit = Vec(6, Bool()) 624ddb65c47SLi Qianruo// val backendTiming = Vec(6, Bool()) // trigger enable fro chain 62584e47f35SLi Qianruo 62684e47f35SLi Qianruo // Two situations not allowed: 62784e47f35SLi Qianruo // 1. load data comparison 62884e47f35SLi Qianruo // 2. store chaining with store 62984e47f35SLi Qianruo def getHitFrontend = frontendHit.reduce(_ || _) 63084e47f35SLi Qianruo def getHitBackend = backendHit.reduce(_ || _) 631ddb65c47SLi Qianruo def hit = getHitFrontend || getHitBackend 632d7dd1af1SLi Qianruo def clear(): Unit = { 633d7dd1af1SLi Qianruo frontendHit.foreach(_ := false.B) 634d7dd1af1SLi Qianruo backendEn.foreach(_ := false.B) 635d7dd1af1SLi Qianruo backendHit.foreach(_ := false.B) 636d7dd1af1SLi Qianruo } 63772951335SLi Qianruo} 63872951335SLi Qianruo 639bc63e578SLi Qianruo// these 3 bundles help distribute trigger control signals from CSR 640bc63e578SLi Qianruo// to Frontend, Load and Store. 64172951335SLi Qianruoclass FrontendTdataDistributeIO(implicit p: Parameters) extends XSBundle { 64272951335SLi Qianruo val t = Valid(new Bundle { 64372951335SLi Qianruo val addr = Output(UInt(2.W)) 64472951335SLi Qianruo val tdata = new MatchTriggerIO 64572951335SLi Qianruo }) 64672951335SLi Qianruo } 64772951335SLi Qianruo 64872951335SLi Qianruoclass MemTdataDistributeIO(implicit p: Parameters) extends XSBundle { 64972951335SLi Qianruo val t = Valid(new Bundle { 65072951335SLi Qianruo val addr = Output(UInt(3.W)) 65172951335SLi Qianruo val tdata = new MatchTriggerIO 65272951335SLi Qianruo }) 65372951335SLi Qianruo} 65472951335SLi Qianruo 65572951335SLi Qianruoclass MatchTriggerIO(implicit p: Parameters) extends XSBundle { 65672951335SLi Qianruo val matchType = Output(UInt(2.W)) 65772951335SLi Qianruo val select = Output(Bool()) 65872951335SLi Qianruo val timing = Output(Bool()) 65972951335SLi Qianruo val action = Output(Bool()) 66072951335SLi Qianruo val chain = Output(Bool()) 66172951335SLi Qianruo val tdata2 = Output(UInt(64.W)) 66272951335SLi Qianruo} 663