Struct SsaTape 

pub struct SsaTape {
    pub tape: Vec<SsaOp>,
    pub choice_count: usize,
    pub output_count: usize,
}

Instruction tape, storing opcodes in SSA form

Each operation has the following parameters

• 4-byte opcode (required)
• 4-byte output register (required)
• 4-byte LHS register
• 4-byte RHS register (or immediate f32)

All register addressing is absolute.

Fields

tape: Vec<SsaOp>

The tape is stored in reverse order, such that the root of the tree is the first item in the tape.

choice_count: usize

Number of choice operations in the tape

output_count: usize

Number of output operations in the tape

Implementations

impl SsaTape

pub fn new(ctx: &Context, roots: &[Node]) -> Result<(Self, VarMap), Error>

Flattens a subtree of the graph into straight-line code.

This should always succeed unless the root is from a different Context, in which case Error::BadNode will be returned.

pub fn is_empty(&self) -> bool

Checks whether the tape is empty

pub fn len(&self) -> usize

Returns the length of the tape

pub fn iter(&self) -> impl DoubleEndedIterator<Item = &SsaOp>

Iterates over clauses in the tape in reverse-evaluation order

The root (output) of the tape will be first in the iterator

pub fn reset(&mut self)

Resets to an empty tape, preserving allocations

pub fn pretty_print(&self)

Pretty-prints the given tape to stdout

Trait Implementations

impl Clone for SsaTape

fn clone(&self) -> SsaTape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SsaTape

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

Formats the value using the given formatter.

impl Default for SsaTape

fn default() -> SsaTape

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SsaTape

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SsaTape

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.