Add FloatRegister names to RegisterConfiguration.

src/register-configuration.h

Index: src/register-configuration.h
diff --git a/src/register-configuration.h b/src/register-configuration.h
index c07106ee1a2233a14ad33146d1a7b854b02c440a..4e304b6a9ca6a37e6498457d3c6e5395fa132ec5 100644
--- a/src/register-configuration.h
+++ b/src/register-configuration.h
@@ -34,6 +34,7 @@ class RegisterConfiguration {
                         const int* allocatable_general_codes,
                         const int* allocatable_double_codes,
                         char const* const* general_names,
+                        char const* const* float_names,
                         char const* const* double_names);
 
   int num_general_registers() const { return num_general_registers_; }
@@ -65,6 +66,9 @@ class RegisterConfiguration {
   const char* GetGeneralRegisterName(int code) const {
     return general_register_names_[code];
   }
+  const char* GetFloatRegisterName(int code) const {
+    return float_register_names_[code];
+  }
   const char* GetDoubleRegisterName(int code) const {
     return double_register_names_[code];
   }
@@ -86,6 +90,7 @@ class RegisterConfiguration {
   const int* allocatable_general_codes_;
   const int* allocatable_double_codes_;
   char const* const* general_register_names_;
+  char const* const* float_register_names_;
   char const* const* double_register_names_;
 };