Struct LoopIR 

pub struct LoopIR {
    pub name: Symbol,
    pub params: Vec<Param>,
    pub return_ty: LoopType,
    pub body: Body,
    pub allocs: Vec<Alloc>,
    pub loop_info: Vec<LoopMetadata>,
}

The main Loop IR structure.

Fields

name: Symbol

Function name.

params: Vec<Param>

Function parameters.

return_ty: LoopType

Return type.

body: Body

The body (list of statements and loops).

allocs: Vec<Alloc>

Memory allocations.

loop_info: Vec<LoopMetadata>

Loop metadata for optimization.

Trait Implementations

impl Clone for LoopIR

fn clone(&self) -> LoopIR

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LoopIR

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LoopIR

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for LoopIR

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

where __S: Serializer,

Serialize this value into the given Serde serializer.