summaryrefslogtreecommitdiffstats
path: root/src/test/mir-opt/dest-prop/copy_propagation_arg.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/mir-opt/dest-prop/copy_propagation_arg.rs')
-rw-r--r--src/test/mir-opt/dest-prop/copy_propagation_arg.rs40
1 files changed, 0 insertions, 40 deletions
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);
-}