udb 0.1.2 → 0.1.4

data/.data/spec/custom/isa/qc_iu/ext/Xqcibm.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm bit manipulation
 versions:
 - version: "0.1.0"
   state: development
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -21,7 +21,7 @@ versions:
     email: dhower@qti.qualcomm.com
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -36,7 +36,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.3.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -50,7 +50,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.4.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -64,7 +64,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.5.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -80,7 +80,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.6.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -98,7 +98,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.7.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -116,7 +116,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.8.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqcicli.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm conditional load immediate
 versions:
 - version: "0.1.0"
   state: development
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -21,7 +21,7 @@ versions:
     email: dhower@qti.qualcomm.com
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -33,7 +33,7 @@ versions:
     - Add information about instruction formats of each instruction
 - version: "0.3.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqcicm.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm conditional move
 versions:
 - version: "0.1.0"
   state: development
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -21,7 +21,7 @@ versions:
     email: dhower@qti.qualcomm.com
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqcics.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm conditional select
 versions:
 - version: "0.1.0"
   state: development
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -21,7 +21,7 @@ versions:
     email: dhower@qti.qualcomm.com
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqcicsr.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm CSR instructions
 versions:
 - version: "0.1.0"
   state: development
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -21,7 +21,7 @@ versions:
     email: dhower@qti.qualcomm.com
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -33,7 +33,7 @@ versions:
     - Add information about instruction formats of each instruction
 - version: "0.3.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -45,7 +45,7 @@ versions:
     - Remove qc.flags CSR
 - version: "0.4.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqciint.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm interrupt prologue/epilogue
 versions:
 - version: "0.1.0"
   state: development
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -21,7 +21,7 @@ versions:
     email: dhower@qti.qualcomm.com
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -35,7 +35,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.3.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -51,7 +51,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.4.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -75,7 +75,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.5.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -89,7 +89,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.6.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -103,7 +103,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.7.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -117,7 +117,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.8.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -133,7 +133,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.9.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -147,7 +147,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.10.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqciio.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm Input/Output device support
 versions:
 - version: "0.1.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqcilb.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm long branch
 versions:
 - version: "0.1.0"
   state: development
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -21,7 +21,7 @@ versions:
     email: dhower@qti.qualcomm.com
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqcili.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm long load immediate
 versions:
 - version: "0.1.0"
   state: development
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -23,7 +23,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqcilia.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm long load immediate
 versions:
 - version: "0.1.0"
   state: development
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -21,7 +21,7 @@ versions:
     email: dhower@qti.qualcomm.com
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqcilo.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm large offset load/store
 versions:
 - version: "0.1.0"
   state: development
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -21,7 +21,7 @@ versions:
     email: dhower@qti.qualcomm.com
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -35,7 +35,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.3.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqcilsm.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm load/store multiple
 versions:
 - version: "0.1.0"
   state: development
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -21,7 +21,7 @@ versions:
     email: dhower@qti.qualcomm.com
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -33,7 +33,7 @@ versions:
     - Add information about instruction formats of each instruction
 - version: "0.3.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -45,7 +45,7 @@ versions:
     - Fix description of qc.swmi, qc.lwmi and qc.setwmi instructions
 - version: "0.4.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -57,7 +57,7 @@ versions:
     - Fix encoding of qc.swmi
 - version: "0.5.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -69,7 +69,7 @@ versions:
     - Fix IDL code and description of qc.setwm instruction to state that number of words written 0..31.
 - version: "0.6.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqcisim.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm simulator support hints
 versions:
 - version: "0.1.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -21,7 +21,7 @@ versions:
     email: dhower@qti.qualcomm.com
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqcisls.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm scaled load/store
 versions:
 - version: "0.1.0"
   state: development
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -21,7 +21,7 @@ versions:
     email: dhower@qti.qualcomm.com
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/qc_iu/ext/Xqcisync.yaml

@@ -11,7 +11,7 @@ long_name: Qualcomm non-memory-mapped devices synchronization and delay
 versions:
 - version: "0.1.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -21,7 +21,7 @@ versions:
     email: dhower@qti.qualcomm.com
 - version: "0.2.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.
@@ -36,7 +36,7 @@ versions:
     extension: { name: Zca, version: ">= 1.0.0" }
 - version: "0.3.0"
   state: frozen
-  ratification_date: null
+  ratification_date: unknown
   contributors:
   - name: Albert Yosher
     company: Qualcomm Technologies, Inc.

data/.data/spec/custom/isa/regress/manual_version/isa/regress/isa_regress.yaml

@@ -207,8 +207,6 @@ volumes:
       # - { name: Smcdeleg, version: "1.0.0" }
       # - { name: S, version: "1.12.0" }
       # - { name: Sm, version: "1.12.0" }
-      # - { name: Smhpm, version: "1.12.0" }
-      # - { name: Smpmp, version: "1.12.0" }
       # - { name: Sv32, version: "1.12.0" }
       # - { name: Sv39, version: "1.12.0" }
       # - { name: Sv48, version: "1.12.0" }

data/.data/spec/schemas/ext_schema.json

