Improve our type feedback by recogizining never-executed IC calls for binary ...

src/type-info.cc

Index: src/type-info.cc
===================================================================
--- src/type-info.cc	(revision 5966)
+++ src/type-info.cc	(working copy)
@@ -142,6 +142,8 @@
   CompareIC::State state = static_cast<CompareIC::State>(code->compare_state());
   switch (state) {
     case CompareIC::UNINITIALIZED:
+       // Uninitialized state means never executed.
+      return unknown;
     case CompareIC::SMIS:
       return TypeInfo::Smi();
     case CompareIC::HEAP_NUMBERS:
@@ -184,6 +186,8 @@
 
     switch (type) {
       case TRBinaryOpIC::UNINITIALIZED:
+        // Uninitialized state means never executed.
+        return unknown;
       case TRBinaryOpIC::SMI:
         switch (result_type) {
           case TRBinaryOpIC::UNINITIALIZED:
@@ -224,6 +228,8 @@
   CompareIC::State state = static_cast<CompareIC::State>(code->compare_state());
   switch (state) {
     case CompareIC::UNINITIALIZED:
+      // Uninitialized state means never executed.
+      return unknown;
     case CompareIC::SMIS:
       return TypeInfo::Smi();
     case CompareIC::HEAP_NUMBERS: