See: Description
| 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.
|
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.