Skip to content

Commit

Permalink
chap-architecture: Remove mention of CToPtr and CFromPtr.
Browse files Browse the repository at this point in the history
These instructions are now deprecated and treated as optional the
rationale section on DDC/PCC offsetting.
  • Loading branch information
bsdjhb committed Jul 12, 2023
1 parent 924655c commit 5b804f2
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions chap-architecture.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 5b804f2

Please sign in to comment.