[turbofan] The Check and Checked operators don't produce control.

src/compiler/representation-change.cc

 // Copyright 2015 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/compiler/representation-change.h"
 
 #include <sstream>
 
 #include "src/base/bits.h"
 #include "src/code-factory.h"
@@ skipping 433 matching lines @@
 }
 
 Node* RepresentationChanger::InsertConversion(Node* node, const Operator* op,
                                               Node* use_node) {
   if (op->ControlInputCount() > 0) {
     // If the operator can deoptimize (which means it has control
     // input), we need to connect it to the effect and control chains.
     Node* effect = NodeProperties::GetEffectInput(use_node);
     Node* control = NodeProperties::GetControlInput(use_node);
     Node* conversion = jsgraph()->graph()->NewNode(op, node, effect, control);
-    NodeProperties::ReplaceControlInput(use_node, control);
-    NodeProperties::ReplaceEffectInput(use_node, effect);
+    NodeProperties::ReplaceEffectInput(use_node, conversion);
     return conversion;
   }
   return jsgraph()->graph()->NewNode(op, node);
 }
 
 
 Node* RepresentationChanger::GetBitRepresentationFor(
     Node* node, MachineRepresentation output_rep, Type* output_type) {
   // Eagerly fold representation changes for constants.
   switch (node->opcode()) {
@@ skipping 256 matching lines @@
 }
 
 Node* RepresentationChanger::InsertChangeTaggedToFloat64(Node* node) {
   return jsgraph()->graph()->NewNode(simplified()->ChangeTaggedToFloat64(),
                                      node);
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8