From a4b7ed7a42c716ab9f05e351f003d589124fd55d Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:18:58 +0200 Subject: Adding upstream version 1.68.2+dfsg1. Signed-off-by: Daniel Baumann --- src/test/mir-opt/dest-prop/copy_propagation_arg.rs | 40 ---------------------- 1 file changed, 40 deletions(-) delete mode 100644 src/test/mir-opt/dest-prop/copy_propagation_arg.rs (limited to 'src/test/mir-opt/dest-prop/copy_propagation_arg.rs') diff --git a/src/test/mir-opt/dest-prop/copy_propagation_arg.rs b/src/test/mir-opt/dest-prop/copy_propagation_arg.rs deleted file mode 100644 index 31be6c931..000000000 --- a/src/test/mir-opt/dest-prop/copy_propagation_arg.rs +++ /dev/null @@ -1,40 +0,0 @@ -// 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 -} - -// 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` -} - -// EMIT_MIR copy_propagation_arg.bar.DestinationPropagation.diff -fn bar(mut x: u8) { - dummy(x); - x = 5; -} - -// 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 -} - -// EMIT_MIR copy_propagation_arg.arg_src.DestinationPropagation.diff -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); - baz(0); - arg_src(0); -} -- cgit v1.2.3