udb 0.1.17 → 0.1.18

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 23af2b77d0e140a2ed6d495199ca74bef1fea8e60c393d279d6d65d55102fb9d
-  data.tar.gz: 62fd794ee5ee064ce12267c1a40f20f734fac00d48dea014c48050fe19e7e485
+  metadata.gz: 1e5fc4b9d4860c0c692810f15762376e1587a85643e49a56129958b48d5db03f
+  data.tar.gz: 5db88026a7fd73dd39cfe6038c196ffcb8924f27cfeff28321abb9c52cd28c1d
 SHA512:
-  metadata.gz: 33a3cf04e12eac216db0553ac5e93eff7ea39578f787171a1edce00bdb40e55a15845a5744cecbb319f671169928faefb8b91f497506b685dfcacfb11918e0ec
-  data.tar.gz: 8deb16c837b1b07cf74bba2d97da79c553aaeb22c56044b47ce0aa969555dc0cecf681dc69eacde15007a6b63ab0aa3cccca303cd2660be36c03fdcef663bc62
+  metadata.gz: 215da39f5dde4e17d64c531f80a5868a1c12a0baed04fca23e51fe461c0a2994b644e6c22b9063e3fd4e2b4432553d9c5c8088c69c75095cc2247ca6f0212be4
+  data.tar.gz: 8e347e437e7327aded689f4e153a84f915477bb001f0936aa89a3c34ed478ab789e50f81067efb051f38c95172ebaad005e97e8ae1500e4169ed5a613674ed5c

data/.data/cfgs/example_rv64_with_overlay.yaml

@@ -23,8 +23,8 @@ implemented_extensions:
   - [H, "1.0.0"]
   - [M, "2.0.0"]
   - [Zmmul, "1.0.0"]
-  - [S, "1.12.0"]
-  - [Sm, "1.12.0"]
+  - [S, "1.13.0"]
+  - [Sm, "1.13.0"]
   - [U, "1.0.0"]
   - [V, "1.0.0"]
   - [Zve64f, "1.0.0"]
@@ -41,11 +41,13 @@ implemented_extensions:
   - [Smaia, "1.0.0"]
   - [Smcdeleg, "1.0.0"]
   - [Smcntrpmf, "1.0.0"]
+  - [Smcsrind, "1.0.0"]
   - [Smstateen, "1.0.0"]
   - [Ssstateen, "1.0.0"]
   - [Sscofpmf, "1.0.0"]
   - [Ssaia, "1.0.0"]
   - [Ssccfg, "1.0.0"]
+  - [Sscsrind, "1.0.0"]
   - [Sstc, "1.0.0"]
   - [Sv39, "1.0"]
   - [Sv48, "1.0"]
@@ -613,15 +615,14 @@ params:
   MSTATEEN_IMSIC_TYPE: rw
   HSTATEEN_AIA_TYPE: rw
   HSTATEEN_IMSIC_TYPE: rw
+  MSTATEEN_CSRIND_TYPE: rw
+  HSTATEEN_CSRIND_TYPE: rw
   MEI_INTR_IMPL: false
   MSI_INTR_IMPL: false
   MTI_INTR_IMPL: false
   SEI_INTR_IMPL: false
   SSI_INTR_IMPL: false
   STI_INTR_IMPL: true
-  VSEI_INTR_IMPL: false
-  VSSI_INTR_IMPL: false
-  VSTI_INTR_IMPL: true
   WFI_U_MODE: false
   WFI_FINITE: true
   NON_STANDARD_EXTENSION_IMPLEMENTED: false
@@ -633,3 +634,137 @@ params:
   HPM_COUNTER8_WIDTH: 64
   HPM_COUNTER9_WIDTH: 64
   HPM_COUNTER10_WIDTH: 64
+  MEDELEG_DELEGATABLE:
+    [
+      true,
+      true,
+      true,
+      true,
+      true,
+      true,
+      true,
+      true,
+      true,
+      true,
+      true,
+      false,
+      true,
+      true,
+      false,
+      true,
+      false,
+      false,
+      false,
+      false,
+      true,
+      true,
+      true,
+      true,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+    ]
+  MIDELEG_DELEGATABLE:
+    [
+      false,
+      false,
+      true,
+      false,
+      false,
+      true,
+      true,
+      false,
+      false,
+      false,
+      true,
+      false,
+      true,
+      true,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+      false,
+    ]

