Skip to content

Commit cec5c43

Browse files
Merge remote-tracking branch 'origin/main' into 176-missing-description-for-mip-csr
2 parents 5d203dd + 3d1039c commit cec5c43

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

47 files changed

+87
-161
lines changed

arch/inst/B/slli.uw.yaml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,10 +12,10 @@ slli.uw:
1212
anyOf: [B, Zba]
1313
base: 64
1414
encoding:
15-
match: 0000010----------001-----0011011
15+
match: 000010-----------001-----0011011
1616
variables:
1717
- name: shamt
18-
location: 24-20
18+
location: 25-20
1919
- name: rs1
2020
location: 19-15
2121
- name: rd

arch/inst/C/c.lui.yaml

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,9 @@
33
c.lui:
44
long_name: Load the non-zero 6-bit immediate field into bits 17–12 of the destination register
55
description: |
6-
C.LUI loads the non-zero 6-bit immediate field into bits 17–12 of the destination register, clears the bottom 12 bits, and sign-extends bit 17 into all higher bits of the destination.
7-
C.LUI expands into `lui rd, imm`.
8-
C.LUI is only valid when rd≠x0 and rd≠x2, and when the immediate is not equal to zero.
6+
C.LUI loads the non-zero 6-bit immediate field into bits 17–12 of the destination register, clears the bottom 12 bits, and sign-extends bit 17 into all higher bits of the destination.
7+
C.LUI expands into `lui rd, imm`.
8+
C.LUI is only valid when rd≠x0 and rd≠x2, and when the immediate is not equal to zero.
99
The code points with imm=0 are reserved; the remaining code points with rd=x0 are HINTs; and the remaining code points with rd=x2 correspond to the C.ADDI16SP instruction
1010
definedBy:
1111
anyOf:
@@ -20,8 +20,7 @@ c.lui:
2020
left_shift: 12
2121
- name: rd
2222
location: 11-7
23-
not: 0
24-
not: 2
23+
not: [0, 2]
2524
access:
2625
s: always
2726
u: always
@@ -33,4 +32,3 @@ c.lui:
3332
}
3433
3534
X[rd] = imm;
36-

arch/inst/I/lb.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ lb:
99
definedBy: I
1010
assembly: xd, imm(rs1)
1111
encoding:
12-
match: -----------------000-----0000111
12+
match: -----------------000-----0000011
1313
variables:
1414
- name: imm
1515
location: 31-20

arch/inst/I/lbu.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ lbu:
99
definedBy: I
1010
assembly: xd, imm(rs1)
1111
encoding:
12-
match: -----------------100-----0000111
12+
match: -----------------100-----0000011
1313
variables:
1414
- name: imm
1515
location: 31-20

arch/inst/I/ld.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ ld:
99
base: 64
1010
assembly: xd, imm(rs1)
1111
encoding:
12-
match: -----------------011-----0000111
12+
match: -----------------011-----0000011
1313
variables:
1414
- name: imm
1515
location: 31-20

arch/inst/I/lh.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ lh:
99
definedBy: I
1010
assembly: xd, imm(rs1)
1111
encoding:
12-
match: -----------------001-----0000111
12+
match: -----------------001-----0000011
1313
variables:
1414
- name: imm
1515
location: 31-20

arch/inst/I/lhu.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ lhu:
99
definedBy: I
1010
assembly: xd, imm(rs1)
1111
encoding:
12-
match: -----------------101-----0000111
12+
match: -----------------101-----0000011
1313
variables:
1414
- name: imm
1515
location: 31-20

arch/inst/I/lui.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ lui:
66
definedBy: I
77
assembly: xd, imm
88
encoding:
9-
match: -------------------------0000111
9+
match: -------------------------0110111
1010
variables:
1111
- name: imm
1212
location: 31-12

arch/inst/I/lw.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ lw:
99
definedBy: I
1010
assembly: xd, imm(rs1)
1111
encoding:
12-
match: -----------------010-----0000111
12+
match: -----------------010-----0000011
1313
variables:
1414
- name: imm
1515
location: 31-20

arch/inst/I/lwu.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ lwu:
1010
base: 64
1111
assembly: xd, imm(rs1)
1212
encoding:
13-
match: -----------------110-----0000111
13+
match: -----------------110-----0000011
1414
variables:
1515
- name: imm
1616
location: 31-20

0 commit comments

Comments
 (0)