Skip to content

Conversation

@matthiaskrgr
Copy link
Member

@matthiaskrgr matthiaskrgr commented Dec 4, 2025

Successful merges:

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup

a1phyr and others added 30 commits December 1, 2025 19:40
…ed_to_constitute_read_for_never` to more accessible locations
...wrt `type_ascribe`/unsafe binders -- the check was infinitely
recursive before.
... since unreachable-code only has a few tests while
`reachable` is the more popular directory...
[PR 148765](rust-lang#148765) changed
the expected signature of Thread::new(), which broke Motor OS target.

Also set thread name.
tests/ui/issues/issue-4935 is duplicated of
tests/ui/argument-suggestions/suggest-better-removing-issue-126246.rs
`tests/ui/type-inference/ambiguous-num-type-method-call.rs`
`tests/ui/mismatched_types/assignment-mismatch-various-types.rs`

merge `tests/ui/mismatched_types/main.rs`
This register is only supported on the *powerpc*spe targets. It is
only recognized by LLVM. gcc does not accept this as a clobber, nor
does it support these targets.

This is a volatile register, thus it is included with clobber_abi.
`vis_span.to(ident.span.shrink_to_lo())`
Improve `io::Error::downcast`

Rewrite this function to help to compiler understand what is going on here.
Only apply `no_mangle_const_items`'s suggestion to plain const items

resolve: rust-lang#149511
…h726

fix the check for which expressions read never type

Fixes rust-lang#149542
Fixes rust-lang#149431

First commit is a drive-by needed for the refactor of the unreachable code lint, see rust-lang#148303
…, r=ehuss

rename cortex-ar references to unified aarch32

Just a little documentation update. Thanks to the amazing work of `@thejpster`  , we have a unified `aarch32-rt` run-time for both Cortex-A and Cortex-R.
Batched compiletest Config fixups

A few batched `compiletest` `Config` self-consistency fixups, mostly to get it out of the way for follow-up changes I would like to make (namely, I would like to slightly cleanup the config parsing logic).

### Review remarks

Changes are best reviewed commit-by-commit. This PR should contain no functional changes.

r? `@Zalathar` (or bootstrap/compiler)
…anieu

Allow PowerPC spe_acc as clobber-only register

This register is only supported on the *powerpc*spe targets. It is only recognized by LLVM. gcc does not accept this as a clobber, nor does it support these targets.

This is a volatile register, thus it is included with clobber_abi.

r? `@Amanieu`
r? `@antoyo`
…h, r=Mark-Simulacrum

Implement benchmarks for uN::{gather,scatter}_bits

Feature gate: #![feature(uint_gather_scatter_bits)]
Tracking issue: rust-lang#149069
Accepted ACP: rust-lang/libs-team#695 (comment)

For each method, there are three benchmarks, which differ in that the mask (second) argument is one of:
 - constant at compile time
 - runtime value but invariant for the measured loop
 - different for each call

Sample output
```text
    num::int_bits::u32::constant::gather_bits      555.82ns/iter   +/- 22.41
    num::int_bits::u32::constant::scatter_bits     545.45ns/iter  +/- 124.26
    num::int_bits::u32::invariant::gather_bits    8178.86ns/iter  +/- 217.37
    num::int_bits::u32::invariant::scatter_bits   7135.95ns/iter  +/- 214.51
    num::int_bits::u32::variable::gather_bits    10539.29ns/iter  +/- 198.90
    num::int_bits::u32::variable::scatter_bits    9671.26ns/iter  +/- 254.88
