1 files changed, 21 insertions, 0 deletions
diff --git a/tests/codegen-llvm/move-before-nocapture-ref-arg.rs b/tests/codegen-llvm/move-before-nocapture-ref-arg.rs
new file mode 100644
index 00000000000..2ebd645e1c3
--- /dev/null
+++ b/tests/codegen-llvm/move-before-nocapture-ref-arg.rs
@@ -0,0 +1,21 @@
+// Verify that move before the call of the function with noalias, nocapture, readonly.
+// #107436
+//@ compile-flags: -Copt-level=3
+
+#![crate_type = "lib"]
+
+#[repr(C)]
+pub struct ThreeSlices<'a>(&'a [u32], &'a [u32], &'a [u32]);
+
+#[no_mangle]
+pub fn sum_slices(val: ThreeSlices) -> u32 {
+    // CHECK-NOT: memcpy
+    let val = val;
+    sum(&val)
+}
+
+#[no_mangle]
+#[inline(never)]
+pub fn sum(val: &ThreeSlices) -> u32 {
+    val.0.iter().sum::<u32>() + val.1.iter().sum::<u32>() + val.2.iter().sum::<u32>()
+}