[turbofan] extend escape analysis to reduce CheckMaps

src/compiler/escape-analysis-reducer.cc

Index: src/compiler/escape-analysis-reducer.cc
diff --git a/src/compiler/escape-analysis-reducer.cc b/src/compiler/escape-analysis-reducer.cc
index c05092e06ea95f71ef958c121990df06254834e6..be772f4e7607796c58679f8064b060924278e5c6 100644
--- a/src/compiler/escape-analysis-reducer.cc
+++ b/src/compiler/escape-analysis-reducer.cc
@@ -44,6 +44,8 @@ Reduction EscapeAnalysisReducer::ReduceNode(Node* node) {
     case IrOpcode::kStoreField:
     case IrOpcode::kStoreElement:
       return ReduceStore(node);
+    case IrOpcode::kCheckMaps:
+      return ReduceCheckMaps(node);
     case IrOpcode::kAllocate:
       return ReduceAllocate(node);
     case IrOpcode::kFinishRegion:
@@ -166,6 +168,21 @@ Reduction EscapeAnalysisReducer::ReduceStore(Node* node) {
   return NoChange();
 }
 
+Reduction EscapeAnalysisReducer::ReduceCheckMaps(Node* node) {
+  DCHECK(node->opcode() == IrOpcode::kCheckMaps);
+  if (node->id() < static_cast<NodeId>(fully_reduced_.length())) {
+    fully_reduced_.Add(node->id());
+  }
+  if (escape_analysis()->IsVirtual(
+          SkipTypeGuards(NodeProperties::GetValueInput(node, 0))) &&
+      !escape_analysis()->IsEscaped(node)) {
+    TRACE("Removed #%d (%s) from effect chain\n", node->id(),
+          node->op()->mnemonic());
+    RelaxEffectsAndControls(node);
+    return Changed(node);
+  }
+  return NoChange();
+}
 
 Reduction EscapeAnalysisReducer::ReduceAllocate(Node* node) {
   DCHECK_EQ(node->opcode(), IrOpcode::kAllocate);