Enable redundancy elimination for array loads.

runtime/vm/flow_graph_optimizer.h

 // 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.
 
 #ifndef VM_FLOW_GRAPH_OPTIMIZER_H_
 #define VM_FLOW_GRAPH_OPTIMIZER_H_
 
 #include "vm/intermediate_language.h"
 #include "vm/flow_graph.h"
 
@@ skipping 137 matching lines @@
                                          BlockEntryInstr* header,
                                          BlockEntryInstr* pre_header,
                                          CheckSmiInstr* current);
 };
 
 
 // A simple common subexpression elimination based
 // on the dominator tree.
 class DominatorBasedCSE : public AllStatic {
  public:
-  static void Optimize(FlowGraph* graph);
+  static bool Optimize(FlowGraph* graph);

[srdjan, 2012/10/19 14:45:50]

Describe in comment what result true/false means

[Florian Schneider, 2012/10/22 10:31:55]

Done.

 
  private:
-  static void OptimizeRecursive(
+  static bool OptimizeRecursive(
       BlockEntryInstr* entry,
       DirectChainedHashMap<Instruction*>* map);
 };
 
 
 // Sparse conditional constant propagation and unreachable code elimination.
 // Assumes that use lists are computed and preserves them.
 class ConstantPropagator : public FlowGraphVisitor {
  public:
   ConstantPropagator(FlowGraph* graph,
@@ skipping 48 matching lines @@
 
   // Worklists of blocks and definitions.
   GrowableArray<BlockEntryInstr*> block_worklist_;
   GrowableArray<Definition*> definition_worklist_;
 };
 
 
 }  // namespace dart
 
 #endif  // VM_FLOW_GRAPH_OPTIMIZER_H_