Enum rustc_middle::mir::mono::InstantiationMode

source ·

pub enum InstantiationMode {
    GloballyShared {
        may_conflict: bool,
    },
    LocalCopy,
}

Expand description

Describes how a monomorphization will be instantiated in object files.

Variants§

§

GloballyShared

Fields

§may_conflict: bool

In some compilation scenarios we may decide to take functions that are typically LocalCopy and instead move them to GloballyShared to avoid codegenning them a bunch of times. In this situation, however, our local copy may conflict with other crates also inlining the same function.

This flag indicates that this situation is occurring, and informs symbol name calculation that some extra mangling is needed to avoid conflicts. Note that this may eventually go away entirely if ThinLTO enables us to always have a globally shared instance of a function within one crate’s compilation.

There will be exactly one instance of the given MonoItem. It will have external linkage so that it can be linked to from other codegen units.

§

LocalCopy

Each codegen unit containing a reference to the given MonoItem will have its own private copy of the function (with internal linkage).

Enum rustc_middle::mir::mono::InstantiationMode

Variants§

GloballyShared

Fields

LocalCopy

Trait Implementations§

impl PartialEq<InstantiationMode> for InstantiationMode

fn eq(&self, other: &InstantiationMode) -> bool

fn ne(&self, other: &Rhs) -> bool

impl StructuralPartialEq for InstantiationMode

Auto Trait Implementations§

impl RefUnwindSafe for InstantiationMode

impl Send for InstantiationMode

impl Sync for InstantiationMode

impl Unpin for InstantiationMode

impl UnwindSafe for InstantiationMode

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

type Output = R

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<'tcx, T> ToPredicate<'tcx, T> for T

fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,

default fn from_cycle_error( tcx: Tcx, cycle: &[QueryInfo], _guar: ErrorGuaranteed ) -> T

Layout§