Enum rustc_const_eval::interpret::Immediate

pub enum Immediate<Tag: Provenance = AllocId> {
    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>)

Tuple Fields of Scalar

0: ScalarMaybeUninit<Tag>

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

Tuple Fields of ScalarPair

0: ScalarMaybeUninit<Tag>1: ScalarMaybeUninit<Tag>

Implementations

impl<'tcx, Tag: Provenance> Immediate<Tag>

pub fn from_pointer(p: Pointer<Tag>, cx: &impl HasDataLayout) -> Self

pub fn from_maybe_pointer(
    p: Pointer<Option<Tag>>,
    cx: &impl HasDataLayout
) -> Self

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

pub fn new_dyn_trait(
    val: Scalar<Tag>,
    vtable: Pointer<Option<Tag>>,
    cx: &impl HasDataLayout
) -> 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 + Provenance> 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 + Provenance> Debug for Immediate<Tag>

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

Formats the value using the given formatter.

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

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

Performs the conversion.

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

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

Performs the conversion.

impl<Tag: Hash + Provenance> 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: Provenance> 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 + Provenance> 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 + Provenance> Copy for Immediate<Tag>

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

impl<Tag: Provenance> StructuralEq for Immediate<Tag>

impl<Tag: Provenance> StructuralPartialEq for Immediate<Tag>

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.