v1.0.0-RC5.1 allow future redefinition of cm.jt/cm.jalt if JVT.mode>0

riscvarchive · Sep 8, 2022 · d1b2d91 · d1b2d91
1 parent 3736732
commit d1b2d91
Show file tree

Hide file tree

Showing 8 changed files with 16 additions and 8 deletions.
diff --git a/Zc-specification/Zc.adoc b/Zc-specification/Zc.adoc
@@ -1,13 +1,14 @@
 :sectnums:
 [#Zc]
-== Zc* v1.0.0-RC5
+== Zc* v1.0.0-RC5-1
 
 === Change history since v0.70.1 (tagged release)
 
 .Change history
 [width="100%",options=header]
 |====================================================================================
 |Version  | change
+|v1.0.0-RC5.1| Make cm.jt/cm.jalt only valid if JVT.mode=0, and allow different behaviour in the future if JVT.mode>0
 |v1.0.0-RC5| Revert to cm.jt and cm.jalt encodings, to avoid toolchain and trace problems
 |v1.0.0-RC4.1| Resolve typographical issues with the document only, no actual changes
 |v1.0.0-RC4| Release candidate
@@ -25,8 +26,7 @@
 
 === Zc* Overview
 
-This document is in the Stable state. Assume anything could still change, but limited change should be expected. For more information see:
-https://riscv.org/spec-state
+This document is in the Frozen state. Change is extremely unlikely. A high threshold will be used, and a change will only occur because of some truly critical issue being identified during the public review cycle. Any other desired or needed changes can be the subject of a follow-on new extension. See https://riscv.org/spec-state
 
 Zc* is a group of extensions which define subsets of the existing C extension (Zca, Zcd, Zcf) and new extensions which only contain 16-bit encodings.
 

diff --git a/Zc-specification/Zcb_footer.adoc b/Zc-specification/Zcb_footer.adoc
@@ -7,6 +7,6 @@ Included in::
 |Lifecycle state
 
 |Zcb (<<Zcb>>)
-|v1.0.0-RC5
+|v1.0.0-RC5.1
 |Stable
 |===
diff --git a/Zc-specification/Zcf_footer.adoc b/Zc-specification/Zcf_footer.adoc
@@ -7,6 +7,6 @@ Included in::
 |Lifecycle state
 
 |Zcf (<<Zcf>>)
-|v1.0.0-RC5
+|v1.0.0-RC5.1
 |Frozen
 |===
diff --git a/Zc-specification/Zcmp_footer.adoc b/Zc-specification/Zcmp_footer.adoc
@@ -7,6 +7,6 @@ Included in::
 |Lifecycle state
 
 |Zcmp (<<Zcmp>>)
-|v1.0.0-RC5
+|v1.0.0-RC5.1
 |Stable
 |===
diff --git a/Zc-specification/Zcmpe_footer.adoc b/Zc-specification/Zcmpe_footer.adoc
@@ -7,6 +7,6 @@ Included in::
 |Lifecycle state
 
 |Zcmpe (<<Zcmpe>>)
-|v1.0.0-RC5
+|v1.0.0-RC5.1
 |Stable
 |===
diff --git a/Zc-specification/Zcmt_footer.adoc b/Zc-specification/Zcmt_footer.adoc
@@ -7,6 +7,6 @@ Included in::
 |Lifecycle state
 
 |Zcmt (<<Zcmt>>)
-|v1.0.0-RC5
+|v1.0.0-RC5.1
 |Frozen
 |===
diff --git a/Zc-specification/cm_jalt.adoc b/Zc-specification/cm_jalt.adoc
@@ -23,6 +23,10 @@ Encoding (RV32, RV64)::
 
   For this encoding to decode as _cm.jalt_, _index>=64_, otherwise it decodes as _cm.jt_, see <<insns-cm_jt>>.
 
+[NOTE]
+
+  If JVT.mode = 0 (Jump Table Mode) then _cm.jalt_ behaves as specified here. If JVT.mode is a reserved value, then _cm.jalt_ is also reserved. In the future other defined values of JVT.mode may change the behaviour of _cm.jalt_.
+
 Assembly Syntax::
 
 [source,sail]

diff --git a/Zc-specification/cm_jt.adoc b/Zc-specification/cm_jt.adoc
@@ -23,6 +23,10 @@ Encoding (RV32, RV64)::
 
   For this encoding to decode as _cm.jt_, _index<64_, otherwise it decodes as _cm.jalt_, see <<insns-cm_jalt>>.
 
+[NOTE]
+
+  If JVT.mode = 0 (Jump Table Mode) then _cm.jt_ behaves as specified here. If JVT.mode is a reserved value, then _cm.jt_ is also reserved. In the future other defined values of JVT.mode may change the behaviour of _cm.jt_.
+
 Assembly Syntax::
 
 [source,sail]