xref: /XiangShan/src/main/scala/xiangshan/backend/issue/IssueQueue.scala (revision 4f0e139e979fa03db6441acb3b653c427b97c43c)
1package xiangshan.backend.issue
2
3import chisel3._
4import chisel3.util._
5import xiangshan._
6import xiangshan.utils._
7
8trait IQConst{
9  val iqSize = 8
10  val iqIdxWidth = log2Up(iqSize)
11  val layer1Size = iqSize
12  val layer2Size = iqSize/2
13  val layer3Size = iqSize/4
14}
15
16sealed abstract class IQBundle extends XSBundle with IQConst
17sealed abstract class IQModule extends XSModule with IQConst with NeedImpl
18
19sealed class CmpInputBundle extends IQBundle{
20  val instRdy = Input(Bool())
21  val roqIdx  = Input(UInt(RoqIdxWidth.W))
22  val iqIdx   = Input(UInt(iqIdxWidth.W))
23}
24
25
26sealed class CompareCircuitUnit(layer: Int = 0, id: Int = 0) extends IQModule {
27  val io = IO(new Bundle(){
28    val in1 = new CmpInputBundle
29    val in2 = new CmpInputBundle
30    val out = Flipped(new CmpInputBundle)
31  })
32
33  val roqIdx1 = io.in1.roqIdx
34  val roqIdx2 = io.in2.roqIdx
35  val iqIdx1  = io.in1.iqIdx
36  val iqIdx2  = io.in2.iqIdx
37
38  val inst1Rdy = io.in1.instRdy
39  val inst2Rdy = io.in2.instRdy
40
41  val readySignal = Cat(inst1Rdy,inst2Rdy)
42
43  switch (readySignal) {
44    is ("b00".U) {
45      io.out.instRdy := false.B
46      io.out.roqIdx := DontCare
47      io.out.iqIdx := DontCare
48    }
49    is ("b01".U) {
50      io.out.instRdy := inst2Rdy
51      io.out.roqIdx := roqIdx2
52      io.out.iqIdx := iqIdx2
53     }
54    is ("b10".U) {
55      io.out.instRdy := inst1Rdy
56      io.out.roqIdx := roqIdx1
57      io.out.iqIdx := iqIdx1
58    }
59    is ("b11".U) {
60      when(roqIdx1 < roqIdx2) {
61        io.out.instRdy := inst1Rdy
62        io.out.roqIdx := roqIdx1
63        io.out.iqIdx := iqIdx1
64      } .otherwise {
65        io.out.instRdy := inst2Rdy
66        io.out.roqIdx := roqIdx2
67        io.out.iqIdx := iqIdx2
68      }
69    }
70  }
71
72}
73
74class IssueQueue(val fuTypeInt: BigInt, val wakeupCnt: Int, val bypassCnt: Int) extends IQModule {
75
76  val useBypass = bypassCnt > 0
77
78  val io = IO(new Bundle() {
79    // flush Issue Queue
80    val redirect = Flipped(ValidIO(new Redirect))
81
82    // enq Ctrl sigs at dispatch-2
83    val enqCtrl = Flipped(DecoupledIO(new MicroOp))
84    // enq Data at next cycle (regfile has 1 cycle latency)
85    val enqData = Flipped(ValidIO(new ExuInput))
86
87    //  broadcast selected uop to other issue queues which has bypasses
88    val selectedUop = if(useBypass) DecoupledIO(new MicroOp) else null
89
90    // send to exu
91    val deq = DecoupledIO(new ExuInput)
92
93    // listen to write back bus
94    val wakeUpPorts = Vec(wakeupCnt, Flipped(DecoupledIO(new ExuOutput)))
95
96    // use bypass uops to speculative wake-up
97    val bypassUops = if(useBypass) Vec(bypassCnt, Flipped(DecoupledIO(new MicroOp))) else null
98  })
99  //---------------------------------------------------------
100  // Issue Queue
101  //---------------------------------------------------------
102
103  //Tag Queue
104  val ctrlFlow = Mem(iqSize,new CtrlFlow)
105  val ctrlSig = Mem(iqSize,new CtrlSignals)
106  val brMask  = RegInit(VecInit(Seq.fill(iqSize)(0.U(BrqSize.W))))
107  val valid   = RegInit(VecInit(Seq.fill(iqSize)(false.B)))
108  val src1Rdy = RegInit(VecInit(Seq.fill(iqSize)(false.B)))
109  val src2Rdy = RegInit(VecInit(Seq.fill(iqSize)(false.B)))
110  val src3Rdy = RegInit(VecInit(Seq.fill(iqSize)(false.B)))
111  val prfSrc1 = Reg(Vec(iqSize, UInt(PhyRegIdxWidth.W)))
112  val prfSrc2 = Reg(Vec(iqSize, UInt(PhyRegIdxWidth.W)))
113  val prfSrc3 = Reg(Vec(iqSize, UInt(PhyRegIdxWidth.W)))
114  val prfDest = Reg(Vec(iqSize, UInt(PhyRegIdxWidth.W)))
115  val oldPDest = Reg(Vec(iqSize, UInt(PhyRegIdxWidth.W)))
116  val freelistAllocPrt = Reg(Vec(iqSize, UInt(PhyRegIdxWidth.W)))
117  val roqIdx  = Reg(Vec(iqSize, UInt(RoqIdxWidth.W)))
118
119  val instRdy = WireInit(VecInit(List.tabulate(iqSize)(i => src1Rdy(i) && src2Rdy(i) && valid(i))))
120
121
122  //tag enqueue
123  val iqEmty = !valid.asUInt.orR
124  val iqFull =  valid.asUInt.andR
125  val iqAllowIn = !iqFull
126  io.enqCtrl.ready := iqAllowIn
127
128  //enqueue pointer
129  val emptySlot = ~valid.asUInt
130  val enqueueSelect = PriorityEncoder(emptySlot)
131
132  when(io.enqCtrl.fire()){
133    ctrlFlow(enqueueSelect) := io.enqCtrl.bits.cf
134    ctrlSig(enqueueSelect) := io.enqCtrl.bits.ctrl
135    brMask(enqueueSelect) := io.enqCtrl.bits.brMask
136    valid(enqueueSelect) := true.B
137    src1Rdy(enqueueSelect) := io.enqCtrl.bits.src1State === SrcState.rdy
138    src2Rdy(enqueueSelect) := io.enqCtrl.bits.src2State === SrcState.rdy
139    src3Rdy(enqueueSelect) := io.enqCtrl.bits.src3State === SrcState.rdy
140    prfSrc1(enqueueSelect) := io.enqCtrl.bits.psrc1
141    prfSrc2(enqueueSelect) := io.enqCtrl.bits.psrc2
142    prfSrc3(enqueueSelect) := io.enqCtrl.bits.psrc3
143    prfDest(enqueueSelect) := io.enqCtrl.bits.pdest
144    oldPDest(enqueueSelect) := io.enqCtrl.bits.old_pdest
145    freelistAllocPrt(enqueueSelect) := io.enqCtrl.bits.freelistAllocPtr
146    roqIdx(enqueueSelect) := io.enqCtrl.bits.roqIdx
147
148  }
149
150  //Data Queue
151  val src1Data = Reg(Vec(iqSize, UInt(XLEN.W)))
152  val src2Data = Reg(Vec(iqSize, UInt(XLEN.W)))
153  val src3Data = Reg(Vec(iqSize, UInt(XLEN.W)))
154
155  val enqSelNext = RegNext(enqueueSelect)
156  val enqFireNext = RegNext(io.enqCtrl.fire())
157
158  // Read RegFile
159  when (enqFireNext) {
160    src1Data(enqSelNext) := io.enqData.bits.src1
161    src2Data(enqSelNext) := io.enqData.bits.src2
162    src3Data(enqSelNext) := io.enqData.bits.src3
163  }
164
165  // From Common Data Bus(wakeUpPort)
166  // chisel claims that firrtl will optimize Mux1H to and/or tree
167  // TODO: ignore ALU'cdb srcRdy, for byPass has done it
168  val cdbValid = List.tabulate(wakeupCnt)(i => io.wakeUpPorts(i).valid)
169  val cdbData = List.tabulate(wakeupCnt)(i => io.wakeUpPorts(i).bits.data)
170  val cdbPdest = List.tabulate(wakeupCnt)(i => io.wakeUpPorts(i).bits.uop.pdest)
171  val src1HitVec = List.tabulate(iqSize)(i => List.tabulate(wakeupCnt)(j => (prfSrc1(i) === cdbPdest(j)) && cdbValid(j)))
172  val src2HitVec = List.tabulate(iqSize)(i => List.tabulate(wakeupCnt)(j => (prfSrc2(i) === cdbPdest(j)) && cdbValid(j)))
173  val src3HitVec = List.tabulate(iqSize)(i => List.tabulate(wakeupCnt)(j => (prfSrc3(i) === cdbPdest(j)) && cdbValid(j)))
174  val src1Hit = List.tabulate(iqSize)(i => ParallelOR(src1HitVec(i)).asBool())
175  val src2Hit = List.tabulate(iqSize)(i => ParallelOR(src2HitVec(i)).asBool())
176  val src3Hit = List.tabulate(iqSize)(i => ParallelOR(src3HitVec(i)).asBool())
177  List.tabulate(iqSize)(i => when (valid(i)) {
178    when(!src1Rdy(i) && src1Hit(i)) {
179      src1Rdy(i) := true.B
180      src1Data(i) := ParallelMux(src1HitVec(i) zip cdbData)
181    }
182    when(!src2Rdy(i) && src2Hit(i)) {
183      src2Rdy(i) := true.B
184      src2Data(i) := ParallelMux(src2HitVec(i) zip cdbData)
185    }
186    when(!src3Rdy(i) && src3Hit(i)) {
187      src3Rdy(i) := true.B
188      src3Data(i) := ParallelMux(src3HitVec(i) zip cdbData)
189    }
190  })
191
192  // From byPass [speculative] (just for ALU to listen to other ALU's res, include itself)
193  // just need Tag(Ctrl). send out Tag when Tag is decided. other ALUIQ listen to them and decide Tag
194  // byPassUops is one cycle before byPassDatas
195  if (bypassCnt > 0) {
196    val bypassPdest = List.tabulate(bypassCnt)(i => io.bypassUops(i).bits.pdest)
197    val bypassValid = List.tabulate(bypassCnt)(i => io.bypassUops(i).valid) // may only need valid not fire()
198    val src1bpHitVec = List.tabulate(iqSize)(i => List.tabulate(bypassCnt)(j => (prfSrc1(i) === bypassPdest(j)) && bypassValid(j)))
199    val src2bpHitVec = List.tabulate(iqSize)(i => List.tabulate(bypassCnt)(j => (prfSrc2(i) === bypassPdest(j)) && bypassValid(j)))
200    val src3bpHitVec = List.tabulate(iqSize)(i => List.tabulate(bypassCnt)(j => (prfSrc3(i) === bypassPdest(j)) && bypassValid(j)))
201    val src1bpHit = List.tabulate(iqSize)(i => ParallelOR(src1bpHitVec(i)).asBool())
202    val src2bpHit = List.tabulate(iqSize)(i => ParallelOR(src2bpHitVec(i)).asBool())
203    val src3bpHit = List.tabulate(iqSize)(i => ParallelOR(src3bpHitVec(i)).asBool())
204    List.tabulate(iqSize)(i  => when (valid(i)) {
205      when(!src1Rdy(i) && src1bpHit(i)) { src1Rdy(i) := true.B}
206      when(!src2Rdy(i) && src2bpHit(i)) { src2Rdy(i) := true.B}
207      when(!src3Rdy(i) && src3bpHit(i)) { src3Rdy(i) := true.B}
208    })
209  }
210  //---------------------------------------------------------
211  // Select Circuit
212  //---------------------------------------------------------
213  //layer 1
214  val layer1CCUs = (0 until layer1Size by 2) map { i =>
215    val CCU_1 = Module(new CompareCircuitUnit(layer = 1, id = i/2))
216    CCU_1.io.in1.instRdy := instRdy(i)
217    CCU_1.io.in1.roqIdx  := roqIdx(i)
218    CCU_1.io.in1.iqIdx   := i.U
219
220    CCU_1.io.in2.instRdy := instRdy(i+1)
221    CCU_1.io.in2.roqIdx  := roqIdx(i+1)
222    CCU_1.io.in2.iqIdx   := (i+1).U
223
224    CCU_1
225  }
226
227  //layer 2
228  val layer2CCUs = (0 until layer2Size by 2) map { i =>
229    val CCU_2 = Module(new CompareCircuitUnit(layer = 2, id = i/2))
230    CCU_2.io.in1.instRdy := layer1CCUs(i).io.out.instRdy
231    CCU_2.io.in1.roqIdx  := layer1CCUs(i).io.out.roqIdx
232    CCU_2.io.in1.iqIdx   := layer1CCUs(i).io.out.iqIdx
233
234    CCU_2.io.in2.instRdy := layer1CCUs(i+1).io.out.instRdy
235    CCU_2.io.in2.roqIdx  := layer1CCUs(i+1).io.out.roqIdx
236    CCU_2.io.in2.iqIdx   := layer1CCUs(i+1).io.out.iqIdx
237
238    CCU_2
239  }
240
241  //layer 3
242  val CCU_3 = Module(new CompareCircuitUnit(layer = 3, id = 0))
243  CCU_3.io.in1.instRdy := layer2CCUs(0).io.out.instRdy
244  CCU_3.io.in1.roqIdx  := layer2CCUs(0).io.out.roqIdx
245  CCU_3.io.in1.iqIdx   := layer2CCUs(0).io.out.iqIdx
246
247  CCU_3.io.in2.instRdy := layer2CCUs(1).io.out.instRdy
248  CCU_3.io.in2.roqIdx  := layer2CCUs(1).io.out.roqIdx
249  CCU_3.io.in2.iqIdx   := layer2CCUs(1).io.out.iqIdx
250
251
252}
253