return UNCHANGED;
return DefUseEffect.UNCHANGED;
  private static byte double2Float(OPT_Instruction s) {   if (CF_FLOAT) {      OPT_Operand op = Unary.getVal(s);      if (op.isDoubleConstant()) {        // CONSTANT: FOLD        double val = op.asDoubleConstant().value;        Move.mutate(s, FLOAT_MOVE, Unary.getClearResult(s), FC((float)val));        return MOVE_FOLDED;      }    }    return UNCHANGED;  }