| // Copyright 2018 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/builtins/builtins-regexp-gen.h' |
| |
| namespace string { |
| // https://tc39.github.io/ecma262/#sec-string.prototype.startswith |
| transitioning javascript builtin StringPrototypeStartsWith( |
| js-implicit context: NativeContext, |
| receiver: JSAny)(...arguments): Boolean { |
| const searchString: JSAny = arguments[0]; |
| const position: JSAny = arguments[1]; |
| const kBuiltinName: constexpr string = 'String.prototype.startsWith'; |
| |
| // 1. Let O be ? RequireObjectCoercible(this value). |
| // 2. Let S be ? ToString(O). |
| const string: String = ToThisString(receiver, kBuiltinName); |
| |
| // 3. Let isRegExp be ? IsRegExp(searchString). |
| // 4. If isRegExp is true, throw a TypeError exception. |
| if (regexp::IsRegExp(searchString)) { |
| ThrowTypeError(MessageTemplate::kFirstArgumentNotRegExp, kBuiltinName); |
| } |
| |
| // 5. Let searchStr be ? ToString(searchString). |
| const searchStr: String = ToString_Inline(searchString); |
| |
| // 8. Let len be the length of S. |
| const len: uintptr = string.length_uintptr; |
| |
| // 6. Let pos be ? ToInteger(position). |
| // 7. Assert: If position is undefined, then pos is 0. |
| // 9. Let start be min(max(pos, 0), len). |
| const start: uintptr = |
| (position != Undefined) ? ClampToIndexRange(position, len) : 0; |
| |
| // 10. Let searchLength be the length of searchStr. |
| const searchLength: uintptr = searchStr.length_uintptr; |
| |
| // 11. If searchLength + start is greater than len, return false. |
| // The comparison is rephrased to be overflow-friendly with unsigned |
| // indices. |
| if (searchLength > len - start) return False; |
| |
| // 12. If the sequence of code units of S starting at start of length |
| // searchLength is the same as the full code unit sequence of searchStr, |
| // return true. |
| // 13. Otherwise, return false. |
| try { |
| // Fast Path: If both strings are direct and relevant indices are Smis. |
| return TryFastStringCompareSequence(string, searchStr, start, searchLength) |
| otherwise Slow; |
| } label Slow { |
| // Slow Path: If either of the string is indirect, bail into runtime. |
| return StringCompareSequence( |
| context, string, searchStr, Convert<Number>(start)); |
| } |
| } |
| } |