pub(crate) struct LocalUseMap {
    first_def_at: IndexVec<Local, Option<AppearanceIndex>>,
    first_use_at: IndexVec<Local, Option<AppearanceIndex>>,
    first_drop_at: IndexVec<Local, Option<AppearanceIndex>>,
    appearances: IndexVec<AppearanceIndex, Appearance>,
}
Expand description

A map that cross references each local with the locations where it is defined (assigned), used, or dropped. Used during liveness computation.

We keep track only of Locals we’ll do the liveness analysis later, this means that our internal IndexVecs will only be sparsely populated. In the time-memory trade-off between keeping compact vectors with new indexes (and needing to continuously map the Local index to its compact counterpart) and having IndexVecs that we only use a fraction of, time (and code simplicity) was favored. The rationale is that we only keep a small number of IndexVecs throughout the entire analysis while, in contrast, we’re accessing each Local many times.

Fields§

§first_def_at: IndexVec<Local, Option<AppearanceIndex>>

Head of a linked list of definitions of each variable – definition in this context means assignment, e.g., x is defined in x = y but not y; that first def is the head of a linked list that lets you enumerate all places the variable is assigned.

§first_use_at: IndexVec<Local, Option<AppearanceIndex>>

Head of a linked list of uses of each variable – use in this context means that the existing value of the variable is read or modified. e.g., y is used in x = y but not x. Note that DROP(x) terminators are excluded from this list.

§first_drop_at: IndexVec<Local, Option<AppearanceIndex>>

Head of a linked list of drops of each variable – these are a special category of uses corresponding to the drop that we add for each local variable.

§appearances: IndexVec<AppearanceIndex, Appearance>

Implementations§

source§

impl LocalUseMap

source

pub(crate) fn build( live_locals: &[Local], elements: &RegionValueElements, body: &Body<'_> ) -> Self

source

pub(crate) fn defs(&self, local: Local) -> impl Iterator<Item = PointIndex> + '_

source

pub(crate) fn uses(&self, local: Local) -> impl Iterator<Item = PointIndex> + '_

source

pub(crate) fn drops( &self, local: Local ) -> impl Iterator<Item = PointIndex> + '_

Auto Trait Implementations§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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

§

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

The type returned in the event of a conversion error.
source§

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

Performs the conversion.

Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 96 bytes