Support verified heap pointer writes on ia32.

runtime/vm/flow_graph_compiler_ia32.cc

Index: runtime/vm/flow_graph_compiler_ia32.cc
===================================================================
--- runtime/vm/flow_graph_compiler_ia32.cc	(revision 41609)
+++ runtime/vm/flow_graph_compiler_ia32.cc	(working copy)
@@ -21,6 +21,7 @@
 #include "vm/stack_frame.h"
 #include "vm/stub_code.h"
 #include "vm/symbols.h"
+#include "vm/verified_memory.h"
 
 namespace dart {
 
@@ -1234,10 +1235,15 @@
 #endif  // DEBUG
   __ IncrementSmiField(FieldAddress(EAX, Array::element_offset(0)), 1);
   DEBUG_ASSERT((assembler_->CodeSize() - increment_start) ==
-               CodePatcher::EdgeCounterIncrementSizeInBytes());
+               EdgeCounterIncrementSizeInBytes());
 }
 
 
+int32_t FlowGraphCompiler::EdgeCounterIncrementSizeInBytes() {
+  return VerifiedMemory::enabled() ? 16 : 4;
+}
+
+
 void FlowGraphCompiler::EmitOptimizedInstanceCall(
     ExternalLabel* target_label,
     const ICData& ic_data,