Optimize StoreIndexedComp on ia32&x64.

runtime/vm/flow_graph_optimizer.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/flow_graph_optimizer.h"
 
 #include "vm/flow_graph_builder.h"
 #include "vm/il_printer.h"
 #include "vm/object_store.h"
 
@@ skipping 312 matching lines @@
 
 
 void FlowGraphOptimizer::VisitInstanceSetter(InstanceSetterComp* comp) {
   // TODO(srdjan): Add assigneable check node if --enable_type_checks.
   if (comp->HasICData() && !FLAG_enable_type_checks) {
     TryInlineInstanceSetter(comp);
   }
 }
 
 
-void FlowGraphOptimizer::VisitLoadIndexed(LoadIndexedComp* comp) {
-  if (!comp->HasICData()) return;
+enum IndexedAccessType {
+  kIndexedLoad,
+  kIndexedStore
+};
+
+
+static intptr_t ReceiverClassId(Computation* comp) {
+  if (!comp->HasICData()) return kIllegalObjectKind;
 
   const ICData& ic_data = *comp->ic_data();
-  if (ic_data.NumberOfChecks() == 0) return;
+
+  if (ic_data.NumberOfChecks() == 0) return kIllegalObjectKind;
   // TODO(vegorov): Add multiple receiver type support.
-  if (ic_data.NumberOfChecks() != 1) return;
+  if (ic_data.NumberOfChecks() != 1) return kIllegalObjectKind;
   ASSERT(HasOneTarget(ic_data));
 
   Function& target = Function::Handle();
   Class& cls = Class::Handle();
   ic_data.GetOneClassCheckAt(0, &cls, &target);
 
-  switch (cls.id()) {
+  return cls.id();
+}
+
+
+void FlowGraphOptimizer::VisitLoadIndexed(LoadIndexedComp* comp) {
+  const intptr_t class_id = ReceiverClassId(comp);
+  switch (class_id) {
     case kArray:
     case kImmutableArray:
     case kGrowableObjectArray:
-      comp->set_receiver_type(static_cast<ObjectKind>(cls.id()));
+      comp->set_receiver_type(static_cast<ObjectKind>(class_id));
   }
 }
 
+
+void FlowGraphOptimizer::VisitStoreIndexed(StoreIndexedComp* comp) {
+  if (FLAG_enable_type_checks) return;
+
+  const intptr_t class_id = ReceiverClassId(comp);
+  switch (class_id) {
+    case kArray:
+    case kGrowableObjectArray:
+      comp->set_receiver_type(static_cast<ObjectKind>(class_id));
+  }
+}
+
 
 void FlowGraphOptimizer::VisitRelationalOp(RelationalOpComp* comp) {
   if (!comp->HasICData()) return;
 
   const ICData& ic_data = *comp->ic_data();
   if (ic_data.NumberOfChecks() == 0) return;
   // TODO(srdjan): Add multiple receiver type support.
   if (ic_data.NumberOfChecks() != 1) return;
   ASSERT(HasOneTarget(ic_data));
 
   if (HasTwoSmi(ic_data)) {
     comp->set_operands_class_id(kSmi);
   } else if (HasTwoDouble(ic_data)) {
     comp->set_operands_class_id(kDouble);
   }
 }
 
 
 void FlowGraphOptimizer::VisitDo(DoInstr* instr) {
   instr->computation()->Accept(this);
 }
 
 
 void FlowGraphOptimizer::VisitBind(BindInstr* instr) {
   instr->computation()->Accept(this);
 }
 
 
 }  // namespace dart