|
Class Summary |
| ContextSet |
|
| DefinitionGraph |
This is a graph consisting of definitions that uses as much sharing as possible. |
| IPSSABuilder |
This is where the main action pertaining to IPSSA construction happens. |
| IPSSABuilder.Application |
This is something we typically run afte the IPSSABuilder. |
| IPSSABuilder.ApplicationLaunchingPad |
This class allows to specify applications to be
run after IPSSA has been constructed. |
| IPSSABuilder.Main |
This is an entry point for IPSSABuilder with a main(...) function. |
| SSABinding |
An SSABinding is an assignment of an SSAValue to to an SSADefinition. |
| SSABindingVisitor |
Goes over all bindings in a method. |
| SSABindingVisitor.EmptySSABindingVisitor |
|
| SSABindingVisitor.SSABindingPrinter |
|
| SSADefinition |
This is a definition in the SSA sense, meaning it's unique. |
| SSADefinition.Helper |
|
| SSAIterator |
|
| SSAIterator.BindingIterator |
|
| SSAIterator.DefinitionIterator |
|
| SSAIterator.ValueIterator |
|
| SSALocation.LocalLocation |
These locations represent local variables. |
| SSALocation.LocalLocation.FACTORY |
|
| SSALocation.Temporary |
We need to have "abstract" temporary locations for IPSSA construction purposes
that do not necessarily correspond to anything tangible. |
| SSALocation.Temporary.FACTORY |
|
| SSALocation.Unique |
|
| SSALocation.Unique.FACTORY |
|
| SSAProcInfo |
|
| SSAProcInfo.Helper |
This class is used to make modifications to the IPSSA representation. |
| SSAProcInfo.Query |
This class is used to get information about the IPSSA representation. |
| SSAValue |
The RHS of a binding. |
| SSAValue.ActualOut |
|
| SSAValue.Alloc |
|
| SSAValue.Alloc.FACTORY |
|
| SSAValue.Constant |
|
| SSAValue.Copy |
This value is just a reference to a definition. |
| SSAValue.Copy.FACTORY |
|
| SSAValue.FormalIn |
|
| SSAValue.Gamma |
|
| SSAValue.IPPhi |
|
| SSAValue.Normal |
|
| SSAValue.NullConstant |
|
| SSAValue.NullConstant.FACTORY |
|
| SSAValue.OmegaPhi |
This represents a merge of definitions but without any further
information such as predicates. |
| SSAValue.Phi |
|
| SSAValue.Predicate |
The representation of predicates is yet to be determined. |
| SSAValue.Predicated |
|
| SSAValue.SigmaPhi |
|
| SSAValue.Terminal |
|
| SSAValue.UnknownConstant |
|
| SSAValue.UnknownConstant.FACTORY |
|
| SSAValue.UseCollection |
|
| SSAValue.UseCollection.FACTORY |
|