Struct Signature 

pub struct Signature {
    pub name: String,
    pub params: Vec<Parameter>,
    pub ret_ty: Option<MirType>,
    pub ret_signedness: Signedness,
    pub ret_aggregate: Option<Aggregate>,
    pub kernel: Option<KernelMetadata>,
    pub no_inline: bool,
}

Function signature

Fields

name: String

Function name

params: Vec<Parameter>

Parameters (in order)

ret_ty: Option<MirType>

Return type (None for void)

ret_signedness: Signedness

Signedness of an integer return value

ret_aggregate: Option<Aggregate>

Set when the function returns an aggregate by value. ret_ty is then the pointer to it, and a call’s result register names the caller’s slot for the copy.

kernel: Option<KernelMetadata>

no_inline: bool

Set by @noinline; the inliner must leave calls to this function alone.

Implementations

impl Signature

pub fn new(name: impl Into<String>) -> Self

Creates a void, parameterless, non-kernel signature that the inliner may inline.

pub fn with_kernel(self, metadata: KernelMetadata) -> Self

Marks the function as a GPU kernel, which GPU codegen requires to be void with a single block.

pub fn with_params(self, params: Vec<Parameter>) -> Self

pub fn with_return(self, ty: MirType) -> Self

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

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

pub fn param_count(&self) -> usize

pub fn is_void(&self) -> bool

True when there is no return value. An aggregate return is not void, since ret_ty then holds the pointer.

Trait Implementations

impl Clone for Signature

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 Signature

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

Formats the value using the given formatter.

impl PartialEq for Signature

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Signature