xref: /XiangShan/src/main/scala/xiangshan/mem/vector/VecBundle.scala (revision c035529718e1497576294297592784096deeb73e)
1/***************************************************************************************
2  * Copyright (c) 2020-2021 Institute of Computing Technology, Chinese Academy of Sciences
3  * Copyright (c) 2020-2021 Peng Cheng Laboratory
4  *
5  * XiangShan is licensed under Mulan PSL v2.
6  * You can use this software according to the terms and conditions of the Mulan PSL v2.
7  * You may obtain a copy of Mulan PSL v2 at:
8  *          http://license.coscl.org.cn/MulanPSL2
9  *
10  * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
11  * EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
12  * MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
13  *
14  * See the Mulan PSL v2 for more details.
15  ***************************************************************************************/
16
17package xiangshan.mem
18
19import org.chipsalliance.cde.config.Parameters
20import chisel3._
21import chisel3.util._
22import utils._
23import utility._
24import xiangshan._
25import xiangshan.backend.Bundles._
26import xiangshan.backend.rob.RobPtr
27import xiangshan.backend.fu.PMPRespBundle
28import xiangshan.backend.fu.vector.Bundles.VEew
29import xiangshan.cache.mmu.{TlbCmd, TlbRequestIO}
30import xiangshan.cache._
31
32class VLSBundle(isVStore: Boolean=false)(implicit p: Parameters) extends VLSUBundle {
33  val flowMask            = UInt(VLENB.W) // each bit for a flow
34  val byteMask            = UInt(VLENB.W) // each bit for a byte
35  val data                = UInt(VLEN.W)
36  // val fof            = Bool() // fof is only used for vector loads
37  val excp_eew_index      = UInt(elemIdxBits.W)
38  // val exceptionVec   = ExceptionVec() // uop has exceptionVec
39  val baseAddr            = UInt(XLEN.W)
40  val stride              = UInt(VLEN.W)
41  // val flow_counter = UInt(flowIdxBits.W)
42
43  // instruction decode result
44  val flowNum             = UInt(flowIdxBits.W) // # of flows in a uop
45  // val flowNumLog2 = UInt(log2Up(flowIdxBits).W) // log2(flowNum), for better timing of multiplication
46  val nfields             = UInt(fieldBits.W) // NFIELDS
47  val vm                  = Bool() // whether vector masking is enabled
48  val usWholeReg          = Bool() // unit-stride, whole register load
49  val usMaskReg           = Bool() // unit-stride, masked store/load
50  val eew                 = VEew() // size of memory elements
51  val sew                 = UInt(ewBits.W)
52  val emul                = UInt(mulBits.W)
53  val lmul                = UInt(mulBits.W)
54  val vlmax               = UInt(elemIdxBits.W)
55  val instType            = UInt(3.W)
56  val vd_last_uop         = Bool()
57  val vd_first_uop        = Bool()
58
59  val indexedSrcMask     = UInt(VLENB.W)
60  val indexedSplitOffset  = UInt(flowIdxBits.W)
61  // Inst's uop
62  val uop                 = new DynInst
63
64  val fof                 = Bool()
65  val vdIdxInField        = UInt(log2Up(maxMUL).W)
66  val uopOffset           = UInt(VLEN.W)
67  val preIsSplit          = Bool() // if uop need split, only not Unit-Stride or not 128bit-aligned unit stride need split
68  val mBIndex             = if(isVStore) UInt(vsmBindexBits.W) else UInt(vlmBindexBits.W)
69
70  val alignedType         = UInt(alignTypeBits.W)
71  val indexVlMaxInVd      = UInt(elemIdxBits.W)
72
73  val usLowBitsAddr       = UInt((log2Up(maxMemByteNum)).W)
74  val usAligned128        = Bool()
75  val usMask              = UInt((VLENB*2).W) // for unit-stride split
76}
77
78object VSFQFeedbackType {
79  val tlbMiss = 0.U(3.W)
80  val mshrFull = 1.U(3.W)
81  val dataInvalid = 2.U(3.W)
82  val bankConflict = 3.U(3.W)
83  val ldVioCheckRedo = 4.U(3.W)
84  val feedbackInvalid = 7.U(3.W)
85
86  def apply() = UInt(3.W)
87}
88
89class VSFQFeedback (implicit p: Parameters) extends XSBundle {
90  // val flowPtr = new VsFlowPtr
91  val hit   = Bool()
92  //val flushState = Bool()
93  val sourceType = VSFQFeedbackType()
94  //val dataInvalidSqIdx = new SqPtr
95  val paddr = UInt(PAddrBits.W)
96  val mmio = Bool()
97  val atomic = Bool()
98  val exceptionVec = ExceptionVec()
99}
100
101class VecPipelineFeedbackIO(isVStore: Boolean=false) (implicit p: Parameters) extends VLSUBundle {
102  val mBIndex              = if(isVStore) UInt(vsmBindexBits.W) else UInt(vlmBindexBits.W)
103  val hit                  = Bool()
104  val isvec                = Bool()
105  val flushState           = Bool()
106  val sourceType           = VSFQFeedbackType()
107  val trigger              = TriggerAction()
108  //val dataInvalidSqIdx = new SqPtr
109  //val paddr                = UInt(PAddrBits.W)
110  val mmio                 = Bool()
111  //val atomic               = Bool()
112  val exceptionVec         = ExceptionVec()
113  val vaddr                = UInt(XLEN.W)
114  val vaNeedExt          = Bool()
115  val gpaddr               = UInt(XLEN.W)
116  val isForVSnonLeafPTE    = Bool()
117  val vecVaddrOffset       = UInt(VAddrBits.W)
118  //val vec                  = new OnlyVecExuOutput
119   // feedback
120  val vecFeedback          = Bool()
121
122  val usSecondInv          = Bool() // only for unit stride, second flow is Invalid
123  val elemIdx              = UInt(elemIdxBits.W) // element index
124  val mask                 = UInt(VLENB.W)
125  val alignedType          = UInt(alignTypeBits.W)
126  // for load
127  val reg_offset           = OptionWrapper(!isVStore, UInt(vOffsetBits.W))
128  val elemIdxInsideVd      = OptionWrapper(!isVStore, UInt(elemIdxBits.W)) // element index in scope of vd
129  val vecdata              = OptionWrapper(!isVStore, UInt(VLEN.W))
130}
131
132class VecPipeBundle(isVStore: Boolean=false)(implicit p: Parameters) extends VLSUBundle {
133  val vaddr               = UInt(XLEN.W)
134  val basevaddr           = UInt(VAddrBits.W)
135  val mask                = UInt(VLENB.W)
136  val isvec               = Bool()
137  val uop_unit_stride_fof = Bool()
138  val reg_offset          = UInt(vOffsetBits.W)
139  val alignedType         = UInt(alignTypeBits.W)
140  val vecActive           = Bool() // 1: vector active element, 0: vector not active element
141  val is_first_ele        = Bool()
142  val isFirstIssue        = Bool()
143
144  val uop = new DynInst
145
146  val usSecondInv         = Bool() // only for unit stride, second flow is Invalid
147  val mBIndex             = if(isVStore) UInt(vsmBindexBits.W) else UInt(vlmBindexBits.W)
148  val elemIdx             = UInt(elemIdxBits.W)
149  val elemIdxInsideVd     = UInt(elemIdxBits.W) // only use in unit-stride
150}
151
152object VecFeedbacks {
153  // need to invalid lsq entry
154  val FLUSH  = 0
155  // merge buffer commits one uop
156  val COMMIT  = 1
157  // last uop of an inst, sq can commit
158  val LAST = 2
159  // total feedbacks
160  val allFeedbacks = 3
161}
162
163class MergeBufferReq(isVStore: Boolean=false)(implicit p: Parameters) extends VLSUBundle{
164  val mask                = UInt(VLENB.W)
165  val vaddr               = UInt(VAddrBits.W)
166  val flowNum             = UInt(flowIdxBits.W)
167  val uop                 = new DynInst
168  val data                = UInt(VLEN.W)
169  val vdIdx               = UInt(3.W)
170  val fof                 = Bool()
171  val vlmax               = UInt(elemIdxBits.W)
172  // val vdOffset            = UInt(vdOffset.W)
173}
174
175class MergeBufferResp(isVStore: Boolean=false)(implicit p: Parameters) extends VLSUBundle{
176  val mBIndex             = if(isVStore) UInt(vsmBindexBits.W) else UInt(vlmBindexBits.W)
177  val fail                = Bool()
178}
179
180class ToMergeBufferIO(isVStore: Boolean=false)(implicit p: Parameters) extends VLSUBundle{
181  val req                 = DecoupledIO(new MergeBufferReq(isVStore))
182  val resp                = Flipped(ValidIO(new MergeBufferResp(isVStore)))
183  // val issueInactive       = ValidIO
184}
185
186class FromSplitIO(isVStore: Boolean=false)(implicit p: Parameters) extends VLSUBundle{
187  val req                 = Flipped(DecoupledIO(new MergeBufferReq(isVStore)))
188  val resp                = ValidIO(new MergeBufferResp(isVStore))
189  // val issueInactive       = Flipped(ValidIO())
190}
191
192class FeedbackToSplitIO(implicit p: Parameters) extends VLSUBundle{
193  val elemWriteback       = Bool()
194}
195
196class FeedbackToLsqIO(implicit p: Parameters) extends VLSUBundle{
197  val robidx = new RobPtr
198  val uopidx = UopIdx()
199  val vaddr = UInt(XLEN.W)
200  val vaNeedExt = Bool()
201  val gpaddr = UInt(GPAddrBits.W)
202  val isForVSnonLeafPTE = Bool()
203  val feedback = Vec(VecFeedbacks.allFeedbacks, Bool())
204    // for exception
205  val vstart           = UInt(elemIdxBits.W)
206  val vl               = UInt(elemIdxBits.W)
207  val exceptionVec     = ExceptionVec()
208
209  def isFlush  = feedback(VecFeedbacks.FLUSH)
210  def isCommit = feedback(VecFeedbacks.COMMIT)
211  def isLast = feedback(VecFeedbacks.LAST)
212}
213
214class VSplitIO(isVStore: Boolean=false)(implicit p: Parameters) extends VLSUBundle{
215  val redirect            = Flipped(ValidIO(new Redirect))
216  val in                  = Flipped(Decoupled(new MemExuInput(isVector = true))) // from iq
217  val toMergeBuffer       = new ToMergeBufferIO(isVStore) //to merge buffer req mergebuffer entry
218  val out                 = Decoupled(new VecPipeBundle(isVStore))// to scala pipeline
219  val vstd                = OptionWrapper(isVStore, Valid(new MemExuOutput(isVector = true)))
220}
221
222class VSplitPipelineIO(isVStore: Boolean=false)(implicit p: Parameters) extends VLSUBundle{
223  val redirect            = Flipped(ValidIO(new Redirect))
224  val in                  = Flipped(Decoupled(new MemExuInput(isVector = true)))
225  val toMergeBuffer       = new ToMergeBufferIO(isVStore) // req mergebuffer entry, inactive elem issue
226  val out                 = Decoupled(new VLSBundle())// to split buffer
227}
228
229class VSplitBufferIO(isVStore: Boolean=false)(implicit p: Parameters) extends VLSUBundle{
230  val redirect            = Flipped(ValidIO(new Redirect))
231  val in                  = Flipped(Decoupled(new VLSBundle()))
232  val out                 = Decoupled(new VecPipeBundle(isVStore))//to scala pipeline
233  val vstd                = OptionWrapper(isVStore, ValidIO(new MemExuOutput(isVector = true)))
234}
235
236class VMergeBufferIO(isVStore : Boolean=false)(implicit p: Parameters) extends VLSUBundle{
237  val redirect            = Flipped(ValidIO(new Redirect))
238  val fromPipeline        = if(isVStore) Vec(StorePipelineWidth, Flipped(DecoupledIO(new VecPipelineFeedbackIO(isVStore)))) else Vec(LoadPipelineWidth, Flipped(DecoupledIO(new VecPipelineFeedbackIO(isVStore))))
239  val fromSplit           = if(isVStore) Vec(VecStorePipelineWidth, new FromSplitIO) else Vec(VecLoadPipelineWidth, new FromSplitIO) // req mergebuffer entry, inactive elem issue
240  val uopWriteback        = if(isVStore) Vec(VSUopWritebackWidth, DecoupledIO(new MemExuOutput(isVector = true))) else Vec(VLUopWritebackWidth, DecoupledIO(new MemExuOutput(isVector = true)))
241  val toSplit             = if(isVStore) Vec(VecStorePipelineWidth, ValidIO(new FeedbackToSplitIO)) else Vec(VecLoadPipelineWidth, ValidIO(new FeedbackToSplitIO)) // for inorder inst
242  val toLsq               = if(isVStore) Vec(VSUopWritebackWidth, ValidIO(new FeedbackToLsqIO)) else Vec(VLUopWritebackWidth, ValidIO(new FeedbackToLsqIO)) // for lsq deq
243  val feedback            = if(isVStore) Vec(VSUopWritebackWidth, ValidIO(new RSFeedback(isVector = true))) else Vec(VLUopWritebackWidth, ValidIO(new RSFeedback(isVector = true)))//for rs replay
244}
245
246class VSegmentUnitIO(implicit p: Parameters) extends VLSUBundle{
247  val in                  = Flipped(Decoupled(new MemExuInput(isVector = true))) // from iq
248  val uopwriteback        = DecoupledIO(new MemExuOutput(isVector = true)) // writeback data
249  val rdcache             = new DCacheLoadIO // read dcache port
250  val sbuffer             = Decoupled(new DCacheWordReqWithVaddrAndPfFlag)
251  val vecDifftestInfo     = Decoupled(new DynInst) // to sbuffer
252  val dtlb                = new TlbRequestIO(2)
253  val pmpResp             = Flipped(new PMPRespBundle())
254  val flush_sbuffer       = new SbufferFlushBundle
255  val feedback            = ValidIO(new RSFeedback(isVector = true))
256  val redirect            = Flipped(ValidIO(new Redirect))
257  val exceptionInfo       = ValidIO(new FeedbackToLsqIO)
258}