Auto merge of #106660 - saethlin:destprop-move-codegen, r=tmiasko

Add a regression test for argument copies with DestinationPropagation This example, as a codegen test: #105813 (comment) r? `@tmiasko`
rust-lang · Jan 11, 2023 · 1e4f900 · 1e4f900
2 parents ef4046e + 13eec69
commit 1e4f900
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/tests/codegen/move-operands.rs b/tests/codegen/move-operands.rs
@@ -0,0 +1,12 @@
+// compile-flags: -C no-prepopulate-passes -Zmir-enable-passes=+DestinationPropagation
+
+#![crate_type = "lib"]
+
+type T = [u8; 256];
+
+#[no_mangle]
+pub fn f(a: T, b: fn(_: T, _: T)) {
+    // CHECK: call void @llvm.memcpy.{{.*}}({{i8\*|ptr}} align 1 %{{.*}}, {{i8\*|ptr}} align 1 %{{.*}}, {{.*}} 256, i1 false)
+    // CHECK-NOT: call void @llvm.memcpy.{{.*}}({{i8\*|ptr}} align 1 %{{.*}}, {{i8\*|ptr}} align 1 %{{.*}}, {{.*}} 256, i1 false)
+    b(a, a)
+}