xref: /XiangShan/src/main/scala/xiangshan/package.scala (revision 9ab1568e215c540ca0554308577ff4d1813bfa8c)
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
17import chisel3._
18import chisel3.util._
19import chipsalliance.rocketchip.config.Parameters
20import freechips.rocketchip.tile.XLen
21import xiangshan.ExceptionNO._
22import xiangshan.backend.issue._
23import xiangshan.backend.fu._
24import xiangshan.backend.fu.fpu._
25import xiangshan.backend.fu.vector._
26import xiangshan.backend.exu._
27import xiangshan.backend.{Std, ScheLaneConfig}
28
29package object xiangshan {
30  object SrcType {
31    def imm = "b000".U
32    def pc  = "b000".U
33    def xp  = "b001".U
34    def fp  = "b010".U
35    def vp  = "b100".U
36
37    // alias
38    def reg = this.xp
39    def DC  = imm // Don't Care
40    def X   = BitPat("b???")
41
42    def isPc(srcType: UInt) = srcType===pc
43    def isImm(srcType: UInt) = srcType===imm
44    def isReg(srcType: UInt) = srcType(0)
45    def isFp(srcType: UInt) = srcType(1)
46    def isVp(srcType: UInt) = srcType(2)
47    def isPcOrImm(srcType: UInt) = isPc(srcType) || isImm(srcType)
48
49    def apply() = UInt(3.W)
50  }
51
52  object SrcState {
53    def busy    = "b0".U
54    def rdy     = "b1".U
55    // def specRdy = "b10".U // speculative ready, for future use
56    def apply() = UInt(1.W)
57  }
58
59  // Todo: Use OH instead
60  object FuType {
61    def jmp          = "b0000".U
62    def i2f          = "b0001".U
63    def csr          = "b0010".U
64    def alu          = "b0110".U
65    def mul          = "b0100".U
66    def div          = "b0101".U
67    def fence        = "b0011".U
68    def bku          = "b0111".U
69
70    def fmac         = "b1000".U
71    def fmisc        = "b1011".U
72    def fDivSqrt     = "b1010".U
73
74    def ldu          = "b1100".U
75    def stu          = "b1101".U
76    def mou          = "b1111".U // for amo, lr, sc, fence
77    def vipu         = "b11000".U
78    def vfpu         = "b11001".U
79    def vldu         = "b11100".U
80    def vstu         = "b11101".U
81    def X            = BitPat("b????")
82
83    def num = 18
84
85    def apply() = UInt(log2Up(num).W)
86
87    def isIntExu(fuType: UInt) = !fuType(3)
88    def isJumpExu(fuType: UInt) = fuType === jmp
89    def isFpExu(fuType: UInt) = fuType(3, 2) === "b10".U
90    def isMemExu(fuType: UInt) = fuType(3, 2) === "b11".U
91    def isLoadStore(fuType: UInt) = isMemExu(fuType) && !fuType(1)
92    def isStoreExu(fuType: UInt) = isMemExu(fuType) && fuType(0)
93    def isAMO(fuType: UInt) = fuType(1)
94    def isFence(fuType: UInt) = fuType === fence
95    def isSvinvalBegin(fuType: UInt, func: UInt, flush: Bool) = isFence(fuType) && func === FenceOpType.nofence && !flush
96    def isSvinval(fuType: UInt, func: UInt, flush: Bool) = isFence(fuType) && func === FenceOpType.sfence && !flush
97    def isSvinvalEnd(fuType: UInt, func: UInt, flush: Bool) = isFence(fuType) && func === FenceOpType.nofence && flush
98
99
100    def jmpCanAccept(fuType: UInt) = !fuType(2)
101    def mduCanAccept(fuType: UInt) = fuType(2) && !fuType(1) || fuType(2) && fuType(1) && fuType(0)
102    def aluCanAccept(fuType: UInt) = fuType(2) && fuType(1) && !fuType(0)
103
104    def fmacCanAccept(fuType: UInt) = !fuType(1)
105    def fmiscCanAccept(fuType: UInt) = fuType(1)
106
107    def loadCanAccept(fuType: UInt) = !fuType(0)
108    def storeCanAccept(fuType: UInt) = fuType(0)
109
110    def storeIsAMO(fuType: UInt) = fuType(1)
111
112    val functionNameMap = Map(
113      jmp.litValue() -> "jmp",
114      i2f.litValue() -> "int_to_float",
115      csr.litValue() -> "csr",
116      alu.litValue() -> "alu",
117      mul.litValue() -> "mul",
118      div.litValue() -> "div",
119      fence.litValue() -> "fence",
120      bku.litValue() -> "bku",
121      fmac.litValue() -> "fmac",
122      fmisc.litValue() -> "fmisc",
123      fDivSqrt.litValue() -> "fdiv_fsqrt",
124      ldu.litValue() -> "load",
125      stu.litValue() -> "store",
126      mou.litValue() -> "mou"
127    )
128  }
129
130  object FuOpType {
131    def apply() = UInt(8.W)
132    def X = BitPat("b???????")
133  }
134
135  // move VipuType and VfpuType into YunSuan/package.scala
136  // object VipuType {
137  //   def dummy = 0.U(7.W)
138  // }
139
140  // object VfpuType {
141  //   def dummy = 0.U(7.W)
142  // }
143
144  object VlduType {
145    def dummy = 0.U(7.W)
146  }
147
148  object VstuType {
149    def dummy = 0.U(7.W)
150  }
151
152  object CommitType {
153    def NORMAL = "b000".U  // int/fp
154    def BRANCH = "b001".U  // branch
155    def LOAD   = "b010".U  // load
156    def STORE  = "b011".U  // store
157
158    def apply() = UInt(3.W)
159    def isFused(commitType: UInt): Bool = commitType(2)
160    def isLoadStore(commitType: UInt): Bool = !isFused(commitType) && commitType(1)
161    def lsInstIsStore(commitType: UInt): Bool = commitType(0)
162    def isStore(commitType: UInt): Bool = isLoadStore(commitType) && lsInstIsStore(commitType)
163    def isBranch(commitType: UInt): Bool = commitType(0) && !commitType(1) && !isFused(commitType)
164  }
165
166  object RedirectLevel {
167    def flushAfter = "b0".U
168    def flush      = "b1".U
169
170    def apply() = UInt(1.W)
171    // def isUnconditional(level: UInt) = level(1)
172    def flushItself(level: UInt) = level(0)
173    // def isException(level: UInt) = level(1) && level(0)
174  }
175
176  object ExceptionVec {
177    def apply() = Vec(16, Bool())
178  }
179
180  object PMAMode {
181    def R = "b1".U << 0 //readable
182    def W = "b1".U << 1 //writeable
183    def X = "b1".U << 2 //executable
184    def I = "b1".U << 3 //cacheable: icache
185    def D = "b1".U << 4 //cacheable: dcache
186    def S = "b1".U << 5 //enable speculative access
187    def A = "b1".U << 6 //enable atomic operation, A imply R & W
188    def C = "b1".U << 7 //if it is cacheable is configable
189    def Reserved = "b0".U
190
191    def apply() = UInt(7.W)
192
193    def read(mode: UInt) = mode(0)
194    def write(mode: UInt) = mode(1)
195    def execute(mode: UInt) = mode(2)
196    def icache(mode: UInt) = mode(3)
197    def dcache(mode: UInt) = mode(4)
198    def speculate(mode: UInt) = mode(5)
199    def atomic(mode: UInt) = mode(6)
200    def configable_cache(mode: UInt) = mode(7)
201
202    def strToMode(s: String) = {
203      var result = 0.U(8.W)
204      if (s.toUpperCase.indexOf("R") >= 0) result = result + R
205      if (s.toUpperCase.indexOf("W") >= 0) result = result + W
206      if (s.toUpperCase.indexOf("X") >= 0) result = result + X
207      if (s.toUpperCase.indexOf("I") >= 0) result = result + I
208      if (s.toUpperCase.indexOf("D") >= 0) result = result + D
209      if (s.toUpperCase.indexOf("S") >= 0) result = result + S
210      if (s.toUpperCase.indexOf("A") >= 0) result = result + A
211      if (s.toUpperCase.indexOf("C") >= 0) result = result + C
212      result
213    }
214  }
215
216
217  object CSROpType {
218    def jmp  = "b000".U
219    def wrt  = "b001".U
220    def set  = "b010".U
221    def clr  = "b011".U
222    def wfi  = "b100".U
223    def wrti = "b101".U
224    def seti = "b110".U
225    def clri = "b111".U
226    def needAccess(op: UInt): Bool = op(1, 0) =/= 0.U
227  }
228
229  // jump
230  object JumpOpType {
231    def jal  = "b00".U
232    def jalr = "b01".U
233    def auipc = "b10".U
234//    def call = "b11_011".U
235//    def ret  = "b11_100".U
236    def jumpOpisJalr(op: UInt) = op(0)
237    def jumpOpisAuipc(op: UInt) = op(1)
238  }
239
240  object FenceOpType {
241    def fence  = "b10000".U
242    def sfence = "b10001".U
243    def fencei = "b10010".U
244    def nofence= "b00000".U
245  }
246
247  object ALUOpType {
248    // shift optype
249    def slliuw     = "b000_0000".U // slliuw: ZEXT(src1[31:0]) << shamt
250    def sll        = "b000_0001".U // sll:     src1 << src2
251
252    def bclr       = "b000_0010".U // bclr:    src1 & ~(1 << src2[5:0])
253    def bset       = "b000_0011".U // bset:    src1 | (1 << src2[5:0])
254    def binv       = "b000_0100".U // binv:    src1 ^ ~(1 << src2[5:0])
255
256    def srl        = "b000_0101".U // srl:     src1 >> src2
257    def bext       = "b000_0110".U // bext:    (src1 >> src2)[0]
258    def sra        = "b000_0111".U // sra:     src1 >> src2 (arithmetic)
259
260    def rol        = "b000_1001".U // rol:     (src1 << src2) | (src1 >> (xlen - src2))
261    def ror        = "b000_1011".U // ror:     (src1 >> src2) | (src1 << (xlen - src2))
262
263    // RV64 32bit optype
264    def addw       = "b001_0000".U // addw:      SEXT((src1 + src2)[31:0])
265    def oddaddw    = "b001_0001".U // oddaddw:   SEXT((src1[0] + src2)[31:0])
266    def subw       = "b001_0010".U // subw:      SEXT((src1 - src2)[31:0])
267
268    def addwbit    = "b001_0100".U // addwbit:   (src1 + src2)[0]
269    def addwbyte   = "b001_0101".U // addwbyte:  (src1 + src2)[7:0]
270    def addwzexth  = "b001_0110".U // addwzexth: ZEXT((src1  + src2)[15:0])
271    def addwsexth  = "b001_0111".U // addwsexth: SEXT((src1  + src2)[15:0])
272
273    def sllw       = "b001_1000".U // sllw:     SEXT((src1 << src2)[31:0])
274    def srlw       = "b001_1001".U // srlw:     SEXT((src1[31:0] >> src2)[31:0])
275    def sraw       = "b001_1010".U // sraw:     SEXT((src1[31:0] >> src2)[31:0])
276    def rolw       = "b001_1100".U
277    def rorw       = "b001_1101".U
278
279    // ADD-op
280    def adduw      = "b010_0000".U // adduw:  src1[31:0]  + src2
281    def add        = "b010_0001".U // add:     src1        + src2
282    def oddadd     = "b010_0010".U // oddadd:  src1[0]     + src2
283
284    def sr29add    = "b010_0100".U // sr29add: src1[63:29] + src2
285    def sr30add    = "b010_0101".U // sr30add: src1[63:30] + src2
286    def sr31add    = "b010_0110".U // sr31add: src1[63:31] + src2
287    def sr32add    = "b010_0111".U // sr32add: src1[63:32] + src2
288
289    def sh1adduw   = "b010_1000".U // sh1adduw: {src1[31:0], 1'b0} + src2
290    def sh1add     = "b010_1001".U // sh1add: {src1[62:0], 1'b0} + src2
291    def sh2adduw   = "b010_1010".U // sh2add_uw: {src1[31:0], 2'b0} + src2
292    def sh2add     = "b010_1011".U // sh2add: {src1[61:0], 2'b0} + src2
293    def sh3adduw   = "b010_1100".U // sh3add_uw: {src1[31:0], 3'b0} + src2
294    def sh3add     = "b010_1101".U // sh3add: {src1[60:0], 3'b0} + src2
295    def sh4add     = "b010_1111".U // sh4add: {src1[59:0], 4'b0} + src2
296
297    // SUB-op: src1 - src2
298    def sub        = "b011_0000".U
299    def sltu       = "b011_0001".U
300    def slt        = "b011_0010".U
301    def maxu       = "b011_0100".U
302    def minu       = "b011_0101".U
303    def max        = "b011_0110".U
304    def min        = "b011_0111".U
305
306    // branch
307    def beq        = "b111_0000".U
308    def bne        = "b111_0010".U
309    def blt        = "b111_1000".U
310    def bge        = "b111_1010".U
311    def bltu       = "b111_1100".U
312    def bgeu       = "b111_1110".U
313
314    // misc optype
315    def and        = "b100_0000".U
316    def andn       = "b100_0001".U
317    def or         = "b100_0010".U
318    def orn        = "b100_0011".U
319    def xor        = "b100_0100".U
320    def xnor       = "b100_0101".U
321    def orcb       = "b100_0110".U
322
323    def sextb      = "b100_1000".U
324    def packh      = "b100_1001".U
325    def sexth      = "b100_1010".U
326    def packw      = "b100_1011".U
327
328    def revb       = "b101_0000".U
329    def rev8       = "b101_0001".U
330    def pack       = "b101_0010".U
331    def orh48      = "b101_0011".U
332
333    def szewl1     = "b101_1000".U
334    def szewl2     = "b101_1001".U
335    def szewl3     = "b101_1010".U
336    def byte2      = "b101_1011".U
337
338    def andlsb     = "b110_0000".U
339    def andzexth   = "b110_0001".U
340    def orlsb      = "b110_0010".U
341    def orzexth    = "b110_0011".U
342    def xorlsb     = "b110_0100".U
343    def xorzexth   = "b110_0101".U
344    def orcblsb    = "b110_0110".U
345    def orcbzexth  = "b110_0111".U
346    def vsetvli    = "b1000_0000".U
347    def vsetvl     = "b1000_0001".U
348    def vsetivli   = "b1000_0010".U
349
350    def isAddw(func: UInt) = func(6, 4) === "b001".U && !func(3) && !func(1)
351    def isSimpleLogic(func: UInt) = func(6, 4) === "b100".U && !func(0)
352    def logicToLsb(func: UInt) = Cat("b110".U(3.W), func(3, 1), 0.U(1.W))
353    def logicToZexth(func: UInt) = Cat("b110".U(3.W), func(3, 1), 1.U(1.W))
354    def isBranch(func: UInt) = func(6, 4) === "b111".U
355    def getBranchType(func: UInt) = func(3, 2)
356    def isBranchInvert(func: UInt) = func(1)
357
358    def apply() = UInt(7.W)
359  }
360
361  object MDUOpType {
362    // mul
363    // bit encoding: | type (2bit) | isWord(1bit) | opcode(2bit) |
364    def mul    = "b00000".U
365    def mulh   = "b00001".U
366    def mulhsu = "b00010".U
367    def mulhu  = "b00011".U
368    def mulw   = "b00100".U
369
370    def mulw7  = "b01100".U
371
372    // div
373    // bit encoding: | type (2bit) | isWord(1bit) | isSign(1bit) | opcode(1bit) |
374    def div    = "b10000".U
375    def divu   = "b10010".U
376    def rem    = "b10001".U
377    def remu   = "b10011".U
378
379    def divw   = "b10100".U
380    def divuw  = "b10110".U
381    def remw   = "b10101".U
382    def remuw  = "b10111".U
383
384    def isMul(op: UInt) = !op(4)
385    def isDiv(op: UInt) = op(4)
386
387    def isDivSign(op: UInt) = isDiv(op) && !op(1)
388    def isW(op: UInt) = op(2)
389    def isH(op: UInt) = (isDiv(op) && op(0)) || (isMul(op) && op(1, 0) =/= 0.U)
390    def getMulOp(op: UInt) = op(1, 0)
391  }
392
393  object LSUOpType {
394    // load pipeline
395
396    // normal load
397    // Note: bit(1, 0) are size, DO NOT CHANGE
398    // bit encoding: | load 0 | is unsigned(1bit) | size(2bit) |
399    def lb       = "b0000".U
400    def lh       = "b0001".U
401    def lw       = "b0010".U
402    def ld       = "b0011".U
403    def lbu      = "b0100".U
404    def lhu      = "b0101".U
405    def lwu      = "b0110".U
406
407    // Zicbop software prefetch
408    // bit encoding: | prefetch 1 | 0 | prefetch type (2bit) |
409    def prefetch_i = "b1000".U // TODO
410    def prefetch_r = "b1001".U
411    def prefetch_w = "b1010".U
412
413    def isPrefetch(op: UInt): Bool = op(3)
414
415    // store pipeline
416    // normal store
417    // bit encoding: | store 00 | size(2bit) |
418    def sb       = "b0000".U
419    def sh       = "b0001".U
420    def sw       = "b0010".U
421    def sd       = "b0011".U
422
423    // l1 cache op
424    // bit encoding: | cbo_zero 01 | size(2bit) 11 |
425    def cbo_zero  = "b0111".U
426
427    // llc op
428    // bit encoding: | prefetch 11 | suboptype(2bit) |
429    def cbo_clean = "b1100".U
430    def cbo_flush = "b1101".U
431    def cbo_inval = "b1110".U
432
433    def isCbo(op: UInt): Bool = op(3, 2) === "b11".U
434
435    // atomics
436    // bit(1, 0) are size
437    // since atomics use a different fu type
438    // so we can safely reuse other load/store's encodings
439    // bit encoding: | optype(4bit) | size (2bit) |
440    def lr_w      = "b000010".U
441    def sc_w      = "b000110".U
442    def amoswap_w = "b001010".U
443    def amoadd_w  = "b001110".U
444    def amoxor_w  = "b010010".U
445    def amoand_w  = "b010110".U
446    def amoor_w   = "b011010".U
447    def amomin_w  = "b011110".U
448    def amomax_w  = "b100010".U
449    def amominu_w = "b100110".U
450    def amomaxu_w = "b101010".U
451
452    def lr_d      = "b000011".U
453    def sc_d      = "b000111".U
454    def amoswap_d = "b001011".U
455    def amoadd_d  = "b001111".U
456    def amoxor_d  = "b010011".U
457    def amoand_d  = "b010111".U
458    def amoor_d   = "b011011".U
459    def amomin_d  = "b011111".U
460    def amomax_d  = "b100011".U
461    def amominu_d = "b100111".U
462    def amomaxu_d = "b101011".U
463
464    def size(op: UInt) = op(1,0)
465  }
466
467  object BKUOpType {
468
469    def clmul       = "b000000".U
470    def clmulh      = "b000001".U
471    def clmulr      = "b000010".U
472    def xpermn      = "b000100".U
473    def xpermb      = "b000101".U
474
475    def clz         = "b001000".U
476    def clzw        = "b001001".U
477    def ctz         = "b001010".U
478    def ctzw        = "b001011".U
479    def cpop        = "b001100".U
480    def cpopw       = "b001101".U
481
482    // 01xxxx is reserve
483    def aes64es     = "b100000".U
484    def aes64esm    = "b100001".U
485    def aes64ds     = "b100010".U
486    def aes64dsm    = "b100011".U
487    def aes64im     = "b100100".U
488    def aes64ks1i   = "b100101".U
489    def aes64ks2    = "b100110".U
490
491    // merge to two instruction sm4ks & sm4ed
492    def sm4ed0      = "b101000".U
493    def sm4ed1      = "b101001".U
494    def sm4ed2      = "b101010".U
495    def sm4ed3      = "b101011".U
496    def sm4ks0      = "b101100".U
497    def sm4ks1      = "b101101".U
498    def sm4ks2      = "b101110".U
499    def sm4ks3      = "b101111".U
500
501    def sha256sum0  = "b110000".U
502    def sha256sum1  = "b110001".U
503    def sha256sig0  = "b110010".U
504    def sha256sig1  = "b110011".U
505    def sha512sum0  = "b110100".U
506    def sha512sum1  = "b110101".U
507    def sha512sig0  = "b110110".U
508    def sha512sig1  = "b110111".U
509
510    def sm3p0       = "b111000".U
511    def sm3p1       = "b111001".U
512  }
513
514  object BTBtype {
515    def B = "b00".U  // branch
516    def J = "b01".U  // jump
517    def I = "b10".U  // indirect
518    def R = "b11".U  // return
519
520    def apply() = UInt(2.W)
521  }
522
523  object SelImm {
524    def IMM_X  = "b0111".U
525    def IMM_S  = "b0000".U
526    def IMM_SB = "b0001".U
527    def IMM_U  = "b0010".U
528    def IMM_UJ = "b0011".U
529    def IMM_I  = "b0100".U
530    def IMM_Z  = "b0101".U
531    def INVALID_INSTR = "b0110".U
532    def IMM_B6 = "b1000".U
533
534    def IMM_OPIVIS = "b1001".U
535    def IMM_OPIVIU = "b1010".U
536    def IMM_VSETVLI   = "b1100".U
537    def IMM_VSETIVLI  = "b1101".U
538
539    def X      = BitPat("b????")
540
541    def apply() = UInt(4.W)
542  }
543
544  object ExceptionNO {
545    def instrAddrMisaligned = 0
546    def instrAccessFault    = 1
547    def illegalInstr        = 2
548    def breakPoint          = 3
549    def loadAddrMisaligned  = 4
550    def loadAccessFault     = 5
551    def storeAddrMisaligned = 6
552    def storeAccessFault    = 7
553    def ecallU              = 8
554    def ecallS              = 9
555    def ecallM              = 11
556    def instrPageFault      = 12
557    def loadPageFault       = 13
558    // def singleStep          = 14
559    def storePageFault      = 15
560    def priorities = Seq(
561      breakPoint, // TODO: different BP has different priority
562      instrPageFault,
563      instrAccessFault,
564      illegalInstr,
565      instrAddrMisaligned,
566      ecallM, ecallS, ecallU,
567      storeAddrMisaligned,
568      loadAddrMisaligned,
569      storePageFault,
570      loadPageFault,
571      storeAccessFault,
572      loadAccessFault
573    )
574    def all = priorities.distinct.sorted
575    def frontendSet = Seq(
576      instrAddrMisaligned,
577      instrAccessFault,
578      illegalInstr,
579      instrPageFault
580    )
581    def partialSelect(vec: Vec[Bool], select: Seq[Int]): Vec[Bool] = {
582      val new_vec = Wire(ExceptionVec())
583      new_vec.foreach(_ := false.B)
584      select.foreach(i => new_vec(i) := vec(i))
585      new_vec
586    }
587    def selectFrontend(vec: Vec[Bool]): Vec[Bool] = partialSelect(vec, frontendSet)
588    def selectAll(vec: Vec[Bool]): Vec[Bool] = partialSelect(vec, ExceptionNO.all)
589    def selectByFu(vec:Vec[Bool], fuConfig: FuConfig): Vec[Bool] =
590      partialSelect(vec, fuConfig.exceptionOut)
591    def selectByExu(vec:Vec[Bool], exuConfig: ExuConfig): Vec[Bool] =
592      partialSelect(vec, exuConfig.exceptionOut)
593    def selectByExu(vec:Vec[Bool], exuConfigs: Seq[ExuConfig]): Vec[Bool] =
594      partialSelect(vec, exuConfigs.map(_.exceptionOut).reduce(_ ++ _).distinct.sorted)
595  }
596
597  def dividerGen(p: Parameters) = new DividerWrapper(p(XLen))(p)
598  def multiplierGen(p: Parameters) = new ArrayMultiplier(p(XLen) + 1)(p)
599  def aluGen(p: Parameters) = new Alu()(p)
600  def bkuGen(p: Parameters) = new Bku()(p)
601  def jmpGen(p: Parameters) = new Jump()(p)
602  def fenceGen(p: Parameters) = new Fence()(p)
603  def csrGen(p: Parameters) = new CSR()(p)
604  def i2fGen(p: Parameters) = new IntToFP()(p)
605  def fmacGen(p: Parameters) = new FMA()(p)
606  def f2iGen(p: Parameters) = new FPToInt()(p)
607  def f2fGen(p: Parameters) = new FPToFP()(p)
608  def fdivSqrtGen(p: Parameters) = new FDivSqrt()(p)
609  def stdGen(p: Parameters) = new Std()(p)
610  def mouDataGen(p: Parameters) = new Std()(p)
611  def vipuGen(p: Parameters) = new VIPU()(p)
612
613  def f2iSel(uop: MicroOp): Bool = {
614    uop.ctrl.rfWen
615  }
616
617  def i2fSel(uop: MicroOp): Bool = {
618    uop.ctrl.fpu.fromInt
619  }
620
621  def f2fSel(uop: MicroOp): Bool = {
622    val ctrl = uop.ctrl.fpu
623    ctrl.fpWen && !ctrl.div && !ctrl.sqrt
624  }
625
626  def fdivSqrtSel(uop: MicroOp): Bool = {
627    val ctrl = uop.ctrl.fpu
628    ctrl.div || ctrl.sqrt
629  }
630
631  val aluCfg = FuConfig(
632    name = "alu",
633    fuGen = aluGen,
634    fuSel = (uop: MicroOp) => uop.ctrl.fuType === FuType.alu,
635    fuType = FuType.alu,
636    numIntSrc = 2,
637    numFpSrc = 0,
638    writeIntRf = true,
639    writeFpRf = false,
640    hasRedirect = true,
641  )
642
643  val jmpCfg = FuConfig(
644    name = "jmp",
645    fuGen = jmpGen,
646    fuSel = (uop: MicroOp) => uop.ctrl.fuType === FuType.jmp,
647    fuType = FuType.jmp,
648    numIntSrc = 1,
649    numFpSrc = 0,
650    writeIntRf = true,
651    writeFpRf = false,
652    hasRedirect = true,
653  )
654
655  val fenceCfg = FuConfig(
656    name = "fence",
657    fuGen = fenceGen,
658    fuSel = (uop: MicroOp) => uop.ctrl.fuType === FuType.fence,
659    FuType.fence, 2, 0, writeIntRf = false, writeFpRf = false,
660    latency = UncertainLatency(), exceptionOut = Seq(illegalInstr), // TODO: need rewrite latency structure, not just this value,
661    flushPipe = true
662  )
663
664  val csrCfg = FuConfig(
665    name = "csr",
666    fuGen = csrGen,
667    fuSel = (uop: MicroOp) => uop.ctrl.fuType === FuType.csr,
668    fuType = FuType.csr,
669    numIntSrc = 1,
670    numFpSrc = 0,
671    writeIntRf = true,
672    writeFpRf = false,
673    exceptionOut = Seq(illegalInstr, breakPoint, ecallU, ecallS, ecallM),
674    flushPipe = true
675  )
676
677  val i2fCfg = FuConfig(
678    name = "i2f",
679    fuGen = i2fGen,
680    fuSel = i2fSel,
681    FuType.i2f,
682    numIntSrc = 1,
683    numFpSrc = 0,
684    writeIntRf = false,
685    writeFpRf = true,
686    writeFflags = true,
687    latency = CertainLatency(2),
688    fastUopOut = true, fastImplemented = true
689  )
690
691  val divCfg = FuConfig(
692    name = "div",
693    fuGen = dividerGen,
694    fuSel = (uop: MicroOp) => uop.ctrl.fuType === FuType.div,
695    FuType.div,
696    2,
697    0,
698    writeIntRf = true,
699    writeFpRf = false,
700    latency = UncertainLatency(),
701    fastUopOut = true,
702    fastImplemented = true,
703    hasInputBuffer = (true, 4, true)
704  )
705
706  val mulCfg = FuConfig(
707    name = "mul",
708    fuGen = multiplierGen,
709    fuSel = (uop: MicroOp) => uop.ctrl.fuType === FuType.mul,
710    FuType.mul,
711    2,
712    0,
713    writeIntRf = true,
714    writeFpRf = false,
715    latency = CertainLatency(2),
716    fastUopOut = true,
717    fastImplemented = true
718  )
719
720  val bkuCfg = FuConfig(
721    name = "bku",
722    fuGen = bkuGen,
723    fuSel = (uop: MicroOp) => uop.ctrl.fuType === FuType.bku,
724    fuType = FuType.bku,
725    numIntSrc = 2,
726    numFpSrc = 0,
727    writeIntRf = true,
728    writeFpRf = false,
729    latency = CertainLatency(1),
730    fastUopOut = true,
731    fastImplemented = true
732 )
733
734  val fmacCfg = FuConfig(
735    name = "fmac",
736    fuGen = fmacGen,
737    fuSel = _ => true.B,
738    FuType.fmac, 0, 3, writeIntRf = false, writeFpRf = true, writeFflags = true,
739    latency = UncertainLatency(), fastUopOut = true, fastImplemented = true
740  )
741
742  val f2iCfg = FuConfig(
743    name = "f2i",
744    fuGen = f2iGen,
745    fuSel = f2iSel,
746    FuType.fmisc, 0, 1, writeIntRf = true, writeFpRf = false, writeFflags = true, latency = CertainLatency(2),
747    fastUopOut = true, fastImplemented = true
748  )
749
750  val f2fCfg = FuConfig(
751    name = "f2f",
752    fuGen = f2fGen,
753    fuSel = f2fSel,
754    FuType.fmisc, 0, 1, writeIntRf = false, writeFpRf = true, writeFflags = true, latency = CertainLatency(2),
755    fastUopOut = true, fastImplemented = true
756  )
757
758  val fdivSqrtCfg = FuConfig(
759    name = "fdivSqrt",
760    fuGen = fdivSqrtGen,
761    fuSel = fdivSqrtSel,
762    FuType.fDivSqrt, 0, 2, writeIntRf = false, writeFpRf = true, writeFflags = true, latency = UncertainLatency(),
763    fastUopOut = true, fastImplemented = true, hasInputBuffer = (true, 8, true)
764  )
765
766  val lduCfg = FuConfig(
767    "ldu",
768    null, // DontCare
769    (uop: MicroOp) => FuType.loadCanAccept(uop.ctrl.fuType),
770    FuType.ldu, 1, 0, writeIntRf = true, writeFpRf = true,
771    latency = UncertainLatency(),
772    exceptionOut = Seq(loadAddrMisaligned, loadAccessFault, loadPageFault),
773    flushPipe = true,
774    replayInst = true,
775    hasLoadError = true
776  )
777
778  val staCfg = FuConfig(
779    "sta",
780    null,
781    (uop: MicroOp) => FuType.storeCanAccept(uop.ctrl.fuType),
782    FuType.stu, 1, 0, writeIntRf = false, writeFpRf = false,
783    latency = UncertainLatency(),
784    exceptionOut = Seq(storeAddrMisaligned, storeAccessFault, storePageFault)
785  )
786
787  val stdCfg = FuConfig(
788    "std",
789    fuGen = stdGen, fuSel = (uop: MicroOp) => FuType.storeCanAccept(uop.ctrl.fuType), FuType.stu, 1, 1,
790    writeIntRf = false, writeFpRf = false, latency = CertainLatency(1)
791  )
792
793  val mouCfg = FuConfig(
794    "mou",
795    null,
796    (uop: MicroOp) => FuType.storeCanAccept(uop.ctrl.fuType),
797    FuType.mou, 1, 0, writeIntRf = false, writeFpRf = false,
798    latency = UncertainLatency(), exceptionOut = lduCfg.exceptionOut ++ staCfg.exceptionOut
799  )
800
801  val mouDataCfg = FuConfig(
802    "mou",
803    mouDataGen,
804    (uop: MicroOp) => FuType.storeCanAccept(uop.ctrl.fuType),
805    FuType.mou, 1, 0, writeIntRf = false, writeFpRf = false,
806    latency = UncertainLatency()
807  )
808
809  val vipuCfg = FuConfig(
810    name = "vipu",
811    fuGen = vipuGen,
812    fuSel = (uop: MicroOp) => FuType.vipu === uop.ctrl.fuType,
813    fuType = FuType.vipu,
814    numIntSrc = 0, numFpSrc = 0, writeIntRf = false, writeFpRf = false, writeFflags = false,
815    numVecSrc = 2, writeVecRf = true,
816    fastUopOut = true, // TODO: check
817    fastImplemented = true, //TODO: check
818  )
819
820  val JumpExeUnitCfg = ExuConfig("JmpExeUnit", "Int", Seq(jmpCfg, i2fCfg), 2, Int.MaxValue)
821  val AluExeUnitCfg = ExuConfig("AluExeUnit", "Int", Seq(aluCfg), 0, Int.MaxValue)
822  val JumpCSRExeUnitCfg = ExuConfig("JmpCSRExeUnit", "Int", Seq(jmpCfg, csrCfg, fenceCfg, i2fCfg), 2, Int.MaxValue)
823  val MulDivExeUnitCfg = ExuConfig("MulDivExeUnit", "Int", Seq(mulCfg, divCfg, bkuCfg), 1, Int.MaxValue)
824  val FmacExeUnitCfg = ExuConfig("FmacExeUnit", "Fp", Seq(fmacCfg, vipuCfg), Int.MaxValue, 0)
825  val FmiscExeUnitCfg = ExuConfig(
826    "FmiscExeUnit",
827    "Fp",
828    Seq(f2iCfg, f2fCfg, fdivSqrtCfg),
829    Int.MaxValue, 1
830  )
831  val LdExeUnitCfg = ExuConfig("LoadExu", "Mem", Seq(lduCfg), wbIntPriority = 0, wbFpPriority = 0, extendsExu = false)
832  val StaExeUnitCfg = ExuConfig("StaExu", "Mem", Seq(staCfg, mouCfg), wbIntPriority = Int.MaxValue, wbFpPriority = Int.MaxValue, extendsExu = false)
833  val StdExeUnitCfg = ExuConfig("StdExu", "Mem", Seq(stdCfg, mouDataCfg), wbIntPriority = Int.MaxValue, wbFpPriority = Int.MaxValue, extendsExu = false)
834
835  // def jumpRSWrapperGen(p: Parameters) = new JumpRSWrapper()(p)
836  // def mulRSWrapperGen(p: Parameters) = new MulRSWrapper()(p)
837  // def loadRSWrapperGen(p: Parameters) = new LoadRSWrapper()(p)
838  // def stdRSWrapperGen(p: Parameters) = new StdRSWrapper()(p)
839  // def staRSWrapperGen(p: Parameters) = new StaRSWrapper()(p)
840  // def fmaRSWrapperGen(p: Parameters) = new FMARSWrapper()(p)
841  // def fmiscRSWrapperGen(p: Parameters) = new FMiscRSWrapper()(p)
842
843  val aluRSMod = new RSMod(
844    rsWrapperGen = (modGen: RSMod, p: Parameters) => new ALURSWrapper(modGen)(p),
845    rsGen = (a: RSParams, b: Parameters) => new ALURS(a)(b),
846    immExtractorGen = (src: Int, width: Int, p: Parameters) => new AluImmExtractor()(p)
847  )
848  val fmaRSMod = new RSMod(
849    rsWrapperGen = (modGen: RSMod, p: Parameters) => new FMARSWrapper(modGen)(p),
850    rsGen = (a: RSParams, b: Parameters) => new FMARS(a)(b),
851  )
852  val fmiscRSMod = new RSMod(
853    rsWrapperGen = (modGen: RSMod, p: Parameters) => new FMiscRSWrapper(modGen)(p),
854    rsGen = (a: RSParams, b: Parameters) => new FMiscRS(a)(b),
855  )
856  val jumpRSMod = new RSMod(
857    rsWrapperGen = (modGen: RSMod, p: Parameters) => new JumpRSWrapper(modGen)(p),
858    rsGen = (a: RSParams, b: Parameters) => new JumpRS(a)(b),
859    immExtractorGen = (src: Int, width: Int, p: Parameters) => new JumpImmExtractor()(p)
860  )
861  val loadRSMod = new RSMod(
862    rsWrapperGen = (modGen: RSMod, p: Parameters) => new LoadRSWrapper(modGen)(p),
863    rsGen = (a: RSParams, b: Parameters) => new LoadRS(a)(b),
864    immExtractorGen = (src: Int, width: Int, p: Parameters) => new LoadImmExtractor()(p)
865  )
866  val mulRSMod = new RSMod(
867    rsWrapperGen = (modGen: RSMod, p: Parameters) => new MulRSWrapper(modGen)(p),
868    rsGen = (a: RSParams, b: Parameters) => new MulRS(a)(b),
869    immExtractorGen = (src: Int, width: Int, p: Parameters) => new MduImmExtractor()(p)
870  )
871  val staRSMod = new RSMod(
872    rsWrapperGen = (modGen: RSMod, p: Parameters) => new StaRSWrapper(modGen)(p),
873    rsGen = (a: RSParams, b: Parameters) => new StaRS(a)(b),
874  )
875  val stdRSMod = new RSMod(
876    rsWrapperGen = (modGen: RSMod, p: Parameters) => new StdRSWrapper(modGen)(p),
877    rsGen = (a: RSParams, b: Parameters) => new StdRS(a)(b),
878  )
879}
880