Struct RcUseAnalysis 

pub struct RcUseAnalysis { /* private fields */ }

Computes the number of uses (increments needed) for each variable in an LCNF expression, to drive multi-increment codegen.

Implementations

impl RcUseAnalysis

pub fn new() -> Self

Create a new RC use analysis.

pub fn analyze_module(&mut self, module: &LcnfModule)

Analyze an LCNF module.

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

Analyze an expression.

pub fn use_count(&self, var: LcnfVarId) -> usize

Get the use count for a variable.

pub fn multi_use_vars(&self) -> Vec<(LcnfVarId, usize)>

Get all variables with more than one use.

Trait Implementations

impl Default for RcUseAnalysis

fn default() -> Self

Returns the “default value” for a type.