Skip to content

Commit 9747ef4

Browse files
resistorrmn30
authored andcommitted
Document CHERIOT_CCALL relocation.
1 parent 81bf3d2 commit 9747ef4

File tree

2 files changed

+3
-0
lines changed

2 files changed

+3
-0
lines changed

archdoc/chap-abi.tex

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -194,6 +194,7 @@ \section{Relocations}
194194
\asm{CHERIOT_COMPARTMENT_LO_I} & 221 & 12-bit \PCC- or \CGP-relative displacement for use in I-type instructions. \\
195195
\asm{CHERIOT_COMPARTMENT_LO_S} & 222 & 12-bit \PCC- or \CGP-relative displacement for use in S-type instructions. \\
196196
\asm{CHERIOT_COMPARTMENT_SIZE} & 223 & The size of the referenced symbol, applied to a \insnref{CSetBounds} instruction. \\
197+
\asm{CHERIOT_CCALL} & 224 & An \insnref{auipcc} and \insnref{cjal} pair which may be relaxed as per \asm{CHERI_CCALL} in RISC-V CHERI, and if not will be relocated as per \asm{CHERIOT_COMPARTMENT_HI} and \asm{CHERIOT_COMPARTMENT_LO_I}. \\
197198
\end{tabular}
198199
\caption{\label{tab:relocs}The relocations defined for the \cherimcu{} ABI}
199200
\end{center}

archdoc/chap-changes.tex

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -55,5 +55,7 @@ \chapter{Version history}
5555
Previously, this was possible by round-tripping to memory, loading back through an authority lacking \cappermILG(recall \ghpr{44} and \ghissue{14} above), but not directly as a register-to-register operation.
5656
Presently, we require that the mask provided to \rvcheriasminsnref{CAndPerm} be all-1s except possibly \cappermG;
5757
that is, feeding the result of \rvcheriasminsnref{CGetPerm} on a sealed capability to \rvcheriasminsnref{CAndPerm} will still clear the tag of the result.
58+
\item[\ghpr{97}] Introduce the \asm{CHERIOT\_CCALL} relocation. This addresses difficulties with relaxation of compartment call relocations as per
59+
\href{https://github.com/CHERIoT-Platform/llvm-project/pull/114}{CHERIoT-Platform/llvm-project/pull/114}.
5860
\end{description}
5961
\end{description}

0 commit comments

Comments
 (0)