[turbofan] OSR loops assign all local variables.

src/compiler/ast-loop-assignment-analyzer.cc

 // Copyright 2014 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/compiler/ast-loop-assignment-analyzer.h"
 #include "src/parser.h"
 
 namespace v8 {
 namespace internal {
 namespace compiler {
@@ skipping 12 matching lines @@
   VisitStatements(info()->function()->body());
   result_ = NULL;
   return a;
 }
 
 
 void ALAA::Enter(IterationStatement* loop) {
   int num_variables = 1 + info()->scope()->num_parameters() +
                       info()->scope()->num_stack_slots();
   BitVector* bits = new (zone()) BitVector(num_variables, zone());
+  if (info()->is_osr() && info()->osr_ast_id() == loop->OsrEntryId())

[Michael Starzinger, 2015/02/06 14:59:32]

Sigh ... :/

+    bits->AddAll();
   loop_stack_.push_back(bits);
 }
 
 
 void ALAA::Exit(IterationStatement* loop) {
   DCHECK(loop_stack_.size() > 0);
   BitVector* bits = loop_stack_.back();
   loop_stack_.pop_back();
   if (!loop_stack_.empty()) {
     loop_stack_.back()->Union(*bits);
@@ skipping 253 matching lines @@
   int count = 0;
   int var_index = AstLoopAssignmentAnalyzer::GetVariableIndex(scope, var);
   for (size_t i = 0; i < list_.size(); i++) {
     if (list_[i].second->Contains(var_index)) count++;
   }
   return count;
 }
 }
 }
 }  // namespace v8::internal::compiler