Java Opcodes.IF_ACMPEQ属性代码示例

private static If.Type ifType(int opcode) {
  switch (opcode) {
    case Opcodes.IFEQ:
    case Opcodes.IF_ICMPEQ:
    case Opcodes.IF_ACMPEQ:
      return If.Type.EQ;
    case Opcodes.IFNE:
    case Opcodes.IF_ICMPNE:
    case Opcodes.IF_ACMPNE:
      return If.Type.NE;
    case Opcodes.IFLT:
    case Opcodes.IF_ICMPLT:
      return If.Type.LT;
    case Opcodes.IFGE:
    case Opcodes.IF_ICMPGE:
      return If.Type.GE;
    case Opcodes.IFGT:
    case Opcodes.IF_ICMPGT:
      return If.Type.GT;
    case Opcodes.IFLE:
    case Opcodes.IF_ICMPLE:
      return If.Type.LE;
    default:
      throw new Unreachable("Unexpected If instruction opcode: " + opcode);
  }
}
 

public static Truthness getForObjectComparison(Object first, Object second, int opcode) {

        switch (opcode) {
            case Opcodes.IF_ACMPEQ: // ie, a == b
                return new Truthness(
                        first == second ? 1d : 0d,
                        first != second ? 1d : 0d
                );

            case Opcodes.IF_ACMPNE: // ie, a != b
                return getForObjectComparison(first, second, Opcodes.IF_ACMPEQ).invert();

            default:
                throw new IllegalArgumentException("Cannot handle opcode " + opcode);
        }
    }
 

private int[] getJumpTargets(JumpInsnNode jump) {
  switch (jump.getOpcode()) {
    case Opcodes.IFEQ:
    case Opcodes.IFNE:
    case Opcodes.IFLT:
    case Opcodes.IFGE:
    case Opcodes.IFGT:
    case Opcodes.IFLE:
    case Opcodes.IF_ICMPEQ:
    case Opcodes.IF_ICMPNE:
    case Opcodes.IF_ICMPLT:
    case Opcodes.IF_ICMPGE:
    case Opcodes.IF_ICMPGT:
    case Opcodes.IF_ICMPLE:
    case Opcodes.IF_ACMPEQ:
    case Opcodes.IF_ACMPNE:
    case Opcodes.IFNULL:
    case Opcodes.IFNONNULL:
      return new int[]{getOffset(jump.label), getOffset(jump.getNext())};
    case Opcodes.GOTO:
      return new int[]{getOffset(jump.label)};
    case Opcodes.JSR: {
      throw new Unreachable("JSR should be handled by the ASM jsr inliner");
    }
    default:
      throw new Unreachable("Unexpected opcode in jump instruction: " + jump);
  }
}
 

/**
 * Imports branch instructions, both conditional and unconditional.
 *
 * @param opcode Opcode.
 * @param label  Destination of branch.
 */
@Override
public void visitJumpInsn(final int opcode, final Label label) {
  BasicBlock section = getBasicBlock(label);
    
  switch(opcode) {
    // Unconditional Branch
    case Opcodes.GOTO: finishBlock(section); setCurrent(null); break;
    
    // Zero Test
    case Opcodes.IFEQ: createZeroCondition(Condition.Operator.EQ, section); break;
    case Opcodes.IFNE: createZeroCondition(Condition.Operator.NE, section); break;
    case Opcodes.IFLT: createZeroCondition(Condition.Operator.LT, section); break;
    case Opcodes.IFGE: createZeroCondition(Condition.Operator.GE, section); break;
    case Opcodes.IFGT: createZeroCondition(Condition.Operator.GT, section); break;
    case Opcodes.IFLE: createZeroCondition(Condition.Operator.LE, section); break;
    
    // Integer Comparison
    case Opcodes.IF_ICMPEQ: createCondition(Condition.Operator.EQ, section); break;
    case Opcodes.IF_ICMPNE: createCondition(Condition.Operator.NE, section); break;
    case Opcodes.IF_ICMPLT: createCondition(Condition.Operator.LT, section); break;
    case Opcodes.IF_ICMPGE: createCondition(Condition.Operator.GE, section); break;
    case Opcodes.IF_ICMPGT: createCondition(Condition.Operator.GT, section); break;
    case Opcodes.IF_ICMPLE: createCondition(Condition.Operator.LE, section); break;

    // Reference Comparisons
    case Opcodes.IF_ACMPEQ: createCondition(Condition.Operator.EQ, section); break;
    case Opcodes.IF_ACMPNE: createCondition(Condition.Operator.NE, section); break;
    case Opcodes.IFNULL:    createNullCondition(Condition.Operator.EQ, section); break;
    case Opcodes.IFNONNULL: createNullCondition(Condition.Operator.NE, section); break;
    
    // TODO: JSR (paired with RET)
    case Opcodes.JSR: System.err.println("visitJumpInsn: JSR");
  }
}
 

@Test
public void test_IF_ACMPEQ_true(){
    // x == y
    int code = Opcodes.IF_ACMPEQ;

    Truthness t = getForObjectComparison("a", "a", code);
    assertTrue(t.isTrue());
    assertFalse(t.isFalse());
}
 

@Test
public void test_IF_ACMPEQ_false(){
    // x == y
    int code = Opcodes.IF_ACMPEQ;

    Object a = new Object();
    Integer b = 5;

    Truthness t = getForObjectComparison(a, b, code);
    assertFalse(t.isTrue());
    assertTrue(t.isFalse());
}
 

@Override
public void visitJumpInsn(final int opcode, final Label label) {
    switch (opcode) {
    case Opcodes.IFEQ:
        ifeq(label);
        break;
    case Opcodes.IFNE:
        ifne(label);
        break;
    case Opcodes.IFLT:
        iflt(label);
        break;
    case Opcodes.IFGE:
        ifge(label);
        break;
    case Opcodes.IFGT:
        ifgt(label);
        break;
    case Opcodes.IFLE:
        ifle(label);
        break;
    case Opcodes.IF_ICMPEQ:
        ificmpeq(label);
        break;
    case Opcodes.IF_ICMPNE:
        ificmpne(label);
        break;
    case Opcodes.IF_ICMPLT:
        ificmplt(label);
        break;
    case Opcodes.IF_ICMPGE:
        ificmpge(label);
        break;
    case Opcodes.IF_ICMPGT:
        ificmpgt(label);
        break;
    case Opcodes.IF_ICMPLE:
        ificmple(label);
        break;
    case Opcodes.IF_ACMPEQ:
        ifacmpeq(label);
        break;
    case Opcodes.IF_ACMPNE:
        ifacmpne(label);
        break;
    case Opcodes.GOTO:
        goTo(label);
        break;
    case Opcodes.JSR:
        jsr(label);
        break;
    case Opcodes.IFNULL:
        ifnull(label);
        break;
    case Opcodes.IFNONNULL:
        ifnonnull(label);
        break;
    default:
        throw new IllegalArgumentException();
    }
}