Package com.tonic.analysis.ssa.analysis

Analyses over the IR: dominance, liveness, loops and def-use chains.

Class Summary

Class	Description
DefUseChains	Def-use chains mapping each SSA value to its defining instruction and its uses.
DominatorTree	Dominator tree and dominance frontiers for a method's CFG.
LivenessAnalysis	Per-block live-in and live-out sets for SSA values.
LoopAnalysis	Natural-loop detection with per-header back-edge merging and nesting depths.
LoopAnalysis.Loop	A natural loop: a header block plus the blocks of its body.
PostDominatorTree	Post-dominator tree for a CFG, computed by dominator analysis on the reverse graph.