xref: /XiangShan/src/test/scala/xiangshan/backend/fu/VsetRef.scala (revision 039cdc35f5f3b68b6295ec5ace90f22a77322e02)
1package xiangshan.backend.fu
2
3object VsetRef{
4  def VLEN: Int = 128
5  def XLEN: Int = 64
6  def ELEN: Int = 64
7  def isKeepVL(func: Int): Boolean   = (func >> 1 & 1) == 1
8  def isSetVlmax(func: Int): Boolean = (func & 1) == 1
9  def isVsetivli(func: Int): Boolean = (func & 0xc0) == 0
10  def isVsetvl(func: Int): Boolean   = (func >> 6 & 1) == 1
11
12  def test(avlPre: Int, vsew: Int, vlmul: Int, vta: Boolean, vma: Boolean, villPre: Boolean, func: Int, oldVL: Int) = {
13    val avl = if(this.isVsetivli(func)) avlPre & 0x1f else avlPre
14    val vill = if(this.isVsetvl(func)) villPre else false
15    println("[REF] --- avl:" + avl + " vsew:" + vsew + " vlmul:" + vlmul + " vta:" + vta + " vma:" + vma + " vill:" + vill + " func:" + func.toBinaryString + " oldVL:" + oldVL)
16    val isKeepVl   = this.isKeepVL(func)
17    val isSetVlmax = this.isSetVlmax(func)
18    val isVsetivli = this.isVsetivli(func)
19
20    val vsewValue  = 1 << vsew + 3
21    val vflmul: Double = if ((vlmul & 0x4) == 0) 1 << vlmul else 1.0 / (1 << ((vlmul ^ 0x7) + 1))
22    val vlmax = (VLEN/vsewValue) * vflmul
23
24    println("[REF] --- vsewValue: " + vsewValue + " vflmul: " + vflmul + " vlmax: " + vlmax)
25
26    val villegal = !(vflmul >= 0.125 && vflmul <= 8) || vsewValue > (vflmul min 1.0f) * ELEN || vill
27
28    // set vl
29    val vl = if(isVsetivli) {
30      if(avl > vlmax) vlmax else avl
31    }else if (isKeepVl) {
32      oldVL
33    } else if (isSetVlmax) {
34      vlmax
35    } else {
36      if(avl > vlmax) vlmax else avl
37    }
38    if (villegal) {
39      (0, true, false, false, 0, 0)
40    }else{
41      (vl.toInt, villegal, vta, vma, vsew, vlmul)
42    }
43  }
44
45}
46