bors d7f14d3d89 Auto merge of #156218 - cjgillot:dest-prop-range, r=Amanieu ...

DestinationPropagation: compute liveness as ranges instead of traveling bitsets

The current implementation of `save_as_liveness` is very slow, and consists in inserting a traveling bitset in an interval set.

As the `MaybeLiveLocals` has a gen-kill property, we can leverage it to make it faster. "Gen" is creating a new interval. "Kill" is ending this interval, ripe to save in the interval set.

2026-05-15 18:05:42 +00:00

..

borrowed_locals.rs

Reborrow traits

2026-05-07 21:55:44 +03:00

initialized.rs

use deref_patterns in rustc_mir_dataflow

2026-05-13 19:45:13 +00:00

liveness.rs

Auto merge of #156218 - cjgillot:dest-prop-range, r=Amanieu

2026-05-15 18:05:42 +00:00

mod.rs

Reimplement DestinationPropagation according to live ranges.

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

storage_liveness.rs

use deref_patterns in rustc_mir_dataflow

2026-05-13 19:45:13 +00:00