Files
rust/compiler
bors 06a53ddc0b Auto merge of #113758 - cjgillot:move-dse, r=JakobDegen,oli-obk
Turn copy into moves during DSE.

Dead store elimination computes whether removing a direct store to an unborrowed place is allowed.
Where removing a store is allowed, writing `uninit` is too.

This means that we can use this pass to transform `copy` operands into `move` operands. This is only interesting in call terminators, so we only handle those.

Special care is taken for the `use_both(_1, _1)` case:
- moving the second argument is ok, as `_1` is not live after the call;
- moving the first argument is not, as the second argument reads `_1`.

Fixes #75993
Fixes https://github.com/rust-lang/rust/issues/108068

r? `@RalfJung`
cc `@JakobDegen`
2023-07-20 15:05:39 +00:00
..
2023-03-11 10:53:47 -06:00
2023-07-12 21:38:55 -04:00
2023-05-02 10:45:16 -07:00
2023-07-03 07:20:51 +00:00
2023-07-02 21:02:31 +02:00
2023-07-19 16:37:09 +00:00
2023-07-03 13:51:54 -07:00