2018-12-12 15:12:48 +02:00
|
|
|
use crate::hir::def::Namespace;
|
2019-02-05 11:20:45 -06:00
|
|
|
use crate::hir::def_id::DefId;
|
2019-12-24 05:30:02 +01:00
|
|
|
use crate::middle::codegen_fn_attrs::CodegenFnAttrFlags;
|
2019-05-23 12:45:22 -05:00
|
|
|
use crate::middle::lang_items::DropInPlaceFnLangItem;
|
2019-12-22 17:42:04 -05:00
|
|
|
use crate::traits;
|
|
|
|
use crate::ty::print::{FmtPrinter, Printer};
|
|
|
|
use crate::ty::{self, SubstsRef, Ty, TyCtxt, TypeFoldable};
|
2018-12-03 01:14:35 +01:00
|
|
|
use rustc_macros::HashStable;
|
2019-12-22 17:42:04 -05:00
|
|
|
use rustc_target::spec::abi::Abi;
|
2017-02-08 18:31:03 +01:00
|
|
|
|
|
|
|
use std::fmt;
|
|
|
|
|
2019-11-15 18:19:52 +01:00
|
|
|
#[derive(Copy, Clone, PartialEq, Eq, Hash, Debug, RustcEncodable, RustcDecodable)]
|
|
|
|
#[derive(HashStable, Lift)]
|
2017-02-08 18:31:03 +01:00
|
|
|
pub struct Instance<'tcx> {
|
|
|
|
pub def: InstanceDef<'tcx>,
|
2019-02-09 22:11:53 +08:00
|
|
|
pub substs: SubstsRef<'tcx>,
|
2017-02-08 18:31:03 +01:00
|
|
|
}
|
|
|
|
|
2018-12-03 01:14:35 +01:00
|
|
|
#[derive(Copy, Clone, PartialEq, Eq, Hash, Debug, RustcEncodable, RustcDecodable, HashStable)]
|
2017-02-08 18:31:03 +01:00
|
|
|
pub enum InstanceDef<'tcx> {
|
|
|
|
Item(DefId),
|
2017-03-08 01:41:26 +02:00
|
|
|
Intrinsic(DefId),
|
2017-08-04 14:44:12 +02:00
|
|
|
|
2018-09-10 22:54:48 +09:00
|
|
|
/// `<T as Trait>::method` where `method` receives unsizeable `self: Self`.
|
|
|
|
VtableShim(DefId),
|
|
|
|
|
2019-10-09 21:02:54 -07:00
|
|
|
/// `fn()` pointer where the function itself cannot be turned into a pointer.
|
|
|
|
///
|
2019-10-29 20:56:21 +02:00
|
|
|
/// One example is `<dyn Trait as Trait>::fn`, where the shim contains
|
|
|
|
/// a virtual call, which codegen supports only via a direct call to the
|
|
|
|
/// `<dyn Trait as Trait>::fn` instance (an `InstanceDef::Virtual`).
|
|
|
|
///
|
|
|
|
/// Another example is functions annotated with `#[track_caller]`, which
|
|
|
|
/// must have their implicit caller location argument populated for a call.
|
|
|
|
/// Because this is a required part of the function's ABI but can't be tracked
|
|
|
|
/// as a property of the function pointer, we use a single "caller location"
|
|
|
|
/// (the definition of the function itself).
|
2019-10-03 19:10:34 -07:00
|
|
|
ReifyShim(DefId),
|
|
|
|
|
2019-02-08 14:53:55 +01:00
|
|
|
/// `<fn() as FnTrait>::call_*`
|
2019-05-17 02:20:14 +01:00
|
|
|
/// `DefId` is `FnTrait::call_*`.
|
2017-02-08 18:31:03 +01:00
|
|
|
FnPtrShim(DefId, Ty<'tcx>),
|
2017-08-04 14:44:12 +02:00
|
|
|
|
2019-11-27 13:59:59 +02:00
|
|
|
/// `<dyn Trait as Trait>::fn`, "direct calls" of which are implicitly
|
|
|
|
/// codegen'd as virtual calls.
|
|
|
|
///
|
|
|
|
/// NB: if this is reified to a `fn` pointer, a `ReifyShim` is used
|
|
|
|
/// (see `ReifyShim` above for more details on that).
|
2017-03-08 01:41:26 +02:00
|
|
|
Virtual(DefId, usize),
|
2017-08-04 14:44:12 +02:00
|
|
|
|
2019-02-08 14:53:55 +01:00
|
|
|
/// `<[mut closure] as FnOnce>::call_once`
|
2019-12-22 17:42:04 -05:00
|
|
|
ClosureOnceShim {
|
|
|
|
call_once: DefId,
|
|
|
|
},
|
2017-08-04 14:44:12 +02:00
|
|
|
|
2019-02-08 14:53:55 +01:00
|
|
|
/// `drop_in_place::<T>; None` for empty drop glue.
|
2017-03-14 01:08:21 +02:00
|
|
|
DropGlue(DefId, Option<Ty<'tcx>>),
|
2017-08-04 14:44:12 +02:00
|
|
|
|
2017-09-13 22:40:48 +02:00
|
|
|
///`<T as Clone>::clone` shim.
|
2017-08-07 16:21:08 +02:00
|
|
|
CloneShim(DefId, Ty<'tcx>),
|
2017-02-08 18:31:03 +01:00
|
|
|
}
|
|
|
|
|
2019-06-11 23:35:39 +03:00
|
|
|
impl<'tcx> Instance<'tcx> {
|
2020-01-02 00:42:31 -05:00
|
|
|
/// Returns the `Ty` corresponding to this `Instance`,
|
|
|
|
/// with generic substitutions applied and lifetimes erased.
|
|
|
|
///
|
|
|
|
/// This method can only be called when the 'substs' for this Instance
|
|
|
|
/// are fully monomorphic (no `ty::Param`'s are present).
|
|
|
|
/// This is usually the case (e.g. during codegen).
|
|
|
|
/// However, during constant evaluation, we may want
|
|
|
|
/// to try to resolve a `Instance` using generic parameters
|
|
|
|
/// (e.g. when we are attempting to to do const-propagation).
|
|
|
|
/// In this case, `Instace.ty_env` should be used to provide
|
|
|
|
/// the `ParamEnv` for our generic context.
|
2019-06-14 00:48:52 +03:00
|
|
|
pub fn ty(&self, tcx: TyCtxt<'tcx>) -> Ty<'tcx> {
|
2017-12-16 19:48:39 -06:00
|
|
|
let ty = tcx.type_of(self.def.def_id());
|
2020-01-02 00:42:31 -05:00
|
|
|
// There shouldn't be any params - if there are, then
|
|
|
|
// Instance.ty_env should have been used to provide the proper
|
|
|
|
// ParamEnv
|
|
|
|
if self.substs.has_param_types() {
|
2020-01-02 20:38:54 -05:00
|
|
|
bug!(
|
2020-01-02 23:03:05 -05:00
|
|
|
"Instance.ty called for type {:?} with params in substs: {:?}",
|
2020-01-02 22:27:26 -05:00
|
|
|
ty,
|
|
|
|
self.substs
|
2020-01-02 00:42:31 -05:00
|
|
|
);
|
|
|
|
}
|
2019-12-22 17:42:04 -05:00
|
|
|
tcx.subst_and_normalize_erasing_regions(self.substs, ty::ParamEnv::reveal_all(), &ty)
|
2017-10-25 17:27:27 +02:00
|
|
|
}
|
2020-01-02 00:42:31 -05:00
|
|
|
|
|
|
|
/// Like `Instance.ty`, but allows a `ParamEnv` to be specified for use during
|
|
|
|
/// normalization. This method is only really useful during constant evaluation,
|
|
|
|
/// where we are dealing with potentially generic types.
|
|
|
|
pub fn ty_env(&self, tcx: TyCtxt<'tcx>, param_env: ty::ParamEnv<'tcx>) -> Ty<'tcx> {
|
|
|
|
let ty = tcx.type_of(self.def.def_id());
|
|
|
|
tcx.subst_and_normalize_erasing_regions(self.substs, param_env, &ty)
|
|
|
|
}
|
2017-10-25 17:27:27 +02:00
|
|
|
}
|
|
|
|
|
2017-02-08 18:31:03 +01:00
|
|
|
impl<'tcx> InstanceDef<'tcx> {
|
|
|
|
#[inline]
|
|
|
|
pub fn def_id(&self) -> DefId {
|
|
|
|
match *self {
|
2019-12-22 17:42:04 -05:00
|
|
|
InstanceDef::Item(def_id)
|
|
|
|
| InstanceDef::VtableShim(def_id)
|
|
|
|
| InstanceDef::ReifyShim(def_id)
|
|
|
|
| InstanceDef::FnPtrShim(def_id, _)
|
|
|
|
| InstanceDef::Virtual(def_id, _)
|
|
|
|
| InstanceDef::Intrinsic(def_id)
|
|
|
|
| InstanceDef::ClosureOnceShim { call_once: def_id }
|
|
|
|
| InstanceDef::DropGlue(def_id, _)
|
|
|
|
| InstanceDef::CloneShim(def_id, _) => def_id,
|
2017-02-08 18:31:03 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
2019-06-14 00:48:52 +03:00
|
|
|
pub fn attrs(&self, tcx: TyCtxt<'tcx>) -> ty::Attributes<'tcx> {
|
2017-02-08 18:31:03 +01:00
|
|
|
tcx.get_attrs(self.def_id())
|
|
|
|
}
|
2017-10-27 11:27:05 +02:00
|
|
|
|
2019-06-14 00:48:52 +03:00
|
|
|
pub fn is_inline(&self, tcx: TyCtxt<'tcx>) -> bool {
|
2019-02-05 11:20:45 -06:00
|
|
|
use crate::hir::map::DefPathData;
|
2017-10-27 11:27:05 +02:00
|
|
|
let def_id = match *self {
|
|
|
|
ty::InstanceDef::Item(def_id) => def_id,
|
|
|
|
ty::InstanceDef::DropGlue(_, Some(_)) => return false,
|
2019-12-22 17:42:04 -05:00
|
|
|
_ => return true,
|
2017-10-27 11:27:05 +02:00
|
|
|
};
|
|
|
|
match tcx.def_key(def_id).disambiguated_data.data {
|
2019-03-24 17:49:58 +03:00
|
|
|
DefPathData::Ctor | DefPathData::ClosureExpr => true,
|
2019-12-22 17:42:04 -05:00
|
|
|
_ => false,
|
2017-10-27 11:27:05 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-06-14 00:48:52 +03:00
|
|
|
pub fn requires_local(&self, tcx: TyCtxt<'tcx>) -> bool {
|
2017-10-27 11:27:05 +02:00
|
|
|
if self.is_inline(tcx) {
|
2019-12-22 17:42:04 -05:00
|
|
|
return true;
|
2017-10-27 11:27:05 +02:00
|
|
|
}
|
|
|
|
if let ty::InstanceDef::DropGlue(..) = *self {
|
2018-05-08 16:10:16 +03:00
|
|
|
// Drop glue wants to be instantiated at every codegen
|
2017-10-27 11:27:05 +02:00
|
|
|
// unit, but without an #[inline] hint. We should make this
|
|
|
|
// available to normal end-users.
|
2019-12-22 17:42:04 -05:00
|
|
|
return true;
|
2017-10-27 11:27:05 +02:00
|
|
|
}
|
2018-11-17 15:36:06 +01:00
|
|
|
tcx.codegen_fn_attrs(self.def_id()).requests_inline()
|
2017-10-27 11:27:05 +02:00
|
|
|
}
|
2019-11-11 08:45:52 -08:00
|
|
|
|
|
|
|
pub fn requires_caller_location(&self, tcx: TyCtxt<'_>) -> bool {
|
|
|
|
tcx.codegen_fn_attrs(self.def_id()).flags.contains(CodegenFnAttrFlags::TRACK_CALLER)
|
|
|
|
}
|
2017-02-08 18:31:03 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
impl<'tcx> fmt::Display for Instance<'tcx> {
|
2018-08-29 22:02:42 -07:00
|
|
|
fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
|
2019-01-25 12:11:50 +02:00
|
|
|
ty::tls::with(|tcx| {
|
|
|
|
let substs = tcx.lift(&self.substs).expect("could not lift for printing");
|
|
|
|
FmtPrinter::new(tcx, &mut *f, Namespace::ValueNS)
|
2019-01-29 07:21:11 +02:00
|
|
|
.print_def_path(self.def_id(), substs)?;
|
2019-01-18 22:14:01 +02:00
|
|
|
Ok(())
|
|
|
|
})?;
|
|
|
|
|
2017-02-08 18:31:03 +01:00
|
|
|
match self.def {
|
2017-03-08 01:41:26 +02:00
|
|
|
InstanceDef::Item(_) => Ok(()),
|
2019-12-22 17:42:04 -05:00
|
|
|
InstanceDef::VtableShim(_) => write!(f, " - shim(vtable)"),
|
|
|
|
InstanceDef::ReifyShim(_) => write!(f, " - shim(reify)"),
|
|
|
|
InstanceDef::Intrinsic(_) => write!(f, " - intrinsic"),
|
|
|
|
InstanceDef::Virtual(_, num) => write!(f, " - virtual#{}", num),
|
|
|
|
InstanceDef::FnPtrShim(_, ty) => write!(f, " - shim({:?})", ty),
|
|
|
|
InstanceDef::ClosureOnceShim { .. } => write!(f, " - shim"),
|
|
|
|
InstanceDef::DropGlue(_, ty) => write!(f, " - shim({:?})", ty),
|
|
|
|
InstanceDef::CloneShim(_, ty) => write!(f, " - shim({:?})", ty),
|
2017-02-08 18:31:03 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-06-14 00:48:52 +03:00
|
|
|
impl<'tcx> Instance<'tcx> {
|
2019-12-22 17:42:04 -05:00
|
|
|
pub fn new(def_id: DefId, substs: SubstsRef<'tcx>) -> Instance<'tcx> {
|
|
|
|
assert!(
|
|
|
|
!substs.has_escaping_bound_vars(),
|
|
|
|
"substs of instance {:?} not normalized for codegen: {:?}",
|
|
|
|
def_id,
|
|
|
|
substs
|
|
|
|
);
|
2017-02-08 18:31:03 +01:00
|
|
|
Instance { def: InstanceDef::Item(def_id), substs: substs }
|
|
|
|
}
|
|
|
|
|
2019-06-14 00:48:52 +03:00
|
|
|
pub fn mono(tcx: TyCtxt<'tcx>, def_id: DefId) -> Instance<'tcx> {
|
2019-09-25 15:36:14 -04:00
|
|
|
Instance::new(def_id, tcx.empty_substs_for_def_id(def_id))
|
2017-02-08 18:31:03 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
pub fn def_id(&self) -> DefId {
|
|
|
|
self.def.def_id()
|
|
|
|
}
|
2017-12-06 09:25:29 +01:00
|
|
|
|
2019-02-08 14:53:55 +01:00
|
|
|
/// Resolves a `(def_id, substs)` pair to an (optional) instance -- most commonly,
|
2017-12-06 09:25:29 +01:00
|
|
|
/// this is used to find the precise code that will run for a trait method invocation,
|
|
|
|
/// if known.
|
|
|
|
///
|
|
|
|
/// Returns `None` if we cannot resolve `Instance` to a specific instance.
|
|
|
|
/// For example, in a context like this,
|
|
|
|
///
|
|
|
|
/// ```
|
|
|
|
/// fn foo<T: Debug>(t: T) { ... }
|
|
|
|
/// ```
|
|
|
|
///
|
|
|
|
/// trying to resolve `Debug::fmt` applied to `T` will yield `None`, because we do not
|
|
|
|
/// know what code ought to run. (Note that this setting is also affected by the
|
|
|
|
/// `RevealMode` in the parameter environment.)
|
|
|
|
///
|
|
|
|
/// Presuming that coherence and type-check have succeeded, if this method is invoked
|
2018-05-08 16:10:16 +03:00
|
|
|
/// in a monomorphic context (i.e., like during codegen), then it is guaranteed to return
|
2017-12-06 09:25:29 +01:00
|
|
|
/// `Some`.
|
2019-06-12 00:11:55 +03:00
|
|
|
pub fn resolve(
|
2019-06-14 00:48:52 +03:00
|
|
|
tcx: TyCtxt<'tcx>,
|
2019-06-12 00:11:55 +03:00
|
|
|
param_env: ty::ParamEnv<'tcx>,
|
|
|
|
def_id: DefId,
|
|
|
|
substs: SubstsRef<'tcx>,
|
|
|
|
) -> Option<Instance<'tcx>> {
|
2017-12-06 09:25:29 +01:00
|
|
|
debug!("resolve(def_id={:?}, substs={:?})", def_id, substs);
|
|
|
|
let result = if let Some(trait_def_id) = tcx.trait_of_item(def_id) {
|
|
|
|
debug!(" => associated item, attempting to find impl in param_env {:#?}", param_env);
|
|
|
|
let item = tcx.associated_item(def_id);
|
|
|
|
resolve_associated_item(tcx, &item, param_env, trait_def_id, substs)
|
|
|
|
} else {
|
|
|
|
let ty = tcx.type_of(def_id);
|
2019-12-22 17:42:04 -05:00
|
|
|
let item_type = tcx.subst_and_normalize_erasing_regions(substs, param_env, &ty);
|
2017-12-06 09:25:29 +01:00
|
|
|
|
2019-09-16 19:08:35 +01:00
|
|
|
let def = match item_type.kind {
|
2019-12-22 17:42:04 -05:00
|
|
|
ty::FnDef(..)
|
|
|
|
if {
|
|
|
|
let f = item_type.fn_sig(tcx);
|
|
|
|
f.abi() == Abi::RustIntrinsic || f.abi() == Abi::PlatformIntrinsic
|
|
|
|
} =>
|
2017-12-06 09:25:29 +01:00
|
|
|
{
|
|
|
|
debug!(" => intrinsic");
|
|
|
|
ty::InstanceDef::Intrinsic(def_id)
|
|
|
|
}
|
|
|
|
_ => {
|
|
|
|
if Some(def_id) == tcx.lang_items().drop_in_place_fn() {
|
|
|
|
let ty = substs.type_at(0);
|
2018-02-10 13:18:02 -05:00
|
|
|
if ty.needs_drop(tcx, ty::ParamEnv::reveal_all()) {
|
2017-12-06 09:25:29 +01:00
|
|
|
debug!(" => nontrivial drop glue");
|
|
|
|
ty::InstanceDef::DropGlue(def_id, Some(ty))
|
|
|
|
} else {
|
|
|
|
debug!(" => trivial drop glue");
|
|
|
|
ty::InstanceDef::DropGlue(def_id, None)
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
debug!(" => free item");
|
|
|
|
ty::InstanceDef::Item(def_id)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
2019-12-22 17:42:04 -05:00
|
|
|
Some(Instance { def: def, substs: substs })
|
2017-12-06 09:25:29 +01:00
|
|
|
};
|
|
|
|
debug!("resolve(def_id={:?}, substs={:?}) = {:?}", def_id, substs, result);
|
|
|
|
result
|
|
|
|
}
|
|
|
|
|
2019-10-05 14:24:07 -07:00
|
|
|
pub fn resolve_for_fn_ptr(
|
|
|
|
tcx: TyCtxt<'tcx>,
|
|
|
|
param_env: ty::ParamEnv<'tcx>,
|
|
|
|
def_id: DefId,
|
|
|
|
substs: SubstsRef<'tcx>,
|
|
|
|
) -> Option<Instance<'tcx>> {
|
|
|
|
debug!("resolve(def_id={:?}, substs={:?})", def_id, substs);
|
2019-10-29 20:56:21 +02:00
|
|
|
Instance::resolve(tcx, param_env, def_id, substs).map(|mut resolved| {
|
2019-10-11 07:44:01 -07:00
|
|
|
match resolved.def {
|
2019-11-11 08:45:52 -08:00
|
|
|
InstanceDef::Item(def_id) if resolved.def.requires_caller_location(tcx) => {
|
2019-10-11 07:44:01 -07:00
|
|
|
debug!(" => fn pointer created for function with #[track_caller]");
|
2019-10-29 20:56:21 +02:00
|
|
|
resolved.def = InstanceDef::ReifyShim(def_id);
|
|
|
|
}
|
|
|
|
InstanceDef::Virtual(def_id, _) => {
|
|
|
|
debug!(" => fn pointer created for virtual call");
|
|
|
|
resolved.def = InstanceDef::ReifyShim(def_id);
|
|
|
|
}
|
|
|
|
_ => {}
|
2019-10-10 07:31:22 -07:00
|
|
|
}
|
2019-10-29 20:56:21 +02:00
|
|
|
|
|
|
|
resolved
|
2019-10-10 07:31:22 -07:00
|
|
|
})
|
2019-10-05 14:24:07 -07:00
|
|
|
}
|
|
|
|
|
2019-06-12 00:11:55 +03:00
|
|
|
pub fn resolve_for_vtable(
|
2019-06-14 00:48:52 +03:00
|
|
|
tcx: TyCtxt<'tcx>,
|
2019-06-12 00:11:55 +03:00
|
|
|
param_env: ty::ParamEnv<'tcx>,
|
|
|
|
def_id: DefId,
|
|
|
|
substs: SubstsRef<'tcx>,
|
|
|
|
) -> Option<Instance<'tcx>> {
|
2018-09-10 23:00:50 +09:00
|
|
|
debug!("resolve(def_id={:?}, substs={:?})", def_id, substs);
|
|
|
|
let fn_sig = tcx.fn_sig(def_id);
|
2019-07-07 16:34:06 +01:00
|
|
|
let is_vtable_shim = fn_sig.inputs().skip_binder().len() > 0
|
|
|
|
&& fn_sig.input(0).skip_binder().is_param(0)
|
|
|
|
&& tcx.generics_of(def_id).has_self;
|
2018-09-10 23:00:50 +09:00
|
|
|
if is_vtable_shim {
|
|
|
|
debug!(" => associated item with unsizeable self: Self");
|
2019-12-22 17:42:04 -05:00
|
|
|
Some(Instance { def: InstanceDef::VtableShim(def_id), substs })
|
2018-09-10 23:00:50 +09:00
|
|
|
} else {
|
|
|
|
Instance::resolve(tcx, param_env, def_id, substs)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-12-06 09:25:29 +01:00
|
|
|
pub fn resolve_closure(
|
2019-06-14 00:48:52 +03:00
|
|
|
tcx: TyCtxt<'tcx>,
|
2018-10-02 10:52:43 +02:00
|
|
|
def_id: DefId,
|
2019-09-26 17:30:44 +00:00
|
|
|
substs: ty::SubstsRef<'tcx>,
|
2019-06-12 00:11:55 +03:00
|
|
|
requested_kind: ty::ClosureKind,
|
|
|
|
) -> Instance<'tcx> {
|
2019-09-26 17:30:44 +00:00
|
|
|
let actual_kind = substs.as_closure().kind(def_id, tcx);
|
2017-12-06 09:25:29 +01:00
|
|
|
|
|
|
|
match needs_fn_once_adapter_shim(actual_kind, requested_kind) {
|
2019-09-26 17:30:44 +00:00
|
|
|
Ok(true) => Instance::fn_once_adapter_instance(tcx, def_id, substs),
|
2019-12-22 17:42:04 -05:00
|
|
|
_ => Instance::new(def_id, substs),
|
2017-12-06 09:25:29 +01:00
|
|
|
}
|
|
|
|
}
|
2018-09-10 23:00:50 +09:00
|
|
|
|
2019-06-14 00:48:52 +03:00
|
|
|
pub fn resolve_drop_in_place(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> ty::Instance<'tcx> {
|
2019-08-28 06:17:58 +09:00
|
|
|
let def_id = tcx.require_lang_item(DropInPlaceFnLangItem, None);
|
2019-05-23 12:45:22 -05:00
|
|
|
let substs = tcx.intern_substs(&[ty.into()]);
|
|
|
|
Instance::resolve(tcx, ty::ParamEnv::reveal_all(), def_id, substs).unwrap()
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn fn_once_adapter_instance(
|
2019-06-14 00:48:52 +03:00
|
|
|
tcx: TyCtxt<'tcx>,
|
2019-05-23 12:45:22 -05:00
|
|
|
closure_did: DefId,
|
2019-09-26 16:09:51 +00:00
|
|
|
substs: ty::SubstsRef<'tcx>,
|
2019-06-12 00:11:55 +03:00
|
|
|
) -> Instance<'tcx> {
|
2019-12-22 17:42:04 -05:00
|
|
|
debug!("fn_once_adapter_shim({:?}, {:?})", closure_did, substs);
|
2019-05-23 12:45:22 -05:00
|
|
|
let fn_once = tcx.lang_items().fn_once_trait().unwrap();
|
2019-12-22 17:42:04 -05:00
|
|
|
let call_once = tcx
|
|
|
|
.associated_items(fn_once)
|
2019-05-23 12:45:22 -05:00
|
|
|
.find(|it| it.kind == ty::AssocKind::Method)
|
2019-12-22 17:42:04 -05:00
|
|
|
.unwrap()
|
|
|
|
.def_id;
|
2019-05-23 12:45:22 -05:00
|
|
|
let def = ty::InstanceDef::ClosureOnceShim { call_once };
|
|
|
|
|
|
|
|
let self_ty = tcx.mk_closure(closure_did, substs);
|
|
|
|
|
2019-09-26 17:30:44 +00:00
|
|
|
let sig = substs.as_closure().sig(closure_did, tcx);
|
2019-05-23 12:45:22 -05:00
|
|
|
let sig = tcx.normalize_erasing_late_bound_regions(ty::ParamEnv::reveal_all(), &sig);
|
|
|
|
assert_eq!(sig.inputs().len(), 1);
|
|
|
|
let substs = tcx.mk_substs_trait(self_ty, &[sig.inputs()[0].into()]);
|
|
|
|
|
|
|
|
debug!("fn_once_adapter_shim: self_ty={:?} sig={:?}", self_ty, sig);
|
|
|
|
Instance { def, substs }
|
|
|
|
}
|
|
|
|
|
2018-09-10 23:00:50 +09:00
|
|
|
pub fn is_vtable_shim(&self) -> bool {
|
2019-12-22 17:42:04 -05:00
|
|
|
if let InstanceDef::VtableShim(..) = self.def { true } else { false }
|
2018-09-10 23:00:50 +09:00
|
|
|
}
|
2017-12-06 09:25:29 +01:00
|
|
|
}
|
|
|
|
|
2019-06-11 23:35:39 +03:00
|
|
|
fn resolve_associated_item<'tcx>(
|
2019-06-14 00:48:52 +03:00
|
|
|
tcx: TyCtxt<'tcx>,
|
2019-05-19 16:26:08 +08:00
|
|
|
trait_item: &ty::AssocItem,
|
2017-12-06 09:25:29 +01:00
|
|
|
param_env: ty::ParamEnv<'tcx>,
|
|
|
|
trait_id: DefId,
|
2019-02-09 22:11:53 +08:00
|
|
|
rcvr_substs: SubstsRef<'tcx>,
|
2017-12-06 09:25:29 +01:00
|
|
|
) -> Option<Instance<'tcx>> {
|
|
|
|
let def_id = trait_item.def_id;
|
2019-12-22 17:42:04 -05:00
|
|
|
debug!(
|
|
|
|
"resolve_associated_item(trait_item={:?}, \
|
2018-12-03 00:49:12 +02:00
|
|
|
param_env={:?}, \
|
2018-10-02 10:52:43 +02:00
|
|
|
trait_id={:?}, \
|
|
|
|
rcvr_substs={:?})",
|
2019-12-22 17:42:04 -05:00
|
|
|
def_id, param_env, trait_id, rcvr_substs
|
|
|
|
);
|
2017-12-06 09:25:29 +01:00
|
|
|
|
|
|
|
let trait_ref = ty::TraitRef::from_method(tcx, trait_id, rcvr_substs);
|
2018-05-08 16:10:16 +03:00
|
|
|
let vtbl = tcx.codegen_fulfill_obligation((param_env, ty::Binder::bind(trait_ref)));
|
2017-12-06 09:25:29 +01:00
|
|
|
|
|
|
|
// Now that we know which impl is being used, we can dispatch to
|
|
|
|
// the actual function:
|
|
|
|
match vtbl {
|
|
|
|
traits::VtableImpl(impl_data) => {
|
2019-12-22 17:42:04 -05:00
|
|
|
let (def_id, substs) =
|
|
|
|
traits::find_associated_item(tcx, param_env, trait_item, rcvr_substs, &impl_data);
|
2019-12-27 11:44:36 -05:00
|
|
|
|
|
|
|
let resolved_item = tcx.associated_item(def_id);
|
|
|
|
|
|
|
|
// Since this is a trait item, we need to see if the item is either a trait default item
|
|
|
|
// or a specialization because we can't resolve those unless we can `Reveal::All`.
|
|
|
|
// NOTE: This should be kept in sync with the similar code in
|
|
|
|
// `rustc::traits::project::assemble_candidates_from_impls()`.
|
|
|
|
let eligible = if !resolved_item.defaultness.is_default() {
|
|
|
|
true
|
|
|
|
} else if param_env.reveal == traits::Reveal::All {
|
|
|
|
!trait_ref.needs_subst()
|
|
|
|
} else {
|
|
|
|
false
|
|
|
|
};
|
|
|
|
|
|
|
|
if !eligible {
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
|
2017-12-06 09:25:29 +01:00
|
|
|
let substs = tcx.erase_regions(&substs);
|
|
|
|
Some(ty::Instance::new(def_id, substs))
|
|
|
|
}
|
2019-12-22 17:42:04 -05:00
|
|
|
traits::VtableGenerator(generator_data) => Some(Instance {
|
|
|
|
def: ty::InstanceDef::Item(generator_data.generator_def_id),
|
|
|
|
substs: generator_data.substs,
|
|
|
|
}),
|
2017-12-06 09:25:29 +01:00
|
|
|
traits::VtableClosure(closure_data) => {
|
|
|
|
let trait_closure_kind = tcx.lang_items().fn_trait_kind(trait_id).unwrap();
|
2019-12-22 17:42:04 -05:00
|
|
|
Some(Instance::resolve_closure(
|
|
|
|
tcx,
|
|
|
|
closure_data.closure_def_id,
|
|
|
|
closure_data.substs,
|
|
|
|
trait_closure_kind,
|
|
|
|
))
|
2017-12-06 09:25:29 +01:00
|
|
|
}
|
2019-12-22 17:42:04 -05:00
|
|
|
traits::VtableFnPointer(ref data) => Some(Instance {
|
|
|
|
def: ty::InstanceDef::FnPtrShim(trait_item.def_id, data.fn_ty),
|
|
|
|
substs: rcvr_substs,
|
|
|
|
}),
|
2017-12-06 09:25:29 +01:00
|
|
|
traits::VtableObject(ref data) => {
|
|
|
|
let index = tcx.get_vtable_index_of_object_method(data, def_id);
|
2019-12-22 17:42:04 -05:00
|
|
|
Some(Instance { def: ty::InstanceDef::Virtual(def_id, index), substs: rcvr_substs })
|
2017-12-06 09:25:29 +01:00
|
|
|
}
|
|
|
|
traits::VtableBuiltin(..) => {
|
2018-07-27 13:20:13 +02:00
|
|
|
if tcx.lang_items().clone_trait().is_some() {
|
2017-12-06 09:25:29 +01:00
|
|
|
Some(Instance {
|
|
|
|
def: ty::InstanceDef::CloneShim(def_id, trait_ref.self_ty()),
|
2019-12-22 17:42:04 -05:00
|
|
|
substs: rcvr_substs,
|
2017-12-06 09:25:29 +01:00
|
|
|
})
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
2019-12-22 17:42:04 -05:00
|
|
|
traits::VtableAutoImpl(..) | traits::VtableParam(..) | traits::VtableTraitAlias(..) => None,
|
2017-12-06 09:25:29 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-06-11 13:20:33 +03:00
|
|
|
fn needs_fn_once_adapter_shim(
|
|
|
|
actual_closure_kind: ty::ClosureKind,
|
|
|
|
trait_closure_kind: ty::ClosureKind,
|
|
|
|
) -> Result<bool, ()> {
|
2017-12-06 09:25:29 +01:00
|
|
|
match (actual_closure_kind, trait_closure_kind) {
|
2019-12-22 17:42:04 -05:00
|
|
|
(ty::ClosureKind::Fn, ty::ClosureKind::Fn)
|
|
|
|
| (ty::ClosureKind::FnMut, ty::ClosureKind::FnMut)
|
|
|
|
| (ty::ClosureKind::FnOnce, ty::ClosureKind::FnOnce) => {
|
|
|
|
// No adapter needed.
|
|
|
|
Ok(false)
|
|
|
|
}
|
2017-12-06 09:25:29 +01:00
|
|
|
(ty::ClosureKind::Fn, ty::ClosureKind::FnMut) => {
|
|
|
|
// The closure fn `llfn` is a `fn(&self, ...)`. We want a
|
2018-05-08 16:10:16 +03:00
|
|
|
// `fn(&mut self, ...)`. In fact, at codegen time, these are
|
2017-12-06 09:25:29 +01:00
|
|
|
// basically the same thing, so we can just return llfn.
|
|
|
|
Ok(false)
|
|
|
|
}
|
2019-12-22 17:42:04 -05:00
|
|
|
(ty::ClosureKind::Fn, ty::ClosureKind::FnOnce)
|
|
|
|
| (ty::ClosureKind::FnMut, ty::ClosureKind::FnOnce) => {
|
|
|
|
// The closure fn `llfn` is a `fn(&self, ...)` or `fn(&mut
|
|
|
|
// self, ...)`. We want a `fn(self, ...)`. We can produce
|
|
|
|
// this by doing something like:
|
|
|
|
//
|
|
|
|
// fn call_once(self, ...) { call_mut(&self, ...) }
|
|
|
|
// fn call_once(mut self, ...) { call_mut(&mut self, ...) }
|
|
|
|
//
|
|
|
|
// These are both the same at codegen time.
|
|
|
|
Ok(true)
|
2017-12-06 09:25:29 +01:00
|
|
|
}
|
2019-12-22 17:42:04 -05:00
|
|
|
(ty::ClosureKind::FnMut, _) | (ty::ClosureKind::FnOnce, _) => Err(()),
|
2017-12-06 09:25:29 +01:00
|
|
|
}
|
|
|
|
}
|