Enum IrStatement 

pub enum IrStatement {
    Assign {
        lhs: String,
        rhs: IrExpression,
    },
    Move {
        from: String,
        to: String,
    },
    Borrow {
        from: String,
        to: String,
        kind: BorrowKind,
    },
    CallExpr {
        func: String,
        args: Vec<String>,
        result: Option<String>,
    },
    Return {
        value: Option<String>,
    },
    Drop(String),
    EnterScope,
    ExitScope,
    EnterLoop,
    ExitLoop,
    If {
        then_branch: Vec<IrStatement>,
        else_branch: Option<Vec<IrStatement>>,
    },
    EnterUnsafe,
    ExitUnsafe,
    PackExpansion {
        pack_name: String,
        operation: String,
    },
    UseVariable {
        var: String,
        operation: String,
    },
    MoveField {
        object: String,
        field: String,
        to: String,
    },
    UseField {
        object: String,
        field: String,
        operation: String,
    },
    BorrowField {
        object: String,
        field: String,
        to: String,
        kind: BorrowKind,
    },
    ImplicitDrop {
        var: String,
        scope_level: usize,
        has_destructor: bool,
    },
    LambdaCapture {
        captures: Vec<LambdaCaptureInfo>,
    },
    VarDecl {
        name: String,
        type_name: String,
    },
}

Variants

Assign

Fields

lhs: String

rhs: IrExpression

Move

Fields

from: String

to: String

Borrow

Fields

from: String

to: String

kind: BorrowKind

CallExpr

Fields

func: String

args: Vec<String>

result: Option<String>

Return

Fields

value: Option<String>

Drop(String)

EnterScope

ExitScope

EnterLoop

ExitLoop

If

Fields

then_branch: Vec<IrStatement>

else_branch: Option<Vec<IrStatement>>

EnterUnsafe

ExitUnsafe

PackExpansion

Fields

pack_name: String

operation: String

UseVariable

Fields

var: String

operation: String

MoveField

Fields

object: String

field: String

to: String

UseField

Fields

object: String

field: String

operation: String

BorrowField

Fields

object: String

field: String

to: String

kind: BorrowKind

ImplicitDrop

Fields

var: String

scope_level: usize

has_destructor: bool

LambdaCapture

Fields

captures: Vec<LambdaCaptureInfo>

VarDecl

Fields

name: String

type_name: String

Trait Implementations

impl Clone for IrStatement

fn clone(&self) -> IrStatement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IrStatement

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

Formats the value using the given formatter.