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.

Implementations

impl ArgumentLoc

pub fn is_assigned(self) -> bool

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

pub fn is_reg(self) -> bool

Is this a register location?

pub fn is_stack(self) -> bool

Is this a stack location?

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

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

Trait Implementations

impl Clone for ArgumentLoc

fn clone(&self) -> ArgumentLoc

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ArgumentLoc

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

Formats the value using the given formatter.

impl Default for ArgumentLoc

fn default() -> Self

Returns the “default value” for a type.

impl Hash for ArgumentLoc

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<ArgumentLoc> for ArgumentLoc

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ArgumentLoc

impl Eq for ArgumentLoc

impl StructuralEq for ArgumentLoc

impl StructuralPartialEq for ArgumentLoc