Struct AnalyzedFunction 

pub struct AnalyzedFunction {
    pub name: String,
    pub air: Air,
    pub num_locals: u32,
    pub num_param_slots: u32,
    pub param_modes: Vec<AirParamMode>,
    pub param_slot_types: Vec<Type>,
    pub is_destructor: bool,
}

Result of analyzing a function.

Fields

name: String

air: Air

num_locals: u32

Number of local variable slots needed

num_param_slots: u32

Number of ABI slots used by parameters. For scalar types (i32, bool), each parameter uses 1 slot. For struct types, each field uses 1 slot (flattened ABI).

param_modes: Vec<AirParamMode>

Passing mode for each parameter slot (normal, inout, or borrow). Length matches num_param_slots - for struct params, all slots share the same mode as the original parameter.

param_slot_types: Vec<Type>

Type of each parameter ABI slot, parallel to param_modes. Preserved here so backends can declare correct function signatures even when DCE has removed unused Param instructions from the body.

is_destructor: bool

Whether this function is a destructor (drop fn). Destructors must not auto-drop their self parameter, as the destructor IS the drop logic for that value.

Trait Implementations

impl Clone for AnalyzedFunction

fn clone(&self) -> AnalyzedFunction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnalyzedFunction

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AnalyzedFunction

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for AnalyzedFunction

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.