Struct StackAllocationOpt 

pub struct StackAllocationOpt {
    pub analyzer: EscapeAnalyzer,
    pub config: EscapeOptConfig,
}

Optimization pass that uses escape analysis results to annotate or rewrite LCNF declarations so that non-escaping allocations can be stack-allocated.

Fields

analyzer: EscapeAnalyzer

The escape analyzer backing this pass.

config: EscapeOptConfig

Configuration.

Implementations

impl StackAllocationOpt

pub fn new() -> Self

Create a new pass with default configuration.

pub fn with_config(config: EscapeOptConfig) -> Self

Create a new pass with explicit configuration.

pub fn run(&mut self, decls: &mut [LcnfFunDecl])

Run the pass over all declarations. Declarations are modified in-place (currently: analysis results are stored; future work: rewrite IR).

pub fn optimize_decl( &self, decl: &mut LcnfFunDecl, analysis: &EscapeAnalysisResult, )

Apply escape-based optimizations to a single declaration.

pub fn mark_stack_allocated(expr: &mut LcnfExpr, candidates: &HashSet<String>)

Walk the expression tree and mark allocation sites that appear in candidates as stack-allocatable (currently a no-op annotation hook; real backends would lower these differently).

pub fn report(&self) -> EscapeReport

Build an EscapeReport from the analysis results accumulated so far.

Trait Implementations

impl Debug for StackAllocationOpt

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

Formats the value using the given formatter.

impl Default for StackAllocationOpt

fn default() -> StackAllocationOpt

Returns the “default value” for a type.