Skip to content

Commit d7cee8f

Browse files
committed
fix(data): fix field names to be closer to operands
- `dret`, `mnret`, and `sctrclr` take no operands. - `sspush` and `sspopchk` are each single mnemonics that take a very restricted set of operand values. Also include a bit of documentation. - `vaeskf1.vi`, `vaeskf2.vi`, `vsm3c.vi`, `vsm4k.vi`, `vwsll.vi`: renamed field to match operand.
1 parent 810ef93 commit d7cee8f

File tree

14 files changed

+131
-100
lines changed

14 files changed

+131
-100
lines changed

spec/std/isa/inst/Sdext/dret.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ long_name: No synopsis available
1010
description: |
1111
No description available.
1212
definedBy: Sdext
13-
assembly: dret
13+
assembly: ""
1414
encoding:
1515
match: "01111011001000000000000001110011"
1616
variables: []

spec/std/isa/inst/Smdbltrp/sctrclr.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ long_name: No synopsis available
1010
description: |
1111
No description available.
1212
definedBy: Smdbltrp
13-
assembly: sctrclr
13+
assembly: ""
1414
encoding:
1515
match: "00010000010000000000000001110011"
1616
variables: []

spec/std/isa/inst/Smrnmi/mnret.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ description: |
1414
also sets mstatus.MPRV to 0. If the Zicfilp extension is implemented, then if the new privileged mode is
1515
y, MNRET sets ELP to the logical AND of yLPE (see Section 22.1.1) and mnstatus.MNPELP.
1616
definedBy: Smrnmi
17-
assembly: mnret
17+
assembly: ""
1818
encoding:
1919
match: "01110000001000000000000001110011"
2020
variables: []

spec/std/isa/inst/Zicfiss/sspopchk.x1.yaml

Lines changed: 0 additions & 23 deletions
This file was deleted.

spec/std/isa/inst/Zicfiss/sspopchk.x5.yaml

Lines changed: 0 additions & 23 deletions
This file was deleted.
Lines changed: 61 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,61 @@
1+
# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
2+
# SPDX-License-Identifier: BSD-3-Clause-Clear
3+
4+
# yaml-language-server: $schema=../../../../schemas/inst_schema.json
5+
6+
$schema: inst_schema.json#
7+
kind: instruction
8+
name: sspopchk
9+
long_name: Shadow Stack Pop
10+
description: |
11+
A shadow stack pop operation is defined as an XLEN wide read from the current
12+
top of the shadow stack followed by an increment of the ssp by XLEN/8.
13+
14+
Only x1 and x5 registers are supported as xs1 for SSPOPCHK.
15+
definedBy: Zicfiss
16+
assembly: xs1
17+
encoding:
18+
match: 110011011100-----100000000110011
19+
variables:
20+
- name: xs1
21+
location: 19-15
22+
not:
23+
[
24+
0,
25+
2,
26+
3,
27+
4,
28+
6,
29+
7,
30+
8,
31+
9,
32+
10,
33+
11,
34+
12,
35+
13,
36+
14,
37+
15,
38+
16,
39+
17,
40+
18,
41+
19,
42+
20,
43+
21,
44+
22,
45+
23,
46+
24,
47+
25,
48+
26,
49+
27,
50+
28,
51+
29,
52+
30,
53+
31,
54+
]
55+
access:
56+
s: always
57+
u: always
58+
vs: always
59+
vu: always
60+
data_independent_timing: false
61+
operation(): |

spec/std/isa/inst/Zicfiss/sspush.x1.yaml

Lines changed: 0 additions & 23 deletions
This file was deleted.

spec/std/isa/inst/Zicfiss/sspush.x5.yaml

Lines changed: 0 additions & 23 deletions
This file was deleted.

spec/std/isa/inst/Zicfiss/sspush.yaml

Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,62 @@
1+
# Copyright (c) Qualcomm Technologies, Inc. and/or its subsidiaries.
2+
# SPDX-License-Identifier: BSD-3-Clause-Clear
3+
4+
# yaml-language-server: $schema=../../../../schemas/inst_schema.json
5+
6+
$schema: inst_schema.json#
7+
kind: instruction
8+
name: sspush
9+
long_name: Shadow Stack Push
10+
description: |
11+
A shadow stack push operation is defined as decrement of the ssp by XLEN/8
12+
followed by a store of the value in the link register to memory at the new
13+
top of the shadow stack.
14+
15+
Only x1 and x5 registers are supported as xs2 for SSPUSH.
16+
definedBy: Zicfiss
17+
assembly: xs2
18+
encoding:
19+
match: "1100111-----00000100000001110011"
20+
variables:
21+
- name: xs2
22+
location: 24-20
23+
not:
24+
[
25+
0,
26+
2,
27+
3,
28+
4,
29+
6,
30+
7,
31+
8,
32+
9,
33+
10,
34+
11,
35+
12,
36+
13,
37+
14,
38+
15,
39+
16,
40+
17,
41+
18,
42+
19,
43+
20,
44+
21,
45+
22,
46+
23,
47+
24,
48+
25,
49+
26,
50+
27,
51+
28,
52+
29,
53+
30,
54+
31,
55+
]
56+
access:
57+
s: always
58+
u: always
59+
vs: always
60+
vu: always
61+
data_independent_timing: false
62+
operation(): |

spec/std/isa/inst/Zvbb/vwsll.vi.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ encoding:
1818
location: 25-25
1919
- name: vs2
2020
location: 24-20
21-
- name: zimm5
21+
- name: imm
2222
location: 19-15
2323
- name: vd
2424
location: 11-7

0 commit comments

Comments
 (0)