Skip to content

Commit 1e9dbf7

Browse files
AFOliveiraAFOliveira
committed
Added Zk instructions
Signed-off-by: Afonso Oliveira <[email protected]>
1 parent 760ad67 commit 1e9dbf7

28 files changed

+743
-0
lines changed

‎arch/inst/Zk/aes32dsi.yaml‎

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
# yaml-language-server: $schema=../../../schemas/inst_schema.json
2+
3+
aes32dsi:
4+
long_name: No synopsis available.
5+
description: |
6+
No description available.
7+
definedBy:
8+
anyOf: [Zk, Zkn, Zknd]
9+
base: 32
10+
assembly: xd, xs1, xs2, bs
11+
encoding:
12+
match: --10101----------000-----0110011
13+
variables:
14+
- name: bs
15+
location: 31-30
16+
- name: rs2
17+
location: 24-20
18+
- name: rs1
19+
location: 19-15
20+
- name: rd
21+
location: 11-7
22+
access:
23+
s: always
24+
u: always
25+
vs: always
26+
vu: always
27+
data_independent_timing: true
28+
operation(): |
29+

‎arch/inst/Zk/aes32dsmi.yaml‎

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
# yaml-language-server: $schema=../../../schemas/inst_schema.json
2+
3+
aes32dsmi:
4+
long_name: No synopsis available.
5+
description: |
6+
No description available.
7+
definedBy:
8+
anyOf: [Zk, Zkn, Zknd]
9+
base: 32
10+
assembly: xd, xs1, xs2, bs
11+
encoding:
12+
match: --10111----------000-----0110011
13+
variables:
14+
- name: bs
15+
location: 31-30
16+
- name: rs2
17+
location: 24-20
18+
- name: rs1
19+
location: 19-15
20+
- name: rd
21+
location: 11-7
22+
access:
23+
s: always
24+
u: always
25+
vs: always
26+
vu: always
27+
data_independent_timing: true
28+
operation(): |
29+

‎arch/inst/Zk/aes32esi.yaml‎

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
# yaml-language-server: $schema=../../../schemas/inst_schema.json
2+
3+
aes32esi:
4+
long_name: No synopsis available.
5+
description: |
6+
No description available.
7+
definedBy:
8+
anyOf: [Zk, Zkn, Zkne]
9+
base: 32
10+
assembly: xd, xs1, xs2, bs
11+
encoding:
12+
match: --10001----------000-----0110011
13+
variables:
14+
- name: bs
15+
location: 31-30
16+
- name: rs2
17+
location: 24-20
18+
- name: rs1
19+
location: 19-15
20+
- name: rd
21+
location: 11-7
22+
access:
23+
s: always
24+
u: always
25+
vs: always
26+
vu: always
27+
data_independent_timing: true
28+
operation(): |
29+

‎arch/inst/Zk/aes32esmi.yaml‎

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
# yaml-language-server: $schema=../../../schemas/inst_schema.json
2+
3+
aes32esmi:
4+
long_name: No synopsis available.
5+
description: |
6+
No description available.
7+
definedBy:
8+
anyOf: [Zk, Zkn, Zkne]
9+
base: 32
10+
assembly: xd, xs1, xs2, bs
11+
encoding:
12+
match: --10011----------000-----0110011
13+
variables:
14+
- name: bs
15+
location: 31-30
16+
- name: rs2
17+
location: 24-20
18+
- name: rs1
19+
location: 19-15
20+
- name: rd
21+
location: 11-7
22+
access:
23+
s: always
24+
u: always
25+
vs: always
26+
vu: always
27+
data_independent_timing: true
28+
operation(): |
29+

‎arch/inst/Zk/aes64ds.yaml‎

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
# yaml-language-server: $schema=../../../schemas/inst_schema.json
2+
3+
aes64ds:
4+
long_name: No synopsis available.
5+
description: |
6+
No description available.
7+
definedBy:
8+
anyOf: [Zk, Zkn, Zknd]
9+
base: 64
10+
assembly: xd, xs1, xs2
11+
encoding:
12+
match: 0011101----------000-----0110011
13+
variables:
14+
- name: rs2
15+
location: 24-20
16+
- name: rs1
17+
location: 19-15
18+
- name: rd
19+
location: 11-7
20+
access:
21+
s: always
22+
u: always
23+
vs: always
24+
vu: always
25+
data_independent_timing: true
26+
operation(): |
27+

