Enum rustc_middle::mir::interpret::ConstValue
source · [−]pub enum ConstValue<'tcx> {
Scalar(Scalar),
Slice {
data: ConstAllocation<'tcx>,
start: usize,
end: usize,
},
ByRef {
alloc: ConstAllocation<'tcx>,
offset: Size,
},
}
Expand description
Represents a constant value in Rust. Scalar
and Slice
are optimizations for
array length computations, enum discriminants and the pattern matching logic.
Variants
Scalar(Scalar)
Used only for types with layout::abi::Scalar
ABI and ZSTs.
Not using the enum Value
to encode that this must not be Uninit
.
Slice
Used only for &[u8]
and &str
ByRef
Fields
alloc: ConstAllocation<'tcx>
The backing memory of the value, may contain more memory than needed for just the value
in order to share ConstAllocation
s between values
offset: Size
Offset into alloc
A value not represented/representable by Scalar
or Slice
Implementations
sourceimpl<'tcx> ConstValue<'tcx>
impl<'tcx> ConstValue<'tcx>
pub fn try_to_scalar(&self) -> Option<Scalar<AllocId>>
pub fn try_to_scalar_int(&self) -> Option<ScalarInt>
pub fn try_to_bits(&self, size: Size) -> Option<u128>
pub fn try_to_bool(&self) -> Option<bool>
pub fn try_to_machine_usize(&self, tcx: TyCtxt<'tcx>) -> Option<u64>
pub fn try_to_bits_for_ty(
&self,
tcx: TyCtxt<'tcx>,
param_env: ParamEnv<'tcx>,
ty: Ty<'tcx>
) -> Option<u128>
pub fn from_bool(b: bool) -> Self
pub fn from_u64(i: u64) -> Self
pub fn from_machine_usize(i: u64, cx: &impl HasDataLayout) -> Self
Trait Implementations
sourceimpl<'tcx> Clone for ConstValue<'tcx>
impl<'tcx> Clone for ConstValue<'tcx>
sourcefn clone(&self) -> ConstValue<'tcx>
fn clone(&self) -> ConstValue<'tcx>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl<'tcx> Debug for ConstValue<'tcx>
impl<'tcx> Debug for ConstValue<'tcx>
sourceimpl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for ConstValue<'tcx>
impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for ConstValue<'tcx>
sourceimpl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for ConstValue<'tcx>
impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for ConstValue<'tcx>
sourceimpl<'tcx> Hash for ConstValue<'tcx>
impl<'tcx> Hash for ConstValue<'tcx>
sourceimpl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for ConstValue<'tcx>
impl<'tcx, '__ctx> HashStable<StableHashingContext<'__ctx>> for ConstValue<'tcx>
fn hash_stable(
&self,
__hcx: &mut StableHashingContext<'__ctx>,
__hasher: &mut StableHasher
)
sourceimpl<'a, 'tcx> Lift<'tcx> for ConstValue<'a>
impl<'a, 'tcx> Lift<'tcx> for ConstValue<'a>
type Lifted = ConstValue<'tcx>
fn lift_to_tcx(self, tcx: TyCtxt<'tcx>) -> Option<ConstValue<'tcx>>
sourceimpl<'tcx> Ord for ConstValue<'tcx>
impl<'tcx> Ord for ConstValue<'tcx>
sourceimpl<'tcx> PartialEq<ConstValue<'tcx>> for ConstValue<'tcx>
impl<'tcx> PartialEq<ConstValue<'tcx>> for ConstValue<'tcx>
sourcefn eq(&self, other: &ConstValue<'tcx>) -> bool
fn eq(&self, other: &ConstValue<'tcx>) -> bool
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
sourcefn ne(&self, other: &ConstValue<'tcx>) -> bool
fn ne(&self, other: &ConstValue<'tcx>) -> bool
This method tests for !=
.
sourceimpl<'tcx> PartialOrd<ConstValue<'tcx>> for ConstValue<'tcx>
impl<'tcx> PartialOrd<ConstValue<'tcx>> for ConstValue<'tcx>
sourcefn partial_cmp(&self, other: &ConstValue<'tcx>) -> Option<Ordering>
fn partial_cmp(&self, other: &ConstValue<'tcx>) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
1.0.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
impl<'tcx> Copy for ConstValue<'tcx>
impl<'tcx> Eq for ConstValue<'tcx>
impl<'tcx> StructuralEq for ConstValue<'tcx>
impl<'tcx> StructuralPartialEq for ConstValue<'tcx>
Auto Trait Implementations
impl<'tcx> RefUnwindSafe for ConstValue<'tcx>
impl<'tcx> Send for ConstValue<'tcx>
impl<'tcx> Sync for ConstValue<'tcx>
impl<'tcx> Unpin for ConstValue<'tcx>
impl<'tcx> UnwindSafe for ConstValue<'tcx>
Blanket Implementations
sourceimpl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T where
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T where
T: Copy,
fn allocate_on(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = T>
) -> &'a mut [T]ⓘNotable traits for &'_ [u8]impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<Ctxt, T> DepNodeParams<Ctxt> for T where
Ctxt: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
impl<Ctxt, T> DepNodeParams<Ctxt> for T where
Ctxt: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
default fn fingerprint_style() -> FingerprintStyle
sourcedefault fn to_fingerprint(&self, tcx: Ctxt) -> Fingerprint
default fn to_fingerprint(&self, tcx: Ctxt) -> Fingerprint
This method turns the parameters of a DepNodeConstructor into an opaque Fingerprint to be used in DepNode. Not all DepNodeParams support being turned into a Fingerprint (they don’t need to if the corresponding DepNode is anonymous). Read more
default fn to_debug_str(&self, Ctxt) -> String
sourcedefault fn recover(Ctxt, &DepNode<<Ctxt as DepContext>::DepKind>) -> Option<T>
default fn recover(Ctxt, &DepNode<<Ctxt as DepContext>::DepKind>) -> Option<T>
This method tries to recover the query key from the given DepNode
,
something which is needed when forcing DepNode
s during red-green
evaluation. The query system will only call this method if
fingerprint_style()
is not FingerprintStyle::Opaque
.
It is always valid to return None
here, in which case incremental
compilation will treat the query as having changed instead of forcing it. Read more
sourceimpl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more
impl<'a, T> Captures<'a> for T where
T: ?Sized,
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 32 bytes
Size for each variant:
Scalar
: 24 bytesSlice
: 24 bytesByRef
: 16 bytes