Struct Frame

pub struct Frame<'a> { /* private fields */ }

Holds the mutable elements of an interpreted function call.

Implementations

impl<'a> Frame<'a>

pub fn new(function: &'a Function) -> Self

Construct a new Frame for a function. This allocates a slot in the hash map for each SSA Value (renamed to ValueRef here) which should mean that no additional allocations are needed while interpreting the frame.

pub fn get(&self, name: ValueRef) -> &DataValue

Retrieve the actual value associated with an SSA reference.

pub fn get_all(&self, names: &[ValueRef]) -> Vec<DataValue>

Retrieve multiple SSA references; see get.

pub fn set(&mut self, name: ValueRef, value: DataValue) -> Option<DataValue>

Assign value to the SSA reference name.

pub fn set_all(&mut self, names: &[ValueRef], values: Vec<DataValue>)

Assign to multiple SSA references; see set.

pub fn rename(&mut self, old_names: &[ValueRef], new_names: &[ValueRef])

Rename all of the SSA references in old_names to those in new_names. This will remove any old references that are not in old_names. TODO This performs an extra allocation that could be removed if we copied the values in the right order (i.e. when modifying in place, we need to avoid changing a value before it is referenced).

pub fn entries_mut(&mut self) -> &mut [Option<DataValue>]

Accessor for the current entries in the frame.

pub fn function(&self) -> &'a Function

Accessor for the [Function] of this frame.

Trait Implementations

impl<'a> Debug for Frame<'a>

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

Formats the value using the given formatter.