data/.data/cfgs/profile/RVA23S64.yaml

@@ -45,7 +45,7 @@ mandatory_extensions:
 - name: Shvstvecd
   version: "~> 1.0.0"
 - name: Sm
-  version: "~> 1.13.0"
+  version: "~> 1.13"
 - name: Ssccptr
   version: "~> 1.0"
 - name: Sscofpmf

data/.data/cfgs/profile/RVA23p1S64.yaml

@@ -0,0 +1,217 @@
+# SPDX-License-Identifier: CC0-1.0
+
+# AUTO-GENERATED FILE. DO NOT EDIT
+# To regenerate, run `./do gen:cfg` in the UDB root directory
+# The data comes from the UDB profile definitions in spec/std/isa/profile/
+
+---
+"$schema": config_schema.json#
+kind: architecture configuration
+type: partially configured
+name: RVA23p1S64
+description:
+params: {}
+mandatory_extensions:
+- name: A
+  version: "~> 2.1"
+- name: B
+  version: "~> 1.0.0"
+- name: C
+  version: "~> 2.0"
+- name: D
+  version: "~> 2.2.0"
+- name: F
+  version: "~> 2.2.0"
+- name: H
+  version: "~> 1.0"
+- name: I
+  version: "~> 2.1"
+- name: M
+  version: "~> 2.0"
+- name: S
+  version: "~> 1.13"
+- name: Sha
+  version: "~> 1.0"
+- name: Shcounterenw
+  version: "~> 1.0.0"
+- name: Shgatpa
+  version: "~> 1.0.0"
+- name: Shtvala
+  version: "~> 1.0.0"
+- name: Shvsatpa
+  version: "~> 1.0.0"
+- name: Shvstvala
+  version: "~> 1.0.0"
+- name: Shvstvecd
+  version: "~> 1.0.0"
+- name: Sm
+  version: "~> 1.13"
+- name: Ssccptr
+  version: "~> 1.0"
+- name: Sscofpmf
+  version: "~> 1.0"
+- name: Sscounterenw
+  version: "~> 1.0"
+- name: Ssnpm
+  version: "~> 1.0"
+- name: Ssstateen
+  version: "~> 1.0"
+- name: Sstc
+  version: "~> 1.0"
+- name: Sstvala
+  version: "~> 1.0"
+- name: Sstvecd
+  version: "~> 1.0"
+- name: Ssu64xl
+  version: "~> 1.0"
+- name: Supm
+  version: "~> 1.0"
+- name: Sv39
+  version: "~> 1.0"
+- name: Svade
+  version: "~> 1.0"
+- name: Svbare
+  version: "~> 1.0"
+- name: Svinval
+  version: "~> 1.0"
+- name: Svnapot
+  version: "~> 1.0"
+- name: Svpbmt
+  version: "~> 1.0"
+- name: U
+  version: "~> 1.0"
+- name: V
+  version: "~> 1.0"
+- name: Za128rs
+  version: "~> 1.0"
+- name: Za64rs
+  version: "~> 1.0"
+- name: Zaamo
+  version: "~> 1.0.0"
+- name: Zalrsc
+  version: "~> 1.0.0"
+- name: Zawrs
+  version: "~> 1.0"
+- name: Zba
+  version: "~> 1.0"
+- name: Zbb
+  version: "~> 1.0"
+- name: Zbs
+  version: "~> 1.0"
+- name: Zca
+  version: "~> 1.0.0"
+- name: Zcb
+  version: "~> 1.0"
+- name: Zcd
+  version: "~> 1.0.0"
+- name: Zcmop
+  version: "~> 1.0"
+- name: Zfa
+  version: "~> 1.0"
+- name: Zfhmin
+  version: "~> 1.0"
+- name: Zic64b
+  version: "= 1.0"
+- name: Zicbom
+  version: "~> 1.0"
+- name: Zicbop
+  version: "~> 1.0"
+- name: Zicboz
+  version: "~> 1.0"
+- name: Ziccamoa
+  version: "~> 1.0"
+- name: Ziccif
+  version: "~> 1.0"
+- name: Zicclsm
+  version: "~> 1.0"
+- name: Ziccrse
+  version: "~> 1.0"
+- name: Zicntr
+  version: "~> 2.0"
+- name: Zicond
+  version: "~> 1.0"
+- name: Zicsr
+  version: "~> 2.0"
+- name: Zifencei
+  version: "~> 2.0"
+- name: Zihintntl
+  version: "~> 1.0"
+- name: Zihintpause
+  version: "~> 2.0"
+- name: Zihpm
+  version: "~> 2.0"
+- name: Zimop
+  version: "~> 1.0"
+- name: Zkt
+  version: "~> 1.0"
+- name: Zmmul
+  version: "~> 1.0.0"
+- name: Zvbb
+  version: "~> 1.0"
+- name: Zve32f
+  version: "~> 1.0.0"
+- name: Zve32x
+  version: "~> 1.0.0"
+- name: Zve64d
+  version: "~> 1.0.0"
+- name: Zve64f
+  version: "~> 1.0.0"
+- name: Zve64x
+  version: "~> 1.0.0"
+- name: Zvfhmin
+  version: "~> 1.0"
+- name: Zvkb
+  version: "~> 1.0.0"
+- name: Zvkt
+  version: "~> 1.0"
+- name: Zvl128b
+  version: "~> 1.0.0"
+- name: Zvl32b
+  version: "~> 1.0.0"
+- name: Zvl64b
+  version: "~> 1.0.0"
+non_mandatory_extensions:
+- name: Sdtrig
+  version: "~> 1.0"
+- name: Ssccfg
+  version: "~> 1.0"
+- name: Ssctr
+  version: "~> 1.0"
+- name: Ssdbltrp
+  version: "~> 1.0"
+- name: Sspm
+  version: "~> 1.0"
+- name: Ssqosid
+  version: "~> 1.0"
+- name: Ssstrict
+  version: "~> 1.0"
+- name: Sv48
+  version: "~> 1.0"
+- name: Sv57
+  version: "~> 1.0"
+- name: Svadu
+  version: "~> 1.0"
+- name: Svrsw60t59b
+  version: "~> 1.0"
+- name: Svvptc
+  version: "~> 1.0"
+- name: Zca
+  version: "~> 1.0"
+- name: Zcd
+  version: "~> 1.0"
+- name: Zcf
+  version: "~> 1.0"
+- name: Zkr
+  version: "~> 1.0"
+additional_extensions: true
+requirements:
+  param:
+    allOf:
+    - name: U_MODE_ENDIANNESS
+      equal: little
+    - name: S_MODE_ENDIANNESS
+      equal: little
+    - name: SXLEN
+      includes: 64
+    - name: UXLEN
+      includes: 64

