pub enum Immediate<Prov = CtfeProvenance>where
Prov: Provenance,{
Scalar(Scalar<Prov>),
ScalarPair(Scalar<Prov>, Scalar<Prov>),
Uninit,
}
Expand description
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(Scalar<Prov>)
A single scalar value (must have initialized Scalar
ABI).
ScalarPair(Scalar<Prov>, Scalar<Prov>)
A pair of two scalar value (must have ScalarPair
ABI where both fields are
Scalar::Initialized
).
Uninit
A value of fully uninitialized memory. Can have arbitrary size and layout, but must be sized.
Implementations§
source§impl<Prov> Immediate<Prov>where
Prov: Provenance,
impl<Prov> Immediate<Prov>where
Prov: Provenance,
pub fn new_pointer_with_meta( ptr: Pointer<Option<Prov>>, meta: MemPlaceMeta<Prov>, cx: &impl HasDataLayout ) -> Immediate<Prov>
pub fn new_slice( ptr: Pointer<Option<Prov>>, len: u64, cx: &impl HasDataLayout ) -> Immediate<Prov>
pub fn new_dyn_trait( val: Pointer<Option<Prov>>, vtable: Pointer<Option<Prov>>, cx: &impl HasDataLayout ) -> Immediate<Prov>
pub fn to_scalar(self) -> Scalar<Prov>
pub fn to_scalar_pair(self) -> (Scalar<Prov>, Scalar<Prov>)
sourcepub fn to_scalar_and_meta(self) -> (Scalar<Prov>, MemPlaceMeta<Prov>)
pub fn to_scalar_and_meta(self) -> (Scalar<Prov>, MemPlaceMeta<Prov>)
Returns the scalar from the first component and optionally the 2nd component as metadata.
Trait Implementations§
source§impl VisitProvenance for Immediate<Provenance>
impl VisitProvenance for Immediate<Provenance>
fn visit_provenance(&self, visit: &mut VisitWith<'_>)
impl<Prov> Copy for Immediate<Prov>where
Prov: Copy + Provenance,
Auto Trait Implementations§
impl<Prov> DynSend for Immediate<Prov>where
Prov: DynSend,
impl<Prov> DynSync for Immediate<Prov>where
Prov: DynSync,
impl<Prov> Freeze for Immediate<Prov>where
Prov: Freeze,
impl<Prov> RefUnwindSafe for Immediate<Prov>where
Prov: RefUnwindSafe,
impl<Prov> Send for Immediate<Prov>where
Prov: Send,
impl<Prov> Sync for Immediate<Prov>where
Prov: Sync,
impl<Prov> Unpin for Immediate<Prov>where
Prov: Unpin,
impl<Prov> UnwindSafe for Immediate<Prov>where
Prov: UnwindSafe,
Blanket Implementations§
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<T> Filterable for T
impl<T> Filterable for T
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
§impl<T> Pointable for T
impl<T> Pointable for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
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.