ARM: Make use of d16-d31 when available.

src/platform-linux.cc

Index: src/platform-linux.cc
diff --git a/src/platform-linux.cc b/src/platform-linux.cc
index ce45babdf042265b5448bcd345ae9cb35c85810b..7d87326767bcaccda2e822aea95ff3c0dcc332ac 100644
--- a/src/platform-linux.cc
+++ b/src/platform-linux.cc
@@ -156,10 +156,17 @@ bool OS::ArmCpuHasFeature(CpuFeature feature) {
     case SUDIV:
       search_string = "idiva";
       break;
+    case VFP32DREGS:
+      // This case is handled specially below.
+      break;
     default:
       UNREACHABLE();
   }
 
+  if (feature == VFP32DREGS) {
+    return ArmCpuHasFeature(ARMv3) && !CPUInfoContainsString("d16");

[Rodolph Perfetta, 2012/12/17 15:37:21]

Typo: ARMv3 -> VFP3

[hans, 2012/12/17 15:49:15]

Mondays.. Thanks for catching this :)

+  }
+
   if (CPUInfoContainsString(search_string)) {
     return true;
   }