mprv should not be implemented when U mode is absent.

riscv-software-src · Apr 10, 2024 · 1523c99 · 1523c99
1 parent b351325
commit 1523c99
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,6 +2,9 @@
 
 This project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [3.18.1] - 2024-04-10
+  - mprv should not be implemented when U mode is absent.
+
 ## [3.18.0] - 2024-04-02
   - mabi generation to account for E extension
 

diff --git a/riscv_config/schemas/schema_isa.yaml b/riscv_config/schemas/schema_isa.yaml
@@ -760,11 +760,11 @@ hart_schema:
                     warl:
                        dependency_fields: []
                        legal:
-                         - mprv[0] in [0x0]
+                         - mprv[0] in [0x0, 0x1]
                        wr_illegal:
                          - unchanged
               default: {implemented: false}
-              check_with: s_check
+              check_with: u_check
             sum:
               type: dict
               schema:
@@ -1175,11 +1175,11 @@ hart_schema:
                     warl:
                        dependency_fields: []
                        legal:
-                         - mprv[0] in [0x0]
+                         - mprv[0] in [0x0, 0x1]
                        wr_illegal:
                          - unchanged
               default: {implemented: false}
-              check_with: s_check
+              check_with: u_check
             sum:
               type: dict
               schema: