add format to A/ B D/ F/ H/ I/ M/ Q/ S Sdext/ Smdbltrp/ Smrnmi/ Svinv…

…al/ Zabha/ Zalasr/ Zawrs/ Zbkb/ Zbkx/ Zfbfmin/ Zfh/ Zicbom/ Zicboz/ Zicfilp/ Zicfiss/ Zicond/ Zicsr/ Zifencei/ Zimop/ Zk Zks/

Signed-off-by: Afonso Oliveira <[email protected]>

arch/inst/A/amoadd.d.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amoadd.d
 long_name: Atomic fetch-and-add doubleword
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amoadd.w.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amoadd.w
 long_name: Atomic fetch-and-add word
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amoand.d.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amoand.d
 long_name: Atomic fetch-and-and doubleword
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amoand.w.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amoand.w
 long_name: Atomic fetch-and-and word
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amomax.d.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amomax.d
 long_name: Atomic MAX doubleword
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amomax.w.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amomax.w
 long_name: Atomic MAX word
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amomaxu.d.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amomaxu.d
 long_name: Atomic MAX unsigned doubleword
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amomaxu.w.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amomaxu.w
 long_name: Atomic MAX unsigned word
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amomin.d.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amomin.d
 long_name: Atomic MIN doubleword
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amomin.w.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amomin.w
 long_name: Atomic MIN word
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amominu.d.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amominu.d
 long_name: Atomic MIN unsigned doubleword
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amominu.w.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amominu.w
 long_name: Atomic MIN unsigned word
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amoor.d.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amoor.d
 long_name: Atomic fetch-and-or doubleword
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amoor.w.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amoor.w
 long_name: Atomic fetch-and-or word
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amoswap.d.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amoswap.d
 long_name: Atomic SWAP doubleword
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amoswap.w.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amoswap.w
 long_name: Atomic SWAP word
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amoxor.d.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amoxor.d
 long_name: Atomic fetch-and-xor doubleword
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/amoxor.w.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: amoxor.w
 long_name: Atomic fetch-and-xor word
+format: R-type
 description: |
   Atomically:
 

arch/inst/A/lr.d.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: lr.d
 long_name: Load reserved doubleword
+format: I-type
 description: |
   Loads a word from the address in rs1, places the value in rd,
   and registers a _reservation set_  -- a set of bytes that subsumes the bytes in the

arch/inst/A/lr.w.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: lr.w
 long_name: Load reserved word
+format: I-type
 description: |
   Loads a word from the address in rs1, places the sign-extended value in rd,
   and registers a _reservation set_  -- a set of bytes that subsumes the bytes in the

arch/inst/A/sc.d.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: sc.d
 long_name: Store conditional doubleword
+format: R-type
 description: |
   `sc.d` conditionally writes a doubleword in _rs2_ to the address in _rs1_:
   the `sc.d` succeeds only if the reservation is still valid and the

arch/inst/A/sc.w.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: sc.w
 long_name: Store conditional word
+format: R-type
 description: |
   `sc.w` conditionally writes a word in _rs2_ to the address in _rs1_:
   the `sc.w` succeeds only if the reservation is still valid and the

arch/inst/B/add.uw.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: add.uw
 long_name: Add unsigned word
+format: R-type
 base: 64
 description: |
   This instruction performs an XLEN-wide addition between rs2 and the

arch/inst/B/andn.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: andn
 long_name: AND with inverted operand
+format: R-type
 description: |
   This instruction performs the bitwise logical AND operation between `rs1` and the
   bitwise inversion of `rs2`.

arch/inst/B/bclr.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: bclr
 long_name: Single-Bit clear (Register)
+format: R-type
 description: |
   This instruction returns rs1 with a single bit cleared at the index specified in rs2.
   The index is read from the lower log2(XLEN) bits of rs2.

arch/inst/B/bclri.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: bclri
 long_name: Single-Bit clear (Immediate)
+format: I-type
 description: |
   This instruction returns rs1 with a single bit cleared at the index specified in shamt. The
   index is read from the lower log2(XLEN) bits of shamt. For RV32, the encodings corresponding

arch/inst/B/bext.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: bext
 long_name: Single-Bit extract (Register)
+format: R-type
 description: |
   This instruction returns a single bit extracted from rs1 at the index specified in rs2.
   The index is read from the lower log2(XLEN) bits of rs2.

arch/inst/B/bexti.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: bexti
 long_name: Single-Bit extract (Immediate)
+format: I-type
 description: |
   This instruction returns a single bit extracted from rs1 at the index specified in rs2.
   The index is read from the lower log2(XLEN) bits of shamt. For RV32, the encodings

arch/inst/B/binv.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: binv
 long_name: Single-Bit invert (Register)
+format: R-type
 description: |
   This instruction returns rs1 with a single bit inverted at the index specified in rs2.
   The index is read from the lower log2(XLEN) bits of rs2.

