Package com.tonic.analysis.ssa.transform

Optimisation passes over the IR, at method and class level.

Interface Summary

Interface	Description
ClassTransform	Interface for class-level transformation passes.
IRTransform	Interface for IR transformation passes.

Class Summary

Class	Description
AlgebraicSimplification	Algebraic Simplification optimization transform.
BitTrackingDCE	Bit-Tracking Dead Code Elimination (BDCE).
BlockMerging	Block merging optimization.
CommonSubexpressionElimination	Common Subexpression Elimination (CSE) optimization transform.
ConditionalConstantPropagation	Conditional Constant Propagation (CCP) optimization transform.
ConstantFolding	Folds constant expressions at compile time.
ControlFlowReducibility	Transforms irreducible control flow into reducible form using node splitting.
CopyPropagation	Propagates copies to eliminate redundant copy instructions.
CorrelatedValuePropagation	Correlated Value Propagation (CVP).
DeadCodeElimination	Removes dead code (definitions with no uses).
DeadMethodElimination	Dead method elimination optimization.
DuplicateBlockMerging	Merges duplicate blocks created by node splitting while preserving reducibility.
JumpThreading	Jump threading optimization.
LoopInvariantCodeMotion	Loop-Invariant Code Motion (LICM) optimization transform.
LoopPredication	Loop Predication optimization transform.
MethodInlining	A class-level transform that replaces calls to private, final, and static methods with the callee's body.
NullCheckElimination	Null Check Elimination optimization transform.
PeepholeOptimizations	Peephole optimization transform.
PhiConstantPropagation	Phi Constant Propagation optimization transform.
Reassociate	Reorders commutative operations so constants group together for folding, e.g.
RedundantCopyElimination	Removes redundant copy instructions and simplifies assignment chains.
StrengthReduction	Strength Reduction optimization transform.
ValueRange	An inclusive range of integer values used to track value constraints.