(op1.JTOCindex == op2.JTOCindex) &&
(op1.JTOCoffset.EQ(op2.JTOCoffset)) &&
  public static boolean mayBeAliased(OPT_LocationOperand op1,                                      OPT_LocationOperand op2) {    if (op1 == null || op2 == null) return true;        // be conservative    if (op1.type != op2.type) return false;    if (op1.fieldRef != null) {      return !op1.fieldRef.definitelyDifferent(op2.fieldRef);    } else {      return arrayMayBeAliased(op1.arrayElementType, op2.arrayElementType) &&        (op1.JTOCindex == op2.JTOCindex) &&        (op1.spillOffset == op2.spillOffset);    }  }