Config double register number as 1 for X87 Turbofan.

src/arm/assembler-arm.h

 // Copyright (c) 1994-2006 Sun Microsystems Inc.
 // All Rights Reserved.
 //
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions
 // are met:
 //
 // - Redistributions of source code must retain the above copyright notice,
 // this list of conditions and the following disclaimer.
 //
@@ skipping 205 matching lines @@
   // registers.
   inline static int NumRegisters();
   inline static int NumReservedRegisters();
   inline static int NumAllocatableRegisters();
 
   // TODO(turbofan): This is a temporary work-around required because our
   // register allocator does not yet support the aliasing of single/double
   // registers on ARM.
   inline static int NumAllocatableAliasedRegisters();
 
+  static int NumAllocatableRegistersForTurbo() {
+    return kMaxNumAllocatableRegisters;
+  }
+
+  static int NumAllocatableAliasedRegistersForTurbo() {
+    return NumAllocatableAliasedRegisters();
+  }
+
   inline static int ToAllocationIndex(DwVfpRegister reg);
   static const char* AllocationIndexToString(int index);
   inline static DwVfpRegister FromAllocationIndex(int index);
 
   static DwVfpRegister from_code(int code) {
     DwVfpRegister r = { code };
     return r;
   }
 
   bool is_valid() const {
@@ skipping 1424 matching lines @@
  public:
   explicit EnsureSpace(Assembler* assembler) {
     assembler->CheckBuffer();
   }
 };
 
 
 } }  // namespace v8::internal
 
 #endif  // V8_ARM_ASSEMBLER_ARM_H_