RISC-V: Deprecate CFromPtr and CToPtr.

CTSRD-CHERI · Jul 12, 2023 · 924655c · 924655c
1 parent 0666019
commit 924655c
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 4 deletions.
diff --git 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
@@ -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
@@ -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
@@ -14,3 +14,7 @@ \subsubsection*{Format}
 \end{center}
 
 \sailRISCVisarefbody{CToPtr}
+
+\subsubsection*{Deprecated}
+
+This instruction is deprecated and may be removed in a future version.