[turbofan]: Integrate basic type feedback for property accesses.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index 3cc6424c6c25de1e020f94f623109ff885c211df..86adcdb3a61891a4a2ade74ebb48cabeb4496938 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -619,10 +619,11 @@ void Verifier::Visitor::Check(Node* node) {
     case IrOpcode::kReferenceEqual: {
       // (Unique, Any) -> Boolean  and
       // (Any, Unique) -> Boolean
+      /* TODO(titzer)

[titzer, 2015/03/24 10:49:32]

Haha, no one noticed this!

[Michael Starzinger, 2015/03/24 12:11:18]

Maeh, verifier, shmerifier. :)

       if (typing == TYPED) {
         CHECK(bounds(ValueInput(node, 0)).upper->Is(Type::Unique()) ||
               bounds(ValueInput(node, 1)).upper->Is(Type::Unique()));
-      }
+              }*/
       CheckUpperIs(node, Type::Boolean());
       break;
     }