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._ 35b0ae3ac4SLinJiawei 362fbdb79bSLingrui98import scala.math.max 37d471c5aeSLingrui98import Chisel.experimental.chiselName 382225d46eSJiawei Linimport chipsalliance.rocketchip.config.Parameters 3988825c5cSYinan Xuimport chisel3.util.BitPat.bitPatToUInt 40bcce877bSYinan Xuimport xiangshan.backend.exu.ExuConfig 41b6982e83SLemoverimport xiangshan.backend.fu.PMPEntry 4214a6653fSLingrui98import xiangshan.frontend.Ftq_Redirect_SRAMEntry 43dd6c0695SLingrui98import xiangshan.frontend.AllFoldedHistories 4467402d75SLingrui98import xiangshan.frontend.AllAheadFoldedHistoryOldestBits 451e3fad10SLinJiawei 46627c0a19Szhanglinjuanclass ValidUndirectioned[T <: Data](gen: T) extends Bundle { 473803411bSzhanglinjuan val valid = Bool() 4835fe60e8SLingrui98 val bits = gen.cloneType.asInstanceOf[T] 49fe211d16SLinJiawei 503803411bSzhanglinjuan} 513803411bSzhanglinjuan 52627c0a19Szhanglinjuanobject ValidUndirectioned { 53627c0a19Szhanglinjuan def apply[T <: Data](gen: T) = { 54627c0a19Szhanglinjuan new ValidUndirectioned[T](gen) 553803411bSzhanglinjuan } 563803411bSzhanglinjuan} 573803411bSzhanglinjuan 581b7adedcSWilliam Wangobject RSFeedbackType { 5967682d05SWilliam Wang val tlbMiss = 0.U(3.W) 6067682d05SWilliam Wang val mshrFull = 1.U(3.W) 6167682d05SWilliam Wang val dataInvalid = 2.U(3.W) 6267682d05SWilliam Wang val bankConflict = 3.U(3.W) 6367682d05SWilliam Wang val ldVioCheckRedo = 4.U(3.W) 641b7adedcSWilliam Wang 6567682d05SWilliam Wang def apply() = UInt(3.W) 661b7adedcSWilliam Wang} 671b7adedcSWilliam Wang 682225d46eSJiawei Linclass PredictorAnswer(implicit p: Parameters) extends XSBundle { 69097c2688SLingrui98 val hit = if (!env.FPGAPlatform) Bool() else UInt(0.W) 70097c2688SLingrui98 val taken = if (!env.FPGAPlatform) Bool() else UInt(0.W) 71097c2688SLingrui98 val target = if (!env.FPGAPlatform) UInt(VAddrBits.W) else UInt(0.W) 7251b2a476Szoujr} 7351b2a476Szoujr 742225d46eSJiawei Linclass CfiUpdateInfo(implicit p: Parameters) extends XSBundle with HasBPUParameter { 75f226232fSzhanglinjuan // from backend 7669cafcc9SLingrui98 val pc = UInt(VAddrBits.W) 77f226232fSzhanglinjuan // frontend -> backend -> frontend 78f226232fSzhanglinjuan val pd = new PreDecodeInfo 798a5e9243SLinJiawei val rasSp = UInt(log2Up(RasSize).W) 802e947747SLinJiawei val rasEntry = new RASEntry 81c2ad24ebSLingrui98 // val hist = new ShiftingGlobalHistory 82dd6c0695SLingrui98 val folded_hist = new AllFoldedHistories(foldedGHistInfos) 8367402d75SLingrui98 val afhob = new AllAheadFoldedHistoryOldestBits(foldedGHistInfos) 8467402d75SLingrui98 val lastBrNumOH = UInt((numBr+1).W) 85b37e4b45SLingrui98 val ghr = UInt(UbtbGHRLength.W) 86c2ad24ebSLingrui98 val histPtr = new CGHPtr 87e7b046c5Szoujr val specCnt = Vec(numBr, UInt(10.W)) 88fe3a74fcSYinan Xu // need pipeline update 898a597714Szoujr val br_hit = Bool() 902e947747SLinJiawei val predTaken = Bool() 91b2e6921eSLinJiawei val target = UInt(VAddrBits.W) 929a2e6b8aSLinJiawei val taken = Bool() 93b2e6921eSLinJiawei val isMisPred = Bool() 94d0527adfSzoujr val shift = UInt((log2Ceil(numBr)+1).W) 95d0527adfSzoujr val addIntoHist = Bool() 9614a6653fSLingrui98 9714a6653fSLingrui98 def fromFtqRedirectSram(entry: Ftq_Redirect_SRAMEntry) = { 98c2ad24ebSLingrui98 // this.hist := entry.ghist 99dd6c0695SLingrui98 this.folded_hist := entry.folded_hist 10067402d75SLingrui98 this.lastBrNumOH := entry.lastBrNumOH 10167402d75SLingrui98 this.afhob := entry.afhob 102c2ad24ebSLingrui98 this.histPtr := entry.histPtr 10314a6653fSLingrui98 this.rasSp := entry.rasSp 10414a6653fSLingrui98 this.rasEntry := entry.rasEntry 10514a6653fSLingrui98 this 10614a6653fSLingrui98 } 107b2e6921eSLinJiawei} 108b2e6921eSLinJiawei 1095844fcf0SLinJiawei// Dequeue DecodeWidth insts from Ibuffer 110de169c67SWilliam Wangclass CtrlFlow(implicit p: Parameters) extends XSBundle { 1115844fcf0SLinJiawei val instr = UInt(32.W) 1125844fcf0SLinJiawei val pc = UInt(VAddrBits.W) 113de169c67SWilliam Wang val foldpc = UInt(MemPredPCWidth.W) 114baf8def6SYinan Xu val exceptionVec = ExceptionVec() 11572951335SLi Qianruo val trigger = new TriggerCf 1165844fcf0SLinJiawei val intrVec = Vec(12, Bool()) 117faf3cfa9SLinJiawei val pd = new PreDecodeInfo 118cde9280dSLinJiawei val pred_taken = Bool() 119c84054caSLinJiawei val crossPageIPFFix = Bool() 120de169c67SWilliam Wang val storeSetHit = Bool() // inst has been allocated an store set 121980c1bc3SWilliam Wang val waitForRobIdx = new RobPtr // store set predicted previous store robIdx 122d1fe0262SWilliam Wang // Load wait is needed 123d1fe0262SWilliam Wang // load inst will not be executed until former store (predicted by mdp) addr calcuated 124d1fe0262SWilliam Wang val loadWaitBit = Bool() 125d1fe0262SWilliam Wang // If (loadWaitBit && loadWaitStrict), strict load wait is needed 126d1fe0262SWilliam Wang // load inst will not be executed until ALL former store addr calcuated 127d1fe0262SWilliam Wang val loadWaitStrict = Bool() 128de169c67SWilliam Wang val ssid = UInt(SSIDWidth.W) 129884dbb3bSLinJiawei val ftqPtr = new FtqPtr 130884dbb3bSLinJiawei val ftqOffset = UInt(log2Up(PredictWidth).W) 1311f0e2dc7SJiawei Lin // This inst will flush all the pipe when it is the oldest inst in ROB, 1321f0e2dc7SJiawei Lin // then replay from this inst itself 1331f0e2dc7SJiawei Lin val replayInst = Bool() 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 { 15620e31bd1SYinan Xu val srcType = Vec(3, SrcType()) 15720e31bd1SYinan Xu val lsrc = Vec(3, UInt(5.W)) 1589a2e6b8aSLinJiawei val ldest = UInt(5.W) 1599a2e6b8aSLinJiawei val fuType = FuType() 1609a2e6b8aSLinJiawei val fuOpType = FuOpType() 1619a2e6b8aSLinJiawei val rfWen = Bool() 1629a2e6b8aSLinJiawei val fpWen = Bool() 1639a2e6b8aSLinJiawei val isXSTrap = Bool() 1642d366136SLinJiawei val noSpecExec = Bool() // wait forward 1652d366136SLinJiawei val blockBackward = Bool() // block backward 16645a56a29SZhangZifei val flushPipe = Bool() // This inst will flush all the pipe when commit, like exception but can commit 167c2a8ae00SYikeZhou val selImm = SelImm() 168b0ae3ac4SLinJiawei val imm = UInt(ImmUnion.maxLen.W) 169a3edac52SYinan Xu val commitType = CommitType() 170579b9f28SLinJiawei val fpu = new FPUCtrlSignals 171aac4464eSYinan Xu val isMove = Bool() 172d4aca96cSlqre val singleStep = Bool() 173c88c3a2aSYinan Xu // This inst will flush all the pipe when it is the oldest inst in ROB, 174c88c3a2aSYinan Xu // then replay from this inst itself 175c88c3a2aSYinan Xu val replayInst = Bool() 176be25371aSYikeZhou 17788825c5cSYinan Xu private def allSignals = srcType ++ Seq(fuType, fuOpType, rfWen, fpWen, 1786e7c9679Shuxuan0307 isXSTrap, noSpecExec, blockBackward, flushPipe, selImm) 17988825c5cSYinan Xu 18088825c5cSYinan Xu def decode(inst: UInt, table: Iterable[(BitPat, List[BitPat])]): CtrlSignals = { 18188825c5cSYinan Xu val decoder = freechips.rocketchip.rocket.DecodeLogic(inst, XDecode.decodeDefault, table) 18288825c5cSYinan Xu allSignals zip decoder foreach { case (s, d) => s := d } 1834d24c305SYikeZhou commitType := DontCare 184be25371aSYikeZhou this 185be25371aSYikeZhou } 18688825c5cSYinan Xu 18788825c5cSYinan Xu def decode(bit: List[BitPat]): CtrlSignals = { 18888825c5cSYinan Xu allSignals.zip(bit.map(bitPatToUInt(_))).foreach{ case (s, d) => s := d } 18988825c5cSYinan Xu this 19088825c5cSYinan Xu } 191b6900d94SYinan Xu 192b6900d94SYinan Xu def isWFI: Bool = fuType === FuType.csr && fuOpType === CSROpType.wfi 193*f025d715SYinan Xu def isSoftPrefetch: Bool = { 194*f025d715SYinan Xu fuType === FuType.alu && fuOpType === ALUOpType.or && selImm === SelImm.IMM_I && ldest === 0.U 195*f025d715SYinan Xu } 1965844fcf0SLinJiawei} 1975844fcf0SLinJiawei 1982225d46eSJiawei Linclass CfCtrl(implicit p: Parameters) extends XSBundle { 1995844fcf0SLinJiawei val cf = new CtrlFlow 2005844fcf0SLinJiawei val ctrl = new CtrlSignals 2015844fcf0SLinJiawei} 2025844fcf0SLinJiawei 2032225d46eSJiawei Linclass PerfDebugInfo(implicit p: Parameters) extends XSBundle { 2048b8e745dSYikeZhou val eliminatedMove = Bool() 205ba4100caSYinan Xu // val fetchTime = UInt(64.W) 206ebb8ebf8SYinan Xu val renameTime = UInt(XLEN.W) 207ebb8ebf8SYinan Xu val dispatchTime = UInt(XLEN.W) 208ebb8ebf8SYinan Xu val enqRsTime = UInt(XLEN.W) 209ebb8ebf8SYinan Xu val selectTime = UInt(XLEN.W) 210ebb8ebf8SYinan Xu val issueTime = UInt(XLEN.W) 211ebb8ebf8SYinan Xu val writebackTime = UInt(XLEN.W) 2127cef916fSYinan Xu // val commitTime = UInt(64.W) 21320edb3f7SWilliam Wang val runahead_checkpoint_id = UInt(64.W) 214ba4100caSYinan Xu} 215ba4100caSYinan Xu 21648d1472eSWilliam Wang// Separate LSQ 2172225d46eSJiawei Linclass LSIdx(implicit p: Parameters) extends XSBundle { 218915c0dd4SYinan Xu val lqIdx = new LqPtr 2195c1ae31bSYinan Xu val sqIdx = new SqPtr 22024726fbfSWilliam Wang} 22124726fbfSWilliam Wang 222b2e6921eSLinJiawei// CfCtrl -> MicroOp at Rename Stage 2232225d46eSJiawei Linclass MicroOp(implicit p: Parameters) extends CfCtrl { 22420e31bd1SYinan Xu val srcState = Vec(3, SrcState()) 22520e31bd1SYinan Xu val psrc = Vec(3, UInt(PhyRegIdxWidth.W)) 22620e31bd1SYinan Xu val pdest = UInt(PhyRegIdxWidth.W) 22720e31bd1SYinan Xu val old_pdest = UInt(PhyRegIdxWidth.W) 2289aca92b9SYinan Xu val robIdx = new RobPtr 229fe6452fcSYinan Xu val lqIdx = new LqPtr 230fe6452fcSYinan Xu val sqIdx = new SqPtr 2318b8e745dSYikeZhou val eliminatedMove = Bool() 2327cef916fSYinan Xu val debugInfo = new PerfDebugInfo 2339d4e1137SYinan Xu def needRfRPort(index: Int, isFp: Boolean, ignoreState: Boolean = true) : Bool = { 234bcce877bSYinan Xu val stateReady = srcState(index) === SrcState.rdy || ignoreState.B 235bcce877bSYinan Xu val readReg = if (isFp) { 236bcce877bSYinan Xu ctrl.srcType(index) === SrcType.fp 237bcce877bSYinan Xu } else { 238bcce877bSYinan Xu ctrl.srcType(index) === SrcType.reg && ctrl.lsrc(index) =/= 0.U 239a338f247SYinan Xu } 240bcce877bSYinan Xu readReg && stateReady 241a338f247SYinan Xu } 2425c7674feSYinan Xu def srcIsReady: Vec[Bool] = { 243c9ebdf90SYinan Xu VecInit(ctrl.srcType.zip(srcState).map{ case (t, s) => SrcType.isPcOrImm(t) || s === SrcState.rdy }) 2445c7674feSYinan Xu } 2456ab6918fSYinan Xu def clearExceptions( 2466ab6918fSYinan Xu exceptionBits: Seq[Int] = Seq(), 2476ab6918fSYinan Xu flushPipe: Boolean = false, 2486ab6918fSYinan Xu replayInst: Boolean = false 2496ab6918fSYinan Xu ): MicroOp = { 2506ab6918fSYinan Xu cf.exceptionVec.zipWithIndex.filterNot(x => exceptionBits.contains(x._2)).foreach(_._1 := false.B) 2516ab6918fSYinan Xu if (!flushPipe) { ctrl.flushPipe := false.B } 2526ab6918fSYinan Xu if (!replayInst) { ctrl.replayInst := false.B } 253c88c3a2aSYinan Xu this 254c88c3a2aSYinan Xu } 255a19215ddSYinan Xu // Assume only the LUI instruction is decoded with IMM_U in ALU. 256a19215ddSYinan Xu def isLUI: Bool = ctrl.selImm === SelImm.IMM_U && ctrl.fuType === FuType.alu 257bcce877bSYinan Xu // This MicroOp is used to wakeup another uop (the successor: (psrc, srcType). 258bcce877bSYinan Xu def wakeup(successor: Seq[(UInt, UInt)], exuCfg: ExuConfig): Seq[(Bool, Bool)] = { 259bcce877bSYinan Xu successor.map{ case (src, srcType) => 260bcce877bSYinan Xu val pdestMatch = pdest === src 261bcce877bSYinan Xu // For state: no need to check whether src is x0/imm/pc because they are always ready. 262bcce877bSYinan Xu val rfStateMatch = if (exuCfg.readIntRf) ctrl.rfWen else false.B 263bcce877bSYinan Xu val fpMatch = if (exuCfg.readFpRf) ctrl.fpWen else false.B 264bcce877bSYinan Xu val bothIntFp = exuCfg.readIntRf && exuCfg.readFpRf 265bcce877bSYinan Xu val bothStateMatch = Mux(SrcType.regIsFp(srcType), fpMatch, rfStateMatch) 266bcce877bSYinan Xu val stateCond = pdestMatch && (if (bothIntFp) bothStateMatch else rfStateMatch || fpMatch) 267bcce877bSYinan Xu // For data: types are matched and int pdest is not $zero. 268bcce877bSYinan Xu val rfDataMatch = if (exuCfg.readIntRf) ctrl.rfWen && src =/= 0.U else false.B 269bcce877bSYinan Xu val dataCond = pdestMatch && (rfDataMatch && SrcType.isReg(srcType) || fpMatch && SrcType.isFp(srcType)) 270bcce877bSYinan Xu (stateCond, dataCond) 271bcce877bSYinan Xu } 272bcce877bSYinan Xu } 273bcce877bSYinan Xu // This MicroOp is used to wakeup another uop (the successor: MicroOp). 274bcce877bSYinan Xu def wakeup(successor: MicroOp, exuCfg: ExuConfig): Seq[(Bool, Bool)] = { 275bcce877bSYinan Xu wakeup(successor.psrc.zip(successor.ctrl.srcType), exuCfg) 276bcce877bSYinan Xu } 27774515c5aSYinan Xu def isJump: Bool = FuType.isJumpExu(ctrl.fuType) 2785844fcf0SLinJiawei} 2795844fcf0SLinJiawei 28046f74b57SHaojin Tangclass XSBundleWithMicroOp(implicit p: Parameters) extends XSBundle { 281de169c67SWilliam Wang val uop = new MicroOp 28246f74b57SHaojin Tang} 28346f74b57SHaojin Tang 28446f74b57SHaojin Tangclass MicroOpRbExt(implicit p: Parameters) extends XSBundleWithMicroOp { 285de169c67SWilliam Wang val flag = UInt(1.W) 286de169c67SWilliam Wang} 287de169c67SWilliam Wang 2882225d46eSJiawei Linclass Redirect(implicit p: Parameters) extends XSBundle { 2899aca92b9SYinan Xu val robIdx = new RobPtr 29036d7aed5SLinJiawei val ftqIdx = new FtqPtr 29136d7aed5SLinJiawei val ftqOffset = UInt(log2Up(PredictWidth).W) 292bfb958a3SYinan Xu val level = RedirectLevel() 293bfb958a3SYinan Xu val interrupt = Bool() 294c778d2afSLinJiawei val cfiUpdate = new CfiUpdateInfo 295bfb958a3SYinan Xu 296de169c67SWilliam Wang val stFtqIdx = new FtqPtr // for load violation predict 297de169c67SWilliam Wang val stFtqOffset = UInt(log2Up(PredictWidth).W) 298fe211d16SLinJiawei 29920edb3f7SWilliam Wang val debug_runahead_checkpoint_id = UInt(64.W) 30020edb3f7SWilliam Wang 3012d7c7105SYinan Xu // def isUnconditional() = RedirectLevel.isUnconditional(level) 302bfb958a3SYinan Xu def flushItself() = RedirectLevel.flushItself(level) 3032d7c7105SYinan Xu // def isException() = RedirectLevel.isException(level) 304a25b1bceSLinJiawei} 305a25b1bceSLinJiawei 3062225d46eSJiawei Linclass Dp1ToDp2IO(implicit p: Parameters) extends XSBundle { 3075c7b21d5SYinan Xu val intDqToDp2 = Vec(dpParams.IntDqDeqWidth, DecoupledIO(new MicroOp)) 3085c7b21d5SYinan Xu val fpDqToDp2 = Vec(dpParams.FpDqDeqWidth, DecoupledIO(new MicroOp)) 3095c7b21d5SYinan Xu val lsDqToDp2 = Vec(dpParams.LsDqDeqWidth, DecoupledIO(new MicroOp)) 3105844fcf0SLinJiawei} 3115844fcf0SLinJiawei 3122b4e8253SYinan Xuclass ResetPregStateReq(implicit p: Parameters) extends XSBundle { 31360deaca2SLinJiawei // NOTE: set isInt and isFp both to 'false' when invalid 31460deaca2SLinJiawei val isInt = Bool() 31560deaca2SLinJiawei val isFp = Bool() 31660deaca2SLinJiawei val preg = UInt(PhyRegIdxWidth.W) 3175844fcf0SLinJiawei} 3185844fcf0SLinJiawei 3192225d46eSJiawei Linclass DebugBundle(implicit p: Parameters) extends XSBundle { 32072235fa4SWilliam Wang val isMMIO = Bool() 3218635f18fSwangkaifan val isPerfCnt = Bool() 3228b91a337SWilliam Wang val paddr = UInt(PAddrBits.W) 32372951335SLi Qianruo val vaddr = UInt(VAddrBits.W) 324e402d94eSWilliam Wang} 3255844fcf0SLinJiawei 32646f74b57SHaojin Tangclass ExuInput(implicit p: Parameters) extends XSBundleWithMicroOp { 327dc597826SJiawei Lin val src = Vec(3, UInt(XLEN.W)) 3285844fcf0SLinJiawei} 3295844fcf0SLinJiawei 33046f74b57SHaojin Tangclass ExuOutput(implicit p: Parameters) extends XSBundleWithMicroOp { 331dc597826SJiawei Lin val data = UInt(XLEN.W) 3327f1506e3SLinJiawei val fflags = UInt(5.W) 33397cfa7f8SLinJiawei val redirectValid = Bool() 33497cfa7f8SLinJiawei val redirect = new Redirect 335e402d94eSWilliam Wang val debug = new DebugBundle 3365844fcf0SLinJiawei} 3375844fcf0SLinJiawei 3382225d46eSJiawei Linclass ExternalInterruptIO(implicit p: Parameters) extends XSBundle { 33935bfeecbSYinan Xu val mtip = Input(Bool()) 34035bfeecbSYinan Xu val msip = Input(Bool()) 34135bfeecbSYinan Xu val meip = Input(Bool()) 342b3d79b37SYinan Xu val seip = Input(Bool()) 343d4aca96cSlqre val debug = Input(Bool()) 3445844fcf0SLinJiawei} 3455844fcf0SLinJiawei 3462225d46eSJiawei Linclass CSRSpecialIO(implicit p: Parameters) extends XSBundle { 34735bfeecbSYinan Xu val exception = Flipped(ValidIO(new MicroOp)) 3483fa7b737SYinan Xu val isInterrupt = Input(Bool()) 34935bfeecbSYinan Xu val memExceptionVAddr = Input(UInt(VAddrBits.W)) 35035bfeecbSYinan Xu val trapTarget = Output(UInt(VAddrBits.W)) 35135bfeecbSYinan Xu val externalInterrupt = new ExternalInterruptIO 35235bfeecbSYinan Xu val interrupt = Output(Bool()) 35335bfeecbSYinan Xu} 35435bfeecbSYinan Xu 35546f74b57SHaojin Tangclass ExceptionInfo(implicit p: Parameters) extends XSBundleWithMicroOp { 3563a474d38SYinan Xu val isInterrupt = Bool() 3573a474d38SYinan Xu} 3583a474d38SYinan Xu 3599aca92b9SYinan Xuclass RobCommitInfo(implicit p: Parameters) extends XSBundle { 360fe6452fcSYinan Xu val ldest = UInt(5.W) 361fe6452fcSYinan Xu val rfWen = Bool() 362fe6452fcSYinan Xu val fpWen = Bool() 363a1fd7de4SLinJiawei val wflags = Bool() 364fe6452fcSYinan Xu val commitType = CommitType() 365fe6452fcSYinan Xu val pdest = UInt(PhyRegIdxWidth.W) 366fe6452fcSYinan Xu val old_pdest = UInt(PhyRegIdxWidth.W) 367884dbb3bSLinJiawei val ftqIdx = new FtqPtr 368884dbb3bSLinJiawei val ftqOffset = UInt(log2Up(PredictWidth).W) 3695844fcf0SLinJiawei 3709ecac1e8SYinan Xu // these should be optimized for synthesis verilog 3719ecac1e8SYinan Xu val pc = UInt(VAddrBits.W) 372fe6452fcSYinan Xu} 3735844fcf0SLinJiawei 3749aca92b9SYinan Xuclass RobCommitIO(implicit p: Parameters) extends XSBundle { 37521e7a6c5SYinan Xu val isWalk = Output(Bool()) 37621e7a6c5SYinan Xu val valid = Vec(CommitWidth, Output(Bool())) 377c51eab43SYinan Xu // valid bits optimized for walk 378c51eab43SYinan Xu val walkValid = Vec(CommitWidth, Output(Bool())) 3799aca92b9SYinan Xu val info = Vec(CommitWidth, Output(new RobCommitInfo)) 38021e7a6c5SYinan Xu 38121e7a6c5SYinan Xu def hasWalkInstr = isWalk && valid.asUInt.orR 382fe211d16SLinJiawei 38321e7a6c5SYinan Xu def hasCommitInstr = !isWalk && valid.asUInt.orR 3845844fcf0SLinJiawei} 3855844fcf0SLinJiawei 3861b7adedcSWilliam Wangclass RSFeedback(implicit p: Parameters) extends XSBundle { 38764e8d8bdSZhangZifei val rsIdx = UInt(log2Up(IssQueSize).W) 388037a131fSWilliam Wang val hit = Bool() 38962f57a35SLemover val flushState = Bool() 3901b7adedcSWilliam Wang val sourceType = RSFeedbackType() 391c7160cd3SWilliam Wang val dataInvalidSqIdx = new SqPtr 392037a131fSWilliam Wang} 393037a131fSWilliam Wang 394d87b76aaSWilliam Wangclass MemRSFeedbackIO(implicit p: Parameters) extends XSBundle { 395d87b76aaSWilliam Wang // Note: you need to update in implicit Parameters p before imp MemRSFeedbackIO 396d87b76aaSWilliam Wang // for instance: MemRSFeedbackIO()(updateP) 397d87b76aaSWilliam Wang val feedbackSlow = ValidIO(new RSFeedback()) // dcache miss queue full, dtlb miss 398d87b76aaSWilliam Wang val feedbackFast = ValidIO(new RSFeedback()) // bank conflict 399d87b76aaSWilliam Wang val rsIdx = Input(UInt(log2Up(IssQueSize).W)) 400d87b76aaSWilliam Wang val isFirstIssue = Input(Bool()) 401d87b76aaSWilliam Wang} 402d87b76aaSWilliam Wang 403f06ca0bfSLingrui98class FrontendToCtrlIO(implicit p: Parameters) extends XSBundle { 4045844fcf0SLinJiawei // to backend end 4055844fcf0SLinJiawei val cfVec = Vec(DecodeWidth, DecoupledIO(new CtrlFlow)) 406f06ca0bfSLingrui98 val fromFtq = new FtqToCtrlIO 4075844fcf0SLinJiawei // from backend 408f06ca0bfSLingrui98 val toFtq = Flipped(new CtrlToFtqIO) 4091e3fad10SLinJiawei} 410fcff7e94SZhangZifei 41145f497a4Shappy-lxclass SatpStruct extends Bundle { 41245f497a4Shappy-lx val mode = UInt(4.W) 41345f497a4Shappy-lx val asid = UInt(16.W) 41445f497a4Shappy-lx val ppn = UInt(44.W) 41545f497a4Shappy-lx} 41645f497a4Shappy-lx 4172225d46eSJiawei Linclass TlbCsrBundle(implicit p: Parameters) extends XSBundle { 418fcff7e94SZhangZifei val satp = new Bundle { 41945f497a4Shappy-lx val changed = Bool() 420fcff7e94SZhangZifei val mode = UInt(4.W) // TODO: may change number to parameter 421fcff7e94SZhangZifei val asid = UInt(16.W) 422fcff7e94SZhangZifei val ppn = UInt(44.W) // just use PAddrBits - 3 - vpnnLen 42345f497a4Shappy-lx 42445f497a4Shappy-lx def apply(satp_value: UInt): Unit = { 42545f497a4Shappy-lx require(satp_value.getWidth == XLEN) 42645f497a4Shappy-lx val sa = satp_value.asTypeOf(new SatpStruct) 42745f497a4Shappy-lx mode := sa.mode 42845f497a4Shappy-lx asid := sa.asid 42945f497a4Shappy-lx ppn := sa.ppn 43045f497a4Shappy-lx changed := DataChanged(sa.asid) // when ppn is changed, software need do the flush 43145f497a4Shappy-lx } 432fcff7e94SZhangZifei } 433fcff7e94SZhangZifei val priv = new Bundle { 434fcff7e94SZhangZifei val mxr = Bool() 435fcff7e94SZhangZifei val sum = Bool() 436fcff7e94SZhangZifei val imode = UInt(2.W) 437fcff7e94SZhangZifei val dmode = UInt(2.W) 438fcff7e94SZhangZifei } 4398fc4e859SZhangZifei 4408fc4e859SZhangZifei override def toPrintable: Printable = { 4418fc4e859SZhangZifei p"Satp mode:0x${Hexadecimal(satp.mode)} asid:0x${Hexadecimal(satp.asid)} ppn:0x${Hexadecimal(satp.ppn)} " + 4428fc4e859SZhangZifei p"Priv mxr:${priv.mxr} sum:${priv.sum} imode:${priv.imode} dmode:${priv.dmode}" 4438fc4e859SZhangZifei } 444fcff7e94SZhangZifei} 445fcff7e94SZhangZifei 4462225d46eSJiawei Linclass SfenceBundle(implicit p: Parameters) extends XSBundle { 447fcff7e94SZhangZifei val valid = Bool() 448fcff7e94SZhangZifei val bits = new Bundle { 449fcff7e94SZhangZifei val rs1 = Bool() 450fcff7e94SZhangZifei val rs2 = Bool() 451fcff7e94SZhangZifei val addr = UInt(VAddrBits.W) 45245f497a4Shappy-lx val asid = UInt(AsidLength.W) 453fcff7e94SZhangZifei } 4548fc4e859SZhangZifei 4558fc4e859SZhangZifei override def toPrintable: Printable = { 4568fc4e859SZhangZifei p"valid:0x${Hexadecimal(valid)} rs1:${bits.rs1} rs2:${bits.rs2} addr:${Hexadecimal(bits.addr)}" 4578fc4e859SZhangZifei } 458fcff7e94SZhangZifei} 459a165bd69Swangkaifan 460de169c67SWilliam Wang// Bundle for load violation predictor updating 461de169c67SWilliam Wangclass MemPredUpdateReq(implicit p: Parameters) extends XSBundle { 4622b8b2e7aSWilliam Wang val valid = Bool() 463de169c67SWilliam Wang 464de169c67SWilliam Wang // wait table update 465de169c67SWilliam Wang val waddr = UInt(MemPredPCWidth.W) 4662b8b2e7aSWilliam Wang val wdata = Bool() // true.B by default 467de169c67SWilliam Wang 468de169c67SWilliam Wang // store set update 469de169c67SWilliam Wang // by default, ldpc/stpc should be xor folded 470de169c67SWilliam Wang val ldpc = UInt(MemPredPCWidth.W) 471de169c67SWilliam Wang val stpc = UInt(MemPredPCWidth.W) 4722b8b2e7aSWilliam Wang} 4732b8b2e7aSWilliam Wang 4742225d46eSJiawei Linclass CustomCSRCtrlIO(implicit p: Parameters) extends XSBundle { 4752b8b2e7aSWilliam Wang // Prefetcher 476ecccf78fSJay val l1I_pf_enable = Output(Bool()) 4772b8b2e7aSWilliam Wang val l2_pf_enable = Output(Bool()) 478ecccf78fSJay // ICache 479ecccf78fSJay val icache_parity_enable = Output(Bool()) 480f3f22d72SYinan Xu // Labeled XiangShan 4812b8b2e7aSWilliam Wang val dsid = Output(UInt(8.W)) // TODO: DsidWidth as parameter 482f3f22d72SYinan Xu // Load violation predictor 4832b8b2e7aSWilliam Wang val lvpred_disable = Output(Bool()) 4842b8b2e7aSWilliam Wang val no_spec_load = Output(Bool()) 485c7160cd3SWilliam Wang val storeset_wait_store = Output(Bool()) 486c7160cd3SWilliam Wang val storeset_no_fast_wakeup = Output(Bool()) 487c7160cd3SWilliam Wang val lvpred_timeout = Output(UInt(5.W)) 488f3f22d72SYinan Xu // Branch predictor 4892b8b2e7aSWilliam Wang val bp_ctrl = Output(new BPUCtrl) 490f3f22d72SYinan Xu // Memory Block 491f3f22d72SYinan Xu val sbuffer_threshold = Output(UInt(4.W)) 492d10a581eSWilliam Wang val ldld_vio_check_enable = Output(Bool()) 493d10a581eSWilliam Wang val soft_prefetch_enable = Output(Bool()) 494a4e57ea3SLi Qianruo val cache_error_enable = Output(Bool()) 495aac4464eSYinan Xu // Rename 496aac4464eSYinan Xu val move_elim_enable = Output(Bool()) 497af2f7849Shappy-lx // Decode 498af2f7849Shappy-lx val svinval_enable = Output(Bool()) 499af2f7849Shappy-lx 500b6982e83SLemover // distribute csr write signal 501b6982e83SLemover val distribute_csr = new DistributedCSRIO() 50272951335SLi Qianruo 503ddb65c47SLi Qianruo val singlestep = Output(Bool()) 50472951335SLi Qianruo val frontend_trigger = new FrontendTdataDistributeIO() 50572951335SLi Qianruo val mem_trigger = new MemTdataDistributeIO() 50672951335SLi Qianruo val trigger_enable = Output(Vec(10, Bool())) 507b6982e83SLemover} 508b6982e83SLemover 509b6982e83SLemoverclass DistributedCSRIO(implicit p: Parameters) extends XSBundle { 5101c746d3aScui fliter // CSR has been written by csr inst, copies of csr should be updated 511b6982e83SLemover val w = ValidIO(new Bundle { 512b6982e83SLemover val addr = Output(UInt(12.W)) 513b6982e83SLemover val data = Output(UInt(XLEN.W)) 514b6982e83SLemover }) 5152b8b2e7aSWilliam Wang} 516e19f7967SWilliam Wang 517e19f7967SWilliam Wangclass DistributedCSRUpdateReq(implicit p: Parameters) extends XSBundle { 518e19f7967SWilliam Wang // Request csr to be updated 519e19f7967SWilliam Wang // 520e19f7967SWilliam Wang // Note that this request will ONLY update CSR Module it self, 521e19f7967SWilliam Wang // copies of csr will NOT be updated, use it with care! 522e19f7967SWilliam Wang // 523e19f7967SWilliam Wang // For each cycle, no more than 1 DistributedCSRUpdateReq is valid 524e19f7967SWilliam Wang val w = ValidIO(new Bundle { 525e19f7967SWilliam Wang val addr = Output(UInt(12.W)) 526e19f7967SWilliam Wang val data = Output(UInt(XLEN.W)) 527e19f7967SWilliam Wang }) 528e19f7967SWilliam Wang def apply(valid: Bool, addr: UInt, data: UInt, src_description: String) = { 529e19f7967SWilliam Wang when(valid){ 530e19f7967SWilliam Wang w.bits.addr := addr 531e19f7967SWilliam Wang w.bits.data := data 532e19f7967SWilliam Wang } 533e19f7967SWilliam Wang println("Distributed CSR update req registered for " + src_description) 534e19f7967SWilliam Wang } 535e19f7967SWilliam Wang} 53672951335SLi Qianruo 5370f59c834SWilliam Wangclass L1CacheErrorInfo(implicit p: Parameters) extends XSBundle { 5380f59c834SWilliam Wang // L1CacheErrorInfo is also used to encode customized CACHE_ERROR CSR 5390f59c834SWilliam Wang val source = Output(new Bundle() { 5400f59c834SWilliam Wang val tag = Bool() // l1 tag array 5410f59c834SWilliam Wang val data = Bool() // l1 data array 5420f59c834SWilliam Wang val l2 = Bool() 5430f59c834SWilliam Wang }) 5440f59c834SWilliam Wang val opType = Output(new Bundle() { 5450f59c834SWilliam Wang val fetch = Bool() 5460f59c834SWilliam Wang val load = Bool() 5470f59c834SWilliam Wang val store = Bool() 5480f59c834SWilliam Wang val probe = Bool() 5490f59c834SWilliam Wang val release = Bool() 5500f59c834SWilliam Wang val atom = Bool() 5510f59c834SWilliam Wang }) 5520f59c834SWilliam Wang val paddr = Output(UInt(PAddrBits.W)) 5530f59c834SWilliam Wang 5540f59c834SWilliam Wang // report error and paddr to beu 5550f59c834SWilliam Wang // bus error unit will receive error info iff ecc_error.valid 5560f59c834SWilliam Wang val report_to_beu = Output(Bool()) 5570f59c834SWilliam Wang 5580f59c834SWilliam Wang // there is an valid error 5590f59c834SWilliam Wang // l1 cache error will always be report to CACHE_ERROR csr 5600f59c834SWilliam Wang val valid = Output(Bool()) 5610f59c834SWilliam Wang 5620f59c834SWilliam Wang def toL1BusErrorUnitInfo(): L1BusErrorUnitInfo = { 5630f59c834SWilliam Wang val beu_info = Wire(new L1BusErrorUnitInfo) 5640f59c834SWilliam Wang beu_info.ecc_error.valid := report_to_beu 5650f59c834SWilliam Wang beu_info.ecc_error.bits := paddr 5660f59c834SWilliam Wang beu_info 5670f59c834SWilliam Wang } 5680f59c834SWilliam Wang} 569bc63e578SLi Qianruo 570bc63e578SLi Qianruo/* TODO how to trigger on next inst? 571bc63e578SLi Qianruo1. If hit is determined at frontend, then set a "next instr" trap at dispatch like singlestep 572bc63e578SLi 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 573bc63e578SLi Qianruoxret csr to pc + 4/ + 2 574bc63e578SLi Qianruo2.5 The problem is to let it commit. This is the real TODO 575bc63e578SLi Qianruo3. If it is load and hit before just treat it as regular load exception 576bc63e578SLi Qianruo */ 577bc63e578SLi Qianruo 578bc63e578SLi Qianruo// This bundle carries trigger hit info along the pipeline 579bc63e578SLi Qianruo// Now there are 10 triggers divided into 5 groups of 2 580bc63e578SLi Qianruo// These groups are 581bc63e578SLi Qianruo// (if if) (store store) (load loid) (if store) (if load) 582bc63e578SLi Qianruo 583bc63e578SLi Qianruo// Triggers in the same group can chain, meaning that they only 584bc63e578SLi Qianruo// fire is both triggers in the group matches (the triggerHitVec bit is asserted) 585bc63e578SLi Qianruo// Chaining of trigger No. (2i) and (2i+1) is indicated by triggerChainVec(i) 586bc63e578SLi Qianruo// Timing of 0 means trap at current inst, 1 means trap at next inst 587bc63e578SLi Qianruo// Chaining and timing and the validness of a trigger is controlled by csr 588bc63e578SLi Qianruo// In two chained triggers, if they have different timing, both won't fire 58984e47f35SLi Qianruo//class TriggerCf (implicit p: Parameters) extends XSBundle { 59084e47f35SLi Qianruo// val triggerHitVec = Vec(10, Bool()) 59184e47f35SLi Qianruo// val triggerTiming = Vec(10, Bool()) 59284e47f35SLi Qianruo// val triggerChainVec = Vec(5, Bool()) 59384e47f35SLi Qianruo//} 59484e47f35SLi Qianruo 59572951335SLi Qianruoclass TriggerCf(implicit p: Parameters) extends XSBundle { 59684e47f35SLi Qianruo // frontend 59784e47f35SLi Qianruo val frontendHit = Vec(4, Bool()) 598ddb65c47SLi Qianruo// val frontendTiming = Vec(4, Bool()) 599ddb65c47SLi Qianruo// val frontendHitNext = Vec(4, Bool()) 60084e47f35SLi Qianruo 601ddb65c47SLi Qianruo// val frontendException = Bool() 60284e47f35SLi Qianruo // backend 60384e47f35SLi Qianruo val backendEn = Vec(2, Bool()) // Hit(6) && chain(4) , Hit(8) && chain(4) 60484e47f35SLi Qianruo val backendHit = Vec(6, Bool()) 605ddb65c47SLi Qianruo// val backendTiming = Vec(6, Bool()) // trigger enable fro chain 60684e47f35SLi Qianruo 60784e47f35SLi Qianruo // Two situations not allowed: 60884e47f35SLi Qianruo // 1. load data comparison 60984e47f35SLi Qianruo // 2. store chaining with store 61084e47f35SLi Qianruo def getHitFrontend = frontendHit.reduce(_ || _) 61184e47f35SLi Qianruo def getHitBackend = backendHit.reduce(_ || _) 612ddb65c47SLi Qianruo def hit = getHitFrontend || getHitBackend 613d7dd1af1SLi Qianruo def clear(): Unit = { 614d7dd1af1SLi Qianruo frontendHit.foreach(_ := false.B) 615d7dd1af1SLi Qianruo backendEn.foreach(_ := false.B) 616d7dd1af1SLi Qianruo backendHit.foreach(_ := false.B) 617d7dd1af1SLi Qianruo } 61872951335SLi Qianruo} 61972951335SLi Qianruo 620bc63e578SLi Qianruo// these 3 bundles help distribute trigger control signals from CSR 621bc63e578SLi Qianruo// to Frontend, Load and Store. 62272951335SLi Qianruoclass FrontendTdataDistributeIO(implicit p: Parameters) extends XSBundle { 62372951335SLi Qianruo val t = Valid(new Bundle { 62472951335SLi Qianruo val addr = Output(UInt(2.W)) 62572951335SLi Qianruo val tdata = new MatchTriggerIO 62672951335SLi Qianruo }) 62772951335SLi Qianruo } 62872951335SLi Qianruo 62972951335SLi Qianruoclass MemTdataDistributeIO(implicit p: Parameters) extends XSBundle { 63072951335SLi Qianruo val t = Valid(new Bundle { 63172951335SLi Qianruo val addr = Output(UInt(3.W)) 63272951335SLi Qianruo val tdata = new MatchTriggerIO 63372951335SLi Qianruo }) 63472951335SLi Qianruo} 63572951335SLi Qianruo 63672951335SLi Qianruoclass MatchTriggerIO(implicit p: Parameters) extends XSBundle { 63772951335SLi Qianruo val matchType = Output(UInt(2.W)) 63872951335SLi Qianruo val select = Output(Bool()) 63972951335SLi Qianruo val timing = Output(Bool()) 64072951335SLi Qianruo val action = Output(Bool()) 64172951335SLi Qianruo val chain = Output(Bool()) 64272951335SLi Qianruo val tdata2 = Output(UInt(64.W)) 64372951335SLi Qianruo} 644