arch/inst/B/binvi.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: binvi
 long_name: Single-Bit invert (Immediate)
+format: I-type
 description: |
   This instruction returns rs1 with a single bit inverted at the index specified in shamt.
   The index is read from the lower log2(XLEN) bits of shamt.

arch/inst/B/bset.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: bset
 long_name: Single-Bit set (Register)
+format: R-type
 description: |
   This instruction returns rs1 with a single bit set at the index specified in rs2.
   The index is read from the lower log2(XLEN) bits of rs2.

arch/inst/B/bseti.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: bseti
 long_name: Single-Bit set (Immediate)
+format: I-type
 description: |
   This instruction returns rs1 with a single bit set at the index specified in shamt.
   The index is read from the lower log2(XLEN) bits of shamt.

arch/inst/B/clmul.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: clmul
 long_name: Carry-less multiply (low-part)
+format: R-type
 description: |
   `clmul` produces the lower half of the 2*XLEN carry-less product
 definedBy:

arch/inst/B/clmulh.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: clmulh
 long_name: Carry-less multiply (high-part)
+format: R-type
 description: |
   `clmulh` produces the upper half of the 2*XLEN carry-less product
 definedBy:

arch/inst/B/clmulr.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: clmulr
 long_name: Carry-less multiply (reversed)
+format: R-type
 description: |
   `clmulr` produces bits 2*XLEN-2:XLEN-1 of the 2*XLEN carry-less product
 definedBy:

arch/inst/B/clz.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: clz
 long_name: Count leading zero bits
+format: R-type
 description: |
   This instruction counts the number of 0's before the first 1,
   starting at the most-significant bit (i.e., XLEN-1) and progressing to bit 0.

arch/inst/B/clzw.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: clzw
 long_name: Count leading zero bits in word
+format: R-type
 description: |
   This instruction counts the number of 0's before the first 1 starting at bit 31 and progressing to bit 0.
   Accordingly, if the least-significant word is 0, the output is 32, and if the most-significant

arch/inst/B/cpop.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: cpop
 long_name: Count set bits
+format: R-type
 description: |
   This instructions counts the number of 1's (i.e., set bits) in the source register.
 

arch/inst/B/cpopw.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: cpopw
 long_name: Count set bits in word
+format: R-type
 description: |
   This instructions counts the number of 1's (i.e., set bits) in the least-significant word of the source register.
 

arch/inst/B/ctz.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: ctz
 long_name: Count trailing zero bits
+format: R-type
 description: |
   This instruction counts the number of 0's before the first 1,
   starting at the least-significant bit (i.e., 0) and progressing

arch/inst/B/ctzw.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: ctzw
 long_name: Count trailing zero bits in word
+format: R-type
 description: |
   This instruction counts the number of 0's before the first 1,
   starting at the least-significant bit (i.e., 0) and progressing

arch/inst/B/max.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: max
 long_name: Maximum
+format: R-type
 description: |
   This instruction returns the larger of two signed integers.
 

arch/inst/B/maxu.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: maxu
 long_name: Unsigned maximum
+format: R-type
 description: |
   This instruction returns the larger of two unsigned integers.
 definedBy:

arch/inst/B/min.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: min
 long_name: Minimum
+format: R-type
 description: |
   This instruction returns the smaller of two signed integers.
 definedBy:

arch/inst/B/minu.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: minu
 long_name: Unsigned minimum
+format: R-type
 description: |
   This instruction returns the smaller of two unsigned integers.
 definedBy:

arch/inst/B/orc.b.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: orc.b
 long_name: Bitware OR-combine, byte granule
+format: R-type
 description: |
   Combines the bits within each byte using bitwise logical OR. This sets the bits
   of each byte in the result rd to all zeros if no bit within the respective byte

arch/inst/B/orn.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: orn
 long_name: OR with inverted operand
+format: R-type
 description: |
   This instruction performs the bitwise logical OR operation between rs1 and the bitwise inversion of rs2.
 definedBy:

arch/inst/B/rev8.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: rev8
 long_name: Byte-reverse register (RV64 encoding)
+format: R-type
 description: |
   This instruction reverses the order of the bytes in rs1.
 

arch/inst/B/rol.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: rol
 long_name: Rotate left (Register)
+format: R-type
 description: |
   This instruction performs a rotate left of rs1 by the amount in least-significant `log2(XLEN)` bits of rs2.
 definedBy:

arch/inst/B/rolw.yaml

@@ -4,6 +4,7 @@ $schema: "inst_schema.json#"
 kind: instruction
 name: rolw
 long_name: Rotate left word (Register)
+format: R-type
 description: |
   This instruction performs a rotate left of the least-significant word of rs1 by the amount in least-significant 5 bits of rs2.
   The resulting word value is sign-extended by copying bit 31 to all of the more-significant bits.