OPT_RegisterOperand A = Binary.getVal1(s).asRegister();
  private static OPT_Instruction 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 = getIntValue(Binary.getVal2(s));    if (s.operator == INT_SUB) c = -c;    // A = B + d    OPT_RegisterOperand B = Binary.getVal1(def).asRegister();    int d = getIntValue(Binary.getVal2(def));    if (def.operator == INT_SUB) d = -d;    // rewrite so y = B + (c+d)     OPT_IntConstantOperand val2 = new OPT_IntConstantOperand(c+d);    return Binary.create(INT_ADD,y.copyRO(),B.copy(),val2);  }