Struct InlinePass 

pub struct InlinePass {
    pub config: InlineConfig,
    pub fn_map: HashMap<String, LcnfFunDecl>,
    pub profile: InlineProfile,
    pub inlined_count: usize,
    /* private fields */
}

The main inlining optimization pass.

Fields

config: InlineConfig

Configuration controlling inlining behaviour.

fn_map: HashMap<String, LcnfFunDecl>

Map from function name to its LCNF declaration (for look-up during inlining).

profile: InlineProfile

Call-frequency profile used for hot-path decisions.

inlined_count: usize

Total number of inlinings performed so far.

Implementations

impl InlinePass

pub fn new(config: InlineConfig) -> Self

Create a new pass with the given configuration.

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

Main entry point: run the inlining pass over all declarations.

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

Build the internal function map from the current declaration list.

pub fn inline_decl(&mut self, decl: &mut LcnfFunDecl, ctx: &mut InliningContext)

Inline call sites within a single function declaration.

pub fn inline_expr(&mut self, expr: &mut LcnfExpr, ctx: &mut InliningContext)

Recursively walk an expression and inline call sites.

pub fn try_inline_call( &mut self, callee: &str, args: &[LcnfArg], ) -> Option<LcnfExpr>

Produce an inlined copy of callee applied to args (pure, no side-effects on self except for the fresh-var counter).

pub fn report(&self) -> &InlineReport

Return the accumulated report for this pass.

Trait Implementations

impl Default for InlinePass

fn default() -> Self

Returns the “default value” for a type.