Rollup of 18 pull requests #152560
Open
Rollup of 18 pull requests #152560
+1,551
−1,285
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
This code is now in `rustc_middle`, and doesn't need any non-trivial methods, so it can just use `TyCtxt` directly instead.
llvm will look at both 1. the values of "target-features" and 2. the function string attributes. this removes the redundant function string attribute because it is not needed at all. rustc sets the `+backchain` attribute through `target_features_attr(...)`
It can't be serialized to a file.
now that the analysis is only using the regular liveness shape, we don't need to store it transposed, and thus don't need the container where it was stored: the liveness context would be alone in the polonius context. we thus remove the latter, and rename the former.
we may need to traverse the lazy graph multiple times: - to record loan liveness - to dump the localized outlives constraint in the polonius MIR dump to do that we extract the previous loan liveness code into an abstract traversal + visitor handling the liveness-specific parts, while the MIR dump will be able to record constraints in its own visitor.
now that we need to hold the graph for MIR dumping, and the associated data to traverse it, there is no difference between the main context and diagnostics context, so we merge them.
Previously, rustc rejected HvxVectorPair types in function signatures because the HEXAGON_FEATURES_FOR_CORRECT_FIXED_LENGTH_VECTOR_ABI array only had entries for vectors up to 1024 bits. This caused the ABI checker to emit "unsupported vector type" errors for 2048-bit HvxVectorPair (used in 128-byte HVX mode). Add 2048 byte entry to allow HvxVectorPair to be passed in extern "C" funcs when the hvx-length128b is enabled.
Compute localized outlives constraints lazily This PR rewrites the loan liveness algorithm to compute localized constraints lazily during traversal, to avoid the sometimes costly conversion and indexing happening in the current eager algorithm (or for now as well, the need to reshape the liveness data to better list regions live at a given point). It thus greatly reduces the current alpha overhead, although it wasn't entirely removed of course (we're obviously doing more work to improve precision): the worst offending benchmark has a +5-6% wall-time regression — but icounts are worse looking (+13%) rn. Best reviewed per-commit, as steps are in sequence to simplify the process or unify some things. r? @jackh726
Change query proc macro to be more rust-analyzer friendly This changes the query proc macro to be more rust-analyzer friendly. - Types in the macro now have a proper span - Some functions have their span hidden so they don't show up when hovering over the query name - Added a hint on the provider field on how to find providers. That is shown when hovering over the query name - Linked query name to the provider field on all queries, not just ones with caching - Added tooltip for the query modifiers by linking to the new types in `rustc_middle:::query::modifiers`
…jorn3 Fix multi-cgu+debug builds using autodiff by delaying autodiff till lto fixes: rust-lang#152470 r? @bjorn3
Collect active query jobs into struct `QueryJobMap` This PR encapsulates the existing `QueryMap` type alias into a proper struct named `QueryJobMap`, which is used by code that wants to inspect the full set of currently-active query jobs. Wrapping the query job map in a struct makes it easier to see how other code interacts with the map, and also lets us change some free functions for map lookup into methods. We also do a renaming pass to consistently refer to the query job map as `job_map`, or as `job_map_out` in the places where it's a mutable out-parameter. There should be no change to compiler behaviour. r? nnethercote (or compiler)
…fei2009 Don't use `DepContext` in `rustc_middle::traits::cache` - A nice little simplification unlocked by rust-lang#152199. --- This code is now in `rustc_middle`, and doesn't need any non-trivial methods, so it can just use `TyCtxt` directly instead.
…nkov Support serializing CodegenContext Follow up to rust-lang#149209 Part of rust-lang/compiler-team#908
…g,Kivooeo Move tests moved few tests r? @Kivooeo
…mes, r=Mark-Simulacrum Add must_use for FileTimes Fixes rust-lang#152231
…hercote Simplify parallel! macro This replaces the `parallel!` macro with a `par_fns` function.
…it, r=lcnr `-Znext-solver` Prevent committing unfulfilled unsized coercion Fixes rust-lang/trait-system-refactor-initiative#266 r? lcnr
…=dingxiangfei2009 remove redundant backchain attribute in codegen llvm will look at both 1. the values of `"target-features"` and 2. the function string attributes. this patch removes the redundant function string attribute because it is not needed at all. rustc sets the `+backchain` attribute through `target_features_attr(...)` https://github.com/rust-lang/rust/blob/d34f1f931489618efffc4007e6b6bdb9e10f6467/compiler/rustc_codegen_llvm/src/attributes.rs#L590 https://github.com/rust-lang/rust/blob/d34f1f931489618efffc4007e6b6bdb9e10f6467/compiler/rustc_codegen_llvm/src/attributes.rs#L326-L337
Fix feature gating for new `try bikeshed` expressions r? fmease Fixes rust-lang#152501
…at-test, r=RalfJung sparc64: enable abi compatibility test fixes rust-lang#115336 We can now remove the exceptions for sparc64 from the abi compatibility tests (since rust-lang#142680). I was also able to remove a cfg for mips64. The remaining (tested) issues seem to be around how `f64` is handled there. cc @RalfJung r? tgross35
…expansion, r=fmease reject inline const patterns pre-expansion Reverts the parser changes from rust-lang#149667 Fixes rust-lang#152499 Awkwardly, some cases of inline const pats can only be caught pre-expansion and some can only be caught post-expansion. rust-lang#149667 switched from only rejecting the former to only rejecting the latter.
…ouwer Port #[prelude_import] to the attribute parser Tracking issue: rust-lang#131229 r? @JonathanBrouwer Didn't change any use-sites of it in the compiler
…=madsmtm Add 2048-bit HvxVectorPair support to Hexagon SIMD ABI checks Previously, rustc rejected HvxVectorPair types in function signatures because the HEXAGON_FEATURES_FOR_CORRECT_FIXED_LENGTH_VECTOR_ABI array only had entries for vectors up to 1024 bits. This caused the ABI checker to emit "unsupported vector type" errors for 2048-bit HvxVectorPair (used in 128-byte HVX mode). Add 2048 byte entry to allow HvxVectorPair to be passed in extern "C" funcs when the hvx-length128b is enabled.
rustbot
added
A-attributes
Member
Author
|
Rollup of everything. @bors r+ rollup=never p=5 |
Contributor
rust-bors
bot
added
S-waiting-on-bors
Member
Author
|
@bors try jobs=x86_64-msvc-1,i686-msvc-1,x86_64-mingw-1,test-various,armhf-gnu,aarch64-apple,x86_64-gnu-llvm-20-3,dist-various-2,x86_64-gnu-debug |
Contributor
|
⌛ Trying commit 4a207a3 with merge 5a2ccb9… To cancel the try build, run the command Workflow: https://github.com/rust-lang/rust/actions/runs/21971044897 |
rust-bors bot
pushed a commit
that referenced
this pull request
Feb 13, 2026
Rollup of 18 pull requests try-job: x86_64-msvc-1 try-job: i686-msvc-1 try-job: x86_64-mingw-1 try-job: test-various try-job: armhf-gnu try-job: aarch64-apple try-job: x86_64-gnu-llvm-20-3 try-job: dist-various-2 try-job: x86_64-gnu-debug
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
16 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.
Successful merges:
QueryJobMap#152514 (Collect active query jobs into structQueryJobMap)DepContextinrustc_middle::traits::cache#152520 (Don't useDepContextinrustc_middle::traits::cache)-Znext-solverPrevent committing unfulfilled unsized coercion #152444 (-Znext-solverPrevent committing unfulfilled unsized coercion)try bikeshedexpressions #152519 (Fix feature gating for newtry bikeshedexpressions)r? @ghost
Create a similar rollup