Struct TreeLoop 

pub struct TreeLoop {
    pub inputargs: Vec<InputArg>,
    pub ops: Vec<Op>,
    pub snapshots: Vec<Snapshot>,
}

A completed trace ready for optimization and compilation.

Fields

inputargs: Vec<InputArg>

Input arguments to the trace (loop header variables).

ops: Vec<Op>

The recorded operations, in execution order.

snapshots: Vec<Snapshot>

opencoder.py parity: per-guard snapshots captured during tracing. Indexed by the guard op’s rd_resume_position.

Implementations

impl TreeLoop

pub fn new(inputargs: Vec<InputArg>, ops: Vec<Op>) -> Self

Create a new trace from input arguments and operations.

pub fn with_snapshots( inputargs: Vec<InputArg>, ops: Vec<Op>, snapshots: Vec<Snapshot>, ) -> Self

Create a new trace with snapshots.

pub fn num_ops(&self) -> usize

Number of operations in the trace.

pub fn num_inputargs(&self) -> usize

Number of input arguments.

pub fn is_loop(&self) -> bool

Whether this trace ends with a JUMP (i.e., is a loop).

pub fn is_finished(&self) -> bool

Whether this trace ends with FINISH.

pub fn get_op(&self, opref: OpRef) -> Option<&Op>

Get a reference to the operation at the given OpRef index.

pub fn iter_ops(&self) -> impl Iterator<Item = &Op>

Iterate over all operations.

pub fn iter_guards(&self) -> impl Iterator<Item = &Op>

Iterate over all guard operations.

pub fn num_guards(&self) -> usize

Number of guard operations.

pub fn get_final_op(&self) -> Option<&Op>

Get the final operation (Jump or Finish).

pub fn find_label(&self) -> Option<usize>

Get the Label position (if this is a peeled loop).

pub fn split_at_label(&self) -> (&[Op], &[Op])

Split at Label: returns (preamble_ops, body_ops). If no Label, returns (all_ops, empty).

pub fn inputarg_types(&self) -> Vec<Type>

Get the input arg types.

pub fn get_iter(&self) -> TraceIterator<'_>

Create a trace iterator for this trace.

pub fn check_consistency(&self) -> bool

history.py: check_consistency() Verify that the trace structure is valid.

pub fn free_vars(&self) -> Vec<OpRef>

Get all OpRefs used as arguments but not defined by any op. These are the “free variables” — inputs from outside the trace.

pub fn count_by_category(&self) -> (usize, usize, usize, usize)

Count operations by opcode category.

pub fn cut_trace_from( &self, start: TracePosition, original_boxes: &[OpRef], original_box_types: &[Type], ) -> TreeLoop

opencoder.py CutTrace parity — create a new trace by cutting at the given position. original_boxes become the new inputargs; any OpRef referenced after the cut but defined before it (and not in original_boxes) is re-emitted as a prefix operation (transitive closure of dependencies).

Trait Implementations

impl Clone for TreeLoop

fn clone(&self) -> TreeLoop

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TreeLoop

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

Formats the value using the given formatter.