Collect type feedback for fields.

runtime/vm/il_printer.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/il_printer.h"
 
 #include "vm/intermediate_language.h"
 #include "vm/os.h"
 #include "vm/parser.h"
 
@@ skipping 378 matching lines @@
   value()->PrintTo(f);
   f->Print(", lvl: %"Pd"", context_level());
 }
 
 
 void NativeCallInstr::PrintOperandsTo(BufferFormatter* f) const {
   f->Print("%s", native_name().ToCString());
 }
 
 
+void GuardFieldInstr::PrintOperandsTo(BufferFormatter* f) const {
+  const char* expected = "?";
+  if (field().guarded_cid() != kIllegalCid) {
+    const Class& cls = Class::Handle(
+            Isolate::Current()->class_table()->At(field().guarded_cid()));
+    expected = String::Handle(cls.Name()).ToCString();
+  }
+
+  f->Print("%s [%s %s], ",
+           String::Handle(field().name()).ToCString(),
+           field().is_nullable() ? "nullable" : "non-nullable",
+           expected);
+  value()->PrintTo(f);
+}
+
+
 void StoreInstanceFieldInstr::PrintOperandsTo(BufferFormatter* f) const {
   f->Print("%s {%"Pd"}, ",
            String::Handle(field().name()).ToCString(),
            field().Offset());
   instance()->PrintTo(f);
   f->Print(", ");
   value()->PrintTo(f);
 }
 
 
@@ skipping 66 matching lines @@
   f->Print("%s", function().ToCString());
   for (intptr_t i = 0; i < ArgumentCount(); ++i) {
     if (i > 0) f->Print(", ");
     PushArgumentAt(i)->value()->PrintTo(f);
   }
 }
 
 
 void LoadFieldInstr::PrintOperandsTo(BufferFormatter* f) const {
   value()->PrintTo(f);
-  f->Print(", %"Pd", immutable=%d", offset_in_bytes(), immutable_);
+  f->Print(", %"Pd, offset_in_bytes());
+
+  if (field_name_ != NULL) {
+    f->Print(" {%s}", field_name_);
+  }
+
+  if (field() != NULL) {
+    const char* expected = "?";
+    if (field()->guarded_cid() != kIllegalCid) {
+      const Class& cls = Class::Handle(
+            Isolate::Current()->class_table()->At(field()->guarded_cid()));
+      expected = String::Handle(cls.Name()).ToCString();
+    }
+
+    f->Print(" [%s %s]",
+             field()->is_nullable() ? "nullable" : "non-nullable",
+             expected);
+  }
+
+  f->Print(", immutable=%d", immutable_);
 }
 
 
 void StoreVMFieldInstr::PrintOperandsTo(BufferFormatter* f) const {
   dest()->PrintTo(f);
   f->Print(", %"Pd", ", offset_in_bytes());
   value()->PrintTo(f);
 }
 
 
@@ skipping 71 matching lines @@
 
 void UnarySmiOpInstr::PrintOperandsTo(BufferFormatter* f) const {
   f->Print("%s, ", Token::Str(op_kind()));
   value()->PrintTo(f);
 }
 
 
 void CheckClassInstr::PrintOperandsTo(BufferFormatter* f) const {
   value()->PrintTo(f);
   PrintICData(f, unary_checks());
+  if (null_check()) {
+    f->Print(" nullcheck");
+  }
 }
 
 
 void InvokeMathCFunctionInstr::PrintOperandsTo(BufferFormatter* f) const {
   f->Print("%s, ", MethodRecognizer::KindToCString(recognized_kind_));
   Definition::PrintOperandsTo(f);
 }
 
 
 void GraphEntryInstr::PrintTo(BufferFormatter* f) const {
@@ skipping 126 matching lines @@
       f->Print(" [");
       locations_[i].PrintTo(f);
       f->Print("]");
     }
   }
   f->Print(" }");
   if (outer_ != NULL) outer_->PrintTo(f);
 }
 
 }  // namespace dart