Enum Operand

pub enum Operand {
    String(String),
    FloatNum(f64),
    LongNum(i32),
    ShortNum(u8),
    Reg(u8),
    RegistersArray(Vec<u8>),
    FunctionAddr(BytecodeAddrToken),
    BranchAddr(LabelAddrToken),
    FunctionArguments(FunctionArguments),
}

Represents variants of bytecode operand

There are two types of operands. Regular operands(numbers, strings or registers) and token operands. Token operands are only used by the compiler to express a dependency that cannot be calculated at the point of declaration. For example, the target of a jump is an address. However, an address can only be calculated when the entire bytecode is known. Thus, all jump instructions contain a token operand BranchAddr which holds the target label of the jump. After the compilation of this, these tokens are then replaced. Thus, token operands cannot be part of a final bytecode.

Variants

String(String)

FloatNum(f64)

LongNum(i32)

ShortNum(u8)

Reg(u8)

RegistersArray(Vec<u8>)

FunctionAddr(BytecodeAddrToken)

BranchAddr(LabelAddrToken)

FunctionArguments(FunctionArguments)

Implementations

impl Operand

pub fn from_literal(literal: BytecodeLiteral) -> CompilerResult<Self>

pub fn str(string: String) -> Self

pub fn function_addr(ident: String) -> Self

pub fn branch_addr(label: Label) -> Self

pub fn bc_func_args(arg_regs: Vec<Register>) -> Self

pub fn is_worth_caching(&self) -> bool

Trait Implementations

impl Clone for Operand

fn clone(&self) -> Operand

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Operand

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

Formats the value using the given formatter.

impl Display for Operand

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

Formats the value using the given formatter.

impl PartialEq for Operand

fn eq(&self, other: &Operand) -> 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 ToBytes for Operand

fn to_bytes(&self) -> Vec<u8>

fn length_in_bytes(&self) -> usize

impl StructuralPartialEq for Operand