```
(and similarly for the other `uN` types)
@rustbot rustbot added A-compiletest Area: The compiletest test runner A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. A-testsuite Area: The testsuite used to check the correctness of rustc S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-clippy Relevant to the Clippy team. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. T-rustdoc-frontend Relevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output. rollup A PR which is a rollup labels Dec 4, 2025
@matthiaskrgr
Copy link
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

@rust-bors

This comment has been minimized.

rust-bors bot added a commit that referenced this pull request Dec 4, 2025
Rollup of 10 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
@rust-bors
Copy link

rust-bors bot commented Dec 4, 2025

☀️ Try build successful (CI)
Build commit: 51f3143 (51f31436526a08abbf0a13a6304196132d4cd6ca, parent: 556beb9ec72360512d0294eb0855c92fb2c20c88)

@matthiaskrgr
Copy link
Member Author

@bors r+ rollup=never p=5

@bors
Copy link
Collaborator

bors commented Dec 4, 2025

📌 Commit ac607e0 has been approved by matthiaskrgr

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Dec 4, 2025
@bors
Copy link
Collaborator

bors commented Dec 4, 2025

⌛ Testing commit ac607e0 with merge 29e035e...

@bors
Copy link
Collaborator

bors commented Dec 4, 2025

☀️ Test successful - checks-actions
Approved by: matthiaskrgr
Pushing 29e035e to main...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Dec 4, 2025
@bors bors merged commit 29e035e into rust-lang:main Dec 4, 2025
13 checks passed
@rustbot rustbot added this to the 1.93.0 milestone Dec 4, 2025
@github-actions
Copy link
Contributor

github-actions bot commented Dec 4, 2025

What is this? This is an experimental post-merge analysis report that shows differences in test outcomes between the merged PR and its parent PR.

Comparing 5372fc9 (parent) -> 29e035e (this PR)

Test differences

Show 192 test diffs

Stage 1

  • num::int_bits::u128::constant::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u128::constant::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u128::invariant::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u128::invariant::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u128::variable::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u128::variable::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u16::constant::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u16::constant::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u16::invariant::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u16::invariant::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u16::variable::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u16::variable::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u32::constant::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u32::constant::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u32::invariant::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u32::invariant::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u32::variable::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u32::variable::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u64::constant::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u64::constant::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u64::invariant::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u64::invariant::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u64::variable::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u64::variable::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u8::constant::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u8::constant::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u8::invariant::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u8::invariant::scatter_bits: [missing] -> pass (J1)
  • num::int_bits::u8::variable::gather_bits: [missing] -> pass (J1)
  • num::int_bits::u8::variable::scatter_bits: [missing] -> pass (J1)
  • [ui] tests/ui/issues/issue-3109.rs: pass -> [missing] (J2)
  • [ui] tests/ui/issues/issue-3477.rs: pass -> [missing] (J2)
  • [ui] tests/ui/issues/issue-4935.rs: pass -> [missing] (J2)
  • [ui] tests/ui/issues/issue-5062.rs: pass -> [missing] (J2)
  • [ui] tests/ui/issues/issue-51874.rs: pass -> [missing] (J2)
  • [ui] tests/ui/lint/no-mangle-generic-const-suggestion-suppressed.rs: [missing] -> pass (J2)
  • [ui] tests/ui/mismatched_types/assignment-mismatch-various-types.rs: [missing] -> pass (J2)
  • [ui] tests/ui/mismatched_types/main.rs: pass -> [missing] (J2)
  • [ui] tests/ui/reachable/boolean-negation-in-unreachable-code-7344.rs: [missing] -> pass (J2)
  • [ui] tests/ui/reachable/guard_read_for_never.rs: [missing] -> pass (J2)
  • [ui] tests/ui/reachable/nested_type_ascription.rs: [missing] -> pass (J2)
  • [ui] tests/ui/reachable/type_ascribe_never_field.rs: [missing] -> pass (J2)
  • [ui] tests/ui/reachable/unreachable-bool-read-7246.rs: [missing] -> pass (J2)
  • [ui] tests/ui/str/debug-print-basic-tuple.rs: [missing] -> pass (J2)
  • [ui] tests/ui/type-inference/ambiguous-num-type-method-call.rs: [missing] -> pass (J2)
  • [ui] tests/ui/unreachable-code/boolean-negation-in-unreachable-code-7344.rs: pass -> [missing] (J2)
  • [ui] tests/ui/unreachable-code/unreachable-bool-read-7246.rs: pass -> [missing] (J2)

Stage 2

  • num::int_bits::u128::constant::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u128::constant::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u128::invariant::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u128::invariant::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u128::variable::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u128::variable::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u16::constant::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u16::constant::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u16::invariant::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u16::invariant::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u16::variable::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u16::variable::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u32::constant::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u32::constant::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u32::invariant::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u32::invariant::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u32::variable::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u32::variable::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u64::constant::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u64::constant::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u64::invariant::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u64::invariant::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u64::variable::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u64::variable::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u8::constant::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u8::constant::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u8::invariant::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u8::invariant::scatter_bits: [missing] -> pass (J0)
  • num::int_bits::u8::variable::gather_bits: [missing] -> pass (J0)
  • num::int_bits::u8::variable::scatter_bits: [missing] -> pass (J0)
  • [ui] tests/ui/issues/issue-3109.rs: pass -> [missing] (J3)
  • [ui] tests/ui/issues/issue-3477.rs: pass -> [missing] (J3)
  • [ui] tests/ui/issues/issue-4935.rs: pass -> [missing] (J3)
  • [ui] tests/ui/issues/issue-5062.rs: pass -> [missing] (J3)
  • [ui] tests/ui/issues/issue-51874.rs: pass -> [missing] (J3)
  • [ui] tests/ui/lint/no-mangle-generic-const-suggestion-suppressed.rs: [missing] -> pass (J3)
  • [ui] tests/ui/mismatched_types/assignment-mismatch-various-types.rs: [missing] -> pass (J3)
  • [ui] tests/ui/mismatched_types/main.rs: pass -> [missing] (J3)
  • [ui] tests/ui/reachable/boolean-negation-in-unreachable-code-7344.rs: [missing] -> pass (J3)
  • [ui] tests/ui/reachable/guard_read_for_never.rs: [missing] -> pass (J3)
  • [ui] tests/ui/reachable/nested_type_ascription.rs: [missing] -> pass (J3)
  • [ui] tests/ui/reachable/type_ascribe_never_field.rs: [missing] -> pass (J3)
  • [ui] tests/ui/reachable/unreachable-bool-read-7246.rs: [missing] -> pass (J3)
  • [ui] tests/ui/str/debug-print-basic-tuple.rs: [missing] -> pass (J3)
  • [ui] tests/ui/type-inference/ambiguous-num-type-method-call.rs: [missing] -> pass (J3)
  • [ui] tests/ui/unreachable-code/boolean-negation-in-unreachable-code-7344.rs: pass -> [missing] (J3)
  • [ui] tests/ui/unreachable-code/unreachable-bool-read-7246.rs: pass -> [missing] (J3)

Additionally, 98 doctest diffs were found. These are ignored, as they are noisy.

Job group index

Test dashboard

Run

cargo run --manifest-path src/ci/citool/Cargo.toml -- \
    test-dashboard 29e035e1728488dce5a03daa527ab1091d1cda47 --output-dir test-dashboard

And then open test-dashboard/index.html in your browser to see an overview of all executed tests.

Job duration changes

  1. x86_64-gnu-miri: 4093.2s -> 4923.5s (+20.3%)
  2. pr-check-1: 1647.5s -> 1973.8s (+19.8%)
  3. dist-aarch64-apple: 10229.5s -> 8518.4s (-16.7%)
  4. x86_64-rust-for-linux: 2639.2s -> 3037.2s (+15.1%)
  5. x86_64-gnu-tools: 3313.0s -> 3756.8s (+13.4%)
  6. x86_64-gnu-llvm-20: 2424.4s -> 2747.4s (+13.3%)
  7. i686-gnu-2: 5475.6s -> 6176.9s (+12.8%)
  8. x86_64-gnu-llvm-21-1: 3134.0s -> 3531.4s (+12.7%)
  9. dist-aarch64-llvm-mingw: 6228.8s -> 7016.9s (+12.7%)
  10. i686-gnu-nopt-2: 7809.4s -> 8793.0s (+12.6%)
How to interpret the job duration changes?

Job durations can vary a lot, based on the actual runner instance
that executed the job, system noise, invalidated caches, etc. The table above is provided
mostly for t-infra members, for simpler debugging of potential CI slow-downs.

@rust-timer
Copy link
Collaborator

📌 Perf builds for each rolled up PR:

PR# Message Perf Build Sha
#149521 Improve io::Error::downcast cf707120fdea0a8f03f481385a2ca9473a406d67 (link)
#149544 Only apply no_mangle_const_items's suggestion to plain co… 62399e7148fb715728d8ed0dfefc888131f0a9d9 (link)
#149545 fix the check for which expressions read never type 5f2469cb2b807aa728c2e340b4eaf91b646ff76e (link)
#149570 rename cortex-ar references to unified aarch32 66a4f0c8868d229144b5485617de42089262729b (link)
#149574 Batched compiletest Config fixups ef189557749ea0c863b86bad8b5cfdd2303f3ad2 (link)
#149579 Motor OS: fix compile error 4d7648168d133124d2ed14057e466fe5f3146e2f (link)
#149595 Tidying up tests/ui/issues tests [2/N] 06927493c2cb1395cdfaae46bd8ae1f55986c3c8 (link)
#149597 Revert "implement and test `Iterator::{exactly_one, collect… e1d1fe49f6eaa11bc100dfa07ae33fb7eaa595f1 (link)
#149608 Allow PowerPC spe_acc as clobber-only register 2d6d110b73b49c0ecf7ed7fc6f06f6153008c884 (link)
#149610 Implement benchmarks for uN::{gather,scatter}_bits fd1a3d69dad9d11c3dfc84e11d6ebc535354abe1 (link)

previous master: 5372fc9cb7

In the case of a perf regression, run the following command for each PR you suspect might be the cause: @rust-timer build $SHA

@rust-timer
Copy link
Collaborator

Finished benchmarking commit (29e035e): comparison URL.

Overall result: ❌✅ regressions and improvements - no action needed

@rustbot label: -perf-regression

Instruction count

Our most reliable metric. Used to determine the overall result above. However, even this metric can be noisy.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
0.5% [0.5%, 0.5%] 1
Improvements ✅
(primary)
-0.1% [-0.1%, -0.1%] 1
Improvements ✅
(secondary)
-0.8% [-0.8%, -0.8%] 1
All ❌✅ (primary) -0.1% [-0.1%, -0.1%] 1

Max RSS (memory usage)

Results (primary 0.2%, secondary 0.5%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
0.6% [0.4%, 0.8%] 2
Regressions ❌
(secondary)
0.5% [0.5%, 0.5%] 1
Improvements ✅
(primary)
-0.7% [-0.7%, -0.7%] 1
Improvements ✅
(secondary)
- - 0
All ❌✅ (primary) 0.2% [-0.7%, 0.8%] 3

Cycles

Results (secondary 3.1%)

A less reliable metric. May be of interest, but not used to determine the overall result above.

mean range count
Regressions ❌
(primary)
- - 0
Regressions ❌
(secondary)
3.1% [1.6%, 4.6%] 2
Improvements ✅
(primary)
- - 0
Improvements ✅
(secondary)
- - 0
All ❌✅ (primary) - - 0

Binary size

This benchmark run did not return any relevant results for this metric.

Bootstrap: 468.725s -> 470.646s (0.41%)
Artifact size: 386.77 MiB -> 386.77 MiB (-0.00%)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-compiletest Area: The compiletest test runner A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. A-testsuite Area: The testsuite used to check the correctness of rustc merged-by-bors This PR was explicitly merged by bors. rollup A PR which is a rollup S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-clippy Relevant to the Clippy team. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. T-rustdoc-frontend Relevant to the rustdoc-frontend team, which will review and decide on the web UI/UX output.

Projects

None yet

Development

Successfully merging this pull request may close these issues.