Implement RFC 3943: MIR move elimination - #157943

Open

Amanieu wants to merge 13 commits into

rust-lang:mainfrom

Amanieu:move-elimination

Commits on Aug 24, 2026

Remove incorrect comments about Rvalue::Aggregate not being allowed
Amanieu
committed
3cf7d2d
Re-introduce `ResultsVisitor::visit_block_exit`
Amanieu
committed
df540c6
Various changes to `SparseIntervalMatrix`
Amanieu
committed
8d7fc17
Add precise MIR liveness analysis
Amanieu
committed
99245af
Add MIR move elimination pass
Amanieu
committed
6617c10
Add a MIR pass which turns copies into moves just before a return
Amanieu
committed
f7d7777
Gate move elimination behind -Z mir-move-elimination
Amanieu
committed
34906fe
Address review feedback
Amanieu
committed
de7cec8
Address more review feedback
Amanieu
committed
b04dd7b

Commits on Aug 27, 2026

Add InitializedBeforeUse analysis to control placement of StorageLive
Amanieu
committed
813aabe
Bind MIR test variables through debug declarations
Amanieu
committed
2b12dfa
End live ranges before a Return terminator
Amanieu
committed
8f0bbeb

Commits on Aug 29, 2026

Emit StorageLive after StorageDead to avoid false overlaps
Amanieu
committed
03564de