Module analysis 

Analysis passes for MIR: CFG, dominance, liveness, alias, escape, and loop analysis.

Analysis passes compute information used by optimization passes and the register allocator. They do not modify the IR.

Re-exports

pub use alias::AliasInfo;

pub use alias::AliasResult;

pub use cfg::Cfg;

pub use dominance::DomTree;

pub use escape::EscapeInfo;

pub use liveness::LivenessInfo;

pub use loop_analysis::LoopInfo;

Modules

alias

Alias analysis for memory operations.

cfg

Control flow graph construction and traversal utilities.

dominance

Dominator tree and dominance frontier computation.

escape

Escape analysis for stack-to-register promotion.

liveness

Live variable analysis using backward dataflow iteration.

loop_analysis

Loop detection, nesting depth, and induction variable analysis.