726       __ verify_oop(src->as_register());

   726       __ verify_oop(src->as_register());

   727     }

   727     }

   728     move_regs(src->as_register(), dest->as_register());

   728     move_regs(src->as_register(), dest->as_register());

   729 

   729 

   730   } else if (dest->is_double_cpu()) {

   730   } else if (dest->is_double_cpu()) {

   732       // Surprising to me but we can see move of a long to t_object

   732       // Surprising to me but we can see move of a long to t_object

   733       __ verify_oop(src->as_register());

   733       __ verify_oop(src->as_register());

   734       move_regs(src->as_register(), dest->as_register_lo());

   734       move_regs(src->as_register(), dest->as_register_lo());

   735       return;

   735       return;

   736     }

   736     }