@pcwalton ("Patrick Walton") wrote:
MIR-level value numbering optimizations in rustc seem to work well so far -- WIP branch at https://github.com/pcwalton/rust/tree/value-numbering
This could subsume constant and copy propagation and has the potential to do optimizations that are hard in C++ due to lack of immutability guarantees on memory.