Enum rustc_mir::interpret::Value

pub enum Value<Id = AllocId> {
    Scalar(ScalarMaybeUndef<Id>),
    ScalarPair(ScalarMaybeUndef<Id>, ScalarMaybeUndef<Id>),
}

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

A Value 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 fat pointers. This idea was taken from rustc's codegen. In particular, thanks to ScalarPair, arithmetic operations and casts can be entirely defined on Value, and do not have to work with a Place.

Variants

Scalar(ScalarMaybeUndef<Id>)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

ScalarPair(ScalarMaybeUndef<Id>, ScalarMaybeUndef<Id>)

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Methods

impl<'tcx> Value

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

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

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

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

pub fn to_scalar_or_undef(self) -> ScalarMaybeUndef

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

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

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

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

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

pub fn to_scalar_ptr(self) -> EvalResult<'tcx, Scalar>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Convert the value into a pointer (or a pointer-sized integer). Throws away the second half of a ScalarPair!

Trait Implementations

impl<Id: Copy> Copy for Value<Id>

impl<Id: Clone> Clone for Value<Id>

fn clone(&self) -> Value<Id>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Id: Debug> Debug for Value<Id>

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

Formats the value using the given formatter.

impl<Id: Hash> Hash for Value<Id>

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

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<Id: PartialEq> PartialEq for Value<Id>

fn eq(&self, other: &Value<Id>) -> bool

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

fn ne(&self, other: &Value<Id>) -> bool

This method tests for !=.

impl<Id: Eq> Eq for Value<Id>

fn assert_receiver_is_total_eq(&self)

impl<'a, 'tcx> HashStable<StableHashingContext<'a>> for Value

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

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<'a, Ctx> Snapshot<'a, Ctx> for Value where     Ctx: SnapshotContext<'a>,

type Item = Value<AllocIdSnapshot<'a>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

fn snapshot(&self, __ctx: &'a Ctx) -> Self::Item

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?