Enum rune_ssa::Term

pub enum Term {
    Panic,
    JumpIf {
        condition: Assign,
        then_block: BlockId,
        else_block: BlockId,
    },
    Jump {
        block: BlockId,
    },
    Return {
        var: Assign,
    },
}

An operation that terminates a block.

Variants

Panic

Default termination. The procedure will panic.

JumpIf

Conditionally jump to the given block if the given condition is true.

Fields of JumpIf

condition: Assign

The condition of the jump.

then_block: BlockId

Where to jump if the condition is true.

else_block: BlockId

Where to jump if the condition is false.

Jump

Unconditionally jump to the given block.

Fields of Jump

block: BlockId

Block to jump to.

Return

Return from the current procedure with the given value.

Fields of Return

var: Assign

The value to return.