1package xiangshan 2 3import chisel3._ 4import chisel3.util._ 5import xiangshan.backend.SelImm 6import xiangshan.backend.roq.RoqPtr 7import xiangshan.backend.decode.{ImmUnion, XDecode} 8import xiangshan.mem.{LqPtr, SqPtr} 9import xiangshan.frontend.PreDecodeInfo 10import xiangshan.frontend.HasBPUParameter 11import xiangshan.frontend.HasTageParameter 12import xiangshan.frontend.HasIFUConst 13import xiangshan.frontend.GlobalHistory 14import xiangshan.frontend.RASEntry 15import utils._ 16 17import scala.math.max 18import Chisel.experimental.chiselName 19import xiangshan.backend.ftq.FtqPtr 20 21// Fetch FetchWidth x 32-bit insts from Icache 22class FetchPacket extends XSBundle { 23 val instrs = Vec(PredictWidth, UInt(32.W)) 24 val mask = UInt(PredictWidth.W) 25 val pdmask = UInt(PredictWidth.W) 26 // val pc = UInt(VAddrBits.W) 27 val pc = Vec(PredictWidth, UInt(VAddrBits.W)) 28 val pd = Vec(PredictWidth, new PreDecodeInfo) 29 val ipf = Bool() 30 val acf = Bool() 31 val crossPageIPFFix = Bool() 32 val pred_taken = UInt(PredictWidth.W) 33 val ftqPtr = new FtqPtr 34} 35 36class ValidUndirectioned[T <: Data](gen: T) extends Bundle { 37 val valid = Bool() 38 val bits = gen.cloneType.asInstanceOf[T] 39 40 override def cloneType = new ValidUndirectioned(gen).asInstanceOf[this.type] 41} 42 43object ValidUndirectioned { 44 def apply[T <: Data](gen: T) = { 45 new ValidUndirectioned[T](gen) 46 } 47} 48 49class SCMeta(val useSC: Boolean) extends XSBundle with HasTageParameter { 50 def maxVal = 8 * ((1 << TageCtrBits) - 1) + SCTableInfo.map { case (_, cb, _) => (1 << cb) - 1 }.reduce(_ + _) 51 52 def minVal = -(8 * (1 << TageCtrBits) + SCTableInfo.map { case (_, cb, _) => 1 << cb }.reduce(_ + _)) 53 54 def sumCtrBits = max(log2Ceil(-minVal), log2Ceil(maxVal + 1)) + 1 55 56 val tageTaken = if (useSC) Bool() else UInt(0.W) 57 val scUsed = if (useSC) Bool() else UInt(0.W) 58 val scPred = if (useSC) Bool() else UInt(0.W) 59 // Suppose ctrbits of all tables are identical 60 val ctrs = if (useSC) Vec(SCNTables, SInt(SCCtrBits.W)) else Vec(SCNTables, SInt(0.W)) 61 val sumAbs = if (useSC) UInt(sumCtrBits.W) else UInt(0.W) 62} 63 64class TageMeta extends XSBundle with HasTageParameter { 65 val provider = ValidUndirectioned(UInt(log2Ceil(TageNTables).W)) 66 val altDiffers = Bool() 67 val providerU = UInt(2.W) 68 val providerCtr = UInt(3.W) 69 val allocate = ValidUndirectioned(UInt(log2Ceil(TageNTables).W)) 70 val taken = Bool() 71 val scMeta = new SCMeta(EnableSC) 72} 73 74@chiselName 75class BranchPrediction extends XSBundle with HasIFUConst { 76 // val redirect = Bool() 77 val takens = UInt(PredictWidth.W) 78 // val jmpIdx = UInt(log2Up(PredictWidth).W) 79 val brMask = UInt(PredictWidth.W) 80 val jalMask = UInt(PredictWidth.W) 81 val targets = Vec(PredictWidth, UInt(VAddrBits.W)) 82 83 // half RVI could only start at the end of a packet 84 val hasHalfRVI = Bool() 85 86 def brNotTakens = (~takens & brMask) 87 88 def sawNotTakenBr = VecInit((0 until PredictWidth).map(i => 89 (if (i == 0) false.B else ParallelORR(brNotTakens(i - 1, 0))))) 90 91 // if not taken before the half RVI inst 92 def saveHalfRVI = hasHalfRVI && !(ParallelORR(takens(PredictWidth - 2, 0))) 93 94 // could get PredictWidth-1 when only the first bank is valid 95 def jmpIdx = ParallelPriorityEncoder(takens) 96 97 // only used when taken 98 def target = { 99 val generator = new PriorityMuxGenerator[UInt] 100 generator.register(takens.asBools, targets, List.fill(PredictWidth)(None)) 101 generator() 102 } 103 104 def taken = ParallelORR(takens) 105 106 def takenOnBr = taken && ParallelPriorityMux(takens, brMask.asBools) 107 108 def hasNotTakenBrs = Mux(taken, ParallelPriorityMux(takens, sawNotTakenBr), ParallelORR(brNotTakens)) 109} 110 111class PredictorAnswer extends XSBundle { 112 val hit = if (!env.FPGAPlatform) Bool() else UInt(0.W) 113 val taken = if (!env.FPGAPlatform) Bool() else UInt(0.W) 114 val target = if (!env.FPGAPlatform) UInt(VAddrBits.W) else UInt(0.W) 115} 116 117class BpuMeta extends XSBundle with HasBPUParameter { 118 val ubtbWriteWay = UInt(log2Up(UBtbWays).W) 119 val ubtbHits = Bool() 120 val btbWriteWay = UInt(log2Up(BtbWays).W) 121 val bimCtr = UInt(2.W) 122 val tageMeta = new TageMeta 123 // for global history 124 125 val debug_ubtb_cycle = if (EnableBPUTimeRecord) UInt(64.W) else UInt(0.W) 126 val debug_btb_cycle = if (EnableBPUTimeRecord) UInt(64.W) else UInt(0.W) 127 val debug_tage_cycle = if (EnableBPUTimeRecord) UInt(64.W) else UInt(0.W) 128 129 val predictor = if (BPUDebug) UInt(log2Up(4).W) else UInt(0.W) // Mark which component this prediction comes from {ubtb, btb, tage, loopPredictor} 130 131 val ubtbAns = new PredictorAnswer 132 val btbAns = new PredictorAnswer 133 val tageAns = new PredictorAnswer 134 val rasAns = new PredictorAnswer 135 val loopAns = new PredictorAnswer 136 137 // def apply(histPtr: UInt, tageMeta: TageMeta, rasSp: UInt, rasTopCtr: UInt) = { 138 // this.histPtr := histPtr 139 // this.tageMeta := tageMeta 140 // this.rasSp := rasSp 141 // this.rasTopCtr := rasTopCtr 142 // this.asUInt 143 // } 144 def size = 0.U.asTypeOf(this).getWidth 145 146 def fromUInt(x: UInt) = x.asTypeOf(this) 147} 148 149class Predecode extends XSBundle with HasIFUConst { 150 val hasLastHalfRVI = Bool() 151 val mask = UInt(PredictWidth.W) 152 val lastHalf = Bool() 153 val pd = Vec(PredictWidth, (new PreDecodeInfo)) 154} 155 156class CfiUpdateInfo extends XSBundle with HasBPUParameter { 157 // from backend 158 val pc = UInt(VAddrBits.W) 159 // frontend -> backend -> frontend 160 val pd = new PreDecodeInfo 161 val rasSp = UInt(log2Up(RasSize).W) 162 val rasEntry = new RASEntry 163 val hist = new GlobalHistory 164 val predHist = new GlobalHistory 165 val specCnt = UInt(10.W) 166 // need pipeline update 167 val sawNotTakenBranch = Bool() 168 val predTaken = Bool() 169 val target = UInt(VAddrBits.W) 170 val taken = Bool() 171 val isMisPred = Bool() 172} 173 174// Dequeue DecodeWidth insts from Ibuffer 175class CtrlFlow extends XSBundle { 176 val instr = UInt(32.W) 177 val pc = UInt(VAddrBits.W) 178 val exceptionVec = ExceptionVec() 179 val intrVec = Vec(12, Bool()) 180 val pd = new PreDecodeInfo 181 val pred_taken = Bool() 182 val crossPageIPFFix = Bool() 183 val ftqPtr = new FtqPtr 184 val ftqOffset = UInt(log2Up(PredictWidth).W) 185} 186 187class FtqEntry extends XSBundle { 188 // fetch pc, pc of each inst could be generated by concatenation 189 val ftqPC = UInt(VAddrBits.W) 190 val lastPacketPC = ValidUndirectioned(UInt(VAddrBits.W)) 191 // prediction metas 192 val hist = new GlobalHistory 193 val predHist = new GlobalHistory 194 val rasSp = UInt(log2Ceil(RasSize).W) 195 val rasTop = new RASEntry() 196 val specCnt = Vec(PredictWidth, UInt(10.W)) 197 val metas = Vec(PredictWidth, new BpuMeta) 198 199 val cfiIsCall, cfiIsRet, cfiIsRVC = Bool() 200 val rvc_mask = Vec(PredictWidth, Bool()) 201 val br_mask = Vec(PredictWidth, Bool()) 202 val cfiIndex = ValidUndirectioned(UInt(log2Up(PredictWidth).W)) 203 val valids = Vec(PredictWidth, Bool()) 204 205 // backend update 206 val mispred = Vec(PredictWidth, Bool()) 207 val target = UInt(VAddrBits.W) 208 209 def takens = VecInit((0 until PredictWidth).map(i => cfiIndex.valid && cfiIndex.bits === i.U)) 210 def hasLastPrev = lastPacketPC.valid 211 212 override def toPrintable: Printable = { 213 p"ftqPC: ${Hexadecimal(ftqPC)} lastPacketPC: ${Hexadecimal(lastPacketPC.bits)} hasLastPrev:$hasLastPrev " + 214 p"rasSp:$rasSp specCnt:$specCnt brmask:${Binary(Cat(br_mask))} rvcmask:${Binary(Cat(rvc_mask))} " + 215 p"valids:${Binary(valids.asUInt())} cfi valid: ${cfiIndex.valid} " + 216 p"cfi index: ${cfiIndex.bits} isCall:$cfiIsCall isRet:$cfiIsRet isRvc:$cfiIsRVC " + 217 p"mispred:${Binary(Cat(mispred))} target:${Hexadecimal(target)}\n" 218 } 219 220} 221 222 223class FPUCtrlSignals extends XSBundle { 224 val isAddSub = Bool() // swap23 225 val typeTagIn = UInt(2.W) 226 val typeTagOut = UInt(2.W) 227 val fromInt = Bool() 228 val wflags = Bool() 229 val fpWen = Bool() 230 val fmaCmd = UInt(2.W) 231 val div = Bool() 232 val sqrt = Bool() 233 val fcvt = Bool() 234 val typ = UInt(2.W) 235 val fmt = UInt(2.W) 236 val ren3 = Bool() //TODO: remove SrcType.fp 237 val rm = UInt(3.W) 238} 239 240// Decode DecodeWidth insts at Decode Stage 241class CtrlSignals extends XSBundle { 242 val src1Type, src2Type, src3Type = SrcType() 243 val lsrc1, lsrc2, lsrc3 = UInt(5.W) 244 val ldest = UInt(5.W) 245 val fuType = FuType() 246 val fuOpType = FuOpType() 247 val rfWen = Bool() 248 val fpWen = Bool() 249 val isXSTrap = Bool() 250 val noSpecExec = Bool() // wait forward 251 val blockBackward = Bool() // block backward 252 val flushPipe = Bool() // This inst will flush all the pipe when commit, like exception but can commit 253 val isRVF = Bool() 254 val selImm = SelImm() 255 val imm = UInt(ImmUnion.maxLen.W) 256 val commitType = CommitType() 257 val fpu = new FPUCtrlSignals 258 259 def decode(inst: UInt, table: Iterable[(BitPat, List[BitPat])]) = { 260 val decoder = freechips.rocketchip.rocket.DecodeLogic(inst, XDecode.decodeDefault, table) 261 val signals = 262 Seq(src1Type, src2Type, src3Type, fuType, fuOpType, rfWen, fpWen, 263 isXSTrap, noSpecExec, blockBackward, flushPipe, isRVF, selImm) 264 signals zip decoder map { case (s, d) => s := d } 265 commitType := DontCare 266 this 267 } 268} 269 270class CfCtrl extends XSBundle { 271 val cf = new CtrlFlow 272 val ctrl = new CtrlSignals 273} 274 275class PerfDebugInfo extends XSBundle { 276 // val fetchTime = UInt(64.W) 277 val renameTime = UInt(64.W) 278 val dispatchTime = UInt(64.W) 279 val issueTime = UInt(64.W) 280 val writebackTime = UInt(64.W) 281 // val commitTime = UInt(64.W) 282} 283 284// Separate LSQ 285class LSIdx extends XSBundle { 286 val lqIdx = new LqPtr 287 val sqIdx = new SqPtr 288} 289 290// CfCtrl -> MicroOp at Rename Stage 291class MicroOp extends CfCtrl { 292 val psrc1, psrc2, psrc3, pdest, old_pdest = UInt(PhyRegIdxWidth.W) 293 val src1State, src2State, src3State = SrcState() 294 val roqIdx = new RoqPtr 295 val lqIdx = new LqPtr 296 val sqIdx = new SqPtr 297 val diffTestDebugLrScValid = Bool() 298 val debugInfo = new PerfDebugInfo 299} 300 301class Redirect extends XSBundle { 302 val roqIdx = new RoqPtr 303 val ftqIdx = new FtqPtr 304 val ftqOffset = UInt(log2Up(PredictWidth).W) 305 val level = RedirectLevel() 306 val interrupt = Bool() 307 val cfiUpdate = new CfiUpdateInfo 308 309 310 // def isUnconditional() = RedirectLevel.isUnconditional(level) 311 def flushItself() = RedirectLevel.flushItself(level) 312 // def isException() = RedirectLevel.isException(level) 313} 314 315class Dp1ToDp2IO extends XSBundle { 316 val intDqToDp2 = Vec(dpParams.IntDqDeqWidth, DecoupledIO(new MicroOp)) 317 val fpDqToDp2 = Vec(dpParams.FpDqDeqWidth, DecoupledIO(new MicroOp)) 318 val lsDqToDp2 = Vec(dpParams.LsDqDeqWidth, DecoupledIO(new MicroOp)) 319} 320 321class ReplayPregReq extends XSBundle { 322 // NOTE: set isInt and isFp both to 'false' when invalid 323 val isInt = Bool() 324 val isFp = Bool() 325 val preg = UInt(PhyRegIdxWidth.W) 326} 327 328class DebugBundle extends XSBundle { 329 val isMMIO = Bool() 330 val isPerfCnt = Bool() 331 val paddr = UInt(PAddrBits.W) 332} 333 334class ExuInput extends XSBundle { 335 val uop = new MicroOp 336 val src1, src2, src3 = UInt((XLEN + 1).W) 337} 338 339class ExuOutput extends XSBundle { 340 val uop = new MicroOp 341 val data = UInt((XLEN + 1).W) 342 val fflags = UInt(5.W) 343 val redirectValid = Bool() 344 val redirect = new Redirect 345 val debug = new DebugBundle 346} 347 348class ExternalInterruptIO extends XSBundle { 349 val mtip = Input(Bool()) 350 val msip = Input(Bool()) 351 val meip = Input(Bool()) 352} 353 354class CSRSpecialIO extends XSBundle { 355 val exception = Flipped(ValidIO(new MicroOp)) 356 val isInterrupt = Input(Bool()) 357 val memExceptionVAddr = Input(UInt(VAddrBits.W)) 358 val trapTarget = Output(UInt(VAddrBits.W)) 359 val externalInterrupt = new ExternalInterruptIO 360 val interrupt = Output(Bool()) 361} 362 363class RoqCommitInfo extends XSBundle { 364 val ldest = UInt(5.W) 365 val rfWen = Bool() 366 val fpWen = Bool() 367 val wflags = Bool() 368 val commitType = CommitType() 369 val pdest = UInt(PhyRegIdxWidth.W) 370 val old_pdest = UInt(PhyRegIdxWidth.W) 371 val ftqIdx = new FtqPtr 372 val ftqOffset = UInt(log2Up(PredictWidth).W) 373 374 // these should be optimized for synthesis verilog 375 val pc = UInt(VAddrBits.W) 376} 377 378class RoqCommitIO extends XSBundle { 379 val isWalk = Output(Bool()) 380 val valid = Vec(CommitWidth, Output(Bool())) 381 val info = Vec(CommitWidth, Output(new RoqCommitInfo)) 382 383 def hasWalkInstr = isWalk && valid.asUInt.orR 384 385 def hasCommitInstr = !isWalk && valid.asUInt.orR 386} 387 388class TlbFeedback extends XSBundle { 389 val rsIdx = UInt(log2Up(IssQueSize).W) 390 val hit = Bool() 391} 392 393class RSFeedback extends TlbFeedback 394 395class FrontendToBackendIO extends XSBundle { 396 // to backend end 397 val cfVec = Vec(DecodeWidth, DecoupledIO(new CtrlFlow)) 398 val fetchInfo = DecoupledIO(new FtqEntry) 399 // from backend 400 val redirect_cfiUpdate = Flipped(ValidIO(new Redirect)) 401 val commit_cfiUpdate = Flipped(ValidIO(new FtqEntry)) 402 val ftqEnqPtr = Input(new FtqPtr) 403 val ftqLeftOne = Input(Bool()) 404} 405 406class TlbCsrBundle extends XSBundle { 407 val satp = new Bundle { 408 val mode = UInt(4.W) // TODO: may change number to parameter 409 val asid = UInt(16.W) 410 val ppn = UInt(44.W) // just use PAddrBits - 3 - vpnnLen 411 } 412 val priv = new Bundle { 413 val mxr = Bool() 414 val sum = Bool() 415 val imode = UInt(2.W) 416 val dmode = UInt(2.W) 417 } 418 419 override def toPrintable: Printable = { 420 p"Satp mode:0x${Hexadecimal(satp.mode)} asid:0x${Hexadecimal(satp.asid)} ppn:0x${Hexadecimal(satp.ppn)} " + 421 p"Priv mxr:${priv.mxr} sum:${priv.sum} imode:${priv.imode} dmode:${priv.dmode}" 422 } 423} 424 425class SfenceBundle extends XSBundle { 426 val valid = Bool() 427 val bits = new Bundle { 428 val rs1 = Bool() 429 val rs2 = Bool() 430 val addr = UInt(VAddrBits.W) 431 } 432 433 override def toPrintable: Printable = { 434 p"valid:0x${Hexadecimal(valid)} rs1:${bits.rs1} rs2:${bits.rs2} addr:${Hexadecimal(bits.addr)}" 435 } 436} 437 438class DifftestBundle extends XSBundle { 439 val fromSbuffer = new Bundle() { 440 val sbufferResp = Output(Bool()) 441 val sbufferAddr = Output(UInt(64.W)) 442 val sbufferData = Output(Vec(64, UInt(8.W))) 443 val sbufferMask = Output(UInt(64.W)) 444 } 445 val fromSQ = new Bundle() { 446 val storeCommit = Output(UInt(2.W)) 447 val storeAddr = Output(Vec(2, UInt(64.W))) 448 val storeData = Output(Vec(2, UInt(64.W))) 449 val storeMask = Output(Vec(2, UInt(8.W))) 450 } 451 val fromXSCore = new Bundle() { 452 val r = Output(Vec(64, UInt(XLEN.W))) 453 } 454 val fromCSR = new Bundle() { 455 val intrNO = Output(UInt(64.W)) 456 val cause = Output(UInt(64.W)) 457 val priviledgeMode = Output(UInt(2.W)) 458 val mstatus = Output(UInt(64.W)) 459 val sstatus = Output(UInt(64.W)) 460 val mepc = Output(UInt(64.W)) 461 val sepc = Output(UInt(64.W)) 462 val mtval = Output(UInt(64.W)) 463 val stval = Output(UInt(64.W)) 464 val mtvec = Output(UInt(64.W)) 465 val stvec = Output(UInt(64.W)) 466 val mcause = Output(UInt(64.W)) 467 val scause = Output(UInt(64.W)) 468 val satp = Output(UInt(64.W)) 469 val mip = Output(UInt(64.W)) 470 val mie = Output(UInt(64.W)) 471 val mscratch = Output(UInt(64.W)) 472 val sscratch = Output(UInt(64.W)) 473 val mideleg = Output(UInt(64.W)) 474 val medeleg = Output(UInt(64.W)) 475 } 476 val fromRoq = new Bundle() { 477 val commit = Output(UInt(32.W)) 478 val thisPC = Output(UInt(XLEN.W)) 479 val thisINST = Output(UInt(32.W)) 480 val skip = Output(UInt(32.W)) 481 val wen = Output(UInt(32.W)) 482 val wdata = Output(Vec(CommitWidth, UInt(XLEN.W))) // set difftest width to 6 483 val wdst = Output(Vec(CommitWidth, UInt(32.W))) // set difftest width to 6 484 val wpc = Output(Vec(CommitWidth, UInt(XLEN.W))) // set difftest width to 6 485 val lpaddr = Output(Vec(CommitWidth, UInt(64.W))) 486 val ltype = Output(Vec(CommitWidth, UInt(32.W))) 487 val lfu = Output(Vec(CommitWidth, UInt(4.W))) 488 val isRVC = Output(UInt(32.W)) 489 val scFailed = Output(Bool()) 490 } 491 val fromAtomic = new Bundle() { 492 val atomicResp = Output(Bool()) 493 val atomicAddr = Output(UInt(64.W)) 494 val atomicData = Output(UInt(64.W)) 495 val atomicMask = Output(UInt(8.W)) 496 val atomicFuop = Output(UInt(8.W)) 497 val atomicOut = Output(UInt(64.W)) 498 } 499 val fromPtw = new Bundle() { 500 val ptwResp = Output(Bool()) 501 val ptwAddr = Output(UInt(64.W)) 502 val ptwData = Output(Vec(4, UInt(64.W))) 503 } 504} 505 506class TrapIO extends XSBundle { 507 val valid = Output(Bool()) 508 val code = Output(UInt(3.W)) 509 val pc = Output(UInt(VAddrBits.W)) 510 val cycleCnt = Output(UInt(XLEN.W)) 511 val instrCnt = Output(UInt(XLEN.W)) 512}