[turbofan] Introduce CheckIf node (deopt without explicit frame state).

src/compiler/simplified-lowering.cc

Index: src/compiler/simplified-lowering.cc
diff --git a/src/compiler/simplified-lowering.cc b/src/compiler/simplified-lowering.cc
index 5b29d4bb3ce021de03804d285ee8a7b36ea6e9c6..a7148be4819a9c05a6ce4d6d1706af3669ccc87d 100644
--- a/src/compiler/simplified-lowering.cc
+++ b/src/compiler/simplified-lowering.cc
@@ -1035,11 +1035,10 @@ class RepresentationSelector {
   void ChangeToInt32OverflowOp(Node* node, const Operator* op) {
     Node* effect = NodeProperties::GetEffectInput(node);
     Node* control = NodeProperties::GetControlInput(node);
-    Node* frame_state = NodeProperties::FindFrameStateBefore(node);
     Node* arith = graph()->NewNode(op, node->InputAt(0), node->InputAt(1));
     Node* overflow = graph()->NewNode(common()->Projection(1), arith);
-    control = effect = graph()->NewNode(common()->DeoptimizeIf(), overflow,
-                                        frame_state, effect, control);
+    control = effect =
+        graph()->NewNode(simplified()->CheckIf(), overflow, effect, control);
 
     Node* value = graph()->NewNode(common()->Projection(0), arith);
     ReplaceEffectControlUses(node, effect, control);