Struct cranelift_interpreter::frame::Frame

pub struct Frame<'a> {
    pub function: &'a Function,
    // some fields omitted
}

Holds the mutable elements of an interpretation. At some point I thought about using Cell/RefCell to do field-level mutability, thinking that otherwise I would have to pass around a mutable object (for inst and registers) and an immutable one (for function, could be self)--in the end I decided to do exactly that but perhaps one day that will become untenable.

Fields

function: &'a Function

The currently executing function.

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).

Trait Implementations

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

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

Formats the value using the given formatter.