Merge remote-tracking branch 'origin/main' into 176-missing-descripti…

…on-for-mip-csr

arch/inst/B/slli.uw.yaml

@@ -12,10 +12,10 @@ slli.uw:
     anyOf: [B, Zba]
   base: 64
   encoding:
-    match: 0000010----------001-----0011011
+    match: 000010-----------001-----0011011
     variables:
     - name: shamt
-      location: 24-20
+      location: 25-20
     - name: rs1
       location: 19-15
     - name: rd

arch/inst/C/c.lui.yaml

@@ -3,9 +3,9 @@
 c.lui:
   long_name: Load the non-zero 6-bit immediate field into bits 17–12 of the destination register
   description: |
-    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. 
-    C.LUI expands into `lui rd, imm`. 
-    C.LUI is only valid when rd≠x0 and rd≠x2, and when the immediate is not equal to zero. 
+    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.
+    C.LUI expands into `lui rd, imm`.
+    C.LUI is only valid when rd≠x0 and rd≠x2, and when the immediate is not equal to zero.
     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
   definedBy:
     anyOf:
@@ -20,8 +20,7 @@ c.lui:
       left_shift: 12
     - name: rd
       location: 11-7
-      not: 0
-      not: 2
+      not: [0, 2]
   access:
     s: always
     u: always
@@ -33,4 +32,3 @@ c.lui:
     }
 
     X[rd] = imm;
-

arch/inst/I/lb.yaml

@@ -9,7 +9,7 @@ lb:
   definedBy: I
   assembly: xd, imm(rs1)
   encoding:
-    match: -----------------000-----0000111
+    match: -----------------000-----0000011
     variables:
     - name: imm
       location: 31-20

arch/inst/I/lbu.yaml

@@ -9,7 +9,7 @@ lbu:
   definedBy: I
   assembly: xd, imm(rs1)
   encoding:
-    match: -----------------100-----0000111
+    match: -----------------100-----0000011
     variables:
     - name: imm
       location: 31-20

arch/inst/I/ld.yaml

@@ -9,7 +9,7 @@ ld:
   base: 64
   assembly: xd, imm(rs1)
   encoding:
-    match: -----------------011-----0000111
+    match: -----------------011-----0000011
     variables:
     - name: imm
       location: 31-20

arch/inst/I/lh.yaml

@@ -9,7 +9,7 @@ lh:
   definedBy: I
   assembly: xd, imm(rs1)
   encoding:
-    match: -----------------001-----0000111
+    match: -----------------001-----0000011
     variables:
     - name: imm
       location: 31-20

arch/inst/I/lhu.yaml

@@ -9,7 +9,7 @@ lhu:
   definedBy: I
   assembly: xd, imm(rs1)
   encoding:
-    match: -----------------101-----0000111
+    match: -----------------101-----0000011
     variables:
     - name: imm
       location: 31-20

arch/inst/I/lui.yaml

@@ -6,7 +6,7 @@ lui:
   definedBy: I
   assembly: xd, imm
   encoding:
-    match: -------------------------0000111
+    match: -------------------------0110111
     variables:
     - name: imm
       location: 31-12

arch/inst/I/lw.yaml

@@ -9,7 +9,7 @@ lw:
   definedBy: I
   assembly: xd, imm(rs1)
   encoding:
-    match: -----------------010-----0000111
+    match: -----------------010-----0000011
     variables:
     - name: imm
       location: 31-20

arch/inst/I/lwu.yaml

@@ -10,7 +10,7 @@ lwu:
   base: 64
   assembly: xd, imm(rs1)
   encoding:
-    match: -----------------110-----0000111
+    match: -----------------110-----0000011
     variables:
     - name: imm
       location: 31-20

arch/inst/V/vle16.v.yaml

@@ -5,12 +5,10 @@ vle16.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, xs1, vd
+  assembly: vm, xs1, vd
   encoding:
-    match: ---000-00000-----101-----0000111
+    match: 000000-00000-----101-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: rs1

arch/inst/V/vle16ff.v.yaml

@@ -5,12 +5,10 @@ vle16ff.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, xs1, vd
+  assembly: vm, xs1, vd
   encoding:
-    match: ---000-10000-----101-----0000111
+    match: 000000-10000-----101-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: rs1

arch/inst/V/vle32.v.yaml

@@ -5,12 +5,10 @@ vle32.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, xs1, vd
+  assembly: vm, xs1, vd
   encoding:
-    match: ---000-00000-----110-----0000111
+    match: 000000-00000-----110-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: rs1

arch/inst/V/vle32ff.v.yaml

@@ -5,12 +5,10 @@ vle32ff.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, xs1, vd
+  assembly: vm, xs1, vd
   encoding:
