Merge pull request #45 from tariqkurd-repo/fix_prerequisites

fixed prerequisite rules for 16-bit fp dp load/store
riscv · Jan 25, 2024 · 4cb8337 · 4cb8337
2 parents 56b44e1 + fe7306b
commit 4cb8337
Show file tree

Hide file tree

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

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