Skip to content

Commit

Permalink
[GSOC] added configs for Zvksed
Browse files Browse the repository at this point in the history
  • Loading branch information
SyedHassanUlHaq committed Aug 21, 2024
1 parent 1e2eea5 commit 7bf31b8
Show file tree
Hide file tree
Showing 3 changed files with 57 additions and 0 deletions.
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]
]
19 changes: 19 additions & 0 deletions configs/vsm4r.vs.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vsm4r.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/vsm4r.vv.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name = "vsm4r.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]
]

0 comments on commit 7bf31b8

Please sign in to comment.