mirror of https://github.com/rust-lang/rust
d2d24e395a
Account for immutably borrowed locals in MIR copy-prop and GVN For the most part, we consider that immutably borrowed `Freeze` locals still fulfill SSA conditions. As the borrow is immutable, any use of the local will have the value given by the single assignment, and there can be no surprise. This allows copy-prop to merge a non-borrowed local with a borrowed local. We chose to keep copy-classes heads unborrowed, as those may be easier to optimize in later passes. This also allows to GVN the value behind an immutable borrow. If a SSA local is borrowed, dereferencing that borrow is equivalent to copying the local's value: re-executing the assignment between the borrow and the dereference would be UB. r? `@ghost` for perf |
||
|---|---|---|
| .. | ||
| borrowed_local.borrowed.CopyProp.panic-abort.diff | ||
| borrowed_local.borrowed.CopyProp.panic-unwind.diff | ||
| borrowed_local.compare_address.CopyProp.panic-abort.diff | ||
| borrowed_local.compare_address.CopyProp.panic-unwind.diff | ||
| borrowed_local.non_freeze.CopyProp.panic-abort.diff | ||
| borrowed_local.non_freeze.CopyProp.panic-unwind.diff | ||
| borrowed_local.rs | ||
| branch.foo.CopyProp.panic-abort.diff | ||
| branch.foo.CopyProp.panic-unwind.diff | ||
| branch.rs | ||
| calls.multiple_edges.CopyProp.diff | ||
| calls.nrvo.CopyProp.diff | ||
| calls.rs | ||
| copy_propagation_arg.arg_src.CopyProp.panic-abort.diff | ||
| copy_propagation_arg.arg_src.CopyProp.panic-unwind.diff | ||
| copy_propagation_arg.bar.CopyProp.panic-abort.diff | ||
| copy_propagation_arg.bar.CopyProp.panic-unwind.diff | ||
| copy_propagation_arg.baz.CopyProp.panic-abort.diff | ||
| copy_propagation_arg.baz.CopyProp.panic-unwind.diff | ||
| copy_propagation_arg.foo.CopyProp.panic-abort.diff | ||
| copy_propagation_arg.foo.CopyProp.panic-unwind.diff | ||
| copy_propagation_arg.rs | ||
| custom_move_arg.f.CopyProp.panic-abort.diff | ||
| custom_move_arg.f.CopyProp.panic-unwind.diff | ||
| custom_move_arg.rs | ||
| cycle.main.CopyProp.panic-abort.diff | ||
| cycle.main.CopyProp.panic-unwind.diff | ||
| cycle.rs | ||
| dead_stores_79191.f.CopyProp.after.panic-abort.mir | ||
| dead_stores_79191.f.CopyProp.after.panic-unwind.mir | ||
| dead_stores_79191.rs | ||
| dead_stores_better.f.CopyProp.after.panic-abort.mir | ||
| dead_stores_better.f.CopyProp.after.panic-unwind.mir | ||
| dead_stores_better.rs | ||
| issue_107511.main.CopyProp.panic-abort.diff | ||
| issue_107511.main.CopyProp.panic-unwind.diff | ||
| issue_107511.rs | ||
| move_arg.f.CopyProp.panic-abort.diff | ||
| move_arg.f.CopyProp.panic-unwind.diff | ||
| move_arg.rs | ||
| move_projection.f.CopyProp.panic-abort.diff | ||
| move_projection.f.CopyProp.panic-unwind.diff | ||
| move_projection.rs | ||
| mutate_through_pointer.f.CopyProp.diff | ||
| mutate_through_pointer.rs | ||
| non_dominate.f.CopyProp.diff | ||
| non_dominate.rs | ||
| partial_init.main.CopyProp.diff | ||
| partial_init.rs | ||
| reborrow.demiraw.CopyProp.panic-abort.diff | ||
| reborrow.demiraw.CopyProp.panic-unwind.diff | ||
| reborrow.miraw.CopyProp.panic-abort.diff | ||
| reborrow.miraw.CopyProp.panic-unwind.diff | ||
| reborrow.remut.CopyProp.panic-abort.diff | ||
| reborrow.remut.CopyProp.panic-unwind.diff | ||
| reborrow.reraw.CopyProp.panic-abort.diff | ||
| reborrow.reraw.CopyProp.panic-unwind.diff | ||
| reborrow.rs | ||