Binary.mutate(s,INT_ADD,y,B.copy(),val2);
return Binary.create(INT_ADD,y,B.copy(),val2);
  private static void transformForInt(OPT_Instruction s, OPT_Instruction def) {    // s is y = A + c    OPT_RegisterOperand y = Binary.getResult(s);    OPT_RegisterOperand A = Binary.getVal1(s).asRegister();    int c = Binary.getVal2(s).asIntConstant().value;    if (s.operator == INT_SUB) c = -c;    // A = B + d    OPT_RegisterOperand B = Binary.getVal1(def).asRegister();    int d = Binary.getVal2(def).asIntConstant().value;    if (def.operator == INT_SUB) d = -d;    // rewrite so y = B + (c+d)      OPT_IntConstantOperand val2 = new OPT_IntConstantOperand(c+d);    Binary.mutate(s,INT_ADD,y,B.copy(),val2);  }