Enum nyar_wasm::Operation

pub enum Operation {
    Sequence {
        code: Vec<Operation>,
    },
    Repeats {
        code: Vec<Operation>,
        repeats: usize,
    },
    CallFunction {
        name: WasmSymbol,
        input: Vec<Operation>,
    },
    GetVariable {
        kind: VariableKind,
        variable: WasmSymbol,
    },
    SetVariable {
        kind: VariableKind,
        variable: WasmSymbol,
    },
    TeeVariable {
        variable: WasmSymbol,
    },
    StoreVariable {
        type: WasmType,
        offset: u64,
    },
    GetField {
        structure: WasmSymbol,
        field: WasmSymbol,
    },
    GetIndex {
        type: ArrayType,
        index: i32,
        object: Vec<Operation>,
    },
    ArrayCreate {
        type: ArrayType,
        element: Vec<Operation>,
    },
    ArrayLength {
        object: Vec<Operation>,
    },
    ArrayGrow {
        type: ArrayType,
        capacity: u32,
    },
    ArrayFill {
        array: Vec<Operation>,
        type: ArrayType,
        element: Vec<Operation>,
        start: u64,
        length: u64,
    },
    SetField {
        structure: WasmSymbol,
        field: WasmSymbol,
    },
    Loop {
        continue: WasmSymbol,
        break: WasmSymbol,
        body: Vec<Operation>,
    },
    Goto {
        label: WasmSymbol,
    },
    Drop,
    Return,
    Unreachable,
    JumpBranch(JumpBranch),
    JumpTable(JumpTable),
    JumpEnumeration(EnumerationTable),
    Default {
        typed: WasmType,
    },
    Construct {
        structure: WasmSymbol,
    },
    Constant {
        value: WasmValue,
    },
    NativeSum {
        type: WasmType,
        terms: Vec<Operation>,
    },
    Convert {
        from: WasmType,
        into: WasmType,
        code: Vec<Operation>,
    },
    Transmute {
        from: WasmType,
        into: WasmType,
        code: Vec<Operation>,
    },
    NativeEqual {
        type: WasmType,
        codes: Vec<Operation>,
    },
    NativeEqualZero {
        native: WasmType,
        term: Box<Operation>,
    },
}

Variants

Sequence

Fields

code: Vec<Operation>

Repeats

Fields

code: Vec<Operation>

repeats: usize

CallFunction

Fields

name: WasmSymbol

input: Vec<Operation>

GetVariable

Fields

kind: VariableKind

variable: WasmSymbol

SetVariable

Fields

kind: VariableKind

variable: WasmSymbol

TeeVariable

Fields

variable: WasmSymbol

StoreVariable

Fields

type: WasmType

offset: u64

GetField

Fields

structure: WasmSymbol

field: WasmSymbol

GetIndex

Fields

type: ArrayType

index: i32

object: Vec<Operation>

ArrayCreate

Fields

type: ArrayType

element: Vec<Operation>

ArrayLength

Fields

object: Vec<Operation>

ArrayGrow

Fields

type: ArrayType

capacity: u32

ArrayFill

Fields

array: Vec<Operation>

type: ArrayType

element: Vec<Operation>

start: u64

length: u64

SetField

Fields

structure: WasmSymbol

field: WasmSymbol

Loop

Fields

continue: WasmSymbol

break: WasmSymbol

body: Vec<Operation>

Goto

Fields

label: WasmSymbol

Drop

Return

Unreachable

JumpBranch(JumpBranch)

if cond { } else { }

JumpTable(JumpTable)

if c1 { } else if c2 { } else { }

JumpEnumeration(EnumerationTable)

case 0: ... else: ...

Default

Fields

typed: WasmType

Construct

Fields

structure: WasmSymbol

Constant

Fields

value: WasmValue

NativeSum

Fields

type: WasmType

terms: Vec<Operation>

Convert

Fields

from: WasmType

into: WasmType

code: Vec<Operation>

Transmute

Fields

from: WasmType

into: WasmType

code: Vec<Operation>

NativeEqual

Fields

type: WasmType

codes: Vec<Operation>

NativeEqualZero

Fields

native: WasmType

term: Box<Operation>

Implementations

impl Operation

pub fn if_then(if: Vec<Operation>, then: Vec<Operation>) -> Self

pub fn if_then_else( if: Vec<Operation>, then: Vec<Operation>, else: Vec<Operation> ) -> Self

impl Operation

pub fn loop(label: &str, body: Vec<Operation>) -> Self

pub fn continue(label: &str) -> Self

pub fn break(label: &str) -> Self

pub fn global_get<S: Into<WasmSymbol>>(name: S) -> Self

pub fn global_set<S: Into<WasmSymbol>>(name: S) -> Self

pub fn local_get<S: Into<WasmSymbol>>(name: S) -> Self

pub fn local_set<S: Into<WasmSymbol>>(name: S) -> Self

pub fn local_tee<S: Into<WasmSymbol>>(name: S) -> Self

pub fn drop(count: usize) -> Self

Trait Implementations

impl Clone for Operation

fn clone(&self) -> Operation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Operation

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

Formats the value using the given formatter.

impl From<JumpBranch> for Operation

fn from(value: JumpBranch) -> Self

Converts to this type from the input type.

impl From<JumpTable> for Operation

fn from(value: JumpTable) -> Self

Converts to this type from the input type.

impl From<bool> for Operation

fn from(value: bool) -> Self

Converts to this type from the input type.

impl From<f32> for Operation

fn from(value: f32) -> Self

Converts to this type from the input type.

impl From<f64> for Operation

fn from(value: f64) -> Self

Converts to this type from the input type.

impl From<i32> for Operation

fn from(value: i32) -> Self

Converts to this type from the input type.

impl From<i64> for Operation

fn from(value: i64) -> Self

Converts to this type from the input type.

impl WasmInstruction for Operation

fn emit<'a, 'i>(&'a self, w: &mut Vec<Instruction<'i>>)

where 'a: 'i,