riscv/rocket-chip
1
0
Fork 0
Code Releases Activity

Allow speculative I$ refill to cacheable regions

Browse Source 
Backpedaling on 27b143013f.  Shaving
four cycles off of I$ miss penalty is obviously worth the HW cost.
This commit is contained in:
Andrew Waterman 2017-06-07 18:15:33 -07:00
parent c9cfe46604
commit d5f80df0ae
1 changed files with 5 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/main/scala/rocket/Frontend.scala
View File

@ -82,11 +82,9 @@ class FrontendModule(outer: Frontend) extends LazyModuleImp(outer)
val s2_pc = Reg(init=io.resetVector) val s2_pc = Reg(init=io.resetVector)
val s2_btb_resp_valid = Reg(init=Bool(false)) val s2_btb_resp_valid = Reg(init=Bool(false))
val s2_btb_resp_bits = Reg(new BTBResp) val s2_btb_resp_bits = Reg(new BTBResp)
val s2_maybe_pf = Reg(Bool()) val s2_tlb_resp = Reg(tlb.io.resp)
val s2_maybe_ae = Reg(Bool()) val s2_pf = s2_tlb_resp.pf.inst && !s2_tlb_resp.miss
val s2_tlb_miss = Reg(Bool()) val s2_ae = s2_tlb_resp.ae.inst && !s2_tlb_resp.miss
val s2_pf = s2_maybe_pf && !s2_tlb_miss
val s2_ae = s2_maybe_ae && !s2_tlb_miss
val s2_xcpt = s2_pf || s2_ae val s2_xcpt = s2_pf || s2_ae
val s2_speculative = Reg(init=Bool(false)) val s2_speculative = Reg(init=Bool(false))
@ -113,9 +111,7 @@ class FrontendModule(outer: Frontend) extends LazyModuleImp(outer)
s2_valid := true s2_valid := true
s2_pc := s1_pc s2_pc := s1_pc
s2_speculative := s1_speculative s2_speculative := s1_speculative
s2_maybe_pf := tlb.io.resp.pf.inst s2_tlb_resp := tlb.io.resp
s2_maybe_ae := tlb.io.resp.ae.inst
s2_tlb_miss := tlb.io.resp.miss
} }
if (usingBTB) { if (usingBTB) {
@ -160,7 +156,7 @@ class FrontendModule(outer: Frontend) extends LazyModuleImp(outer)
icache.io.s1_paddr := tlb.io.resp.paddr icache.io.s1_paddr := tlb.io.resp.paddr
icache.io.s2_vaddr := s2_pc icache.io.s2_vaddr := s2_pc
icache.io.s1_kill := io.cpu.req.valid || tlb.io.resp.miss || s2_replay icache.io.s1_kill := io.cpu.req.valid || tlb.io.resp.miss || s2_replay
icache.io.s2_kill := s2_valid && (s2_speculative || s2_xcpt) icache.io.s2_kill := s2_valid && (s2_speculative && !s2_tlb_resp.cacheable || s2_xcpt)
fq.io.enq.valid := s2_valid && (icache.io.resp.valid || icache.io.s2_kill) fq.io.enq.valid := s2_valid && (icache.io.resp.valid || icache.io.s2_kill)
fq.io.enq.bits.pc := s2_pc fq.io.enq.bits.pc := s2_pc