Rename ClosureVariable, use separate IR forms for declaration and assignment.

pkg/compiler/lib/src/cps_ir/cps_ir_tracer.dart

 // Copyright (c) 2014, 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.
 
 library dart2js.ir_tracer;
 
 import 'dart:async' show EventSink;
 
 import 'cps_ir_nodes.dart' as cps_ir hide Function;
 import '../tracer.dart';
@@ skipping 102 matching lines @@
     if (IR_TRACE_LET_CONT) {
       String dummy = names.name(node);
       for (cps_ir.Continuation continuation in node.continuations) {
         String id = names.name(continuation);
         printStmt(dummy, "LetCont $id = <$id>");
       }
     }
     visit(node.body);
   }
 
+  visitLetMutable(cps_ir.LetMutable node) {
+    String id = names.name(node.variable);
+    printStmt(id, "${node.runtimeType} $id = ${formatReference(node.value)}");
+    visit(node.body);
+  }
+
   visitInvokeStatic(cps_ir.InvokeStatic node) {
     String dummy = names.name(node);
     String callName = node.selector.name;
     String args = node.arguments.map(formatReference).join(', ');
     String kont = formatReference(node.continuation);
     printStmt(dummy, "InvokeStatic $callName ($args) $kont");
   }
 
   visitInvokeMethod(cps_ir.InvokeMethod node) {
     String dummy = names.name(node);
@@ skipping 68 matching lines @@
   }
 
   visitBranch(cps_ir.Branch node) {
     String dummy = names.name(node);
     String condition = visit(node.condition);
     String trueCont = formatReference(node.trueContinuation);
     String falseCont = formatReference(node.falseContinuation);
     printStmt(dummy, "Branch $condition ($trueCont, $falseCont)");
   }
 
-  visitSetClosureVariable(cps_ir.SetClosureVariable node) {
+  visitSetMutableVariable(cps_ir.SetMutableVariable node) {
     String dummy = names.name(node);
     String variable = names.name(node.variable.definition);
     String value = formatReference(node.value);
-    printStmt(dummy, 'SetClosureVariable $variable = $value');
+    printStmt(dummy, '${node.runtimeType} $variable := $value');
     visit(node.body);
   }
 
   visitDeclareFunction(cps_ir.DeclareFunction node) {
     String dummy = names.name(node);
-    String variable = names.name(node.variable.definition);
+    String variable = names.name(node.variable);
     printStmt(dummy, 'DeclareFunction $variable');
     visit(node.body);
   }
 
   String formatReference(cps_ir.Reference ref) {
     cps_ir.Definition target = ref.definition;
     if (target is cps_ir.Continuation && target.isReturnContinuation) {
       return "return"; // Do not generate a name for the return continuation
     } else {
       return names.name(ref.definition);
     }
   }
 
   String formatPrimitive(cps_ir.Primitive p) => visit(p);
 
   visitConstant(cps_ir.Constant node) {
     return "Constant ${node.expression.value.toStructuredString()}";
   }
 
   visitParameter(cps_ir.Parameter node) {
     return "Parameter ${names.name(node)}";
   }
 
-  visitClosureVariable(cps_ir.ClosureVariable node) {
-    return "ClosureVariable ${names.name(node)}";
+  visitMutableVariable(cps_ir.MutableVariable node) {
+    return "${node.runtimeType} ${names.name(node)}";
   }
 
   visitContinuation(cps_ir.Continuation node) {
     return "Continuation ${names.name(node)}";
   }
 
   visitIsTrue(cps_ir.IsTrue node) {
     return "IsTrue(${names.name(node.value.definition)})";
   }
 
@@ skipping 37 matching lines @@
   }
 
   visitReifyTypeVar(cps_ir.ReifyTypeVar node) {
     return "ReifyTypeVar ${node.typeVariable.name}";
   }
 
   visitCreateFunction(cps_ir.CreateFunction node) {
     return "CreateFunction ${node.definition.element.name}";
   }
 
-  visitGetClosureVariable(cps_ir.GetClosureVariable node) {
+  visitGetMutableVariable(cps_ir.GetMutableVariable node) {
     String variable = names.name(node.variable.definition);
-    return 'GetClosureVariable $variable';
+    return '${node.runtimeType} $variable';
   }
 
   visitRunnableBody(cps_ir.RunnableBody node) {}
   visitFieldInitializer(cps_ir.FieldInitializer node) {}
   visitSuperInitializer(cps_ir.SuperInitializer node) {}
   visitCondition(cps_ir.Condition c) {}
   visitExpression(cps_ir.Expression e) {}
   visitPrimitive(cps_ir.Primitive p) {}
   visitDefinition(cps_ir.Definition d) {}
   visitInitializer(cps_ir.Initializer i) {}
@@ skipping 13 matching lines @@
     'B': 0,
     'v': 0,
     'x': 0,
     'c': 0
   };
 
   String prefix(x) {
     if (x is cps_ir.Parameter) return 'r';
     if (x is cps_ir.Continuation || x is cps_ir.FunctionDefinition) return 'B';
     if (x is cps_ir.Primitive) return 'v';
-    if (x is cps_ir.ClosureVariable) return 'c';
+    if (x is cps_ir.MutableVariable) return 'c';
     return 'x';
   }
 
   String name(x) {
     String nam = names[x];
     if (nam == null) {
       String pref = prefix(x);
       int id = counters[pref]++;
       nam = names[x] = '${pref}${id}';
     }
@@ skipping 98 matching lines @@
   }
 
   visitConcatenateStrings(cps_ir.ConcatenateStrings exp) {
     addEdgeToContinuation(exp.continuation);
   }
 
   visitInvokeContinuation(cps_ir.InvokeContinuation exp) {
     addEdgeToContinuation(exp.continuation);
   }
 
-  visitSetClosureVariable(cps_ir.SetClosureVariable exp) {
+  visitSetMutableVariable(cps_ir.SetMutableVariable exp) {
     visit(exp.body);
   }
 
   visitSetField(cps_ir.SetField exp) {
     visit(exp.body);
   }
 
   visitDeclareFunction(cps_ir.DeclareFunction exp) {
     visit(exp.body);
   }
 
   visitBranch(cps_ir.Branch exp) {
     cps_ir.Continuation trueTarget = exp.trueContinuation.definition;
     if (!trueTarget.isReturnContinuation) {
       current_block.addEdgeTo(getBlock(trueTarget));
     }
     cps_ir.Continuation falseTarget = exp.falseContinuation.definition;
     if (!falseTarget.isReturnContinuation) {
       current_block.addEdgeTo(getBlock(falseTarget));
     }
   }
 
   visitContinuation(cps_ir.Continuation c) {
     var old_node = current_block;
     current_block = getBlock(c);
     visit(c.body);
     current_block = old_node;
   }
 }