Struct LICMPass 

pub struct LICMPass { /* private fields */ }

The main Loop Invariant Code Motion pass.

Implementations

impl LICMPass

pub fn new(config: LICMConfig) -> Self

Create a new LICM pass with the given configuration.

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

Run the LICM pass over all function declarations, mutating them in-place to hoist loop-invariant bindings.

pub fn find_loops(&self, decl: &LcnfFunDecl) -> Vec<LoopStructure>

Identify all loops in a function declaration by scanning for recursive Let bindings (self-referencing variables).

pub fn is_loop_invariant( &self, value: &LcnfLetValue, lp: &LoopStructure, ) -> bool

Check whether a LcnfLetValue is loop-invariant with respect to the given loop structure (i.e., none of its free variables are defined inside the loop body).

pub fn hoist_invariants(&mut self, decl: &mut LcnfFunDecl, lp: &LoopStructure)

Hoist all loop-invariant bindings from lp into a preheader and update decl.body accordingly.

pub fn report(&self) -> LICMReport

Return a copy of the accumulated statistics report.

Trait Implementations

impl Default for LICMPass

fn default() -> Self

Returns the “default value” for a type.