Collect type feedback for fields.

runtime/vm/code_generator.cc

Index: runtime/vm/code_generator.cc
diff --git a/runtime/vm/code_generator.cc b/runtime/vm/code_generator.cc
index b1f11df6a68f805e53a64c67ffdb625ada54e2ea..e097ead65fa78fb3301f07331fb48e9ea3ac8ab9 100644
--- a/runtime/vm/code_generator.cc
+++ b/runtime/vm/code_generator.cc
@@ -1380,7 +1380,7 @@ DEOPT_REASONS(DEOPT_REASON_ID_TO_TEXT)
 }
 
 
-static void DeoptimizeAt(const Code& optimized_code, uword pc) {
+void DeoptimizeAt(const Code& optimized_code, uword pc) {

[srdjan, 2013/03/18 18:54:35]

ASSERT optimized code is optimized code?

[Vyacheslav Egorov (Google), 2013/03/18 19:41:18]

Done.

   intptr_t deopt_reason = kDeoptUnknown;
   const DeoptInfo& deopt_info =
       DeoptInfo::Handle(optimized_code.GetDeoptInfoAtPc(pc, &deopt_reason));
@@ -1733,4 +1733,17 @@ double DartModulo(double left, double right) {
   return remainder;
 }
 
+
+// Update global type feedback recorded for a field recording the assignment
+// of the given value.
+//   Arg0: Field object;
+//   Arg1: Value that is being stored.
+DEFINE_RUNTIME_ENTRY(UpdateFieldCid, 2) {
+  ASSERT(arguments.ArgCount() == kUpdateFieldCidRuntimeEntry.argument_count());
+  const Field& field = Field::CheckedHandle(arguments.ArgAt(0));
+  const Object& value_cid = Object::Handle(arguments.ArgAt(1));

[srdjan, 2013/03/18 18:54:35]

s/value_cid/value/ ?

[Vyacheslav Egorov (Google), 2013/03/18 19:41:18]

Done.

+
+  field.UpdateCid(Class::Handle(value_cid.clazz()).id());
+}
+
 }  // namespace dart