Package EDU.purdue.cs.bloat.ssa

package EDU.purdue.cs.bloat.ssa

Converts a control flow graph into static single assignment (SSA) form. In SSA form, each variable in the method has a number associated with it. Each target of an assignment statement is assigned a new number. Subsequent uses of that variable are assigned the same number. Thus, we have a compact form of definition-use information. Many of the optimiations we do take advantage of SSA form.

  • Classes
    Class
    Description
    ComponentVisitor
    ComponentVisitor is used to visit the strongly connected components (SSC) of a control flow graph.
    SSA
    Compute the SSA form of the control flow graph and build FUD chains.
    SSAConstructionInfo
    SSAConstructionInfo contains information needed to convert a CFG into SSA form.
    SSAGraph
    The SSA graph (also called the value graph) represents the nesting of expression in a control flow graph.