pub struct LayoutData<FieldIdx: Idx, VariantIdx: Idx> {
pub fields: FieldsShape<FieldIdx>,
pub variants: Variants<FieldIdx, VariantIdx>,
pub backend_repr: BackendRepr,
pub largest_niche: Option<Niche>,
pub align: AbiAndPrefAlign,
pub size: Size,
pub max_repr_align: Option<Align>,
pub unadjusted_abi_align: Align,
}
Fields§
§fields: FieldsShape<FieldIdx>
Says where the fields are located within the layout.
variants: Variants<FieldIdx, VariantIdx>
Encodes information about multi-variant layouts.
Even with Multiple
variants, a layout still has its own fields! Those are then
shared between all variants. One of them will be the discriminant,
but e.g. coroutines can have more.
To access all fields of this layout, both fields
and the fields of the active variant
must be taken into account.
backend_repr: BackendRepr
The backend_repr
defines how this data will be represented to the codegen backend,
and encodes value restrictions via valid_range
.
Note that this is entirely orthogonal to the recursive structure defined by
variants
and fields
; for example, ManuallyDrop<Result<isize, isize>>
has
IrForm::ScalarPair
! So, even with non-Memory
backend_repr
, fields
and variants
have to be taken into account to find all fields of this layout.
largest_niche: Option<Niche>
The leaf scalar with the largest number of invalid values
(i.e. outside of its valid_range
), if it exists.
align: AbiAndPrefAlign
§size: Size
§max_repr_align: Option<Align>
The largest alignment explicitly requested with repr(align)
on this type or any field.
Only used on i686-windows, where the argument passing ABI is different when alignment is
requested, even if the requested alignment is equal to the natural alignment.
unadjusted_abi_align: Align
The alignment the type would have, ignoring any repr(align)
but including repr(packed)
.
Only used on aarch64-linux, where the argument passing ABI ignores the requested alignment
in some cases.
Implementations§
Source§impl<FieldIdx: Idx, VariantIdx: Idx> LayoutData<FieldIdx, VariantIdx>
impl<FieldIdx: Idx, VariantIdx: Idx> LayoutData<FieldIdx, VariantIdx>
Sourcepub fn is_aggregate(&self) -> bool
pub fn is_aggregate(&self) -> bool
Returns true
if this is an aggregate type (including a ScalarPair!)
Sourcepub fn is_uninhabited(&self) -> bool
pub fn is_uninhabited(&self) -> bool
Returns true
if this is an uninhabited type
pub fn scalar<C: HasDataLayout>(cx: &C, scalar: Scalar) -> Self
Source§impl<FieldIdx: Idx, VariantIdx: Idx> LayoutData<FieldIdx, VariantIdx>
impl<FieldIdx: Idx, VariantIdx: Idx> LayoutData<FieldIdx, VariantIdx>
Sourcepub fn is_unsized(&self) -> bool
pub fn is_unsized(&self) -> bool
Returns true
if the layout corresponds to an unsized type.
pub fn is_sized(&self) -> bool
Sourcepub fn is_1zst(&self) -> bool
pub fn is_1zst(&self) -> bool
Returns true
if the type is sized and a 1-ZST (meaning it has size 0 and alignment 1).
Sourcepub fn is_zst(&self) -> bool
pub fn is_zst(&self) -> bool
Returns true
if the type is a ZST and not unsized.
Note that this does not imply that the type is irrelevant for layout! It can still have
non-trivial alignment constraints. You probably want to use is_1zst
instead.
Sourcepub fn eq_abi(&self, other: &Self) -> bool
pub fn eq_abi(&self, other: &Self) -> bool
Checks if these two Layout
are equal enough to be considered “the same for all function
call ABIs”. Note however that real ABIs depend on more details that are not reflected in the
Layout
; the PassMode
need to be compared as well. Also note that we assume
aggregates are passed via PassMode::Indirect
or PassMode::Cast
; more strict
checks would otherwise be required.
Trait Implementations§
Source§impl<FieldIdx: Clone + Idx, VariantIdx: Clone + Idx> Clone for LayoutData<FieldIdx, VariantIdx>
impl<FieldIdx: Clone + Idx, VariantIdx: Clone + Idx> Clone for LayoutData<FieldIdx, VariantIdx>
Source§fn clone(&self) -> LayoutData<FieldIdx, VariantIdx>
fn clone(&self) -> LayoutData<FieldIdx, VariantIdx>
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moreSource§impl<FieldIdx, VariantIdx, __CTX> HashStable<__CTX> for LayoutData<FieldIdx, VariantIdx>where
__CTX: HashStableContext,
FieldIdx: HashStable<__CTX> + Idx,
VariantIdx: HashStable<__CTX> + Idx,
impl<FieldIdx, VariantIdx, __CTX> HashStable<__CTX> for LayoutData<FieldIdx, VariantIdx>where
__CTX: HashStableContext,
FieldIdx: HashStable<__CTX> + Idx,
VariantIdx: HashStable<__CTX> + Idx,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
Source§impl<FieldIdx: PartialEq + Idx, VariantIdx: PartialEq + Idx> PartialEq for LayoutData<FieldIdx, VariantIdx>
impl<FieldIdx: PartialEq + Idx, VariantIdx: PartialEq + Idx> PartialEq for LayoutData<FieldIdx, VariantIdx>
Source§fn eq(&self, other: &LayoutData<FieldIdx, VariantIdx>) -> bool
fn eq(&self, other: &LayoutData<FieldIdx, VariantIdx>) -> bool
self
and other
values to be equal, and is used by ==
.impl<FieldIdx: Eq + Idx, VariantIdx: Eq + Idx> Eq for LayoutData<FieldIdx, VariantIdx>
impl<FieldIdx: Idx, VariantIdx: Idx> StructuralPartialEq for LayoutData<FieldIdx, VariantIdx>
Auto Trait Implementations§
impl<FieldIdx, VariantIdx> DynSend for LayoutData<FieldIdx, VariantIdx>where
VariantIdx: DynSend,
impl<FieldIdx, VariantIdx> DynSync for LayoutData<FieldIdx, VariantIdx>where
VariantIdx: DynSync,
impl<FieldIdx, VariantIdx> Freeze for LayoutData<FieldIdx, VariantIdx>where
VariantIdx: Freeze,
impl<FieldIdx, VariantIdx> RefUnwindSafe for LayoutData<FieldIdx, VariantIdx>where
VariantIdx: RefUnwindSafe,
impl<FieldIdx, VariantIdx> Send for LayoutData<FieldIdx, VariantIdx>where
VariantIdx: Send,
impl<FieldIdx, VariantIdx> Sync for LayoutData<FieldIdx, VariantIdx>where
VariantIdx: Sync,
impl<FieldIdx, VariantIdx> Unpin for LayoutData<FieldIdx, VariantIdx>where
VariantIdx: Unpin,
impl<FieldIdx, VariantIdx> UnwindSafe for LayoutData<FieldIdx, VariantIdx>where
VariantIdx: UnwindSafe,
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.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<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for 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,
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.