Struct Parameter 

pub struct Parameter {
    pub reg: Register,
    pub ty: MirType,
    pub signedness: Signedness,
    pub aggregate: Option<Aggregate>,
    pub name: Option<String>,
    pub byval_claimed: bool,
}

Function parameter

Fields

reg: Register

Virtual register assigned to this parameter

ty: MirType

Type of the parameter

signedness: Signedness

Signedness of an integer parameter

aggregate: Option<Aggregate>

Set when the parameter is an aggregate passed by value. reg then names the frame slot holding the callee’s copy, and ty is the pointer to it.

name: Option<String>

The name the parameter had in the source, without its sigil. Debug info only; None where the frontend supplied none.

byval_claimed: bool

Set by a byval attribute the frontend stated and lowering verified against its own classification. A backend that does not place this parameter as a by-value stack copy must refuse rather than place it some other way.

Implementations

impl Parameter

pub fn new(reg: Register, ty: MirType) -> Self

Creates a signed parameter that is not an aggregate; chain with_signedness or with_aggregate for others.

pub fn with_signedness(self, signedness: Signedness) -> Self

pub fn with_aggregate(self, aggregate: Aggregate) -> Self

pub fn with_name(self, name: impl Into<String>) -> Self

pub fn with_byval_claim(self, claimed: bool) -> Self

Trait Implementations

impl Clone for Parameter

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Parameter

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

Formats the value using the given formatter.

impl PartialEq for Parameter

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Parameter