From 5b804f2ce0725ef6cadcb38b8932613ee2b77ab0 Mon Sep 17 00:00:00 2001 From: John Baldwin Date: Thu, 6 Jul 2023 16:19:37 -0700 Subject: [PATCH] chap-architecture: Remove mention of CToPtr and CFromPtr. These instructions are now deprecated and treated as optional the rationale section on DDC/PCC offsetting. --- chap-architecture.tex | 8 -------- 1 file changed, 8 deletions(-) diff --git a/chap-architecture.tex b/chap-architecture.tex index 4abbac8f..9dc9ae92 100644 --- a/chap-architecture.tex +++ b/chap-architecture.tex @@ -1622,14 +1622,6 @@ \section{Capability-Aware Instructions} \insnref{CSetFlags}, \insnref{CSetHigh}, and \insnref{CSetOffset}. -\item[Derive integer pointers from capabilities, or capabilities from integer -pointers] -The \insnref{CToPtr} and \insnref{CFromPtr} instructions efficiently -convert between integer pointers and capabilities, performing suitable bounds -checks against contextual capabilities. -These support efficient hybrid code, in which use of integer pointers and -capabilities are intermixed. - \item[Capability pointer comparison] These instructions provide pointer comparison: \insnref{CSetEqualExact} and