Config double register number as 1 for X87 Turbofan.

src/ppc/assembler-ppc.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 300 matching lines @@
       kAllocatableHighRangeEnd - kAllocatableHighRangeBegin + 1;
   static const int kMaxNumAllocatableRegisters =
       kNumAllocatableLow + kNumAllocatableHigh;
   static int NumAllocatableRegisters() { return kMaxNumAllocatableRegisters; }
 
   // TODO(turbofan)
   inline static int NumAllocatableAliasedRegisters() {
     return NumAllocatableRegisters();
   }
 
+  static int NumAllocatableRegistersForTurbo() {
+    return kMaxNumAllocatableRegisters;
+  }
+
+  static int NumAllocatableAliasedRegistersForTurbo() {
+    return NumAllocatableAliasedRegisters();
+  }
+
   static int ToAllocationIndex(DoubleRegister reg) {
     int code = reg.code();
     int index = (code <= kAllocatableLowRangeEnd)
                     ? code - kAllocatableLowRangeBegin
                     : code - kAllocatableHighRangeBegin + kNumAllocatableLow;
     DCHECK(index < kMaxNumAllocatableRegisters);
     return index;
   }
 
   static DoubleRegister FromAllocationIndex(int index) {
@@ skipping 1203 matching lines @@
 
 
 class EnsureSpace BASE_EMBEDDED {
  public:
   explicit EnsureSpace(Assembler* assembler) { assembler->CheckBuffer(); }
 };
 }
 }  // namespace v8::internal
 
 #endif  // V8_PPC_ASSEMBLER_PPC_H_