Skip to content

Comments

use the unstable carryless_mul in the pclmul implementation#4862

Open
folkertdev wants to merge 1 commit intorust-lang:masterfrom
folkertdev:use-carryless-mul
Open

use the unstable carryless_mul in the pclmul implementation#4862
folkertdev wants to merge 1 commit intorust-lang:masterfrom
folkertdev:use-carryless-mul

Conversation

@folkertdev
Copy link
Contributor

Eventually we should be able to use the intrinsics in stdarch so that miri no longer needs a custom implementation. Unfortunately the required optimizations didn't make it into LLVM 22, so we'll have to wait ~6 months.

@rustbot
Copy link
Collaborator

rustbot commented Feb 17, 2026

Thank you for contributing to Miri! A reviewer will take a look at your PR, typically within a week or two.
Please remember to not force-push to the PR branch except when you need to rebase due to a conflict or when the reviewer asks you for it.

@rustbot rustbot added the S-waiting-on-review Status: Waiting for a review to complete label Feb 17, 2026
@folkertdev
Copy link
Contributor Author

CI uses 2026-01-21/rustc-nightly-x86_64-unknown-linux-gnu.tar.xz for that bootstrap job, How regularly does that update?

@RalfJung
Copy link
Member

RalfJung commented Feb 17, 2026

It always the current rust nightly bootstrap compiler (the file storing that is here). If the job here fails, that means merging this PR would cause the next sync into the Rust repo to fail.

@RalfJung
Copy link
Member

RalfJung commented Feb 17, 2026

The rust bootstrap compiler always gets updated around a release, so the next update will be around Feb 27th.

It is a fundamental part of the rustc development process that new standard library features can only be used inside rustc/miri after the next bootstrap bump (when nightly becomes beta and then that beta becomes the bootstrap compiler).

@RalfJung RalfJung added S-blocked Status: blocked on something happening somewhere else and removed S-waiting-on-review Status: Waiting for a review to complete labels Feb 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-blocked Status: blocked on something happening somewhere else

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants