Added type propagation from store to load locals, but only within a sequence node (not across bas...

vm/scopes.cc

 // Copyright (c) 2011, 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/scopes.h"
 
 #include "vm/ast.h"
 #include "vm/object.h"
 
 namespace dart {
@@ skipping 392 matching lines @@
   context_scope.SetNameAt(0, name);
   context_scope.SetIsFinalAt(0, true);
   const AbstractType& type = AbstractType::Handle(func.ParameterTypeAt(0));
   context_scope.SetTypeAt(0, type);
   context_scope.SetContextIndexAt(0, 0);
   context_scope.SetContextLevelAt(0, 0);
   ASSERT(context_scope.num_variables() == kNumCapturedVars);  // Verify count.
   return context_scope.raw();
 }
 
+
+bool LocalVariable::Equals(const LocalVariable& other) const {
+  if (HasIndex() && other.HasIndex() && (index() == other.index())) {
+    if (is_captured() == other.is_captured()) {
+      if (!is_captured()) {
+        return true;
+      }
+      if (owner()->context_level() == other.owner()->context_level()) {
+        return true;
+      }
+    }
+  }
+  return false;
+}
+
 }  // namespace dart