Skip to content

Conversation

@xdoardo
Copy link
Collaborator

@xdoardo xdoardo commented Jan 4, 2026

Some work for #59 and #50.

rust-lang/rust#150672 is already part of this PR because some tests - specifically those that test the debug info that rust generates - fail if a new line is added to the file. We can change the behaviour added here later if the patch to upstream Rust is rejected.

I'd like to keep this PR with two commits in it: one for the bit that's also upstreamed and one for the set of changes to the tests. The associated CI job will thus fail, but that won't block merging this.

This patch already marks some tests as ignore+FIXME for CHERIoT.

@xdoardo xdoardo force-pushed the needs-target-std-codegen-llvm branch 4 times, most recently from 7a8fd4f to 76dd6bb Compare January 9, 2026 09:44
@xdoardo xdoardo requested a review from seharris January 9, 2026 10:51
Copy link
Collaborator

@seharris seharris left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Other than the issue with CHERIoT being classified as 64 bit, this looks ok to me.

@xdoardo xdoardo force-pushed the needs-target-std-codegen-llvm branch 4 times, most recently from f32941c to b1e5f66 Compare January 13, 2026 15:32
xdoardo and others added 2 commits January 14, 2026 14:53
…ileCheck and make some tests no_std

...also add this part of the testsuite in CI.
@xdoardo xdoardo force-pushed the needs-target-std-codegen-llvm branch from b1e5f66 to d479810 Compare January 14, 2026 13:54
@xdoardo xdoardo merged commit 52ef5b7 into CHERIoT-Platform:beta Jan 15, 2026
3 of 4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants