Struct Function 

pub struct Function {
    pub sig: Signature,
    pub blocks: Vec<Block>,
    pub entry: String,
}

LUMIR function

Fields

sig: Signature

Function signature

blocks: Vec<Block>

Basic blocks (ordered map for deterministic iteration)

entry: String

Entry block label

Implementations

impl Function

pub fn new(sig: Signature) -> Self

Create a new function with the given signature

pub fn with_entry(self, entry: impl Into<String>) -> Self

Set the entry block label

pub fn add_block(&mut self, block: Block)

Add a basic block to this function

pub fn get_block(&self, label: &str) -> Option<&Block>

Get a basic block by label

pub fn get_block_mut(&mut self, label: &str) -> Option<&mut Block>

Get a mutable reference to a basic block by label

pub fn entry_block(&self) -> Option<&Block>

Get the entry block

pub fn entry_block_mut(&mut self) -> Option<&mut Block>

Get a mutable reference to the entry block

pub fn block_labels(&self) -> Vec<&str>

Get all block labels

pub fn instruction_count(&self) -> usize

Total number of instructions across all blocks

pub fn validate(&self) -> Result<(), String>

Check if this function is well-formed

Trait Implementations

impl Clone for Function

fn clone(&self) -> Function

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Function

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

Formats the value using the given formatter.

impl Display for Function

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

Formats the value using the given formatter.

impl PartialEq for Function

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for Function