FileCheck inline_shims.

This commit is contained in:
Camille GILLOT 2023-10-16 20:29:47 +00:00
parent 13683554ed
commit 69d9369f0c

View File

@ -1,14 +1,17 @@
// skip-filecheck
// EMIT_MIR_FOR_EACH_PANIC_STRATEGY // EMIT_MIR_FOR_EACH_PANIC_STRATEGY
#![crate_type = "lib"] #![crate_type = "lib"]
// EMIT_MIR inline_shims.clone.Inline.diff // EMIT_MIR inline_shims.clone.Inline.diff
pub fn clone<A, B>(f: fn(A, B)) -> fn(A, B) { pub fn clone<A, B>(f: fn(A, B)) -> fn(A, B) {
// CHECK-LABEL: fn clone(
// CHECK: (inlined <fn(A, B) as Clone>::clone - shim(fn(A, B)))
f.clone() f.clone()
} }
// EMIT_MIR inline_shims.drop.Inline.diff // EMIT_MIR inline_shims.drop.Inline.diff
pub fn drop<A, B>(a: *mut Vec<A>, b: *mut Option<B>) { pub fn drop<A, B>(a: *mut Vec<A>, b: *mut Option<B>) {
// CHECK-LABEL: fn drop(
// CHECK: (inlined std::ptr::drop_in_place::<Option<B>> - shim(Some(Option<B>)))
unsafe { std::ptr::drop_in_place(a) } unsafe { std::ptr::drop_in_place(a) }
unsafe { std::ptr::drop_in_place(b) } unsafe { std::ptr::drop_in_place(b) }
} }