Reserve a CHERI-RISC-V encoding for CRelocate

CTSRD-CHERI · Apr 4, 2022 · 1dc6a24 · 1dc6a24
1 parent 735b21c
commit 1dc6a24
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/app-isaquick-riscv.tex b/app-isaquick-riscv.tex
@@ -750,7 +750,9 @@ \chapter{CHERI-RISC-V ISA Quick Reference}
 	\vspace{1em}
 
 	{\scriptsize
-	\rvcherienctablesrcsrcdest
+	\def\rvcherireservedfootnotemark{$\dagger$}
+	\rvcherienctablesrcsrcdest\\\\
+	$\dagger$ Reserved for future use.
 	}
 
 	\subsection*{Stores encoding allocation  (rd field)}

diff --git a/def-riscv-insns.tex b/def-riscv-insns.tex
@@ -42,6 +42,7 @@
 \rvcherisrcsrcdest[name=CCopyType]{1E}{cd}{cs1}{cs2}
 \rvcherisrcsrcdest[name=CCSeal]{1F}{cd}{cs1}{cs2}
 \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}