Enum rustc_mir::interpret::Immediate

pub enum Immediate<Tag = ()> {
    Scalar(ScalarMaybeUninit<Tag>),
    ScalarPair(ScalarMaybeUninit<Tag>, ScalarMaybeUninit<Tag>),
}

An Immediate represents a single immediate self-contained Rust value.

For optimization of a few very common cases, there is also a representation for a pair of primitive values (ScalarPair). It allows Miri to avoid making allocations for checked binary operations and wide pointers. This idea was taken from rustc's codegen. In particular, thanks to ScalarPair, arithmetic operations and casts can be entirely defined on Immediate, and do not have to work with a Place.

Variants

Scalar(ScalarMaybeUninit<Tag>)

ScalarPair(ScalarMaybeUninit<Tag>, ScalarMaybeUninit<Tag>)

Implementations

impl<'tcx, Tag> Immediate<Tag>

pub fn new_slice(val: Scalar<Tag>, len: u64, cx: &impl HasDataLayout) -> Self

pub fn new_dyn_trait(val: Scalar<Tag>, vtable: Pointer<Tag>) -> Self

pub fn to_scalar_or_uninit(self) -> ScalarMaybeUninit<Tag>

pub fn to_scalar(self) -> InterpResult<'tcx, Scalar<Tag>>

pub fn to_scalar_pair(self) -> InterpResult<'tcx, (Scalar<Tag>, Scalar<Tag>)>

Trait Implementations

impl<Tag: Clone> Clone for Immediate<Tag>

pub fn clone(&self) -> Immediate<Tag>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Tag: Copy> Copy for Immediate<Tag>

impl<Tag: Debug> Debug for Immediate<Tag>

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Tag: Eq> Eq for Immediate<Tag>

impl<Tag> From<Pointer<Tag>> for Immediate<Tag>

pub fn from(val: Pointer<Tag>) -> Self

Performs the conversion.

impl<Tag> From<Scalar<Tag>> for Immediate<Tag>

pub fn from(val: Scalar<Tag>) -> Self

Performs the conversion.

impl<Tag> From<ScalarMaybeUninit<Tag>> for Immediate<Tag>

pub fn from(val: ScalarMaybeUninit<Tag>) -> Self

Performs the conversion.

impl<Tag: Hash> Hash for Immediate<Tag>

pub fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

pub fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

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

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

impl<Tag: PartialEq> PartialEq<Immediate<Tag>> for Immediate<Tag>

pub fn eq(&self, other: &Immediate<Tag>) -> bool

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

pub fn ne(&self, other: &Immediate<Tag>) -> bool

This method tests for !=.

impl<Tag> StructuralEq for Immediate<Tag>

impl<Tag> StructuralPartialEq for Immediate<Tag>