xref: /XiangShan/src/main/scala/xiangshan/mem/pipeline/LoadUnit.scala (revision 7830f711aaaedc6c774dc3dbf95329e05fbc3e0f)
1024ee227SWilliam Wangpackage xiangshan.mem
2024ee227SWilliam Wang
3024ee227SWilliam Wangimport chisel3._
4024ee227SWilliam Wangimport chisel3.util._
5024ee227SWilliam Wangimport utils._
6024ee227SWilliam Wangimport xiangshan._
779460b79SLinJiaweiimport xiangshan.backend.decode.ImmUnion
81279060fSWilliam Wangimport xiangshan.cache._
91279060fSWilliam Wang// import xiangshan.cache.{DCacheWordIO, TlbRequestIO, TlbCmd, MemoryOpConstants, TlbReq, DCacheLoadReq, DCacheWordResp}
10024ee227SWilliam Wangimport xiangshan.backend.LSUOpType
11024ee227SWilliam Wang
120bd67ba5SYinan Xuclass LoadToLsqIO extends XSBundle {
13024ee227SWilliam Wang  val loadIn = ValidIO(new LsPipelineBundle)
14024ee227SWilliam Wang  val ldout = Flipped(DecoupledIO(new ExuOutput))
155830ba4fSWilliam Wang  val loadDataForwarded = Output(Bool())
16*7830f711SWilliam Wang  val forward = new MaskedLoadForwardQueryIO
17024ee227SWilliam Wang}
18024ee227SWilliam Wang
197962cc88SWilliam Wang// Load Pipeline Stage 0
207962cc88SWilliam Wang// Generate addr, use addr to query DCache and DTLB
217962cc88SWilliam Wangclass LoadUnit_S0 extends XSModule {
22024ee227SWilliam Wang  val io = IO(new Bundle() {
237962cc88SWilliam Wang    val in = Flipped(Decoupled(new ExuInput))
247962cc88SWilliam Wang    val out = Decoupled(new LsPipelineBundle)
250cab60cbSZhangZifei    val dtlbReq = DecoupledIO(new TlbReq)
266e9ed841SAllen    val dcacheReq = DecoupledIO(new DCacheWordReq)
27024ee227SWilliam Wang  })
28024ee227SWilliam Wang
297962cc88SWilliam Wang  val s0_uop = io.in.bits.uop
305759cf1dSWilliam Wang  val s0_vaddr = io.in.bits.src1 + SignExt(s0_uop.ctrl.imm(11,0), VAddrBits)
315759cf1dSWilliam Wang  // val s0_vaddr_old = io.in.bits.src1 + SignExt(ImmUnion.I.toImm32(s0_uop.ctrl.imm), XLEN)
325759cf1dSWilliam Wang  // val imm12 = WireInit(s0_uop.ctrl.imm(11,0))
335759cf1dSWilliam Wang  // val s0_vaddr_lo = io.in.bits.src1(11,0) + Cat(0.U(1.W), imm12)
345759cf1dSWilliam Wang  // val s0_vaddr_hi = Mux(imm12(11),
355759cf1dSWilliam Wang    // Mux((s0_vaddr_lo(12)), io.in.bits.src1(VAddrBits-1, 12), io.in.bits.src1(VAddrBits-1, 12)+SignExt(1.U, VAddrBits-12)),
365759cf1dSWilliam Wang    // Mux((s0_vaddr_lo(12)), io.in.bits.src1(VAddrBits-1, 12)+1.U, io.in.bits.src1(VAddrBits-1, 12))
375759cf1dSWilliam Wang  // )
385759cf1dSWilliam Wang  // val s0_vaddr = Cat(s0_vaddr_hi, s0_vaddr_lo(11,0))
395759cf1dSWilliam Wang  // when(io.in.fire() && s0_vaddr(VAddrBits-1,0) =/= (io.in.bits.src1 + SignExt(ImmUnion.I.toImm32(s0_uop.ctrl.imm), XLEN))(VAddrBits-1,0)){
405759cf1dSWilliam Wang    // printf("s0_vaddr %x s0_vaddr_old %x\n", s0_vaddr, s0_vaddr_old(VAddrBits-1,0))
415759cf1dSWilliam Wang  // }
425759cf1dSWilliam Wang  val s0_mask = genWmask(s0_vaddr, s0_uop.ctrl.fuOpType(1,0))
43024ee227SWilliam Wang
447962cc88SWilliam Wang  // query DTLB
45d0f66e88SYinan Xu  io.dtlbReq.valid := io.in.valid
461279060fSWilliam Wang  io.dtlbReq.bits.vaddr := s0_vaddr
471279060fSWilliam Wang  io.dtlbReq.bits.cmd := TlbCmd.read
481279060fSWilliam Wang  io.dtlbReq.bits.roqIdx := s0_uop.roqIdx
491279060fSWilliam Wang  io.dtlbReq.bits.debug.pc := s0_uop.cf.pc
50024ee227SWilliam Wang
517962cc88SWilliam Wang  // query DCache
52d0f66e88SYinan Xu  io.dcacheReq.valid := io.in.valid
531279060fSWilliam Wang  io.dcacheReq.bits.cmd  := MemoryOpConstants.M_XRD
541279060fSWilliam Wang  io.dcacheReq.bits.addr := s0_vaddr
551279060fSWilliam Wang  io.dcacheReq.bits.mask := s0_mask
5659a40467SWilliam Wang  io.dcacheReq.bits.data := DontCare
57024ee227SWilliam Wang
5859a40467SWilliam Wang  // TODO: update cache meta
5959a40467SWilliam Wang  io.dcacheReq.bits.meta.id       := DontCare
6059a40467SWilliam Wang  io.dcacheReq.bits.meta.vaddr    := s0_vaddr
6159a40467SWilliam Wang  io.dcacheReq.bits.meta.paddr    := DontCare
6259a40467SWilliam Wang  io.dcacheReq.bits.meta.uop      := s0_uop
6359a40467SWilliam Wang  io.dcacheReq.bits.meta.mmio     := false.B
6459a40467SWilliam Wang  io.dcacheReq.bits.meta.tlb_miss := false.B
6559a40467SWilliam Wang  io.dcacheReq.bits.meta.mask     := s0_mask
6659a40467SWilliam Wang  io.dcacheReq.bits.meta.replay   := false.B
67024ee227SWilliam Wang
687962cc88SWilliam Wang  val addrAligned = LookupTree(s0_uop.ctrl.fuOpType(1, 0), List(
69024ee227SWilliam Wang    "b00".U   -> true.B,                   //b
707962cc88SWilliam Wang    "b01".U   -> (s0_vaddr(0)    === 0.U), //h
717962cc88SWilliam Wang    "b10".U   -> (s0_vaddr(1, 0) === 0.U), //w
727962cc88SWilliam Wang    "b11".U   -> (s0_vaddr(2, 0) === 0.U)  //d
73024ee227SWilliam Wang  ))
74024ee227SWilliam Wang
751a51d1d9SYinan Xu  io.out.valid := io.in.valid && io.dcacheReq.ready
76d0f66e88SYinan Xu
777962cc88SWilliam Wang  io.out.bits := DontCare
787962cc88SWilliam Wang  io.out.bits.vaddr := s0_vaddr
797962cc88SWilliam Wang  io.out.bits.mask := s0_mask
807962cc88SWilliam Wang  io.out.bits.uop := s0_uop
817962cc88SWilliam Wang  io.out.bits.uop.cf.exceptionVec(loadAddrMisaligned) := !addrAligned
82024ee227SWilliam Wang
83d0f66e88SYinan Xu  io.in.ready := !io.in.valid || (io.out.ready && io.dcacheReq.ready)
84024ee227SWilliam Wang
85d0f66e88SYinan Xu  XSDebug(io.dcacheReq.fire(),
86bcc55f84SYinan Xu    p"[DCACHE LOAD REQ] pc ${Hexadecimal(s0_uop.cf.pc)}, vaddr ${Hexadecimal(s0_vaddr)}\n"
873dbae6f8SYinan Xu  )
887962cc88SWilliam Wang}
89024ee227SWilliam Wang
907962cc88SWilliam Wang
917962cc88SWilliam Wang// Load Pipeline Stage 1
927962cc88SWilliam Wang// TLB resp (send paddr to dcache)
937962cc88SWilliam Wangclass LoadUnit_S1 extends XSModule {
947962cc88SWilliam Wang  val io = IO(new Bundle() {
957962cc88SWilliam Wang    val in = Flipped(Decoupled(new LsPipelineBundle))
967962cc88SWilliam Wang    val out = Decoupled(new LsPipelineBundle)
97bcc55f84SYinan Xu    val dtlbResp = Flipped(DecoupledIO(new TlbResp))
98bcc55f84SYinan Xu    val dcachePAddr = Output(UInt(PAddrBits.W))
99d21b1759SYinan Xu    val dcacheKill = Output(Bool())
1002e36e3b7SWilliam Wang    val sbuffer = new LoadForwardQueryIO
101*7830f711SWilliam Wang    val lsq = new MaskedLoadForwardQueryIO
1027962cc88SWilliam Wang  })
1037962cc88SWilliam Wang
1047962cc88SWilliam Wang  val s1_uop = io.in.bits.uop
105bcc55f84SYinan Xu  val s1_paddr = io.dtlbResp.bits.paddr
106baf8def6SYinan Xu  val s1_exception = selectLoad(io.out.bits.uop.cf.exceptionVec, false).asUInt.orR
107bcc55f84SYinan Xu  val s1_tlb_miss = io.dtlbResp.bits.miss
108cff68e26SWilliam Wang  val s1_mmio = !s1_tlb_miss && io.dtlbResp.bits.mmio
1092e36e3b7SWilliam Wang  val s1_mask = io.in.bits.mask
1107962cc88SWilliam Wang
1112e36e3b7SWilliam Wang  io.out.bits := io.in.bits // forwardXX field will be updated in s1
112bcc55f84SYinan Xu
113bcc55f84SYinan Xu  io.dtlbResp.ready := true.B
114bcc55f84SYinan Xu
1158005392cSYinan Xu  // TOOD: PMA check
116bcc55f84SYinan Xu  io.dcachePAddr := s1_paddr
1178005392cSYinan Xu  io.dcacheKill := s1_tlb_miss || s1_exception || s1_mmio
1187962cc88SWilliam Wang
1192e36e3b7SWilliam Wang  // load forward query datapath
1202e36e3b7SWilliam Wang  io.sbuffer.valid := io.in.valid
1212e36e3b7SWilliam Wang  io.sbuffer.paddr := s1_paddr
1222e36e3b7SWilliam Wang  io.sbuffer.uop := s1_uop
1232e36e3b7SWilliam Wang  io.sbuffer.sqIdx := s1_uop.sqIdx
1242e36e3b7SWilliam Wang  io.sbuffer.mask := s1_mask
1252e36e3b7SWilliam Wang  io.sbuffer.pc := s1_uop.cf.pc // FIXME: remove it
1262e36e3b7SWilliam Wang
1270bd67ba5SYinan Xu  io.lsq.valid := io.in.valid
1280bd67ba5SYinan Xu  io.lsq.paddr := s1_paddr
1290bd67ba5SYinan Xu  io.lsq.uop := s1_uop
1300bd67ba5SYinan Xu  io.lsq.sqIdx := s1_uop.sqIdx
131*7830f711SWilliam Wang  io.lsq.sqIdxMask := DontCare // will be overwritten by sqIdxMask pre-generated in s0
1320bd67ba5SYinan Xu  io.lsq.mask := s1_mask
1330bd67ba5SYinan Xu  io.lsq.pc := s1_uop.cf.pc // FIXME: remove it
1342e36e3b7SWilliam Wang
135d21b1759SYinan Xu  io.out.valid := io.in.valid// && !s1_tlb_miss
1367962cc88SWilliam Wang  io.out.bits.paddr := s1_paddr
1378005392cSYinan Xu  io.out.bits.mmio := s1_mmio && !s1_exception
13859a40467SWilliam Wang  io.out.bits.tlbMiss := s1_tlb_miss
139bcc55f84SYinan Xu  io.out.bits.uop.cf.exceptionVec(loadPageFault) := io.dtlbResp.bits.excp.pf.ld
140cff68e26SWilliam Wang  io.out.bits.uop.cf.exceptionVec(loadAccessFault) := io.dtlbResp.bits.excp.af.ld
1417962cc88SWilliam Wang
142d0f66e88SYinan Xu  io.in.ready := !io.in.valid || io.out.ready
1437962cc88SWilliam Wang
1447962cc88SWilliam Wang}
1457962cc88SWilliam Wang
1467962cc88SWilliam Wang
1477962cc88SWilliam Wang// Load Pipeline Stage 2
1487962cc88SWilliam Wang// DCache resp
149579b9f28SLinJiaweiclass LoadUnit_S2 extends XSModule with HasLoadHelper {
1507962cc88SWilliam Wang  val io = IO(new Bundle() {
1517962cc88SWilliam Wang    val in = Flipped(Decoupled(new LsPipelineBundle))
1527962cc88SWilliam Wang    val out = Decoupled(new LsPipelineBundle)
153d21b1759SYinan Xu    val tlbFeedback = ValidIO(new TlbFeedback)
1541279060fSWilliam Wang    val dcacheResp = Flipped(DecoupledIO(new DCacheWordResp))
155b3084e27SWilliam Wang    val lsq = new LoadForwardQueryIO
156995f167cSYinan Xu    val sbuffer = new LoadForwardQueryIO
1575830ba4fSWilliam Wang    val dataForwarded = Output(Bool())
1587962cc88SWilliam Wang  })
1597962cc88SWilliam Wang
1607962cc88SWilliam Wang  val s2_uop = io.in.bits.uop
1617962cc88SWilliam Wang  val s2_mask = io.in.bits.mask
1627962cc88SWilliam Wang  val s2_paddr = io.in.bits.paddr
163d21b1759SYinan Xu  val s2_tlb_miss = io.in.bits.tlbMiss
1648005392cSYinan Xu  val s2_mmio = io.in.bits.mmio
165baf8def6SYinan Xu  val s2_exception = selectLoad(io.in.bits.uop.cf.exceptionVec, false).asUInt.orR
1661279060fSWilliam Wang  val s2_cache_miss = io.dcacheResp.bits.miss
1676e9ed841SAllen  val s2_cache_replay = io.dcacheResp.bits.replay
1687962cc88SWilliam Wang
1691279060fSWilliam Wang  io.dcacheResp.ready := true.B
1708005392cSYinan Xu  val dcacheShouldResp = !(s2_tlb_miss || s2_exception || s2_mmio)
1718005392cSYinan Xu  assert(!(io.in.valid && dcacheShouldResp && !io.dcacheResp.valid), "DCache response got lost")
1727962cc88SWilliam Wang
173d21b1759SYinan Xu  // feedback tlb result to RS
174d21b1759SYinan Xu  io.tlbFeedback.valid := io.in.valid
175c98c0043SYinan Xu  io.tlbFeedback.bits.hit := !s2_tlb_miss && (!s2_cache_replay || s2_mmio)
176d21b1759SYinan Xu  io.tlbFeedback.bits.roqIdx := s2_uop.roqIdx
177d21b1759SYinan Xu
178b3084e27SWilliam Wang  val forwardMask = io.out.bits.forwardMask
179b3084e27SWilliam Wang  val forwardData = io.out.bits.forwardData
1807962cc88SWilliam Wang  val fullForward = (~forwardMask.asUInt & s2_mask) === 0.U
181024ee227SWilliam Wang
182b3084e27SWilliam Wang  XSDebug(io.out.fire(), "[FWD LOAD RESP] pc %x fwd %x(%b) + %x(%b)\n",
183b3084e27SWilliam Wang    s2_uop.cf.pc,
184b3084e27SWilliam Wang    io.lsq.forwardData.asUInt, io.lsq.forwardMask.asUInt,
185b3084e27SWilliam Wang    io.in.bits.forwardData.asUInt, io.in.bits.forwardMask.asUInt
186b3084e27SWilliam Wang  )
187b3084e27SWilliam Wang
188024ee227SWilliam Wang  // data merge
1897962cc88SWilliam Wang  val rdata = VecInit((0 until XLEN / 8).map(j =>
1901279060fSWilliam Wang    Mux(forwardMask(j), forwardData(j), io.dcacheResp.bits.data(8*(j+1)-1, 8*j)))).asUInt
1917962cc88SWilliam Wang  val rdataSel = LookupTree(s2_paddr(2, 0), List(
192024ee227SWilliam Wang    "b000".U -> rdata(63, 0),
193024ee227SWilliam Wang    "b001".U -> rdata(63, 8),
194024ee227SWilliam Wang    "b010".U -> rdata(63, 16),
195024ee227SWilliam Wang    "b011".U -> rdata(63, 24),
196024ee227SWilliam Wang    "b100".U -> rdata(63, 32),
197024ee227SWilliam Wang    "b101".U -> rdata(63, 40),
198024ee227SWilliam Wang    "b110".U -> rdata(63, 48),
199024ee227SWilliam Wang    "b111".U -> rdata(63, 56)
200024ee227SWilliam Wang  ))
201579b9f28SLinJiawei  val rdataPartialLoad = rdataHelper(s2_uop, rdataSel)
202024ee227SWilliam Wang
2037962cc88SWilliam Wang  // TODO: ECC check
204024ee227SWilliam Wang
2058005392cSYinan Xu  io.out.valid := io.in.valid && !s2_tlb_miss && (!s2_cache_replay || s2_mmio)
2060bd67ba5SYinan Xu  // Inst will be canceled in store queue / lsq,
207dd1ffd4dSWilliam Wang  // so we do not need to care about flush in load / store unit's out.valid
2087962cc88SWilliam Wang  io.out.bits := io.in.bits
2097962cc88SWilliam Wang  io.out.bits.data := rdataPartialLoad
21026a692b9SYinan Xu  // when exception occurs, set it to not miss and let it write back to roq (via int port)
2115830ba4fSWilliam Wang  io.out.bits.miss := s2_cache_miss && !s2_exception
21226a692b9SYinan Xu  io.out.bits.uop.ctrl.fpWen := io.in.bits.uop.ctrl.fpWen && !s2_exception
2132c671545SYinan Xu  io.out.bits.mmio := s2_mmio
2147962cc88SWilliam Wang
2155830ba4fSWilliam Wang  // For timing reasons, we can not let
2165830ba4fSWilliam Wang  // io.out.bits.miss := s2_cache_miss && !s2_exception && !fullForward
2175830ba4fSWilliam Wang  // We use io.dataForwarded instead. It means forward logic have prepared all data needed,
2185830ba4fSWilliam Wang  // and dcache query is no longer needed.
2195830ba4fSWilliam Wang  // Such inst will be writebacked from load queue.
2205830ba4fSWilliam Wang  io.dataForwarded := s2_cache_miss && fullForward && !s2_exception
2215830ba4fSWilliam Wang
2227962cc88SWilliam Wang  io.in.ready := io.out.ready || !io.in.valid
2237962cc88SWilliam Wang
224b3084e27SWilliam Wang  // merge forward result
225995f167cSYinan Xu  // lsq has higher priority than sbuffer
226b3084e27SWilliam Wang  io.lsq := DontCare
227995f167cSYinan Xu  io.sbuffer := DontCare
228b3084e27SWilliam Wang  // generate XLEN/8 Muxs
229b3084e27SWilliam Wang  for (i <- 0 until XLEN / 8) {
230995f167cSYinan Xu    when (io.sbuffer.forwardMask(i)) {
231995f167cSYinan Xu      io.out.bits.forwardMask(i) := true.B
232995f167cSYinan Xu      io.out.bits.forwardData(i) := io.sbuffer.forwardData(i)
233995f167cSYinan Xu    }
234b3084e27SWilliam Wang    when (io.lsq.forwardMask(i)) {
235b3084e27SWilliam Wang      io.out.bits.forwardMask(i) := true.B
236b3084e27SWilliam Wang      io.out.bits.forwardData(i) := io.lsq.forwardData(i)
237b3084e27SWilliam Wang    }
238b3084e27SWilliam Wang  }
239b3084e27SWilliam Wang
2402e36e3b7SWilliam Wang  XSDebug(io.out.fire(), "[DCACHE LOAD RESP] pc %x rdata %x <- D$ %x + fwd %x(%b)\n",
241d5ea289eSWilliam Wang    s2_uop.cf.pc, rdataPartialLoad, io.dcacheResp.bits.data,
242b3084e27SWilliam Wang    io.out.bits.forwardData.asUInt, io.out.bits.forwardMask.asUInt
243024ee227SWilliam Wang  )
2447962cc88SWilliam Wang}
2457962cc88SWilliam Wang
24603a91a79SWilliam Wangclass LoadUnit extends XSModule with HasLoadHelper {
247024ee227SWilliam Wang  val io = IO(new Bundle() {
248024ee227SWilliam Wang    val ldin = Flipped(Decoupled(new ExuInput))
249024ee227SWilliam Wang    val ldout = Decoupled(new ExuOutput)
250c5c06e78SWilliam Wang    val fpout = Decoupled(new ExuOutput)
251024ee227SWilliam Wang    val redirect = Flipped(ValidIO(new Redirect))
252024ee227SWilliam Wang    val tlbFeedback = ValidIO(new TlbFeedback)
2531279060fSWilliam Wang    val dcache = new DCacheLoadIO
254024ee227SWilliam Wang    val dtlb = new TlbRequestIO()
255024ee227SWilliam Wang    val sbuffer = new LoadForwardQueryIO
2560bd67ba5SYinan Xu    val lsq = new LoadToLsqIO
257024ee227SWilliam Wang  })
258024ee227SWilliam Wang
2597962cc88SWilliam Wang  val load_s0 = Module(new LoadUnit_S0)
2607962cc88SWilliam Wang  val load_s1 = Module(new LoadUnit_S1)
2617962cc88SWilliam Wang  val load_s2 = Module(new LoadUnit_S2)
262024ee227SWilliam Wang
2637962cc88SWilliam Wang  load_s0.io.in <> io.ldin
2641279060fSWilliam Wang  load_s0.io.dtlbReq <> io.dtlb.req
2651279060fSWilliam Wang  load_s0.io.dcacheReq <> io.dcache.req
266024ee227SWilliam Wang
2671a51d1d9SYinan Xu  PipelineConnect(load_s0.io.out, load_s1.io.in, true.B, load_s0.io.out.bits.uop.roqIdx.needFlush(io.redirect))
268024ee227SWilliam Wang
269bcc55f84SYinan Xu  load_s1.io.dtlbResp <> io.dtlb.resp
270bcc55f84SYinan Xu  io.dcache.s1_paddr <> load_s1.io.dcachePAddr
271d21b1759SYinan Xu  io.dcache.s1_kill <> load_s1.io.dcacheKill
272d0f66e88SYinan Xu  load_s1.io.sbuffer <> io.sbuffer
273d0f66e88SYinan Xu  load_s1.io.lsq <> io.lsq.forward
274024ee227SWilliam Wang
2751a51d1d9SYinan Xu  PipelineConnect(load_s1.io.out, load_s2.io.in, true.B, load_s1.io.out.bits.uop.roqIdx.needFlush(io.redirect))
276024ee227SWilliam Wang
277d21b1759SYinan Xu  load_s2.io.tlbFeedback <> io.tlbFeedback
2781279060fSWilliam Wang  load_s2.io.dcacheResp <> io.dcache.resp
279b3084e27SWilliam Wang  load_s2.io.lsq.forwardData <> io.lsq.forward.forwardData
280b3084e27SWilliam Wang  load_s2.io.lsq.forwardMask <> io.lsq.forward.forwardMask
281995f167cSYinan Xu  load_s2.io.sbuffer.forwardData <> io.sbuffer.forwardData
282995f167cSYinan Xu  load_s2.io.sbuffer.forwardMask <> io.sbuffer.forwardMask
2835830ba4fSWilliam Wang  load_s2.io.dataForwarded <> io.lsq.loadDataForwarded
284024ee227SWilliam Wang
285*7830f711SWilliam Wang  // pre-calcuate sqIdx mask in s0, then send it to lsq in s1 for forwarding
286*7830f711SWilliam Wang  val sqIdxMaskReg = RegNext(UIntToMask(load_s0.io.in.bits.uop.sqIdx.value, StoreQueueSize))
287*7830f711SWilliam Wang  io.lsq.forward.sqIdxMask := sqIdxMaskReg
288*7830f711SWilliam Wang
2897962cc88SWilliam Wang  XSDebug(load_s0.io.out.valid,
29048ae2f92SWilliam Wang    p"S0: pc ${Hexadecimal(load_s0.io.out.bits.uop.cf.pc)}, lId ${Hexadecimal(load_s0.io.out.bits.uop.lqIdx.asUInt)}, " +
2917962cc88SWilliam Wang    p"vaddr ${Hexadecimal(load_s0.io.out.bits.vaddr)}, mask ${Hexadecimal(load_s0.io.out.bits.mask)}\n")
2927962cc88SWilliam Wang  XSDebug(load_s1.io.out.valid,
29348ae2f92SWilliam Wang    p"S1: pc ${Hexadecimal(load_s1.io.out.bits.uop.cf.pc)}, lId ${Hexadecimal(load_s1.io.out.bits.uop.lqIdx.asUInt)}, tlb_miss ${io.dtlb.resp.bits.miss}, " +
29406c91a3dSWilliam Wang    p"paddr ${Hexadecimal(load_s1.io.out.bits.paddr)}, mmio ${load_s1.io.out.bits.mmio}\n")
295024ee227SWilliam Wang
2960bd67ba5SYinan Xu  // writeback to LSQ
297024ee227SWilliam Wang  // Current dcache use MSHR
298c5c06e78SWilliam Wang  // Load queue will be updated at s2 for both hit/miss int/fp load
2990bd67ba5SYinan Xu  io.lsq.loadIn.valid := load_s2.io.out.valid
3000bd67ba5SYinan Xu  io.lsq.loadIn.bits := load_s2.io.out.bits
30126a692b9SYinan Xu
30226a692b9SYinan Xu  // write to rob and writeback bus
30326a692b9SYinan Xu  val s2_wb_valid = load_s2.io.out.valid && !load_s2.io.out.bits.miss
30403a91a79SWilliam Wang  val refillFpLoad = io.lsq.ldout.bits.uop.ctrl.fpWen
305024ee227SWilliam Wang
306c5c06e78SWilliam Wang  // Int load, if hit, will be writebacked at s2
30703a91a79SWilliam Wang  val intHitLoadOut = Wire(Valid(new ExuOutput))
30826a692b9SYinan Xu  intHitLoadOut.valid := s2_wb_valid && !load_s2.io.out.bits.uop.ctrl.fpWen
30903a91a79SWilliam Wang  intHitLoadOut.bits.uop := load_s2.io.out.bits.uop
31003a91a79SWilliam Wang  intHitLoadOut.bits.data := load_s2.io.out.bits.data
31103a91a79SWilliam Wang  intHitLoadOut.bits.redirectValid := false.B
31203a91a79SWilliam Wang  intHitLoadOut.bits.redirect := DontCare
31303a91a79SWilliam Wang  intHitLoadOut.bits.brUpdate := DontCare
31403a91a79SWilliam Wang  intHitLoadOut.bits.debug.isMMIO := load_s2.io.out.bits.mmio
3158635f18fSwangkaifan  intHitLoadOut.bits.debug.isPerfCnt := false.B
31603a91a79SWilliam Wang  intHitLoadOut.bits.fflags := DontCare
317024ee227SWilliam Wang
3187962cc88SWilliam Wang  load_s2.io.out.ready := true.B
319c5c06e78SWilliam Wang
32003a91a79SWilliam Wang  io.ldout.bits := Mux(intHitLoadOut.valid, intHitLoadOut.bits, io.lsq.ldout.bits)
32103a91a79SWilliam Wang  io.ldout.valid := intHitLoadOut.valid || io.lsq.ldout.valid && !refillFpLoad
322c5c06e78SWilliam Wang
3233aa23fecSWilliam Wang  // Fp load, if hit, will be stored to reg at s2, then it will be recoded at s3, writebacked at s4
32403a91a79SWilliam Wang  val fpHitLoadOut = Wire(Valid(new ExuOutput))
32526a692b9SYinan Xu  fpHitLoadOut.valid := s2_wb_valid && load_s2.io.out.bits.uop.ctrl.fpWen
32603a91a79SWilliam Wang  fpHitLoadOut.bits := intHitLoadOut.bits
32703a91a79SWilliam Wang
3283aa23fecSWilliam Wang  val fpLoadUnRecodedReg = Reg(Valid(new ExuOutput))
3293aa23fecSWilliam Wang  fpLoadUnRecodedReg.valid := fpHitLoadOut.valid || io.lsq.ldout.valid && refillFpLoad
3303aa23fecSWilliam Wang  when(fpHitLoadOut.valid || io.lsq.ldout.valid && refillFpLoad){
3313aa23fecSWilliam Wang    fpLoadUnRecodedReg.bits := Mux(fpHitLoadOut.valid, fpHitLoadOut.bits, io.lsq.ldout.bits)
3323aa23fecSWilliam Wang  }
33303a91a79SWilliam Wang
3343aa23fecSWilliam Wang  val fpLoadRecodedReg = Reg(Valid(new ExuOutput))
3353aa23fecSWilliam Wang  when(fpLoadUnRecodedReg.valid){
3363aa23fecSWilliam Wang    fpLoadRecodedReg := fpLoadUnRecodedReg
3373aa23fecSWilliam Wang    fpLoadRecodedReg.bits.data := fpRdataHelper(fpLoadUnRecodedReg.bits.uop, fpLoadUnRecodedReg.bits.data) // recode
3383aa23fecSWilliam Wang  }
3393aa23fecSWilliam Wang  fpLoadRecodedReg.valid := fpLoadUnRecodedReg.valid
3403aa23fecSWilliam Wang
3413aa23fecSWilliam Wang  io.fpout.bits := fpLoadRecodedReg.bits
3423aa23fecSWilliam Wang  io.fpout.valid := fpLoadRecodedReg.valid
34303a91a79SWilliam Wang
344c3d4d93eSZhangfw  io.lsq.ldout.ready := Mux(refillFpLoad, !fpHitLoadOut.valid, !intHitLoadOut.valid)
345024ee227SWilliam Wang
346024ee227SWilliam Wang  when(io.ldout.fire()){
347c5c06e78SWilliam Wang    XSDebug("ldout %x\n", io.ldout.bits.uop.cf.pc)
348c5c06e78SWilliam Wang  }
349c5c06e78SWilliam Wang
350c5c06e78SWilliam Wang  when(io.fpout.fire()){
351c5c06e78SWilliam Wang    XSDebug("fpout %x\n", io.fpout.bits.uop.cf.pc)
352024ee227SWilliam Wang  }
353024ee227SWilliam Wang}
354