First step to SSA construction: Phi insertion.

vm/scopes.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/scopes.h"
 
 #include "vm/ast.h"
 #include "vm/bit_vector.h"
 #include "vm/object.h"
 #include "vm/parser.h"
@@ skipping 462 matching lines @@
       }
       if (owner()->context_level() == other.owner()->context_level()) {
         return true;
       }
     }
   }
   return false;
 }
 
 
-// Map the frame index into an index in the range 0..(vector->length()-1).
-int LocalVariable::BitIndexIn(BitVector* vector) const {
+// Map the frame index into an index in the range 0..(var_count-1).
+int LocalVariable::BitIndexIn(intptr_t var_count) const {
   ASSERT(!is_captured());
   // Parameters have positive indexes with the lowest index being 2.  Locals
   // and copied parameters have negative indexes with the lowest (closest to
   // zero) index being ParsedFunction::kFirstLocalSlotIndex.
   if (index() > 0) {
     // Shift non-negative indexes so that the lowest one is 0.
     return index() - 2;
   } else {
     // Shift negative indexes so that the lowest one is 0 (they are still
     // non-positive) and index them backward from the end of the vector.
-    return (vector->length() - 1) +
+    return (var_count - 1) +
         (index() - ParsedFunction::kFirstLocalSlotIndex);
   }
 }
 
 
 }  // namespace dart