rust/tests/mir-opt/dest-prop/copy_propagation_arg.rs

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

41 lines
1.0 KiB
Rust
Raw Normal View History

2020-10-16 19:25:31 -05:00
// Check that DestinationPropagation does not propagate an assignment to a function argument
// (doing so can break usages of the original argument value)
// unit-test: DestinationPropagation
fn dummy(x: u8) -> u8 {
x
}
2020-10-16 19:25:31 -05:00
// EMIT_MIR copy_propagation_arg.foo.DestinationPropagation.diff
fn foo(mut x: u8) {
// calling `dummy` to make a use of `x` that copyprop cannot eliminate
x = dummy(x); // this will assign a local to `x`
}
2020-10-16 19:25:31 -05:00
// EMIT_MIR copy_propagation_arg.bar.DestinationPropagation.diff
fn bar(mut x: u8) {
dummy(x);
x = 5;
}
2020-10-16 19:25:31 -05:00
// EMIT_MIR copy_propagation_arg.baz.DestinationPropagation.diff
fn baz(mut x: i32) -> i32 {
// self-assignment to a function argument should be eliminated
x = x;
x
}
2020-10-16 19:25:31 -05:00
// EMIT_MIR copy_propagation_arg.arg_src.DestinationPropagation.diff
2017-12-03 02:38:56 -06:00
fn arg_src(mut x: i32) -> i32 {
let y = x;
x = 123; // Don't propagate this assignment to `y`
y
}
fn main() {
// Make sure the function actually gets instantiated.
foo(0);
bar(0);
2017-11-05 21:35:43 -06:00
baz(0);
2017-12-03 02:38:56 -06:00
arg_src(0);
}