pub enum BackendRepr {
Uninhabited,
Scalar(Scalar),
ScalarPair(Scalar, Scalar),
Vector {
element: Scalar,
count: u64,
},
Memory {
sized: bool,
},
}
Expand description
The way we represent values to the backend
Previously this was conflated with the “ABI” a type is given, as in the platform-specific ABI. In reality, this implies little about that, but is mostly used to describe the syntactic form emitted for the backend, as most backends handle SSA values and blobs of memory differently. The psABI may need consideration in doing so, but this enum does not constitute a promise for how the value will be lowered to the calling convention, in itself.
Generally, a codegen backend will prefer to handle smaller values as a scalar or short vector, and larger values will usually prefer to be represented as memory.
Variants§
Implementations§
Source§impl BackendRepr
impl BackendRepr
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_uninhabited(&self) -> bool
pub fn is_uninhabited(&self) -> bool
Returns true
if this is an uninhabited type
Sourcepub fn inherent_align<C: HasDataLayout>(
&self,
cx: &C,
) -> Option<AbiAndPrefAlign>
pub fn inherent_align<C: HasDataLayout>( &self, cx: &C, ) -> Option<AbiAndPrefAlign>
Returns the fixed alignment of this ABI, if any is mandated.
Sourcepub fn inherent_size<C: HasDataLayout>(&self, cx: &C) -> Option<Size>
pub fn inherent_size<C: HasDataLayout>(&self, cx: &C) -> Option<Size>
Returns the fixed size of this ABI, if any is mandated.
pub fn eq_up_to_validity(&self, other: &Self) -> bool
Trait Implementations§
Source§impl Clone for BackendRepr
impl Clone for BackendRepr
Source§fn clone(&self) -> BackendRepr
fn clone(&self) -> BackendRepr
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moreSource§impl Debug for BackendRepr
impl Debug for BackendRepr
Source§impl Hash for BackendRepr
impl Hash for BackendRepr
Source§impl<__CTX> HashStable<__CTX> for BackendReprwhere
__CTX: HashStableContext,
impl<__CTX> HashStable<__CTX> for BackendReprwhere
__CTX: HashStableContext,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
Source§impl PartialEq for BackendRepr
impl PartialEq for BackendRepr
impl Copy for BackendRepr
impl Eq for BackendRepr
impl StructuralPartialEq for BackendRepr
Auto Trait Implementations§
impl DynSend for BackendRepr
impl DynSync for BackendRepr
impl Freeze for BackendRepr
impl RefUnwindSafe for BackendRepr
impl Send for BackendRepr
impl Sync for BackendRepr
impl Unpin for BackendRepr
impl UnwindSafe for BackendRepr
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§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: 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: 96 bytes
Size for each variant:
Uninhabited
: 0 bytesScalar
: 64 bytesScalarPair
: 96 bytesVector
: 80 bytesMemory
: 5 bytes