1 files changed, 13 insertions, 0 deletions
diff --git a/tests/codegen-llvm/move-operands.rs b/tests/codegen-llvm/move-operands.rs
new file mode 100644
index 00000000000..ddad231b762
--- /dev/null
+++ b/tests/codegen-llvm/move-operands.rs
@@ -0,0 +1,13 @@
+// Verify that optimized MIR only copies `a` once.
+//@ compile-flags: -Copt-level=3 -C no-prepopulate-passes
+
+#![crate_type = "lib"]
+
+type T = [u8; 256];
+
+#[no_mangle]
+pub fn f(a: T, b: fn(_: T, _: T)) {
+    // CHECK: call void @llvm.memcpy.{{.*}}(ptr align 1 %{{.*}}, ptr align 1 %{{.*}}, {{.*}} 256, i1 false)
+    // CHECK-NOT: call void @llvm.memcpy.{{.*}}(ptr align 1 %{{.*}}, ptr align 1 %{{.*}}, {{.*}} 256, i1 false)
+    b(a, a)
+}