Skip to content

Commit

Permalink
Rollup merge of rust-lang#119555 - Kobzol:maybeuninit-rvo-codegen-tes…
Browse files Browse the repository at this point in the history
…t, r=nikic

Add codegen test for RVO on MaybeUninit

Codegen test for rust-lang#90595. Currently, this only works with `-Cpanic=abort`, but hopefully in the [future](https://www.npopov.com/2024/01/01/This-year-in-LLVM-2023.html#writable-and-dead_on_unwind) it should also work in the presence of panics.

r? ``@nikic``
  • Loading branch information
matthiaskrgr committed Jan 4, 2024
2 parents f4335a4 + 0c56ccf commit c505d76
Showing 1 changed file with 33 additions and 0 deletions.
33 changes: 33 additions & 0 deletions tests/codegen/maybeuninit-rvo.rs
Original file line number Diff line number Diff line change
@@ -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()
}
}

0 comments on commit c505d76

Please sign in to comment.