Skip to content

Commit 88bd4ac

Browse files
authored
fix(data): correct assembly in a few places (#809)
- `c.nop` has no operands - For CSR instructions, `imm` should be `csr` to better match Sail - Correct operand order and names
1 parent 014a1dc commit 88bd4ac

File tree

4 files changed

+4
-4
lines changed

4 files changed

+4
-4
lines changed

arch/inst/C/c.nop.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ definedBy:
1010
anyOf:
1111
- C
1212
- Zca
13-
assembly: imm
13+
assembly: ""
1414
encoding:
1515
match: "0000000000000001"
1616
access:

arch/inst/Zicsr/csrrs.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ description: |
1414
corresponding bit to be set in the CSR, if that CSR bit is writable.
1515
Other bits in the CSR are not explicitly written.
1616
definedBy: Zicsr
17-
assembly: xd, imm, xs1
17+
assembly: xd, csr, xs1
1818
encoding:
1919
match: -----------------010-----1110011
2020
variables:

arch/inst/Zicsr/csrrw.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ description: |
1313
If `xd=x0`, then the instruction shall not read the CSR and shall not
1414
cause any of the side effects that might occur on a CSR read.
1515
definedBy: Zicsr
16-
assembly: xd, imm, xs1
16+
assembly: xd, csr, xs1
1717
encoding:
1818
match: -----------------001-----1110011
1919
variables:

arch/inst/Zicsr/csrrwi.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ description: |
1313
If `xd=x0`, then the instruction shall not read the CSR and shall not
1414
cause any of the side effects that might occur on a CSR read.
1515
definedBy: Zicsr
16-
assembly: xd, imm, xs1
16+
assembly: xd, csr, imm
1717
encoding:
1818
match: -----------------101-----1110011
1919
variables:

0 commit comments

Comments
 (0)