Merge pull request #35 from tariqkurd-repo/prerequisite_rules

correct prerequisite rules
riscv · Jan 24, 2024 · 1c969c6 · 1c969c6
2 parents 1a87920 + 4040b19
commit 1c969c6
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/src/insns/load_16bit_fp_dp.adoc b/src/insns/load_16bit_fp_dp.adoc
@@ -51,11 +51,11 @@ Standard floating point stack pointer relative load instructions, authorised by
 
 include::load_exceptions.adoc[]
 
-Prerequisites for C.CFLD, C.CFLDSP::
-{c_cheri_base_ext_names}, and D
+Prerequisites for C.CFLD, C.CFLDSP (RV32 only)::
+{c_cheri_base_ext_names}, and Zcd or D
 
 Prerequisites for C.FLD, C.FLDSP::
-{c_cheri_legacy_ext_names}, and D
+{c_cheri_legacy_ext_names}, and Zcd or D
 
 Operation (after expansion to 32-bit encodings)::
  See <<FLD>>

diff --git a/src/insns/load_16bit_fp_sp.adoc b/src/insns/load_16bit_fp_sp.adoc
@@ -27,7 +27,7 @@ Standard floating point load instructions, authorised by the capability in <<ddc
 include::load_exceptions.adoc[]
 
 Prerequisites::
-{c_cheri_legacy_ext_names}, and F
+{c_cheri_legacy_ext_names}, and Zcf or F
 
 Operation (after expansion to 32-bit encodings)::
  See <<FLW>>

diff --git a/src/insns/store_16bit_fp_dp.adoc b/src/insns/store_16bit_fp_dp.adoc
@@ -51,11 +51,11 @@ Standard floating point stack pointer relative store instructions, authorised by
 
 include::store_exceptions.adoc[]
 
-Prerequisites for C.CFSD, C.CFSDSP::
-{c_cheri_base_ext_names}
+Prerequisites for C.CFSD, C.CFSDSP (RV32 only)::
+{c_cheri_base_ext_names}, and Zcd or D
 
 Prerequisites for C.FSD, C.FSDSP::
-{c_cheri_legacy_ext_names}
+{c_cheri_legacy_ext_names}, and Zcd or D
 
 Operation (after expansion to 32-bit encodings)::
  See <<CFSD>>, <<FSD>>

diff --git a/src/insns/store_16bit_fp_sp.adoc b/src/insns/store_16bit_fp_sp.adoc
@@ -30,7 +30,7 @@ NOTE: these instructions are not available in Capability Mode, as they have been
 include::store_exceptions.adoc[]
 
 Prerequisites for C.FSW, C.FSWSP::
-{c_cheri_legacy_ext_names}
+{c_cheri_legacy_ext_names}, Zcf or F
 
 Operation (after expansion to 32-bit encodings)::
  See <<FSW>>