[turbofan] Connect non-terminating loops via Terminate.

src/compiler/typer.cc

Index: src/compiler/typer.cc
diff --git a/src/compiler/typer.cc b/src/compiler/typer.cc
index d1897750337964b861b51e60ab9866ae4f0c38b9..3e9d3d98ec225da03a62771a0f5dc106d1a6f455 100644
--- a/src/compiler/typer.cc
+++ b/src/compiler/typer.cc
@@ -253,6 +253,7 @@ class Typer::Visitor : public Reducer {
       DECLARE_CASE(Deoptimize)
       DECLARE_CASE(Return)
       DECLARE_CASE(TailCall)
+      DECLARE_CASE(Terminate)
       DECLARE_CASE(OsrNormalEntry)
       DECLARE_CASE(OsrLoopEntry)
       DECLARE_CASE(Throw)
@@ -297,6 +298,7 @@ class Typer::Visitor : public Reducer {
       DECLARE_CASE(Deoptimize)
       DECLARE_CASE(Return)
       DECLARE_CASE(TailCall)
+      DECLARE_CASE(Terminate)
       DECLARE_CASE(OsrNormalEntry)
       DECLARE_CASE(OsrLoopEntry)
       DECLARE_CASE(Throw)
@@ -643,11 +645,6 @@ Bounds Typer::Visitor::TypeIfException(Node* node) {
 // Common operators.
 
 
-Bounds Typer::Visitor::TypeAlways(Node* node) {
-  return Bounds(Type::None(zone()), Type::Boolean(zone()));
-}
-
-
 Bounds Typer::Visitor::TypeParameter(Node* node) {
   return Bounds::Unbounded(zone());
 }