Enum SlotKind 

#[non_exhaustive]
pub enum SlotKind {
    Local {
        size: u32,
        align: u32,
    },
    Incoming {
        offset: u32,
        size: u32,
    },
}

What a stack slot is.

Examples

use backend_lang::mir::{Function, SlotKind};
use backend_lang::x86_64::SYSV;

let mut f = Function::new("f", &SYSV);
let local = f.stack_slot(SlotKind::Local { size: 24, align: 8 })?;
let arg = f.stack_slot(SlotKind::Incoming { offset: 0, size: 8 })?;
assert_eq!(f.slot(local), Some(SlotKind::Local { size: 24, align: 8 }));
assert!(matches!(f.slot(arg), Some(SlotKind::Incoming { .. })));

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Local

Space in this function’s frame.

Fields

size: u32

Bytes.

align: u32

Alignment in bytes: a power of two up to the stack alignment.

Incoming

An argument the caller passed on the stack, at offset bytes above the canonical frame address (see ArgLoc::Stack).

Fields

offset: u32

Offset from the canonical frame address.

size: u32

Bytes.

Implementations

impl SlotKind

pub const fn size(self) -> u32

The slot’s size in bytes.

Examples

use backend_lang::mir::SlotKind;

assert_eq!(SlotKind::Incoming { offset: 8, size: 8 }.size(), 8);

Trait Implementations

impl Clone for SlotKind

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for SlotKind

impl Debug for SlotKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for SlotKind

impl Hash for SlotKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SlotKind

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SlotKind