xref: /XiangShan/src/main/scala/xiangshan/mem/lsqueue/LoadQueueData.scala (revision a5e60231c314c4e8c55b6d4ae737645947de5ada)
1package xiangshan.mem
2
3import chisel3._
4import chisel3.util._
5import utils._
6import xiangshan._
7import xiangshan.cache._
8import xiangshan.cache.{DCacheWordIO, DCacheLineIO, TlbRequestIO, MemoryOpConstants}
9import xiangshan.backend.LSUOpType
10import xiangshan.mem._
11import xiangshan.backend.roq.RoqPtr
12
13class LQDataEntry extends XSBundle {
14  // val vaddr = UInt(VAddrBits.W)
15  val paddr = UInt(PAddrBits.W)
16  val mask = UInt(8.W)
17  val data = UInt(XLEN.W)
18  val fwdMask = Vec(8, Bool())
19}
20
21// Data module define
22// These data modules are like SyncDataModuleTemplate, but support cam-like ops
23class PaddrModule(numEntries: Int, numRead: Int, numWrite: Int) extends XSModule with HasDCacheParameters {
24  val io = IO(new Bundle {
25    val raddr = Input(Vec(numRead, UInt(log2Up(numEntries).W)))
26    val rdata = Output(Vec(numRead, UInt((PAddrBits).W)))
27    val wen   = Input(Vec(numWrite, Bool()))
28    val waddr = Input(Vec(numWrite, UInt(log2Up(numEntries).W)))
29    val wdata = Input(Vec(numWrite, UInt((PAddrBits).W)))
30    val violationMdata = Input(Vec(2, UInt((PAddrBits).W)))
31    val violationMmask = Output(Vec(2, Vec(numEntries, Bool())))
32    val refillMdata = Input(UInt((PAddrBits).W))
33    val refillMmask = Output(Vec(numEntries, Bool()))
34  })
35
36  val data = Reg(Vec(numEntries, UInt((PAddrBits).W)))
37
38  // read ports
39  for (i <- 0 until numRead) {
40    io.rdata(i) := data(RegNext(io.raddr(i)))
41  }
42
43  // below is the write ports (with priorities)
44  for (i <- 0 until numWrite) {
45    when (io.wen(i)) {
46      data(io.waddr(i)) := io.wdata(i)
47    }
48  }
49
50  // content addressed match
51  for (i <- 0 until 2) {
52    for (j <- 0 until numEntries) {
53      io.violationMmask(i)(j) := io.violationMdata(i)(PAddrBits-1, 3) === data(j)(PAddrBits-1, 3)
54    }
55  }
56
57  for (j <- 0 until numEntries) {
58    io.refillMmask(j) := get_block_addr(io.refillMdata) === get_block_addr(data(j))
59  }
60
61  // DataModuleTemplate should not be used when there're any write conflicts
62  for (i <- 0 until numWrite) {
63    for (j <- i+1 until numWrite) {
64      assert(!(io.wen(i) && io.wen(j) && io.waddr(i) === io.waddr(j)))
65    }
66  }
67}
68
69class MaskModule(numEntries: Int, numRead: Int, numWrite: Int) extends XSModule {
70  val io = IO(new Bundle {
71    val raddr = Input(Vec(numRead, UInt(log2Up(numEntries).W)))
72    val rdata = Output(Vec(numRead, UInt(8.W)))
73    val wen   = Input(Vec(numWrite, Bool()))
74    val waddr = Input(Vec(numWrite, UInt(log2Up(numEntries).W)))
75    val wdata = Input(Vec(numWrite, UInt(8.W)))
76    val violationMdata = Input(Vec(2, UInt((PAddrBits).W)))
77    val violationMmask = Output(Vec(2, Vec(numEntries, Bool())))
78  })
79
80  val data = Reg(Vec(numEntries, UInt(8.W)))
81
82  // read ports
83  for (i <- 0 until numRead) {
84    io.rdata(i) := data(RegNext(io.raddr(i)))
85  }
86
87  // below is the write ports (with priorities)
88  for (i <- 0 until numWrite) {
89    when (io.wen(i)) {
90      data(io.waddr(i)) := io.wdata(i)
91    }
92  }
93
94  // content addressed match
95  for (i <- 0 until 2) {
96    for (j <- 0 until numEntries) {
97      io.violationMmask(i)(j) := (io.violationMdata(i) & data(j)).orR
98    }
99  }
100
101  // DataModuleTemplate should not be used when there're any write conflicts
102  for (i <- 0 until numWrite) {
103    for (j <- i+1 until numWrite) {
104      assert(!(io.wen(i) && io.wen(j) && io.waddr(i) === io.waddr(j)))
105    }
106  }
107}
108
109class Data8Module(numEntries: Int, numRead: Int, numWrite: Int) extends XSModule with HasDCacheParameters {
110  val io = IO(new Bundle {
111    // read
112    val raddr = Input(Vec(numRead, UInt(log2Up(numEntries).W)))
113    val rdata = Output(Vec(numRead, UInt(8.W)))
114    // address indexed write
115    val wen   = Input(Vec(numWrite, Bool()))
116    val waddr = Input(Vec(numWrite, UInt(log2Up(numEntries).W)))
117    val wdata = Input(Vec(numWrite, UInt(8.W)))
118    // masked write
119    val mwmask = Input(Vec(blockWords, Vec(numEntries, Bool())))
120    val mwdata = Input(Vec(blockWords, UInt(8.W)))
121  })
122
123  val data = Reg(Vec(numEntries, UInt(8.W)))
124
125  // read ports
126  for (i <- 0 until numRead) {
127    io.rdata(i) := data(RegNext(io.raddr(i)))
128  }
129
130  // below is the write ports (with priorities)
131  for (i <- 0 until numWrite) {
132    when (io.wen(i)) {
133      data(io.waddr(i)) := io.wdata(i)
134    }
135  }
136
137  // masked write
138  for (i <- 0 until blockWords) {
139    for (j <- 0 until numEntries) {
140      when (io.mwmask(i)(j)) {
141        data(j) := io.mwdata(i)
142      }
143    }
144  }
145
146  // DataModuleTemplate should not be used when there're any write conflicts
147  for (i <- 0 until numWrite) {
148    for (j <- i+1 until numWrite) {
149      assert(!(io.wen(i) && io.wen(j) && io.waddr(i) === io.waddr(j)))
150    }
151  }
152}
153
154class CoredataModule(numEntries: Int, numRead: Int, numWrite: Int) extends XSModule with HasDCacheParameters {
155  val io = IO(new Bundle {
156    // data io
157    // read
158    val raddr = Input(Vec(numRead, UInt(log2Up(numEntries).W)))
159    val rdata = Output(Vec(numRead, UInt(XLEN.W)))
160    // address indexed write
161    val wen   = Input(Vec(numWrite, Bool()))
162    val waddr = Input(Vec(numWrite, UInt(log2Up(numEntries).W)))
163    val wdata = Input(Vec(numWrite, UInt(XLEN.W)))
164    // masked write
165    val mwmask = Input(Vec(numEntries, Bool()))
166    val refillData = Input(UInt((cfg.blockBytes * 8).W))
167
168    // fwdMask io
169    val fwdMaskWdata = Input(Vec(numWrite, UInt(8.W)))
170    val fwdMaskWen = Input(Vec(numWrite, Bool()))
171    // fwdMaskWaddr = waddr
172
173    // paddr io
174    // 3 bits in paddr need to be stored in CoredataModule for refilling
175    val paddrWdata = Input(Vec(numWrite, UInt((PAddrBits).W)))
176    val paddrWen = Input(Vec(numWrite, Bool()))
177  })
178
179  val data8 = Seq.fill(8)(Module(new Data8Module(numEntries, numRead, numWrite)))
180  val fwdMask = Reg(Vec(numEntries, UInt(8.W)))
181  val wordIndex = Reg(Vec(numEntries, UInt((blockOffBits - wordOffBits).W)))
182
183  // read ports
184  for (i <- 0 until numRead) {
185    for (j <- 0 until 8) {
186      data8(j).io.raddr(i) := io.raddr(i)
187    }
188    io.rdata(i) := VecInit((0 until 8).map(j => data8(j).io.rdata(i))).asUInt
189  }
190
191  // below is the write ports (with priorities)
192  for (i <- 0 until numWrite) {
193    // write to data8
194    for (j <- 0 until 8) {
195      data8(j).io.waddr(i) := io.waddr(i)
196      data8(j).io.wdata(i) := io.wdata(i)(8*(j+1)-1, 8*j)
197      data8(j).io.wen(i) := io.wen(i)
198    }
199
200    // write ctrl info
201    when (io.fwdMaskWen(i)) {
202      fwdMask(io.waddr(i)) := io.fwdMaskWdata(i)
203    }
204    when (io.paddrWen(i)) {
205      wordIndex(io.waddr(i)) := get_word(io.paddrWdata(i))
206    }
207  }
208
209  // write refilled data to data8
210
211  // select refill data
212  // split dcache result into words
213  val words = VecInit((0 until blockWords) map { i => io.refillData(DataBits * (i + 1) - 1, DataBits * i)})
214  // select refill data according to wordIndex (paddr)
215  for (i <- 0 until 8) {
216    for (j <- 0 until blockWords) {
217      data8(i).io.mwdata(j) := words(j)(8*(i+1)-1, 8*i)
218    }
219  }
220
221  // gen refill wmask
222  for (j <- 0 until blockWords) {
223    for (k <- 0 until numEntries) {
224      val wordMatch = wordIndex(k) === j.U
225      for (i <- 0 until 8) {
226        data8(i).io.mwmask(j)(k) := wordMatch && io.mwmask(k) && !fwdMask(k)(i)
227      }
228    }
229  }
230
231  // DataModuleTemplate should not be used when there're any write conflicts
232  for (i <- 0 until numWrite) {
233    for (j <- i+1 until numWrite) {
234      assert(!(io.wen(i) && io.wen(j) && io.waddr(i) === io.waddr(j)))
235    }
236  }
237}
238
239class LoadQueueData(size: Int, wbNumRead: Int, wbNumWrite: Int) extends XSModule with HasDCacheParameters with HasCircularQueuePtrHelper {
240  val io = IO(new Bundle() {
241    val wb = new Bundle() {
242      val wen = Vec(wbNumWrite, Input(Bool()))
243      val waddr = Input(Vec(wbNumWrite, UInt(log2Up(size).W)))
244      val wdata = Input(Vec(wbNumWrite, new LQDataEntry))
245      val raddr = Input(Vec(wbNumRead, UInt(log2Up(size).W)))
246      val rdata = Output(Vec(wbNumRead, new LQDataEntry))
247    }
248    val uncache = new Bundle() {
249      val wen = Input(Bool())
250      val waddr = Input(UInt(log2Up(size).W))
251      val wdata = Input(UInt(XLEN.W)) // only write back uncache data
252      val raddr = Input(UInt(log2Up(size).W))
253      val rdata = Output(new LQDataEntry)
254    }
255    val refill = new Bundle() {
256      val valid = Input(Bool())
257      val paddr = Input(UInt(PAddrBits.W))
258      val data = Input(UInt((cfg.blockBytes * 8).W))
259      val refillMask = Input(Vec(size, Bool()))
260      val matchMask = Output(Vec(size, Bool()))
261    }
262    val violation = Vec(StorePipelineWidth, new Bundle() {
263      val paddr = Input(UInt(PAddrBits.W))
264      val mask = Input(UInt(8.W))
265      val violationMask = Output(Vec(size, Bool()))
266    })
267    val debug = Output(Vec(size, new LQDataEntry))
268
269    def wbWrite(channel: Int, waddr: UInt, wdata: LQDataEntry): Unit = {
270      require(channel < wbNumWrite && wbNumWrite >= 0)
271      // need extra "this.wb(channel).wen := true.B"
272      this.wb.waddr(channel) := waddr
273      this.wb.wdata(channel) := wdata
274    }
275
276    def uncacheWrite(waddr: UInt, wdata: UInt): Unit = {
277      // need extra "this.uncache.wen := true.B"
278      this.uncache.waddr := waddr
279      this.uncache.wdata := wdata
280    }
281
282    // def refillWrite(ldIdx: Int): Unit = {
283    // }
284    // use "this.refill.wen(ldIdx) := true.B" instead
285  })
286
287  // val data = Reg(Vec(size, new LQDataEntry))
288  // data module
289  val paddrModule = Module(new PaddrModule(size, numRead = 3, numWrite = 2))
290  val maskModule = Module(new MaskModule(size, numRead = 3, numWrite = 2))
291  val coredataModule = Module(new CoredataModule(size, numRead = 3, numWrite = 3))
292
293  // read data
294  // read port 0 -> wbNumRead-1
295  (0 until wbNumRead).map(i => {
296    paddrModule.io.raddr(i) := io.wb.raddr(i)
297    maskModule.io.raddr(i) := io.wb.raddr(i)
298    coredataModule.io.raddr(i) := io.wb.raddr(i)
299
300    io.wb.rdata(i).paddr := paddrModule.io.rdata(i)
301    io.wb.rdata(i).mask := maskModule.io.rdata(i)
302    io.wb.rdata(i).data := coredataModule.io.rdata(i)
303    io.wb.rdata(i).fwdMask := DontCare
304  })
305
306  // read port wbNumRead
307  paddrModule.io.raddr(wbNumRead) := io.uncache.raddr
308  maskModule.io.raddr(wbNumRead) := io.uncache.raddr
309  coredataModule.io.raddr(wbNumRead) := io.uncache.raddr
310
311  io.uncache.rdata.paddr := paddrModule.io.rdata(wbNumRead)
312  io.uncache.rdata.mask := maskModule.io.rdata(wbNumRead)
313  io.uncache.rdata.data := coredataModule.io.rdata(wbNumRead)
314  io.uncache.rdata.fwdMask := DontCare
315
316  // write data
317  // write port 0 -> wbNumWrite-1
318  (0 until wbNumWrite).map(i => {
319    paddrModule.io.wen(i) := false.B
320    maskModule.io.wen(i) := false.B
321    coredataModule.io.wen(i) := false.B
322    coredataModule.io.fwdMaskWen(i) := false.B
323    coredataModule.io.paddrWen(i) := false.B
324
325    paddrModule.io.waddr(i) := io.wb.waddr(i)
326    maskModule.io.waddr(i) := io.wb.waddr(i)
327    coredataModule.io.waddr(i) := io.wb.waddr(i)
328
329    paddrModule.io.wdata(i) := io.wb.wdata(i).paddr
330    maskModule.io.wdata(i) := io.wb.wdata(i).mask
331    coredataModule.io.wdata(i) := io.wb.wdata(i).data
332    coredataModule.io.fwdMaskWdata(i) := io.wb.wdata(i).fwdMask.asUInt
333    coredataModule.io.paddrWdata(i) := io.wb.wdata(i).paddr
334
335    when(io.wb.wen(i)){
336      paddrModule.io.wen(i) := true.B
337      maskModule.io.wen(i) := true.B
338      coredataModule.io.wen(i) := true.B
339      coredataModule.io.fwdMaskWen(i) := true.B
340      coredataModule.io.paddrWen(i) := true.B
341    }
342  })
343
344  // write port wbNumWrite
345  // exceptionModule.io.wen(wbNumWrite) := false.B
346  coredataModule.io.wen(wbNumWrite) := io.uncache.wen
347  coredataModule.io.fwdMaskWen(wbNumWrite) := false.B
348  coredataModule.io.paddrWen(wbNumWrite) := false.B
349
350  coredataModule.io.waddr(wbNumWrite) := io.uncache.waddr
351
352  coredataModule.io.fwdMaskWdata(wbNumWrite) := DontCare
353  coredataModule.io.paddrWdata(wbNumWrite) := DontCare
354  coredataModule.io.wdata(wbNumWrite) := io.uncache.wdata
355
356  // mem access violation check, gen violationMask
357  (0 until StorePipelineWidth).map(i => {
358    paddrModule.io.violationMdata(i) := io.violation(i).paddr
359    maskModule.io.violationMdata(i) := io.violation(i).mask
360    io.violation(i).violationMask := (paddrModule.io.violationMmask(i).asUInt & maskModule.io.violationMmask(i).asUInt).asBools
361    // VecInit((0 until size).map(j => {
362      // val addrMatch = io.violation(i).paddr(PAddrBits - 1, 3) === data(j).paddr(PAddrBits - 1, 3)
363      // val violationVec = (0 until 8).map(k => data(j).mask(k) && io.violation(i).mask(k))
364      // Cat(violationVec).orR() && addrMatch
365    // }))
366  })
367
368  // refill missed load
369  def mergeRefillData(refill: UInt, fwd: UInt, fwdMask: UInt): UInt = {
370    val res = Wire(Vec(8, UInt(8.W)))
371    (0 until 8).foreach(i => {
372      res(i) := Mux(fwdMask(i), fwd(8 * (i + 1) - 1, 8 * i), refill(8 * (i + 1) - 1, 8 * i))
373    })
374    res.asUInt
375  }
376
377  // gen paddr match mask
378  paddrModule.io.refillMdata := io.refill.paddr
379  (0 until size).map(i => {
380    io.refill.matchMask := paddrModule.io.refillMmask
381    // io.refill.matchMask(i) := get_block_addr(data(i).paddr) === get_block_addr(io.refill.paddr)
382  })
383
384  // refill data according to matchMask, refillMask and refill.valid
385  coredataModule.io.refillData := io.refill.data
386  (0 until size).map(i => {
387    coredataModule.io.mwmask(i) := io.refill.valid && io.refill.matchMask(i) && io.refill.refillMask(i)
388  })
389
390  // debug data read
391  io.debug := DontCare
392}
393