From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:02:58 +0200 Subject: Adding upstream version 1.64.0+dfsg1. Signed-off-by: Daniel Baumann --- src/test/codegen/mem-replace-direct-memcpy.rs | 35 +++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 src/test/codegen/mem-replace-direct-memcpy.rs (limited to 'src/test/codegen/mem-replace-direct-memcpy.rs') diff --git a/src/test/codegen/mem-replace-direct-memcpy.rs b/src/test/codegen/mem-replace-direct-memcpy.rs new file mode 100644 index 000000000..8095d309f --- /dev/null +++ b/src/test/codegen/mem-replace-direct-memcpy.rs @@ -0,0 +1,35 @@ +// ignore-test + +// WHY IS THIS TEST BEING IGNORED: +// +// This test depends on characteristics of how the stdlib was compiled, +// namely that sufficient inlining occurred to ensure that the call to +// `std::mem::replace` boils down to just two calls of `llvm.memcpy`. +// +// But the MIR inlining policy is in flux as of 1.64-beta, and the intermittent +// breakage of this test that results is causing problems for people trying to +// do development. + +// This test ensures that `mem::replace::` only ever calls `@llvm.memcpy` +// with `size_of::()` as the size, and never goes through any wrapper that +// may e.g. multiply `size_of::()` with a variable "count" (which is only +// known to be `1` after inlining). + +// compile-flags: -C no-prepopulate-passes -Zinline-mir=no + +#![crate_type = "lib"] + +pub fn replace_byte(dst: &mut u8, src: u8) -> u8 { + std::mem::replace(dst, src) +} + +// NOTE(eddyb) the `CHECK-NOT`s ensure that the only calls of `@llvm.memcpy` in +// the entire output, are the two direct calls we want, from `ptr::replace`. + +// CHECK-NOT: call void @llvm.memcpy +// CHECK: ; core::mem::replace +// CHECK-NOT: call void @llvm.memcpy +// CHECK: call void @llvm.memcpy.{{.+}}({{i8\*|ptr}} align 1 %{{.*}}, {{i8\*|ptr}} align 1 %dest, i{{.*}} 1, i1 false) +// CHECK-NOT: call void @llvm.memcpy +// CHECK: call void @llvm.memcpy.{{.+}}({{i8\*|ptr}} align 1 %dest, {{i8\*|ptr}} align 1 %src{{.*}}, i{{.*}} 1, i1 false) +// CHECK-NOT: call void @llvm.memcpy -- cgit v1.2.3