rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Run filecheck on dest-prop/copy_propagation.rs

Browse Source
This commit is contained in:
CastilloDel
2024-04-14 11:35:23 +02:00
parent 6bd68fcceb
commit f238eba621
1 changed files with 17 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
tests/mir-opt/dest-prop/copy_propagation_arg.rs
View File

@@ -1,4 +1,3 @@
// skip-filecheck
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
// Check that DestinationPropagation does not propagate an assignment to a function argument // Check that DestinationPropagation does not propagate an assignment to a function argument
// (doing so can break usages of the original argument value) // (doing so can break usages of the original argument value)
@@ -9,18 +8,29 @@ fn dummy(x: u8) -> u8 {
// EMIT_MIR copy_propagation_arg.foo.DestinationPropagation.diff // EMIT_MIR copy_propagation_arg.foo.DestinationPropagation.diff
fn foo(mut x: u8) { fn foo(mut x: u8) {
// CHECK-LABEL: fn foo(
// CHECK: debug x => [[x:_.*]];
// CHECK: dummy(move [[x]])
// CHECK: [[x]] = move {{_.*}};
// calling `dummy` to make a use of `x` that copyprop cannot eliminate // calling `dummy` to make a use of `x` that copyprop cannot eliminate
x = dummy(x); // this will assign a local to `x` x = dummy(x); // this will assign a local to `x`
} }
// EMIT_MIR copy_propagation_arg.bar.DestinationPropagation.diff // EMIT_MIR copy_propagation_arg.bar.DestinationPropagation.diff
fn bar(mut x: u8) { fn bar(mut x: u8) {
// CHECK-LABEL: fn bar(
// CHECK: debug x => [[x:_.*]];
// CHECK: dummy(move [[x]])
// CHECK: [[x]] = const 5_u8;
dummy(x); dummy(x);
x = 5; x = 5;
} }
// EMIT_MIR copy_propagation_arg.baz.DestinationPropagation.diff // EMIT_MIR copy_propagation_arg.baz.DestinationPropagation.diff
fn baz(mut x: i32) -> i32 { fn baz(mut x: i32) -> i32 {
// CHECK-LABEL: fn baz(
// CHECK: debug x => [[x:_.*]];
// CHECK-NOT: [[x]] = {{_.*}}
// self-assignment to a function argument should be eliminated // self-assignment to a function argument should be eliminated
x = x; x = x;
x x
@@ -28,6 +38,12 @@ fn baz(mut x: i32) -> i32 {
// EMIT_MIR copy_propagation_arg.arg_src.DestinationPropagation.diff // EMIT_MIR copy_propagation_arg.arg_src.DestinationPropagation.diff
fn arg_src(mut x: i32) -> i32 { fn arg_src(mut x: i32) -> i32 {
// CHECK-LABEL: fn arg_src(
// CHECK: debug x => [[x:_.*]];
// CHECK: debug y => [[y:_.*]];
// CHECK: [[y]] = [[x]]
// CHECK: [[x]] = const 123_i32;
// CHECK-NOT: {{_.*}} = [[y]];
let y = x; let y = x;
x = 123; // Don't propagate this assignment to `y` x = 123; // Don't propagate this assignment to `y`
y y