[][src]Struct llhd::Function

pub struct Function { /* fields omitted */ }

A function. Sequentially executes instructions to determine a result value from its inputs. Implements control flow and immediate execution.

Methods

impl Function
[src]

pub fn new(
    name: impl Into<String>,
    ty: Type
) -> Function
[src]

Create a new function with the given name and type signature. Anonymous arguments are created for each argument in the type signature. Use the args_mut function to get a hold of these arguments and assign names and additional data to them.

pub fn as_ref(&self) -> FunctionRef
[src]

Obtain a reference to this function.

pub fn name(&self) -> &str
[src]

Get the name of the function.

pub fn return_ty(&self) -> &Type
[src]

Get the return type of the function.

pub fn arg(&self, idx: usize) -> ArgumentRef
[src]

Get a graph reference to one of the arguments of the function.

pub fn args(&self) -> &[Argument]
[src]

Get a reference to the arguments of the function.

pub fn args_mut(&mut self) -> &mut [Argument]
[src]

Get a mutable reference to the arguments of the function.

pub fn body(&self) -> &SeqBody
[src]

Get a reference to the sequential body of the function.

pub fn body_mut(&mut self) -> &mut SeqBody
[src]

Get a mutable reference to the sequential body of the function.

Trait Implementations

impl Value for Function
[src]

Auto Trait Implementations

impl Send for Function

impl Sync for Function

Blanket Implementations

impl<T> From for T
[src]

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

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

type Error = !

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

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

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

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

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

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

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