‎arch/inst/Zk/aes64dsm.yaml‎

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
# yaml-language-server: $schema=../../../schemas/inst_schema.json
2+
3+
aes64dsm:
4+
long_name: No synopsis available.
5+
description: |
6+
No description available.
7+
definedBy:
8+
anyOf: [Zk, Zkn, Zknd]
9+
base: 64
10+
assembly: xd, xs1, xs2
11+
encoding:
12+
match: 0011111----------000-----0110011
13+
variables:
14+
- name: rs2
15+
location: 24-20
16+
- name: rs1
17+
location: 19-15
18+
- name: rd
19+
location: 11-7
20+
access:
21+
s: always
22+
u: always
23+
vs: always
24+
vu: always
25+
data_independent_timing: true
26+
operation(): |
27+

‎arch/inst/Zk/aes64es.yaml‎

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
# yaml-language-server: $schema=../../../schemas/inst_schema.json
2+
3+
aes64es:
4+
long_name: No synopsis available.
5+
description: |
6+
No description available.
7+
definedBy:
8+
anyOf: [Zk, Zkn, Zkne]
9+
base: 64
10+
assembly: xd, xs1, xs2
11+
encoding:
12+
match: 0011001----------000-----0110011
13+
variables:
14+
- name: rs2
15+
location: 24-20
16+
- name: rs1
17+
location: 19-15
18+
- name: rd
19+
location: 11-7
20+
access:
21+
s: always
22+
u: always
23+
vs: always
24+
vu: always
25+
data_independent_timing: true
26+
operation(): |
27+

‎arch/inst/Zk/aes64esm.yaml‎

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
# yaml-language-server: $schema=../../../schemas/inst_schema.json
2+
3+
aes64esm:
4+
long_name: No synopsis available.
5+
description: |
6+
No description available.
7+
definedBy:
8+
anyOf: [Zk, Zkn, Zkne]
9+
base: 64
10+
assembly: xd, xs1, xs2
11+
encoding:
12+
match: 0011011----------000-----0110011
13+
variables:
14+
- name: rs2
15+
location: 24-20
16+
- name: rs1
17+
location: 19-15
18+
- name: rd
19+
location: 11-7
20+
access:
21+
s: always
22+
u: always
23+
vs: always
24+
vu: always
25+
data_independent_timing: true
26+
operation(): |
27+

‎arch/inst/Zk/aes64im.yaml‎

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
# yaml-language-server: $schema=../../../schemas/inst_schema.json
2+
3+
aes64im:
4+
long_name: No synopsis available.
5+
description: |
6+
No description available.
7+
definedBy:
8+
anyOf: [Zk, Zkn, Zknd]
9+
base: 64
10+
assembly: xd, xs1
11+
encoding:
12+
match: 001100000000-----001-----0010011
13+
variables:
14+
- name: rs1
15+
location: 19-15
16+
- name: rd
17+
location: 11-7
18+
access:
19+
s: always
20+
u: always
21+
vs: always
22+
vu: always
23+
data_independent_timing: true
24+
operation(): |
25+

‎arch/inst/Zk/aes64ks1i.yaml‎

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
# yaml-language-server: $schema=../../../schemas/inst_schema.json
2+
3+
aes64ks1i:
4+
long_name: No synopsis available.
5+
description: |
6+
No description available.
7+
definedBy:
8+
anyOf: [Zk, Zkn, Zknd, Zkne]
9+
base: 64
10+
assembly: xd, xs1, rnum
11+
encoding:
12+
match: 00110001---------001-----0010011
13+
variables:
14+
- name: rnum
15+
location: 23-20
16+
- name: rs1
17+
location: 19-15
18+
- name: rd
19+
location: 11-7
20+
access:
21+
s: always
22+
u: always
23+
vs: always
24+
vu: always
25+
data_independent_timing: true
26+
operation(): |
27+

0 commit comments

Comments
 (0)