[][src]Enum cranelift_codegen::ir::ArgumentLoc

pub enum ArgumentLoc {
    Unassigned,
    Reg(RegUnit),
    Stack(i32),
}

Function argument location.

The ABI specifies how arguments are passed to a function, and where return values appear after the call. Just like a ValueLoc, function arguments can be passed in registers or on the stack.

Function arguments on the stack are accessed differently for the incoming arguments to the current function and the outgoing arguments to a called external function. For this reason, the location of stack arguments is described as an offset into the array of function arguments on the stack.

An ArgumentLoc can be translated to a ValueLoc only when we know if we're talking about an incoming argument or an outgoing argument.

  • For stack arguments, different StackSlot entities are used to represent incoming and outgoing arguments.
  • For register arguments, there is usually no difference, but if we ever add support for a register-window ISA like SPARC, register arguments would also need to be translated.

Variants

Unassigned

This argument has not been assigned to a location yet.

Reg(RegUnit)

Argument is passed in a register.

Stack(i32)

Argument is passed on the stack, at the given byte offset into the argument array.

Methods

impl ArgumentLoc[src]

pub fn is_assigned(self) -> bool[src]

Is this an assigned location? (That is, not Unassigned).

pub fn is_reg(self) -> bool[src]

Is this a register location?

pub fn is_stack(self) -> bool[src]

Is this a stack location?

pub fn display<'a, R: Into<Option<&'a RegInfo>>>(
    self,
    regs: R
) -> DisplayArgumentLoc<'a>
[src]

Return an object that can display this argument location, using the register info from the target ISA.

Trait Implementations

impl Clone for ArgumentLoc[src]

impl Copy for ArgumentLoc[src]

impl Debug for ArgumentLoc[src]

impl Default for ArgumentLoc[src]

impl Eq for ArgumentLoc[src]

impl Hash for ArgumentLoc[src]

impl PartialEq<ArgumentLoc> for ArgumentLoc[src]

impl StructuralEq for ArgumentLoc[src]

impl StructuralPartialEq for ArgumentLoc[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<Q, K> Equivalent<K> for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.