Merge branch 'main' into H_CSRs

Author: Shehrozkashif

arch/csr/misa.yaml

@@ -169,6 +169,28 @@ fields:
           .. Execute every in-scope multiply extension instruction
           . check
           .. Check that every multiply extension instruction throws illegal instruction exception
+  Q:
+    location: 16
+    description: |
+      Indicates support for the `Q` (quad precision float) extension.
+
+      [when,"MUTABLE_MISA_Q == true"]
+      --
+      Writing 0 to this field will cause all quad-precision floating point instructions to raise an `IllegalInstruction` exception.
+      --
+    type(): |
+      return MUTABLE_MISA_Q ? CsrFieldType::RW : CsrFieldType::RO;
+    reset_value: 1
+    definedBy: Q
+    sw_write(csr_value): |
+      if ((csr_value.F == 0 || csr_value.D == 0) && csr_value.Q == 1) {
+        return UNDEFINED_LEGAL_DETERMINISTIC;
+      }
+
+      # fall-through; write the intended value
+      return csr_value.Q;
+    legal?(csr_value): |
+      return !(csr_value.Q == 1 && csr_value.D == 0);
   S:
     location: 18
     description: |

arch/ext/Q.yaml

@@ -18,3 +18,9 @@ versions:
     state: ratified
     ratification_date: null
     requires: D
+params:
+  MUTABLE_MISA_Q:
+    description: |
+      Indicates whether or not the `Q` extension can be disabled with the `misa.Q` bit.
+    schema:
+      type: boolean

arch/inst/C/c.ldsp.yaml

@@ -16,7 +16,7 @@ definedBy:
     - C
     - Zca
 base: 64
-assembly: xd, imm(sp)
+assembly: xd, imm
 encoding:
   match: 011-----------10
   variables:

arch/inst/C/c.lwsp.yaml

@@ -14,7 +14,7 @@ definedBy:
   anyOf:
     - C
     - Zca
-assembly: xd, imm(sp)
+assembly: xd, imm
 encoding:
   match: 010-----------10
   variables:

arch/inst/C/c.sdsp.yaml

@@ -14,7 +14,7 @@ definedBy:
     - C
     - Zca
 base: 64
-assembly: xs2, imm(sp)
+assembly: xs2, imm
 encoding:
   match: 111-----------10
   variables:

arch/inst/C/c.swsp.yaml

@@ -13,7 +13,7 @@ definedBy:
   anyOf:
     - C
     - Zca
-assembly: xs2, imm(sp)
+assembly: xs2, imm
 encoding:
   match: 110-----------10
   variables:

arch/inst/Zaamo/amoadd.w.yaml

@@ -12,7 +12,7 @@ description: |
     * Add the least-significant word of register _rs2_ to the loaded value
     * Write the sum to the address in _rs1_
 definedBy: Zaamo
-assembly: xd, xs2, (xrs1)
+assembly: xd, xs2, (xs1)
 encoding:
   match: 00000------------010-----0101111
   variables:

arch/inst/Zaamo/amoand.d.yaml

@@ -13,7 +13,7 @@ description: |
     * Write the result to the address in _rs1_
 definedBy: Zaamo
 base: 64
-assembly: xd, xs2, (xrs1)
+assembly: xd, xs2, (xs1)
 encoding:
   match: 01100------------011-----0101111
   variables:

arch/inst/Zaamo/amoand.w.yaml

@@ -12,7 +12,7 @@ description: |
     * AND the least-significant word of register _rs2_ to the loaded value
     * Write the result to the address in _rs1_
 definedBy: Zaamo
-assembly: xd, xs2, (xrs1)
+assembly: xd, xs2, (xs1)
 encoding:
   match: 01100------------010-----0101111
   variables:

arch/inst/Zaamo/amomax.d.yaml

@@ -13,7 +13,7 @@ description: |
     * Write the maximum to the address in _rs1_
 definedBy: Zaamo
 base: 64
-assembly: xd, xs2, (xrs1)
+assembly: xd, xs2, (xs1)
 encoding:
   match: 10100------------011-----0101111
   variables: