Enum Statement 

pub enum Statement {
    LocalDecl {
        name: String,
        name_span: SourceSpan,
        display_name: String,
        size_bytes: usize,
        span: SourceSpan,
    },
    Assign {
        name: String,
        name_span: SourceSpan,
        expr: ExprNode,
        decl_struct_ptr: Option<String>,
        span: SourceSpan,
    },
    Expr(ExprNode),
    LabelDecl {
        label: Label,
        span: SourceSpan,
    },
    Branch {
        target: Label,
        args: BlockArgs,
        span: SourceSpan,
    },
    BranchInd {
        ptr: TypedAtom,
        targets: Vec<Label>,
        span: SourceSpan,
    },
    Switch {
        scrutinee: TypedAtom,
        cases: Vec<SwitchCase>,
        default: Option<(Label, BlockArgs)>,
        span: SourceSpan,
    },
    CBranch {
        condition: TypedAtom,
        target: Label,
        target_args: BlockArgs,
        fallthrough: Label,
        fallthrough_args: BlockArgs,
        span: SourceSpan,
    },
    Call {
        target: Callee,
        tail: bool,
        args: BlockArgs,
        targets: Vec<Label>,
        span: SourceSpan,
    },
    CallInd {
        ptr: TypedAtom,
        args: Vec<TypedAtom>,
        targets: Vec<Label>,
        span: SourceSpan,
    },
    Return {
        ptr: TypedAtom,
        value: Option<TypedAtom>,
        span: SourceSpan,
    },
    ReturnValue {
        value: TypedAtom,
        span: SourceSpan,
    },
    BadInsn {
        span: SourceSpan,
    },
    Assert {
        condition: TypedAtom,
        span: SourceSpan,
    },
    Commented {
        comment: String,
        inner: Box<Statement>,
    },
}

Variants

LocalDecl

Fields

name: String

name_span: SourceSpan

display_name: String

size_bytes: usize

span: SourceSpan

Assign

Fields

name: String

name_span: SourceSpan

expr: ExprNode

decl_struct_ptr: Option<String>

A Foo* struct-pointer type declared on the assignment, if any. When present, the result value is retyped to that struct pointer (used to seed struct typing in tests). A plain iN/fN declared type is not recorded here — it only drives size coercion of the rhs.

span: SourceSpan

Expr(ExprNode)

LabelDecl

Fields

label: Label

span: SourceSpan

Branch

Fields

target: Label

args: BlockArgs

Per-parameter arguments: (param_name, value) in declaration order. Non-empty when the branch was written as goto <block @v1=e1 @v2=e2>.

span: SourceSpan

BranchInd

Fields

ptr: TypedAtom

targets: Vec<Label>

Resolved jump targets, from a // -> <a>, <b> edge hint. The indirect jump’s own syntax encodes no successors, so without this the block has no out-edges.

span: SourceSpan

Switch

Multi-way dispatch: switch %idx { 0x0 => <a>, default => <d> }.

Fields

scrutinee: TypedAtom

cases: Vec<SwitchCase>

(case value, target, per-parameter arguments) in written order.

default: Option<(Label, BlockArgs)>

The default => <block> arm, when written.

span: SourceSpan

CBranch

Fields

condition: TypedAtom

target: Label

target_args: BlockArgs

fallthrough: Label

fallthrough_args: BlockArgs

span: SourceSpan

Call

Fields

target: Callee

tail: bool

true for tailcall fn ..., which has no return-edge hint.

args: BlockArgs

Arguments passed to the callee, one per inferred callee input, in order. The name in each pair is the callee’s parameter name as printed (@r0, @arg1, …); it is decorative and discarded on lowering, where only the positional atoms matter.

targets: Vec<Label>

The call’s return (fall-through) block(s), from a // -> <ret> edge hint. A call terminates its block; this records where control resumes after the callee returns. Empty for a non-returning call.

span: SourceSpan

CallInd

Fields

ptr: TypedAtom

args: Vec<TypedAtom>

Positional arguments passed to the indirect callee.

targets: Vec<Label>

The call’s return (fall-through) block(s), from a // -> <ret> edge hint. See Statement::Call.

span: SourceSpan

Return

Fields

ptr: TypedAtom

value: Option<TypedAtom>

span: SourceSpan

ReturnValue

Fields

value: TypedAtom

span: SourceSpan

BadInsn

Bytes that did not decode to a valid instruction; a terminator with no successors and no operands.

Fields

span: SourceSpan

Assert

Fields

condition: TypedAtom

span: SourceSpan

Commented

A comment attached to this statement, written as # text on the preceding line.

Fields

comment: String

inner: Box<Statement>

Implementations

impl Statement

pub fn inner(&self) -> &Statement

Strips any wrapping Commented variant and returns the inner statement.

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Statement

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

Formats the value using the given formatter.