2021-08-06 12:33:02 -05:00
|
|
|
// This test ensures that `mem::replace::<T>` only ever calls `@llvm.memcpy`
|
|
|
|
// with `size_of::<T>()` as the size, and never goes through any wrapper that
|
|
|
|
// may e.g. multiply `size_of::<T>()` with a variable "count" (which is only
|
|
|
|
// known to be `1` after inlining).
|
|
|
|
|
2022-05-29 12:44:58 -05:00
|
|
|
// compile-flags: -C no-prepopulate-passes -Zinline-mir=no
|
2022-09-26 09:54:22 -05:00
|
|
|
// ignore-debug: the debug assertions get in the way
|
2021-08-06 12:33:02 -05:00
|
|
|
|
|
|
|
#![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
|
2022-05-29 12:44:58 -05:00
|
|
|
// the entire output, are the two direct calls we want, from `ptr::replace`.
|
2021-08-06 12:33:02 -05:00
|
|
|
|
|
|
|
// CHECK-NOT: call void @llvm.memcpy
|
2022-05-29 12:44:58 -05:00
|
|
|
// CHECK: ; core::mem::replace
|
2021-08-06 12:33:02 -05:00
|
|
|
// CHECK-NOT: call void @llvm.memcpy
|
2022-10-06 18:10:15 -05:00
|
|
|
// CHECK: call void @llvm.memcpy.{{.+}}({{i8\*|ptr}} align 1 %{{.*}}, {{i8\*|ptr}} align 1 %{{.*}}, i{{.*}} 1, i1 false)
|
2021-08-06 12:33:02 -05:00
|
|
|
// CHECK-NOT: call void @llvm.memcpy
|
2022-10-06 18:10:15 -05:00
|
|
|
// CHECK: call void @llvm.memcpy.{{.+}}({{i8\*|ptr}} align 1 %{{.*}}, {{i8\*|ptr}} align 1 %{{.*}}, i{{.*}} 1, i1 false)
|
2021-08-06 12:33:02 -05:00
|
|
|
// CHECK-NOT: call void @llvm.memcpy
|