2020-09-23 08:13:49 -05:00
|
|
|
//! Codegen vtables and vtable accesses.
|
|
|
|
//!
|
2021-04-07 14:47:01 -05:00
|
|
|
//! See `rustc_codegen_ssa/src/meth.rs` for reference.
|
2020-09-23 08:13:49 -05:00
|
|
|
// FIXME dedup this logic between miri, cg_llvm and cg_clif
|
2018-09-08 11:00:06 -05:00
|
|
|
|
|
|
|
use crate::prelude::*;
|
2021-06-14 05:02:53 -05:00
|
|
|
use ty::VtblEntry;
|
2018-09-08 11:00:06 -05:00
|
|
|
|
2019-12-20 09:16:28 -06:00
|
|
|
fn vtable_memflags() -> MemFlags {
|
|
|
|
let mut flags = MemFlags::trusted(); // A vtable access is always aligned and will never trap.
|
|
|
|
flags.set_readonly(); // A vtable is always read-only.
|
|
|
|
flags
|
|
|
|
}
|
|
|
|
|
2021-03-05 12:12:59 -06:00
|
|
|
pub(crate) fn drop_fn_of_obj(fx: &mut FunctionCx<'_, '_, '_>, vtable: Value) -> Value {
|
2020-08-22 09:47:31 -05:00
|
|
|
let usize_size = fx.layout_of(fx.tcx.types.usize).size.bytes() as usize;
|
2019-02-07 13:45:15 -06:00
|
|
|
fx.bcx.ins().load(
|
2020-08-22 09:47:31 -05:00
|
|
|
pointer_ty(fx.tcx),
|
2019-12-20 09:16:28 -06:00
|
|
|
vtable_memflags(),
|
2019-02-07 13:45:15 -06:00
|
|
|
vtable,
|
2021-06-14 05:02:53 -05:00
|
|
|
(ty::COMMON_VTABLE_ENTRIES_DROPINPLACE * usize_size) as i32,
|
2019-02-07 13:45:15 -06:00
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2021-03-05 12:12:59 -06:00
|
|
|
pub(crate) fn size_of_obj(fx: &mut FunctionCx<'_, '_, '_>, vtable: Value) -> Value {
|
2020-08-22 09:47:31 -05:00
|
|
|
let usize_size = fx.layout_of(fx.tcx.types.usize).size.bytes() as usize;
|
2018-09-08 11:00:06 -05:00
|
|
|
fx.bcx.ins().load(
|
2020-08-22 09:47:31 -05:00
|
|
|
pointer_ty(fx.tcx),
|
2019-12-20 09:16:28 -06:00
|
|
|
vtable_memflags(),
|
2018-09-08 11:00:06 -05:00
|
|
|
vtable,
|
2021-06-14 05:02:53 -05:00
|
|
|
(ty::COMMON_VTABLE_ENTRIES_SIZE * usize_size) as i32,
|
2018-09-08 11:00:06 -05:00
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2021-03-05 12:12:59 -06:00
|
|
|
pub(crate) fn min_align_of_obj(fx: &mut FunctionCx<'_, '_, '_>, vtable: Value) -> Value {
|
2020-08-22 09:47:31 -05:00
|
|
|
let usize_size = fx.layout_of(fx.tcx.types.usize).size.bytes() as usize;
|
2018-09-15 04:14:27 -05:00
|
|
|
fx.bcx.ins().load(
|
2020-08-22 09:47:31 -05:00
|
|
|
pointer_ty(fx.tcx),
|
2019-12-20 09:16:28 -06:00
|
|
|
vtable_memflags(),
|
2018-09-15 04:14:27 -05:00
|
|
|
vtable,
|
2021-06-14 05:02:53 -05:00
|
|
|
(ty::COMMON_VTABLE_ENTRIES_SIZE * usize_size) as i32,
|
2018-09-15 04:14:27 -05:00
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2020-03-27 06:14:45 -05:00
|
|
|
pub(crate) fn get_ptr_and_method_ref<'tcx>(
|
2021-03-05 12:12:59 -06:00
|
|
|
fx: &mut FunctionCx<'_, '_, 'tcx>,
|
2018-09-08 11:00:06 -05:00
|
|
|
arg: CValue<'tcx>,
|
|
|
|
idx: usize,
|
|
|
|
) -> (Value, Value) {
|
2020-03-10 14:41:31 -05:00
|
|
|
let (ptr, vtable) = if let Abi::ScalarPair(_, _) = arg.layout().abi {
|
|
|
|
arg.load_scalar_pair(fx)
|
|
|
|
} else {
|
|
|
|
let (ptr, vtable) = arg.try_to_ptr().unwrap();
|
2020-08-28 05:10:48 -05:00
|
|
|
(ptr.get_addr(fx), vtable.unwrap())
|
2020-03-10 14:41:31 -05:00
|
|
|
};
|
|
|
|
|
2020-08-22 09:47:31 -05:00
|
|
|
let usize_size = fx.layout_of(fx.tcx.types.usize).size.bytes();
|
2018-09-08 11:00:06 -05:00
|
|
|
let func_ref = fx.bcx.ins().load(
|
2020-08-22 09:47:31 -05:00
|
|
|
pointer_ty(fx.tcx),
|
2019-12-20 09:16:28 -06:00
|
|
|
vtable_memflags(),
|
2018-09-08 11:00:06 -05:00
|
|
|
vtable,
|
2021-06-14 05:02:53 -05:00
|
|
|
(idx * usize_size as usize) as i32,
|
2018-09-08 11:00:06 -05:00
|
|
|
);
|
|
|
|
(ptr, func_ref)
|
|
|
|
}
|
|
|
|
|
2020-03-27 06:14:45 -05:00
|
|
|
pub(crate) fn get_vtable<'tcx>(
|
2021-03-05 12:12:59 -06:00
|
|
|
fx: &mut FunctionCx<'_, '_, 'tcx>,
|
2020-03-30 12:00:24 -05:00
|
|
|
layout: TyAndLayout<'tcx>,
|
2019-01-06 08:27:20 -06:00
|
|
|
trait_ref: Option<ty::PolyExistentialTraitRef<'tcx>>,
|
2018-09-08 11:00:06 -05:00
|
|
|
) -> Value {
|
2021-04-30 07:49:58 -05:00
|
|
|
let data_id = if let Some(data_id) = fx.vtables.get(&(layout.ty, trait_ref)) {
|
2018-09-08 11:00:06 -05:00
|
|
|
*data_id
|
|
|
|
} else {
|
2020-01-15 06:17:09 -06:00
|
|
|
let data_id = build_vtable(fx, layout, trait_ref);
|
2021-04-30 07:49:58 -05:00
|
|
|
fx.vtables.insert((layout.ty, trait_ref), data_id);
|
2018-09-08 11:00:06 -05:00
|
|
|
data_id
|
|
|
|
};
|
|
|
|
|
2021-04-30 07:49:58 -05:00
|
|
|
let local_data_id = fx.module.declare_data_in_func(data_id, &mut fx.bcx.func);
|
2018-11-07 06:32:02 -06:00
|
|
|
fx.bcx.ins().global_value(fx.pointer_type, local_data_id)
|
2018-09-08 11:00:06 -05:00
|
|
|
}
|
|
|
|
|
2019-08-18 09:52:07 -05:00
|
|
|
fn build_vtable<'tcx>(
|
2021-03-05 12:12:59 -06:00
|
|
|
fx: &mut FunctionCx<'_, '_, 'tcx>,
|
2020-03-30 12:00:24 -05:00
|
|
|
layout: TyAndLayout<'tcx>,
|
2019-01-06 08:27:20 -06:00
|
|
|
trait_ref: Option<ty::PolyExistentialTraitRef<'tcx>>,
|
2018-09-08 11:00:06 -05:00
|
|
|
) -> DataId {
|
2020-08-22 09:47:31 -05:00
|
|
|
let tcx = fx.tcx;
|
|
|
|
let usize_size = fx.layout_of(fx.tcx.types.usize).size.bytes() as usize;
|
2018-09-08 11:00:06 -05:00
|
|
|
|
2020-08-28 05:10:48 -05:00
|
|
|
let drop_in_place_fn = import_function(
|
|
|
|
tcx,
|
2021-04-30 07:49:58 -05:00
|
|
|
fx.module,
|
2020-08-28 05:10:48 -05:00
|
|
|
Instance::resolve_drop_in_place(tcx, layout.ty).polymorphize(fx.tcx),
|
|
|
|
);
|
2018-09-08 11:00:06 -05:00
|
|
|
|
2021-06-14 05:02:53 -05:00
|
|
|
let vtable_entries = if let Some(trait_ref) = trait_ref {
|
|
|
|
tcx.vtable_entries(trait_ref.with_self_ty(tcx, layout.ty))
|
2019-01-06 08:27:20 -06:00
|
|
|
} else {
|
2021-06-14 05:02:53 -05:00
|
|
|
ty::COMMON_VTABLE_ENTRIES
|
2019-01-06 08:27:20 -06:00
|
|
|
};
|
2018-09-08 11:00:06 -05:00
|
|
|
|
|
|
|
let mut data_ctx = DataContext::new();
|
|
|
|
let mut data = ::std::iter::repeat(0u8)
|
2021-06-14 05:02:53 -05:00
|
|
|
.take(vtable_entries.len() * usize_size)
|
2018-09-08 11:00:06 -05:00
|
|
|
.collect::<Vec<u8>>()
|
|
|
|
.into_boxed_slice();
|
2018-11-24 04:23:49 -06:00
|
|
|
|
2021-06-14 05:02:53 -05:00
|
|
|
for (idx, entry) in vtable_entries.iter().enumerate() {
|
|
|
|
match entry {
|
|
|
|
VtblEntry::MetadataSize => {
|
|
|
|
write_usize(fx.tcx, &mut data, idx, layout.size.bytes());
|
|
|
|
}
|
|
|
|
VtblEntry::MetadataAlign => {
|
|
|
|
write_usize(fx.tcx, &mut data, idx, layout.align.abi.bytes());
|
|
|
|
}
|
|
|
|
VtblEntry::MetadataDropInPlace | VtblEntry::Vacant | VtblEntry::Method(_, _) => {}
|
|
|
|
}
|
|
|
|
}
|
2018-09-08 11:00:06 -05:00
|
|
|
data_ctx.define(data);
|
|
|
|
|
2021-06-14 05:02:53 -05:00
|
|
|
for (idx, entry) in vtable_entries.iter().enumerate() {
|
|
|
|
match entry {
|
|
|
|
VtblEntry::MetadataDropInPlace => {
|
|
|
|
let func_ref = fx.module.declare_func_in_data(drop_in_place_fn, &mut data_ctx);
|
|
|
|
data_ctx.write_function_addr((idx * usize_size) as u32, func_ref);
|
|
|
|
}
|
|
|
|
VtblEntry::Method(def_id, substs) => {
|
|
|
|
let func_id = import_function(
|
|
|
|
tcx,
|
|
|
|
fx.module,
|
|
|
|
Instance::resolve_for_vtable(tcx, ParamEnv::reveal_all(), *def_id, substs)
|
|
|
|
.unwrap()
|
|
|
|
.polymorphize(fx.tcx),
|
|
|
|
);
|
|
|
|
let func_ref = fx.module.declare_func_in_data(func_id, &mut data_ctx);
|
|
|
|
data_ctx.write_function_addr((idx * usize_size) as u32, func_ref);
|
|
|
|
}
|
|
|
|
VtblEntry::MetadataSize | VtblEntry::MetadataAlign | VtblEntry::Vacant => {}
|
2018-09-08 11:00:06 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-11-03 04:00:04 -06:00
|
|
|
data_ctx.set_align(fx.tcx.data_layout.pointer_align.pref.bytes());
|
2020-10-01 03:38:23 -05:00
|
|
|
|
2021-04-30 07:49:58 -05:00
|
|
|
let data_id = fx.module.declare_anonymous_data(false, false).unwrap();
|
|
|
|
|
|
|
|
fx.module.define_data(data_id, &data_ctx).unwrap();
|
2019-04-27 11:49:13 -05:00
|
|
|
|
2018-09-08 11:00:06 -05:00
|
|
|
data_id
|
|
|
|
}
|
|
|
|
|
2020-04-05 06:48:26 -05:00
|
|
|
fn write_usize(tcx: TyCtxt<'_>, buf: &mut [u8], idx: usize, num: u64) {
|
2021-03-05 12:12:59 -06:00
|
|
|
let pointer_size =
|
|
|
|
tcx.layout_of(ParamEnv::reveal_all().and(tcx.types.usize)).unwrap().size.bytes() as usize;
|
2020-09-16 09:54:58 -05:00
|
|
|
let target = &mut buf[idx * pointer_size..(idx + 1) * pointer_size];
|
2018-09-08 11:00:06 -05:00
|
|
|
|
|
|
|
match tcx.data_layout.endian {
|
2020-09-16 09:54:58 -05:00
|
|
|
rustc_target::abi::Endian::Little => match pointer_size {
|
|
|
|
4 => target.copy_from_slice(&(num as u32).to_le_bytes()),
|
|
|
|
8 => target.copy_from_slice(&(num as u64).to_le_bytes()),
|
|
|
|
_ => todo!("pointer size {} is not yet supported", pointer_size),
|
|
|
|
},
|
|
|
|
rustc_target::abi::Endian::Big => match pointer_size {
|
|
|
|
4 => target.copy_from_slice(&(num as u32).to_be_bytes()),
|
|
|
|
8 => target.copy_from_slice(&(num as u64).to_be_bytes()),
|
|
|
|
_ => todo!("pointer size {} is not yet supported", pointer_size),
|
|
|
|
},
|
2018-10-10 12:07:13 -05:00
|
|
|
}
|
2018-09-08 11:00:06 -05:00
|
|
|
}
|