From a27f3e3fd1e4d16160f8885b6b06665b5319f56c Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Mon, 21 Jul 2025 14:34:12 +0200 Subject: Rename `tests/codegen` into `tests/codegen-llvm` --- tests/codegen-llvm/move-before-nocapture-ref-arg.rs | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 tests/codegen-llvm/move-before-nocapture-ref-arg.rs (limited to 'tests/codegen-llvm/move-before-nocapture-ref-arg.rs') 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::() + val.1.iter().sum::() + val.2.iter().sum::() +} -- cgit 1.4.1-3-g733a5