xref: /XiangShan/src/main/scala/xiangshan/frontend/IFU.scala (revision e4d4d30585412eb8ac83b5c75599a348356342a2)
1/***************************************************************************************
2* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences
3* Copyright (c) 2020-2021 Peng Cheng Laboratory
4*
5* XiangShan is licensed under Mulan PSL v2.
6* You can use this software according to the terms and conditions of the Mulan PSL v2.
7* You may obtain a copy of Mulan PSL v2 at:
8*          http://license.coscl.org.cn/MulanPSL2
9*
10* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
11* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
12* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
13*
14* See the Mulan PSL v2 for more details.
15***************************************************************************************/
16
17package xiangshan.frontend
18
19import org.chipsalliance.cde.config.Parameters
20import chisel3._
21import chisel3.util._
22import freechips.rocketchip.rocket.RVCDecoder
23import xiangshan._
24import xiangshan.cache.mmu._
25import xiangshan.frontend.icache._
26import utils._
27import utility._
28import xiangshan.backend.fu.{PMPReqBundle, PMPRespBundle}
29import utility.ChiselDB
30
31trait HasInstrMMIOConst extends HasXSParameter with HasIFUConst{
32  def mmioBusWidth = 64
33  def mmioBusBytes = mmioBusWidth / 8
34  def maxInstrLen = 32
35}
36
37trait HasIFUConst extends HasXSParameter{
38  def addrAlign(addr: UInt, bytes: Int, highest: Int): UInt = Cat(addr(highest-1, log2Ceil(bytes)), 0.U(log2Ceil(bytes).W))
39  def fetchQueueSize = 2
40
41  def getBasicBlockIdx( pc: UInt, start:  UInt ): UInt = {
42    val byteOffset = pc - start
43    (byteOffset - instBytes.U)(log2Ceil(PredictWidth),instOffsetBits)
44  }
45}
46
47class IfuToFtqIO(implicit p:Parameters) extends XSBundle {
48  val pdWb = Valid(new PredecodeWritebackBundle)
49}
50
51class FtqInterface(implicit p: Parameters) extends XSBundle {
52  val fromFtq = Flipped(new FtqToIfuIO)
53  val toFtq   = new IfuToFtqIO
54}
55
56class UncacheInterface(implicit p: Parameters) extends XSBundle {
57  val fromUncache = Flipped(DecoupledIO(new InsUncacheResp))
58  val toUncache   = DecoupledIO( new InsUncacheReq )
59}
60
61class NewIFUIO(implicit p: Parameters) extends XSBundle {
62  val ftqInter        = new FtqInterface
63  val icacheInter     = Flipped(new IFUICacheIO)
64  val icacheStop      = Output(Bool())
65  val icachePerfInfo  = Input(new ICachePerfInfo)
66  val toIbuffer       = Decoupled(new FetchToIBuffer)
67  val uncacheInter   =  new UncacheInterface
68  val frontendTrigger = Flipped(new FrontendTdataDistributeIO)
69  val rob_commits = Flipped(Vec(CommitWidth, Valid(new RobCommitInfo)))
70  val iTLBInter       = new TlbRequestIO
71  val pmp             =   new ICachePMPBundle
72  val mmioCommitRead  = new mmioCommitRead
73}
74
75// record the situation in which fallThruAddr falls into
76// the middle of an RVI inst
77class LastHalfInfo(implicit p: Parameters) extends XSBundle {
78  val valid = Bool()
79  val middlePC = UInt(VAddrBits.W)
80  def matchThisBlock(startAddr: UInt) = valid && middlePC === startAddr
81}
82
83class IfuToPreDecode(implicit p: Parameters) extends XSBundle {
84  val data                =  if(HasCExtension) Vec(PredictWidth + 1, UInt(16.W)) else Vec(PredictWidth, UInt(32.W))
85  val frontendTrigger     = new FrontendTdataDistributeIO
86  val pc                  = Vec(PredictWidth, UInt(VAddrBits.W))
87}
88
89
90class IfuToPredChecker(implicit p: Parameters) extends XSBundle {
91  val ftqOffset     = Valid(UInt(log2Ceil(PredictWidth).W))
92  val jumpOffset    = Vec(PredictWidth, UInt(XLEN.W))
93  val target        = UInt(VAddrBits.W)
94  val instrRange    = Vec(PredictWidth, Bool())
95  val instrValid    = Vec(PredictWidth, Bool())
96  val pds           = Vec(PredictWidth, new PreDecodeInfo)
97  val pc            = Vec(PredictWidth, UInt(VAddrBits.W))
98}
99
100class FetchToIBufferDB extends Bundle {
101  val start_addr = UInt(39.W)
102  val instr_count = UInt(32.W)
103  val exception = Bool()
104  val is_cache_hit = Bool()
105}
106
107class IfuWbToFtqDB extends Bundle {
108  val start_addr = UInt(39.W)
109  val is_miss_pred = Bool()
110  val miss_pred_offset = UInt(32.W)
111  val checkJalFault = Bool()
112  val checkRetFault = Bool()
113  val checkTargetFault = Bool()
114  val checkNotCFIFault = Bool()
115  val checkInvalidTaken = Bool()
116}
117
118class NewIFU(implicit p: Parameters) extends XSModule
119  with HasICacheParameters
120  with HasIFUConst
121  with HasPdConst
122  with HasCircularQueuePtrHelper
123  with HasPerfEvents
124{
125  val io = IO(new NewIFUIO)
126  val (toFtq, fromFtq)    = (io.ftqInter.toFtq, io.ftqInter.fromFtq)
127  val fromICache = io.icacheInter.resp
128  val (toUncache, fromUncache) = (io.uncacheInter.toUncache , io.uncacheInter.fromUncache)
129
130  def isCrossLineReq(start: UInt, end: UInt): Bool = start(blockOffBits) ^ end(blockOffBits)
131
132  def isLastInCacheline(addr: UInt): Bool = addr(blockOffBits - 1, 1) === 0.U
133
134  def numOfStage = 3
135  require(numOfStage > 1, "BPU numOfStage must be greater than 1")
136  val topdown_stages = RegInit(VecInit(Seq.fill(numOfStage)(0.U.asTypeOf(new FrontendTopDownBundle))))
137  // bubble events in IFU, only happen in stage 1
138  val icacheMissBubble = Wire(Bool())
139  val itlbMissBubble =Wire(Bool())
140
141  // only driven by clock, not valid-ready
142  topdown_stages(0) := fromFtq.req.bits.topdown_info
143  for (i <- 1 until numOfStage) {
144    topdown_stages(i) := topdown_stages(i - 1)
145  }
146  when (icacheMissBubble) {
147    topdown_stages(1).reasons(TopDownCounters.ICacheMissBubble.id) := true.B
148  }
149  when (itlbMissBubble) {
150    topdown_stages(1).reasons(TopDownCounters.ITLBMissBubble.id) := true.B
151  }
152  io.toIbuffer.bits.topdown_info := topdown_stages(numOfStage - 1)
153  when (fromFtq.topdown_redirect.valid) {
154    // only redirect from backend, IFU redirect itself is handled elsewhere
155    when (fromFtq.topdown_redirect.bits.debugIsCtrl) {
156      /*
157      for (i <- 0 until numOfStage) {
158        topdown_stages(i).reasons(TopDownCounters.ControlRedirectBubble.id) := true.B
159      }
160      io.toIbuffer.bits.topdown_info.reasons(TopDownCounters.ControlRedirectBubble.id) := true.B
161      */
162      when (fromFtq.topdown_redirect.bits.ControlBTBMissBubble) {
163        for (i <- 0 until numOfStage) {
164          topdown_stages(i).reasons(TopDownCounters.BTBMissBubble.id) := true.B
165        }
166        io.toIbuffer.bits.topdown_info.reasons(TopDownCounters.BTBMissBubble.id) := true.B
167      } .elsewhen (fromFtq.topdown_redirect.bits.TAGEMissBubble) {
168        for (i <- 0 until numOfStage) {
169          topdown_stages(i).reasons(TopDownCounters.TAGEMissBubble.id) := true.B
170        }
171        io.toIbuffer.bits.topdown_info.reasons(TopDownCounters.TAGEMissBubble.id) := true.B
172      } .elsewhen (fromFtq.topdown_redirect.bits.SCMissBubble) {
173        for (i <- 0 until numOfStage) {
174          topdown_stages(i).reasons(TopDownCounters.SCMissBubble.id) := true.B
175        }
176        io.toIbuffer.bits.topdown_info.reasons(TopDownCounters.SCMissBubble.id) := true.B
177      } .elsewhen (fromFtq.topdown_redirect.bits.ITTAGEMissBubble) {
178        for (i <- 0 until numOfStage) {
179          topdown_stages(i).reasons(TopDownCounters.ITTAGEMissBubble.id) := true.B
180        }
181        io.toIbuffer.bits.topdown_info.reasons(TopDownCounters.ITTAGEMissBubble.id) := true.B
182      } .elsewhen (fromFtq.topdown_redirect.bits.RASMissBubble) {
183        for (i <- 0 until numOfStage) {
184          topdown_stages(i).reasons(TopDownCounters.RASMissBubble.id) := true.B
185        }
186        io.toIbuffer.bits.topdown_info.reasons(TopDownCounters.RASMissBubble.id) := true.B
187      }
188    } .elsewhen (fromFtq.topdown_redirect.bits.debugIsMemVio) {
189      for (i <- 0 until numOfStage) {
190        topdown_stages(i).reasons(TopDownCounters.MemVioRedirectBubble.id) := true.B
191      }
192      io.toIbuffer.bits.topdown_info.reasons(TopDownCounters.MemVioRedirectBubble.id) := true.B
193    } .otherwise {
194      for (i <- 0 until numOfStage) {
195        topdown_stages(i).reasons(TopDownCounters.OtherRedirectBubble.id) := true.B
196      }
197      io.toIbuffer.bits.topdown_info.reasons(TopDownCounters.OtherRedirectBubble.id) := true.B
198    }
199  }
200
201  class TlbExept(implicit p: Parameters) extends XSBundle{
202    val pageFault = Bool()
203    val accessFault = Bool()
204    val mmio = Bool()
205  }
206
207  val preDecoders       = Seq.fill(4){ Module(new PreDecode) }
208
209  val predChecker     = Module(new PredChecker)
210  val frontendTrigger = Module(new FrontendTrigger)
211  val (checkerIn, checkerOutStage1, checkerOutStage2)         = (predChecker.io.in, predChecker.io.out.stage1Out,predChecker.io.out.stage2Out)
212
213  io.iTLBInter.req_kill := false.B
214  io.iTLBInter.resp.ready := true.B
215
216  /**
217    ******************************************************************************
218    * IFU Stage 0
219    * - send cacheline fetch request to ICacheMainPipe
220    ******************************************************************************
221    */
222
223  val f0_valid                             = fromFtq.req.valid
224  val f0_ftq_req                           = fromFtq.req.bits
225  val f0_doubleLine                        = fromFtq.req.bits.crossCacheline
226  val f0_vSetIdx                           = VecInit(get_idx((f0_ftq_req.startAddr)), get_idx(f0_ftq_req.nextlineStart))
227  val f0_fire                              = fromFtq.req.fire
228
229  val f0_flush, f1_flush, f2_flush, f3_flush = WireInit(false.B)
230  val from_bpu_f0_flush, from_bpu_f1_flush, from_bpu_f2_flush, from_bpu_f3_flush = WireInit(false.B)
231
232  from_bpu_f0_flush := fromFtq.flushFromBpu.shouldFlushByStage2(f0_ftq_req.ftqIdx) ||
233                       fromFtq.flushFromBpu.shouldFlushByStage3(f0_ftq_req.ftqIdx)
234
235  val wb_redirect , mmio_redirect,  backend_redirect= WireInit(false.B)
236  val f3_wb_not_flush = WireInit(false.B)
237
238  backend_redirect := fromFtq.redirect.valid
239  f3_flush := backend_redirect || (wb_redirect && !f3_wb_not_flush)
240  f2_flush := backend_redirect || mmio_redirect || wb_redirect
241  f1_flush := f2_flush || from_bpu_f1_flush
242  f0_flush := f1_flush || from_bpu_f0_flush
243
244  val f1_ready, f2_ready, f3_ready         = WireInit(false.B)
245
246  fromFtq.req.ready := f1_ready && io.icacheInter.icacheReady
247
248
249  when (wb_redirect) {
250    when (f3_wb_not_flush) {
251      topdown_stages(2).reasons(TopDownCounters.BTBMissBubble.id) := true.B
252    }
253    for (i <- 0 until numOfStage - 1) {
254      topdown_stages(i).reasons(TopDownCounters.BTBMissBubble.id) := true.B
255    }
256  }
257
258  /** <PERF> f0 fetch bubble */
259
260  XSPerfAccumulate("fetch_bubble_ftq_not_valid",   !fromFtq.req.valid && fromFtq.req.ready  )
261  // XSPerfAccumulate("fetch_bubble_pipe_stall",    f0_valid && toICache(0).ready && toICache(1).ready && !f1_ready )
262  // XSPerfAccumulate("fetch_bubble_icache_0_busy",   f0_valid && !toICache(0).ready  )
263  // XSPerfAccumulate("fetch_bubble_icache_1_busy",   f0_valid && !toICache(1).ready  )
264  XSPerfAccumulate("fetch_flush_backend_redirect",   backend_redirect  )
265  XSPerfAccumulate("fetch_flush_wb_redirect",    wb_redirect  )
266  XSPerfAccumulate("fetch_flush_bpu_f1_flush",   from_bpu_f1_flush  )
267  XSPerfAccumulate("fetch_flush_bpu_f0_flush",   from_bpu_f0_flush  )
268
269
270  /**
271    ******************************************************************************
272    * IFU Stage 1
273    * - calculate pc/half_pc/cut_ptr for every instruction
274    ******************************************************************************
275    */
276
277  val f1_valid      = RegInit(false.B)
278  val f1_ftq_req    = RegEnable(f0_ftq_req,    f0_fire)
279  // val f1_situation  = RegEnable(f0_situation,  f0_fire)
280  val f1_doubleLine = RegEnable(f0_doubleLine, f0_fire)
281  val f1_vSetIdx    = RegEnable(f0_vSetIdx,    f0_fire)
282  val f1_fire       = f1_valid && f2_ready
283
284  f1_ready := f1_fire || !f1_valid
285
286  from_bpu_f1_flush := fromFtq.flushFromBpu.shouldFlushByStage3(f1_ftq_req.ftqIdx) && f1_valid
287  // from_bpu_f1_flush := false.B
288
289  when(f1_flush)                  {f1_valid  := false.B}
290  .elsewhen(f0_fire && !f0_flush) {f1_valid  := true.B}
291  .elsewhen(f1_fire)              {f1_valid  := false.B}
292
293  val f1_pc_adder_cut_point = (VAddrBits/2) - 1 // equal lower_result overflow bit
294  val f1_pc_high            = f1_ftq_req.startAddr(VAddrBits-1,f1_pc_adder_cut_point)
295  val f1_pc_high_plus1      = f1_pc_high + 1.U
296
297  val f1_pc_lower_result    = VecInit((0 until PredictWidth).map(i => Cat(0.U(1.W), f1_ftq_req.startAddr(f1_pc_adder_cut_point-1, 0)) + (i * 2).U)) // cat with overflow bit
298  val f1_pc                 = VecInit(f1_pc_lower_result.map{ i =>
299    Mux(i(f1_pc_adder_cut_point), Cat(f1_pc_high_plus1,i(f1_pc_adder_cut_point-1,0)), Cat(f1_pc_high,i(f1_pc_adder_cut_point-1,0)))})
300
301  val f1_half_snpc_lower_result = VecInit((0 until PredictWidth).map(i => Cat(0.U(1.W), f1_ftq_req.startAddr(f1_pc_adder_cut_point-1, 0)) + ((i+2) * 2).U)) // cat with overflow bit
302  val f1_half_snpc          = VecInit(f1_half_snpc_lower_result.map{i =>
303    Mux(i(f1_pc_adder_cut_point), Cat(f1_pc_high_plus1,i(f1_pc_adder_cut_point-1,0)), Cat(f1_pc_high,i(f1_pc_adder_cut_point-1,0)))})
304
305  if (env.FPGAPlatform){
306    val f1_pc_diff          = VecInit((0 until PredictWidth).map(i => f1_ftq_req.startAddr + (i * 2).U))
307    val f1_half_snpc_diff   = VecInit((0 until PredictWidth).map(i => f1_ftq_req.startAddr + ((i+2) * 2).U))
308
309    XSError(f1_pc.zip(f1_pc_diff).map{ case (a,b) => a.asUInt =/= b.asUInt }.reduce(_||_), "f1_half_snpc adder cut fail")
310    XSError(f1_half_snpc.zip(f1_half_snpc_diff).map{ case (a,b) => a.asUInt =/= b.asUInt }.reduce(_||_),  "f1_half_snpc adder cut fail")
311  }
312
313  val f1_cut_ptr            = if(HasCExtension)  VecInit((0 until PredictWidth + 1).map(i =>  Cat(0.U(1.W), f1_ftq_req.startAddr(blockOffBits-1, 1)) + i.U ))
314                                  else           VecInit((0 until PredictWidth).map(i =>     Cat(0.U(1.W), f1_ftq_req.startAddr(blockOffBits-1, 2)) + i.U ))
315
316  /**
317    ******************************************************************************
318    * IFU Stage 2
319    * - icache response data (latched for pipeline stop)
320    * - generate exceprion bits for every instruciton (page fault/access fault/mmio)
321    * - generate predicted instruction range (1 means this instruciton is in this fetch packet)
322    * - cut data from cachlines to packet instruction code
323    * - instruction predecode and RVC expand
324    ******************************************************************************
325    */
326
327  val icacheRespAllValid = WireInit(false.B)
328
329  val f2_valid      = RegInit(false.B)
330  val f2_ftq_req    = RegEnable(f1_ftq_req,    f1_fire)
331  // val f2_situation  = RegEnable(f1_situation,  f1_fire)
332  val f2_doubleLine = RegEnable(f1_doubleLine, f1_fire)
333  val f2_vSetIdx    = RegEnable(f1_vSetIdx,    f1_fire)
334  val f2_fire       = f2_valid && f3_ready && icacheRespAllValid
335
336  f2_ready := f2_fire || !f2_valid
337  //TODO: addr compare may be timing critical
338  val f2_icache_all_resp_wire       =  fromICache(0).valid && (fromICache(0).bits.vaddr ===  f2_ftq_req.startAddr) && ((fromICache(1).valid && (fromICache(1).bits.vaddr ===  f2_ftq_req.nextlineStart)) || !f2_doubleLine)
339  val f2_icache_all_resp_reg        = RegInit(false.B)
340
341  icacheRespAllValid := f2_icache_all_resp_reg || f2_icache_all_resp_wire
342
343  icacheMissBubble := io.icacheInter.topdownIcacheMiss
344  itlbMissBubble   := io.icacheInter.topdownItlbMiss
345
346  io.icacheStop := !f3_ready
347
348  when(f2_flush)                                              {f2_icache_all_resp_reg := false.B}
349  .elsewhen(f2_valid && f2_icache_all_resp_wire && !f3_ready) {f2_icache_all_resp_reg := true.B}
350  .elsewhen(f2_fire && f2_icache_all_resp_reg)                {f2_icache_all_resp_reg := false.B}
351
352  when(f2_flush)                  {f2_valid := false.B}
353  .elsewhen(f1_fire && !f1_flush) {f2_valid := true.B }
354  .elsewhen(f2_fire)              {f2_valid := false.B}
355
356  // val f2_cache_response_data = ResultHoldBypass(valid = f2_icache_all_resp_wire, data = VecInit(fromICache.map(_.bits.readData)))
357  val f2_cache_response_reg_data  = VecInit(fromICache.map(_.bits.registerData))
358  val f2_cache_response_sram_data = VecInit(fromICache.map(_.bits.sramData))
359  val f2_cache_response_select    = VecInit(fromICache.map(_.bits.select))
360
361
362  val f2_except_pf    = VecInit((0 until PortNumber).map(i => fromICache(i).bits.tlbExcp.pageFault))
363  val f2_except_af    = VecInit((0 until PortNumber).map(i => fromICache(i).bits.tlbExcp.accessFault))
364  val f2_mmio         = fromICache(0).bits.tlbExcp.mmio && !fromICache(0).bits.tlbExcp.accessFault &&
365                                                           !fromICache(0).bits.tlbExcp.pageFault
366
367  val f2_pc               = RegEnable(f1_pc,  f1_fire)
368  val f2_half_snpc        = RegEnable(f1_half_snpc,  f1_fire)
369  val f2_cut_ptr          = RegEnable(f1_cut_ptr,  f1_fire)
370
371  val f2_resend_vaddr     = RegEnable(f1_ftq_req.startAddr + 2.U,  f1_fire)
372
373  def isNextLine(pc: UInt, startAddr: UInt) = {
374    startAddr(blockOffBits) ^ pc(blockOffBits)
375  }
376
377  def isLastInLine(pc: UInt) = {
378    pc(blockOffBits - 1, 0) === "b111110".U
379  }
380
381  val f2_foldpc = VecInit(f2_pc.map(i => XORFold(i(VAddrBits-1,1), MemPredPCWidth)))
382  val f2_jump_range = Fill(PredictWidth, !f2_ftq_req.ftqOffset.valid) | Fill(PredictWidth, 1.U(1.W)) >> ~f2_ftq_req.ftqOffset.bits
383  val f2_ftr_range  = Fill(PredictWidth,  f2_ftq_req.ftqOffset.valid) | Fill(PredictWidth, 1.U(1.W)) >> ~getBasicBlockIdx(f2_ftq_req.nextStartAddr, f2_ftq_req.startAddr)
384  val f2_instr_range = f2_jump_range & f2_ftr_range
385  val f2_pf_vec = VecInit((0 until PredictWidth).map(i => (!isNextLine(f2_pc(i), f2_ftq_req.startAddr) && f2_except_pf(0)   ||  isNextLine(f2_pc(i), f2_ftq_req.startAddr) && f2_doubleLine &&  f2_except_pf(1))))
386  val f2_af_vec = VecInit((0 until PredictWidth).map(i => (!isNextLine(f2_pc(i), f2_ftq_req.startAddr) && f2_except_af(0)   ||  isNextLine(f2_pc(i), f2_ftq_req.startAddr) && f2_doubleLine && f2_except_af(1))))
387
388  val f2_paddrs       = VecInit((0 until PortNumber).map(i => fromICache(i).bits.paddr))
389  val f2_perf_info    = io.icachePerfInfo
390
391  def cut(cacheline: UInt, cutPtr: Vec[UInt]) : Vec[UInt] ={
392    require(HasCExtension)
393    // if(HasCExtension){
394      val partCacheline = cacheline((blockBytes * 8 * 2 * 3) / 4 - 1, 0)
395      val result   = Wire(Vec(PredictWidth + 1, UInt(16.W)))
396      val dataVec  = cacheline.asTypeOf(Vec(blockBytes * 3 /4, UInt(16.W))) //47 16-bit data vector
397      (0 until PredictWidth + 1).foreach( i =>
398        result(i) := dataVec(cutPtr(i)) //the max ptr is 3*blockBytes/4-1
399      )
400      result
401    // } else {
402    //   val result   = Wire(Vec(PredictWidth, UInt(32.W)) )
403    //   val dataVec  = cacheline.asTypeOf(Vec(blockBytes * 2/ 4, UInt(32.W)))
404    //   (0 until PredictWidth).foreach( i =>
405    //     result(i) := dataVec(cutPtr(i))
406    //   )
407    //   result
408    // }
409  }
410
411  val f2_data_2_cacheline =  Wire(Vec(4, UInt((2 * blockBits).W)))
412  f2_data_2_cacheline(0) := Cat(f2_cache_response_reg_data(1) , f2_cache_response_reg_data(0))
413  f2_data_2_cacheline(1) := Cat(f2_cache_response_reg_data(1) , f2_cache_response_sram_data(0))
414  f2_data_2_cacheline(2) := Cat(f2_cache_response_sram_data(1) , f2_cache_response_reg_data(0))
415  f2_data_2_cacheline(3) := Cat(f2_cache_response_sram_data(1) , f2_cache_response_sram_data(0))
416
417  val f2_cut_data   = VecInit(f2_data_2_cacheline.map(data => cut(  data, f2_cut_ptr )))
418
419  val f2_predecod_ptr = Wire(UInt(2.W))
420  f2_predecod_ptr := Cat(f2_cache_response_select(1),f2_cache_response_select(0))
421
422  /** predecode (include RVC expander) */
423  // preDecoderRegIn.data := f2_reg_cut_data
424  // preDecoderRegInIn.frontendTrigger := io.frontendTrigger
425  // preDecoderRegInIn.csrTriggerEnable := io.csrTriggerEnable
426  // preDecoderRegIn.pc  := f2_pc
427
428  val preDecoderOut = Mux1H(UIntToOH(f2_predecod_ptr), preDecoders.map(_.io.out))
429  for(i <- 0 until 4){
430    val preDecoderIn  = preDecoders(i).io.in
431    preDecoderIn.data := f2_cut_data(i)
432    preDecoderIn.frontendTrigger := io.frontendTrigger
433    preDecoderIn.pc  := f2_pc
434  }
435
436  //val f2_expd_instr     = preDecoderOut.expInstr
437  val f2_instr          = preDecoderOut.instr
438  val f2_pd             = preDecoderOut.pd
439  val f2_jump_offset    = preDecoderOut.jumpOffset
440  val f2_hasHalfValid   =  preDecoderOut.hasHalfValid
441  val f2_crossPageFault = VecInit((0 until PredictWidth).map(i => isLastInLine(f2_pc(i)) && !f2_except_pf(0) && f2_doubleLine &&  f2_except_pf(1) && !f2_pd(i).isRVC ))
442
443  XSPerfAccumulate("fetch_bubble_icache_not_resp",   f2_valid && !icacheRespAllValid )
444
445
446  /**
447    ******************************************************************************
448    * IFU Stage 3
449    * - handle MMIO instruciton
450    *  -send request to Uncache fetch Unit
451    *  -every packet include 1 MMIO instruction
452    *  -MMIO instructions will stop fetch pipeline until commiting from RoB
453    *  -flush to snpc (send ifu_redirect to Ftq)
454    * - Ibuffer enqueue
455    * - check predict result in Frontend (jalFault/retFault/notCFIFault/invalidTakenFault/targetFault)
456    * - handle last half RVI instruction
457    ******************************************************************************
458    */
459
460  val f3_valid          = RegInit(false.B)
461  val f3_ftq_req        = RegEnable(f2_ftq_req,    f2_fire)
462  // val f3_situation      = RegEnable(f2_situation,  f2_fire)
463  val f3_doubleLine     = RegEnable(f2_doubleLine, f2_fire)
464  val f3_fire           = io.toIbuffer.fire
465
466  f3_ready := f3_fire || !f3_valid
467
468  val f3_cut_data       = RegEnable(f2_cut_data(f2_predecod_ptr), f2_fire)
469
470  val f3_except_pf      = RegEnable(f2_except_pf,  f2_fire)
471  val f3_except_af      = RegEnable(f2_except_af,  f2_fire)
472  val f3_mmio           = RegEnable(f2_mmio   ,  f2_fire)
473
474  //val f3_expd_instr     = RegEnable(f2_expd_instr,  f2_fire)
475  val f3_instr          = RegEnable(f2_instr, f2_fire)
476  val f3_expd_instr     = VecInit((0 until PredictWidth).map{ i =>
477    val expander       = Module(new RVCExpander)
478    expander.io.in := f3_instr(i)
479    expander.io.out.bits
480  })
481
482  val f3_pd_wire        = RegEnable(f2_pd,          f2_fire)
483  val f3_pd             = WireInit(f3_pd_wire)
484  val f3_jump_offset    = RegEnable(f2_jump_offset, f2_fire)
485  val f3_af_vec         = RegEnable(f2_af_vec,      f2_fire)
486  val f3_pf_vec         = RegEnable(f2_pf_vec ,     f2_fire)
487  val f3_pc             = RegEnable(f2_pc,          f2_fire)
488  val f3_half_snpc      = RegEnable(f2_half_snpc,   f2_fire)
489  val f3_instr_range    = RegEnable(f2_instr_range, f2_fire)
490  val f3_foldpc         = RegEnable(f2_foldpc,      f2_fire)
491  val f3_crossPageFault = RegEnable(f2_crossPageFault,      f2_fire)
492  val f3_hasHalfValid   = RegEnable(f2_hasHalfValid,      f2_fire)
493  val f3_except         = VecInit((0 until 2).map{i => f3_except_pf(i) || f3_except_af(i)})
494  val f3_has_except     = f3_valid && (f3_except_af.reduce(_||_) || f3_except_pf.reduce(_||_))
495  val f3_pAddrs   = RegEnable(f2_paddrs,  f2_fire)
496  val f3_resend_vaddr   = RegEnable(f2_resend_vaddr,       f2_fire)
497
498  // Expand 1 bit to prevent overflow when assert
499  val f3_ftq_req_startAddr      = Cat(0.U(1.W), f3_ftq_req.startAddr)
500  val f3_ftq_req_nextStartAddr  = Cat(0.U(1.W), f3_ftq_req.nextStartAddr)
501  // brType, isCall and isRet generation is delayed to f3 stage
502  val f3Predecoder = Module(new F3Predecoder)
503
504  f3Predecoder.io.in.instr := f3_instr
505
506  f3_pd.zipWithIndex.map{ case (pd,i) =>
507    pd.brType := f3Predecoder.io.out.pd(i).brType
508    pd.isCall := f3Predecoder.io.out.pd(i).isCall
509    pd.isRet  := f3Predecoder.io.out.pd(i).isRet
510  }
511
512  val f3PdDiff = f3_pd_wire.zip(f3_pd).map{ case (a,b) => a.asUInt =/= b.asUInt }.reduce(_||_)
513  XSError(f3_valid && f3PdDiff, "f3 pd diff")
514
515  when(f3_valid && !f3_ftq_req.ftqOffset.valid){
516    assert(f3_ftq_req_startAddr + (2*PredictWidth).U >= f3_ftq_req_nextStartAddr, s"More tha ${2*PredictWidth} Bytes fetch is not allowed!")
517  }
518
519  /*** MMIO State Machine***/
520  val f3_mmio_data    = Reg(Vec(2, UInt(16.W)))
521  val mmio_is_RVC     = RegInit(false.B)
522  val mmio_resend_addr =RegInit(0.U(PAddrBits.W))
523  val mmio_resend_af  = RegInit(false.B)
524  val mmio_resend_pf  = RegInit(false.B)
525
526  //last instuction finish
527  val is_first_instr = RegInit(true.B)
528  io.mmioCommitRead.mmioFtqPtr := RegNext(f3_ftq_req.ftqIdx + 1.U)
529
530  val m_idle :: m_waitLastCmt:: m_sendReq :: m_waitResp :: m_sendTLB :: m_tlbResp :: m_sendPMP :: m_resendReq :: m_waitResendResp :: m_waitCommit :: m_commited :: Nil = Enum(11)
531  val mmio_state = RegInit(m_idle)
532
533  val f3_req_is_mmio     = f3_mmio && f3_valid
534  val mmio_commit = VecInit(io.rob_commits.map{commit => commit.valid && commit.bits.ftqIdx === f3_ftq_req.ftqIdx &&  commit.bits.ftqOffset === 0.U}).asUInt.orR
535  val f3_mmio_req_commit = f3_req_is_mmio && mmio_state === m_commited
536
537  val f3_mmio_to_commit =  f3_req_is_mmio && mmio_state === m_waitCommit
538  val f3_mmio_to_commit_next = RegNext(f3_mmio_to_commit)
539  val f3_mmio_can_go      = f3_mmio_to_commit && !f3_mmio_to_commit_next
540
541  val fromFtqRedirectReg    = RegNext(fromFtq.redirect,init = 0.U.asTypeOf(fromFtq.redirect))
542  val mmioF3Flush           = RegNext(f3_flush,init = false.B)
543  val f3_ftq_flush_self     = fromFtqRedirectReg.valid && RedirectLevel.flushItself(fromFtqRedirectReg.bits.level)
544  val f3_ftq_flush_by_older = fromFtqRedirectReg.valid && isBefore(fromFtqRedirectReg.bits.ftqIdx, f3_ftq_req.ftqIdx)
545
546  val f3_need_not_flush = f3_req_is_mmio && fromFtqRedirectReg.valid && !f3_ftq_flush_self && !f3_ftq_flush_by_older
547
548  when(is_first_instr && mmio_commit){
549    is_first_instr := false.B
550  }
551
552  when(f3_flush && !f3_req_is_mmio)                                                 {f3_valid := false.B}
553  .elsewhen(mmioF3Flush && f3_req_is_mmio && !f3_need_not_flush)                    {f3_valid := false.B}
554  .elsewhen(f2_fire && !f2_flush )                                                  {f3_valid := true.B }
555  .elsewhen(io.toIbuffer.fire && !f3_req_is_mmio)                                   {f3_valid := false.B}
556  .elsewhen{f3_req_is_mmio && f3_mmio_req_commit}                                   {f3_valid := false.B}
557
558  val f3_mmio_use_seq_pc = RegInit(false.B)
559
560  val (redirect_ftqIdx, redirect_ftqOffset)  = (fromFtqRedirectReg.bits.ftqIdx,fromFtqRedirectReg.bits.ftqOffset)
561  val redirect_mmio_req = fromFtqRedirectReg.valid && redirect_ftqIdx === f3_ftq_req.ftqIdx && redirect_ftqOffset === 0.U
562
563  when(RegNext(f2_fire && !f2_flush) && f3_req_is_mmio)        { f3_mmio_use_seq_pc := true.B  }
564  .elsewhen(redirect_mmio_req)                                 { f3_mmio_use_seq_pc := false.B }
565
566  f3_ready := Mux(f3_req_is_mmio, io.toIbuffer.ready && f3_mmio_req_commit || !f3_valid , io.toIbuffer.ready || !f3_valid)
567
568  // mmio state machine
569  switch(mmio_state){
570    is(m_idle){
571      when(f3_req_is_mmio){
572        mmio_state :=  m_waitLastCmt
573      }
574    }
575
576    is(m_waitLastCmt){
577      when(is_first_instr){
578        mmio_state := m_sendReq
579      }.otherwise{
580        mmio_state := Mux(io.mmioCommitRead.mmioLastCommit, m_sendReq, m_waitLastCmt)
581      }
582    }
583
584    is(m_sendReq){
585      mmio_state :=  Mux(toUncache.fire, m_waitResp, m_sendReq )
586    }
587
588    is(m_waitResp){
589      when(fromUncache.fire){
590          val isRVC =  fromUncache.bits.data(1,0) =/= 3.U
591          val needResend = !isRVC && f3_pAddrs(0)(2,1) === 3.U
592          mmio_state :=  Mux(needResend, m_sendTLB , m_waitCommit)
593
594          mmio_is_RVC := isRVC
595          f3_mmio_data(0)   :=  fromUncache.bits.data(15,0)
596          f3_mmio_data(1)   :=  fromUncache.bits.data(31,16)
597      }
598    }
599
600    is(m_sendTLB){
601      when( io.iTLBInter.req.valid && !io.iTLBInter.resp.bits.miss ){
602        mmio_state :=  m_tlbResp
603      }
604    }
605
606    is(m_tlbResp){
607      val tlbExept = io.iTLBInter.resp.bits.excp(0).pf.instr ||
608                     io.iTLBInter.resp.bits.excp(0).af.instr
609      mmio_state :=  Mux(tlbExept,m_waitCommit,m_sendPMP)
610      mmio_resend_addr := io.iTLBInter.resp.bits.paddr(0)
611      mmio_resend_af := mmio_resend_af || io.iTLBInter.resp.bits.excp(0).af.instr
612      mmio_resend_pf := mmio_resend_pf || io.iTLBInter.resp.bits.excp(0).pf.instr
613    }
614
615    is(m_sendPMP){
616      val pmpExcpAF = io.pmp.resp.instr || !io.pmp.resp.mmio
617      mmio_state :=  Mux(pmpExcpAF, m_waitCommit , m_resendReq)
618      mmio_resend_af := pmpExcpAF
619    }
620
621    is(m_resendReq){
622      mmio_state :=  Mux(toUncache.fire, m_waitResendResp, m_resendReq )
623    }
624
625    is(m_waitResendResp){
626      when(fromUncache.fire){
627          mmio_state :=  m_waitCommit
628          f3_mmio_data(1)   :=  fromUncache.bits.data(15,0)
629      }
630    }
631
632    is(m_waitCommit){
633      when(mmio_commit){
634          mmio_state  :=  m_commited
635      }
636    }
637
638    //normal mmio instruction
639    is(m_commited){
640      mmio_state := m_idle
641      mmio_is_RVC := false.B
642      mmio_resend_addr := 0.U
643    }
644  }
645
646  //exception or flush by older branch prediction
647  when(f3_ftq_flush_self || f3_ftq_flush_by_older)  {
648    mmio_state := m_idle
649    mmio_is_RVC := false.B
650    mmio_resend_addr := 0.U
651    mmio_resend_af := false.B
652    f3_mmio_data.map(_ := 0.U)
653  }
654
655  toUncache.valid     :=  ((mmio_state === m_sendReq) || (mmio_state === m_resendReq)) && f3_req_is_mmio
656  toUncache.bits.addr := Mux((mmio_state === m_resendReq), mmio_resend_addr, f3_pAddrs(0))
657  fromUncache.ready   := true.B
658
659  io.iTLBInter.req.valid         := (mmio_state === m_sendTLB) && f3_req_is_mmio
660  io.iTLBInter.req.bits.size     := 3.U
661  io.iTLBInter.req.bits.vaddr    := f3_resend_vaddr
662  io.iTLBInter.req.bits.debug.pc := f3_resend_vaddr
663
664  io.iTLBInter.req.bits.kill                := false.B // IFU use itlb for mmio, doesn't need sync, set it to false
665  io.iTLBInter.req.bits.cmd                 := TlbCmd.exec
666  io.iTLBInter.req.bits.memidx              := DontCare
667  io.iTLBInter.req.bits.debug.robIdx        := DontCare
668  io.iTLBInter.req.bits.no_translate        := false.B
669  io.iTLBInter.req.bits.debug.isFirstIssue  := DontCare
670
671  io.pmp.req.valid := (mmio_state === m_sendPMP) && f3_req_is_mmio
672  io.pmp.req.bits.addr  := mmio_resend_addr
673  io.pmp.req.bits.size  := 3.U
674  io.pmp.req.bits.cmd   := TlbCmd.exec
675
676  val f3_lastHalf       = RegInit(0.U.asTypeOf(new LastHalfInfo))
677
678  val f3_predecode_range = VecInit(preDecoderOut.pd.map(inst => inst.valid)).asUInt
679  val f3_mmio_range      = VecInit((0 until PredictWidth).map(i => if(i ==0) true.B else false.B))
680  val f3_instr_valid     = Wire(Vec(PredictWidth, Bool()))
681
682  /*** prediction result check   ***/
683  checkerIn.ftqOffset   := f3_ftq_req.ftqOffset
684  checkerIn.jumpOffset  := f3_jump_offset
685  checkerIn.target      := f3_ftq_req.nextStartAddr
686  checkerIn.instrRange  := f3_instr_range.asTypeOf(Vec(PredictWidth, Bool()))
687  checkerIn.instrValid  := f3_instr_valid.asTypeOf(Vec(PredictWidth, Bool()))
688  checkerIn.pds         := f3_pd
689  checkerIn.pc          := f3_pc
690
691  /*** handle half RVI in the last 2 Bytes  ***/
692
693  def hasLastHalf(idx: UInt) = {
694    //!f3_pd(idx).isRVC && checkerOutStage1.fixedRange(idx) && f3_instr_valid(idx) && !checkerOutStage1.fixedTaken(idx) && !checkerOutStage2.fixedMissPred(idx) && ! f3_req_is_mmio
695    !f3_pd(idx).isRVC && checkerOutStage1.fixedRange(idx) && f3_instr_valid(idx) && !checkerOutStage1.fixedTaken(idx) && ! f3_req_is_mmio
696  }
697
698  val f3_last_validIdx       = ParallelPosteriorityEncoder(checkerOutStage1.fixedRange)
699
700  val f3_hasLastHalf         = hasLastHalf((PredictWidth - 1).U)
701  val f3_false_lastHalf      = hasLastHalf(f3_last_validIdx)
702  val f3_false_snpc          = f3_half_snpc(f3_last_validIdx)
703
704  val f3_lastHalf_mask    = VecInit((0 until PredictWidth).map( i => if(i ==0) false.B else true.B )).asUInt
705  val f3_lastHalf_disable = RegInit(false.B)
706
707  when(f3_flush || (f3_fire && f3_lastHalf_disable)){
708    f3_lastHalf_disable := false.B
709  }
710
711  when (f3_flush) {
712    f3_lastHalf.valid := false.B
713  }.elsewhen (f3_fire) {
714    f3_lastHalf.valid := f3_hasLastHalf && !f3_lastHalf_disable
715    f3_lastHalf.middlePC := f3_ftq_req.nextStartAddr
716  }
717
718  f3_instr_valid := Mux(f3_lastHalf.valid,f3_hasHalfValid ,VecInit(f3_pd.map(inst => inst.valid)))
719
720  /*** frontend Trigger  ***/
721  frontendTrigger.io.pds  := f3_pd
722  frontendTrigger.io.pc   := f3_pc
723  frontendTrigger.io.data   := f3_cut_data
724
725  frontendTrigger.io.frontendTrigger  := io.frontendTrigger
726
727  val f3_triggered = frontendTrigger.io.triggered
728
729  /*** send to Ibuffer  ***/
730
731  io.toIbuffer.valid            := f3_valid && (!f3_req_is_mmio || f3_mmio_can_go) && !f3_flush
732  io.toIbuffer.bits.instrs      := f3_expd_instr
733  io.toIbuffer.bits.valid       := f3_instr_valid.asUInt
734  io.toIbuffer.bits.enqEnable   := checkerOutStage1.fixedRange.asUInt & f3_instr_valid.asUInt
735  io.toIbuffer.bits.pd          := f3_pd
736  io.toIbuffer.bits.ftqPtr      := f3_ftq_req.ftqIdx
737  io.toIbuffer.bits.pc          := f3_pc
738  io.toIbuffer.bits.ftqOffset.zipWithIndex.map{case(a, i) => a.bits := i.U; a.valid := checkerOutStage1.fixedTaken(i) && !f3_req_is_mmio}
739  io.toIbuffer.bits.foldpc      := f3_foldpc
740  io.toIbuffer.bits.ipf         := VecInit(f3_pf_vec.zip(f3_crossPageFault).map{case (pf, crossPF) => pf || crossPF})
741  io.toIbuffer.bits.acf         := f3_af_vec
742  io.toIbuffer.bits.crossPageIPFFix := f3_crossPageFault
743  io.toIbuffer.bits.triggered   := f3_triggered
744
745  when(f3_lastHalf.valid){
746    io.toIbuffer.bits.enqEnable := checkerOutStage1.fixedRange.asUInt & f3_instr_valid.asUInt & f3_lastHalf_mask
747    io.toIbuffer.bits.valid     := f3_lastHalf_mask & f3_instr_valid.asUInt
748  }
749
750
751
752  //Write back to Ftq
753  val f3_cache_fetch = f3_valid && !(f2_fire && !f2_flush)
754  val finishFetchMaskReg = RegNext(f3_cache_fetch)
755
756  val mmioFlushWb = Wire(Valid(new PredecodeWritebackBundle))
757  val f3_mmio_missOffset = Wire(ValidUndirectioned(UInt(log2Ceil(PredictWidth).W)))
758  f3_mmio_missOffset.valid := f3_req_is_mmio
759  f3_mmio_missOffset.bits  := 0.U
760
761  mmioFlushWb.valid           := (f3_req_is_mmio && mmio_state === m_waitCommit && RegNext(fromUncache.fire)  && f3_mmio_use_seq_pc)
762  mmioFlushWb.bits.pc         := f3_pc
763  mmioFlushWb.bits.pd         := f3_pd
764  mmioFlushWb.bits.pd.zipWithIndex.map{case(instr,i) => instr.valid :=  f3_mmio_range(i)}
765  mmioFlushWb.bits.ftqIdx     := f3_ftq_req.ftqIdx
766  mmioFlushWb.bits.ftqOffset  := f3_ftq_req.ftqOffset.bits
767  mmioFlushWb.bits.misOffset  := f3_mmio_missOffset
768  mmioFlushWb.bits.cfiOffset  := DontCare
769  mmioFlushWb.bits.target     := Mux(mmio_is_RVC, f3_ftq_req.startAddr + 2.U , f3_ftq_req.startAddr + 4.U)
770  mmioFlushWb.bits.jalTarget  := DontCare
771  mmioFlushWb.bits.instrRange := f3_mmio_range
772
773  /** external predecode for MMIO instruction */
774  when(f3_req_is_mmio){
775    val inst  = Cat(f3_mmio_data(1), f3_mmio_data(0))
776    val currentIsRVC   = isRVC(inst)
777
778    val brType::isCall::isRet::Nil = brInfo(inst)
779    val jalOffset = jal_offset(inst, currentIsRVC)
780    val brOffset  = br_offset(inst, currentIsRVC)
781
782    io.toIbuffer.bits.instrs(0) := new RVCDecoder(inst, XLEN, useAddiForMv = true).decode.bits
783
784
785    io.toIbuffer.bits.pd(0).valid   := true.B
786    io.toIbuffer.bits.pd(0).isRVC   := currentIsRVC
787    io.toIbuffer.bits.pd(0).brType  := brType
788    io.toIbuffer.bits.pd(0).isCall  := isCall
789    io.toIbuffer.bits.pd(0).isRet   := isRet
790
791    io.toIbuffer.bits.acf(0) := mmio_resend_af
792    io.toIbuffer.bits.ipf(0) := mmio_resend_pf
793    io.toIbuffer.bits.crossPageIPFFix(0) := mmio_resend_pf
794
795    io.toIbuffer.bits.enqEnable   := f3_mmio_range.asUInt
796
797    mmioFlushWb.bits.pd(0).valid   := true.B
798    mmioFlushWb.bits.pd(0).isRVC   := currentIsRVC
799    mmioFlushWb.bits.pd(0).brType  := brType
800    mmioFlushWb.bits.pd(0).isCall  := isCall
801    mmioFlushWb.bits.pd(0).isRet   := isRet
802  }
803
804  mmio_redirect := (f3_req_is_mmio && mmio_state === m_waitCommit && RegNext(fromUncache.fire)  && f3_mmio_use_seq_pc)
805
806  XSPerfAccumulate("fetch_bubble_ibuffer_not_ready",   io.toIbuffer.valid && !io.toIbuffer.ready )
807
808
809  /**
810    ******************************************************************************
811    * IFU Write Back Stage
812    * - write back predecode information to Ftq to update
813    * - redirect if found fault prediction
814    * - redirect if has false hit last half (last PC is not start + 32 Bytes, but in the midle of an notCFI RVI instruction)
815    ******************************************************************************
816    */
817
818  val wb_valid          = RegNext(RegNext(f2_fire && !f2_flush) && !f3_req_is_mmio && !f3_flush)
819  val wb_ftq_req        = RegNext(f3_ftq_req)
820
821  val wb_check_result_stage1   = RegNext(checkerOutStage1)
822  val wb_check_result_stage2   = checkerOutStage2
823  val wb_instr_range    = RegNext(io.toIbuffer.bits.enqEnable)
824  val wb_pc             = RegNext(f3_pc)
825  val wb_pd             = RegNext(f3_pd)
826  val wb_instr_valid    = RegNext(f3_instr_valid)
827
828  /* false hit lastHalf */
829  val wb_lastIdx        = RegNext(f3_last_validIdx)
830  val wb_false_lastHalf = RegNext(f3_false_lastHalf) && wb_lastIdx =/= (PredictWidth - 1).U
831  val wb_false_target   = RegNext(f3_false_snpc)
832
833  val wb_half_flush = wb_false_lastHalf
834  val wb_half_target = wb_false_target
835
836  /* false oversize */
837  val lastIsRVC = wb_instr_range.asTypeOf(Vec(PredictWidth,Bool())).last  && wb_pd.last.isRVC
838  val lastIsRVI = wb_instr_range.asTypeOf(Vec(PredictWidth,Bool()))(PredictWidth - 2) && !wb_pd(PredictWidth - 2).isRVC
839  val lastTaken = wb_check_result_stage1.fixedTaken.last
840
841  f3_wb_not_flush := wb_ftq_req.ftqIdx === f3_ftq_req.ftqIdx && f3_valid && wb_valid
842
843  /** if a req with a last half but miss predicted enters in wb stage, and this cycle f3 stalls,
844    * we set a flag to notify f3 that the last half flag need not to be set.
845    */
846  //f3_fire is after wb_valid
847  when(wb_valid && RegNext(f3_hasLastHalf,init = false.B)
848        && wb_check_result_stage2.fixedMissPred(PredictWidth - 1) && !f3_fire  && !RegNext(f3_fire,init = false.B) && !f3_flush
849      ){
850    f3_lastHalf_disable := true.B
851  }
852
853  //wb_valid and f3_fire are in same cycle
854  when(wb_valid && RegNext(f3_hasLastHalf,init = false.B)
855        && wb_check_result_stage2.fixedMissPred(PredictWidth - 1) && f3_fire
856      ){
857    f3_lastHalf.valid := false.B
858  }
859
860  val checkFlushWb = Wire(Valid(new PredecodeWritebackBundle))
861  val checkFlushWbjalTargetIdx = ParallelPriorityEncoder(VecInit(wb_pd.zip(wb_instr_valid).map{case (pd, v) => v && pd.isJal }))
862  val checkFlushWbTargetIdx = ParallelPriorityEncoder(wb_check_result_stage2.fixedMissPred)
863  checkFlushWb.valid                  := wb_valid
864  checkFlushWb.bits.pc                := wb_pc
865  checkFlushWb.bits.pd                := wb_pd
866  checkFlushWb.bits.pd.zipWithIndex.map{case(instr,i) => instr.valid := wb_instr_valid(i)}
867  checkFlushWb.bits.ftqIdx            := wb_ftq_req.ftqIdx
868  checkFlushWb.bits.ftqOffset         := wb_ftq_req.ftqOffset.bits
869  checkFlushWb.bits.misOffset.valid   := ParallelOR(wb_check_result_stage2.fixedMissPred) || wb_half_flush
870  checkFlushWb.bits.misOffset.bits    := Mux(wb_half_flush, wb_lastIdx, ParallelPriorityEncoder(wb_check_result_stage2.fixedMissPred))
871  checkFlushWb.bits.cfiOffset.valid   := ParallelOR(wb_check_result_stage1.fixedTaken)
872  checkFlushWb.bits.cfiOffset.bits    := ParallelPriorityEncoder(wb_check_result_stage1.fixedTaken)
873  checkFlushWb.bits.target            := Mux(wb_half_flush, wb_half_target, wb_check_result_stage2.fixedTarget(checkFlushWbTargetIdx))
874  checkFlushWb.bits.jalTarget         := wb_check_result_stage2.jalTarget(checkFlushWbjalTargetIdx)
875  checkFlushWb.bits.instrRange        := wb_instr_range.asTypeOf(Vec(PredictWidth, Bool()))
876
877  toFtq.pdWb := Mux(wb_valid, checkFlushWb,  mmioFlushWb)
878
879  wb_redirect := checkFlushWb.bits.misOffset.valid && wb_valid
880
881  /*write back flush type*/
882  val checkFaultType = wb_check_result_stage2.faultType
883  val checkJalFault =  wb_valid && checkFaultType.map(_.isjalFault).reduce(_||_)
884  val checkRetFault =  wb_valid && checkFaultType.map(_.isRetFault).reduce(_||_)
885  val checkTargetFault =  wb_valid && checkFaultType.map(_.istargetFault).reduce(_||_)
886  val checkNotCFIFault =  wb_valid && checkFaultType.map(_.notCFIFault).reduce(_||_)
887  val checkInvalidTaken =  wb_valid && checkFaultType.map(_.invalidTakenFault).reduce(_||_)
888
889
890  XSPerfAccumulate("predecode_flush_jalFault",   checkJalFault )
891  XSPerfAccumulate("predecode_flush_retFault",   checkRetFault )
892  XSPerfAccumulate("predecode_flush_targetFault",   checkTargetFault )
893  XSPerfAccumulate("predecode_flush_notCFIFault",   checkNotCFIFault )
894  XSPerfAccumulate("predecode_flush_incalidTakenFault",   checkInvalidTaken )
895
896  when(checkRetFault){
897    XSDebug("startAddr:%x  nextstartAddr:%x  taken:%d    takenIdx:%d\n",
898        wb_ftq_req.startAddr, wb_ftq_req.nextStartAddr, wb_ftq_req.ftqOffset.valid, wb_ftq_req.ftqOffset.bits)
899  }
900
901
902  /** performance counter */
903  val f3_perf_info     = RegEnable(f2_perf_info,  f2_fire)
904  val f3_req_0    = io.toIbuffer.fire
905  val f3_req_1    = io.toIbuffer.fire && f3_doubleLine
906  val f3_hit_0    = io.toIbuffer.fire && f3_perf_info.bank_hit(0)
907  val f3_hit_1    = io.toIbuffer.fire && f3_doubleLine & f3_perf_info.bank_hit(1)
908  val f3_hit      = f3_perf_info.hit
909  val perfEvents = Seq(
910    ("frontendFlush                ", wb_redirect                                ),
911    ("ifu_req                      ", io.toIbuffer.fire                        ),
912    ("ifu_miss                     ", io.toIbuffer.fire && !f3_perf_info.hit   ),
913    ("ifu_req_cacheline_0          ", f3_req_0                                   ),
914    ("ifu_req_cacheline_1          ", f3_req_1                                   ),
915    ("ifu_req_cacheline_0_hit      ", f3_hit_1                                   ),
916    ("ifu_req_cacheline_1_hit      ", f3_hit_1                                   ),
917    ("only_0_hit                   ", f3_perf_info.only_0_hit       && io.toIbuffer.fire ),
918    ("only_0_miss                  ", f3_perf_info.only_0_miss      && io.toIbuffer.fire ),
919    ("hit_0_hit_1                  ", f3_perf_info.hit_0_hit_1      && io.toIbuffer.fire ),
920    ("hit_0_miss_1                 ", f3_perf_info.hit_0_miss_1     && io.toIbuffer.fire ),
921    ("miss_0_hit_1                 ", f3_perf_info.miss_0_hit_1     && io.toIbuffer.fire ),
922    ("miss_0_miss_1                ", f3_perf_info.miss_0_miss_1    && io.toIbuffer.fire ),
923  )
924  generatePerfEvent()
925
926  XSPerfAccumulate("ifu_req",   io.toIbuffer.fire )
927  XSPerfAccumulate("ifu_miss",  io.toIbuffer.fire && !f3_hit )
928  XSPerfAccumulate("ifu_req_cacheline_0", f3_req_0  )
929  XSPerfAccumulate("ifu_req_cacheline_1", f3_req_1  )
930  XSPerfAccumulate("ifu_req_cacheline_0_hit",   f3_hit_0 )
931  XSPerfAccumulate("ifu_req_cacheline_1_hit",   f3_hit_1 )
932  XSPerfAccumulate("frontendFlush",  wb_redirect )
933  XSPerfAccumulate("only_0_hit",      f3_perf_info.only_0_hit   && io.toIbuffer.fire  )
934  XSPerfAccumulate("only_0_miss",     f3_perf_info.only_0_miss  && io.toIbuffer.fire  )
935  XSPerfAccumulate("hit_0_hit_1",     f3_perf_info.hit_0_hit_1  && io.toIbuffer.fire  )
936  XSPerfAccumulate("hit_0_miss_1",    f3_perf_info.hit_0_miss_1  && io.toIbuffer.fire  )
937  XSPerfAccumulate("miss_0_hit_1",    f3_perf_info.miss_0_hit_1   && io.toIbuffer.fire )
938  XSPerfAccumulate("miss_0_miss_1",   f3_perf_info.miss_0_miss_1 && io.toIbuffer.fire )
939  XSPerfAccumulate("hit_0_except_1",   f3_perf_info.hit_0_except_1 && io.toIbuffer.fire )
940  XSPerfAccumulate("miss_0_except_1",   f3_perf_info.miss_0_except_1 && io.toIbuffer.fire )
941  XSPerfAccumulate("except_0",   f3_perf_info.except_0 && io.toIbuffer.fire )
942  XSPerfHistogram("ifu2ibuffer_validCnt", PopCount(io.toIbuffer.bits.valid & io.toIbuffer.bits.enqEnable), io.toIbuffer.fire, 0, PredictWidth + 1, 1)
943
944  val isWriteFetchToIBufferTable = WireInit(Constantin.createRecord("isWriteFetchToIBufferTable" + p(XSCoreParamsKey).HartId.toString))
945  val isWriteIfuWbToFtqTable = WireInit(Constantin.createRecord("isWriteIfuWbToFtqTable" + p(XSCoreParamsKey).HartId.toString))
946  val fetchToIBufferTable = ChiselDB.createTable("FetchToIBuffer" + p(XSCoreParamsKey).HartId.toString, new FetchToIBufferDB)
947  val ifuWbToFtqTable = ChiselDB.createTable("IfuWbToFtq" + p(XSCoreParamsKey).HartId.toString, new IfuWbToFtqDB)
948
949  val fetchIBufferDumpData = Wire(new FetchToIBufferDB)
950  fetchIBufferDumpData.start_addr := f3_ftq_req.startAddr
951  fetchIBufferDumpData.instr_count := PopCount(io.toIbuffer.bits.enqEnable)
952  fetchIBufferDumpData.exception := (f3_perf_info.except_0 && io.toIbuffer.fire) || (f3_perf_info.hit_0_except_1 && io.toIbuffer.fire) || (f3_perf_info.miss_0_except_1 && io.toIbuffer.fire)
953  fetchIBufferDumpData.is_cache_hit := f3_hit
954
955  val ifuWbToFtqDumpData = Wire(new IfuWbToFtqDB)
956  ifuWbToFtqDumpData.start_addr := wb_ftq_req.startAddr
957  ifuWbToFtqDumpData.is_miss_pred := checkFlushWb.bits.misOffset.valid
958  ifuWbToFtqDumpData.miss_pred_offset := checkFlushWb.bits.misOffset.bits
959  ifuWbToFtqDumpData.checkJalFault := checkJalFault
960  ifuWbToFtqDumpData.checkRetFault := checkRetFault
961  ifuWbToFtqDumpData.checkTargetFault := checkTargetFault
962  ifuWbToFtqDumpData.checkNotCFIFault := checkNotCFIFault
963  ifuWbToFtqDumpData.checkInvalidTaken := checkInvalidTaken
964
965  fetchToIBufferTable.log(
966    data = fetchIBufferDumpData,
967    en = isWriteFetchToIBufferTable.orR && io.toIbuffer.fire,
968    site = "IFU" + p(XSCoreParamsKey).HartId.toString,
969    clock = clock,
970    reset = reset
971  )
972  ifuWbToFtqTable.log(
973    data = ifuWbToFtqDumpData,
974    en = isWriteIfuWbToFtqTable.orR && checkFlushWb.valid,
975    site = "IFU" + p(XSCoreParamsKey).HartId.toString,
976    clock = clock,
977    reset = reset
978  )
979
980}
981