Interface SSAPiNodePolicy
- All Known Implementing Classes:
AllIntegerDueToBranchePiPolicy
,CompoundPiPolicy
,InstanceOfPiPolicy
,NullTestPiPolicy
public interface SSAPiNodePolicy
The
SSABuilder
consults this as an oracle to decide how to insert SSAPiInstruction
s-
Method Summary
Modifier and TypeMethodDescriptiongetPi
(SSAAbstractInvokeInstruction call, SymbolTable symbolTable) Do we need to introduce a new name for some value immediately after a call?getPi
(SSAConditionalBranchInstruction cond, SSAInstruction def1, SSAInstruction def2, SymbolTable symbolTable) Do we need to introduce a new name for some value after deciding on an outcome for a conditional branch instruction?getPis
(SSAConditionalBranchInstruction cond, SSAInstruction def1, SSAInstruction def2, SymbolTable symbolTable)
-
Method Details
-
getPi
Do we need to introduce a new name for some value immediately after a call?If so, returns a pair consisting of the value number needing renaming, and the instruction which should be recorded as the cause of the pi instruction
- Parameters:
call
- the call instruction in questionsymbolTable
- current state of the symbol table for the IR under construction- Returns:
- description of the necessary pi instruction, or null if no pi instruction is needed.
-
getPi
Pair<Integer,SSAInstruction> getPi(SSAConditionalBranchInstruction cond, SSAInstruction def1, SSAInstruction def2, SymbolTable symbolTable) Do we need to introduce a new name for some value after deciding on an outcome for a conditional branch instruction?If so, returns a pair consisting of the value number needing renaming, and the instruction which should be recorded as the cause of the pi instruction
- Parameters:
cond
- the conditional branch instruction in questiondef1
- theSSAInstruction
that defs cond.getUse(0), or null if nonedef2
- theSSAInstruction
that defs cond.getUse(1), or null if nonesymbolTable
- current state of the symbol table for the IR under construction- Returns:
- description of the necessary pi instruction, or null if no pi instruction is needed.
-
getPis
List<Pair<Integer,SSAInstruction>> getPis(SSAConditionalBranchInstruction cond, SSAInstruction def1, SSAInstruction def2, SymbolTable symbolTable)
-