Struct UnusedMemoryOptimizer

pub(crate) struct UnusedMemoryOptimizer<F: AcirField> {
    unused_memory_initializations: HashSet<BlockId>,
    circuit: Circuit<F>,
}

UnusedMemoryOptimizer will remove initializations of memory blocks which are unused. A first pass collects all memory blocks which are initialized but discards the ones which are used in a MemoryOp or as input to a BrilligCall. The second pass removes the opcodes tagged as unused by the first pass.

Fields

unused_memory_initializations: HashSet<BlockId>

circuit: Circuit<F>

Implementations

impl<F: AcirField> UnusedMemoryOptimizer<F>

pub(crate) fn new(circuit: Circuit<F>) -> Self

Creates a new UnusedMemoryOptimizer by collecting unused memory init opcodes from Circuit.

fn collect_unused_memory_initializations( circuit: &Circuit<F>, ) -> HashSet<BlockId>

Creates a set of ids for memory blocks for which no [Opcode::MemoryOp]s exist.

These memory blocks can be safely removed.

pub(crate) fn remove_unused_memory_initializations( self, order_list: Vec<usize>, ) -> (Circuit<F>, Vec<usize>)

Returns a Circuit where [Opcode::MemoryInit]s for unused memory blocks are dropped.