data/.data/cfgs/profile/RVB23S64.yaml

@@ -29,7 +29,7 @@ mandatory_extensions:
 - name: S
   version: "~> 1.13"
 - name: Sm
-  version: "~> 1.13.0"
+  version: "~> 1.13"
 - name: Ssccptr
   version: "~> 1.0"
 - name: Sscofpmf

data/.data/cfgs/profile/RVB23p1S64.yaml

@@ -0,0 +1,179 @@
+# SPDX-License-Identifier: CC0-1.0
+
+# AUTO-GENERATED FILE. DO NOT EDIT
+# To regenerate, run `./do gen:cfg` in the UDB root directory
+# The data comes from the UDB profile definitions in spec/std/isa/profile/
+
+---
+"$schema": config_schema.json#
+kind: architecture configuration
+type: partially configured
+name: RVB23p1S64
+description:
+params: {}
+mandatory_extensions:
+- name: A
+  version: "~> 2.1"
+- name: B
+  version: "~> 1.0.0"
+- name: C
+  version: "~> 2.0"
+- name: D
+  version: "~> 2.2.0"
+- name: F
+  version: "~> 2.2.0"
+- name: I
+  version: "~> 2.1"
+- name: M
+  version: "~> 2.0"
+- name: S
+  version: "~> 1.13"
+- name: Sm
+  version: "~> 1.13"
+- name: Ssccptr
+  version: "~> 1.0"
+- name: Sscofpmf
+  version: "~> 1.0"
+- name: Sscounterenw
+  version: "~> 1.0"
+- name: Sstc
+  version: "~> 1.0"
+- name: Sstvala
+  version: "~> 1.0"
+- name: Sstvecd
+  version: "~> 1.0"
+- name: Ssu64xl
+  version: "~> 1.0"
+- name: Sv39
+  version: "~> 1.0"
+- name: Svade
+  version: "~> 1.0"
+- name: Svbare
+  version: "~> 1.0"
+- name: Svinval
+  version: "~> 1.0"
+- name: Svnapot
+  version: "~> 1.0"
+- name: Svpbmt
+  version: "~> 1.0"
+- name: U
+  version: "~> 1.0"
+- name: Za128rs
+  version: "~> 1.0"
+- name: Za64rs
+  version: "~> 1.0"
+- name: Zaamo
+  version: "~> 1.0.0"
+- name: Zalrsc
+  version: "~> 1.0.0"
+- name: Zawrs
+  version: "~> 1.0"
+- name: Zba
+  version: "~> 1.0"
+- name: Zbb
+  version: "~> 1.0"
+- name: Zbs
+  version: "~> 1.0"
+- name: Zca
+  version: "~> 1.0.0"
+- name: Zcb
+  version: "~> 1.0"
+- name: Zcd
+  version: "~> 1.0.0"
+- name: Zcmop
+  version: "~> 1.0"
+- name: Zfa
+  version: "~> 1.0"
+- name: Zic64b
+  version: "= 1.0"
+- name: Zicbom
+  version: "~> 1.0"
+- name: Zicbop
+  version: "~> 1.0"
+- name: Zicboz
+  version: "~> 1.0"
+- name: Ziccamoa
+  version: "~> 1.0"
+- name: Ziccif
+  version: "~> 1.0"
+- name: Zicclsm
+  version: "~> 1.0"
+- name: Ziccrse
+  version: "~> 1.0"
+- name: Zicntr
+  version: "~> 2.0"
+- name: Zicond
+  version: "~> 1.0"
+- name: Zicsr
+  version: "~> 2.0"
+- name: Zifencei
+  version: "~> 2.0"
+- name: Zihintntl
+  version: "~> 1.0"
+- name: Zihintpause
+  version: "~> 2.0"
+- name: Zihpm
+  version: "~> 2.0"
+- name: Zimop
+  version: "~> 1.0"
+- name: Zkt
+  version: "~> 1.0"
+- name: Zmmul
+  version: "~> 1.0.0"
+non_mandatory_extensions:
+- name: Sdtrig
+  version: "~> 1.0"
+- name: Sha
+  version: "~> 1.0"
+- name: Ssccfg
+  version: "~> 1.0"
+- name: Ssctr
+  version: "~> 1.0"
+- name: Ssdbltrp
+  version: "~> 1.0"
+- name: Ssnpm
+  version: "~> 1.0"
+- name: Sspm
+  version: "~> 1.0"
+- name: Ssqosid
+  version: "~> 1.0"
+- name: Ssstrict
+  version: "~> 1.0"
+- name: Sv48
+  version: "~> 1.0"
+- name: Sv57
+  version: "~> 1.0"
+- name: Svadu
+  version: "~> 1.0"
+- name: Svrsw60t59b
+  version: "~> 1.0"
+- name: Svvptc
+  version: "~> 1.0"
+- name: Zca
+  version: "~> 1.0"
+- name: Zcd
+  version: "~> 1.0"
+- name: Zcf
+  version: "~> 1.0"
+- name: Zfh
+  version: "~> 1.0"
+- name: Zfhmin
+  version: "~> 1.0"
+- name: Zkn
+  version: "~> 1.0"
+- name: Zkr
+  version: "~> 1.0"
+- name: Zks
+  version: "~> 1.0"
+additional_extensions: true
+requirements:
+  param:
+    allOf:
+    - name: U_MODE_ENDIANNESS
+      equal: little
+    - name: S_MODE_ENDIANNESS
+      equal: little
+    - name: SXLEN
+      includes: 64
+    - name: UXLEN
+      includes: 64