From d88c80f5de09d62a5c5d726274e3362a6c4f8ddd Mon Sep 17 00:00:00 2001 From: khei4 Date: Mon, 21 Aug 2023 19:35:08 +0900 Subject: [PATCH] add codegen test for #107436 remove trailing whitespace, add trailing newline fix llvm version and function name --- .../codegen/move-before-nocapture-ref-arg.rs | 22 +++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 tests/codegen/move-before-nocapture-ref-arg.rs diff --git a/tests/codegen/move-before-nocapture-ref-arg.rs b/tests/codegen/move-before-nocapture-ref-arg.rs new file mode 100644 index 0000000000000..c7b400c8f8d01 --- /dev/null +++ b/tests/codegen/move-before-nocapture-ref-arg.rs @@ -0,0 +1,22 @@ +// Verify that move before the call of the function with noalias, nocapture, readonly. +// #107436 +// compile-flags: -O +// min-llvm-version: 17 + +#![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::() +}