Revert "[turbofan] add fast path for String.p.startsWith"

This reverts commit acadb20271.

Reason for revert: chromium:941952

Original change's description:
> [turbofan] add fast path for String.p.startsWith
> 
> Add a fast path for String.p.startsWith(str) when length of str is 1.
> 
> Bug: v8:8400
> Change-Id: I65e657549902dc3ad064a213d815dd098ce6455f
> Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1491872
> Commit-Queue: Sigurd Schneider <sigurds@chromium.org>
> Reviewed-by: Sigurd Schneider <sigurds@chromium.org>
> Reviewed-by: Benedikt Meurer <bmeurer@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#60091}

TBR=sigurds@chromium.org,bmeurer@chromium.org,usharma1998@gmail.com

# Not skipping CQ checks because original CL landed > 1 day ago.

Bug: v8:8400
Change-Id: Iabd66b8db0d6958686ea15a042d8567955700c9e
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1524205
Commit-Queue: Sigurd Schneider <sigurds@chromium.org>
Reviewed-by: Sigurd Schneider <sigurds@chromium.org>
Cr-Commit-Position: refs/heads/master@{#60279}

src/compiler/js-call-reducer.cc

@@ -3625,8 +3625,6 @@ Reduction JSCallReducer::ReduceJSCall(Node* node,
       return ReduceStringPrototypeIndexOf(node);
     case Builtins::kStringPrototypeCharAt:
       return ReduceStringPrototypeCharAt(node);
-    case Builtins::kStringPrototypeStartsWith:
-      return ReduceStringPrototypeStartsWith(node);
     case Builtins::kStringPrototypeCharCodeAt:
       return ReduceStringPrototypeStringAt(simplified()->StringCharCodeAt(),
                                            node);
@@ -5165,78 +5163,6 @@ Reduction JSCallReducer::ReduceStringPrototypeStringAt(
   return Replace(value);
 }
 
-// ES section 21.1.3.20
-// String.prototype.startsWith ( searchString [ , position ] )
-Reduction JSCallReducer::ReduceStringPrototypeStartsWith(Node* node) {
-  DCHECK_EQ(IrOpcode::kJSCall, node->opcode());
-  CallParameters const& p = CallParametersOf(node->op());
-  if (p.speculation_mode() == SpeculationMode::kDisallowSpeculation) {
-    return NoChange();
-  }
-
-  Node* string = NodeProperties::GetValueInput(node, 1);
-  Node* search_string = NodeProperties::GetValueInput(node, 2);
-  Node* position = node->op()->ValueInputCount() >= 4
-                       ? NodeProperties::GetValueInput(node, 3)
-                       : jsgraph()->ZeroConstant();
-  Node* effect = NodeProperties::GetEffectInput(node);
-  Node* control = NodeProperties::GetControlInput(node);
-
-  HeapObjectMatcher m(search_string);
-  if (m.HasValue()) {
-    ObjectRef target_ref = m.Ref(broker());
-    if (target_ref.IsString()) {
-      StringRef str = target_ref.AsString();
-      if (str.length() == 1) {
-        // Ensure that the {string} is actually a String.
-        string = effect = graph()->NewNode(
-            simplified()->CheckString(p.feedback()), string, effect, control);
-
-        Node* string_length =
-            graph()->NewNode(simplified()->StringLength(), string);
-        Node* check =
-            graph()->NewNode(simplified()->NumberEqual(), string_length,
-                             jsgraph()->ZeroConstant());
-        Node* branch = graph()->NewNode(common()->Branch(BranchHint::kTrue),
-                                        check, control);
-
-        // Length of {string} is zero.
-        Node* if_true = graph()->NewNode(common()->IfTrue(), branch);
-        Node* etrue = effect;
-        Node* vtrue = jsgraph()->FalseConstant();
-
-        // Length of {string} is greater than zero.
-        Node* if_false = graph()->NewNode(common()->IfFalse(), branch);
-        Node* efalse = effect;
-        Node* vfalse;
-        {
-          Node* masked_position =
-              graph()->NewNode(simplified()->PoisonIndex(), position);
-          Node* string_first = efalse =
-              graph()->NewNode(simplified()->StringCharCodeAt(), string,
-                               masked_position, efalse, control);
-
-          Node* search_first = jsgraph()->Constant(str.GetFirstChar());
-          vfalse = graph()->NewNode(simplified()->NumberEqual(), string_first,
-                                    search_first);
-        }
-
-        control = graph()->NewNode(common()->Merge(2), if_true, if_false);
-        Node* value =
-            graph()->NewNode(common()->Phi(MachineRepresentation::kTagged, 2),
-                             vtrue, vfalse, control);
-        effect =
-            graph()->NewNode(common()->EffectPhi(2), etrue, efalse, control);
-
-        ReplaceWithValue(node, value, effect, control);
-        return Replace(value);
-      }
-    }
-  }
-
-  return NoChange();
-}
-
 // ES section 21.1.3.1 String.prototype.charAt ( pos )
 Reduction JSCallReducer::ReduceStringPrototypeCharAt(Node* node) {
   DCHECK_EQ(IrOpcode::kJSCall, node->opcode());

src/compiler/js-call-reducer.h

@@ -120,7 +120,6 @@ class V8_EXPORT_PRIVATE JSCallReducer final : public AdvancedReducer {
   Reduction ReduceStringPrototypeStringAt(
       const Operator* string_access_operator, Node* node);
   Reduction ReduceStringPrototypeCharAt(Node* node);
-  Reduction ReduceStringPrototypeStartsWith(Node* node);
 
 #ifdef V8_INTL_SUPPORT
   Reduction ReduceStringPrototypeToLowerCaseIntl(Node* node);

test/mjsunit/compiler/string-startswith.js

@@ -1,21 +0,0 @@
-// Copyright 2019 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.
-
-// Flags: --allow-natives-syntax --opt
-
-(function() {
-  function foo(string) { return string.startsWith('a'); }
-
-  %PrepareFunctionForOptimization(foo);
-  assertEquals(false, foo(''));
-  assertEquals(true, foo('a'));
-  assertEquals(false, foo('ba'));
-  assertEquals(true, foo('abc'));
-  %OptimizeFunctionOnNextCall(foo);
-  assertEquals(false, foo(''));
-  assertEquals(true, foo('a'));
-  assertEquals(false, foo('ba'));
-  assertEquals(true, foo('abc'));
-  assertOptimized(foo);
-})();