Collect type feedback for fields.

runtime/vm/flow_graph_compiler_ia32.cc

 // Copyright (c) 2013, 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/globals.h"  // Needed here to get TARGET_ARCH_IA32.
 #if defined(TARGET_ARCH_IA32)
 
 #include "vm/flow_graph_compiler.h"
 
 #include "lib/error.h"
@@ skipping 613 matching lines @@
 
 
 void FlowGraphCompiler::EmitInstructionPrologue(Instruction* instr) {
   if (!is_optimizing()) {
     if (FLAG_enable_type_checks && instr->IsAssertAssignable()) {
       AssertAssignableInstr* assert = instr->AsAssertAssignable();
       AddCurrentDescriptor(PcDescriptors::kDeoptBefore,
                            assert->deopt_id(),
                            assert->token_pos());
     }
+    if (instr->IsStoreInstanceField()) {

[Kevin Millikin (Google), 2013/03/12 12:14:56]

else if

[Vyacheslav Egorov (Google), 2013/03/12 16:54:40]

Done.

+      StoreInstanceFieldInstr* store = instr->AsStoreInstanceField();
+      AddCurrentDescriptor(PcDescriptors::kDeoptBefore,
+                           store->deopt_id(),
+                           Scanner::kDummyTokenIndex);
+    }
     AllocateRegistersLocally(instr);
   }
 }
 
 
 void FlowGraphCompiler::EmitInstructionEpilogue(Instruction* instr) {
   if (is_optimizing()) return;
   Definition* defn = instr->AsDefinition();
   if ((defn != NULL) && defn->is_used()) {
     __ pushl(defn->locs()->out().reg());
@@ skipping 1077 matching lines @@
   __ popl(ECX);
   __ popl(EAX);
 }
 
 
 #undef __
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_IA32