Struct rustc_mir::interpret::LocalState

pub struct LocalState<'tcx, Tag = ()> {
    pub value: LocalValue<Tag>,
    pub layout: Cell<Option<TyAndLayout<'tcx>>>,
}

State of a local variable including a memoized layout

Fields

value: LocalValue<Tag>

layout: Cell<Option<TyAndLayout<'tcx>>>

Don't modify if Some, this is only used to prevent computing the layout twice

Implementations

impl<'tcx, Tag: Copy + 'static> LocalState<'tcx, Tag>

pub fn access(&self) -> InterpResult<'tcx, Operand<Tag>>

Read the local's value or error if the local is not yet live or not live anymore.

Note: This may only be invoked from the Machine::access_local hook and not from anywhere else. You may be invalidating machine invariants if you do!

pub fn access_mut(
    &mut self
) -> InterpResult<'tcx, Result<&mut LocalValue<Tag>, MemPlace<Tag>>>

Overwrite the local. If the local can be overwritten in place, return a reference to do so; otherwise return the MemPlace to consult instead.

Note: This may only be invoked from the Machine::access_local_mut hook and not from anywhere else. You may be invalidating machine invariants if you do!

Trait Implementations

impl<'tcx, Tag: Clone> Clone for LocalState<'tcx, Tag>

pub fn clone(&self) -> LocalState<'tcx, Tag>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx, Tag: Eq> Eq for LocalState<'tcx, Tag>

impl<'tcx, '__ctx, Tag> HashStable<StableHashingContext<'__ctx>> for LocalState<'tcx, Tag> where
    Tag: HashStable<StableHashingContext<'__ctx>>, 

pub fn hash_stable(
    &self,
    __hcx: &mut StableHashingContext<'__ctx>,
    __hasher: &mut StableHasher
)

impl<'tcx, Tag: PartialEq> PartialEq<LocalState<'tcx, Tag>> for LocalState<'tcx, Tag>

pub fn eq(&self, other: &LocalState<'tcx, Tag>) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &LocalState<'tcx, Tag>) -> bool

This method tests for !=.

impl<'tcx, Tag> StructuralEq for LocalState<'tcx, Tag>

impl<'tcx, Tag> StructuralPartialEq for LocalState<'tcx, Tag>