Struct InterproceduralInlinePass 

pub struct InterproceduralInlinePass {
    pub config: InlineConfig,
    pub budget: InlineBudget,
    pub history: InlineHistory,
    pub trace: InlineTrace,
    pub stats: ExtendedInlineStats,
    pub context_stack: InlineContextStack,
}

Full interprocedural inlining pass that combines:

• Call graph construction
• SCC-based inlining order
• Budget enforcement
• Hot-path detection
• History tracking to prevent redundant inlining

Fields

config: InlineConfig

budget: InlineBudget

history: InlineHistory

trace: InlineTrace

stats: ExtendedInlineStats

context_stack: InlineContextStack

Implementations

impl InterproceduralInlinePass

pub fn new(config: InlineConfig) -> Self

Create a new interprocedural inline pass with the given config.

pub fn run(&mut self, decls: &mut Vec<LcnfFunDecl>)

Run the pass over a set of function declarations.

pub fn report(&self) -> String

Returns a summary report of the pass.

Trait Implementations

impl Debug for InterproceduralInlinePass

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

Formats the value using the given formatter.