diff --git a/app-isaquick-riscv.tex b/app-isaquick-riscv.tex index c118090f..15073535 100644 --- a/app-isaquick-riscv.tex +++ b/app-isaquick-riscv.tex @@ -750,11 +750,13 @@ \chapter{CHERI-RISC-V ISA Quick Reference} {\rvcherienctablefontsize \def\rvcheriremovedfootnotemark{$^\dagger$} - \def\rvcherireservedfootnotemark{$^\ddagger$} + \def\rvcherideprecatedfootnotemark{$^\ddagger$} + \def\rvcherireservedfootnotemark{$^*$} \rvcherienctablesrcsrcdest\\\\ \footnotesize $^\dagger$Previously used by a removed instruction.\\ - $^\ddagger$Reserved for future use. + $^\ddagger$Deprecated (may be removed in a future version).\\ + $^*$Reserved for future use. } \subsection*{Stores encoding allocation (rd field)} diff --git a/def-riscv-insns.tex b/def-riscv-insns.tex index 9bba6ce5..9ce896e5 100644 --- a/def-riscv-insns.tex +++ b/def-riscv-insns.tex @@ -47,8 +47,8 @@ \rvcherisrcdest[name=CSealEntry]{11}{cd}{cs1} \rvcherisrcsrcdest[name=CRelocate,noref,tablesuffix=\rvcherireservedfootnotemark]{15}{cd}{cs1}{rs2} -\rvcherisrcsrcdest[name=CToPtr]{12}{rd}{cs1}{cs2} -\rvcherisrcsrcdest[name=CFromPtr]{13}{cd}{cs1}{rs2} +\rvcherisrcsrcdest[name=CToPtr,tablesuffix=\rvcherideprecatedfootnotemark]{12}{rd}{cs1}{cs2} +\rvcherisrcsrcdest[name=CFromPtr,tablesuffix=\rvcherideprecatedfootnotemark]{13}{cd}{cs1}{rs2} \rvcherisrcsrcdest[name=CSub,noref,tablesuffix=\rvcheriremovedfootnotemark]{14}{rd}{cs1}{cs2} \rvcherisrcdest[name=CMove]{A}{cd}{cs1} diff --git a/insn-riscv/cfromptr.tex b/insn-riscv/cfromptr.tex index 5c29bc5f..28b30623 100644 --- a/insn-riscv/cfromptr.tex +++ b/insn-riscv/cfromptr.tex @@ -14,3 +14,7 @@ \subsubsection*{Format} \end{center} \sailRISCVisarefbody{CFromPtr} + +\subsubsection*{Deprecated} + +This instruction is deprecated and may be removed in a future version. diff --git a/insn-riscv/ctoptr.tex b/insn-riscv/ctoptr.tex index 67038bb8..eaf02f51 100644 --- a/insn-riscv/ctoptr.tex +++ b/insn-riscv/ctoptr.tex @@ -14,3 +14,7 @@ \subsubsection*{Format} \end{center} \sailRISCVisarefbody{CToPtr} + +\subsubsection*{Deprecated} + +This instruction is deprecated and may be removed in a future version.