2017-02-24 17:48:49 +00:00
|
|
|
#
|
|
|
|
# Autogenerated by generate-bytecode-expectations.
|
|
|
|
#
|
|
|
|
|
|
|
|
---
|
|
|
|
wrap: no
|
|
|
|
test function name: f
|
|
|
|
async iteration: yes
|
|
|
|
|
|
|
|
---
|
|
|
|
snippet: "
|
|
|
|
async function f() {
|
|
|
|
for await (let x of [1, 2, 3]) {}
|
|
|
|
}
|
|
|
|
f();
|
|
|
|
"
|
2018-01-23 13:51:38 +00:00
|
|
|
frame size: 23
|
2017-02-24 17:48:49 +00:00
|
|
|
parameter count: 1
|
2018-01-24 11:19:51 +00:00
|
|
|
bytecode array length: 514
|
2017-02-24 17:48:49 +00:00
|
|
|
bytecodes: [
|
2018-01-23 13:51:38 +00:00
|
|
|
B(SwitchOnGeneratorState), R(2), U8(0), U8(3),
|
|
|
|
B(Mov), R(closure), R(12),
|
|
|
|
B(Mov), R(this), R(13),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_CreateJSGeneratorObject), R(12), U8(2),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(2),
|
2017-05-12 17:29:53 +00:00
|
|
|
/* 16 E> */ B(StackCheck),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_promise_create), R(0), U8(0),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(11),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(context), R(14),
|
2017-06-09 09:26:27 +00:00
|
|
|
B(Mov), R(context), R(15),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(7),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(context), R(18),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Mov), R(context), R(19),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 43 S> */ B(CreateArrayLiteral), U8(3), U8(0), U8(37),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(20),
|
|
|
|
B(LdaNamedProperty), R(20), U8(4), U8(1),
|
2017-03-09 14:40:02 +00:00
|
|
|
B(JumpIfUndefined), U8(17),
|
|
|
|
B(JumpIfNull), U8(15),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(21),
|
|
|
|
B(CallProperty0), R(21), R(20), U8(3),
|
2017-03-09 14:40:02 +00:00
|
|
|
B(JumpIfJSReceiver), U8(23),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowSymbolAsyncIteratorInvalid), R(0), U8(0),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaNamedProperty), R(20), U8(5), U8(5),
|
|
|
|
B(Star), R(21),
|
|
|
|
B(CallProperty0), R(21), R(20), U8(7),
|
|
|
|
B(Star), R(21),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_CreateAsyncFromSyncIterator), R(21), U8(1),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(4),
|
2018-01-11 17:24:11 +00:00
|
|
|
/* 43 E> */ B(LdaNamedProperty), R(4), U8(6), U8(9),
|
|
|
|
B(Star), R(5),
|
|
|
|
/* 40 S> */ B(CallProperty0), R(5), R(4), U8(11),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(Star), R(21),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(2), R(20),
|
|
|
|
B(Mov), R(11), R(22),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_uncaught), R(20), U8(3),
|
|
|
|
/* 40 E> */ B(SuspendGenerator), R(2), R(0), U8(20), U8(0),
|
|
|
|
B(ResumeGenerator), R(2), R(0), U8(20),
|
|
|
|
B(Star), R(20),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(21),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaZero),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(21),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(20),
|
Reland "[async-iteration] implement spec-change to `yield` in async generators"
Per https://github.com/tc39/proposal-async-iteration/pull/102/files:
AsyncGeneratorResolve no longer unwraps a value component. Instead, the value is
unwrapped before the builtin call via Await, allowing Promise rejections to
affect the generator control flow.
Thus, all `yield <expr>` implicitly become `yield await <expr>`.
Additionally, `return <expr>` becomes `return await <expr>`. Finally, when the
generator is resumed with `.return()`, the parameter passed to .return() is
awaited before generator execution properly continues).
BUG=v8:6187, v8:5855
R=littledan@chromium.org, neis@chromium.org, adamk@chromium.org
TBR=rmcilroy@chromium.org, neis@chromium.org
Cq-Include-Trybots: master.tryserver.v8:v8_linux_noi18n_rel_ng
Change-Id: Id7718028fd555481f9f4ca0dbecfa788e3057c48
Reviewed-on: https://chromium-review.googlesource.com/594500
Reviewed-by: Caitlin Potter <caitp@igalia.com>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Reviewed-by: Jakob Gruber <jgruber@chromium.org>
Commit-Queue: Caitlin Potter <caitp@igalia.com>
Cr-Commit-Position: refs/heads/master@{#47058}
2017-08-01 14:45:03 +00:00
|
|
|
B(ReThrow),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(20), R(6),
|
|
|
|
/* 40 E> */ B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(20), U8(1),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ToBooleanLogicalNot),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfFalse), U8(7),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(6), U8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaNamedProperty), R(6), U8(7), U8(13),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfToBooleanTrue), U8(25),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaNamedProperty), R(6), U8(8), U8(15),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(8),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(7),
|
|
|
|
B(Mov), R(8), R(3),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 23 E> */ B(StackCheck),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Mov), R(3), R(0),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(7),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(JumpLoop), U8(82), I8(0),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Jump), U8(40),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(20),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(20), U8(9), U8(10),
|
|
|
|
B(Star), R(19),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(19),
|
|
|
|
B(PushContext), R(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrict), R(7), U8(17),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfFalse), U8(6),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(7),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(21),
|
|
|
|
B(CallRuntime), U16(Runtime::kReThrow), R(21), U8(1),
|
|
|
|
B(PopContext), R(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-1),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Star), R(17),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(16),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Jump), U8(7),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(17),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaZero),
|
|
|
|
B(Star), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(18),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrict), R(7), U8(18),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(JumpIfTrue), U8(167),
|
|
|
|
B(LdaNamedProperty), R(4), U8(11), U8(19),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(9),
|
2017-04-03 14:17:16 +00:00
|
|
|
B(TestUndetectable),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Jump), U8(156),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrict), R(7), U8(21),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(JumpIfFalse), U8(86),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(9),
|
2017-11-07 09:26:56 +00:00
|
|
|
B(TestTypeOf), U8(6),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
|
|
|
B(Jump), U8(18),
|
2018-02-06 15:34:33 +00:00
|
|
|
B(Wide), B(LdaSmi), I16(145),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(19),
|
|
|
|
B(LdaConstant), U8(12),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(Star), R(20),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kNewTypeError), R(19), U8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Throw),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(context), R(19),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Mov), R(9), R(20),
|
|
|
|
B(Mov), R(4), R(21),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(20), U8(2),
|
|
|
|
B(Star), R(21),
|
|
|
|
B(Mov), R(2), R(20),
|
|
|
|
B(Mov), R(11), R(22),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_await_caught), R(20), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(20), U8(1),
|
|
|
|
B(ResumeGenerator), R(2), R(0), U8(20),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(Star), R(20),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
|
|
|
B(Star), R(21),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(21),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(20),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(ReThrow),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(20),
|
|
|
|
B(Jump), U8(6),
|
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
|
|
|
B(Ldar), R(19),
|
|
|
|
B(Jump), U8(65),
|
|
|
|
B(Mov), R(9), R(19),
|
|
|
|
B(Mov), R(4), R(20),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(19), U8(2),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(Mov), R(2), R(19),
|
|
|
|
B(Mov), R(11), R(21),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_uncaught), R(19), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(19), U8(2),
|
|
|
|
B(ResumeGenerator), R(2), R(0), U8(19),
|
|
|
|
B(Star), R(19),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(LdaZero),
|
|
|
|
B(TestEqualStrictNoFeedback), R(20),
|
|
|
|
B(JumpIfTrue), U8(5),
|
|
|
|
B(Ldar), R(19),
|
|
|
|
B(ReThrow),
|
|
|
|
B(Mov), R(19), R(10),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(19), U8(1),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfToBooleanFalse), U8(4),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Jump), U8(7),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(10), U8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(18),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2017-05-16 15:20:09 +00:00
|
|
|
B(LdaZero),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(16),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfFalse), U8(5),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(17),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(17),
|
|
|
|
B(Mov), R(11), R(16),
|
[builtins] Refactor the promise resolution and rejection logic.
This introduces dedicated builtins
- FulfillPromise,
- RejectPromise, and
- ResolvePromise,
which perform the corresponding operations from the language
specification, and removes the redundant entry points and the
excessive inlining of these operations into other builtins. We
also add the same logic on the C++ side, so that we don't need
to go into JavaScript land when resolving/rejecting from the
API.
The C++ side has a complete implementation, including full support
for the debugger and the current PromiseHook machinery. This is to
avoid constantly crossing the boundary for those cases, and to also
simplify the CSA side (and soon the TurboFan side), where we only
do the fast-path and bail out to the runtime for the general handling.
On top of this we introduce %_RejectPromise and %_ResolvePromise,
which are entry points used by the bytecode and parser desugarings
for async functions, and also used by the V8 Extras API. Thanks to
this we can uniformly optimize these in TurboFan, where we have
corresponding operators JSRejectPromise and JSResolvePromise, which
currently just call into the builtins, but middle-term can be further
optimized, i.e. to skip the "then" lookup for JSResolvePromise when
we know something about the resolution.
In TurboFan we can also already inline the default PromiseCapability
[[Reject]] and [[Resolve]] functions, although this is not as effective
as it can be right now, until we have inlining support for the Promise
constructor (being worked on by petermarshall@ right now) and/or SFI
based CALL_IC feedback.
Overall this change is meant as a refactoring without significant
performance impact anywhere; it seems to improve performance of
simple async functions a bit, but otherwise is neutral.
Bug: v8:7253
Change-Id: Id0b979f9b2843560e38cd8df4b02627dad4b6d8c
Reviewed-on: https://chromium-review.googlesource.com/911632
Reviewed-by: Sathya Gunasekaran <gsathya@chromium.org>
Reviewed-by: Benedikt Meurer <bmeurer@chromium.org>
Reviewed-by: Georg Neis <neis@chromium.org>
Commit-Queue: Benedikt Meurer <bmeurer@chromium.org>
Cr-Commit-Position: refs/heads/master@{#51260}
2018-02-12 19:10:29 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_ResolvePromise), R(16), U8(2),
|
2017-05-16 15:20:09 +00:00
|
|
|
B(LdaZero),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(11), R(13),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(58),
|
|
|
|
B(Jump), U8(42),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(16),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(16), U8(9), U8(13),
|
|
|
|
B(Star), R(15),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(15),
|
|
|
|
B(PushContext), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(18),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(LdaFalse),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(19),
|
|
|
|
B(Mov), R(11), R(17),
|
[builtins] Refactor the promise resolution and rejection logic.
This introduces dedicated builtins
- FulfillPromise,
- RejectPromise, and
- ResolvePromise,
which perform the corresponding operations from the language
specification, and removes the redundant entry points and the
excessive inlining of these operations into other builtins. We
also add the same logic on the C++ side, so that we don't need
to go into JavaScript land when resolving/rejecting from the
API.
The C++ side has a complete implementation, including full support
for the debugger and the current PromiseHook machinery. This is to
avoid constantly crossing the boundary for those cases, and to also
simplify the CSA side (and soon the TurboFan side), where we only
do the fast-path and bail out to the runtime for the general handling.
On top of this we introduce %_RejectPromise and %_ResolvePromise,
which are entry points used by the bytecode and parser desugarings
for async functions, and also used by the V8 Extras API. Thanks to
this we can uniformly optimize these in TurboFan, where we have
corresponding operators JSRejectPromise and JSResolvePromise, which
currently just call into the builtins, but middle-term can be further
optimized, i.e. to skip the "then" lookup for JSResolvePromise when
we know something about the resolution.
In TurboFan we can also already inline the default PromiseCapability
[[Reject]] and [[Resolve]] functions, although this is not as effective
as it can be right now, until we have inlining support for the Promise
constructor (being worked on by petermarshall@ right now) and/or SFI
based CALL_IC feedback.
Overall this change is meant as a refactoring without significant
performance impact anywhere; it seems to improve performance of
simple async functions a bit, but otherwise is neutral.
Bug: v8:7253
Change-Id: Id0b979f9b2843560e38cd8df4b02627dad4b6d8c
Reviewed-on: https://chromium-review.googlesource.com/911632
Reviewed-by: Sathya Gunasekaran <gsathya@chromium.org>
Reviewed-by: Benedikt Meurer <bmeurer@chromium.org>
Reviewed-by: Georg Neis <neis@chromium.org>
Commit-Queue: Benedikt Meurer <bmeurer@chromium.org>
Cr-Commit-Position: refs/heads/master@{#51260}
2018-02-12 19:10:29 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_RejectPromise), R(17), U8(3),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(PopContext), R(16),
|
2017-05-16 15:20:09 +00:00
|
|
|
B(LdaZero),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(11), R(13),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Jump), U8(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-1),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Star), R(13),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(12),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(Jump), U8(8),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(13),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaSmi), I8(1),
|
|
|
|
B(Star), R(12),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(14),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_promise_release), R(11), U8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(14),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(12),
|
|
|
|
B(SwitchOnSmiNoFeedback), U8(14), U8(2), I8(0),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(Jump), U8(8),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 57 S> */ B(Return),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
|
|
|
/* 57 S> */ B(Return),
|
|
|
|
]
|
|
|
|
constant pool: [
|
2018-01-23 13:51:38 +00:00
|
|
|
Smi [110],
|
|
|
|
Smi [309],
|
|
|
|
Smi [366],
|
2017-04-18 12:46:39 +00:00
|
|
|
TUPLE2_TYPE,
|
2017-02-24 17:48:49 +00:00
|
|
|
SYMBOL_TYPE,
|
|
|
|
SYMBOL_TYPE,
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["next"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["done"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["value"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE [".catch"],
|
|
|
|
FIXED_ARRAY_TYPE,
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["return"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE [""],
|
|
|
|
FIXED_ARRAY_TYPE,
|
2017-05-16 11:36:04 +00:00
|
|
|
Smi [6],
|
|
|
|
Smi [9],
|
2017-02-24 17:48:49 +00:00
|
|
|
]
|
|
|
|
handlers: [
|
2018-01-24 11:19:51 +00:00
|
|
|
[26, 473, 481],
|
|
|
|
[29, 431, 433],
|
|
|
|
[35, 214, 222],
|
|
|
|
[38, 174, 176],
|
|
|
|
[282, 331, 333],
|
2017-02-24 17:48:49 +00:00
|
|
|
]
|
|
|
|
|
|
|
|
---
|
|
|
|
snippet: "
|
|
|
|
async function f() {
|
|
|
|
for await (let x of [1, 2, 3]) { return x; }
|
|
|
|
}
|
|
|
|
f();
|
|
|
|
"
|
2018-01-23 13:51:38 +00:00
|
|
|
frame size: 23
|
2017-02-24 17:48:49 +00:00
|
|
|
parameter count: 1
|
2018-01-24 11:19:51 +00:00
|
|
|
bytecode array length: 543
|
2017-02-24 17:48:49 +00:00
|
|
|
bytecodes: [
|
2018-01-23 13:51:38 +00:00
|
|
|
B(SwitchOnGeneratorState), R(2), U8(0), U8(3),
|
|
|
|
B(Mov), R(closure), R(12),
|
|
|
|
B(Mov), R(this), R(13),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_CreateJSGeneratorObject), R(12), U8(2),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(2),
|
2017-05-12 17:29:53 +00:00
|
|
|
/* 16 E> */ B(StackCheck),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_promise_create), R(0), U8(0),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(11),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(context), R(14),
|
2017-06-09 09:26:27 +00:00
|
|
|
B(Mov), R(context), R(15),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(7),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(context), R(18),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Mov), R(context), R(19),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 43 S> */ B(CreateArrayLiteral), U8(3), U8(0), U8(37),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(20),
|
|
|
|
B(LdaNamedProperty), R(20), U8(4), U8(1),
|
2017-03-09 14:40:02 +00:00
|
|
|
B(JumpIfUndefined), U8(17),
|
|
|
|
B(JumpIfNull), U8(15),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(21),
|
|
|
|
B(CallProperty0), R(21), R(20), U8(3),
|
2017-03-09 14:40:02 +00:00
|
|
|
B(JumpIfJSReceiver), U8(23),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowSymbolAsyncIteratorInvalid), R(0), U8(0),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaNamedProperty), R(20), U8(5), U8(5),
|
|
|
|
B(Star), R(21),
|
|
|
|
B(CallProperty0), R(21), R(20), U8(7),
|
|
|
|
B(Star), R(21),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_CreateAsyncFromSyncIterator), R(21), U8(1),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(4),
|
2018-01-11 17:24:11 +00:00
|
|
|
/* 43 E> */ B(LdaNamedProperty), R(4), U8(6), U8(9),
|
|
|
|
B(Star), R(5),
|
|
|
|
/* 40 S> */ B(CallProperty0), R(5), R(4), U8(11),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(Star), R(21),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(2), R(20),
|
|
|
|
B(Mov), R(11), R(22),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_uncaught), R(20), U8(3),
|
|
|
|
/* 40 E> */ B(SuspendGenerator), R(2), R(0), U8(20), U8(0),
|
|
|
|
B(ResumeGenerator), R(2), R(0), U8(20),
|
|
|
|
B(Star), R(20),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(21),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaZero),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(21),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(20),
|
Reland "[async-iteration] implement spec-change to `yield` in async generators"
Per https://github.com/tc39/proposal-async-iteration/pull/102/files:
AsyncGeneratorResolve no longer unwraps a value component. Instead, the value is
unwrapped before the builtin call via Await, allowing Promise rejections to
affect the generator control flow.
Thus, all `yield <expr>` implicitly become `yield await <expr>`.
Additionally, `return <expr>` becomes `return await <expr>`. Finally, when the
generator is resumed with `.return()`, the parameter passed to .return() is
awaited before generator execution properly continues).
BUG=v8:6187, v8:5855
R=littledan@chromium.org, neis@chromium.org, adamk@chromium.org
TBR=rmcilroy@chromium.org, neis@chromium.org
Cq-Include-Trybots: master.tryserver.v8:v8_linux_noi18n_rel_ng
Change-Id: Id7718028fd555481f9f4ca0dbecfa788e3057c48
Reviewed-on: https://chromium-review.googlesource.com/594500
Reviewed-by: Caitlin Potter <caitp@igalia.com>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Reviewed-by: Jakob Gruber <jgruber@chromium.org>
Commit-Queue: Caitlin Potter <caitp@igalia.com>
Cr-Commit-Position: refs/heads/master@{#47058}
2017-08-01 14:45:03 +00:00
|
|
|
B(ReThrow),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(20), R(6),
|
|
|
|
/* 40 E> */ B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(20), U8(1),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ToBooleanLogicalNot),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfFalse), U8(7),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(6), U8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaNamedProperty), R(6), U8(7), U8(13),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfToBooleanTrue), U8(27),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaNamedProperty), R(6), U8(8), U8(15),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(8),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(7),
|
|
|
|
B(Mov), R(8), R(3),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 23 E> */ B(StackCheck),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Mov), R(3), R(0),
|
2017-07-13 13:53:13 +00:00
|
|
|
/* 56 S> */ B(LdaZero),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(16),
|
|
|
|
B(Mov), R(8), R(17),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Jump), U8(56),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Jump), U8(40),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(20),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(20), U8(9), U8(10),
|
|
|
|
B(Star), R(19),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(19),
|
|
|
|
B(PushContext), R(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrict), R(7), U8(17),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfFalse), U8(6),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(7),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(21),
|
|
|
|
B(CallRuntime), U16(Runtime::kReThrow), R(21), U8(1),
|
|
|
|
B(PopContext), R(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-1),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Star), R(17),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(16),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(Jump), U8(8),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(17),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaSmi), I8(1),
|
|
|
|
B(Star), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(18),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrict), R(7), U8(18),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(JumpIfTrue), U8(167),
|
|
|
|
B(LdaNamedProperty), R(4), U8(11), U8(19),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(9),
|
2017-04-03 14:17:16 +00:00
|
|
|
B(TestUndetectable),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Jump), U8(156),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrict), R(7), U8(21),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(JumpIfFalse), U8(86),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(9),
|
2017-11-07 09:26:56 +00:00
|
|
|
B(TestTypeOf), U8(6),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
|
|
|
B(Jump), U8(18),
|
2018-02-06 15:34:33 +00:00
|
|
|
B(Wide), B(LdaSmi), I16(145),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(19),
|
|
|
|
B(LdaConstant), U8(12),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(Star), R(20),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kNewTypeError), R(19), U8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Throw),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(context), R(19),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Mov), R(9), R(20),
|
|
|
|
B(Mov), R(4), R(21),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(20), U8(2),
|
|
|
|
B(Star), R(21),
|
|
|
|
B(Mov), R(2), R(20),
|
|
|
|
B(Mov), R(11), R(22),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_await_caught), R(20), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(20), U8(1),
|
|
|
|
B(ResumeGenerator), R(2), R(0), U8(20),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(Star), R(20),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
|
|
|
B(Star), R(21),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(21),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(20),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(ReThrow),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(20),
|
|
|
|
B(Jump), U8(6),
|
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
|
|
|
B(Ldar), R(19),
|
|
|
|
B(Jump), U8(65),
|
|
|
|
B(Mov), R(9), R(19),
|
|
|
|
B(Mov), R(4), R(20),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(19), U8(2),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(Mov), R(2), R(19),
|
|
|
|
B(Mov), R(11), R(21),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_uncaught), R(19), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(19), U8(2),
|
|
|
|
B(ResumeGenerator), R(2), R(0), U8(19),
|
|
|
|
B(Star), R(19),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(LdaZero),
|
|
|
|
B(TestEqualStrictNoFeedback), R(20),
|
|
|
|
B(JumpIfTrue), U8(5),
|
|
|
|
B(Ldar), R(19),
|
|
|
|
B(ReThrow),
|
|
|
|
B(Mov), R(19), R(10),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(19), U8(1),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfToBooleanFalse), U8(4),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Jump), U8(7),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(10), U8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(18),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(16),
|
|
|
|
B(SwitchOnSmiNoFeedback), U8(13), U8(2), I8(0),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Jump), U8(13),
|
2017-05-16 15:20:09 +00:00
|
|
|
B(LdaZero),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(17), R(13),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(81),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(17),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(17),
|
|
|
|
B(Mov), R(11), R(16),
|
[builtins] Refactor the promise resolution and rejection logic.
This introduces dedicated builtins
- FulfillPromise,
- RejectPromise, and
- ResolvePromise,
which perform the corresponding operations from the language
specification, and removes the redundant entry points and the
excessive inlining of these operations into other builtins. We
also add the same logic on the C++ side, so that we don't need
to go into JavaScript land when resolving/rejecting from the
API.
The C++ side has a complete implementation, including full support
for the debugger and the current PromiseHook machinery. This is to
avoid constantly crossing the boundary for those cases, and to also
simplify the CSA side (and soon the TurboFan side), where we only
do the fast-path and bail out to the runtime for the general handling.
On top of this we introduce %_RejectPromise and %_ResolvePromise,
which are entry points used by the bytecode and parser desugarings
for async functions, and also used by the V8 Extras API. Thanks to
this we can uniformly optimize these in TurboFan, where we have
corresponding operators JSRejectPromise and JSResolvePromise, which
currently just call into the builtins, but middle-term can be further
optimized, i.e. to skip the "then" lookup for JSResolvePromise when
we know something about the resolution.
In TurboFan we can also already inline the default PromiseCapability
[[Reject]] and [[Resolve]] functions, although this is not as effective
as it can be right now, until we have inlining support for the Promise
constructor (being worked on by petermarshall@ right now) and/or SFI
based CALL_IC feedback.
Overall this change is meant as a refactoring without significant
performance impact anywhere; it seems to improve performance of
simple async functions a bit, but otherwise is neutral.
Bug: v8:7253
Change-Id: Id0b979f9b2843560e38cd8df4b02627dad4b6d8c
Reviewed-on: https://chromium-review.googlesource.com/911632
Reviewed-by: Sathya Gunasekaran <gsathya@chromium.org>
Reviewed-by: Benedikt Meurer <bmeurer@chromium.org>
Reviewed-by: Georg Neis <neis@chromium.org>
Commit-Queue: Benedikt Meurer <bmeurer@chromium.org>
Cr-Commit-Position: refs/heads/master@{#51260}
2018-02-12 19:10:29 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_ResolvePromise), R(16), U8(2),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(11), R(13),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(59),
|
|
|
|
B(Jump), U8(43),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(16),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(16), U8(9), U8(15),
|
|
|
|
B(Star), R(15),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(15),
|
|
|
|
B(PushContext), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(18),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(LdaFalse),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(19),
|
|
|
|
B(Mov), R(11), R(17),
|
[builtins] Refactor the promise resolution and rejection logic.
This introduces dedicated builtins
- FulfillPromise,
- RejectPromise, and
- ResolvePromise,
which perform the corresponding operations from the language
specification, and removes the redundant entry points and the
excessive inlining of these operations into other builtins. We
also add the same logic on the C++ side, so that we don't need
to go into JavaScript land when resolving/rejecting from the
API.
The C++ side has a complete implementation, including full support
for the debugger and the current PromiseHook machinery. This is to
avoid constantly crossing the boundary for those cases, and to also
simplify the CSA side (and soon the TurboFan side), where we only
do the fast-path and bail out to the runtime for the general handling.
On top of this we introduce %_RejectPromise and %_ResolvePromise,
which are entry points used by the bytecode and parser desugarings
for async functions, and also used by the V8 Extras API. Thanks to
this we can uniformly optimize these in TurboFan, where we have
corresponding operators JSRejectPromise and JSResolvePromise, which
currently just call into the builtins, but middle-term can be further
optimized, i.e. to skip the "then" lookup for JSResolvePromise when
we know something about the resolution.
In TurboFan we can also already inline the default PromiseCapability
[[Reject]] and [[Resolve]] functions, although this is not as effective
as it can be right now, until we have inlining support for the Promise
constructor (being worked on by petermarshall@ right now) and/or SFI
based CALL_IC feedback.
Overall this change is meant as a refactoring without significant
performance impact anywhere; it seems to improve performance of
simple async functions a bit, but otherwise is neutral.
Bug: v8:7253
Change-Id: Id0b979f9b2843560e38cd8df4b02627dad4b6d8c
Reviewed-on: https://chromium-review.googlesource.com/911632
Reviewed-by: Sathya Gunasekaran <gsathya@chromium.org>
Reviewed-by: Benedikt Meurer <bmeurer@chromium.org>
Reviewed-by: Georg Neis <neis@chromium.org>
Commit-Queue: Benedikt Meurer <bmeurer@chromium.org>
Cr-Commit-Position: refs/heads/master@{#51260}
2018-02-12 19:10:29 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_RejectPromise), R(17), U8(3),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(PopContext), R(16),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(11), R(13),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Jump), U8(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-1),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Star), R(13),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(12),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(Jump), U8(8),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(13),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaSmi), I8(2),
|
|
|
|
B(Star), R(12),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(14),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_promise_release), R(11), U8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(14),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(12),
|
|
|
|
B(SwitchOnSmiNoFeedback), U8(16), U8(3), I8(0),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(21),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(11), R(15),
|
|
|
|
B(Mov), R(13), R(16),
|
[builtins] Refactor the promise resolution and rejection logic.
This introduces dedicated builtins
- FulfillPromise,
- RejectPromise, and
- ResolvePromise,
which perform the corresponding operations from the language
specification, and removes the redundant entry points and the
excessive inlining of these operations into other builtins. We
also add the same logic on the C++ side, so that we don't need
to go into JavaScript land when resolving/rejecting from the
API.
The C++ side has a complete implementation, including full support
for the debugger and the current PromiseHook machinery. This is to
avoid constantly crossing the boundary for those cases, and to also
simplify the CSA side (and soon the TurboFan side), where we only
do the fast-path and bail out to the runtime for the general handling.
On top of this we introduce %_RejectPromise and %_ResolvePromise,
which are entry points used by the bytecode and parser desugarings
for async functions, and also used by the V8 Extras API. Thanks to
this we can uniformly optimize these in TurboFan, where we have
corresponding operators JSRejectPromise and JSResolvePromise, which
currently just call into the builtins, but middle-term can be further
optimized, i.e. to skip the "then" lookup for JSResolvePromise when
we know something about the resolution.
In TurboFan we can also already inline the default PromiseCapability
[[Reject]] and [[Resolve]] functions, although this is not as effective
as it can be right now, until we have inlining support for the Promise
constructor (being worked on by petermarshall@ right now) and/or SFI
based CALL_IC feedback.
Overall this change is meant as a refactoring without significant
performance impact anywhere; it seems to improve performance of
simple async functions a bit, but otherwise is neutral.
Bug: v8:7253
Change-Id: Id0b979f9b2843560e38cd8df4b02627dad4b6d8c
Reviewed-on: https://chromium-review.googlesource.com/911632
Reviewed-by: Sathya Gunasekaran <gsathya@chromium.org>
Reviewed-by: Benedikt Meurer <bmeurer@chromium.org>
Reviewed-by: Georg Neis <neis@chromium.org>
Commit-Queue: Benedikt Meurer <bmeurer@chromium.org>
Cr-Commit-Position: refs/heads/master@{#51260}
2018-02-12 19:10:29 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_ResolvePromise), R(15), U8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(11),
|
2017-07-13 13:53:13 +00:00
|
|
|
/* 68 S> */ B(Return),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 68 S> */ B(Return),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
|
|
|
/* 68 S> */ B(Return),
|
|
|
|
]
|
|
|
|
constant pool: [
|
2018-01-23 13:51:38 +00:00
|
|
|
Smi [110],
|
|
|
|
Smi [312],
|
|
|
|
Smi [369],
|
2017-04-18 12:46:39 +00:00
|
|
|
TUPLE2_TYPE,
|
2017-02-24 17:48:49 +00:00
|
|
|
SYMBOL_TYPE,
|
|
|
|
SYMBOL_TYPE,
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["next"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["done"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["value"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE [".catch"],
|
|
|
|
FIXED_ARRAY_TYPE,
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["return"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE [""],
|
2017-05-16 11:36:04 +00:00
|
|
|
Smi [6],
|
2017-05-24 13:54:57 +00:00
|
|
|
Smi [14],
|
2017-02-24 17:48:49 +00:00
|
|
|
FIXED_ARRAY_TYPE,
|
2017-05-16 11:36:04 +00:00
|
|
|
Smi [6],
|
2017-09-06 22:48:36 +00:00
|
|
|
Smi [19],
|
2017-07-13 13:53:13 +00:00
|
|
|
Smi [22],
|
2017-02-24 17:48:49 +00:00
|
|
|
]
|
|
|
|
handlers: [
|
2018-01-24 11:19:51 +00:00
|
|
|
[26, 489, 497],
|
|
|
|
[29, 446, 448],
|
|
|
|
[35, 216, 224],
|
|
|
|
[38, 176, 178],
|
|
|
|
[285, 334, 336],
|
2017-02-24 17:48:49 +00:00
|
|
|
]
|
|
|
|
|
|
|
|
---
|
|
|
|
snippet: "
|
|
|
|
async function f() {
|
|
|
|
for await (let x of [10, 20, 30]) {
|
|
|
|
if (x == 10) continue;
|
|
|
|
if (x == 20) break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
f();
|
|
|
|
"
|
2018-01-23 13:51:38 +00:00
|
|
|
frame size: 23
|
2017-02-24 17:48:49 +00:00
|
|
|
parameter count: 1
|
2018-01-24 11:19:51 +00:00
|
|
|
bytecode array length: 532
|
2017-02-24 17:48:49 +00:00
|
|
|
bytecodes: [
|
2018-01-23 13:51:38 +00:00
|
|
|
B(SwitchOnGeneratorState), R(2), U8(0), U8(3),
|
|
|
|
B(Mov), R(closure), R(12),
|
|
|
|
B(Mov), R(this), R(13),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_CreateJSGeneratorObject), R(12), U8(2),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(2),
|
2017-05-12 17:29:53 +00:00
|
|
|
/* 16 E> */ B(StackCheck),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_promise_create), R(0), U8(0),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(11),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(context), R(14),
|
2017-06-09 09:26:27 +00:00
|
|
|
B(Mov), R(context), R(15),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(7),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(context), R(18),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Mov), R(context), R(19),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 43 S> */ B(CreateArrayLiteral), U8(3), U8(0), U8(37),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(20),
|
|
|
|
B(LdaNamedProperty), R(20), U8(4), U8(1),
|
2017-03-09 14:40:02 +00:00
|
|
|
B(JumpIfUndefined), U8(17),
|
|
|
|
B(JumpIfNull), U8(15),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(21),
|
|
|
|
B(CallProperty0), R(21), R(20), U8(3),
|
2017-03-09 14:40:02 +00:00
|
|
|
B(JumpIfJSReceiver), U8(23),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowSymbolAsyncIteratorInvalid), R(0), U8(0),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaNamedProperty), R(20), U8(5), U8(5),
|
|
|
|
B(Star), R(21),
|
|
|
|
B(CallProperty0), R(21), R(20), U8(7),
|
|
|
|
B(Star), R(21),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_CreateAsyncFromSyncIterator), R(21), U8(1),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(4),
|
2018-01-11 17:24:11 +00:00
|
|
|
/* 43 E> */ B(LdaNamedProperty), R(4), U8(6), U8(9),
|
|
|
|
B(Star), R(5),
|
|
|
|
/* 40 S> */ B(CallProperty0), R(5), R(4), U8(11),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(Star), R(21),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(2), R(20),
|
|
|
|
B(Mov), R(11), R(22),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_uncaught), R(20), U8(3),
|
|
|
|
/* 40 E> */ B(SuspendGenerator), R(2), R(0), U8(20), U8(0),
|
|
|
|
B(ResumeGenerator), R(2), R(0), U8(20),
|
|
|
|
B(Star), R(20),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(21),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaZero),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(21),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(20),
|
Reland "[async-iteration] implement spec-change to `yield` in async generators"
Per https://github.com/tc39/proposal-async-iteration/pull/102/files:
AsyncGeneratorResolve no longer unwraps a value component. Instead, the value is
unwrapped before the builtin call via Await, allowing Promise rejections to
affect the generator control flow.
Thus, all `yield <expr>` implicitly become `yield await <expr>`.
Additionally, `return <expr>` becomes `return await <expr>`. Finally, when the
generator is resumed with `.return()`, the parameter passed to .return() is
awaited before generator execution properly continues).
BUG=v8:6187, v8:5855
R=littledan@chromium.org, neis@chromium.org, adamk@chromium.org
TBR=rmcilroy@chromium.org, neis@chromium.org
Cq-Include-Trybots: master.tryserver.v8:v8_linux_noi18n_rel_ng
Change-Id: Id7718028fd555481f9f4ca0dbecfa788e3057c48
Reviewed-on: https://chromium-review.googlesource.com/594500
Reviewed-by: Caitlin Potter <caitp@igalia.com>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Reviewed-by: Jakob Gruber <jgruber@chromium.org>
Commit-Queue: Caitlin Potter <caitp@igalia.com>
Cr-Commit-Position: refs/heads/master@{#47058}
2017-08-01 14:45:03 +00:00
|
|
|
B(ReThrow),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(20), R(6),
|
|
|
|
/* 40 E> */ B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(20), U8(1),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ToBooleanLogicalNot),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfFalse), U8(7),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(6), U8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaNamedProperty), R(6), U8(7), U8(13),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfToBooleanTrue), U8(43),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaNamedProperty), R(6), U8(8), U8(15),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(8),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(7),
|
|
|
|
B(Mov), R(8), R(3),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 23 E> */ B(StackCheck),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Mov), R(3), R(0),
|
|
|
|
/* 63 S> */ B(LdaSmi), I8(10),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 69 E> */ B(TestEqual), R(0), U8(17),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
|
|
|
/* 76 S> */ B(Jump), U8(14),
|
|
|
|
/* 90 S> */ B(LdaSmi), I8(20),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 96 E> */ B(TestEqual), R(0), U8(18),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
|
|
|
/* 103 S> */ B(Jump), U8(8),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(7),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(JumpLoop), U8(100), I8(0),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Jump), U8(40),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(20),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(20), U8(9), U8(10),
|
|
|
|
B(Star), R(19),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(19),
|
|
|
|
B(PushContext), R(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrict), R(7), U8(19),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfFalse), U8(6),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(7),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(21),
|
|
|
|
B(CallRuntime), U16(Runtime::kReThrow), R(21), U8(1),
|
|
|
|
B(PopContext), R(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-1),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Star), R(17),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(16),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Jump), U8(7),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(17),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaZero),
|
|
|
|
B(Star), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(18),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrict), R(7), U8(20),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(JumpIfTrue), U8(167),
|
|
|
|
B(LdaNamedProperty), R(4), U8(11), U8(21),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(9),
|
2017-04-03 14:17:16 +00:00
|
|
|
B(TestUndetectable),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Jump), U8(156),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrict), R(7), U8(23),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(JumpIfFalse), U8(86),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(9),
|
2017-11-07 09:26:56 +00:00
|
|
|
B(TestTypeOf), U8(6),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
|
|
|
B(Jump), U8(18),
|
2018-02-06 15:34:33 +00:00
|
|
|
B(Wide), B(LdaSmi), I16(145),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(19),
|
|
|
|
B(LdaConstant), U8(12),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(Star), R(20),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kNewTypeError), R(19), U8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Throw),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Mov), R(context), R(19),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Mov), R(9), R(20),
|
|
|
|
B(Mov), R(4), R(21),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(20), U8(2),
|
|
|
|
B(Star), R(21),
|
|
|
|
B(Mov), R(2), R(20),
|
|
|
|
B(Mov), R(11), R(22),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_await_caught), R(20), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(20), U8(1),
|
|
|
|
B(ResumeGenerator), R(2), R(0), U8(20),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(Star), R(20),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
|
|
|
B(Star), R(21),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(21),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(20),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(ReThrow),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(20),
|
|
|
|
B(Jump), U8(6),
|
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
|
|
|
B(Ldar), R(19),
|
|
|
|
B(Jump), U8(65),
|
|
|
|
B(Mov), R(9), R(19),
|
|
|
|
B(Mov), R(4), R(20),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(19), U8(2),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(Mov), R(2), R(19),
|
|
|
|
B(Mov), R(11), R(21),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_uncaught), R(19), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(19), U8(2),
|
|
|
|
B(ResumeGenerator), R(2), R(0), U8(19),
|
|
|
|
B(Star), R(19),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(LdaZero),
|
|
|
|
B(TestEqualStrictNoFeedback), R(20),
|
|
|
|
B(JumpIfTrue), U8(5),
|
|
|
|
B(Ldar), R(19),
|
|
|
|
B(ReThrow),
|
|
|
|
B(Mov), R(19), R(10),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(19), U8(1),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfToBooleanFalse), U8(4),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Jump), U8(7),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(10), U8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(18),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2017-05-16 15:20:09 +00:00
|
|
|
B(LdaZero),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(16),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfFalse), U8(5),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(17),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(17),
|
|
|
|
B(Mov), R(11), R(16),
|
[builtins] Refactor the promise resolution and rejection logic.
This introduces dedicated builtins
- FulfillPromise,
- RejectPromise, and
- ResolvePromise,
which perform the corresponding operations from the language
specification, and removes the redundant entry points and the
excessive inlining of these operations into other builtins. We
also add the same logic on the C++ side, so that we don't need
to go into JavaScript land when resolving/rejecting from the
API.
The C++ side has a complete implementation, including full support
for the debugger and the current PromiseHook machinery. This is to
avoid constantly crossing the boundary for those cases, and to also
simplify the CSA side (and soon the TurboFan side), where we only
do the fast-path and bail out to the runtime for the general handling.
On top of this we introduce %_RejectPromise and %_ResolvePromise,
which are entry points used by the bytecode and parser desugarings
for async functions, and also used by the V8 Extras API. Thanks to
this we can uniformly optimize these in TurboFan, where we have
corresponding operators JSRejectPromise and JSResolvePromise, which
currently just call into the builtins, but middle-term can be further
optimized, i.e. to skip the "then" lookup for JSResolvePromise when
we know something about the resolution.
In TurboFan we can also already inline the default PromiseCapability
[[Reject]] and [[Resolve]] functions, although this is not as effective
as it can be right now, until we have inlining support for the Promise
constructor (being worked on by petermarshall@ right now) and/or SFI
based CALL_IC feedback.
Overall this change is meant as a refactoring without significant
performance impact anywhere; it seems to improve performance of
simple async functions a bit, but otherwise is neutral.
Bug: v8:7253
Change-Id: Id0b979f9b2843560e38cd8df4b02627dad4b6d8c
Reviewed-on: https://chromium-review.googlesource.com/911632
Reviewed-by: Sathya Gunasekaran <gsathya@chromium.org>
Reviewed-by: Benedikt Meurer <bmeurer@chromium.org>
Reviewed-by: Georg Neis <neis@chromium.org>
Commit-Queue: Benedikt Meurer <bmeurer@chromium.org>
Cr-Commit-Position: refs/heads/master@{#51260}
2018-02-12 19:10:29 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_ResolvePromise), R(16), U8(2),
|
2017-05-16 15:20:09 +00:00
|
|
|
B(LdaZero),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(11), R(13),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(58),
|
|
|
|
B(Jump), U8(42),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(16),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(16), U8(9), U8(13),
|
|
|
|
B(Star), R(15),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(15),
|
|
|
|
B(PushContext), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(18),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(LdaFalse),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(19),
|
|
|
|
B(Mov), R(11), R(17),
|
[builtins] Refactor the promise resolution and rejection logic.
This introduces dedicated builtins
- FulfillPromise,
- RejectPromise, and
- ResolvePromise,
which perform the corresponding operations from the language
specification, and removes the redundant entry points and the
excessive inlining of these operations into other builtins. We
also add the same logic on the C++ side, so that we don't need
to go into JavaScript land when resolving/rejecting from the
API.
The C++ side has a complete implementation, including full support
for the debugger and the current PromiseHook machinery. This is to
avoid constantly crossing the boundary for those cases, and to also
simplify the CSA side (and soon the TurboFan side), where we only
do the fast-path and bail out to the runtime for the general handling.
On top of this we introduce %_RejectPromise and %_ResolvePromise,
which are entry points used by the bytecode and parser desugarings
for async functions, and also used by the V8 Extras API. Thanks to
this we can uniformly optimize these in TurboFan, where we have
corresponding operators JSRejectPromise and JSResolvePromise, which
currently just call into the builtins, but middle-term can be further
optimized, i.e. to skip the "then" lookup for JSResolvePromise when
we know something about the resolution.
In TurboFan we can also already inline the default PromiseCapability
[[Reject]] and [[Resolve]] functions, although this is not as effective
as it can be right now, until we have inlining support for the Promise
constructor (being worked on by petermarshall@ right now) and/or SFI
based CALL_IC feedback.
Overall this change is meant as a refactoring without significant
performance impact anywhere; it seems to improve performance of
simple async functions a bit, but otherwise is neutral.
Bug: v8:7253
Change-Id: Id0b979f9b2843560e38cd8df4b02627dad4b6d8c
Reviewed-on: https://chromium-review.googlesource.com/911632
Reviewed-by: Sathya Gunasekaran <gsathya@chromium.org>
Reviewed-by: Benedikt Meurer <bmeurer@chromium.org>
Reviewed-by: Georg Neis <neis@chromium.org>
Commit-Queue: Benedikt Meurer <bmeurer@chromium.org>
Cr-Commit-Position: refs/heads/master@{#51260}
2018-02-12 19:10:29 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_RejectPromise), R(17), U8(3),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(PopContext), R(16),
|
2017-05-16 15:20:09 +00:00
|
|
|
B(LdaZero),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(11), R(13),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Jump), U8(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-1),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Star), R(13),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(12),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(Jump), U8(8),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(13),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(LdaSmi), I8(1),
|
|
|
|
B(Star), R(12),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Star), R(14),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_promise_release), R(11), U8(1),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(14),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(12),
|
|
|
|
B(SwitchOnSmiNoFeedback), U8(14), U8(2), I8(0),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(Jump), U8(8),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 114 S> */ B(Return),
|
2018-01-23 13:51:38 +00:00
|
|
|
B(Ldar), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
|
|
|
/* 114 S> */ B(Return),
|
|
|
|
]
|
|
|
|
constant pool: [
|
2018-01-23 13:51:38 +00:00
|
|
|
Smi [110],
|
|
|
|
Smi [327],
|
|
|
|
Smi [384],
|
2017-04-18 12:46:39 +00:00
|
|
|
TUPLE2_TYPE,
|
2017-02-24 17:48:49 +00:00
|
|
|
SYMBOL_TYPE,
|
|
|
|
SYMBOL_TYPE,
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["next"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["done"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["value"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE [".catch"],
|
|
|
|
FIXED_ARRAY_TYPE,
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["return"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE [""],
|
|
|
|
FIXED_ARRAY_TYPE,
|
2017-05-16 11:36:04 +00:00
|
|
|
Smi [6],
|
|
|
|
Smi [9],
|
2017-02-24 17:48:49 +00:00
|
|
|
]
|
|
|
|
handlers: [
|
2018-01-24 11:19:51 +00:00
|
|
|
[26, 491, 499],
|
|
|
|
[29, 449, 451],
|
|
|
|
[35, 232, 240],
|
|
|
|
[38, 192, 194],
|
|
|
|
[300, 349, 351],
|
2017-02-24 17:48:49 +00:00
|
|
|
]
|
|
|
|
|
|
|
|
---
|
|
|
|
snippet: "
|
|
|
|
async function f() {
|
|
|
|
var x = { 'a': 1, 'b': 2 };
|
|
|
|
for (x['a'] of [1,2,3]) { return x['a']; }
|
|
|
|
}
|
|
|
|
f();
|
|
|
|
"
|
2018-01-11 17:24:11 +00:00
|
|
|
frame size: 20
|
2017-02-24 17:48:49 +00:00
|
|
|
parameter count: 1
|
2018-01-04 19:15:04 +00:00
|
|
|
bytecode array length: 403
|
2017-02-24 17:48:49 +00:00
|
|
|
bytecodes: [
|
2017-05-12 17:29:53 +00:00
|
|
|
/* 16 E> */ B(StackCheck),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_promise_create), R(0), U8(0),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(9),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Mov), R(context), R(12),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Mov), R(context), R(13),
|
|
|
|
/* 31 S> */ B(CreateObjectLiteral), U8(0), U8(0), U8(41), R(14),
|
|
|
|
B(Mov), R(14), R(1),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(5),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Mov), R(context), R(16),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Mov), R(context), R(17),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 68 S> */ B(CreateArrayLiteral), U8(1), U8(1), U8(37),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(18),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(LdaNamedProperty), R(18), U8(2), U8(2),
|
|
|
|
B(Star), R(19),
|
|
|
|
B(CallProperty0), R(19), R(18), U8(4),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfJSReceiver), U8(7),
|
|
|
|
B(CallRuntime), U16(Runtime::kThrowSymbolIteratorInvalid), R(0), U8(0),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
/* 68 E> */ B(LdaNamedProperty), R(2), U8(3), U8(6),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(3),
|
2018-01-11 17:24:11 +00:00
|
|
|
/* 59 S> */ B(CallProperty0), R(3), R(2), U8(8),
|
|
|
|
B(Star), R(4),
|
|
|
|
/* 59 E> */ B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(4), U8(1),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ToBooleanLogicalNot),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfFalse), U8(7),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(4), U8(1),
|
|
|
|
B(LdaNamedProperty), R(4), U8(4), U8(10),
|
2017-07-17 19:02:35 +00:00
|
|
|
B(JumpIfToBooleanTrue), U8(30),
|
2018-01-11 17:24:11 +00:00
|
|
|
/* 58 E> */ B(LdaNamedProperty), R(4), U8(5), U8(12),
|
|
|
|
B(Star), R(6),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(5),
|
|
|
|
B(Ldar), R(6),
|
2017-09-02 00:52:16 +00:00
|
|
|
B(StaNamedProperty), R(1), U8(6), U8(14),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 53 E> */ B(StackCheck),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 87 S> */ B(LdaNamedProperty), R(1), U8(6), U8(16),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(15),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(14),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Jump), U8(56),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Jump), U8(40),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(18),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(Ldar), R(closure),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(CreateCatchContext), R(18), U8(7), U8(8),
|
|
|
|
B(Star), R(17),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(17),
|
|
|
|
B(PushContext), R(18),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrict), R(5), U8(18),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfFalse), U8(6),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(5),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(19),
|
|
|
|
B(CallRuntime), U16(Runtime::kReThrow), R(19), U8(1),
|
|
|
|
B(PopContext), R(18),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-1),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(15),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Star), R(14),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(Jump), U8(8),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(15),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(14),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrict), R(5), U8(19),
|
2018-01-04 19:15:04 +00:00
|
|
|
B(JumpIfTrue), U8(90),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(2), U8(9), U8(20),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(7),
|
2017-04-03 14:17:16 +00:00
|
|
|
B(TestUndetectable),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2018-01-04 19:15:04 +00:00
|
|
|
B(Jump), U8(79),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(TestEqualStrict), R(5), U8(22),
|
2018-01-04 19:15:04 +00:00
|
|
|
B(JumpIfFalse), U8(47),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(7),
|
2017-11-07 09:26:56 +00:00
|
|
|
B(TestTypeOf), U8(6),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
|
|
|
B(Jump), U8(18),
|
2018-02-06 15:34:33 +00:00
|
|
|
B(Wide), B(LdaSmi), I16(145),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(Star), R(17),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(LdaConstant), U8(10),
|
|
|
|
B(Star), R(18),
|
|
|
|
B(CallRuntime), U16(Runtime::kNewTypeError), R(17), U8(2),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(Throw),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Mov), R(context), R(17),
|
|
|
|
B(Mov), R(7), R(18),
|
|
|
|
B(Mov), R(2), R(19),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(18), U8(2),
|
2018-01-04 19:15:04 +00:00
|
|
|
B(Jump), U8(6),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(17),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Jump), U8(27),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Mov), R(7), R(17),
|
|
|
|
B(Mov), R(2), R(18),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(17), U8(2),
|
|
|
|
B(Star), R(8),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(8), U8(1),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfToBooleanFalse), U8(4),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Jump), U8(7),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(8), U8(1),
|
|
|
|
B(Ldar), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(14),
|
2018-01-04 19:15:04 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(11), U8(2), I8(0),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(Jump), U8(13),
|
|
|
|
B(LdaZero),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(10),
|
|
|
|
B(Mov), R(15), R(11),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(81),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(15),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(15),
|
|
|
|
B(Mov), R(9), R(14),
|
[builtins] Refactor the promise resolution and rejection logic.
This introduces dedicated builtins
- FulfillPromise,
- RejectPromise, and
- ResolvePromise,
which perform the corresponding operations from the language
specification, and removes the redundant entry points and the
excessive inlining of these operations into other builtins. We
also add the same logic on the C++ side, so that we don't need
to go into JavaScript land when resolving/rejecting from the
API.
The C++ side has a complete implementation, including full support
for the debugger and the current PromiseHook machinery. This is to
avoid constantly crossing the boundary for those cases, and to also
simplify the CSA side (and soon the TurboFan side), where we only
do the fast-path and bail out to the runtime for the general handling.
On top of this we introduce %_RejectPromise and %_ResolvePromise,
which are entry points used by the bytecode and parser desugarings
for async functions, and also used by the V8 Extras API. Thanks to
this we can uniformly optimize these in TurboFan, where we have
corresponding operators JSRejectPromise and JSResolvePromise, which
currently just call into the builtins, but middle-term can be further
optimized, i.e. to skip the "then" lookup for JSResolvePromise when
we know something about the resolution.
In TurboFan we can also already inline the default PromiseCapability
[[Reject]] and [[Resolve]] functions, although this is not as effective
as it can be right now, until we have inlining support for the Promise
constructor (being worked on by petermarshall@ right now) and/or SFI
based CALL_IC feedback.
Overall this change is meant as a refactoring without significant
performance impact anywhere; it seems to improve performance of
simple async functions a bit, but otherwise is neutral.
Bug: v8:7253
Change-Id: Id0b979f9b2843560e38cd8df4b02627dad4b6d8c
Reviewed-on: https://chromium-review.googlesource.com/911632
Reviewed-by: Sathya Gunasekaran <gsathya@chromium.org>
Reviewed-by: Benedikt Meurer <bmeurer@chromium.org>
Reviewed-by: Georg Neis <neis@chromium.org>
Commit-Queue: Benedikt Meurer <bmeurer@chromium.org>
Cr-Commit-Position: refs/heads/master@{#51260}
2018-02-12 19:10:29 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_ResolvePromise), R(14), U8(2),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(10),
|
|
|
|
B(Mov), R(9), R(11),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(59),
|
|
|
|
B(Jump), U8(43),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(14),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(Ldar), R(closure),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(CreateCatchContext), R(14), U8(7), U8(13),
|
|
|
|
B(Star), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(13),
|
|
|
|
B(PushContext), R(14),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(Star), R(16),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(LdaFalse),
|
|
|
|
B(Star), R(17),
|
|
|
|
B(Mov), R(9), R(15),
|
[builtins] Refactor the promise resolution and rejection logic.
This introduces dedicated builtins
- FulfillPromise,
- RejectPromise, and
- ResolvePromise,
which perform the corresponding operations from the language
specification, and removes the redundant entry points and the
excessive inlining of these operations into other builtins. We
also add the same logic on the C++ side, so that we don't need
to go into JavaScript land when resolving/rejecting from the
API.
The C++ side has a complete implementation, including full support
for the debugger and the current PromiseHook machinery. This is to
avoid constantly crossing the boundary for those cases, and to also
simplify the CSA side (and soon the TurboFan side), where we only
do the fast-path and bail out to the runtime for the general handling.
On top of this we introduce %_RejectPromise and %_ResolvePromise,
which are entry points used by the bytecode and parser desugarings
for async functions, and also used by the V8 Extras API. Thanks to
this we can uniformly optimize these in TurboFan, where we have
corresponding operators JSRejectPromise and JSResolvePromise, which
currently just call into the builtins, but middle-term can be further
optimized, i.e. to skip the "then" lookup for JSResolvePromise when
we know something about the resolution.
In TurboFan we can also already inline the default PromiseCapability
[[Reject]] and [[Resolve]] functions, although this is not as effective
as it can be right now, until we have inlining support for the Promise
constructor (being worked on by petermarshall@ right now) and/or SFI
based CALL_IC feedback.
Overall this change is meant as a refactoring without significant
performance impact anywhere; it seems to improve performance of
simple async functions a bit, but otherwise is neutral.
Bug: v8:7253
Change-Id: Id0b979f9b2843560e38cd8df4b02627dad4b6d8c
Reviewed-on: https://chromium-review.googlesource.com/911632
Reviewed-by: Sathya Gunasekaran <gsathya@chromium.org>
Reviewed-by: Benedikt Meurer <bmeurer@chromium.org>
Reviewed-by: Georg Neis <neis@chromium.org>
Commit-Queue: Benedikt Meurer <bmeurer@chromium.org>
Cr-Commit-Position: refs/heads/master@{#51260}
2018-02-12 19:10:29 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_RejectPromise), R(15), U8(3),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(PopContext), R(14),
|
2017-05-16 15:20:09 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(10),
|
|
|
|
B(Mov), R(9), R(11),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Jump), U8(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-1),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(11),
|
[ignition] Always write the deferred command result register
For deferred commands (such as in try-finally), some deferred commands
save and restore the accumulator using a result register (e.g. return,
throw, rethrow), while others don't (e.g. break, continue,
fall-through).
However, conditionally reading this result register that may not ever be
written caused it to be considered live from the start of the function,
as far as the liveness analysis could statically tell.
Now, we write the result register for all deferred commands, including
the fall-through. As a micro-optimization, we re-use the Smi command
tokeen to clobber the result, rather than emitting an LdaUndefined.
Bug: chromium:758472
Change-Id: I2ea65e2249b40ee6403216e654a8bb88d50bec3b
Reviewed-on: https://chromium-review.googlesource.com/635592
Commit-Queue: Leszek Swirski <leszeks@chromium.org>
Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#47612}
2017-08-25 16:04:42 +00:00
|
|
|
B(Star), R(10),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(Jump), U8(8),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(11),
|
Revert "[esnext] load `iterator.next` only once at beginning of iteration"
This reverts commit bf4cc9ee154f15942594016777f77d3208230f5f.
Reason for revert: Breaks windows with msvc and linux with gcc
https://build.chromium.org/p/client.v8/builders/V8%20Win64%20-%20msvc/builds/841
https://build.chromium.org/p/client.v8/builders/V8%20Linux%20gcc%204.8/builds/17265
Original change's description:
> [esnext] load `iterator.next` only once at beginning of iteration
>
> https://github.com/tc39/ecma262/pull/988 gained concensus during the
> september 2017 TC39 meetings. This moves the load of the "next" method
> to the very beginning of the iteration protocol, rather than during
> each iteration step.
>
> This impacts:
>
> - yield*
> - for-of loops
> - spread arguments
> - array spreads
>
> In the v8 implementation, this also affects async iteration versions of
> these things (the sole exception being the Async-From-Sync iterator,
> which requires a few more changes to work with this, likely done in a
> followup patch).
>
> This change introduces a new AST node, ResolvedProperty, which can be used
> as a callee by Call nodes to produce the same bytecode as Property calls,
> without observably re-loading the property. This is used in several
> AST-desugarings involving the iteration protocol.
>
> BUG=v8:6861, v8:5699
> R=rmcilroy@chromium.org, neis@chromium.org, adamk@chromium.org
>
> Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
> Change-Id: Ib81106a0182687fc5efea0bc32302ad06376773b
> Reviewed-on: https://chromium-review.googlesource.com/687997
> Commit-Queue: Caitlin Potter <caitp@igalia.com>
> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org>
> Reviewed-by: Adam Klein <adamk@chromium.org>
> Reviewed-by: Georg Neis <neis@chromium.org>
> Cr-Commit-Position: refs/heads/master@{#50452}
TBR=rmcilroy@chromium.org,adamk@chromium.org,neis@chromium.org,caitp@igalia.com,caitp@chromium.org
Change-Id: I1797c0d596dfd6850d6f0f505f591a7a990dd1f1
No-Presubmit: true
No-Tree-Checks: true
No-Try: true
Bug: v8:6861, v8:5699
Cq-Include-Trybots: luci.v8.try:v8_linux_noi18n_rel_ng
Reviewed-on: https://chromium-review.googlesource.com/857616
Reviewed-by: Michael Achenbach <machenbach@chromium.org>
Commit-Queue: Michael Achenbach <machenbach@chromium.org>
Cr-Commit-Position: refs/heads/master@{#50454}
2018-01-09 16:50:16 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(10),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(CallJSRuntime), U8(%async_function_promise_release), R(9), U8(1),
|
|
|
|
B(Ldar), R(12),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(10),
|
2018-01-04 19:15:04 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(14), U8(3), I8(0),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(21),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Mov), R(9), R(13),
|
|
|
|
B(Mov), R(11), R(14),
|
[builtins] Refactor the promise resolution and rejection logic.
This introduces dedicated builtins
- FulfillPromise,
- RejectPromise, and
- ResolvePromise,
which perform the corresponding operations from the language
specification, and removes the redundant entry points and the
excessive inlining of these operations into other builtins. We
also add the same logic on the C++ side, so that we don't need
to go into JavaScript land when resolving/rejecting from the
API.
The C++ side has a complete implementation, including full support
for the debugger and the current PromiseHook machinery. This is to
avoid constantly crossing the boundary for those cases, and to also
simplify the CSA side (and soon the TurboFan side), where we only
do the fast-path and bail out to the runtime for the general handling.
On top of this we introduce %_RejectPromise and %_ResolvePromise,
which are entry points used by the bytecode and parser desugarings
for async functions, and also used by the V8 Extras API. Thanks to
this we can uniformly optimize these in TurboFan, where we have
corresponding operators JSRejectPromise and JSResolvePromise, which
currently just call into the builtins, but middle-term can be further
optimized, i.e. to skip the "then" lookup for JSResolvePromise when
we know something about the resolution.
In TurboFan we can also already inline the default PromiseCapability
[[Reject]] and [[Resolve]] functions, although this is not as effective
as it can be right now, until we have inlining support for the Promise
constructor (being worked on by petermarshall@ right now) and/or SFI
based CALL_IC feedback.
Overall this change is meant as a refactoring without significant
performance impact anywhere; it seems to improve performance of
simple async functions a bit, but otherwise is neutral.
Bug: v8:7253
Change-Id: Id0b979f9b2843560e38cd8df4b02627dad4b6d8c
Reviewed-on: https://chromium-review.googlesource.com/911632
Reviewed-by: Sathya Gunasekaran <gsathya@chromium.org>
Reviewed-by: Benedikt Meurer <bmeurer@chromium.org>
Reviewed-by: Georg Neis <neis@chromium.org>
Commit-Queue: Benedikt Meurer <bmeurer@chromium.org>
Cr-Commit-Position: refs/heads/master@{#51260}
2018-02-12 19:10:29 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_ResolvePromise), R(13), U8(2),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(9),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 96 S> */ B(Return),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(11),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 96 S> */ B(Return),
|
2018-01-11 17:24:11 +00:00
|
|
|
B(Ldar), R(11),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
|
|
|
/* 96 S> */ B(Return),
|
|
|
|
]
|
|
|
|
constant pool: [
|
|
|
|
FIXED_ARRAY_TYPE,
|
2017-04-18 12:46:39 +00:00
|
|
|
TUPLE2_TYPE,
|
2017-02-24 17:48:49 +00:00
|
|
|
SYMBOL_TYPE,
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["next"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["done"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["value"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["a"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE [".catch"],
|
|
|
|
FIXED_ARRAY_TYPE,
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["return"],
|
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE [""],
|
2017-05-16 11:36:04 +00:00
|
|
|
Smi [6],
|
|
|
|
Smi [14],
|
2017-02-24 17:48:49 +00:00
|
|
|
FIXED_ARRAY_TYPE,
|
2017-05-16 11:36:04 +00:00
|
|
|
Smi [6],
|
2017-09-06 22:48:36 +00:00
|
|
|
Smi [19],
|
2017-05-24 13:54:57 +00:00
|
|
|
Smi [22],
|
2017-02-24 17:48:49 +00:00
|
|
|
]
|
|
|
|
handlers: [
|
2018-01-04 19:15:04 +00:00
|
|
|
[10, 349, 357],
|
|
|
|
[13, 306, 308],
|
2017-09-06 22:48:36 +00:00
|
|
|
[27, 153, 161],
|
|
|
|
[30, 113, 115],
|
|
|
|
[222, 232, 234],
|
2017-02-24 17:48:49 +00:00
|
|
|
]
|
|
|
|
|