/* * @see com.ibm.wala.ssa.SSAPiNodePolicy#getPi(com.ibm.wala.ssa.SSAConditionalBranchInstruction, com.ibm.wala.ssa.SSAInstruction, * com.ibm.wala.ssa.SSAInstruction, com.ibm.wala.ssa.SymbolTable) */ @Override public Pair<Integer, SSAInstruction> getPi( SSAConditionalBranchInstruction cond, SSAInstruction def1, SSAInstruction def2, SymbolTable symbolTable) { if (def1 instanceof SSAInstanceofInstruction) { if (symbolTable.isBooleanOrZeroOneConstant(cond.getUse(1))) { return Pair.make(def1.getUse(0), def1); } } if (def2 instanceof SSAInstanceofInstruction) { if (symbolTable.isBooleanOrZeroOneConstant(cond.getUse(0))) { return Pair.make(def2.getUse(0), def2); } } return null; }