Module analysis 

Analysis passes for the OxiCUDA computation graph.

This module groups three complementary analysis algorithms:

• topo — Topological level assignment, ASAP/ALAP scheduling, slack computation, and critical-path identification.
• liveness — Buffer liveness intervals, interference detection, and peak-live-memory estimation.
• dominance — Lengauer–Tarjan dominator tree for control-flow analysis, operator fusion eligibility, and stream partitioning.

Re-exports

pub use dominance::DomTree;

pub use dominance::analyse as dominance_analyse;

pub use liveness::LiveInterval;

pub use liveness::LivenessAnalysis;

pub use liveness::analyse as liveness_analyse;

pub use topo::NodeInfo;

pub use topo::TopoAnalysis;

pub use topo::analyse as topo_analyse;

Modules

dominance

Dominator tree computation using Cooper et al.’s algorithm.

liveness

Buffer liveness analysis.

topo

Topological-level analysis and critical-path scheduling.