CompoundPiPolicy |
|
ConstantValue |
The value of a constant which appears in an SSA IR.
|
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: S1: if (c op null) { ...
|
PhiValue |
A value generated by a phi instruction.
|
ReflectiveMemberAccess |
TODO: document me.
|
ShrikeIndirectionData |
|
ShrikeIndirectionData.ShrikeLocalName |
In Shrike, the only "source" level entities which have names relevant to indirect pointer operations are bytecode locals.
|
SSAAbstractBinaryInstruction |
|
SSAAbstractInvokeInstruction |
A Call instruction.
|
SSAAbstractThrowInstruction |
An instruction which unconditionally throws an exception
|
SSAAbstractUnaryInstruction |
|
SSAAddressOfInstruction |
|
SSAArrayLengthInstruction |
SSA instruction representing v_x := arraylength v_y
|
SSAArrayLoadInstruction |
SSA instruction representing an array load.
|
SSAArrayReferenceInstruction |
Abstract base class for instructions that load or store from array contents.
|
SSAArrayStoreInstruction |
SSA instruction representing an array store.
|
SSABinaryOpInstruction |
|
SSABuilder |
This class constructs an SSA IR from a backing ShrikeBT instruction stream.
|
SSACache |
A mapping from IMethod -> SSAOptions -> SoftReference -> Something
This doesn't work very well ...
|
SSACFG |
A control-flow graph for ssa form.
|
SSACheckCastInstruction |
A checkcast (dynamic type test) instruction.
|
SSAComparisonInstruction |
SSA Instruction for comparisons between floats, longs and doubles
|
SSAConditionalBranchInstruction |
|
SSAConversionInstruction |
An instruction which converts a value of one primitive type into another primitive type.
|
SSAFieldAccessInstruction |
|
SSAGetCaughtExceptionInstruction |
A "catch" instruction, inserted at the head of a catch block, which assigns a pending exception object to a local variable.
|
SSAGetInstruction |
SSA instruction that reads a field (i.e.
|
SSAGotoInstruction |
Unconditional branch instruction for SSA form.
|
SSAInstanceofInstruction |
A dynamic type test (instanceof) instruction.
|
SSAInstruction |
An instruction in SSA form.
|
SSAInstruction.Visitor |
A base visitor implementation that does nothing.
|
SSAInvokeDynamicInstruction |
|
SSAInvokeInstruction |
|
SSALoadIndirectInstruction |
A load from a pointer.
|
SSALoadMetadataInstruction |
An instruction that represents a reflective or meta-programming operation, like loadClass in Java
|
SSAMonitorInstruction |
An instruction representing a monitorenter or monitorexit operation.
|
SSANewInstruction |
An allocation instruction ("new") for SSA form.
|
SSAOptions |
Options that govern SSA construction
|
SSAPhiInstruction |
A phi instruction in SSA form.
|
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 |
A putfield or putstatic instruction
|
SSAReturnInstruction |
A return instruction.
|
SSAStoreIndirectInstruction |
A store from a pointer.
|
SSASwitchInstruction |
SSA instruction representing a switch statement.
|
SSAThrowInstruction |
An instruction which unconditionally throws an exception
|
SSAUnaryOpInstruction |
An SSA instruction for some unary operator.
|
SymbolTable |
A symbol table which associates information with each variable (value number) in an SSA IR.
|