Eliminate branches on constant conditions during codegen.

dart/lib/compiler/implementation/ssa/codegen.dart

Index: dart/lib/compiler/implementation/ssa/codegen.dart
diff --git a/dart/lib/compiler/implementation/ssa/codegen.dart b/dart/lib/compiler/implementation/ssa/codegen.dart
index 91f179dc4a9da9b9577922cbbe83d70de4e0b08f..498f128412b35e53c3394bb16a651d3c149294ec 100644
--- a/dart/lib/compiler/implementation/ssa/codegen.dart
+++ b/dart/lib/compiler/implementation/ssa/codegen.dart
@@ -902,23 +902,36 @@ class SsaCodeGenerator implements HVisitor {
   }
 
   visitIf(HIf node) {
+    HInstruction condition = node.inputs[0];
+    int preVisitedBlocks = 0;
     List<HBasicBlock> dominated = node.block.dominatedBlocks;
     HIfBlockInformation info = node.blockInformation;
-    startIf(node);
-    assert(!isGenerateAtUseSite(node));
-    startThen(node);
-    assert(node.thenBlock === dominated[0]);
-    visitSubGraph(info.thenGraph);
-    int preVisitedBlocks = 1;
-    endThen(node);
-    if (node.hasElse) {
-      startElse(node);
-      assert(node.elseBlock === dominated[1]);
-      visitSubGraph(info.elseGraph);
-      preVisitedBlocks = 2;
-      endElse(node);
-    }
-    endIf(node);
+    if (condition.isConstant()) {
+      HConstant constant = condition;
+      if (constant.constant.isTrue()) {
+        visitSubGraph(info.thenGraph);
+      } else if (node.hasElse) {
+        visitSubGraph(info.elseGraph);
+      }
+      // We ignore the other branch, even if it isn't visited.
+      preVisitedBlocks = node.hasElse ? 2 : 1;
+    } else {
+      startIf(node);
+      assert(!isGenerateAtUseSite(node));
+      startThen(node);
+      assert(node.thenBlock === dominated[0]);
+      visitSubGraph(info.thenGraph);
+      preVisitedBlocks++;
+      endThen(node);
+      if (node.hasElse) {
+        startElse(node);
+        assert(node.elseBlock === dominated[1]);
+        visitSubGraph(info.elseGraph);
+        preVisitedBlocks++;
+        endElse(node);
+      }
+      endIf(node);
+    }
     if (info.joinBlock !== null && info.joinBlock.dominator !== node.block) {
       // The join block is dominated by a block in one of the branches.
       // The subgraph traversal never reached it, so we visit it here