Skip to content

Commit

Permalink
Integrated support for Zvkned, Zvknha, Zvksed and Zvksh (#46)
Browse files Browse the repository at this point in the history
* [GSOC] added configs for Zvkned

* [GSOC] implemented Generator for VdVs2Uimm format

* [GSOC] added zvkned in prefix

* [GSOC] added configs for Zvksed

* [GSOC] modified generator to support zvksed

* [GSOC] added configs for Zvknha

* [GSOC] modified generator to support zvknha

* [GSOC] added configs for zvksh

* [GSOC] modified generator to support Zvksh

* [GSOC] fixed naming conventions
  • Loading branch information
SyedHassanUlHaq authored Aug 23, 2024
1 parent da84f78 commit 82fef98
Show file tree
Hide file tree
Showing 25 changed files with 475 additions and 10 deletions.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ CONFIGS = configs/

SPIKE = spike
PATCHER_SPIKE = build/pspike
MARCH = rv${XLEN}gcv_zvbb_zvbc_zvkg
MARCH = rv${XLEN}gcv_zvbb_zvbc_zvkg_zvkned_zvknha_zvksed_zvksh
MABI = lp64d

ifeq ($(XLEN), 32)
Expand Down
12 changes: 12 additions & 0 deletions Makefrag
Original file line number Diff line number Diff line change
Expand Up @@ -105,6 +105,10 @@ tests = \
vadd_vx-5 \
vadd_vx-6 \
vadd_vx-7 \
vaeskf1_vi-0 \
vaeskf1_vi-1 \
vaeskf2_vi-0 \
vaeskf2_vi-1 \
vand_vi-0 \
vand_vi-1 \
vand_vi-2 \
Expand Down Expand Up @@ -1265,6 +1269,9 @@ tests = \
vsext_vf2-1 \
vsext_vf4-0 \
vsext_vf8-0 \
vsha2ch_vv-0 \
vsha2cl_vv-0 \
vsha2ms_vv-0 \
vslide1down_vx-0 \
vslide1down_vx-1 \
vslide1down_vx-2 \
Expand Down Expand Up @@ -1323,6 +1330,11 @@ tests = \
vsll_vx-5 \
vsll_vx-6 \
vsll_vx-7 \
vsm3c_vi-0 \
vsm3c_vi-1 \
vsm3me_vv-0 \
vsm4k_vi-0 \
vsm4k_vi-1 \
vsm_v-0 \
vsmul_vv-0 \
vsmul_vv-1 \
Expand Down
19 changes: 19 additions & 0 deletions configs/vaesdf.vs.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vaesdf.vs"
format = "vd,vs2"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vaesdf.vv.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vaesdf.vv"
format = "vd,vs2"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vaesdm.vs.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vaesdm.vs"
format = "vd,vs2"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vaesdm.vv.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vaesdm.vv"
format = "vd,vs2"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vaesef.vs.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vaesef.vs"
format = "vd,vs2"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vaesef.vv.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vaesef.vv"
format = "vd,vs2"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vaesem.vs.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vaesem.vs"
format = "vd,vs2"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vaesem.vv.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vaesem.vv"
format = "vd,vs2"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vaeskf1.vi.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vaeskf1.vi"
format = "vd,vs2,uimm"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vaeskf2.vi.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vaeskf2.vi"
format = "vd,vs2,uimm"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vaesz.vs.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vaesz.vs"
format = "vd,vs2"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vsha2ch.vv.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vsha2ch.vv"
format = "vd,vs2,vs1"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vsha2cl.vv.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vsha2cl.vv"
format = "vd,vs2,vs1"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vsha2ms.vv.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vsha2ms.vv"
format = "vd,vs2,vs1"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vsm3c.vi.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vsm3c.vi"
format = "vd,vs2,uimm"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vsm3me.vv.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vsm3me.vv"
format = "vd,vs2,vs1"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
19 changes: 19 additions & 0 deletions configs/vsm4k.vi.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vsm4k.vi"
format = "vd,vs2,uimm"

[tests]
base = [
[0x0, 0x0],
[0x1, 0x2],
[0x3, 0xf]
]

sew32 = [
[0xfffffff8, 0x00000000],
[0xffffff80, 0xfffffff8],
[0x00007fff, 0x00000000],
[0x00007fff, 0x000007ff],
[0x00007fff, 0x00000001],
[0xffffffff, 0x00000000],
[0xffffffff, 0xffffffff]
]
Loading

0 comments on commit 82fef98

Please sign in to comment.