return UNCHANGED;
return DefUseEffect.UNCHANGED;
  private static byte doubleCmpg(OPT_Instruction s) {   if (CF_INT) {      OPT_Operand op2 = Binary.getVal2(s);      if (op2.isDoubleConstant()) {        OPT_Operand op1 = Binary.getVal1(s);        if (op1.isDoubleConstant()) {          // BOTH CONSTANTS: FOLD          double val1 = op1.asDoubleConstant().value;          double val2 = op2.asDoubleConstant().value;          int result = (val1 < val2) ? -1 : ((val1 == val2) ? 0 : 1);          Move.mutate(s, INT_MOVE, Binary.getClearResult(s), IC(result));          return MOVE_FOLDED;        }      }    }    return UNCHANGED;  }