- Move length getter and setter interceptors to the new interceptor scheme.

sdk/lib/_internal/compiler/implementation/ssa/types_propagation.dart

 // 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.
 
 part of ssa;
 
 class SsaTypePropagator extends HGraphVisitor implements OptimizationPhase {
 
   final Map<int, HInstruction> workmap;
   final List<int> worklist;
@@ skipping 50 matching lines @@
   }
 
   void visitGraph(HGraph graph) {
     visitDominatorTree(graph);
     processWorklist();
   }
 
   visitBasicBlock(HBasicBlock block) {
     if (block.isLoopHeader()) {
       block.forEachPhi((HPhi phi) {
-        HType propagatedType = types[phi];
-        // Once the propagation has run once, the propagated type can already
-        // be set. In this case we use that one for the first iteration of the
-        // loop.
-        if (propagatedType.isUnknown()) {
-          // Set the initial type for the phi. In theory we would need to mark
-          // the type of all other incoming edges as "unitialized" and take this
-          // into account when doing the propagation inside the phis. Just
-          // setting the propagated type is however easier.
-          types[phi] = types[phi.inputs[0]];
-        }
+        // Set the initial type for the phi. We're not using the type
+        // the phi thinks it has because new optimizations may imply
+        // changing it.
+        // In theory we would need to mark
+        // the type of all other incoming edges as "unitialized" and take this
+        // into account when doing the propagation inside the phis. Just
+        // setting the propagated type is however easier.
+        types[phi] = types[phi.inputs[0]];
         addToWorkList(phi);
       });
     } else {
       block.forEachPhi((HPhi phi) {
         if (updateType(phi)) {
           addDependentInstructionsToWorkList(phi);
         }
       });
     }
 
@@ skipping 111 matching lines @@
     // TODO(ngeoffray): Allow speculative optimizations on
     // non-primitive types?
     if (!desiredType.isPrimitive()) return newType;
     return newType.intersection(desiredType, compiler);
   }
 
   // Do not use speculative argument type optimization for now.
   void considerForArgumentTypeOptimization(HInstruction instruction) { }
 
 }