com.ibm.wala.ssa

Class CompoundPiPolicy

java.lang.Object

com.ibm.wala.ssa.CompoundPiPolicy

All Implemented Interfaces:

SSAPiNodePolicy

public class CompoundPiPolicy
extends java.lang.Object
implements SSAPiNodePolicy

A Combination of 2 SSAPiNodePolicys. This policy will insert Pi nodes if either of two delegate policies says to.

Method Summary

Modifier and Type	Method and Description
static CompoundPiPolicy	createCompoundPiPolicy(SSAPiNodePolicy p1, SSAPiNodePolicy p2)
boolean	equals(java.lang.Object obj)
com.ibm.wala.util.collections.Pair<java.lang.Integer,SSAInstruction>	getPi(SSAAbstractInvokeInstruction call, SymbolTable symbolTable) Do we need to introduce a new name for some value immediately after a call?
com.ibm.wala.util.collections.Pair<java.lang.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?
java.util.List<com.ibm.wala.util.collections.Pair<java.lang.Integer,SSAInstruction>>	getPis(SSAConditionalBranchInstruction cond, SSAInstruction def1, SSAInstruction def2, SymbolTable symbolTable)
int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Method Detail

createCompoundPiPolicy

public static CompoundPiPolicy createCompoundPiPolicy(SSAPiNodePolicy p1,
                                                      SSAPiNodePolicy p2)

Parameters:

p1 - first SSAPiNodePolicy to delegate to

p2 - second SSAPiNodePolicy to delegate to

getPi

public com.ibm.wala.util.collections.Pair<java.lang.Integer,SSAInstruction> getPi(SSAConditionalBranchInstruction cond,
                                                                                  SSAInstruction def1,
                                                                                  SSAInstruction def2,
                                                                                  SymbolTable symbolTable)

Description copied from interface: SSAPiNodePolicy

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

Specified by:

getPi in interface SSAPiNodePolicy

Parameters:

cond - the conditional branch instruction in question

def1 - the SSAInstruction that defs cond.getUse(0), or null if none

def2 - the SSAInstruction that defs cond.getUse(1), or null if none

symbolTable - 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

public com.ibm.wala.util.collections.Pair<java.lang.Integer,SSAInstruction> getPi(SSAAbstractInvokeInstruction call,
                                                                                  SymbolTable symbolTable)

Description copied from interface: SSAPiNodePolicy

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

Specified by:

getPi in interface SSAPiNodePolicy

Parameters:

call - the call instruction in question

symbolTable - 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.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getPis

public java.util.List<com.ibm.wala.util.collections.Pair<java.lang.Integer,SSAInstruction>> getPis(SSAConditionalBranchInstruction cond,
                                                                                                   SSAInstruction def1,
                                                                                                   SSAInstruction def2,
                                                                                                   SymbolTable symbolTable)

Specified by:

getPis in interface SSAPiNodePolicy