Struct Signature 

pub struct Signature {
    pub params: Vec<Param>,
    pub returns: Vec<Param>,
    pub variadic: bool,
}

What a function takes and returns.

A signature is not a type. Nothing in the IR has a function type, because a ptr has no pointee and there is nothing else a function type could sit on. A call_indirect names the signature it is called with, and that is where the ABI attributes are read from.

Fields

params: Vec<Param>

What it takes, in their C-level form until the ABI has been applied.

returns: Vec<Param>

What it returns, which is empty for a void function and for one whose return value comes back through an Abi::Sret parameter.

variadic: bool

Whether it takes arguments beyond the ones named.

Implementations

impl Signature

pub fn new() -> Self

A signature taking and returning nothing.

pub fn with_params(self, params: &[Type]) -> Self

The same signature with these parameters, each in its C-level form.

pub fn with_returns(self, returns: &[Type]) -> Self

The same signature returning these, each in its C-level form.

pub fn and_param(self, param: Param) -> Self

The same signature with one more parameter, travelling the way the ABI said.

pub fn and_return(self, param: Param) -> Self

The same signature with one more return value, travelling the way the ABI said.

pub fn param_types(&self) -> impl Iterator<Item = Type> + use<'_>

The types it takes, without what the ABI asks of them.

pub fn return_types(&self) -> impl Iterator<Item = Type> + use<'_>

The types it returns.

pub fn variadic(self) -> Self

The same signature, variadic.

Trait Implementations

impl Clone for Signature

fn clone(&self) -> Signature

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Signature

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

Formats the value using the given formatter.

impl Default for Signature

fn default() -> Signature

Returns the “default value” for a type.

impl Eq for Signature

impl PartialEq for Signature

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Signature