Struct rustc_const_eval::interpret::operand::ImmTy
source · pub struct ImmTy<'tcx, Prov: Provenance = AllocId> {
imm: Immediate<Prov>,
pub layout: TyAndLayout<'tcx>,
}
Fields§
§imm: Immediate<Prov>
§layout: TyAndLayout<'tcx>
Implementations§
source§impl<'tcx, Prov: Provenance> ImmTy<'tcx, Prov>
impl<'tcx, Prov: Provenance> ImmTy<'tcx, Prov>
pub fn from_scalar(val: Scalar<Prov>, layout: TyAndLayout<'tcx>) -> Self
pub fn from_immediate(imm: Immediate<Prov>, layout: TyAndLayout<'tcx>) -> Self
pub fn uninit(layout: TyAndLayout<'tcx>) -> Self
pub fn try_from_uint( i: impl Into<u128>, layout: TyAndLayout<'tcx> ) -> Option<Self>
pub fn from_uint(i: impl Into<u128>, layout: TyAndLayout<'tcx>) -> Self
pub fn try_from_int( i: impl Into<i128>, layout: TyAndLayout<'tcx> ) -> Option<Self>
pub fn from_int(i: impl Into<i128>, layout: TyAndLayout<'tcx>) -> Self
pub fn from_bool(b: bool, tcx: TyCtxt<'tcx>) -> Self
pub fn to_const_int(self) -> ConstInt
sourcefn offset_(
&self,
offset: Size,
layout: TyAndLayout<'tcx>,
cx: &impl HasDataLayout
) -> Self
fn offset_( &self, offset: Size, layout: TyAndLayout<'tcx>, cx: &impl HasDataLayout ) -> Self
Compute the “sub-immediate” that is located within the base
at the given offset with the
given layout.
Trait Implementations§
source§impl<Prov: Provenance> Debug for ImmTy<'_, Prov>
impl<Prov: Provenance> Debug for ImmTy<'_, Prov>
source§impl<'tcx, Prov: Provenance> Deref for ImmTy<'tcx, Prov>
impl<'tcx, Prov: Provenance> Deref for ImmTy<'tcx, Prov>
source§impl<Prov: Provenance> Display for ImmTy<'_, Prov>
impl<Prov: Provenance> Display for ImmTy<'_, Prov>
source§impl<'tcx, Prov: Provenance> Projectable<'tcx, Prov> for ImmTy<'tcx, Prov>
impl<'tcx, Prov: Provenance> Projectable<'tcx, Prov> for ImmTy<'tcx, Prov>
source§fn layout(&self) -> TyAndLayout<'tcx>
fn layout(&self) -> TyAndLayout<'tcx>
Get the layout.
source§fn meta(&self) -> MemPlaceMeta<Prov>
fn meta(&self) -> MemPlaceMeta<Prov>
Get the metadata of a wide value.
source§fn offset_with_meta<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>(
&self,
offset: Size,
meta: MemPlaceMeta<Prov>,
layout: TyAndLayout<'tcx>,
ecx: &InterpCx<'mir, 'tcx, M>
) -> InterpResult<'tcx, Self>
fn offset_with_meta<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>( &self, offset: Size, meta: MemPlaceMeta<Prov>, layout: TyAndLayout<'tcx>, ecx: &InterpCx<'mir, 'tcx, M> ) -> InterpResult<'tcx, Self>
Offset the value by the given amount, replacing the layout and metadata.
source§fn to_op<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>(
&self,
_ecx: &InterpCx<'mir, 'tcx, M>
) -> InterpResult<'tcx, OpTy<'tcx, M::Provenance>>
fn to_op<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>( &self, _ecx: &InterpCx<'mir, 'tcx, M> ) -> InterpResult<'tcx, OpTy<'tcx, M::Provenance>>
Convert this to an
OpTy
. This might be an irreversible transformation, but is useful for
reading from this thing.source§fn len<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>(
&self,
ecx: &InterpCx<'mir, 'tcx, M>
) -> InterpResult<'tcx, u64>
fn len<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>( &self, ecx: &InterpCx<'mir, 'tcx, M> ) -> InterpResult<'tcx, u64>
Get the length of a slice/string/array stored here.
fn offset<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>( &self, offset: Size, layout: TyAndLayout<'tcx>, ecx: &InterpCx<'mir, 'tcx, M> ) -> InterpResult<'tcx, Self>
fn transmute<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>( &self, layout: TyAndLayout<'tcx>, ecx: &InterpCx<'mir, 'tcx, M> ) -> InterpResult<'tcx, Self>
Auto Trait Implementations§
impl<'tcx, Prov = AllocId> !RefUnwindSafe for ImmTy<'tcx, Prov>
impl<'tcx, Prov> Send for ImmTy<'tcx, Prov>where Prov: Send,
impl<'tcx, Prov> Sync for ImmTy<'tcx, Prov>where Prov: Sync,
impl<'tcx, Prov> Unpin for ImmTy<'tcx, Prov>where Prov: Unpin,
impl<'tcx, Prov = AllocId> !UnwindSafe for ImmTy<'tcx, Prov>
Blanket Implementations§
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
Mutably borrows from an owned value. Read more
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.