6263646566676869707172
} ArgType resType = insn.getResult().getType(); // make sure arg has correct type if (!arg.getType().isTypeKnown()) { arg.merge(resType); } return replaceConst(mth, sVar, lit); } /**
152153154155156157158159160161162
InsnArg arg0 = insn.getArg(0); InsnArg arg1 = insn.getArg(1); if (arg0 == litArg) { arg0.merge(arg1); } else { arg1.merge(arg0); } break; } case CMP_G: case CMP_L:
163164165166167168169170171172173
InsnArg arg0 = insn.getArg(0); InsnArg arg1 = insn.getArg(1); if (arg0 == litArg) { arg0.merge(arg1); } else { arg1.merge(arg0); } break; case RETURN: if (insn.getArgsCount() != 0) {
187188189190191192193194195196197
if (k >= 0) { type = types.get(k); } else { type = mth.getParentClass().getClassInfo().getType(); } arg.merge(type); } k++; } break;