Enum alure::instr::ControlFlowOp

pub enum ControlFlowOp {
    Fail,
    Succ,
    Jmp(u16),
    Jif(u16),
    Routine(u16),
    Call(LibSite),
    Exec(LibSite),
    Ret,
}

Control-flow instructions

Variants

Fail

Completes program execution writing false to st0 (indicating program failure)

Succ

Completes program execution writing true to st0 (indicating program success)

Jmp(u16)

Unconditionally jumps to an offset. Increments cy0.

Jif(u16)

Jumps to an offset if st0 == true, otherwise does nothing. Increments cy0.

Routine(u16)

Jumps to other location in the current code with ability to return back (calls a subroutine). Increments cy0 and pushes offset of the instruction which follows current one to cs0.

Call(LibSite)

Calls code from an external library identified by the hash of its code. Increments cy0 and cp0 and pushes offset of the instruction which follows current one to cs0.

Exec(LibSite)

Passes execution to other library without an option to return. Does not increments cy0 and cp0 counters and does not add anything to the call stack cs0.

Ret

Returns execution flow to the previous location from the top of cs0. Does not change value in cy0. Decrements cp0.

Trait Implementations

impl Bytecode for ControlFlowOp

fn byte_count(&self) -> u16

Returns number of bytes which instruction and its argument occupies

fn instr_range() -> RangeInclusive<u8>

Returns range of instruction btecodes covered by a set of operations

fn instr_byte(&self) -> u8

Returns byte representing instruction code (without its arguments)

fn write_args<W>(&self, writer: &mut W) -> Result<(), EncodeError> where
    W: Write,
    EncodeError: From<<W as Write>::Error>, 

Writes instruction arguments as bytecode, omitting instruction code byte

fn read<R>(reader: &mut R) -> Result<Self, DecodeError> where
    R: Read,
    DecodeError: From<<R as Read>::Error>, 

Reads the instruction from bytecode

fn write<W>(&self, writer: &mut W) -> Result<(), EncodeError> where
    W: Write,
    EncodeError: From<<W as Write>::Error>, 

Writes the instruction as bytecode

impl Clone for ControlFlowOp

fn clone(&self) -> ControlFlowOp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ControlFlowOp

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

Formats the value using the given formatter.

impl Display for ControlFlowOp

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

Formats the value using the given formatter.

impl Hash for ControlFlowOp

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl InstructionSet for ControlFlowOp

fn exec(self, regs: &mut Registers, site: LibSite) -> ExecStep

Executes given instruction taking all registers as input and output. The method is provided with the current code position which may be used by the instruction for constructing call stack.

impl Ord for ControlFlowOp

fn cmp(&self, other: &ControlFlowOp) -> Ordering

This method returns an Ordering between self and other.

#[must_use]

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]

fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl PartialEq<ControlFlowOp> for ControlFlowOp

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl PartialOrd<ControlFlowOp> for ControlFlowOp

fn partial_cmp(&self, other: &ControlFlowOp) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use]

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

This method tests less than (for self and other) and is used by the < operator.

#[must_use]

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use]

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

This method tests greater than (for self and other) and is used by the > operator.

#[must_use]

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for ControlFlowOp

impl Eq for ControlFlowOp

impl StructuralEq for ControlFlowOp

impl StructuralPartialEq for ControlFlowOp