Repository navigation

MIR move elimination [1/6]: MIR preparation - #163335

Draft

Amanieu wants to merge 16 commits into

rust-lang:mainfrom

Amanieu:move-elimination/mir-preparation

Draft

MIR move elimination [1/6]: MIR preparation#163335
Amanieu wants to merge 16 commits into
rust-lang:mainfrom
Amanieu:move-elimination/mir-preparation

Commits on Sep 30, 2026
- Re-introduce ResultsVisitor::visit_block_exit
  Amanieu
  committed
  34f8c05
- Add precise MIR liveness analysis
  Amanieu
  committed
  1c34f63
- Remove incorrect comments about Rvalue::Aggregate not being allowed
  Amanieu
  committed
  3e531ec
- Add MIR move elimination pass
  Amanieu
  committed
  e61dd0d
- Add supporting APIs for MIR storage reconstruction
  Amanieu
  committed
  9157f5e
- Reconstruct storage lifetimes after move elimination
  Amanieu
  committed
  eab2d36
- Document move-elimination semantics
  Amanieu
  committed
  7a51296
- Add MIR StorageAlloc statement
  Amanieu
  committed
  349a03a
- Use StorageAlloc before borrowing uninitialized locals
  Amanieu
  committed
  1decd8f
- Use Copy for resume_place in async drop elaboration
  Amanieu
  committed
  373e47e
- Emit StorageAlloc for sibling fields in SROA
  Amanieu
  committed
  b120d20
- Emit StorageAlloc for direct call destinations when inlining
  Amanieu
  committed
  f6837a1
- Allow dead store elimination to remove StorageAlloc
  Amanieu
  committed
  4d63be2
- Add more test coverage for StorageAlloc
  Amanieu
  committed
  2b9027a
- Re-bless tests
  Amanieu
  committed
  b8b68b1
- Reject StorageAlloc in MaybeRequiresStorage
  Amanieu
  committed
  dc6558c