Add codegen test for RVO on MaybeUninit

Currently, this only works with `-Cpanic=abort`.
This commit is contained in:
Jakub Beránek 2024-01-03 21:04:02 +01:00
parent 1a47f5b448
commit 0c56ccff04
No known key found for this signature in database
GPG Key ID: 909CD0D26483516B
1 changed files with 33 additions and 0 deletions

View File

@ -0,0 +1,33 @@
// compile-flags: -O
#![feature(c_unwind)]
#![crate_type = "lib"]
pub struct Foo([u8; 1000]);
extern "C" {
fn init(p: *mut Foo);
}
pub fn new_from_uninit() -> Foo {
// CHECK-LABEL: new_from_uninit
// CHECK-NOT: call void @llvm.memcpy.
let mut x = std::mem::MaybeUninit::uninit();
unsafe {
init(x.as_mut_ptr());
x.assume_init()
}
}
extern "C-unwind" {
fn init_unwind(p: *mut Foo);
}
pub fn new_from_uninit_unwind() -> Foo {
// CHECK-LABEL: new_from_uninit
// CHECK: call void @llvm.memcpy.
let mut x = std::mem::MaybeUninit::uninit();
unsafe {
init_unwind(x.as_mut_ptr());
x.assume_init()
}
}