private static byte float2Double(OPT_Instruction s) {
private static DefUseEffect float2Double(OPT_Instruction s) {
  private static byte float2Double(OPT_Instruction s) {    if (CF_DOUBLE) {      OPT_Operand op = Unary.getVal(s);      if (op.isFloatConstant()) {        // CONSTANT: FOLD        float val = op.asFloatConstant().value;        Move.mutate(s, DOUBLE_MOVE, Unary.getClearResult(s),                     DC((double)val));        return MOVE_FOLDED;      }    }    return UNCHANGED;  }