Enum WasmBlock

pub enum WasmBlock<'a> {
    Block {
        body: Vec<WasmBlock<'a>>,
        out: Block,
    },
    Loop {
        body: Vec<WasmBlock<'a>>,
        header: Block,
    },
    Leaf {
        block: Block,
    },
    Br {
        target: WasmLabel,
    },
    If {
        cond: Value,
        if_true: Vec<WasmBlock<'a>>,
        if_false: Vec<WasmBlock<'a>>,
    },
    Select {
        selector: Value,
        targets: Vec<WasmLabel>,
        default: WasmLabel,
    },
    BlockParams {
        from: &'a [Value],
        to: &'a [(Type, Value)],
    },
    Return {
        values: &'a [Value],
    },
    ReturnCall {
        func: Func,
        values: &'a [Value],
    },
    ReturnCallIndirect {
        sig: Signature,
        table: Table,
        values: &'a [Value],
    },
    ReturnCallRef {
        sig: Signature,
        values: &'a [Value],
    },
    Unreachable,
}

Variants

Block

A Wasm block that has the given contents and whose label jumps to the given CFG block exit.

Fields

body: Vec<WasmBlock<'a>>

out: Block

Loop

A Wasm loop that has the given contents and whose label jumps to the given CFG block header.

Fields

body: Vec<WasmBlock<'a>>

header: Block

Leaf

A leaf node: one CFG block.

Fields

block: Block

Br

A translated unconditional branch.

Fields

target: WasmLabel

If

A translated conditional.

Fields

cond: Value

if_true: Vec<WasmBlock<'a>>

if_false: Vec<WasmBlock<'a>>

Select

A translated select (switch).

Fields

selector: Value

targets: Vec<WasmLabel>

default: WasmLabel

BlockParams

Blockparam transfer.

Fields

from: &'a [Value]

to: &'a [(Type, Value)]

Return

A function return instruction.

Fields

values: &'a [Value]

ReturnCall

A function tail call instruction

Fields

func: Func

values: &'a [Value]

ReturnCallIndirect

A function indirect tail call instruction

Fields

sig: Signature

table: Table

values: &'a [Value]

ReturnCallRef

A function refernce tail call instruction

Fields

sig: Signature

values: &'a [Value]

Unreachable

An unreachable instruction.

Trait Implementations

impl<'a> Clone for WasmBlock<'a>

fn clone(&self) -> WasmBlock<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for WasmBlock<'a>

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

Formats the value using the given formatter.