Add is_like_cheri and use it to translate inline asm of black_box
#34
+29
−2
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
xdoardo
force-pushed
the
is_like_cheri
branch
from
c7f5a66 to
1bb5aba
Compare
xdoardo
force-pushed
the
is_like_cheri
branch
from
1bb5aba to
3e7a731
Compare
seharris
reviewed
Nov 11, 2025
xdoardo
force-pushed
the
is_like_cheri
branch
from
3e7a731 to
ea631ed
Compare
xdoardo
force-pushed
the
is_like_cheri
branch
from
ea631ed to
5ae663e
Compare
seharris
approved these changes
Nov 18, 2025
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The
is_like_cheritarget option must be used if and only if the families of the target contain"cheri".This value is then used to make the compiler generate a slightly different inline assembly when translating the
black_boxintrinsic which, as it was before, would cause an error on CHERIoT:With this patch, the generated inline assembly uses as constraint
"C"(capability-sized register) instead of"r". This patch should solve this problem not only on CHERIoT, but hopefully on other CHERI-like platforms as well: we can't, however, test this claim right now, as we currently support CHERIoT only.Also adds a test to verify that basic usage of
black_boxworks as expected.