OPT_RegisterOperand A = Binary.getVal1(s).asRegister();
  private static OPT_Instruction transformForWord(OPT_Instruction s,                                                   OPT_Instruction def) {    // s is y = A + c    OPT_RegisterOperand y = Binary.getResult(s);    OPT_RegisterOperand A = Binary.getVal1(s).asRegister();    // A = B + d    OPT_RegisterOperand B = Binary.getVal1(def).asRegister();    // rewrite so y = B + (c+d)      OPT_AddressConstantOperand val2 = addConstantValues(s.operator == REF_SUB, Binary.getVal2(s), def.operator == REF_SUB, Binary.getVal2(def));     return Binary.create(REF_ADD,y.copyRO(),B.copy(),val2);  }