Class SSAInference<T extends IVariable<T>>

All Implemented Interfaces:
FixedPointConstants, IFixedPointSolver<T>, VerboseAction
Direct Known Subclasses:
TypeInference

public abstract class SSAInference<T extends IVariable<T>> extends DefaultFixedPointSolver<T>
This class performs intra-procedural propagation over an SSA form.

A client will subclass an SSAInference by providing factories that generate IVariables corresponding to SSA value numbers, and AbstractOperators corresponding to SSA instructions. This class will set up a dataflow system induced by the SSA def-use graph, and solve the system by iterating to a fixed point.

See Also:
  • Constructor Details

    • SSAInference

      public SSAInference()
  • Method Details