Enum Statement 

pub enum Statement {
    Emit(Range<Expression>),
    Store {
        pointer: Handle<Expression>,
        value: Handle<Expression>,
    },
    If {
        condition: Handle<Expression>,
        accept: Block,
        reject: Block,
    },
    Loop {
        body: Block,
        continuing: Block,
        break_if: Option<Handle<Expression>>,
    },
    Call {
        function: Handle<Function>,
        arguments: Vec<Handle<Expression>>,
        result: Option<Handle<Expression>>,
    },
    Atomic {
        pointer: Handle<Expression>,
        fun: AtomicFunction,
        value: Handle<Expression>,
        result: Option<Handle<Expression>>,
    },
    Break,
    Continue,
    Return {
        value: Option<Handle<Expression>>,
    },
    Barrier(Barrier),
}

A statement in the IR.

Statements have side effects and/or control flow. They operate on expressions referenced by handles.

Variants

Emit(Range<Expression>)

Mark a range of expressions as producing live values.

Store

Write a value through a pointer.

Fields

pointer: Handle<Expression>

value: Handle<Expression>

If

Conditional branch.

Fields

condition: Handle<Expression>

accept: Block

reject: Block

Loop

Unified loop construct (handles for/while/loop).

Fields

body: Block

continuing: Block

break_if: Option<Handle<Expression>>

Call

Call a function.

Fields

function: Handle<Function>

arguments: Vec<Handle<Expression>>

result: Option<Handle<Expression>>

Atomic

Perform an atomic operation.

Fields

pointer: Handle<Expression>

fun: AtomicFunction

value: Handle<Expression>

result: Option<Handle<Expression>>

Break

Break out of the innermost loop.

Continue

Continue to the next iteration of the innermost loop.

Return

Return from the function.

Fields

value: Option<Handle<Expression>>

Barrier(Barrier)

Synchronization barrier.

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.