Struct RedundantLoadInfo 

pub struct RedundantLoadInfo {
    pub available_loads: HashMap<(LcnfVarId, u32), LcnfVarId>,
    pub redundant_count: usize,
}

Identifies load-like operations (projections, field reads) that are redundant because the same value has already been loaded earlier in the same scope.

Fields

available_loads: HashMap<(LcnfVarId, u32), LcnfVarId>

Maps (base_var, field_index) -> binding_var that holds the loaded value.

redundant_count: usize

Number of redundant loads detected.

Implementations

impl RedundantLoadInfo

pub fn new() -> Self

Create a new empty RedundantLoadInfo.

pub fn register_load( &mut self, base: LcnfVarId, field_idx: u32, dest: LcnfVarId, )

Register a load: reading field field_idx of base into dest.

pub fn lookup_load(&self, base: LcnfVarId, field_idx: u32) -> Option<LcnfVarId>

Check if a load is redundant. Returns the earlier binding var if so.

pub fn analyze(&mut self, expr: &LcnfExpr)

Scan an expression for redundant projections.

Trait Implementations

impl Clone for RedundantLoadInfo

fn clone(&self) -> RedundantLoadInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RedundantLoadInfo

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

Formats the value using the given formatter.

impl Default for RedundantLoadInfo

fn default() -> RedundantLoadInfo

Returns the “default value” for a type.