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>>

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

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

Performs the conversion.

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

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

Performs the conversion.

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

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

Performs the conversion.

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

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

Feeds this value into the given Hasher.

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>>, 

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

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

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

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

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

This method tests for !=.

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

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

impl<Tag> StructuralEq for Immediate<Tag>

impl<Tag> StructuralPartialEq for Immediate<Tag>