From 4040b19f2ca7823083e1e9873e82bfb26b526090 Mon Sep 17 00:00:00 2001 From: Tariq Kurd Date: Wed, 24 Jan 2024 15:37:26 +0100 Subject: [PATCH] correct prerequisite rules --- src/insns/load_16bit_fp_dp.adoc | 6 +++--- src/insns/load_16bit_fp_sp.adoc | 2 +- src/insns/store_16bit_fp_dp.adoc | 6 +++--- src/insns/store_16bit_fp_sp.adoc | 2 +- 4 files changed, 8 insertions(+), 8 deletions(-) diff --git a/src/insns/load_16bit_fp_dp.adoc b/src/insns/load_16bit_fp_dp.adoc index 629dba78..883cd998 100644 --- 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 <> diff --git a/src/insns/load_16bit_fp_sp.adoc b/src/insns/load_16bit_fp_sp.adoc index 920ff3be..db2c24fa 100644 --- 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 <> diff --git a/src/insns/store_16bit_fp_dp.adoc b/src/insns/store_16bit_fp_dp.adoc index 205b6612..9cf008ed 100644 --- 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 <>, <> diff --git a/src/insns/store_16bit_fp_sp.adoc b/src/insns/store_16bit_fp_sp.adoc index 4d1d30ab..92b1abde 100644 --- 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 <>