5f8a42727d
This is a reland of 1c48d52bb1.
It turned out that IterableToList doesn't always behave according to
the ES operation with the same name. Specifically, it allows holey arrays
to take its fast path, which produces an output array with holes where
actually "undefined" elements should appear.
This CL changes the version of IterableToList that is used for spreads
(IterableToListWithSymbolLookup) such that holey arrays take the slow path.
It also includes tests for such situations.
Original change's description:
> [interpreter] Add bytecode for leading array spreads.
>
> This CL improves the performance of creating [...a, b] or [...a].
> If the array literal has a leading spread, this CL emits the bytecode
> [CreateArrayFromIterable] to create the literal. CreateArrayFromIterable
> is implemented by [IterableToListDefault] builtin to create the initial
> array for the leading spread. IterableToListDefault has a fast path to
> clone efficiently if the spread is an actual array.
>
> The bytecode generated is now shorter. Bytecode generation is refactored
> into to BuildCreateArrayLiteral, which allows VisitCallSuper to benefit
> from this optimization also.
> For now, turbofan also lowers the bytecode to the builtin.
>
> The idiomatic use of [...a] to clone the array a now performs better
> than a simple for-loop, but still does not match the performance of slice.
>
> Bug: v8:7980
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ibde659c82d3c7aa1b1777a3d2f6426ac8cc15e35
> Reviewed-on: https://chromium-review.googlesource.com/1181024
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Sigurd Schneider <sigurds@chromium.org>
> Reviewed-by: Jakob Gruber <jgruber@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Commit-Queue: Georg Neis <neis@chromium.org>
> Commit-Queue: Hai Dang <dhai@google.com>
> Cr-Commit-Position: refs/heads/master@{#55520}
Bug: v8:7980
Change-Id: I0b5603a12d2b588327658bf0a9b214bd0f22e237
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/1201882
Commit-Queue: Hai Dang <dhai@google.com>
Reviewed-by: Georg Neis <neis@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Reviewed-by: Jakob Gruber <jgruber@chromium.org>
Cr-Commit-Position: refs/heads/master@{#55639}
126 lines
3.7 KiB
Plaintext
126 lines
3.7 KiB
Plaintext
#
|
|
# Autogenerated by generate-bytecode-expectations.
|
|
#
|
|
|
|
---
|
|
wrap: yes
|
|
|
|
---
|
|
snippet: "
|
|
Math.max(...[1, 2, 3]);
|
|
"
|
|
frame size: 3
|
|
parameter count: 1
|
|
bytecode array length: 25
|
|
bytecodes: [
|
|
/* 30 E> */ B(StackCheck),
|
|
/* 34 S> */ B(LdaGlobal), U8(0), U8(0),
|
|
B(Star), R(1),
|
|
/* 39 E> */ B(LdaNamedProperty), R(1), U8(1), U8(2),
|
|
B(Star), R(0),
|
|
B(CreateArrayLiteral), U8(2), U8(4), U8(37),
|
|
B(Star), R(2),
|
|
/* 39 E> */ B(CallWithSpread), R(0), R(1), U8(2), U8(5),
|
|
B(LdaUndefined),
|
|
/* 58 S> */ B(Return),
|
|
]
|
|
constant pool: [
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["Math"],
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["max"],
|
|
ARRAY_BOILERPLATE_DESCRIPTION_TYPE,
|
|
]
|
|
handlers: [
|
|
]
|
|
|
|
---
|
|
snippet: "
|
|
Math.max(0, ...[1, 2, 3]);
|
|
"
|
|
frame size: 4
|
|
parameter count: 1
|
|
bytecode array length: 28
|
|
bytecodes: [
|
|
/* 30 E> */ B(StackCheck),
|
|
/* 34 S> */ B(LdaGlobal), U8(0), U8(0),
|
|
B(Star), R(1),
|
|
/* 39 E> */ B(LdaNamedProperty), R(1), U8(1), U8(2),
|
|
B(Star), R(0),
|
|
B(LdaZero),
|
|
B(Star), R(2),
|
|
B(CreateArrayLiteral), U8(2), U8(4), U8(37),
|
|
B(Star), R(3),
|
|
/* 39 E> */ B(CallWithSpread), R(0), R(1), U8(3), U8(5),
|
|
B(LdaUndefined),
|
|
/* 61 S> */ B(Return),
|
|
]
|
|
constant pool: [
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["Math"],
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["max"],
|
|
ARRAY_BOILERPLATE_DESCRIPTION_TYPE,
|
|
]
|
|
handlers: [
|
|
]
|
|
|
|
---
|
|
snippet: "
|
|
Math.max(0, ...[1, 2, 3], 4);
|
|
"
|
|
frame size: 10
|
|
parameter count: 1
|
|
bytecode array length: 109
|
|
bytecodes: [
|
|
/* 30 E> */ B(StackCheck),
|
|
/* 34 S> */ B(LdaGlobal), U8(0), U8(0),
|
|
B(Star), R(0),
|
|
B(LdaNamedProperty), R(0), U8(1), U8(2),
|
|
B(Star), R(1),
|
|
B(CreateArrayLiteral), U8(2), U8(4), U8(37),
|
|
B(Star), R(4),
|
|
B(LdaConstant), U8(3),
|
|
B(Star), R(3),
|
|
/* 49 S> */ B(CreateArrayLiteral), U8(4), U8(8), U8(37),
|
|
B(Star), R(8),
|
|
B(LdaNamedProperty), R(8), U8(5), U8(9),
|
|
B(Star), R(9),
|
|
B(CallProperty0), R(9), R(8), U8(11),
|
|
B(Mov), R(0), R(2),
|
|
B(JumpIfJSReceiver), U8(7),
|
|
B(CallRuntime), U16(Runtime::kThrowSymbolIteratorInvalid), R(0), U8(0),
|
|
B(Star), R(7),
|
|
B(LdaNamedProperty), R(7), U8(6), U8(13),
|
|
B(Star), R(6),
|
|
B(CallProperty0), R(6), R(7), U8(15),
|
|
B(Star), R(5),
|
|
B(JumpIfJSReceiver), U8(7),
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(5), U8(1),
|
|
B(LdaNamedProperty), R(5), U8(7), U8(17),
|
|
B(JumpIfToBooleanTrue), U8(21),
|
|
B(LdaNamedProperty), R(5), U8(8), U8(19),
|
|
B(Star), R(5),
|
|
B(StaInArrayLiteral), R(4), R(3), U8(6),
|
|
B(Ldar), R(3),
|
|
B(Inc), U8(5),
|
|
B(Star), R(3),
|
|
B(JumpLoop), U8(35), I8(0),
|
|
B(LdaSmi), I8(4),
|
|
B(StaInArrayLiteral), R(4), R(3), U8(6),
|
|
B(Mov), R(4), R(3),
|
|
B(CallJSRuntime), U8(%reflect_apply), R(1), U8(3),
|
|
B(LdaUndefined),
|
|
/* 64 S> */ B(Return),
|
|
]
|
|
constant pool: [
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["Math"],
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["max"],
|
|
ARRAY_BOILERPLATE_DESCRIPTION_TYPE,
|
|
Smi [1],
|
|
ARRAY_BOILERPLATE_DESCRIPTION_TYPE,
|
|
SYMBOL_TYPE,
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["next"],
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["done"],
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["value"],
|
|
]
|
|
handlers: [
|
|
]
|
|
|