11d8f4dcbSJay/*************************************************************************************** 21d8f4dcbSJay* Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences 31d8f4dcbSJay* Copyright (c) 2020-2021 Peng Cheng Laboratory 41d8f4dcbSJay* 51d8f4dcbSJay* XiangShan is licensed under Mulan PSL v2. 61d8f4dcbSJay* You can use this software according to the terms and conditions of the Mulan PSL v2. 71d8f4dcbSJay* You may obtain a copy of Mulan PSL v2 at: 81d8f4dcbSJay* http://license.coscl.org.cn/MulanPSL2 91d8f4dcbSJay* 101d8f4dcbSJay* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, 111d8f4dcbSJay* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, 121d8f4dcbSJay* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE. 131d8f4dcbSJay* 141d8f4dcbSJay* See the Mulan PSL v2 for more details. 151d8f4dcbSJay***************************************************************************************/ 161d8f4dcbSJay 171d8f4dcbSJaypackage xiangshan.frontend.icache 181d8f4dcbSJay 198891a219SYinan Xuimport org.chipsalliance.cde.config.Parameters 201d8f4dcbSJayimport chisel3._ 211d8f4dcbSJayimport chisel3.util._ 227d45a146SYinan Xuimport difftest._ 231d8f4dcbSJayimport freechips.rocketchip.tilelink.ClientStates 241d8f4dcbSJayimport xiangshan._ 251d8f4dcbSJayimport xiangshan.cache.mmu._ 261d8f4dcbSJayimport utils._ 273c02ee8fSwakafaimport utility._ 281d8f4dcbSJayimport xiangshan.backend.fu.{PMPReqBundle, PMPRespBundle} 29f22cf846SJeniusimport xiangshan.frontend.{FtqICacheInfo, FtqToICacheRequestBundle} 301d8f4dcbSJay 311d8f4dcbSJayclass ICacheMainPipeReq(implicit p: Parameters) extends ICacheBundle 321d8f4dcbSJay{ 331d8f4dcbSJay val vaddr = UInt(VAddrBits.W) 341d8f4dcbSJay def vsetIdx = get_idx(vaddr) 351d8f4dcbSJay} 361d8f4dcbSJay 371d8f4dcbSJayclass ICacheMainPipeResp(implicit p: Parameters) extends ICacheBundle 381d8f4dcbSJay{ 391d8f4dcbSJay val vaddr = UInt(VAddrBits.W) 40dc270d3bSJenius val registerData = UInt(blockBits.W) 41dc270d3bSJenius val sramData = UInt(blockBits.W) 42dc270d3bSJenius val select = Bool() 431d8f4dcbSJay val paddr = UInt(PAddrBits.W) 441d8f4dcbSJay val tlbExcp = new Bundle{ 451d8f4dcbSJay val pageFault = Bool() 461d8f4dcbSJay val accessFault = Bool() 471d8f4dcbSJay val mmio = Bool() 481d8f4dcbSJay } 491d8f4dcbSJay} 501d8f4dcbSJay 511d8f4dcbSJayclass ICacheMainPipeBundle(implicit p: Parameters) extends ICacheBundle 521d8f4dcbSJay{ 53c5c5edaeSJenius val req = Flipped(Decoupled(new FtqToICacheRequestBundle)) 54c5c5edaeSJenius val resp = Vec(PortNumber, ValidIO(new ICacheMainPipeResp)) 55d2b20d1aSTang Haojin val topdownIcacheMiss = Output(Bool()) 56d2b20d1aSTang Haojin val topdownItlbMiss = Output(Bool()) 571d8f4dcbSJay} 581d8f4dcbSJay 591d8f4dcbSJayclass ICacheMetaReqBundle(implicit p: Parameters) extends ICacheBundle{ 60afed18b5SJenius val toIMeta = DecoupledIO(new ICacheReadBundle) 611d8f4dcbSJay val fromIMeta = Input(new ICacheMetaRespBundle) 621d8f4dcbSJay} 631d8f4dcbSJay 641d8f4dcbSJayclass ICacheDataReqBundle(implicit p: Parameters) extends ICacheBundle{ 652da4ac8cSJenius val toIData = DecoupledIO(Vec(partWayNum, new ICacheReadBundle)) 661d8f4dcbSJay val fromIData = Input(new ICacheDataRespBundle) 671d8f4dcbSJay} 681d8f4dcbSJay 691d8f4dcbSJayclass ICacheMSHRBundle(implicit p: Parameters) extends ICacheBundle{ 701d8f4dcbSJay val toMSHR = Decoupled(new ICacheMissReq) 711d8f4dcbSJay val fromMSHR = Flipped(ValidIO(new ICacheMissResp)) 721d8f4dcbSJay} 731d8f4dcbSJay 741d8f4dcbSJayclass ICachePMPBundle(implicit p: Parameters) extends ICacheBundle{ 751d8f4dcbSJay val req = Valid(new PMPReqBundle()) 761d8f4dcbSJay val resp = Input(new PMPRespBundle()) 771d8f4dcbSJay} 781d8f4dcbSJay 791d8f4dcbSJayclass ICachePerfInfo(implicit p: Parameters) extends ICacheBundle{ 801d8f4dcbSJay val only_0_hit = Bool() 811d8f4dcbSJay val only_0_miss = Bool() 821d8f4dcbSJay val hit_0_hit_1 = Bool() 831d8f4dcbSJay val hit_0_miss_1 = Bool() 841d8f4dcbSJay val miss_0_hit_1 = Bool() 851d8f4dcbSJay val miss_0_miss_1 = Bool() 86a108d429SJay val hit_0_except_1 = Bool() 87a108d429SJay val miss_0_except_1 = Bool() 88a108d429SJay val except_0 = Bool() 891d8f4dcbSJay val bank_hit = Vec(2,Bool()) 901d8f4dcbSJay val hit = Bool() 911d8f4dcbSJay} 921d8f4dcbSJay 931d8f4dcbSJayclass ICacheMainPipeInterface(implicit p: Parameters) extends ICacheBundle { 94c2ba7c80Sguohongyu val hartId = Input(UInt(8.W)) 952a3050c2SJay /*** internal interface ***/ 961d8f4dcbSJay val metaArray = new ICacheMetaReqBundle 971d8f4dcbSJay val dataArray = new ICacheDataReqBundle 98b1ded4e8Sguohongyu /** prefetch io */ 99cb6e5d3cSssszwic val IPFBufferRead = Flipped(new IPFBufferRead) 100cb6e5d3cSssszwic val PIQRead = Flipped(new PIQRead) 101cb6e5d3cSssszwic 102cb6e5d3cSssszwic val IPFReplacer = Flipped(new IPFReplacer) 10358c354d0Sssszwic val ICacheMainPipeInfo = new ICacheMainPipeInfo 104b1ded4e8Sguohongyu 1051d8f4dcbSJay val mshr = Vec(PortNumber, new ICacheMSHRBundle) 10658dbdfc2SJay val errors = Output(Vec(PortNumber, new L1CacheErrorInfo)) 1072a3050c2SJay /*** outside interface ***/ 108c5c5edaeSJenius //val fetch = Vec(PortNumber, new ICacheMainPipeBundle) 109c5c5edaeSJenius /* when ftq.valid is high in T + 1 cycle 110c5c5edaeSJenius * the ftq component must be valid in T cycle 111c5c5edaeSJenius */ 112c5c5edaeSJenius val fetch = new ICacheMainPipeBundle 1131d8f4dcbSJay val pmp = Vec(PortNumber, new ICachePMPBundle) 114f1fe8698SLemover val itlb = Vec(PortNumber, new TlbRequestIO) 1151d8f4dcbSJay val respStall = Input(Bool()) 1161d8f4dcbSJay val perfInfo = Output(new ICachePerfInfo) 11758dbdfc2SJay 118ecccf78fSJay val csr_parity_enable = Input(Bool()) 1191d8f4dcbSJay} 1201d8f4dcbSJay 121*f9c51548Sssszwicclass ICacheDB(implicit p: Parameters) extends ICacheBundle { 122*f9c51548Sssszwic val blk_vaddr = UInt((VAddrBits - blockOffBits).W) 123*f9c51548Sssszwic val blk_paddr = UInt((PAddrBits - blockOffBits).W) 124*f9c51548Sssszwic val hit = Bool() 125*f9c51548Sssszwic} 126*f9c51548Sssszwic 1271d8f4dcbSJayclass ICacheMainPipe(implicit p: Parameters) extends ICacheModule 1281d8f4dcbSJay{ 1291d8f4dcbSJay val io = IO(new ICacheMainPipeInterface) 1301d8f4dcbSJay 13158dbdfc2SJay /** Input/Output port */ 132c5c5edaeSJenius val (fromFtq, toIFU) = (io.fetch.req, io.fetch.resp) 1332a3050c2SJay val (toMeta, metaResp) = (io.metaArray.toIMeta, io.metaArray.fromIMeta) 1342a3050c2SJay val (toData, dataResp) = (io.dataArray.toIData, io.dataArray.fromIData) 135cb6e5d3cSssszwic val (toIPF, fromIPF) = (io.IPFBufferRead.req, io.IPFBufferRead.resp) 136cb6e5d3cSssszwic val (toPIQ, fromPIQ) = (io.PIQRead.req, io.PIQRead.resp) 1371d8f4dcbSJay val (toMSHR, fromMSHR) = (io.mshr.map(_.toMSHR), io.mshr.map(_.fromMSHR)) 1381d8f4dcbSJay val (toITLB, fromITLB) = (io.itlb.map(_.req), io.itlb.map(_.resp)) 1391d8f4dcbSJay val (toPMP, fromPMP) = (io.pmp.map(_.req), io.pmp.map(_.resp)) 140cb6e5d3cSssszwic 141cb6e5d3cSssszwic val IPFReplacer = io.IPFReplacer 14258c354d0Sssszwic val toIPrefetch = io.ICacheMainPipeInfo 14358c354d0Sssszwic 14458c354d0Sssszwic 14558c354d0Sssszwic // Statistics on the frequency distribution of FTQ fire interval 14658c354d0Sssszwic val cntFtqFireInterval = RegInit(0.U(32.W)) 14758c354d0Sssszwic cntFtqFireInterval := Mux(fromFtq.fire, 1.U, cntFtqFireInterval + 1.U) 14858c354d0Sssszwic XSPerfHistogram("ftq2icache_fire_" + p(XSCoreParamsKey).HartId.toString, 14958c354d0Sssszwic cntFtqFireInterval, fromFtq.fire, 15058c354d0Sssszwic 1, 300, 1, right_strict = true) 151b1ded4e8Sguohongyu 152c5c5edaeSJenius // Ftq RegNext Register 153b004fa13SJenius val fromFtqReq = fromFtq.bits.pcMemRead 154c5c5edaeSJenius 15558dbdfc2SJay /** pipeline control signal */ 156f1fe8698SLemover val s1_ready, s2_ready = Wire(Bool()) 157f1fe8698SLemover val s0_fire, s1_fire , s2_fire = Wire(Bool()) 1581d8f4dcbSJay 1597052722fSJay val missSwitchBit = RegInit(false.B) 1607052722fSJay 16158dbdfc2SJay /** replacement status register */ 16258dbdfc2SJay val touch_sets = Seq.fill(2)(Wire(Vec(2, UInt(log2Ceil(nSets/2).W)))) 16358dbdfc2SJay val touch_ways = Seq.fill(2)(Wire(Vec(2, Valid(UInt(log2Ceil(nWays).W)))) ) 16458dbdfc2SJay 1652a3050c2SJay /** 1662a3050c2SJay ****************************************************************************** 16758dbdfc2SJay * ICache Stage 0 16858dbdfc2SJay * - send req to ITLB and wait for tlb miss fixing 16958dbdfc2SJay * - send req to Meta/Data SRAM 1702a3050c2SJay ****************************************************************************** 1712a3050c2SJay */ 1722a3050c2SJay 17358dbdfc2SJay /** s0 control */ 174c5c5edaeSJenius val s0_valid = fromFtq.valid 175f56177cbSJenius val s0_req_vaddr = (0 until partWayNum + 1).map(i => VecInit(Seq(fromFtqReq(i).startAddr, fromFtqReq(i).nextlineStart))) 176f56177cbSJenius val s0_req_vsetIdx = (0 until partWayNum + 1).map(i => VecInit(s0_req_vaddr(i).map(get_idx(_)))) 177dc270d3bSJenius val s0_only_first = (0 until partWayNum + 1).map(i => fromFtq.bits.readValid(i) && !fromFtqReq(i).crossCacheline) 178dc270d3bSJenius val s0_double_line = (0 until partWayNum + 1).map(i => fromFtq.bits.readValid(i) && fromFtqReq(i).crossCacheline) 1791d8f4dcbSJay 180f1fe8698SLemover val s0_final_valid = s0_valid 181fd0ecf27SLingrui98 val s0_final_vaddr = s0_req_vaddr.head 182fd0ecf27SLingrui98 val s0_final_vsetIdx = s0_req_vsetIdx.head 183fd0ecf27SLingrui98 val s0_final_only_first = s0_only_first.head 184fd0ecf27SLingrui98 val s0_final_double_line = s0_double_line.head 18561e1db30SJay 18658dbdfc2SJay /** SRAM request */ 187f56177cbSJenius //0 -> metaread, 1,2,3 -> data, 3 -> code 4 -> itlb 18838160951Sguohongyu // TODO: it seems like 0,1,2,3 -> dataArray(data); 3 -> dataArray(code); 0 -> metaArray; 4 -> itlb 189f56177cbSJenius val ftq_req_to_data_doubleline = s0_double_line.init 190f56177cbSJenius val ftq_req_to_data_vset_idx = s0_req_vsetIdx.init 191dc270d3bSJenius val ftq_req_to_data_valid = fromFtq.bits.readValid.init 192f56177cbSJenius 193f56177cbSJenius val ftq_req_to_meta_doubleline = s0_double_line.head 194f56177cbSJenius val ftq_req_to_meta_vset_idx = s0_req_vsetIdx.head 195f56177cbSJenius 196f56177cbSJenius val ftq_req_to_itlb_only_first = s0_only_first.last 197f56177cbSJenius val ftq_req_to_itlb_doubleline = s0_double_line.last 198f56177cbSJenius val ftq_req_to_itlb_vaddr = s0_req_vaddr.last 199f56177cbSJenius val ftq_req_to_itlb_vset_idx = s0_req_vsetIdx.last 200f56177cbSJenius 201cb6e5d3cSssszwic /** Data request */ 202fd0ecf27SLingrui98 for(i <- 0 until partWayNum) { 203dc270d3bSJenius toData.valid := ftq_req_to_data_valid(i) && !missSwitchBit 204f56177cbSJenius toData.bits(i).isDoubleLine := ftq_req_to_data_doubleline(i) 205f56177cbSJenius toData.bits(i).vSetIdx := ftq_req_to_data_vset_idx(i) 2061d8f4dcbSJay } 207afed18b5SJenius 208cb6e5d3cSssszwic /** Meta request */ 209afed18b5SJenius toMeta.valid := s0_valid && !missSwitchBit 210f56177cbSJenius toMeta.bits.isDoubleLine := ftq_req_to_meta_doubleline 211f56177cbSJenius toMeta.bits.vSetIdx := ftq_req_to_meta_vset_idx 212afed18b5SJenius 213cb6e5d3cSssszwic val toITLB_s0_valid = VecInit(Seq(s0_valid, s0_valid && ftq_req_to_itlb_doubleline)) 214cb6e5d3cSssszwic val toITLB_s0_size = VecInit(Seq(3.U, 3.U)) // TODO: fix the size 215cb6e5d3cSssszwic val toITLB_s0_vaddr = ftq_req_to_itlb_vaddr 216cb6e5d3cSssszwic val toITLB_s0_debug_pc = ftq_req_to_itlb_vaddr 2172a3050c2SJay 218f1fe8698SLemover val itlb_can_go = toITLB(0).ready && toITLB(1).ready 219afed18b5SJenius val icache_can_go = toData.ready && toMeta.ready 220f1fe8698SLemover val pipe_can_go = !missSwitchBit && s1_ready 221f1fe8698SLemover val s0_can_go = itlb_can_go && icache_can_go && pipe_can_go 222cb6e5d3cSssszwic s0_fire := s0_valid && s0_can_go 2237052722fSJay 2247052722fSJay //TODO: fix GTimer() condition 225c5c5edaeSJenius fromFtq.ready := s0_can_go 226f1fe8698SLemover 2272a3050c2SJay /** 2282a3050c2SJay ****************************************************************************** 22958dbdfc2SJay * ICache Stage 1 23058dbdfc2SJay * - get tlb resp data (exceptiong info and physical addresses) 23158dbdfc2SJay * - get Meta/Data SRAM read responses (latched for pipeline stop) 23258dbdfc2SJay * - tag compare/hit check 233cb6e5d3cSssszwic * - check ipf and piq 2342a3050c2SJay ****************************************************************************** 2352a3050c2SJay */ 2361d8f4dcbSJay 23758dbdfc2SJay /** s1 control */ 238f1fe8698SLemover val s1_valid = generatePipeControl(lastFire = s0_fire, thisFire = s1_fire, thisFlush = false.B, lastFlush = false.B) 2391d8f4dcbSJay 240005e809bSJiuyang Liu val s1_req_vaddr = RegEnable(s0_final_vaddr, s0_fire) 241005e809bSJiuyang Liu val s1_req_vsetIdx = RegEnable(s0_final_vsetIdx, s0_fire) 242005e809bSJiuyang Liu val s1_only_first = RegEnable(s0_final_only_first, s0_fire) 243005e809bSJiuyang Liu val s1_double_line = RegEnable(s0_final_double_line, s0_fire) 244cb6e5d3cSssszwic 245cb6e5d3cSssszwic /** tlb request and response */ 246cb6e5d3cSssszwic fromITLB.foreach(_.ready := true.B) 247cb6e5d3cSssszwic val s1_wait_itlb = RegInit(VecInit(Seq.fill(PortNumber)(false.B))) 248cb6e5d3cSssszwic 249cb6e5d3cSssszwic (0 until PortNumber).foreach { i => 250cb6e5d3cSssszwic when(RegNext(s0_fire) && fromITLB(i).bits.miss) { 251cb6e5d3cSssszwic s1_wait_itlb(i) := true.B 252cb6e5d3cSssszwic }.elsewhen(s1_wait_itlb(i) && !fromITLB(i).bits.miss) { 253cb6e5d3cSssszwic s1_wait_itlb(i) := false.B 254cb6e5d3cSssszwic } 255cb6e5d3cSssszwic } 256cb6e5d3cSssszwic 257cb6e5d3cSssszwic val s1_need_itlb = Seq((RegNext(s0_fire) || s1_wait_itlb(0)) && fromITLB(0).bits.miss, 258cb6e5d3cSssszwic (RegNext(s0_fire) || s1_wait_itlb(1)) && fromITLB(1).bits.miss && s1_double_line) 259cb6e5d3cSssszwic val toITLB_s1_valid = s1_need_itlb 260cb6e5d3cSssszwic val toITLB_s1_size = VecInit(Seq(3.U, 3.U)) // TODO: fix the size 261cb6e5d3cSssszwic val toITLB_s1_vaddr = s1_req_vaddr 262cb6e5d3cSssszwic val toITLB_s1_debug_pc = s1_req_vaddr 263cb6e5d3cSssszwic 264cb6e5d3cSssszwic // chose tlb req between s0 and s1 265cb6e5d3cSssszwic for (i <- 0 until PortNumber) { 266cb6e5d3cSssszwic toITLB(i).valid := Mux(s1_need_itlb(i), toITLB_s1_valid(i), toITLB_s0_valid(i)) 267cb6e5d3cSssszwic toITLB(i).bits.size := Mux(s1_need_itlb(i), toITLB_s1_size(i), toITLB_s0_size(i)) 268cb6e5d3cSssszwic toITLB(i).bits.vaddr := Mux(s1_need_itlb(i), toITLB_s1_vaddr(i), toITLB_s0_vaddr(i)) 269cb6e5d3cSssszwic toITLB(i).bits.debug.pc := Mux(s1_need_itlb(i), toITLB_s1_debug_pc(i), toITLB_s0_debug_pc(i)) 270cb6e5d3cSssszwic } 271cb6e5d3cSssszwic toITLB.map{port => 272cb6e5d3cSssszwic port.bits.cmd := TlbCmd.exec 273cb6e5d3cSssszwic port.bits.memidx := DontCare 274cb6e5d3cSssszwic port.bits.debug.robIdx := DontCare 275cb6e5d3cSssszwic port.bits.no_translate := false.B 276cb6e5d3cSssszwic port.bits.debug.isFirstIssue := DontCare 277cb6e5d3cSssszwic port.bits.kill := DontCare 278cb6e5d3cSssszwic } 279cb6e5d3cSssszwic io.itlb.foreach(_.req_kill := false.B) 2801d8f4dcbSJay 28158dbdfc2SJay /** tlb response latch for pipeline stop */ 282cb6e5d3cSssszwic // val tlb_valid_tmp = VecInit((0 until PortNumber).map(i => 283cb6e5d3cSssszwic // (RegNext(s0_fire) || s1_wait_itlb(i)) && !fromITLB(i).bits.miss)) 284cb6e5d3cSssszwic val tlb_valid_tmp = VecInit(Seq((RegNext(s0_fire) || s1_wait_itlb(0)) && !fromITLB(0).bits.miss, 285cb6e5d3cSssszwic (RegNext(s0_fire) || s1_wait_itlb(1)) && !fromITLB(1).bits.miss && s1_double_line)) 286cb6e5d3cSssszwic val tlbRespPAddr = VecInit((0 until PortNumber).map(i => 287cb6e5d3cSssszwic ResultHoldBypass(valid = tlb_valid_tmp(i), data = fromITLB(i).bits.paddr(0)))) 288cb6e5d3cSssszwic val tlbExcpPF = VecInit((0 until PortNumber).map(i => 289cb6e5d3cSssszwic ResultHoldBypass(valid = tlb_valid_tmp(i), data = fromITLB(i).bits.excp(0).pf.instr))) 290cb6e5d3cSssszwic val tlbExcpAF = VecInit((0 until PortNumber).map(i => 291cb6e5d3cSssszwic ResultHoldBypass(valid = tlb_valid_tmp(i), data = fromITLB(i).bits.excp(0).af.instr))) 292cb6e5d3cSssszwic val tlbExcp = VecInit((0 until PortNumber).map(i => tlbExcpAF(i) || tlbExcpPF(i))) 2931d8f4dcbSJay 294cb6e5d3cSssszwic val s1_tlb_valid = VecInit((0 until PortNumber).map(i => ValidHoldBypass(tlb_valid_tmp(i), s1_fire))) 295cb6e5d3cSssszwic val tlbRespAllValid = s1_tlb_valid(0) && (!s1_double_line || s1_double_line && s1_tlb_valid(1)) 2962a3050c2SJay 2971d8f4dcbSJay 298d2b20d1aSTang Haojin def numOfStage = 3 299d2b20d1aSTang Haojin val itlbMissStage = RegInit(VecInit(Seq.fill(numOfStage - 1)(0.B))) 300d2b20d1aSTang Haojin itlbMissStage(0) := !tlbRespAllValid 301d2b20d1aSTang Haojin for (i <- 1 until numOfStage - 1) { 302d2b20d1aSTang Haojin itlbMissStage(i) := itlbMissStage(i - 1) 303d2b20d1aSTang Haojin } 304d2b20d1aSTang Haojin 30558dbdfc2SJay /** s1 hit check/tag compare */ 3061d8f4dcbSJay val s1_req_paddr = tlbRespPAddr 3071d8f4dcbSJay val s1_req_ptags = VecInit(s1_req_paddr.map(get_phy_tag(_))) 3081d8f4dcbSJay 309ccfc2e22SJay val s1_meta_ptags = ResultHoldBypass(data = metaResp.tags, valid = RegNext(s0_fire)) 31060672d5eSguohongyu val s1_meta_valids = ResultHoldBypass(data = metaResp.entryValid, valid = RegNext(s0_fire)) 31158dbdfc2SJay val s1_meta_errors = ResultHoldBypass(data = metaResp.errors, valid = RegNext(s0_fire)) 31258dbdfc2SJay 313ccfc2e22SJay val s1_data_cacheline = ResultHoldBypass(data = dataResp.datas, valid = RegNext(s0_fire)) 31479b191f7SJay val s1_data_errorBits = ResultHoldBypass(data = dataResp.codes, valid = RegNext(s0_fire)) 3151d8f4dcbSJay 3161d8f4dcbSJay val s1_tag_eq_vec = VecInit((0 until PortNumber).map( p => VecInit((0 until nWays).map( w => s1_meta_ptags(p)(w) === s1_req_ptags(p) )))) 31760672d5eSguohongyu val s1_tag_match_vec = VecInit((0 until PortNumber).map( k => VecInit(s1_tag_eq_vec(k).zipWithIndex.map{ case(way_tag_eq, w) => way_tag_eq && s1_meta_valids(k)(w) /*s1_meta_cohs(k)(w).isValid()*/}))) 3181d8f4dcbSJay val s1_tag_match = VecInit(s1_tag_match_vec.map(vector => ParallelOR(vector))) 3191d8f4dcbSJay 320f1fe8698SLemover val s1_port_hit = VecInit(Seq(s1_tag_match(0) && s1_valid && !tlbExcp(0), s1_tag_match(1) && s1_valid && s1_double_line && !tlbExcp(1) )) 321f1fe8698SLemover val s1_bank_miss = VecInit(Seq(!s1_tag_match(0) && s1_valid && !tlbExcp(0), !s1_tag_match(1) && s1_valid && s1_double_line && !tlbExcp(1) )) 3221d8f4dcbSJay val s1_hit = (s1_port_hit(0) && s1_port_hit(1)) || (!s1_double_line && s1_port_hit(0)) 3231d8f4dcbSJay 3241d8f4dcbSJay /** choose victim cacheline */ 3255b0cc873Sguohongyu val replacers = Seq.fill(PortNumber)(ReplacementPolicy.fromString(cacheParams.replacer,nWays,nSets/PortNumber)) 3265b0cc873Sguohongyu val s1_victim_oh = ResultHoldBypass(data = VecInit(replacers.zipWithIndex.map{case (replacer, i) => UIntToOH(replacer.way(s1_req_vsetIdx(i)(highestIdxBit, 1)))}), valid = RegNext(s0_fire)) 3271d8f4dcbSJay 3281d8f4dcbSJay 329cb6e5d3cSssszwic // when(s1_fire){ 330cb6e5d3cSssszwic // // when (!(PopCount(s1_tag_match_vec(0)) <= 1.U && (PopCount(s1_tag_match_vec(1)) <= 1.U || !s1_double_line))) { 331cb6e5d3cSssszwic // // printf("Multiple hit in main pipe\n") 332cb6e5d3cSssszwic // // } 333cb6e5d3cSssszwic // assert(PopCount(s1_tag_match_vec(0)) <= 1.U && (PopCount(s1_tag_match_vec(1)) <= 1.U || !s1_double_line), 334cb6e5d3cSssszwic // "Multiple hit in main pipe, port0:is=%d,ptag=0x%x,vidx=0x%x,vaddr=0x%x port1:is=%d,ptag=0x%x,vidx=0x%x,vaddr=0x%x ", 335cb6e5d3cSssszwic // PopCount(s1_tag_match_vec(0)) > 1.U,s1_req_ptags(0), get_idx(s1_req_vaddr(0)), s1_req_vaddr(0), 336cb6e5d3cSssszwic // PopCount(s1_tag_match_vec(1)) > 1.U && s1_double_line, s1_req_ptags(1), get_idx(s1_req_vaddr(1)), s1_req_vaddr(1)) 337f304ee97Sguohongyu // } 3381d8f4dcbSJay 3391d8f4dcbSJay ((replacers zip touch_sets) zip touch_ways).map{case ((r, s),w) => r.access(s,w)} 340cb6e5d3cSssszwic IPFReplacer.waymask := UIntToOH(replacers(0).way(IPFReplacer.vsetIdx)) 3411d8f4dcbSJay 342cb6e5d3cSssszwic /** check ipf, get result at the same cycle */ 343b1ded4e8Sguohongyu (0 until PortNumber).foreach { i => 344cb6e5d3cSssszwic toIPF(i).valid := tlb_valid_tmp(i) 345b1ded4e8Sguohongyu toIPF(i).bits.paddr := s1_req_paddr(i) 346b1ded4e8Sguohongyu } 347cb6e5d3cSssszwic val s1_ipf_hit = VecInit((0 until PortNumber).map(i => toIPF(i).valid && fromIPF(i).ipf_hit)) 348cb6e5d3cSssszwic val s1_ipf_hit_latch = VecInit((0 until PortNumber).map(i => holdReleaseLatch(valid = s1_ipf_hit(i), release = s1_fire, flush = false.B))) 349cb6e5d3cSssszwic val s1_ipf_data = VecInit((0 until PortNumber).map(i => ResultHoldBypass(data = fromIPF(i).cacheline, valid = s1_ipf_hit(i)))) 350b1ded4e8Sguohongyu 351b1ded4e8Sguohongyu /** check in PIQ, if hit, wait until prefetch port hit */ 352cb6e5d3cSssszwic (0 until PortNumber).foreach { i => 353cb6e5d3cSssszwic toPIQ(i).valid := tlb_valid_tmp(i) 354cb6e5d3cSssszwic toPIQ(i).bits.paddr := s1_req_paddr(i) 355b1ded4e8Sguohongyu } 356cb6e5d3cSssszwic val s1_piq_hit = VecInit((0 until PortNumber).map(i => toIPF(i).valid && fromPIQ(i).piq_hit)) 357cb6e5d3cSssszwic val s1_piq_hit_latch = VecInit((0 until PortNumber).map(i => holdReleaseLatch(valid = s1_piq_hit(i), release = s1_fire, flush = false.B))) 358cb6e5d3cSssszwic val wait_piq = VecInit((0 until PortNumber).map(i => toIPF(i).valid && fromPIQ(i).piq_hit && !fromPIQ(i).data_valid)) 359cb6e5d3cSssszwic val wait_piq_latch = VecInit((0 until PortNumber).map(i => holdReleaseLatch(valid = wait_piq(i), release = s1_fire || fromPIQ(i).data_valid, flush = false.B))) 360cb6e5d3cSssszwic val s1_piq_data = VecInit((0 until PortNumber).map(i => ResultHoldBypass(data = fromPIQ(i).cacheline, valid = (s1_piq_hit(i) || wait_piq_latch(i)) && fromPIQ(i).data_valid))) 361b1ded4e8Sguohongyu 362cb6e5d3cSssszwic val s1_wait = (0 until PortNumber).map(i => wait_piq_latch(i) && !fromPIQ(i).data_valid).reduce(_||_) 363b1ded4e8Sguohongyu 364cb6e5d3cSssszwic val s1_prefetch_hit = VecInit((0 until PortNumber).map(i => s1_ipf_hit_latch(i) || s1_piq_hit_latch(i))) 365cb6e5d3cSssszwic val s1_prefetch_hit_data = VecInit((0 until PortNumber).map(i => Mux(s1_ipf_hit_latch(i), s1_ipf_data(i), s1_piq_data(i)))) 366cb6e5d3cSssszwic 367cb6e5d3cSssszwic s1_ready := s2_ready && tlbRespAllValid && !s1_wait || !s1_valid 368cb6e5d3cSssszwic s1_fire := s1_valid && tlbRespAllValid && s2_ready && !s1_wait 369b1ded4e8Sguohongyu 370ebfdba16Sguohongyu if (env.EnableDifftest) { 371afa866b1Sguohongyu (0 until PortNumber).foreach { i => 372a0c65233SYinan Xu val diffPIQ = DifftestModule(new DiffRefillEvent, dontCare = true) 3737d45a146SYinan Xu diffPIQ.coreid := io.hartId 3747d45a146SYinan Xu diffPIQ.index := (i + 7).U 3757d45a146SYinan Xu if (i == 0) diffPIQ.valid := s1_fire && !s1_port_hit(i) && !s1_ipf_hit_latch(i) && s1_piq_hit_latch(i) && !tlbExcp(0) 3767d45a146SYinan Xu else diffPIQ.valid := s1_fire && !s1_port_hit(i) && !s1_ipf_hit_latch(i) && s1_piq_hit_latch(i) && s1_double_line && !tlbExcp(0) && !tlbExcp(1) 3777d45a146SYinan Xu diffPIQ.addr := s1_req_paddr(i) 3787d45a146SYinan Xu diffPIQ.data := s1_piq_data(i).asTypeOf(diffPIQ.data) 379935edac4STang Haojin diffPIQ.idtfr := DontCare 380afa866b1Sguohongyu } 381ebfdba16Sguohongyu } 382afa866b1Sguohongyu 383*f9c51548Sssszwic // record cacheline log 384*f9c51548Sssszwic val isWriteICacheTable = WireInit(Constantin.createRecord("isWriteICacheTable" + p(XSCoreParamsKey).HartId.toString)) 385*f9c51548Sssszwic val ICacheTable = ChiselDB.createTable("ICacheTable" + p(XSCoreParamsKey).HartId.toString, new ICacheDB) 386*f9c51548Sssszwic 387*f9c51548Sssszwic val ICacheDumpData_req0 = Wire(new ICacheDB) 388*f9c51548Sssszwic ICacheDumpData_req0.blk_paddr := getBlkAddr(s1_req_paddr(0)) 389*f9c51548Sssszwic ICacheDumpData_req0.blk_vaddr := getBlkAddr(s1_req_vaddr(0)) 390*f9c51548Sssszwic ICacheDumpData_req0.hit := s1_port_hit(0) || s1_prefetch_hit(0) 391*f9c51548Sssszwic ICacheTable.log( 392*f9c51548Sssszwic data = ICacheDumpData_req0, 393*f9c51548Sssszwic en = isWriteICacheTable.orR && s1_fire, 394*f9c51548Sssszwic clock = clock, 395*f9c51548Sssszwic reset = reset 396*f9c51548Sssszwic ) 397*f9c51548Sssszwic 398*f9c51548Sssszwic val ICacheDumpData_req1 = Wire(new ICacheDB) 399*f9c51548Sssszwic ICacheDumpData_req1.blk_paddr := getBlkAddr(s1_req_paddr(1)) 400*f9c51548Sssszwic ICacheDumpData_req1.blk_vaddr := getBlkAddr(s1_req_vaddr(1)) 401*f9c51548Sssszwic ICacheDumpData_req1.hit := s1_port_hit(1) || s1_prefetch_hit(1) 402*f9c51548Sssszwic ICacheTable.log( 403*f9c51548Sssszwic data = ICacheDumpData_req1, 404*f9c51548Sssszwic en = isWriteICacheTable.orR && s1_fire && s1_double_line, 405*f9c51548Sssszwic clock = clock, 406*f9c51548Sssszwic reset = reset 407*f9c51548Sssszwic ) 408*f9c51548Sssszwic 40958dbdfc2SJay /** <PERF> replace victim way number */ 41058dbdfc2SJay 4111d8f4dcbSJay (0 until nWays).map{ w => 4121d8f4dcbSJay XSPerfAccumulate("line_0_hit_way_" + Integer.toString(w, 10), s1_fire && s1_port_hit(0) && OHToUInt(s1_tag_match_vec(0)) === w.U) 4131d8f4dcbSJay } 4141d8f4dcbSJay 4151d8f4dcbSJay (0 until nWays).map{ w => 4161d8f4dcbSJay XSPerfAccumulate("line_0_victim_way_" + Integer.toString(w, 10), s1_fire && !s1_port_hit(0) && OHToUInt(s1_victim_oh(0)) === w.U) 4171d8f4dcbSJay } 4181d8f4dcbSJay 4191d8f4dcbSJay (0 until nWays).map{ w => 4201d8f4dcbSJay XSPerfAccumulate("line_1_hit_way_" + Integer.toString(w, 10), s1_fire && s1_double_line && s1_port_hit(1) && OHToUInt(s1_tag_match_vec(1)) === w.U) 4211d8f4dcbSJay } 4221d8f4dcbSJay 4231d8f4dcbSJay (0 until nWays).map{ w => 4241d8f4dcbSJay XSPerfAccumulate("line_1_victim_way_" + Integer.toString(w, 10), s1_fire && s1_double_line && !s1_port_hit(1) && OHToUInt(s1_victim_oh(1)) === w.U) 4251d8f4dcbSJay } 4261d8f4dcbSJay 427b1ded4e8Sguohongyu XSPerfAccumulate("mainPipe_stage1_block_by_piq_cycles", s1_valid && s1_wait) 428b1ded4e8Sguohongyu 4292a3050c2SJay /** 4302a3050c2SJay ****************************************************************************** 43158dbdfc2SJay * ICache Stage 2 43258dbdfc2SJay * - send request to MSHR if ICache miss 43358dbdfc2SJay * - generate secondary miss status/data registers 43458dbdfc2SJay * - response to IFU 4352a3050c2SJay ****************************************************************************** 4362a3050c2SJay */ 43758dbdfc2SJay 43858dbdfc2SJay /** s2 control */ 4391d8f4dcbSJay val s2_fetch_finish = Wire(Bool()) 4401d8f4dcbSJay 441f1fe8698SLemover val s2_valid = generatePipeControl(lastFire = s1_fire, thisFire = s2_fire, thisFlush = false.B, lastFlush = false.B) 4421d8f4dcbSJay val s2_miss_available = Wire(Bool()) 4431d8f4dcbSJay 4441d8f4dcbSJay s2_ready := (s2_valid && s2_fetch_finish && !io.respStall) || (!s2_valid && s2_miss_available) 4451d8f4dcbSJay s2_fire := s2_valid && s2_fetch_finish && !io.respStall 4461d8f4dcbSJay 44758dbdfc2SJay /** s2 data */ 448cb6e5d3cSssszwic // val mmio = fromPMP.map(port => port.mmio) // TODO: handle it 449005e809bSJiuyang Liu val (s2_req_paddr , s2_req_vaddr) = (RegEnable(s1_req_paddr, s1_fire), RegEnable(s1_req_vaddr, s1_fire)) 450005e809bSJiuyang Liu val s2_req_vsetIdx = RegEnable(s1_req_vsetIdx, s1_fire) 451005e809bSJiuyang Liu val s2_req_ptags = RegEnable(s1_req_ptags, s1_fire) 452005e809bSJiuyang Liu val s2_only_first = RegEnable(s1_only_first, s1_fire) 453005e809bSJiuyang Liu val s2_double_line = RegEnable(s1_double_line, s1_fire) 454005e809bSJiuyang Liu val s2_hit = RegEnable(s1_hit , s1_fire) 455005e809bSJiuyang Liu val s2_port_hit = RegEnable(s1_port_hit, s1_fire) 456005e809bSJiuyang Liu val s2_bank_miss = RegEnable(s1_bank_miss, s1_fire) 457005e809bSJiuyang Liu val s2_waymask = RegEnable(s1_victim_oh, s1_fire) 458005e809bSJiuyang Liu val s2_tag_match_vec = RegEnable(s1_tag_match_vec, s1_fire) 459b1ded4e8Sguohongyu val s2_prefetch_hit = RegEnable(s1_prefetch_hit, s1_fire) 460b1ded4e8Sguohongyu val s2_prefetch_hit_data = RegEnable(s1_prefetch_hit_data, s1_fire) 461afa866b1Sguohongyu val s2_prefetch_hit_in_ipf = RegEnable(s1_ipf_hit_latch, s1_fire) 462cb6e5d3cSssszwic val s2_prefetch_hit_in_piq = RegEnable(s1_piq_hit_latch, s1_fire) 4631d8f4dcbSJay 464d2b20d1aSTang Haojin val icacheMissStage = RegInit(VecInit(Seq.fill(numOfStage - 2)(0.B))) 465d2b20d1aSTang Haojin icacheMissStage(0) := !s2_hit 466d2b20d1aSTang Haojin 46758c354d0Sssszwic /** send req info of s1 and s2 to IPrefetchPipe for filter request */ 46858c354d0Sssszwic toIPrefetch.s1Info(0).paddr := s1_req_paddr(0) 46958c354d0Sssszwic toIPrefetch.s1Info(0).valid := s1_valid 47058c354d0Sssszwic toIPrefetch.s1Info(1).paddr := s1_req_paddr(1) 47158c354d0Sssszwic toIPrefetch.s1Info(1).valid := s1_valid && s1_double_line 47258c354d0Sssszwic toIPrefetch.s2Info(0).paddr := s2_req_paddr(0) 47358c354d0Sssszwic toIPrefetch.s2Info(0).valid := s2_valid 47458c354d0Sssszwic toIPrefetch.s2Info(1).paddr := s2_req_paddr(1) 47558c354d0Sssszwic toIPrefetch.s2Info(1).valid := s2_valid && s2_double_line 47658c354d0Sssszwic 477f1fe8698SLemover assert(RegNext(!s2_valid || s2_req_paddr(0)(11,0) === s2_req_vaddr(0)(11,0), true.B)) 478f1fe8698SLemover 47958dbdfc2SJay /** status imply that s2 is a secondary miss (no need to resend miss request) */ 4801d8f4dcbSJay val sec_meet_vec = Wire(Vec(2, Bool())) 481b1ded4e8Sguohongyu val s2_fixed_hit_vec = VecInit((0 until 2).map(i => s2_port_hit(i) || s2_prefetch_hit(i) || sec_meet_vec(i))) 4821d8f4dcbSJay val s2_fixed_hit = (s2_valid && s2_fixed_hit_vec(0) && s2_fixed_hit_vec(1) && s2_double_line) || (s2_valid && s2_fixed_hit_vec(0) && !s2_double_line) 4831d8f4dcbSJay 484005e809bSJiuyang Liu val s2_meta_errors = RegEnable(s1_meta_errors, s1_fire) 485005e809bSJiuyang Liu val s2_data_errorBits = RegEnable(s1_data_errorBits, s1_fire) 486005e809bSJiuyang Liu val s2_data_cacheline = RegEnable(s1_data_cacheline, s1_fire) 48779b191f7SJay 48879b191f7SJay val s2_data_errors = Wire(Vec(PortNumber,Vec(nWays, Bool()))) 48979b191f7SJay 49079b191f7SJay (0 until PortNumber).map{ i => 49179b191f7SJay val read_datas = s2_data_cacheline(i).asTypeOf(Vec(nWays,Vec(dataCodeUnitNum, UInt(dataCodeUnit.W)))) 49279b191f7SJay val read_codes = s2_data_errorBits(i).asTypeOf(Vec(nWays,Vec(dataCodeUnitNum, UInt(dataCodeBits.W)))) 49379b191f7SJay val data_full_wayBits = VecInit((0 until nWays).map( w => 49479b191f7SJay VecInit((0 until dataCodeUnitNum).map(u => 49579b191f7SJay Cat(read_codes(w)(u), read_datas(w)(u)))))) 49679b191f7SJay val data_error_wayBits = VecInit((0 until nWays).map( w => 49779b191f7SJay VecInit((0 until dataCodeUnitNum).map(u => 49879b191f7SJay cacheParams.dataCode.decode(data_full_wayBits(w)(u)).error )))) 49979b191f7SJay if(i == 0){ 50079b191f7SJay (0 until nWays).map{ w => 50179b191f7SJay s2_data_errors(i)(w) := RegNext(RegNext(s1_fire)) && RegNext(data_error_wayBits(w)).reduce(_||_) 50279b191f7SJay } 50379b191f7SJay } else { 50479b191f7SJay (0 until nWays).map{ w => 50579b191f7SJay s2_data_errors(i)(w) := RegNext(RegNext(s1_fire)) && RegNext(RegNext(s1_double_line)) && RegNext(data_error_wayBits(w)).reduce(_||_) 50679b191f7SJay } 50779b191f7SJay } 50879b191f7SJay } 50979b191f7SJay 51079b191f7SJay val s2_parity_meta_error = VecInit((0 until PortNumber).map(i => s2_meta_errors(i).reduce(_||_) && io.csr_parity_enable)) 51179b191f7SJay val s2_parity_data_error = VecInit((0 until PortNumber).map(i => s2_data_errors(i).reduce(_||_) && io.csr_parity_enable)) 51279b191f7SJay val s2_parity_error = VecInit((0 until PortNumber).map(i => RegNext(s2_parity_meta_error(i)) || s2_parity_data_error(i))) 51379b191f7SJay 51479b191f7SJay for(i <- 0 until PortNumber){ 515e8e4462cSJay io.errors(i).valid := RegNext(s2_parity_error(i) && RegNext(RegNext(s1_fire))) 516e8e4462cSJay io.errors(i).report_to_beu := RegNext(s2_parity_error(i) && RegNext(RegNext(s1_fire))) 51779b191f7SJay io.errors(i).paddr := RegNext(RegNext(s2_req_paddr(i))) 51879b191f7SJay io.errors(i).source := DontCare 51979b191f7SJay io.errors(i).source.tag := RegNext(RegNext(s2_parity_meta_error(i))) 52079b191f7SJay io.errors(i).source.data := RegNext(s2_parity_data_error(i)) 52179b191f7SJay io.errors(i).source.l2 := false.B 52279b191f7SJay io.errors(i).opType := DontCare 52379b191f7SJay io.errors(i).opType.fetch := true.B 52479b191f7SJay } 525c157cf71SGuokai Chen if (!ICacheECCForceError) { 526e8e4462cSJay XSError(s2_parity_error.reduce(_||_) && RegNext(RegNext(s1_fire)), "ICache has parity error in MainPaipe!") 527c157cf71SGuokai Chen } 52879b191f7SJay 5292a25dbb4SJay /** exception and pmp logic **/ 530cb6e5d3cSssszwic val s2_tlb_valid = VecInit((0 until PortNumber).map(i => ValidHold(s1_tlb_valid(i) && s1_fire, s2_fire, false.B))) 531cb6e5d3cSssszwic val pmpExcpAF = VecInit(Seq(fromPMP(0).instr && s2_tlb_valid(0), fromPMP(1).instr && s2_double_line && s2_tlb_valid(1))) 532cb6e5d3cSssszwic // exception information and mmio 533227f2b93SJenius // short delay exception signal 534cb6e5d3cSssszwic val s2_except_tlb_pf = RegEnable(tlbExcpPF, s1_fire) 535227f2b93SJenius val s2_except_tlb_af = RegEnable(tlbExcpAF, s1_fire) 536227f2b93SJenius // long delay exception signal 537227f2b93SJenius val s2_except_pmp_af = DataHoldBypass(pmpExcpAF, RegNext(s1_fire)) 538227f2b93SJenius 539cb6e5d3cSssszwic val s2_except = VecInit(Seq(s2_except_tlb_pf(0) || s2_except_tlb_af(0), s2_double_line && (s2_except_tlb_pf(1) || s2_except_tlb_af(1)))) 540cb6e5d3cSssszwic val s2_has_except = s2_valid && s2_except.reduce(_||_) 541935edac4STang Haojin val s2_mmio = s2_valid && DataHoldBypass(io.pmp(0).resp.mmio && !s2_except(0) && !s2_except_pmp_af(0), RegNext(s1_fire)).asBool 542cb6e5d3cSssszwic // pmp port 5431d8f4dcbSJay io.pmp.zipWithIndex.map { case (p, i) => 544de7689fcSJay p.req.valid := s2_valid && !missSwitchBit 5451d8f4dcbSJay p.req.bits.addr := s2_req_paddr(i) 5461d8f4dcbSJay p.req.bits.size := 3.U // TODO 5471d8f4dcbSJay p.req.bits.cmd := TlbCmd.exec 5481d8f4dcbSJay } 5491d8f4dcbSJay 5501d8f4dcbSJay /*** cacheline miss logic ***/ 551227f2b93SJenius val wait_idle :: wait_queue_ready :: wait_send_req :: wait_two_resp :: wait_0_resp :: wait_1_resp :: wait_one_resp ::wait_finish :: wait_pmp_except :: Nil = Enum(9) 5521d8f4dcbSJay val wait_state = RegInit(wait_idle) 5531d8f4dcbSJay 554935edac4STang Haojin// val port_miss_fix = VecInit(Seq(fromMSHR(0).fire && !s2_port_hit(0), fromMSHR(1).fire && s2_double_line && !s2_port_hit(1) )) 5551d8f4dcbSJay 55658dbdfc2SJay // secondary miss record registers 5572a3050c2SJay class MissSlot(implicit p: Parameters) extends ICacheBundle { 5581d8f4dcbSJay val m_vSetIdx = UInt(idxBits.W) 5591d8f4dcbSJay val m_pTag = UInt(tagBits.W) 5601d8f4dcbSJay val m_data = UInt(blockBits.W) 56158dbdfc2SJay val m_corrupt = Bool() 5621d8f4dcbSJay } 5631d8f4dcbSJay 5641d8f4dcbSJay val missSlot = Seq.fill(2)(RegInit(0.U.asTypeOf(new MissSlot))) 5651d8f4dcbSJay val m_invalid :: m_valid :: m_refilled :: m_flushed :: m_wait_sec_miss :: m_check_final ::Nil = Enum(6) 5661d8f4dcbSJay val missStateQueue = RegInit(VecInit(Seq.fill(2)(m_invalid)) ) 5671d8f4dcbSJay val reservedRefillData = Wire(Vec(2, UInt(blockBits.W))) 5681d8f4dcbSJay 5691d8f4dcbSJay s2_miss_available := VecInit(missStateQueue.map(entry => entry === m_invalid || entry === m_wait_sec_miss)).reduce(_&&_) 5701d8f4dcbSJay 571cb6e5d3cSssszwic // check miss slot 5721d8f4dcbSJay val fix_sec_miss = Wire(Vec(4, Bool())) 5731d8f4dcbSJay val sec_meet_0_miss = fix_sec_miss(0) || fix_sec_miss(2) 5741d8f4dcbSJay val sec_meet_1_miss = fix_sec_miss(1) || fix_sec_miss(3) 5751d8f4dcbSJay sec_meet_vec := VecInit(Seq(sec_meet_0_miss, sec_meet_1_miss)) 5761d8f4dcbSJay 5772a3050c2SJay /*** miss/hit pattern: <Control Signal> only raise at the first cycle of s2_valid ***/ 578b1ded4e8Sguohongyu val cacheline_0_hit = (s2_port_hit(0) || s2_prefetch_hit(0) || sec_meet_0_miss) 579b1ded4e8Sguohongyu val cacheline_0_miss = !s2_port_hit(0) && !s2_prefetch_hit(0) && !sec_meet_0_miss 5801d8f4dcbSJay 581b1ded4e8Sguohongyu val cacheline_1_hit = (s2_port_hit(1) || s2_prefetch_hit(1) || sec_meet_1_miss) 582b1ded4e8Sguohongyu val cacheline_1_miss = !s2_port_hit(1) && !s2_prefetch_hit(1) && !sec_meet_1_miss 58342b952e2SJay 58442b952e2SJay val only_0_miss = RegNext(s1_fire) && cacheline_0_miss && !s2_double_line && !s2_has_except && !s2_mmio 58542b952e2SJay val only_0_hit = RegNext(s1_fire) && cacheline_0_hit && !s2_double_line && !s2_mmio 58642b952e2SJay val hit_0_hit_1 = RegNext(s1_fire) && cacheline_0_hit && cacheline_1_hit && s2_double_line && !s2_mmio 58742b952e2SJay val hit_0_miss_1 = RegNext(s1_fire) && cacheline_0_hit && cacheline_1_miss && s2_double_line && !s2_has_except && !s2_mmio 58842b952e2SJay val miss_0_hit_1 = RegNext(s1_fire) && cacheline_0_miss && cacheline_1_hit && s2_double_line && !s2_has_except && !s2_mmio 58942b952e2SJay val miss_0_miss_1 = RegNext(s1_fire) && cacheline_0_miss && cacheline_1_miss && s2_double_line && !s2_has_except && !s2_mmio 59042b952e2SJay 59142b952e2SJay val hit_0_except_1 = RegNext(s1_fire) && s2_double_line && !s2_except(0) && s2_except(1) && cacheline_0_hit 59242b952e2SJay val miss_0_except_1 = RegNext(s1_fire) && s2_double_line && !s2_except(0) && s2_except(1) && cacheline_0_miss 5931d8f4dcbSJay val except_0 = RegNext(s1_fire) && s2_except(0) 5941d8f4dcbSJay 5952a3050c2SJay /*** miss/hit pattern latch: <Control Signal> latch the miss/hit patter if pipeline stop ***/ 5961d8f4dcbSJay val only_0_miss_latch = holdReleaseLatch(valid = only_0_miss, release = s2_fire, flush = false.B) 5971d8f4dcbSJay val only_0_hit_latch = holdReleaseLatch(valid = only_0_hit, release = s2_fire, flush = false.B) 5981d8f4dcbSJay val hit_0_hit_1_latch = holdReleaseLatch(valid = hit_0_hit_1, release = s2_fire, flush = false.B) 599cb6e5d3cSssszwic val hit_0_miss_1_latch = holdReleaseLatch(valid = hit_0_miss_1, release = s2_fire, flush = false.B) 600cb6e5d3cSssszwic val miss_0_hit_1_latch = holdReleaseLatch(valid = miss_0_hit_1, release = s2_fire, flush = false.B) 601cb6e5d3cSssszwic val miss_0_miss_1_latch = holdReleaseLatch(valid = miss_0_miss_1, release = s2_fire, flush = false.B) 6021d8f4dcbSJay 603cb6e5d3cSssszwic val hit_0_except_1_latch = holdReleaseLatch(valid = hit_0_except_1, release = s2_fire, flush = false.B) 604cb6e5d3cSssszwic val miss_0_except_1_latch = holdReleaseLatch(valid = miss_0_except_1, release = s2_fire, flush = false.B) 605cb6e5d3cSssszwic val except_0_latch = holdReleaseLatch(valid = except_0, release = s2_fire, flush = false.B) 6061d8f4dcbSJay 6071c746d3aScui fliter /*** secondary miss judgment ***/ 6081d8f4dcbSJay def waitSecondComeIn(missState: UInt): Bool = (missState === m_wait_sec_miss) 6091d8f4dcbSJay 6101d8f4dcbSJay def getMissSituat(slotNum : Int, missNum : Int ) :Bool = { 611227f2b93SJenius RegNext(s1_fire) && 612227f2b93SJenius RegNext(missSlot(slotNum).m_vSetIdx === s1_req_vsetIdx(missNum)) && 613227f2b93SJenius RegNext(missSlot(slotNum).m_pTag === s1_req_ptags(missNum)) && 614b1ded4e8Sguohongyu !s2_port_hit(missNum) && !s2_prefetch_hit(missNum) && 615227f2b93SJenius waitSecondComeIn(missStateQueue(slotNum)) 6161d8f4dcbSJay } 6171d8f4dcbSJay 618cb6e5d3cSssszwic /*** compare new req and last req saved in miss slot ***/ 6191d8f4dcbSJay val miss_0_s2_0 = getMissSituat(slotNum = 0, missNum = 0) 6201d8f4dcbSJay val miss_0_s2_1 = getMissSituat(slotNum = 0, missNum = 1) 6211d8f4dcbSJay val miss_1_s2_0 = getMissSituat(slotNum = 1, missNum = 0) 6221d8f4dcbSJay val miss_1_s2_1 = getMissSituat(slotNum = 1, missNum = 1) 6231d8f4dcbSJay 6241d8f4dcbSJay val miss_0_s2_0_latch = holdReleaseLatch(valid = miss_0_s2_0, release = s2_fire, flush = false.B) 6251d8f4dcbSJay val miss_0_s2_1_latch = holdReleaseLatch(valid = miss_0_s2_1, release = s2_fire, flush = false.B) 6261d8f4dcbSJay val miss_1_s2_0_latch = holdReleaseLatch(valid = miss_1_s2_0, release = s2_fire, flush = false.B) 6271d8f4dcbSJay val miss_1_s2_1_latch = holdReleaseLatch(valid = miss_1_s2_1, release = s2_fire, flush = false.B) 6281d8f4dcbSJay 6291d8f4dcbSJay val slot_0_solve = fix_sec_miss(0) || fix_sec_miss(1) 6301d8f4dcbSJay val slot_1_solve = fix_sec_miss(2) || fix_sec_miss(3) 6311d8f4dcbSJay val slot_slove = VecInit(Seq(slot_0_solve, slot_1_solve)) 6321d8f4dcbSJay fix_sec_miss := VecInit(Seq(miss_0_s2_0_latch, miss_0_s2_1_latch, miss_1_s2_0_latch, miss_1_s2_1_latch)) 6331d8f4dcbSJay 63458dbdfc2SJay /*** reserved data for secondary miss ***/ 6351d8f4dcbSJay reservedRefillData(0) := DataHoldBypass(data = missSlot(0).m_data, valid = miss_0_s2_0 || miss_0_s2_1) 6361d8f4dcbSJay reservedRefillData(1) := DataHoldBypass(data = missSlot(1).m_data, valid = miss_1_s2_0 || miss_1_s2_1) 6371d8f4dcbSJay 63858dbdfc2SJay /*** miss state machine ***/ 639a61aefd2SJenius 640a61aefd2SJenius //deal with not-cache-hit pmp af 641a61aefd2SJenius val only_pmp_af = Wire(Vec(2, Bool())) 642a61aefd2SJenius only_pmp_af(0) := s2_except_pmp_af(0) && cacheline_0_miss && !s2_except(0) && s2_valid 643a61aefd2SJenius only_pmp_af(1) := s2_except_pmp_af(1) && cacheline_1_miss && !s2_except(1) && s2_valid && s2_double_line 64458dbdfc2SJay 6451d8f4dcbSJay switch(wait_state){ 6461d8f4dcbSJay is(wait_idle){ 6474a9944cbSJenius when(only_pmp_af(0) || only_pmp_af(1) || s2_mmio){ 648227f2b93SJenius //should not send req to MissUnit when there is an access exception in PMP 649227f2b93SJenius //But to avoid using pmp exception in control signal (like s2_fire), should delay 1 cycle. 650227f2b93SJenius //NOTE: pmp exception cache line also could hit in ICache, but the result is meaningless. Just give the exception signals. 651227f2b93SJenius wait_state := wait_finish 652227f2b93SJenius }.elsewhen(miss_0_except_1_latch){ 6531d8f4dcbSJay wait_state := Mux(toMSHR(0).ready, wait_queue_ready ,wait_idle ) 6541d8f4dcbSJay }.elsewhen(only_0_miss_latch || miss_0_hit_1_latch){ 6551d8f4dcbSJay wait_state := Mux(toMSHR(0).ready, wait_queue_ready ,wait_idle ) 6561d8f4dcbSJay }.elsewhen(hit_0_miss_1_latch){ 6571d8f4dcbSJay wait_state := Mux(toMSHR(1).ready, wait_queue_ready ,wait_idle ) 6581d8f4dcbSJay }.elsewhen(miss_0_miss_1_latch ){ 6591d8f4dcbSJay wait_state := Mux(toMSHR(0).ready && toMSHR(1).ready, wait_queue_ready ,wait_idle) 6601d8f4dcbSJay } 6611d8f4dcbSJay } 6621d8f4dcbSJay 6631d8f4dcbSJay is(wait_queue_ready){ 6641d8f4dcbSJay wait_state := wait_send_req 6651d8f4dcbSJay } 6661d8f4dcbSJay 6671d8f4dcbSJay is(wait_send_req) { 6681d8f4dcbSJay when(miss_0_except_1_latch || only_0_miss_latch || hit_0_miss_1_latch || miss_0_hit_1_latch){ 6691d8f4dcbSJay wait_state := wait_one_resp 6701d8f4dcbSJay }.elsewhen( miss_0_miss_1_latch ){ 6711d8f4dcbSJay wait_state := wait_two_resp 6721d8f4dcbSJay } 6731d8f4dcbSJay } 6741d8f4dcbSJay 6751d8f4dcbSJay is(wait_one_resp) { 676935edac4STang Haojin when( (miss_0_except_1_latch ||only_0_miss_latch || miss_0_hit_1_latch) && fromMSHR(0).fire){ 6771d8f4dcbSJay wait_state := wait_finish 678935edac4STang Haojin }.elsewhen( hit_0_miss_1_latch && fromMSHR(1).fire){ 6791d8f4dcbSJay wait_state := wait_finish 6801d8f4dcbSJay } 6811d8f4dcbSJay } 6821d8f4dcbSJay 6831d8f4dcbSJay is(wait_two_resp) { 684935edac4STang Haojin when(fromMSHR(0).fire && fromMSHR(1).fire){ 6851d8f4dcbSJay wait_state := wait_finish 686935edac4STang Haojin }.elsewhen( !fromMSHR(0).fire && fromMSHR(1).fire ){ 6871d8f4dcbSJay wait_state := wait_0_resp 688935edac4STang Haojin }.elsewhen(fromMSHR(0).fire && !fromMSHR(1).fire){ 6891d8f4dcbSJay wait_state := wait_1_resp 6901d8f4dcbSJay } 6911d8f4dcbSJay } 6921d8f4dcbSJay 6931d8f4dcbSJay is(wait_0_resp) { 694935edac4STang Haojin when(fromMSHR(0).fire){ 6951d8f4dcbSJay wait_state := wait_finish 6961d8f4dcbSJay } 6971d8f4dcbSJay } 6981d8f4dcbSJay 6991d8f4dcbSJay is(wait_1_resp) { 700935edac4STang Haojin when(fromMSHR(1).fire){ 7011d8f4dcbSJay wait_state := wait_finish 7021d8f4dcbSJay } 7031d8f4dcbSJay } 7041d8f4dcbSJay 7052a25dbb4SJay is(wait_finish) {when(s2_fire) {wait_state := wait_idle } 7061d8f4dcbSJay } 7071d8f4dcbSJay } 7081d8f4dcbSJay 7091d8f4dcbSJay 71058dbdfc2SJay /*** send request to MissUnit ***/ 71158dbdfc2SJay 7121d8f4dcbSJay (0 until 2).map { i => 7131d8f4dcbSJay if(i == 1) toMSHR(i).valid := (hit_0_miss_1_latch || miss_0_miss_1_latch) && wait_state === wait_queue_ready && !s2_mmio 7141d8f4dcbSJay else toMSHR(i).valid := (only_0_miss_latch || miss_0_hit_1_latch || miss_0_miss_1_latch || miss_0_except_1_latch) && wait_state === wait_queue_ready && !s2_mmio 7151d8f4dcbSJay toMSHR(i).bits.paddr := s2_req_paddr(i) 7161d8f4dcbSJay toMSHR(i).bits.vaddr := s2_req_vaddr(i) 7171d8f4dcbSJay toMSHR(i).bits.waymask := s2_waymask(i) 7181d8f4dcbSJay 7191d8f4dcbSJay 720935edac4STang Haojin when(toMSHR(i).fire && missStateQueue(i) === m_invalid){ 7211d8f4dcbSJay missStateQueue(i) := m_valid 7221d8f4dcbSJay missSlot(i).m_vSetIdx := s2_req_vsetIdx(i) 7231d8f4dcbSJay missSlot(i).m_pTag := get_phy_tag(s2_req_paddr(i)) 7241d8f4dcbSJay } 7251d8f4dcbSJay 726935edac4STang Haojin when(fromMSHR(i).fire && missStateQueue(i) === m_valid ){ 7271d8f4dcbSJay missStateQueue(i) := m_refilled 7281d8f4dcbSJay missSlot(i).m_data := fromMSHR(i).bits.data 72958dbdfc2SJay missSlot(i).m_corrupt := fromMSHR(i).bits.corrupt 7301d8f4dcbSJay } 7311d8f4dcbSJay 7321d8f4dcbSJay 7331d8f4dcbSJay when(s2_fire && missStateQueue(i) === m_refilled){ 7341d8f4dcbSJay missStateQueue(i) := m_wait_sec_miss 7351d8f4dcbSJay } 7361d8f4dcbSJay 7372a3050c2SJay /*** Only the first cycle to check whether meet the secondary miss ***/ 7381d8f4dcbSJay when(missStateQueue(i) === m_wait_sec_miss){ 7392a3050c2SJay /*** The seondary req has been fix by this slot and another also hit || the secondary req for other cacheline and hit ***/ 7401d8f4dcbSJay when((slot_slove(i) && s2_fire) || (!slot_slove(i) && s2_fire) ) { 7411d8f4dcbSJay missStateQueue(i) := m_invalid 7421d8f4dcbSJay } 7432a3050c2SJay /*** The seondary req has been fix by this slot but another miss/f3 not ready || the seondary req for other cacheline and miss ***/ 7441d8f4dcbSJay .elsewhen((slot_slove(i) && !s2_fire && s2_valid) || (s2_valid && !slot_slove(i) && !s2_fire) ){ 7451d8f4dcbSJay missStateQueue(i) := m_check_final 7461d8f4dcbSJay } 7471d8f4dcbSJay } 7481d8f4dcbSJay 749935edac4STang Haojin when(missStateQueue(i) === m_check_final && toMSHR(i).fire){ 7501d8f4dcbSJay missStateQueue(i) := m_valid 7511d8f4dcbSJay missSlot(i).m_vSetIdx := s2_req_vsetIdx(i) 7521d8f4dcbSJay missSlot(i).m_pTag := get_phy_tag(s2_req_paddr(i)) 7531d8f4dcbSJay }.elsewhen(missStateQueue(i) === m_check_final) { 7541d8f4dcbSJay missStateQueue(i) := m_invalid 7551d8f4dcbSJay } 7561d8f4dcbSJay } 7571d8f4dcbSJay 7587052722fSJay when(toMSHR.map(_.valid).reduce(_||_)){ 7597052722fSJay missSwitchBit := true.B 7607052722fSJay }.elsewhen(missSwitchBit && s2_fetch_finish){ 7617052722fSJay missSwitchBit := false.B 7627052722fSJay } 7637052722fSJay 764974a902cSguohongyu (0 until PortNumber).foreach{ 765974a902cSguohongyu i => 76658c354d0Sssszwic toIPrefetch.missSlot(i).valid := missStateQueue(i) =/= m_invalid 76758c354d0Sssszwic toIPrefetch.missSlot(i).vSetIdx := missSlot(i).m_vSetIdx 76858c354d0Sssszwic toIPrefetch.missSlot(i).ptag := missSlot(i).m_pTag 769974a902cSguohongyu } 770974a902cSguohongyu 771a8fabd82SJenius val miss_all_fix = wait_state === wait_finish 772227f2b93SJenius 773227f2b93SJenius s2_fetch_finish := ((s2_valid && s2_fixed_hit) || miss_all_fix || hit_0_except_1_latch || except_0_latch) 7741d8f4dcbSJay 77558dbdfc2SJay /** update replacement status register: 0 is hit access/ 1 is miss access */ 7761d8f4dcbSJay (touch_ways zip touch_sets).zipWithIndex.map{ case((t_w,t_s), i) => 7775b0cc873Sguohongyu t_s(0) := s2_req_vsetIdx(i)(highestIdxBit, 1) 77861e1db30SJay t_w(0).valid := s2_valid && s2_port_hit(i) 77961e1db30SJay t_w(0).bits := OHToUInt(s2_tag_match_vec(i)) 7801d8f4dcbSJay 7815b0cc873Sguohongyu t_s(1) := s2_req_vsetIdx(i)(highestIdxBit, 1) 7821d8f4dcbSJay t_w(1).valid := s2_valid && !s2_port_hit(i) 7831d8f4dcbSJay t_w(1).bits := OHToUInt(s2_waymask(i)) 7841d8f4dcbSJay } 7851d8f4dcbSJay 7863fbf8eafSJenius //** use hit one-hot select data 787cb6e5d3cSssszwic val s2_hit_datas = VecInit(s2_data_cacheline.zipWithIndex.map { case(bank, i) => 788cb6e5d3cSssszwic val port_hit_data = Mux1H(s2_tag_match_vec(i).asUInt, bank) 7893fbf8eafSJenius port_hit_data 7903fbf8eafSJenius }) 7913fbf8eafSJenius 792dc270d3bSJenius val s2_register_datas = Wire(Vec(2, UInt(blockBits.W))) 7931d8f4dcbSJay 794dc270d3bSJenius s2_register_datas.zipWithIndex.map{case(bank,i) => 795dc270d3bSJenius // if(i == 0) bank := Mux(s2_port_hit(i), s2_hit_datas(i), Mux(miss_0_s2_0_latch,reservedRefillData(0), Mux(miss_1_s2_0_latch,reservedRefillData(1), missSlot(0).m_data))) 796dc270d3bSJenius // else bank := Mux(s2_port_hit(i), s2_hit_datas(i), Mux(miss_0_s2_1_latch,reservedRefillData(0), Mux(miss_1_s2_1_latch,reservedRefillData(1), missSlot(1).m_data))) 797dc270d3bSJenius if(i == 0) bank := Mux(miss_0_s2_0_latch,reservedRefillData(0), Mux(miss_1_s2_0_latch,reservedRefillData(1), missSlot(0).m_data)) 798dc270d3bSJenius else bank := Mux(miss_0_s2_1_latch,reservedRefillData(0), Mux(miss_1_s2_1_latch,reservedRefillData(1), missSlot(1).m_data)) 7991d8f4dcbSJay } 8001d8f4dcbSJay 80158dbdfc2SJay /** response to IFU */ 8021d8f4dcbSJay 8031d8f4dcbSJay (0 until PortNumber).map{ i => 8041d8f4dcbSJay if(i ==0) toIFU(i).valid := s2_fire 8051d8f4dcbSJay else toIFU(i).valid := s2_fire && s2_double_line 806dc270d3bSJenius //when select is high, use sramData. Otherwise, use registerData. 807dc270d3bSJenius toIFU(i).bits.registerData := s2_register_datas(i) 808b1ded4e8Sguohongyu toIFU(i).bits.sramData := Mux(s2_port_hit(i), s2_hit_datas(i), s2_prefetch_hit_data(i)) 809b1ded4e8Sguohongyu toIFU(i).bits.select := s2_port_hit(i) || s2_prefetch_hit(i) 8101d8f4dcbSJay toIFU(i).bits.paddr := s2_req_paddr(i) 8111d8f4dcbSJay toIFU(i).bits.vaddr := s2_req_vaddr(i) 812cb6e5d3cSssszwic toIFU(i).bits.tlbExcp.pageFault := s2_except_tlb_pf(i) 813227f2b93SJenius toIFU(i).bits.tlbExcp.accessFault := s2_except_tlb_af(i) || missSlot(i).m_corrupt || s2_except_pmp_af(i) 814227f2b93SJenius toIFU(i).bits.tlbExcp.mmio := s2_mmio 8159ef181f4SWilliam Wang 8169ef181f4SWilliam Wang when(RegNext(s2_fire && missSlot(i).m_corrupt)){ 8179ef181f4SWilliam Wang io.errors(i).valid := true.B 8180f59c834SWilliam Wang io.errors(i).report_to_beu := false.B // l2 should have report that to bus error unit, no need to do it again 8190f59c834SWilliam Wang io.errors(i).paddr := RegNext(s2_req_paddr(i)) 8209ef181f4SWilliam Wang io.errors(i).source.tag := false.B 8219ef181f4SWilliam Wang io.errors(i).source.data := false.B 8229ef181f4SWilliam Wang io.errors(i).source.l2 := true.B 8239ef181f4SWilliam Wang } 8241d8f4dcbSJay } 825d2b20d1aSTang Haojin io.fetch.topdownIcacheMiss := !s2_hit 826d2b20d1aSTang Haojin io.fetch.topdownItlbMiss := itlbMissStage(0) 827d2b20d1aSTang Haojin 828b1ded4e8Sguohongyu (0 until 2).map {i => 829d4112e88Sguohongyu XSPerfAccumulate("port_" + i + "_only_hit_in_ipf", !s2_port_hit(i) && s2_prefetch_hit(i) && s2_fire) 830b1ded4e8Sguohongyu } 831b1ded4e8Sguohongyu 832a108d429SJay io.perfInfo.only_0_hit := only_0_hit_latch 8331d8f4dcbSJay io.perfInfo.only_0_miss := only_0_miss_latch 8341d8f4dcbSJay io.perfInfo.hit_0_hit_1 := hit_0_hit_1_latch 8351d8f4dcbSJay io.perfInfo.hit_0_miss_1 := hit_0_miss_1_latch 8361d8f4dcbSJay io.perfInfo.miss_0_hit_1 := miss_0_hit_1_latch 8371d8f4dcbSJay io.perfInfo.miss_0_miss_1 := miss_0_miss_1_latch 838a108d429SJay io.perfInfo.hit_0_except_1 := hit_0_except_1_latch 839a108d429SJay io.perfInfo.miss_0_except_1 := miss_0_except_1_latch 840a108d429SJay io.perfInfo.except_0 := except_0_latch 8411d8f4dcbSJay io.perfInfo.bank_hit(0) := only_0_miss_latch || hit_0_hit_1_latch || hit_0_miss_1_latch || hit_0_except_1_latch 8421d8f4dcbSJay io.perfInfo.bank_hit(1) := miss_0_hit_1_latch || hit_0_hit_1_latch 843a108d429SJay io.perfInfo.hit := hit_0_hit_1_latch || only_0_hit_latch || hit_0_except_1_latch || except_0_latch 84458dbdfc2SJay 84558dbdfc2SJay /** <PERF> fetch bubble generated by icache miss*/ 84658dbdfc2SJay 84700240ba6SJay XSPerfAccumulate("icache_bubble_s2_miss", s2_valid && !s2_fetch_finish ) 84858dbdfc2SJay 849cb6e5d3cSssszwic // TODO: this perf is wrong! 850eb163ef0SHaojin Tang val tlb_miss_vec = VecInit((0 until PortNumber).map(i => toITLB(i).valid && s0_can_go && fromITLB(i).bits.miss)) 851eb163ef0SHaojin Tang val tlb_has_miss = tlb_miss_vec.reduce(_ || _) 852eb163ef0SHaojin Tang XSPerfAccumulate("icache_bubble_s0_tlb_miss", s0_valid && tlb_has_miss ) 8535470b21eSguohongyu 854afa866b1Sguohongyu if (env.EnableDifftest) { 855afa866b1Sguohongyu val discards = (0 until PortNumber).map { i => 856afa866b1Sguohongyu val discard = toIFU(i).bits.tlbExcp.pageFault || toIFU(i).bits.tlbExcp.accessFault || toIFU(i).bits.tlbExcp.mmio 857afa866b1Sguohongyu discard 858afa866b1Sguohongyu } 859afa866b1Sguohongyu (0 until PortNumber).map { i => 860a0c65233SYinan Xu val diffMainPipeOut = DifftestModule(new DiffRefillEvent, dontCare = true) 8617d45a146SYinan Xu diffMainPipeOut.coreid := io.hartId 8627d45a146SYinan Xu diffMainPipeOut.index := (4 + i).U 8637d45a146SYinan Xu if (i == 0) diffMainPipeOut.valid := s2_fire && !discards(0) 8647d45a146SYinan Xu else diffMainPipeOut.valid := s2_fire && s2_double_line && !discards(0) && !discards(1) 8657d45a146SYinan Xu diffMainPipeOut.addr := s2_req_paddr(i) 866afa866b1Sguohongyu when (toIFU(i).bits.select.asBool) { 8677d45a146SYinan Xu diffMainPipeOut.data := toIFU(i).bits.sramData.asTypeOf(diffMainPipeOut.data) 868afa866b1Sguohongyu } .otherwise { 8697d45a146SYinan Xu diffMainPipeOut.data := toIFU(i).bits.registerData.asTypeOf(diffMainPipeOut.data) 870afa866b1Sguohongyu } 871afa866b1Sguohongyu // idtfr: 1 -> data from icache 2 -> data from ipf 3 -> data from piq 4 -> data from missUnit 8727d45a146SYinan Xu when (s2_port_hit(i)) { diffMainPipeOut.idtfr := 1.U } 873afa866b1Sguohongyu .elsewhen(s2_prefetch_hit(i)) { 8747d45a146SYinan Xu when (s2_prefetch_hit_in_ipf(i)) { diffMainPipeOut.idtfr := 2.U } 8757d45a146SYinan Xu .elsewhen(s2_prefetch_hit_in_piq(i)) { diffMainPipeOut.idtfr := 3.U } 876935edac4STang Haojin .otherwise { diffMainPipeOut.idtfr := DontCare; XSWarn(true.B, "should not in this situation\n") } 877afa866b1Sguohongyu } 8787d45a146SYinan Xu .otherwise { diffMainPipeOut.idtfr := 4.U } 879afa866b1Sguohongyu diffMainPipeOut 880afa866b1Sguohongyu } 881afa866b1Sguohongyu } 8821d8f4dcbSJay} 883