Enum aluvm::isa::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). Does not modify value of call stack registers.

Succ

Completes program execution writing true to st0 (indicating program success). Does not modify value of call stack registers.

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 increment 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 the value in cy0. Decrements cp0.

Trait Implementations

impl Bytecode for ControlFlowOp

fn call_site(&self) -> Option<LibSite>

If the instruction call or references any external library, returns the call site in that library.

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 encode_args<W>(&self, writer: &mut W) -> Result<(), BytecodeError>where
    W: Write,

Writes instruction arguments as bytecode, omitting instruction code byte

fn decode<R>(reader: &mut R) -> Result<Self, CodeEofError>where
    R: Read,

Reads the instruction from bytecode

fn encode<W>(&self, writer: &mut W) -> Result<(), BytecodeError>where
    W: Write,

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,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl InstructionSet for ControlFlowOp

fn isa_ids() -> BTreeSet<&'static str>

ISA Extensions used by the provided instruction set.

fn complexity(&self) -> u64

Returns computational complexity of the instruction

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

Executes given instruction taking all registers as input and output.

fn isa_string() -> String

ISA Extension IDs represented as a standard string (space-separated)

fn isa_id() -> Box<[u8]>

ISA Extension IDs encoded in a standard way (space-separated)

fn is_supported(id: &str) -> bool

Checks whether provided ISA extension ID is supported by the current instruction set

impl Ord for ControlFlowOp

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

This method returns an Ordering between self and other.

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

Compares and returns the maximum of two values.

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

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere
    Self: Sized + PartialOrd<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: &Rhs) -> bool

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

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.

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

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

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

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

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

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

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