Rollup of 21 pull requests#159024
Open
JonathanBrouwer wants to merge 78 commits into
Open
Conversation
Both musl and glibc have supported static PIE for a while, so there's no reason to ever build a non-PIE executable with a modern toolchain.
…st from delegation parent
…iles instead of .rs files
A recent change in InstSimplify is able to skip the `and` in this codegen, which is strictly an improvement. We accept the new version on newer LLVM and the old verison on older ones using the revisions system. The change in array-cmp.rs appears to have come from the same revision, so I gave it the same treatment. It's weirder to me though, because it merely changes the order of the phi operands which if I understand right doesn't actually matter.
Update unstable book with ls valid values
in `is_call_from_compiler_builtins_to_upstream_monomorphization`, suggested by Saethlin
We'll do this using `-Zforce-intrinsic-fallback` in the main repo going forward
A number of float operations from libm have intrinsics for optimization, but it is also okay to just call the libm functions directly. Add a fallback for these cases, including converting to/from another float size where needed, so the backends don't need to override these. We do not add a fallback body for intrinsics that have a softfloat implementation (e.g. sqrt, fma), because it would make them harder to constify later.
This prints generics parameters when these are concrete Adt generics args. A lint is emitted we try to format a generic that is found anywhere. Moreover, generics parameters that are ty infer vars are no longer displayed "as-is", it is not clear and might be confusing, in this specific case the name of the generic parameter will be displayed instead.
Co-Authored-By: Clar Fon <15850505+clarfonthey@users.noreply.github.com>
…tes-ice, r=BoxyUwU delegation: do not always inherit `ConstArgHasType` predicates The explanation can be found in comment in `inherit_predicates_for_delegation_item`. So the problem is that we have two `ConstArgHasType` predicates in `param_env` which tell that a single const has different types. But the function `find_const_ty_from_env` panics in this situation. This assert is here for a long time, and I do not have enough knowledge to say if it is correct or not, however I have thoughts that having contradictory predicates should not lead to panic, instead an error from trait solver or whatever engine that solves those predicates should be reported. Do not want to dive too deep into researching and possibly rewriting `find_const_ty_from_env`, so fixed it on delegation level. Fixes rust-lang#158675. Part of rust-lang#118212. r? @petrochenkov
…, r=oli-obk view-types: HIR lowering
tests: fix enum-match.rs to handle LLVM 23 A recent change in InstSimplify is able to skip the `and` in this codegen, which is strictly an improvement. We accept the new version on newer LLVM and the old verison on older ones using the revisions system. The change in array-cmp.rs appears to have come from the same revision, so I gave it the same treatment. It's weirder to me though, because it merely changes the order of the phi operands which if I understand right doesn't actually matter.
…=GuillaumeGomez Add documentation for the `no_std` attribute Added documentation for built-in `no_std` attribute using the `#[doc(attribute = "...")]` mechanism. Part of rust-lang#157604. r? @GuillaumeGomez
Implement feature `char_to_u32` Accepted ACP: rust-lang/libs-team#778 (comment) Tracking issue: rust-lang#158938 Add method `char::to_u32` which returns the underlying value of `char`.
…hoyuVanilla Merge three `MaxUniverse`s into one We have three similar visitors to find the max universe of a value. They differ only in whether they consider infers, placeholders or both. I think this is a small refactor without any behavior impact. r? @ShoyuVanilla or @khyperia
…=nikic Reapply "LLVM 23: Run AssignGUIDPass in some places" This reverts commit 4919940. This is a re-do of rust-lang#157055 now that the corresponding LLVM change has re-landed.
…kertdev [compiler] Implement `PartialOrd` via `Ord` for `Span` and newtype_indexes For something unconditionally `Ord`, this is better than using `partial_cmp` on fields. I couldn't find any other cases in the compiler codebase of this, but it's entirely possible I missed some. Let me know if you can think of any.
Use `as_lang_item` instead of repeatedly matching drive-by fix I noticed while reviewing https://github.com/rust-lang/rust/pull/157489/changes#r3550851573
rustbot
added
A-attributes
Contributor
Author
Contributor
rust-bors
Bot
added
S-waiting-on-bors
Contributor
|
⌛ Trying commit b1d0911 with merge 4b37617… To cancel the try build, run the command Workflow: https://github.com/rust-lang/rust/actions/runs/29030836174 |
rust-bors Bot
pushed a commit
that referenced
this pull request
Jul 9, 2026
Rollup of 21 pull requests try-job: dist-various-1 try-job: test-various try-job: x86_64-gnu-aux try-job: x86_64-gnu-llvm-21-3 try-job: x86_64-msvc-1 try-job: aarch64-apple try-job: x86_64-mingw-1 try-job: i686-msvc-*
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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
20 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:
static_position_independent_executableson all gnu and musl targets #158510 (Enablestatic_position_independent_executableson all gnu and musl targets)std::io::Writetocore::io#158541 (Movestd::io::Writetocore::io)unaligned_volatile_storeby removingMemFlags::UNALIGNED#158899 (Fixunaligned_volatile_storeby removingMemFlags::UNALIGNED)u128/i128c-variadic arguments #155429 (Supportu128/i128c-variadic arguments)'static#156508 (Infer all anonymous lifetimes in assoc consts as'static)-Zlsdiagnostic message on.rsfiles #158859 (Improve-Zlsdiagnostic message on.rsfiles)TokenStreamIter#158988 (RedoTokenStreamIter)ConstArgHasTypepredicates #158722 (delegation: do not always inheritConstArgHasTypepredicates)no_stdattribute #158886 (Add documentation for theno_stdattribute)char_to_u32#158940 (Implement featurechar_to_u32)MaxUniverses into one #158951 (Merge threeMaxUniverses into one)PartialOrdviaOrdforSpanand newtype_indexes #158996 ([compiler] ImplementPartialOrdviaOrdforSpanand newtype_indexes)as_lang_iteminstead of repeatedly matching #159005 (Useas_lang_iteminstead of repeatedly matching)r? @ghost
Create a similar rollup