Enum move_stackless_bytecode::stackless_bytecode::Bytecode

pub enum Bytecode {
    Assign(AttrId, TempIndex, TempIndex, AssignKind),
    Call(AttrId, Vec<TempIndex>, Operation, Vec<TempIndex>, Option<AbortAction>),
    Ret(AttrId, Vec<TempIndex>),
    Load(AttrId, TempIndex, Constant),
    Branch(AttrId, Label, Label, TempIndex),
    Jump(AttrId, Label),
    Label(AttrId, Label),
    Abort(AttrId, TempIndex),
    Nop(AttrId),
    SaveMem(AttrId, MemoryLabel, QualifiedInstId<StructId>),
    SaveSpecVar(AttrId, MemoryLabel, QualifiedInstId<SpecVarId>),
    Prop(AttrId, PropKind, Exp),
}

The stackless bytecode.

Variants

Assign(AttrId, TempIndex, TempIndex, AssignKind)

Call(AttrId, Vec<TempIndex>, Operation, Vec<TempIndex>, Option<AbortAction>)

Ret(AttrId, Vec<TempIndex>)

Load(AttrId, TempIndex, Constant)

Branch(AttrId, Label, Label, TempIndex)

Jump(AttrId, Label)

Label(AttrId, Label)

Abort(AttrId, TempIndex)

Nop(AttrId)

SaveMem(AttrId, MemoryLabel, QualifiedInstId<StructId>)

SaveSpecVar(AttrId, MemoryLabel, QualifiedInstId<SpecVarId>)

Prop(AttrId, PropKind, Exp)

Implementations

impl Bytecode

pub fn get_attr_id(&self) -> AttrId

pub fn is_exit(&self) -> bool

pub fn is_return(&self) -> bool

pub fn is_unconditional_branch(&self) -> bool

pub fn is_conditional_branch(&self) -> bool

pub fn is_branch(&self) -> bool

pub fn branch_dests(&self) -> Vec<Label>

Return the destination(s) if self is a branch/jump instruction

pub fn label_offsets(code: &[Bytecode]) -> BTreeMap<Label, CodeOffset>

Returns a mapping from labels to code offsets.

pub fn get_successors(
    pc: CodeOffset,
    code: &[Bytecode],
    label_offsets: &BTreeMap<Label, CodeOffset>
) -> Vec<CodeOffset>

Return the successor offsets of this instruction. In addition to the code, a map of label to code offset need to be passed in.

pub fn get_exits(code: &[Bytecode]) -> Vec<CodeOffset>

Returns the code offsets at which the code exits(aborts or returns).

pub fn remap_all_vars<F>(
    self,
    func_target: &FunctionTarget<'_>,
    f: &mut F
) -> Self where
    F: FnMut(TempIndex) -> TempIndex, 

Remaps variables in the instruction.

pub fn remap_src_vars<F>(
    self,
    func_target: &FunctionTarget<'_>,
    f: &mut F
) -> Self where
    F: FnMut(TempIndex) -> TempIndex, 

Remaps variables in source position in the instruction.

pub fn instantiate(&self, env: &GlobalEnv, params: &[Type]) -> Self

pub fn modifies(
    &self,
    func_target: &FunctionTarget<'_>
) -> (Vec<TempIndex>, Vec<(TempIndex, bool)>)

Return the temporaries this instruction modifies and how the temporaries are modified.

For a temporary with TempIndex $t, if $t is modified by the instruction and

1. $t is a value or an immutable reference, it will show up in the first Vec
2. $t is a mutable reference and only its value is modified, not the reference itself, it will show up in the second Vec as ($t, false).
3. $t is a mutable reference and the reference itself is modified (i.e., the location and path it is pointing to), it will show up in the second Vec as ($t, true).

impl Bytecode

pub fn display<'env>(
    &'env self,
    func_target: &'env FunctionTarget<'env>,
    label_offsets: &'env BTreeMap<Label, CodeOffset>
) -> BytecodeDisplay<'env>

Creates a format object for a bytecode in context of a function target.

Trait Implementations

impl Clone for Bytecode

fn clone(&self) -> Bytecode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Bytecode

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

Formats the value using the given formatter.

impl PartialEq<Bytecode> for Bytecode

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

impl StructuralEq for Bytecode

impl StructuralPartialEq for Bytecode