[turbofan] Enforce stricter constraints on Throw nodes.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index d2582038ad22e1a09a49005549e2dc70921e34e4..d827f15399ac55e3c29ca63aa16beb99a73f5115 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -270,25 +270,15 @@ void Verifier::Visitor::Check(Node* node) {
       CheckNotTyped(node);
       break;
     case IrOpcode::kDeoptimize:
-      // Deoptimize uses are End.
-      for (auto use : node->uses()) {
-        CHECK_EQ(IrOpcode::kEnd, use->opcode());
-      }
-      // Type is empty.
-      CheckNotTyped(node);
     case IrOpcode::kReturn:
-      // Return uses are End.
+    case IrOpcode::kThrow:
+      // Deoptimize, Return and Throw uses are End.
       for (auto use : node->uses()) {
         CHECK_EQ(IrOpcode::kEnd, use->opcode());
       }
       // Type is empty.
       CheckNotTyped(node);
       break;
-    case IrOpcode::kThrow:
-      // TODO(rossberg): what are the constraints on these?
-      // Type is empty.
-      CheckNotTyped(node);
-      break;
     case IrOpcode::kTerminate:
       // Terminates take one loop and effect.
       CHECK_EQ(1, control_count);