@@ -58,16 +58,46 @@
       "items": {
         "type": "object",
         "required": ["version", "state"],
-        "if": {
-          "properties": {
-            "state": {
-              "const": "ratified"
+        "allOf": [
+          {
+            "if": {
+              "properties": {
+                "state": {
+                  "const": "ratified"
+                }
+              }
+            },
+            "then": {
+              "required": ["ratification_date"],
+              "properties": {
+                "ratification_date": {
+                  "not": {
+                    "type": "null"
+                  }
+                }
+              }
+            }
+          },
+          {
+            "if": {
+              "properties": {
+                "state": {
+                  "const": "nonstandard-released"
+                }
+              }
+            },
+            "then": {
+              "required": ["release_date"],
+              "properties": {
+                "release_date": {
+                  "not": {
+                    "type": "null"
+                  }
+                }
+              }
             }
           }
-        },
-        "then": {
-          "required": ["ratification_date"]
-        },
+        ],
         "properties": {
           "version": {
             "$ref": "schema_defs.json#/$defs/extension_version"
@@ -114,6 +144,26 @@
               }
             ]
           },
+          "release_date": {
+            "oneOf": [
+              {
+                "type": "string",
+                "pattern": "^20[0-9][0-9]-(0[1-9]|1[0-2])$",
+                "$comment": "When the release date is known",
+                "description": "A specific year and month in YYYY-MM format",
+                "examples": ["2019-01", "2024-12"]
+              },
+              {
+                "type": "string",
+                "pattern": "^unknown$",
+                "$comment": "When release date is unknown"
+              },
+              {
+                "type": "null",
+                "$comment": "When version isn't released"
+              }
+            ]
+          },
           "changes": {
             "type": "array",
             "items": {

data/.data/spec/schemas/inst_schema.json

@@ -1,6 +1,6 @@
 {
   "$schema": "http://json-schema.org/draft-07/schema#",
-  "$id": "v0.1",
+  "$id": "v0.2",
   "$defs": {
     "fully_resolved_opcodes": {
       "type": "object",
@@ -386,10 +386,6 @@
     "operation_ast": {
       "type": "object"
     },
-    "sail()": {
-      "type": "string",
-      "description": "Functional description of the instruction using Sail"
-    },
     "cert_normative_rules": {
       "$ref": "schema_defs.json#/$defs/cert_normative_rules"
     },

data/.data/spec/std/isa/csr/H/henvcfg.yaml

@@ -261,6 +261,34 @@ fields:
         return CSR[menvcfg].CBIE;
       }
     reset_value: UNDEFINED_LEGAL
+  SSE:
+    location: 3
+    description: |
+      *Shadow Stack Enable*
+
+      If the SSE field is set to 1, the Zicfiss extension is activated in VS-mode. When the SSE
+      field is 0, the Zicfiss extension remains inactive in VS-mode, and the following rules apply
+      when V=1 :
+
+        - 32-bit Zicfiss instructions will revert to their behavior as defined by Zimop.
+
+        - 16-bit Zicfiss instructions will revert to their behavior as defined by Zcmop.
+
+        - The pte.xwr=010b encoding in VS-stage page tables becomes reserved.
+
+        - The senvcfg.SSE field will read as zero and is read-only.
+
+        - When menvcfg.SSE is one, SSAMOSWAP.W/D raises a virtual-instruction exception.
+    definedBy:
+      extension:
+        name: Zicfiss
+    type: RW
+    reset_value: UNDEFINED_LEGAL
+    sw_write(csr_value): |
+      if (CSR[menvcfg].SSE == 0){
+        return 0;
+      }
+      return csr_value.SSE;
   FIOM:
     location: 0
     description: |
@@ -304,4 +332,8 @@ sw_read(): |
     # henvcfg.ADUE must read-as-zero
     value = value & ~(1 `<< 61);
   }
+  if (implemented?(ExtensionName::Zicfiss) && CSR[menvcfg].SSE == 0) {
+    # henvcfg.SSE must read-as-zero
+    value = value & ~(1 `<< 3);
+  }
   return value;

data/.data/spec/std/isa/csr/I/pmpaddr0.yaml

@@ -16,8 +16,12 @@ priv_mode: M
 length: MXLEN
 description: PMP entry address
 definedBy:
-  extension:
-    name: Smpmp
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: NUM_PMP_ENTRIES
+        greaterThan: 0
 fields:
   ADDR:
     location_rv32: 31-0

data/.data/spec/std/isa/csr/I/pmpaddr1.yaml

@@ -16,8 +16,12 @@ priv_mode: M
 length: MXLEN
 description: PMP entry address
 definedBy:
-  extension:
-    name: Smpmp
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: NUM_PMP_ENTRIES
+        greaterThan: 0
 fields:
   ADDR:
     location_rv32: 31-0

data/.data/spec/std/isa/csr/I/pmpaddr10.yaml

@@ -16,8 +16,12 @@ priv_mode: M
 length: MXLEN
 description: PMP entry address
 definedBy:
-  extension:
-    name: Smpmp
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: NUM_PMP_ENTRIES
+        greaterThan: 0
 fields:
   ADDR:
     location_rv32: 31-0

data/.data/spec/std/isa/csr/I/pmpaddr11.yaml

@@ -16,8 +16,12 @@ priv_mode: M
 length: MXLEN
 description: PMP entry address
 definedBy:
-  extension:
-    name: Smpmp
+  allOf:
+    - extension:
+        name: Sm
+    - param:
+        name: NUM_PMP_ENTRIES
+        greaterThan: 0
 fields:
   ADDR:
     location_rv32: 31-0