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();
|
|
|
|
"
|
2017-08-11 15:16:31 +00:00
|
|
|
frame size: 23
|
2017-02-24 17:48:49 +00:00
|
|
|
parameter count: 1
|
2017-10-05 08:30:58 +00:00
|
|
|
bytecode array length: 589
|
2017-02-24 17:48:49 +00:00
|
|
|
bytecodes: [
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(2),
|
2017-09-08 11:46:07 +00:00
|
|
|
B(JumpIfUndefined), U8(18),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetContext), R(2), U8(1),
|
|
|
|
B(PushContext), R(12),
|
|
|
|
B(RestoreGeneratorState), R(2),
|
|
|
|
B(Star), R(11),
|
2017-05-15 16:31:05 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(0), U8(3), I8(0),
|
2018-01-03 23:27:03 +00:00
|
|
|
B(Abort), U8(15),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
|
|
|
B(Star), R(11),
|
|
|
|
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),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Star), R(10),
|
2017-08-11 15:16:31 +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),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(6),
|
2017-08-11 15:16:31 +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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(20),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(LdaNamedProperty), R(20), U8(4), U8(1),
|
2017-03-09 14:40:02 +00:00
|
|
|
B(JumpIfUndefined), U8(17),
|
|
|
|
B(JumpIfNull), U8(15),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(21),
|
2017-10-19 15:12:42 +00:00
|
|
|
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),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(LdaNamedProperty), R(20), U8(5), U8(5),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(21),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(CallProperty0), R(21), R(20), U8(7),
|
2017-08-11 15:16:31 +00:00
|
|
|
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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(11),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(6), U8(1), I8(0),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
2017-08-11 15:16:31 +00:00
|
|
|
/* 43 E> */ B(TestEqualStrictNoFeedback), R(11),
|
2017-09-08 11:46:07 +00:00
|
|
|
B(JumpIfTrue), U8(4),
|
2018-01-03 23:27:03 +00:00
|
|
|
B(Abort), U8(15),
|
2017-10-19 15:12:42 +00:00
|
|
|
/* 40 S> */ B(LdaNamedProperty), R(4), U8(7), U8(9),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(20),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(CallProperty0), R(20), R(4), U8(11),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Star), R(21),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(2), R(20),
|
|
|
|
B(Mov), R(10), R(22),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_uncaught), R(20), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(20), U8(0),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 57 S> */ B(Return),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(RestoreGeneratorRegisters), R(2), R(0), U8(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(11),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetInputOrDebugPos), R(2), U8(1),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
2017-07-20 12:35:28 +00:00
|
|
|
B(Star), R(21),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaZero),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(21),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2017-08-11 15:16:31 +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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(20), R(5),
|
|
|
|
/* 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),
|
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(5), U8(1),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(5), U8(8), U8(13),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfToBooleanTrue), U8(25),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(5), U8(9), U8(15),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Star), R(7),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(6),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Mov), R(7), 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),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(6),
|
2017-09-08 11:46:07 +00:00
|
|
|
B(JumpLoop), U8(111), I8(0),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Jump), U8(40),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Star), R(20),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(20), U8(10), U8(11),
|
|
|
|
B(Star), R(19),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(19),
|
|
|
|
B(PushContext), R(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(6), 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),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(6),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2017-08-11 15:16:31 +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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(16),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Jump), U8(7),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Star), R(17),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(LdaZero),
|
|
|
|
B(Star), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(18),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(6), U8(18),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(JumpIfTrue), U8(199),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(4), U8(12), U8(19),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Star), R(8),
|
2017-04-03 14:17:16 +00:00
|
|
|
B(TestUndetectable),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(188),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(TestEqualStrict), R(6), U8(21),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(JumpIfFalse), U8(109),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Ldar), R(8),
|
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-01-04 22:36:27 +00:00
|
|
|
B(Wide), B(LdaSmi), I16(144),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(19),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(LdaConstant), U8(13),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(20),
|
|
|
|
B(CallRuntime), U16(Runtime::kNewTypeError), R(19), U8(2),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(Throw),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(context), R(19),
|
|
|
|
B(Mov), R(8), 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(10), R(22),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_caught), R(20), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(20), U8(1),
|
2017-06-02 11:55:48 +00:00
|
|
|
/* 57 S> */ B(Return),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(RestoreGeneratorRegisters), R(2), R(0), U8(20),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(11),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetInputOrDebugPos), R(2), U8(1),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
2017-07-20 12:35:28 +00:00
|
|
|
B(Star), R(21),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(LdaZero),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(21),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(20),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(ReThrow),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(20),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(20),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(20), U8(10), U8(14),
|
|
|
|
B(Star), R(19),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(19),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(PushContext), R(20),
|
|
|
|
B(PopContext), R(20),
|
2017-07-25 18:37:36 +00:00
|
|
|
B(Jump), U8(74),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(8), 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(10), R(21),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_uncaught), R(19), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(19), U8(2),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 57 S> */ B(Return),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(RestoreGeneratorRegisters), R(2), R(0), U8(19),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(11),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetInputOrDebugPos), R(2), U8(1),
|
|
|
|
B(Star), R(19),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
2017-07-20 12:35:28 +00:00
|
|
|
B(Star), R(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(20),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(19),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(ReThrow),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(19), R(9),
|
|
|
|
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),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(9), U8(1),
|
2017-08-11 15:16:31 +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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(16),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfFalse), U8(5),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(17),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Star), R(17),
|
|
|
|
B(Mov), R(10), R(16),
|
|
|
|
B(CallJSRuntime), U8(%promise_resolve), R(16), U8(2),
|
2017-05-16 15:20:09 +00:00
|
|
|
B(LdaZero),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(10), R(13),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(58),
|
|
|
|
B(Jump), U8(42),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Star), R(16),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(closure),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(CreateCatchContext), R(16), U8(10), U8(15),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(15),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(15),
|
|
|
|
B(PushContext), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Star), R(18),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(LdaFalse),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Star), R(19),
|
|
|
|
B(Mov), R(10), R(17),
|
|
|
|
B(CallJSRuntime), U8(%promise_internal_reject), R(17), U8(3),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(PopContext), R(16),
|
2017-05-16 15:20:09 +00:00
|
|
|
B(LdaZero),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(10), 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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(12),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(Jump), U8(8),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Star), R(13),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(LdaSmi), I8(1),
|
|
|
|
B(Star), R(12),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(14),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_promise_release), R(10), U8(1),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(14),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(12),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(16), U8(2), I8(0),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(Jump), U8(8),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 57 S> */ B(Return),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
|
|
|
/* 57 S> */ B(Return),
|
|
|
|
]
|
|
|
|
constant pool: [
|
2017-09-08 11:46:07 +00:00
|
|
|
Smi [89],
|
|
|
|
Smi [339],
|
2017-10-05 08:30:58 +00:00
|
|
|
Smi [419],
|
2017-04-18 12:46:39 +00:00
|
|
|
TUPLE2_TYPE,
|
2017-02-24 17:48:49 +00:00
|
|
|
SYMBOL_TYPE,
|
|
|
|
SYMBOL_TYPE,
|
2017-09-08 11:46:07 +00:00
|
|
|
Smi [40],
|
2017-02-24 17:48:49 +00:00
|
|
|
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-10-05 08:30:58 +00:00
|
|
|
FIXED_ARRAY_TYPE,
|
2017-05-16 11:36:04 +00:00
|
|
|
Smi [6],
|
|
|
|
Smi [9],
|
2017-02-24 17:48:49 +00:00
|
|
|
]
|
|
|
|
handlers: [
|
2017-10-05 08:30:58 +00:00
|
|
|
[46, 548, 556],
|
|
|
|
[49, 506, 508],
|
2017-09-08 11:46:07 +00:00
|
|
|
[55, 257, 265],
|
|
|
|
[58, 217, 219],
|
|
|
|
[325, 383, 385],
|
2017-02-24 17:48:49 +00:00
|
|
|
]
|
|
|
|
|
|
|
|
---
|
|
|
|
snippet: "
|
|
|
|
async function f() {
|
|
|
|
for await (let x of [1, 2, 3]) { return x; }
|
|
|
|
}
|
|
|
|
f();
|
|
|
|
"
|
2017-08-11 15:16:31 +00:00
|
|
|
frame size: 23
|
2017-02-24 17:48:49 +00:00
|
|
|
parameter count: 1
|
2017-10-05 08:30:58 +00:00
|
|
|
bytecode array length: 618
|
2017-02-24 17:48:49 +00:00
|
|
|
bytecodes: [
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(2),
|
2017-09-08 11:46:07 +00:00
|
|
|
B(JumpIfUndefined), U8(18),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetContext), R(2), U8(1),
|
|
|
|
B(PushContext), R(12),
|
|
|
|
B(RestoreGeneratorState), R(2),
|
|
|
|
B(Star), R(11),
|
2017-05-15 16:31:05 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(0), U8(3), I8(0),
|
2018-01-03 23:27:03 +00:00
|
|
|
B(Abort), U8(15),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
|
|
|
B(Star), R(11),
|
|
|
|
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),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Star), R(10),
|
2017-08-11 15:16:31 +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),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(6),
|
2017-08-11 15:16:31 +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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(20),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(LdaNamedProperty), R(20), U8(4), U8(1),
|
2017-03-09 14:40:02 +00:00
|
|
|
B(JumpIfUndefined), U8(17),
|
|
|
|
B(JumpIfNull), U8(15),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(21),
|
2017-10-19 15:12:42 +00:00
|
|
|
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),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(LdaNamedProperty), R(20), U8(5), U8(5),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(21),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(CallProperty0), R(21), R(20), U8(7),
|
2017-08-11 15:16:31 +00:00
|
|
|
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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(11),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(6), U8(1), I8(0),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
2017-08-11 15:16:31 +00:00
|
|
|
/* 43 E> */ B(TestEqualStrictNoFeedback), R(11),
|
2017-09-08 11:46:07 +00:00
|
|
|
B(JumpIfTrue), U8(4),
|
2018-01-03 23:27:03 +00:00
|
|
|
B(Abort), U8(15),
|
2017-10-19 15:12:42 +00:00
|
|
|
/* 40 S> */ B(LdaNamedProperty), R(4), U8(7), U8(9),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(20),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(CallProperty0), R(20), R(4), U8(11),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Star), R(21),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(2), R(20),
|
|
|
|
B(Mov), R(10), R(22),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_uncaught), R(20), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(20), U8(0),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 68 S> */ B(Return),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(RestoreGeneratorRegisters), R(2), R(0), U8(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(11),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetInputOrDebugPos), R(2), U8(1),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
2017-07-20 12:35:28 +00:00
|
|
|
B(Star), R(21),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaZero),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(21),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2017-08-11 15:16:31 +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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(20), R(5),
|
|
|
|
/* 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),
|
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(5), U8(1),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(5), U8(8), U8(13),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfToBooleanTrue), U8(27),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(5), U8(9), U8(15),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Star), R(7),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(6),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Mov), R(7), 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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(16),
|
|
|
|
B(Mov), R(7), 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),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Star), R(20),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(20), U8(10), U8(11),
|
|
|
|
B(Star), R(19),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(19),
|
|
|
|
B(PushContext), R(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(6), 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),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(6),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2017-08-11 15:16:31 +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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(16),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(Jump), U8(8),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Star), R(17),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(LdaSmi), I8(1),
|
|
|
|
B(Star), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(18),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(6), U8(18),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(JumpIfTrue), U8(199),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(4), U8(12), U8(19),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Star), R(8),
|
2017-04-03 14:17:16 +00:00
|
|
|
B(TestUndetectable),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(188),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(TestEqualStrict), R(6), U8(21),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(JumpIfFalse), U8(109),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Ldar), R(8),
|
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-01-04 22:36:27 +00:00
|
|
|
B(Wide), B(LdaSmi), I16(144),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(19),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(LdaConstant), U8(13),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(20),
|
|
|
|
B(CallRuntime), U16(Runtime::kNewTypeError), R(19), U8(2),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(Throw),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(context), R(19),
|
|
|
|
B(Mov), R(8), 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(10), R(22),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_caught), R(20), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(20), U8(1),
|
2017-06-02 11:55:48 +00:00
|
|
|
/* 68 S> */ B(Return),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(RestoreGeneratorRegisters), R(2), R(0), U8(20),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(11),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetInputOrDebugPos), R(2), U8(1),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
2017-07-20 12:35:28 +00:00
|
|
|
B(Star), R(21),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(LdaZero),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(21),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(20),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(ReThrow),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(20),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(20),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(20), U8(10), U8(14),
|
|
|
|
B(Star), R(19),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(19),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(PushContext), R(20),
|
|
|
|
B(PopContext), R(20),
|
2017-07-25 18:37:36 +00:00
|
|
|
B(Jump), U8(74),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(8), 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(10), R(21),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_uncaught), R(19), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(19), U8(2),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 68 S> */ B(Return),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(RestoreGeneratorRegisters), R(2), R(0), U8(19),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(11),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetInputOrDebugPos), R(2), U8(1),
|
|
|
|
B(Star), R(19),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
2017-07-20 12:35:28 +00:00
|
|
|
B(Star), R(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(20),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(19),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(ReThrow),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(19), R(9),
|
|
|
|
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),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(9), U8(1),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(18),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(16),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(15), 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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(17), R(13),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(81),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(17),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Star), R(17),
|
|
|
|
B(Mov), R(10), R(16),
|
|
|
|
B(CallJSRuntime), U8(%promise_resolve), R(16), U8(2),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(10), R(13),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(59),
|
|
|
|
B(Jump), U8(43),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Star), R(16),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(closure),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(CreateCatchContext), R(16), U8(10), U8(17),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(15),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(15),
|
|
|
|
B(PushContext), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Star), R(18),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(LdaFalse),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Star), R(19),
|
|
|
|
B(Mov), R(10), R(17),
|
|
|
|
B(CallJSRuntime), U8(%promise_internal_reject), R(17), U8(3),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(PopContext), R(16),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(10), 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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(12),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(Jump), U8(8),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Star), R(13),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(LdaSmi), I8(2),
|
|
|
|
B(Star), R(12),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(14),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_promise_release), R(10), U8(1),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(14),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(12),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(18), U8(3), I8(0),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(21),
|
|
|
|
B(Mov), R(10), R(15),
|
|
|
|
B(Mov), R(13), R(16),
|
|
|
|
B(CallJSRuntime), U8(%promise_resolve), R(15), U8(2),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Ldar), R(10),
|
|
|
|
/* 68 S> */ B(Return),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 68 S> */ B(Return),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
|
|
|
/* 68 S> */ B(Return),
|
|
|
|
]
|
|
|
|
constant pool: [
|
2017-09-08 11:46:07 +00:00
|
|
|
Smi [89],
|
|
|
|
Smi [342],
|
2017-10-05 08:30:58 +00:00
|
|
|
Smi [422],
|
2017-04-18 12:46:39 +00:00
|
|
|
TUPLE2_TYPE,
|
2017-02-24 17:48:49 +00:00
|
|
|
SYMBOL_TYPE,
|
|
|
|
SYMBOL_TYPE,
|
2017-09-08 11:46:07 +00:00
|
|
|
Smi [40],
|
2017-02-24 17:48:49 +00:00
|
|
|
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-10-05 08:30:58 +00:00
|
|
|
FIXED_ARRAY_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: [
|
2017-10-05 08:30:58 +00:00
|
|
|
[46, 564, 572],
|
|
|
|
[49, 521, 523],
|
2017-09-08 11:46:07 +00:00
|
|
|
[55, 259, 267],
|
|
|
|
[58, 219, 221],
|
|
|
|
[328, 386, 388],
|
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();
|
|
|
|
"
|
2017-08-11 15:16:31 +00:00
|
|
|
frame size: 23
|
2017-02-24 17:48:49 +00:00
|
|
|
parameter count: 1
|
2017-10-05 08:30:58 +00:00
|
|
|
bytecode array length: 607
|
2017-02-24 17:48:49 +00:00
|
|
|
bytecodes: [
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(2),
|
2017-09-08 11:46:07 +00:00
|
|
|
B(JumpIfUndefined), U8(18),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetContext), R(2), U8(1),
|
|
|
|
B(PushContext), R(12),
|
|
|
|
B(RestoreGeneratorState), R(2),
|
|
|
|
B(Star), R(11),
|
2017-05-15 16:31:05 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(0), U8(3), I8(0),
|
2018-01-03 23:27:03 +00:00
|
|
|
B(Abort), U8(15),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
|
|
|
B(Star), R(11),
|
|
|
|
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),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Star), R(10),
|
2017-08-11 15:16:31 +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),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(6),
|
2017-08-11 15:16:31 +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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(20),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(LdaNamedProperty), R(20), U8(4), U8(1),
|
2017-03-09 14:40:02 +00:00
|
|
|
B(JumpIfUndefined), U8(17),
|
|
|
|
B(JumpIfNull), U8(15),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(21),
|
2017-10-19 15:12:42 +00:00
|
|
|
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),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(LdaNamedProperty), R(20), U8(5), U8(5),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(21),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(CallProperty0), R(21), R(20), U8(7),
|
2017-08-11 15:16:31 +00:00
|
|
|
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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(11),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(6), U8(1), I8(0),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
2017-08-11 15:16:31 +00:00
|
|
|
/* 43 E> */ B(TestEqualStrictNoFeedback), R(11),
|
2017-09-08 11:46:07 +00:00
|
|
|
B(JumpIfTrue), U8(4),
|
2018-01-03 23:27:03 +00:00
|
|
|
B(Abort), U8(15),
|
2017-10-19 15:12:42 +00:00
|
|
|
/* 40 S> */ B(LdaNamedProperty), R(4), U8(7), U8(9),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(20),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(CallProperty0), R(20), R(4), U8(11),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Star), R(21),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(2), R(20),
|
|
|
|
B(Mov), R(10), R(22),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_uncaught), R(20), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(20), U8(0),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 114 S> */ B(Return),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(RestoreGeneratorRegisters), R(2), R(0), U8(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(11),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetInputOrDebugPos), R(2), U8(1),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
2017-07-20 12:35:28 +00:00
|
|
|
B(Star), R(21),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaZero),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(21),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2017-08-11 15:16:31 +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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(20), R(5),
|
|
|
|
/* 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),
|
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(5), U8(1),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(5), U8(8), U8(13),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfToBooleanTrue), U8(43),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(5), U8(9), U8(15),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Star), R(7),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(6),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Mov), R(7), 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),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(6),
|
2017-09-08 11:46:07 +00:00
|
|
|
B(JumpLoop), U8(129), I8(0),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Jump), U8(40),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Star), R(20),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(20), U8(10), U8(11),
|
|
|
|
B(Star), R(19),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(19),
|
|
|
|
B(PushContext), R(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(6), 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),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(6),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2017-08-11 15:16:31 +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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(16),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Jump), U8(7),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Star), R(17),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(LdaZero),
|
|
|
|
B(Star), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(18),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(6), U8(20),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(JumpIfTrue), U8(199),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(4), U8(12), U8(21),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Star), R(8),
|
2017-04-03 14:17:16 +00:00
|
|
|
B(TestUndetectable),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(188),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(TestEqualStrict), R(6), U8(23),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(JumpIfFalse), U8(109),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(Ldar), R(8),
|
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-01-04 22:36:27 +00:00
|
|
|
B(Wide), B(LdaSmi), I16(144),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(19),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(LdaConstant), U8(13),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(20),
|
|
|
|
B(CallRuntime), U16(Runtime::kNewTypeError), R(19), U8(2),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(Throw),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(context), R(19),
|
|
|
|
B(Mov), R(8), 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(10), R(22),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_caught), R(20), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(20), U8(1),
|
2017-06-02 11:55:48 +00:00
|
|
|
/* 114 S> */ B(Return),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(RestoreGeneratorRegisters), R(2), R(0), U8(20),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(11),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetInputOrDebugPos), R(2), U8(1),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
2017-07-20 12:35:28 +00:00
|
|
|
B(Star), R(21),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(LdaZero),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(21),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(20),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(ReThrow),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(20),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(20),
|
|
|
|
B(Star), R(20),
|
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(20), U8(10), U8(14),
|
|
|
|
B(Star), R(19),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(19),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(PushContext), R(20),
|
|
|
|
B(PopContext), R(20),
|
2017-07-25 18:37:36 +00:00
|
|
|
B(Jump), U8(74),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(8), 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(10), R(21),
|
|
|
|
B(CallJSRuntime), U8(%async_function_await_uncaught), R(19), U8(3),
|
|
|
|
B(SuspendGenerator), R(2), R(0), U8(19), U8(2),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 114 S> */ B(Return),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(RestoreGeneratorRegisters), R(2), R(0), U8(19),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(-2),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(11),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetInputOrDebugPos), R(2), U8(1),
|
|
|
|
B(Star), R(19),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_GeneratorGetResumeMode), R(2), U8(1),
|
2017-07-20 12:35:28 +00:00
|
|
|
B(Star), R(20),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(20),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfTrue), U8(5),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(19),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(ReThrow),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Mov), R(19), R(9),
|
|
|
|
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),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(9), U8(1),
|
2017-08-11 15:16:31 +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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(16),
|
2017-07-13 13:53:13 +00:00
|
|
|
B(JumpIfFalse), U8(5),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(17),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Star), R(17),
|
|
|
|
B(Mov), R(10), R(16),
|
|
|
|
B(CallJSRuntime), U8(%promise_resolve), R(16), U8(2),
|
2017-05-16 15:20:09 +00:00
|
|
|
B(LdaZero),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(10), R(13),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(58),
|
|
|
|
B(Jump), U8(42),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Star), R(16),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(closure),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(CreateCatchContext), R(16), U8(10), U8(15),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(15),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(15),
|
|
|
|
B(PushContext), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Star), R(18),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(LdaFalse),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Star), R(19),
|
|
|
|
B(Mov), R(10), R(17),
|
|
|
|
B(CallJSRuntime), U8(%promise_internal_reject), R(17), U8(3),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(PopContext), R(16),
|
2017-05-16 15:20:09 +00:00
|
|
|
B(LdaZero),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(Mov), R(10), 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),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(12),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(Jump), U8(8),
|
2017-06-05 19:54:14 +00:00
|
|
|
B(Star), R(13),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(LdaSmi), I8(1),
|
|
|
|
B(Star), R(12),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Star), R(14),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_promise_release), R(10), U8(1),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(14),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(12),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(16), U8(2), I8(0),
|
2017-06-02 11:55:48 +00:00
|
|
|
B(Jump), U8(8),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 114 S> */ B(Return),
|
2017-08-11 15:16:31 +00:00
|
|
|
B(Ldar), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
|
|
|
/* 114 S> */ B(Return),
|
|
|
|
]
|
|
|
|
constant pool: [
|
2017-09-08 11:46:07 +00:00
|
|
|
Smi [89],
|
|
|
|
Smi [357],
|
2017-10-05 08:30:58 +00:00
|
|
|
Smi [437],
|
2017-04-18 12:46:39 +00:00
|
|
|
TUPLE2_TYPE,
|
2017-02-24 17:48:49 +00:00
|
|
|
SYMBOL_TYPE,
|
|
|
|
SYMBOL_TYPE,
|
2017-09-08 11:46:07 +00:00
|
|
|
Smi [40],
|
2017-02-24 17:48:49 +00:00
|
|
|
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-10-05 08:30:58 +00:00
|
|
|
FIXED_ARRAY_TYPE,
|
2017-05-16 11:36:04 +00:00
|
|
|
Smi [6],
|
|
|
|
Smi [9],
|
2017-02-24 17:48:49 +00:00
|
|
|
]
|
|
|
|
handlers: [
|
2017-10-05 08:30:58 +00:00
|
|
|
[46, 566, 574],
|
|
|
|
[49, 524, 526],
|
2017-09-08 11:46:07 +00:00
|
|
|
[55, 275, 283],
|
|
|
|
[58, 235, 237],
|
|
|
|
[343, 401, 403],
|
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();
|
|
|
|
"
|
2017-05-24 15:48:27 +00:00
|
|
|
frame size: 19
|
2017-02-24 17:48:49 +00:00
|
|
|
parameter count: 1
|
2017-10-05 08:30:58 +00:00
|
|
|
bytecode array length: 417
|
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),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(8),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(context), R(11),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Mov), R(context), R(12),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 31 S> */ B(CreateObjectLiteral), U8(0), U8(0), U8(41), R(13),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(13), R(1),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(4),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(context), R(15),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Mov), R(context), R(16),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 68 S> */ B(CreateArrayLiteral), U8(1), U8(1), U8(37),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(17),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(17), U8(2), U8(2),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(18),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(CallProperty0), R(18), R(17), 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),
|
2017-10-19 15:12:42 +00:00
|
|
|
/* 59 S> */ B(LdaNamedProperty), R(2), U8(3), U8(6),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(17),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(CallProperty0), R(17), R(2), U8(8),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(3),
|
|
|
|
/* 59 E> */ B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(3), U8(1),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ToBooleanLogicalNot),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(JumpIfFalse), U8(7),
|
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(3), U8(1),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(3), U8(4), U8(10),
|
2017-07-17 19:02:35 +00:00
|
|
|
B(JumpIfToBooleanTrue), U8(30),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 58 E> */ B(LdaNamedProperty), R(3), U8(5), U8(12),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(5),
|
2017-05-12 17:29:53 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(4),
|
|
|
|
B(Ldar), R(5),
|
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),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(14),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaZero),
|
|
|
|
B(Star), 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(56),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Jump), U8(40),
|
|
|
|
B(Star), R(17),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(17), U8(7), U8(8),
|
|
|
|
B(Star), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(16),
|
|
|
|
B(PushContext), R(17),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(4), 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),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(4),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(18),
|
|
|
|
B(CallRuntime), U16(Runtime::kReThrow), R(18), U8(1),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(PopContext), R(17),
|
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(14),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(Jump), U8(8),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(14),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaSmi), I8(1),
|
|
|
|
B(Star), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(15),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaZero),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(4), U8(19),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(JumpIfTrue), U8(104),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(2), U8(9), U8(20),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(6),
|
2017-04-03 14:17:16 +00:00
|
|
|
B(TestUndetectable),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(93),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(TestEqualStrict), R(4), U8(22),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(JumpIfFalse), U8(61),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Ldar), R(6),
|
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-01-04 22:36:27 +00:00
|
|
|
B(Wide), B(LdaSmi), I16(144),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(16),
|
2017-03-15 11:29:12 +00:00
|
|
|
B(LdaConstant), U8(10),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(17),
|
|
|
|
B(CallRuntime), U16(Runtime::kNewTypeError), R(16), U8(2),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(Throw),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(context), R(16),
|
|
|
|
B(Mov), R(6), R(17),
|
|
|
|
B(Mov), R(2), R(18),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(17), U8(2),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(20),
|
|
|
|
B(Star), R(17),
|
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(17), U8(7), U8(11),
|
|
|
|
B(Star), R(16),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(16),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(PushContext), R(17),
|
|
|
|
B(PopContext), R(17),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Jump), U8(27),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(6), R(16),
|
|
|
|
B(Mov), R(2), R(17),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(16), U8(2),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(7),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(7), 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),
|
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(7), U8(1),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(15),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(13),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(12), U8(2), I8(0),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(Jump), U8(13),
|
|
|
|
B(LdaZero),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(9),
|
|
|
|
B(Mov), R(14), R(10),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(81),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(14),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Star), R(14),
|
|
|
|
B(Mov), R(8), R(13),
|
|
|
|
B(CallJSRuntime), U8(%promise_resolve), R(13), U8(2),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(9),
|
|
|
|
B(Mov), R(8), R(10),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(59),
|
|
|
|
B(Jump), U8(43),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(13),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(closure),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(CreateCatchContext), R(13), U8(7), U8(14),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(12),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(12),
|
|
|
|
B(PushContext), R(13),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Star), R(15),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaFalse),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Star), R(16),
|
|
|
|
B(Mov), R(8), R(14),
|
|
|
|
B(CallJSRuntime), U8(%promise_internal_reject), R(14), U8(3),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(PopContext), R(13),
|
2017-05-16 15:20:09 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(9),
|
|
|
|
B(Mov), R(8), R(10),
|
[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(10),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(9),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(Jump), U8(8),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Star), R(10),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaSmi), I8(2),
|
|
|
|
B(Star), R(9),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(11),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(CallJSRuntime), U8(%async_function_promise_release), R(8), U8(1),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(11),
|
2017-02-24 17:48:49 +00:00
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(9),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(15), U8(3), I8(0),
|
2017-09-06 22:48:36 +00:00
|
|
|
B(Jump), U8(21),
|
|
|
|
B(Mov), R(8), R(12),
|
|
|
|
B(Mov), R(10), R(13),
|
|
|
|
B(CallJSRuntime), U8(%promise_resolve), R(12), U8(2),
|
2017-05-24 13:54:57 +00:00
|
|
|
B(Ldar), R(8),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 96 S> */ B(Return),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(10),
|
2017-02-24 17:48:49 +00:00
|
|
|
/* 96 S> */ B(Return),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(10),
|
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-10-05 08:30:58 +00:00
|
|
|
FIXED_ARRAY_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: [
|
2017-10-05 08:30:58 +00:00
|
|
|
[10, 363, 371],
|
|
|
|
[13, 320, 322],
|
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
|
|
|
]
|
|
|
|
|