MIR move elimination

[nikomatsakis]

Metadata
Point of contact	@Amanieu
Team(s)	compiler, lang, opsem, wg-mir-opt
Goal document	2025h2/mir-move-elimination

Summary

Add a MIR optimization which eliminates move operations. This will require changes to the MIR semantics of move to enable the optimization to cases where a value has had its address taken (LLVM already eliminates moves when this is not the case).

Tasks and status

• Discussion and moral support (lang, compiler )
• Author RFC (@Amanieu)
• Design meeting (opsem, wg-mir-opt )
• RFC decision (lang, compiler )
• Implementation (@Amanieu)

[nikomatsakis]

This issue is intended for status updates only.

For general questions or comments, please contact the owner(s) directly.

[Amanieu]

An RFC draft covering the MIR changes necessary to support this optimization has been written and is currently being reviewed by T-opsem. It has already received one round of review and the feedback has been incorporated in the draft.