Fix typer to actually visit the entire graph.

src/compiler/typer.cc

Index: src/compiler/typer.cc
diff --git a/src/compiler/typer.cc b/src/compiler/typer.cc
index e898eb323dd508ab587208fcd25252cdd3e4ceb6..aaf43bb5fcd548cd44ef985307c0e1636ac52ee9 100644
--- a/src/compiler/typer.cc
+++ b/src/compiler/typer.cc
@@ -118,11 +118,15 @@ class Typer::RunVisitor : public Typer::Visitor {
         phis(NodeSet::key_compare(), NodeSet::allocator_type(typer->zone())) {}
 
   GenericGraphVisit::Control Pre(Node* node) {
-    return NodeProperties::IsControl(node)
-        && node->opcode() != IrOpcode::kEnd
-        && node->opcode() != IrOpcode::kMerge
-        && node->opcode() != IrOpcode::kReturn
-        ? GenericGraphVisit::SKIP : GenericGraphVisit::CONTINUE;
+    return NodeProperties::IsControl(node) &&
+                   node->opcode() != IrOpcode::kEnd &&
+                   node->opcode() != IrOpcode::kMerge &&
+                   node->opcode() != IrOpcode::kBranch &&
+                   node->opcode() != IrOpcode::kIfTrue &&
+                   node->opcode() != IrOpcode::kIfFalse &&
+                   node->opcode() != IrOpcode::kReturn
+               ? GenericGraphVisit::SKIP
+               : GenericGraphVisit::CONTINUE;

[titzer, 2014/09/05 13:54:46]

Just delete this method; I think the default will just do continue anyway.

[Michael Starzinger, 2014/09/05 14:58:13]

Done.

   }
 
   GenericGraphVisit::Control Post(Node* node) {