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 ExceptionInfo extends XSBundle { 364 val uop = new MicroOp 365 val isInterrupt = Bool() 366} 367 368class RoqCommitInfo extends XSBundle { 369 val ldest = UInt(5.W) 370 val rfWen = Bool() 371 val fpWen = Bool() 372 val wflags = Bool() 373 val commitType = CommitType() 374 val pdest = UInt(PhyRegIdxWidth.W) 375 val old_pdest = UInt(PhyRegIdxWidth.W) 376 val ftqIdx = new FtqPtr 377 val ftqOffset = UInt(log2Up(PredictWidth).W) 378 379 // these should be optimized for synthesis verilog 380 val pc = UInt(VAddrBits.W) 381} 382 383class RoqCommitIO extends XSBundle { 384 val isWalk = Output(Bool()) 385 val valid = Vec(CommitWidth, Output(Bool())) 386 val info = Vec(CommitWidth, Output(new RoqCommitInfo)) 387 388 def hasWalkInstr = isWalk && valid.asUInt.orR 389 390 def hasCommitInstr = !isWalk && valid.asUInt.orR 391} 392 393class TlbFeedback extends XSBundle { 394 val rsIdx = UInt(log2Up(IssQueSize).W) 395 val hit = Bool() 396} 397 398class RSFeedback extends TlbFeedback 399 400class FrontendToBackendIO extends XSBundle { 401 // to backend end 402 val cfVec = Vec(DecodeWidth, DecoupledIO(new CtrlFlow)) 403 val fetchInfo = DecoupledIO(new FtqEntry) 404 // from backend 405 val redirect_cfiUpdate = Flipped(ValidIO(new Redirect)) 406 val commit_cfiUpdate = Flipped(ValidIO(new FtqEntry)) 407 val ftqEnqPtr = Input(new FtqPtr) 408 val ftqLeftOne = Input(Bool()) 409} 410 411class TlbCsrBundle extends XSBundle { 412 val satp = new Bundle { 413 val mode = UInt(4.W) // TODO: may change number to parameter 414 val asid = UInt(16.W) 415 val ppn = UInt(44.W) // just use PAddrBits - 3 - vpnnLen 416 } 417 val priv = new Bundle { 418 val mxr = Bool() 419 val sum = Bool() 420 val imode = UInt(2.W) 421 val dmode = UInt(2.W) 422 } 423 424 override def toPrintable: Printable = { 425 p"Satp mode:0x${Hexadecimal(satp.mode)} asid:0x${Hexadecimal(satp.asid)} ppn:0x${Hexadecimal(satp.ppn)} " + 426 p"Priv mxr:${priv.mxr} sum:${priv.sum} imode:${priv.imode} dmode:${priv.dmode}" 427 } 428} 429 430class SfenceBundle extends XSBundle { 431 val valid = Bool() 432 val bits = new Bundle { 433 val rs1 = Bool() 434 val rs2 = Bool() 435 val addr = UInt(VAddrBits.W) 436 } 437 438 override def toPrintable: Printable = { 439 p"valid:0x${Hexadecimal(valid)} rs1:${bits.rs1} rs2:${bits.rs2} addr:${Hexadecimal(bits.addr)}" 440 } 441} 442 443class DifftestBundle extends XSBundle { 444 val fromSbuffer = new Bundle() { 445 val sbufferResp = Output(Bool()) 446 val sbufferAddr = Output(UInt(64.W)) 447 val sbufferData = Output(Vec(64, UInt(8.W))) 448 val sbufferMask = Output(UInt(64.W)) 449 } 450 val fromSQ = new Bundle() { 451 val storeCommit = Output(UInt(2.W)) 452 val storeAddr = Output(Vec(2, UInt(64.W))) 453 val storeData = Output(Vec(2, UInt(64.W))) 454 val storeMask = Output(Vec(2, UInt(8.W))) 455 } 456 val fromXSCore = new Bundle() { 457 val r = Output(Vec(64, UInt(XLEN.W))) 458 } 459 val fromCSR = new Bundle() { 460 val intrNO = Output(UInt(64.W)) 461 val cause = Output(UInt(64.W)) 462 val priviledgeMode = Output(UInt(2.W)) 463 val mstatus = Output(UInt(64.W)) 464 val sstatus = Output(UInt(64.W)) 465 val mepc = Output(UInt(64.W)) 466 val sepc = Output(UInt(64.W)) 467 val mtval = Output(UInt(64.W)) 468 val stval = Output(UInt(64.W)) 469 val mtvec = Output(UInt(64.W)) 470 val stvec = Output(UInt(64.W)) 471 val mcause = Output(UInt(64.W)) 472 val scause = Output(UInt(64.W)) 473 val satp = Output(UInt(64.W)) 474 val mip = Output(UInt(64.W)) 475 val mie = Output(UInt(64.W)) 476 val mscratch = Output(UInt(64.W)) 477 val sscratch = Output(UInt(64.W)) 478 val mideleg = Output(UInt(64.W)) 479 val medeleg = Output(UInt(64.W)) 480 } 481 val fromRoq = new Bundle() { 482 val commit = Output(UInt(32.W)) 483 val thisPC = Output(UInt(XLEN.W)) 484 val thisINST = Output(UInt(32.W)) 485 val skip = Output(UInt(32.W)) 486 val wen = Output(UInt(32.W)) 487 val wdata = Output(Vec(CommitWidth, UInt(XLEN.W))) // set difftest width to 6 488 val wdst = Output(Vec(CommitWidth, UInt(32.W))) // set difftest width to 6 489 val wpc = Output(Vec(CommitWidth, UInt(XLEN.W))) // set difftest width to 6 490 val lpaddr = Output(Vec(CommitWidth, UInt(64.W))) 491 val ltype = Output(Vec(CommitWidth, UInt(32.W))) 492 val lfu = Output(Vec(CommitWidth, UInt(4.W))) 493 val isRVC = Output(UInt(32.W)) 494 val scFailed = Output(Bool()) 495 } 496 val fromAtomic = new Bundle() { 497 val atomicResp = Output(Bool()) 498 val atomicAddr = Output(UInt(64.W)) 499 val atomicData = Output(UInt(64.W)) 500 val atomicMask = Output(UInt(8.W)) 501 val atomicFuop = Output(UInt(8.W)) 502 val atomicOut = Output(UInt(64.W)) 503 } 504 val fromPtw = new Bundle() { 505 val ptwResp = Output(Bool()) 506 val ptwAddr = Output(UInt(64.W)) 507 val ptwData = Output(Vec(4, UInt(64.W))) 508 } 509} 510 511class TrapIO extends XSBundle { 512 val valid = Output(Bool()) 513 val code = Output(UInt(3.W)) 514 val pc = Output(UInt(VAddrBits.W)) 515 val cycleCnt = Output(UInt(XLEN.W)) 516 val instrCnt = Output(UInt(XLEN.W)) 517}