rust/compiler/rustc_mir_dataflow/src/impls, branch beta

Reimplement DestinationPropagation according to live ranges.

2025-09-07T16:24:46+00:00

Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=Amanieu

2025-08-02T09:24:24+00:00

Improve formatting of doc code blocks We don't currently apply automatic formatting to doc comment code blocks. As a result, it has built up various idiosyncracies, which make such automatic formatting difficult. Some of those idiosyncracies also make things harder for human readers or other tools. This PR makes a few improvements to doc code formatting, in the hopes of making future automatic formatting easier, as well as in many cases providing net readability improvements. I would suggest reading each commit separately, as each commit contains one class of changes.

use let chains in hir, lint, mir

2025-07-28T01:10:14+00:00

Skip formatting for some compiler documentation code

2025-07-26T05:01:49+00:00

These examples feature Rust code that's presented primarily to illustrate how its compilation would be handled, and these examples are formatted to highlight those aspects in ways that rustfmt wouldn't preserve. Turn formatting off in those examples. (Doc code isn't formatted yet, but this will make it easier to enable doc code formatting in the future.)

Apply effects to otherwise edge in dataflow analysis

2025-07-08T23:15:05+00:00

AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}, scoped async drop added.

2025-04-28T09:23:13+00:00

Remove `SwitchIntTarget`.

2025-02-16T22:51:37+00:00

It's only passed to `Analysis::apply_switch_int_edge_effect`, and the existing impls of that method only use the `value` field. So pass that instead.

Add `SwitchTargetValue`.

2025-02-16T22:51:37+00:00

This is much clearer than `Option`.

Move drop elaboration infrastructure.

2025-02-14T05:05:34+00:00

`rustc_mir_dataflow/src/elaborate_drops.rs` contains some infrastructure used by a few MIR passes: the `elaborate_drop` function, the `DropElaborator` trait, etc. `rustc_mir_transform/src/elaborate_drops.rs` (same file name, different crate) contains the `ElaborateDrops` pass. It relies on a lot of the infrastructure from `rustc_mir_dataflow/src/elaborate_drops.rs`. It turns out that the drop infrastructure is only used in `rustc_mir_transform`, so this commit moves it there. (The only exception is the small `DropFlagState` type, which is moved to the existing `rustc_mir_dataflow/src/drop_flag_effects.rs`.) The file is renamed from `rustc_mir_dataflow/src/elaborate_drops.rs` to `rustc_mir_transform/src/elaborate_drop.rs` (with no trailing `s`) because (a) the `elaborate_drop` function is the most important export, and (b) `rustc_mir_transform/src/elaborate_drops.rs` already exists. All the infrastructure pieces that used to be `pub` are now `pub(crate)`, because they are now only used within `rustc_mir_transform`.

Implement MIR, CTFE, and codegen for unsafe binders

2025-01-31T17:19:53+00:00