AllocateDoubleRegisters 1074 src/lithium-allocator.cc   AllocateDoubleRegisters();
AllocateDoubleRegisters  487 src/lithium-allocator.h   void AllocateDoubleRegisters();