Enum WTerm 

pub enum WTerm {
    Jump(usize),
    Branch {
        cond: WSrc,
        then_blk: usize,
        else_blk: usize,
    },
    Return(WSrc),
    Call {
        callee_block: usize,
        args: Vec<WSrc>,
        dst_reg: u16,
        ret_block: usize,
    },
}

A block’s terminator in the flat config.

Variants

Jump(usize)

Branch

Fields

cond: WSrc

then_blk: usize

else_blk: usize

Return(WSrc)

Call

A function CALL: run the callee (its entry block callee_block) with args bound to its parameter registers 0..args.len(), then resume at ret_block with the return value written to dst_reg. Runs on a FRAME STACK (each frame saves the caller’s register file), so recursion of any depth works — the spatial call mechanism the whole-program fabric needs for the full language.

Fields

callee_block: usize

args: Vec<WSrc>

dst_reg: u16

ret_block: usize

Trait Implementations

impl Clone for WTerm

fn clone(&self) -> WTerm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WTerm

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

Formats the value using the given formatter.