Repository navigation

MIR move elimination [6/6]: Miri support - #163340

Draft

Amanieu wants to merge 27 commits into

rust-lang:mainfrom

Amanieu:move-elimination/miri

Commits on Sep 30, 2026
- Initialize ZST results in MIR construction and lowering
  Amanieu
  committed
  1ddeed6
- SimplifyMatch: evaluate all constants instead of just scalars
  Amanieu
  committed
  53efecc
- Preserve direct ZST writes in RemoveZsts
  Amanieu
  committed
  7c30889
- Don't hardcode basic block names in hint codegen tests
  Amanieu
  committed
  0d66911
- Bless incremental tests
  Amanieu
  committed
  e53461b
- [DO NOT MERGE] Work around test failure by adjusting inliner threshold
  Amanieu
  committed
  c1901f7
- 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
- Merge branch 'move-elimination/zst-initialization' into move-elimination/miri
  Amanieu
  committed
  2d1d941
- Protect in-place variadic arguments in Miri
  Amanieu
  committed
  2683066
- Separate evaluation of rvalues from assignment evaluation
  Amanieu
  committed
  2193267
- Ensure all call destinations are uninitialized on unwind
  Amanieu
  committed
  a3f2031
- Add Miri support for move elimination semantics
  Amanieu
  committed
  f686996

Navigation Menu

Repository navigation

MIR move elimination [6/6]: Miri support - #163340

MIR move elimination [6/6]: Miri support#163340
Amanieu wants to merge 27 commits into
rust-lang:mainfrom
Amanieu:move-elimination/miri

Commits on Sep 30, 2026

Initialize ZST results in MIR construction and lowering

SimplifyMatch: evaluate all constants instead of just scalars

Preserve direct ZST writes in RemoveZsts

Don't hardcode basic block names in hint codegen tests

Bless incremental tests

[DO NOT MERGE] Work around test failure by adjusting inliner threshold

Re-introduce ResultsVisitor::visit_block_exit

Add precise MIR liveness analysis

Remove incorrect comments about Rvalue::Aggregate not being allowed

Add MIR move elimination pass

Add supporting APIs for MIR storage reconstruction

Reconstruct storage lifetimes after move elimination

Document move-elimination semantics

Add MIR StorageAlloc statement

Use StorageAlloc before borrowing uninitialized locals

Use Copy for resume_place in async drop elaboration

Emit StorageAlloc for sibling fields in SROA

Emit StorageAlloc for direct call destinations when inlining

Allow dead store elimination to remove StorageAlloc

Add more test coverage for StorageAlloc

Re-bless tests

Reject StorageAlloc in MaybeRequiresStorage

Merge branch 'move-elimination/zst-initialization' into move-elimination/miri

Protect in-place variadic arguments in Miri

Separate evaluation of rvalues from assignment evaluation

Ensure all call destinations are uninitialized on unwind

Add Miri support for move elimination semantics