1package xiangshan 2 3import chisel3._ 4import chisel3.util._ 5import xiangshan.backend.brq.BrqPtr 6import xiangshan.backend.fu.fpu.Fflags 7import xiangshan.backend.rename.FreeListPtr 8import xiangshan.backend.roq.RoqPtr 9import xiangshan.mem.{LqPtr, SqPtr} 10import xiangshan.frontend.PreDecodeInfo 11import xiangshan.frontend.HasBPUParameter 12import xiangshan.frontend.HasTageParameter 13import xiangshan.frontend.HasIFUConst 14import xiangshan.frontend.GlobalHistory 15import utils._ 16import scala.math.max 17 18// Fetch FetchWidth x 32-bit insts from Icache 19class FetchPacket extends XSBundle { 20 val instrs = Vec(PredictWidth, UInt(32.W)) 21 val mask = UInt(PredictWidth.W) 22 // val pc = UInt(VAddrBits.W) 23 val pc = Vec(PredictWidth, UInt(VAddrBits.W)) 24 val pnpc = Vec(PredictWidth, UInt(VAddrBits.W)) 25 val brInfo = Vec(PredictWidth, new BranchInfo) 26 val pd = Vec(PredictWidth, new PreDecodeInfo) 27 val ipf = Bool() 28 val acf = Bool() 29 val crossPageIPFFix = Bool() 30 val predTaken = Bool() 31} 32 33class ValidUndirectioned[T <: Data](gen: T) extends Bundle { 34 val valid = Bool() 35 val bits = gen.cloneType.asInstanceOf[T] 36 override def cloneType = new ValidUndirectioned(gen).asInstanceOf[this.type] 37} 38 39object ValidUndirectioned { 40 def apply[T <: Data](gen: T) = { 41 new ValidUndirectioned[T](gen) 42 } 43} 44 45class SCMeta(val useSC: Boolean) extends XSBundle with HasTageParameter { 46 def maxVal = 8 * ((1 << TageCtrBits) - 1) + SCTableInfo.map{case (_,cb,_) => (1 << cb) - 1}.reduce(_+_) 47 def minVal = -(8 * (1 << TageCtrBits) + SCTableInfo.map{case (_,cb,_) => 1 << cb}.reduce(_+_)) 48 def sumCtrBits = max(log2Ceil(-minVal), log2Ceil(maxVal+1)) + 1 49 val tageTaken = if (useSC) Bool() else UInt(0.W) 50 val scUsed = if (useSC) Bool() else UInt(0.W) 51 val scPred = if (useSC) Bool() else UInt(0.W) 52 // Suppose ctrbits of all tables are identical 53 val ctrs = if (useSC) Vec(SCNTables, SInt(SCCtrBits.W)) else Vec(SCNTables, SInt(0.W)) 54 val sumAbs = if (useSC) UInt(sumCtrBits.W) else UInt(0.W) 55} 56 57class TageMeta extends XSBundle with HasTageParameter { 58 val provider = ValidUndirectioned(UInt(log2Ceil(TageNTables).W)) 59 val altDiffers = Bool() 60 val providerU = UInt(2.W) 61 val providerCtr = UInt(3.W) 62 val allocate = ValidUndirectioned(UInt(log2Ceil(TageNTables).W)) 63 val taken = Bool() 64 val scMeta = new SCMeta(EnableSC) 65} 66 67class BranchPrediction extends XSBundle with HasIFUConst { 68 // val redirect = Bool() 69 val takens = UInt(PredictWidth.W) 70 // val jmpIdx = UInt(log2Up(PredictWidth).W) 71 val brMask = UInt(PredictWidth.W) 72 val jalMask = UInt(PredictWidth.W) 73 val targets = Vec(PredictWidth, UInt(VAddrBits.W)) 74 75 // marks the last 2 bytes of this fetch packet 76 // val endsAtTheEndOfFirstBank = Bool() 77 // val endsAtTheEndOfLastBank = Bool() 78 79 // half RVI could only start at the end of a bank 80 val firstBankHasHalfRVI = Bool() 81 val lastBankHasHalfRVI = Bool() 82 83 def lastHalfRVIMask = Mux(firstBankHasHalfRVI, UIntToOH((bankWidth-1).U), 84 Mux(lastBankHasHalfRVI, UIntToOH((PredictWidth-1).U), 85 0.U(PredictWidth.W) 86 ) 87 ) 88 89 def lastHalfRVIClearMask = ~lastHalfRVIMask 90 // is taken from half RVI 91 def lastHalfRVITaken = (takens & lastHalfRVIMask).orR 92 93 def lastHalfRVIIdx = Mux(firstBankHasHalfRVI, (bankWidth-1).U, (PredictWidth-1).U) 94 // should not be used if not lastHalfRVITaken 95 def lastHalfRVITarget = Mux(firstBankHasHalfRVI, targets(bankWidth-1), targets(PredictWidth-1)) 96 97 def realTakens = takens & lastHalfRVIClearMask 98 def realBrMask = brMask & lastHalfRVIClearMask 99 def realJalMask = jalMask & lastHalfRVIClearMask 100 101 def brNotTakens = ~realTakens & realBrMask 102 def sawNotTakenBr = VecInit((0 until PredictWidth).map(i => 103 (if (i == 0) false.B else brNotTakens(i-1,0).orR))) 104 def hasNotTakenBrs = (brNotTakens & LowerMaskFromLowest(realTakens)).orR 105 def unmaskedJmpIdx = PriorityEncoder(takens) 106 def saveHalfRVI = (firstBankHasHalfRVI && (unmaskedJmpIdx === (bankWidth-1).U || !(takens.orR))) || 107 (lastBankHasHalfRVI && unmaskedJmpIdx === (PredictWidth-1).U) 108 // could get PredictWidth-1 when only the first bank is valid 109 def jmpIdx = PriorityEncoder(realTakens) 110 // only used when taken 111 def target = targets(jmpIdx) 112 def taken = realTakens.orR 113 def takenOnBr = taken && realBrMask(jmpIdx) 114 // def hasNotTakenBrs = Mux(taken, sawNotTakenBr(jmpIdx), brNotTakens.orR) 115} 116 117class BranchInfo extends XSBundle with HasBPUParameter { 118 val ubtbWriteWay = UInt(log2Up(UBtbWays).W) 119 val ubtbHits = Bool() 120 val btbWriteWay = UInt(log2Up(BtbWays).W) 121 val btbHitJal = Bool() 122 val bimCtr = UInt(2.W) 123 val tageMeta = new TageMeta 124 val rasSp = UInt(log2Up(RasSize).W) 125 val rasTopCtr = UInt(8.W) 126 val rasToqAddr = UInt(VAddrBits.W) 127 val fetchIdx = UInt(log2Up(PredictWidth).W) 128 val specCnt = UInt(10.W) 129 // for global history 130 val hist = new GlobalHistory 131 val predHist = new GlobalHistory 132 val sawNotTakenBranch = Bool() 133 134 val debug_ubtb_cycle = if (EnableBPUTimeRecord) UInt(64.W) else UInt(0.W) 135 val debug_btb_cycle = if (EnableBPUTimeRecord) UInt(64.W) else UInt(0.W) 136 val debug_tage_cycle = if (EnableBPUTimeRecord) UInt(64.W) else UInt(0.W) 137 138 // def apply(histPtr: UInt, tageMeta: TageMeta, rasSp: UInt, rasTopCtr: UInt) = { 139 // this.histPtr := histPtr 140 // this.tageMeta := tageMeta 141 // this.rasSp := rasSp 142 // this.rasTopCtr := rasTopCtr 143 // this.asUInt 144 // } 145 def size = 0.U.asTypeOf(this).getWidth 146 def fromUInt(x: UInt) = x.asTypeOf(this) 147} 148 149class Predecode extends XSBundle with HasIFUConst { 150 val hasLastHalfRVI = Bool() 151 val mask = UInt((FetchWidth*2).W) 152 val lastHalf = UInt(nBanksInPacket.W) 153 val pd = Vec(FetchWidth*2, (new PreDecodeInfo)) 154} 155 156class BranchUpdateInfo extends XSBundle { 157 // from backend 158 val pc = UInt(VAddrBits.W) 159 val pnpc = UInt(VAddrBits.W) 160 val target = UInt(VAddrBits.W) 161 val brTarget = UInt(VAddrBits.W) 162 val taken = Bool() 163 val fetchIdx = UInt(log2Up(FetchWidth*2).W) 164 val isMisPred = Bool() 165 val brTag = new BrqPtr 166 167 // frontend -> backend -> frontend 168 val pd = new PreDecodeInfo 169 val brInfo = new BranchInfo 170} 171 172// Dequeue DecodeWidth insts from Ibuffer 173class CtrlFlow extends XSBundle { 174 val instr = UInt(32.W) 175 val pc = UInt(VAddrBits.W) 176 val exceptionVec = Vec(16, Bool()) 177 val intrVec = Vec(12, Bool()) 178 val brUpdate = new BranchUpdateInfo 179 val crossPageIPFFix = Bool() 180} 181 182// Decode DecodeWidth insts at Decode Stage 183class CtrlSignals extends XSBundle { 184 val src1Type, src2Type, src3Type = SrcType() 185 val lsrc1, lsrc2, lsrc3 = UInt(5.W) 186 val ldest = UInt(5.W) 187 val fuType = FuType() 188 val fuOpType = FuOpType() 189 val rfWen = Bool() 190 val fpWen = Bool() 191 val isXSTrap = Bool() 192 val noSpecExec = Bool() // wait forward 193 val blockBackward = Bool() // block backward 194 val flushPipe = Bool() // This inst will flush all the pipe when commit, like exception but can commit 195 val isRVF = Bool() 196 val imm = UInt(XLEN.W) 197 val commitType = CommitType() 198} 199 200class CfCtrl extends XSBundle { 201 val cf = new CtrlFlow 202 val ctrl = new CtrlSignals 203 val brTag = new BrqPtr 204} 205 206// Load / Store Index 207// 208// while separated lq and sq is used, lsIdx consists of lqIdx, sqIdx and l/s type. 209trait HasLSIdx { this: HasXSParameter => 210 // Separate LSQ 211 val lqIdx = new LqPtr 212 val sqIdx = new SqPtr 213} 214 215class LSIdx extends XSBundle with HasLSIdx {} 216 217// CfCtrl -> MicroOp at Rename Stage 218class MicroOp extends CfCtrl with HasLSIdx { 219 val psrc1, psrc2, psrc3, pdest, old_pdest = UInt(PhyRegIdxWidth.W) 220 val src1State, src2State, src3State = SrcState() 221 val roqIdx = new RoqPtr 222 val diffTestDebugLrScValid = Bool() 223} 224 225class Redirect extends XSBundle { 226 val roqIdx = new RoqPtr 227 val isException = Bool() 228 val isMisPred = Bool() 229 val isReplay = Bool() 230 val isFlushPipe = Bool() 231 val pc = UInt(VAddrBits.W) 232 val target = UInt(VAddrBits.W) 233 val brTag = new BrqPtr 234} 235 236class Dp1ToDp2IO extends XSBundle { 237 val intDqToDp2 = Vec(dpParams.IntDqDeqWidth, DecoupledIO(new MicroOp)) 238 val fpDqToDp2 = Vec(dpParams.FpDqDeqWidth, DecoupledIO(new MicroOp)) 239 val lsDqToDp2 = Vec(dpParams.LsDqDeqWidth, DecoupledIO(new MicroOp)) 240} 241 242class ReplayPregReq extends XSBundle { 243 // NOTE: set isInt and isFp both to 'false' when invalid 244 val isInt = Bool() 245 val isFp = Bool() 246 val preg = UInt(PhyRegIdxWidth.W) 247} 248 249class DebugBundle extends XSBundle{ 250 val isMMIO = Bool() 251} 252 253class ExuInput extends XSBundle { 254 val uop = new MicroOp 255 val src1, src2, src3 = UInt((XLEN+1).W) 256} 257 258class ExuOutput extends XSBundle { 259 val uop = new MicroOp 260 val data = UInt((XLEN+1).W) 261 val fflags = new Fflags 262 val redirectValid = Bool() 263 val redirect = new Redirect 264 val brUpdate = new BranchUpdateInfo 265 val debug = new DebugBundle 266} 267 268class ExternalInterruptIO extends XSBundle { 269 val mtip = Input(Bool()) 270 val msip = Input(Bool()) 271 val meip = Input(Bool()) 272} 273 274class CSRSpecialIO extends XSBundle { 275 val exception = Flipped(ValidIO(new MicroOp)) 276 val isInterrupt = Input(Bool()) 277 val memExceptionVAddr = Input(UInt(VAddrBits.W)) 278 val trapTarget = Output(UInt(VAddrBits.W)) 279 val externalInterrupt = new ExternalInterruptIO 280 val interrupt = Output(Bool()) 281} 282 283//class ExuIO extends XSBundle { 284// val in = Flipped(DecoupledIO(new ExuInput)) 285// val redirect = Flipped(ValidIO(new Redirect)) 286// val out = DecoupledIO(new ExuOutput) 287// // for csr 288// val csrOnly = new CSRSpecialIO 289// val mcommit = Input(UInt(3.W)) 290//} 291 292class RoqCommit extends XSBundle { 293 val uop = new MicroOp 294 val isWalk = Bool() 295} 296 297class TlbFeedback extends XSBundle { 298 val roqIdx = new RoqPtr 299 val hit = Bool() 300} 301 302class FrontendToBackendIO extends XSBundle { 303 // to backend end 304 val cfVec = Vec(DecodeWidth, DecoupledIO(new CtrlFlow)) 305 // from backend 306 val redirect = Flipped(ValidIO(UInt(VAddrBits.W))) 307 val outOfOrderBrInfo = Flipped(ValidIO(new BranchUpdateInfo)) 308 val inOrderBrInfo = Flipped(ValidIO(new BranchUpdateInfo)) 309} 310 311class TlbCsrBundle extends XSBundle { 312 val satp = new Bundle { 313 val mode = UInt(4.W) // TODO: may change number to parameter 314 val asid = UInt(16.W) 315 val ppn = UInt(44.W) // just use PAddrBits - 3 - vpnnLen 316 } 317 val priv = new Bundle { 318 val mxr = Bool() 319 val sum = Bool() 320 val imode = UInt(2.W) 321 val dmode = UInt(2.W) 322 } 323 324 override def toPrintable: Printable = { 325 p"Satp mode:0x${Hexadecimal(satp.mode)} asid:0x${Hexadecimal(satp.asid)} ppn:0x${Hexadecimal(satp.ppn)} " + 326 p"Priv mxr:${priv.mxr} sum:${priv.sum} imode:${priv.imode} dmode:${priv.dmode}" 327 } 328} 329 330class SfenceBundle extends XSBundle { 331 val valid = Bool() 332 val bits = new Bundle { 333 val rs1 = Bool() 334 val rs2 = Bool() 335 val addr = UInt(VAddrBits.W) 336 } 337 338 override def toPrintable: Printable = { 339 p"valid:0x${Hexadecimal(valid)} rs1:${bits.rs1} rs2:${bits.rs2} addr:${Hexadecimal(bits.addr)}" 340 } 341} 342