Enum SurfaceInstruction 

pub enum SurfaceInstruction {
    Span(u32, u32, u32),
    Label(Ident),
    FunctionStart,
    FunctionEnd,
    Breakpoint,
    Branch(Ident),
    ConditionalBranch(Ident, Ident),
    Return,
    IndirectCall,
    Call(u32, Ident),
    Halt,
    Print,
    Load(SurfaceType, u32),
    Store(SurfaceType, u32),
    Dup,
    HeapAlloc(u32),
    GetItem,
    HeapDealloc,
    Const(SurfaceType, SurfaceValue),
    Add(SurfaceType),
    Sub(SurfaceType),
    Mul(SurfaceType),
    Div(SurfaceType),
    Rem(SurfaceType),
    Neg(SurfaceType),
    Shl(SurfaceType),
    Shr(SurfaceType),
    Rol(SurfaceType),
    Ror(SurfaceType),
    BitAnd(SurfaceType),
    BitOr(SurfaceType),
    BitXor(SurfaceType),
    Not,
    And,
    Or,
    Xor,
    Eq(SurfaceType),
    Ne(SurfaceType),
    Lt(SurfaceType),
    Gt(SurfaceType),
    Le(SurfaceType),
    Ge(SurfaceType),
}

Variants

Span(u32, u32, u32)

span file:file_id start:u32 end:u32 span 0 1 2 — three space-separated u32s.

Label(Ident)

Label definition.

FunctionStart

func_start <name> — marks function entry. <name> is symbolic and orchestrator-resolved; the unit variant carries no payload.

FunctionEnd

func_end <name> — marks function exit (debug only).

Breakpoint

breakpoint. Must precede Branch (whose token br would be a prefix of breakpoint).

Branch(Ident)

br <target> — symbolic. Deferred to orchestrator.

ConditionalBranch(Ident, Ident)

cond_br <true_target>, <false_target> — symbolic. Deferred.

Return

ret (bare) is the form real .sst uses; numeric ret <n> has no precedent so we defer. Orchestrator emits Return(0) for bare ret.

IndirectCall

call_indirect. Must precede Call for the prefix check.

Call(u32, Ident)

call <arity>, <addr> — symbolic addr. Deferred.

Halt

halt — stop execution.

Print

print — write top-of-stack to stdout.

Load(SurfaceType, u32)

load.<type> <address> — two fields with single-space separator.

Store(SurfaceType, u32)

store.<type> <address>.

Dup

dup.

HeapAlloc(u32)

heap_alloc <n>.

GetItem

get_item. Must precede Ge (token ge ⊂ get_item).

HeapDealloc

heap_dealloc — pops a HeapRef and marks the slot dead, returning it to the free list for reuse by the next heap_alloc.

Const(SurfaceType, SurfaceValue)

const.<type> <literal> — numeric/bool only here. .str/.fn_ref/ .heap_ref are orchestrator-handled.

Add(SurfaceType)

Sub(SurfaceType)

Mul(SurfaceType)

Div(SurfaceType)

Rem(SurfaceType)

Neg(SurfaceType)

Shl(SurfaceType)

Shr(SurfaceType)

Rol(SurfaceType)

Ror(SurfaceType)

BitAnd(SurfaceType)

BitOr(SurfaceType)

BitXor(SurfaceType)

Not

And

Or

Xor

Eq(SurfaceType)

Ne(SurfaceType)

Lt(SurfaceType)

Gt(SurfaceType)

Le(SurfaceType)

Ge(SurfaceType)

Trait Implementations

impl Clone for SurfaceInstruction

fn clone(&self) -> SurfaceInstruction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SurfaceInstruction

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

Formats the value using the given formatter.

impl<'__vihaco_src> Parse<'__vihaco_src> for SurfaceInstruction

fn parser() -> impl Parser<'__vihaco_src, &'__vihaco_src str, Self, Err<Simple<'__vihaco_src, char>>>

impl PartialEq for SurfaceInstruction

fn eq(&self, other: &SurfaceInstruction) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for SurfaceInstruction

impl SurfaceInstruction for SurfaceInstruction