|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| Interface Summary | |
|---|---|
| IR.SSA2LocalMap | |
| IRFactory<T extends IMethod> | This is intended as an internal interface; clients probably shouldn't be using this directly. |
| ISSABasicBlock | Common interface to all SSA BasicBlocks |
| SSAInstruction.IVisitor | This interface is used by Instruction.visit to dispatch based on the instruction type. |
| SSAOptions.DefaultValues | While SSA form makes the not-unreasonable assumption that values must be defined before they are used, many languages permit using undefined variables and simply give them some default value. |
| SSAPiNodePolicy | The SSABuilder consults this as an oracle to decide how to insert SSAPiInstructions |
| Value | |
| Class Summary | |
|---|---|
| AuxiliaryCache | A cache for auxiliary information based on an SSA representation A mapping from (IMethod,Context) -> SSAOptions -> SoftReference -> something This doesn't work very well ... |
| CompoundPiPolicy | combination of 2 pi node policies |
| ConstantValue | The value of a constant. |
| DefaultIRFactory | |
| DefUse | An object which represent Def-Use information for an SSA IR |
| InstanceOfPiPolicy | A pi node policy with the following rule:
If we have the following code: |
| IR | An SSA IR |
| NullTestPiPolicy | A pi node policy with the following rule:
If we have the following code: |
| PhiValue | A value generated by a phi instruction |
| ReflectiveInvokeInstruction | |
| ReflectiveMemberAccess | |
| SSAAbstractInvokeInstruction | |
| SSAAbstractThrowInstruction | |
| SSAAbstractUnaryInstruction | |
| SSAArrayLengthInstruction | SSA instruction representing v_x := arraylength v_y |
| SSAArrayLoadInstruction | SSA instruction representing an array load. |
| SSAArrayReferenceInstruction | |
| SSAArrayStoreInstruction | |
| SSABinaryOpInstruction | |
| SSABuilder | This class constructs an SSA IR from a backing ShrikeBT instruction stream. |
| SSACache | A mapping from IMethod -> SSAOptions -> SoftReference -> IR This doesn't work very well ... |
| SSACFG | A control-flow graph for ssa form. |
| SSACheckCastInstruction | |
| SSAComparisonInstruction | SSA Instruction for comparisons between floats, longs and doubles |
| SSAConditionalBranchInstruction | |
| SSAConversionInstruction | |
| SSAFieldAccessInstruction | Abstract base class for GetInstruction and PutInstruction |
| SSAGetCaughtExceptionInstruction | |
| SSAGetInstruction | |
| SSAGotoInstruction | |
| SSAInstanceofInstruction | |
| SSAInstruction | An instruction in SSA form. |
| SSAInstruction.Visitor | A base visitor implementation that does nothing. |
| SSAInstructionFactory | An instruction factory for SSA. |
| SSAInvokeInstruction | |
| SSALoadClassInstruction | |
| SSAMonitorInstruction | An instruction representing a monitorenter or monitorexit operation. |
| SSANewInstruction | |
| SSAOptions | Options that govern SSA construction |
| SSAPhiInstruction | |
| SSAPiInstruction | A Pi instruction is a dummy assignment inserted at the tail of a basic block, in order to get a new variable name to associate with some flow-insensitive dataflow fact. |
| SSAPutInstruction | Instruction for a putfield or putstatic |
| SSAReturnInstruction | |
| SSASwitchInstruction | SSA instruction representing a switch statement. |
| SSAThrowInstruction | |
| SSAUnaryOpInstruction | |
| SymbolTable | By convention, symbol numbers start at 1 ... |
This package provides the WALA SSA IR.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||