-    match: ---000-10000-----110-----0000111
+    match: 000000-10000-----110-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: rs1

arch/inst/V/vle64.v.yaml

@@ -5,12 +5,10 @@ vle64.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, xs1, vd
+  assembly: vm, xs1, vd
   encoding:
-    match: ---000-00000-----111-----0000111
+    match: 000000-00000-----111-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: rs1

arch/inst/V/vle64ff.v.yaml

@@ -5,12 +5,10 @@ vle64ff.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, xs1, vd
+  assembly: vm, xs1, vd
   encoding:
-    match: ---000-10000-----111-----0000111
+    match: 000000-10000-----111-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: rs1

arch/inst/V/vle8.v.yaml

@@ -5,12 +5,10 @@ vle8.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, xs1, vd
+  assembly: vm, xs1, vd
   encoding:
-    match: ---000-00000-----000-----0000111
+    match: 000000-00000-----000-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: rs1

arch/inst/V/vle8ff.v.yaml

@@ -5,12 +5,10 @@ vle8ff.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, xs1, vd
+  assembly: vm, xs1, vd
   encoding:
-    match: ---000-10000-----000-----0000111
+    match: 000000-10000-----000-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: rs1

arch/inst/V/vloxei16.v.yaml

@@ -5,12 +5,10 @@ vloxei16.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, vs2, xs1, vd
+  assembly: vm, vs2, xs1, vd
   encoding:
-    match: ---011-----------101-----0000111
+    match: 000011-----------101-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: vs2

arch/inst/V/vloxei32.v.yaml

@@ -5,12 +5,10 @@ vloxei32.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, vs2, xs1, vd
+  assembly: vm, vs2, xs1, vd
   encoding:
-    match: ---011-----------110-----0000111
+    match: 000011-----------110-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: vs2

arch/inst/V/vloxei64.v.yaml

@@ -5,12 +5,10 @@ vloxei64.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, vs2, xs1, vd
+  assembly: vm, vs2, xs1, vd
   encoding:
-    match: ---011-----------111-----0000111
+    match: 000011-----------111-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: vs2

arch/inst/V/vloxei8.v.yaml

@@ -5,12 +5,10 @@ vloxei8.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, vs2, xs1, vd
+  assembly: vm, vs2, xs1, vd
   encoding:
-    match: ---011-----------000-----0000111
+    match: 000011-----------000-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: vs2

arch/inst/V/vlse16.v.yaml

@@ -5,12 +5,10 @@ vlse16.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, xs2, xs1, vd
+  assembly: vm, xs2, xs1, vd
   encoding:
-    match: ---010-----------101-----0000111
+    match: 000010-----------101-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: rs2

arch/inst/V/vlse32.v.yaml

@@ -5,12 +5,10 @@ vlse32.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, xs2, xs1, vd
+  assembly: vm, xs2, xs1, vd
   encoding:
-    match: ---010-----------110-----0000111
+    match: 000010-----------110-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: rs2

arch/inst/V/vlse64.v.yaml

@@ -5,12 +5,10 @@ vlse64.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, xs2, xs1, vd
+  assembly: vm, xs2, xs1, vd
   encoding:
-    match: ---010-----------111-----0000111
+    match: 000010-----------111-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: rs2

arch/inst/V/vlse8.v.yaml

@@ -5,12 +5,10 @@ vlse8.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, xs2, xs1, vd
+  assembly: vm, xs2, xs1, vd
   encoding:
-    match: ---010-----------000-----0000111
+    match: 000010-----------000-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: rs2

arch/inst/V/vluxei16.v.yaml

@@ -5,12 +5,10 @@ vluxei16.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, vs2, xs1, vd
+  assembly: vm, vs2, xs1, vd
   encoding:
-    match: ---001-----------101-----0000111
+    match: 000001-----------101-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: vs2

arch/inst/V/vluxei32.v.yaml

@@ -5,12 +5,10 @@ vluxei32.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, vs2, xs1, vd
+  assembly: vm, vs2, xs1, vd
   encoding:
-    match: ---001-----------110-----0000111
+    match: 000001-----------110-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: vs2

arch/inst/V/vluxei64.v.yaml

@@ -5,12 +5,10 @@ vluxei64.v:
   description: |
       No description available.
   definedBy: V
-  assembly: nf, vm, vs2, xs1, vd
+  assembly: vm, vs2, xs1, vd
   encoding:
-    match: ---001-----------111-----0000111
+    match: 000001-----------111-----0000111
     variables:
-    - name: nf
-      location: 31-29
     - name: vm
       location: 25-25
     - name: vs2