kernel->ssa: Implement for-loops and while-loops

pkg/compiler/lib/src/kernel/kernel_visitor.dart

 // Copyright (c) 2016, 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.md file.
 
 import 'package:kernel/ast.dart' as ir;
 import 'package:kernel/frontend/accessors.dart'
     show
         Accessor,
         IndexAccessor,
         NullAwarePropertyAccessor,
@@ skipping 756 matching lines @@
     }
     ir.Expression condition = visitForValue(node.condition);
     List<ir.Expression> updates = <ir.Expression>[];
     for (Expression update in node.update) {
       updates.add(visitForEffect(update));
     }
 
     JumpTarget jumpTarget = elements.getTargetDefinition(node);
     ir.Statement body =
         buildContinueTarget(buildStatementInBlock(node.body), node, jumpTarget);
-    ir.ForStatement forStatement =
-        new ir.ForStatement(variables, condition, updates, body);
+    ir.ForStatement forStatement = associateNode(
+        new ir.ForStatement(variables, condition, updates, body), node);
     ir.Statement result = buildBreakTarget(forStatement, node, jumpTarget);
     if (initializer != null) {
       result = new ir.Block(
           <ir.Statement>[new ir.ExpressionStatement(initializer), result]);
     }
     return result;
   }
 
   @override
   ir.FunctionDeclaration visitFunctionDeclaration(FunctionDeclaration node) {
@@ skipping 294 matching lines @@
     return internalError(node, "TypeVariable");
   }
 
   @override
   ir.Statement visitWhile(While node) {
     ir.Expression condition = visitForValue(node.condition);
     JumpTarget jumpTarget = elements.getTargetDefinition(node);
     ir.Statement body =
         buildContinueTarget(buildStatementInBlock(node.body), node, jumpTarget);
     return buildBreakTarget(
-        new ir.WhileStatement(condition, body), node, jumpTarget);
+        associateNode(new ir.WhileStatement(condition, body), node),
+        node,
+        jumpTarget);
   }
 
   @override
   ir.YieldStatement visitYield(Yield node) {
     return new ir.YieldStatement(visitForValue(node.expression),
         isYieldStar: node.hasStar);
   }
 
   @override
   ir.InvalidExpression visitAbstractClassConstructorInvoke(
@@ skipping 1652 matching lines @@
       : this(null, true, node, initializers);
 
   accept(ir.Visitor v) => throw "unsupported";
 
   visitChildren(ir.Visitor v) => throw "unsupported";
 
   String toString() {
     return "IrFunction($kind, $isConstructor, $node, $initializers)";
   }
 }