2016-02-25 12:07:07 +00:00
|
|
|
#
|
|
|
|
# Autogenerated by generate-bytecode-expectations.
|
|
|
|
#
|
|
|
|
|
|
|
|
---
|
|
|
|
wrap: yes
|
|
|
|
|
|
|
|
---
|
|
|
|
snippet: "
|
|
|
|
for (var p of [0, 1, 2]) {}
|
|
|
|
"
|
2017-05-24 15:48:27 +00:00
|
|
|
frame size: 14
|
2016-02-25 12:07:07 +00:00
|
|
|
parameter count: 1
|
2017-10-05 08:30:58 +00:00
|
|
|
bytecode array length: 262
|
2016-02-25 12:07:07 +00:00
|
|
|
bytecodes: [
|
2016-05-11 12:21:56 +00:00
|
|
|
/* 30 E> */ B(StackCheck),
|
|
|
|
B(LdaZero),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(4),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(context), R(10),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Mov), R(context), R(11),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 48 S> */ B(CreateArrayLiteral), U8(0), U8(0), U8(37),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(12),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(12), U8(1), U8(1),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(Star), R(13),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(CallProperty0), R(13), R(12), U8(3),
|
[ignition] desugar GetIterator() via bytecode rather than via AST
Introduces:
- a new AST node representing the GetIterator() algorithm in the specification, to be used by ForOfStatement, YieldExpression (in the case of delegating yield*), and the future `for-await-of` loop proposed in http://tc39.github.io/proposal-async-iteration/#sec-async-iterator-value-unwrap-functions.
- a new opcode (JumpIfJSReceiver), which is useful for `if Type(object) is not Object` checks which are common throughout the specification. This node is easily eliminated by TurboFan.
The AST node is desugared specially in bytecode, rather than manually when building the AST. The benefit of this is that desugaring in the BytecodeGenerator is much simpler and easier to understand than desugaring the AST.
This also reduces parse time very slightly, and allows us to use LoadIC rather than KeyedLoadIC, which seems to have better baseline performance. This results in a ~20% improvement in test/js-perf-test/Iterators micro-benchmarks, which I believe owes to the use of the slightly faster LoadIC as opposed to the KeyedLoadIC in the baseline case. Both produce identical optimized code via TurboFan when the type check can be eliminated, and the load can be replaced with a constant value.
BUG=v8:4280
R=bmeurer@chromium.org, rmcilroy@chromium.org, adamk@chromium.org, neis@chromium.org, jarin@chromium.org
TBR=rossberg@chromium.org
Review-Url: https://codereview.chromium.org/2557593004
Cr-Commit-Position: refs/heads/master@{#41555}
2016-12-07 15:19:52 +00:00
|
|
|
B(JumpIfJSReceiver), U8(7),
|
|
|
|
B(CallRuntime), U16(Runtime::kThrowSymbolIteratorInvalid), R(0), U8(0),
|
2016-06-09 13:32:33 +00:00
|
|
|
B(Star), R(2),
|
2017-10-19 15:12:42 +00:00
|
|
|
/* 43 S> */ B(LdaNamedProperty), R(2), U8(2), U8(5),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(12),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(CallProperty0), R(12), R(2), U8(7),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(3),
|
2017-05-24 12:12:53 +00:00
|
|
|
/* 43 E> */ B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(3), U8(1),
|
2016-05-17 20:39:45 +00:00
|
|
|
B(ToBooleanLogicalNot),
|
2016-05-27 15:57:35 +00:00
|
|
|
B(JumpIfFalse), U8(7),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(3), U8(1),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(3), U8(3), U8(9),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(JumpIfToBooleanTrue), U8(25),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(3), U8(4), U8(11),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(Star), R(5),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(4),
|
|
|
|
B(Mov), R(5), R(0),
|
2016-05-27 15:57:35 +00:00
|
|
|
/* 34 E> */ B(StackCheck),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Mov), R(0), R(1),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(LdaZero),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(4),
|
2017-03-09 14:40:02 +00:00
|
|
|
B(JumpLoop), U8(50), I8(0),
|
2016-11-10 10:41:48 +00:00
|
|
|
B(Jump), U8(36),
|
2017-05-02 19:03:03 +00:00
|
|
|
B(Star), R(12),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(12), U8(5), U8(6),
|
|
|
|
B(PushContext), R(12),
|
|
|
|
B(Star), R(11),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(4), U8(13),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(6),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(4),
|
2017-02-07 20:42:03 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2016-11-10 10:41:48 +00:00
|
|
|
B(Star), R(13),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kReThrow), R(13), U8(1),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(PopContext), R(12),
|
2017-01-25 17:39:24 +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(9),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(8),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Jump), U8(7),
|
|
|
|
B(Star), R(9),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaZero),
|
|
|
|
B(Star), R(8),
|
2016-11-16 10:46:23 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(10),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(LdaZero),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(4), U8(14),
|
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(7), U8(15),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(Star), R(6),
|
2017-04-03 14:17:16 +00:00
|
|
|
B(TestUndetectable),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(93),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(TestEqualStrict), R(4), U8(17),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(JumpIfFalse), U8(61),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Ldar), R(6),
|
2017-11-07 09:26:56 +00:00
|
|
|
B(TestTypeOf), U8(6),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
|
|
|
B(Jump), U8(18),
|
2017-10-31 19:07:50 +00:00
|
|
|
B(Wide), B(LdaSmi), I16(142),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(11),
|
2017-03-15 11:29:12 +00:00
|
|
|
B(LdaConstant), U8(8),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(CallRuntime), U16(Runtime::kNewTypeError), R(11), U8(2),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Throw),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(context), R(11),
|
|
|
|
B(Mov), R(6), R(12),
|
|
|
|
B(Mov), R(2), R(13),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(12), U8(2),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(20),
|
|
|
|
B(Star), R(12),
|
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(12), U8(5), U8(9),
|
|
|
|
B(Star), R(11),
|
2016-11-16 10:46:23 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(11),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(PushContext), R(12),
|
|
|
|
B(PopContext), R(12),
|
2016-06-21 14:37:16 +00:00
|
|
|
B(Jump), U8(27),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(6), R(11),
|
|
|
|
B(Mov), R(2), R(12),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(11), U8(2),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(7),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(7), U8(1),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfToBooleanFalse), U8(4),
|
2016-05-27 15:57:35 +00:00
|
|
|
B(Jump), U8(7),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(7), U8(1),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(10),
|
2016-11-16 10:46:23 +00:00
|
|
|
B(SetPendingMessage),
|
2017-05-16 16:38:52 +00:00
|
|
|
B(LdaZero),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(8),
|
2017-05-16 16:38:52 +00:00
|
|
|
B(JumpIfFalse), U8(5),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(9),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
|
|
|
/* 62 S> */ B(Return),
|
2016-02-25 12:07:07 +00:00
|
|
|
]
|
|
|
|
constant pool: [
|
2017-04-18 12:46:39 +00:00
|
|
|
TUPLE2_TYPE,
|
2016-09-06 16:10:19 +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 [".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,
|
2016-02-25 12:07:07 +00:00
|
|
|
]
|
|
|
|
handlers: [
|
[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
|
|
|
[7, 124, 132],
|
2017-03-09 14:40:02 +00:00
|
|
|
[10, 88, 90],
|
[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
|
|
|
[192, 202, 204],
|
2016-02-25 12:07:07 +00:00
|
|
|
]
|
|
|
|
|
|
|
|
---
|
|
|
|
snippet: "
|
|
|
|
var x = 'potatoes';
|
|
|
|
for (var p of x) { return p; }
|
|
|
|
"
|
2017-05-24 15:48:27 +00:00
|
|
|
frame size: 15
|
2016-02-25 12:07:07 +00:00
|
|
|
parameter count: 1
|
2017-10-05 08:30:58 +00:00
|
|
|
bytecode array length: 272
|
2016-02-25 12:07:07 +00:00
|
|
|
bytecodes: [
|
2016-05-11 12:21:56 +00:00
|
|
|
/* 30 E> */ B(StackCheck),
|
|
|
|
/* 42 S> */ B(LdaConstant), U8(0),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(0),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(LdaZero),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(5),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(context), R(11),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Mov), R(context), R(12),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 68 S> */ B(LdaNamedProperty), R(0), U8(1), U8(0),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(14),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(CallProperty0), R(14), R(0), U8(2),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(0), R(13),
|
[ignition] desugar GetIterator() via bytecode rather than via AST
Introduces:
- a new AST node representing the GetIterator() algorithm in the specification, to be used by ForOfStatement, YieldExpression (in the case of delegating yield*), and the future `for-await-of` loop proposed in http://tc39.github.io/proposal-async-iteration/#sec-async-iterator-value-unwrap-functions.
- a new opcode (JumpIfJSReceiver), which is useful for `if Type(object) is not Object` checks which are common throughout the specification. This node is easily eliminated by TurboFan.
The AST node is desugared specially in bytecode, rather than manually when building the AST. The benefit of this is that desugaring in the BytecodeGenerator is much simpler and easier to understand than desugaring the AST.
This also reduces parse time very slightly, and allows us to use LoadIC rather than KeyedLoadIC, which seems to have better baseline performance. This results in a ~20% improvement in test/js-perf-test/Iterators micro-benchmarks, which I believe owes to the use of the slightly faster LoadIC as opposed to the KeyedLoadIC in the baseline case. Both produce identical optimized code via TurboFan when the type check can be eliminated, and the load can be replaced with a constant value.
BUG=v8:4280
R=bmeurer@chromium.org, rmcilroy@chromium.org, adamk@chromium.org, neis@chromium.org, jarin@chromium.org
TBR=rossberg@chromium.org
Review-Url: https://codereview.chromium.org/2557593004
Cr-Commit-Position: refs/heads/master@{#41555}
2016-12-07 15:19:52 +00:00
|
|
|
B(JumpIfJSReceiver), U8(7),
|
|
|
|
B(CallRuntime), U16(Runtime::kThrowSymbolIteratorInvalid), R(0), U8(0),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(3),
|
2017-10-19 15:12:42 +00:00
|
|
|
/* 63 S> */ B(LdaNamedProperty), R(3), U8(2), U8(4),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(13),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(CallProperty0), R(13), R(3), U8(6),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(4),
|
2017-05-24 12:12:53 +00:00
|
|
|
/* 63 E> */ B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(4), U8(1),
|
2016-05-17 20:39:45 +00:00
|
|
|
B(ToBooleanLogicalNot),
|
2016-05-27 15:57:35 +00:00
|
|
|
B(JumpIfFalse), U8(7),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(4), U8(1),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(4), U8(3), U8(8),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(JumpIfToBooleanTrue), U8(27),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(4), U8(4), U8(10),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(Star), R(6),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(5),
|
|
|
|
B(Mov), R(6), R(1),
|
2016-05-27 15:57:35 +00:00
|
|
|
/* 54 E> */ B(StackCheck),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Mov), R(1), R(2),
|
2016-05-27 15:57:35 +00:00
|
|
|
/* 73 S> */ B(LdaZero),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(9),
|
2017-06-09 09:26:27 +00:00
|
|
|
B(Mov), R(6), 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(52),
|
2016-11-10 10:41:48 +00:00
|
|
|
B(Jump), U8(36),
|
2017-05-02 19:03:03 +00:00
|
|
|
B(Star), R(13),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(13), U8(5), U8(6),
|
|
|
|
B(PushContext), R(13),
|
|
|
|
B(Star), R(12),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(5), U8(12),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(6),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(5),
|
2017-02-07 20:42:03 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2016-11-10 10:41:48 +00:00
|
|
|
B(Star), R(14),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kReThrow), R(14), U8(1),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(PopContext), R(13),
|
2017-01-25 17:39:24 +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),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Jump), U8(8),
|
|
|
|
B(Star), R(10),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaSmi), I8(1),
|
|
|
|
B(Star), R(9),
|
2016-11-16 10:46:23 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(11),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(LdaZero),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(5), U8(13),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(JumpIfTrue), U8(104),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(3), U8(7), U8(14),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(Star), R(7),
|
2017-04-03 14:17:16 +00:00
|
|
|
B(TestUndetectable),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(93),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(TestEqualStrict), R(5), U8(16),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(JumpIfFalse), U8(61),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Ldar), R(7),
|
2017-11-07 09:26:56 +00:00
|
|
|
B(TestTypeOf), U8(6),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
|
|
|
B(Jump), U8(18),
|
2017-10-31 19:07:50 +00:00
|
|
|
B(Wide), B(LdaSmi), I16(142),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(12),
|
2017-03-15 11:29:12 +00:00
|
|
|
B(LdaConstant), U8(8),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(13),
|
|
|
|
B(CallRuntime), U16(Runtime::kNewTypeError), R(12), U8(2),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Throw),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(context), R(12),
|
|
|
|
B(Mov), R(7), R(13),
|
|
|
|
B(Mov), R(3), R(14),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(13), U8(2),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(20),
|
|
|
|
B(Star), R(13),
|
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(13), U8(5), U8(9),
|
|
|
|
B(Star), R(12),
|
2016-11-16 10:46:23 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(12),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(PushContext), R(13),
|
|
|
|
B(PopContext), R(13),
|
2016-06-21 14:37:16 +00:00
|
|
|
B(Jump), U8(27),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(7), R(12),
|
|
|
|
B(Mov), R(3), R(13),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(12), U8(2),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(8),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(8), U8(1),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfToBooleanFalse), U8(4),
|
2016-05-27 15:57:35 +00:00
|
|
|
B(Jump), U8(7),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(8), U8(1),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(11),
|
2016-11-16 10:46:23 +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(10), U8(2), I8(0),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Jump), U8(8),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(10),
|
2016-05-11 12:21:56 +00:00
|
|
|
/* 85 S> */ B(Return),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(10),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
|
|
|
/* 85 S> */ B(Return),
|
2016-02-25 12:07:07 +00:00
|
|
|
]
|
|
|
|
constant pool: [
|
2016-09-06 16:10:19 +00:00
|
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["potatoes"],
|
|
|
|
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-10-05 08:30:58 +00:00
|
|
|
FIXED_ARRAY_TYPE,
|
2017-05-16 11:36:04 +00:00
|
|
|
Smi [6],
|
|
|
|
Smi [9],
|
2016-02-25 12:07:07 +00:00
|
|
|
]
|
|
|
|
handlers: [
|
[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
|
|
|
[11, 127, 135],
|
2017-03-09 14:40:02 +00:00
|
|
|
[14, 91, 93],
|
[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
|
|
|
[196, 206, 208],
|
2016-02-25 12:07:07 +00:00
|
|
|
]
|
|
|
|
|
|
|
|
---
|
|
|
|
snippet: "
|
|
|
|
for (var x of [10, 20, 30]) {
|
|
|
|
if (x == 10) continue;
|
|
|
|
if (x == 20) break;
|
|
|
|
}
|
|
|
|
"
|
2017-05-24 15:48:27 +00:00
|
|
|
frame size: 14
|
2016-02-25 12:07:07 +00:00
|
|
|
parameter count: 1
|
2017-10-05 08:30:58 +00:00
|
|
|
bytecode array length: 280
|
2016-02-25 12:07:07 +00:00
|
|
|
bytecodes: [
|
2016-05-11 12:21:56 +00:00
|
|
|
/* 30 E> */ B(StackCheck),
|
|
|
|
B(LdaZero),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(4),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(context), R(10),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Mov), R(context), R(11),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 48 S> */ B(CreateArrayLiteral), U8(0), U8(0), U8(37),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(12),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(12), U8(1), U8(1),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(Star), R(13),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(CallProperty0), R(13), R(12), U8(3),
|
[ignition] desugar GetIterator() via bytecode rather than via AST
Introduces:
- a new AST node representing the GetIterator() algorithm in the specification, to be used by ForOfStatement, YieldExpression (in the case of delegating yield*), and the future `for-await-of` loop proposed in http://tc39.github.io/proposal-async-iteration/#sec-async-iterator-value-unwrap-functions.
- a new opcode (JumpIfJSReceiver), which is useful for `if Type(object) is not Object` checks which are common throughout the specification. This node is easily eliminated by TurboFan.
The AST node is desugared specially in bytecode, rather than manually when building the AST. The benefit of this is that desugaring in the BytecodeGenerator is much simpler and easier to understand than desugaring the AST.
This also reduces parse time very slightly, and allows us to use LoadIC rather than KeyedLoadIC, which seems to have better baseline performance. This results in a ~20% improvement in test/js-perf-test/Iterators micro-benchmarks, which I believe owes to the use of the slightly faster LoadIC as opposed to the KeyedLoadIC in the baseline case. Both produce identical optimized code via TurboFan when the type check can be eliminated, and the load can be replaced with a constant value.
BUG=v8:4280
R=bmeurer@chromium.org, rmcilroy@chromium.org, adamk@chromium.org, neis@chromium.org, jarin@chromium.org
TBR=rossberg@chromium.org
Review-Url: https://codereview.chromium.org/2557593004
Cr-Commit-Position: refs/heads/master@{#41555}
2016-12-07 15:19:52 +00:00
|
|
|
B(JumpIfJSReceiver), U8(7),
|
|
|
|
B(CallRuntime), U16(Runtime::kThrowSymbolIteratorInvalid), R(0), U8(0),
|
2016-06-09 13:32:33 +00:00
|
|
|
B(Star), R(2),
|
2017-10-19 15:12:42 +00:00
|
|
|
/* 43 S> */ B(LdaNamedProperty), R(2), U8(2), U8(5),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(12),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(CallProperty0), R(12), R(2), U8(7),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(3),
|
2017-05-24 12:12:53 +00:00
|
|
|
/* 43 E> */ B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(3), U8(1),
|
2016-05-17 20:39:45 +00:00
|
|
|
B(ToBooleanLogicalNot),
|
2016-05-27 15:57:35 +00:00
|
|
|
B(JumpIfFalse), U8(7),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(3), U8(1),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(3), U8(3), U8(9),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(JumpIfToBooleanTrue), U8(43),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(3), U8(4), U8(11),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(Star), R(5),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(4),
|
|
|
|
B(Mov), R(5), R(0),
|
2016-05-27 15:57:35 +00:00
|
|
|
/* 34 E> */ B(StackCheck),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Mov), R(0), R(1),
|
2017-01-25 17:39:24 +00:00
|
|
|
/* 66 S> */ B(LdaSmi), I8(10),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 72 E> */ B(TestEqual), R(1), U8(13),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2016-08-30 10:21:02 +00:00
|
|
|
/* 79 S> */ B(Jump), U8(14),
|
2017-01-25 17:39:24 +00:00
|
|
|
/* 91 S> */ B(LdaSmi), I8(20),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 97 E> */ B(TestEqual), R(1), U8(14),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2016-09-13 13:07:15 +00:00
|
|
|
/* 104 S> */ B(Jump), U8(8),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(LdaZero),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(4),
|
2017-03-09 14:40:02 +00:00
|
|
|
B(JumpLoop), U8(68), I8(0),
|
2016-11-10 10:41:48 +00:00
|
|
|
B(Jump), U8(36),
|
2017-05-02 19:03:03 +00:00
|
|
|
B(Star), R(12),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(12), U8(5), U8(6),
|
|
|
|
B(PushContext), R(12),
|
|
|
|
B(Star), R(11),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(4), U8(15),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(6),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(4),
|
2017-02-07 20:42:03 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2016-11-10 10:41:48 +00:00
|
|
|
B(Star), R(13),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kReThrow), R(13), U8(1),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(PopContext), R(12),
|
2017-01-25 17:39:24 +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(9),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(8),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Jump), U8(7),
|
|
|
|
B(Star), R(9),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaZero),
|
|
|
|
B(Star), R(8),
|
2016-11-16 10:46:23 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(10),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(LdaZero),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(4), U8(16),
|
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(7), U8(17),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(Star), R(6),
|
2017-04-03 14:17:16 +00:00
|
|
|
B(TestUndetectable),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(93),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(TestEqualStrict), R(4), U8(19),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(JumpIfFalse), U8(61),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Ldar), R(6),
|
2017-11-07 09:26:56 +00:00
|
|
|
B(TestTypeOf), U8(6),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
|
|
|
B(Jump), U8(18),
|
2017-10-31 19:07:50 +00:00
|
|
|
B(Wide), B(LdaSmi), I16(142),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(11),
|
2017-03-15 11:29:12 +00:00
|
|
|
B(LdaConstant), U8(8),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(12),
|
|
|
|
B(CallRuntime), U16(Runtime::kNewTypeError), R(11), U8(2),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Throw),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(context), R(11),
|
|
|
|
B(Mov), R(6), R(12),
|
|
|
|
B(Mov), R(2), R(13),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(12), U8(2),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(20),
|
|
|
|
B(Star), R(12),
|
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(12), U8(5), U8(9),
|
|
|
|
B(Star), R(11),
|
2016-11-16 10:46:23 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(11),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(PushContext), R(12),
|
|
|
|
B(PopContext), R(12),
|
2016-06-21 14:37:16 +00:00
|
|
|
B(Jump), U8(27),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(6), R(11),
|
|
|
|
B(Mov), R(2), R(12),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(11), U8(2),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(7),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(7), U8(1),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfToBooleanFalse), U8(4),
|
2016-05-27 15:57:35 +00:00
|
|
|
B(Jump), U8(7),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(7), U8(1),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(10),
|
2016-11-16 10:46:23 +00:00
|
|
|
B(SetPendingMessage),
|
2017-05-16 16:38:52 +00:00
|
|
|
B(LdaZero),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(TestEqualStrictNoFeedback), R(8),
|
2017-05-16 16:38:52 +00:00
|
|
|
B(JumpIfFalse), U8(5),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(9),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
|
|
|
/* 113 S> */ B(Return),
|
2016-02-25 12:07:07 +00:00
|
|
|
]
|
|
|
|
constant pool: [
|
2017-04-18 12:46:39 +00:00
|
|
|
TUPLE2_TYPE,
|
2016-09-06 16:10:19 +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 [".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,
|
2016-02-25 12:07:07 +00:00
|
|
|
]
|
|
|
|
handlers: [
|
[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
|
|
|
[7, 142, 150],
|
2017-03-09 14:40:02 +00:00
|
|
|
[10, 106, 108],
|
[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
|
|
|
[210, 220, 222],
|
2016-02-25 12:07:07 +00:00
|
|
|
]
|
|
|
|
|
|
|
|
---
|
|
|
|
snippet: "
|
|
|
|
var x = { 'a': 1, 'b': 2 };
|
|
|
|
for (x['a'] of [1,2,3]) { return x['a']; }
|
|
|
|
"
|
2017-05-24 15:48:27 +00:00
|
|
|
frame size: 13
|
2016-02-25 12:07:07 +00:00
|
|
|
parameter count: 1
|
2017-10-05 08:30:58 +00:00
|
|
|
bytecode array length: 282
|
2016-02-25 12:07:07 +00:00
|
|
|
bytecodes: [
|
2016-05-11 12:21:56 +00:00
|
|
|
/* 30 E> */ B(StackCheck),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 42 S> */ B(CreateObjectLiteral), U8(0), U8(0), U8(41), R(7),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(7), R(0),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(LdaZero),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(3),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(context), R(9),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Mov), R(context), R(10),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 77 S> */ B(CreateArrayLiteral), U8(1), U8(1), U8(37),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(11),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(11), U8(2), U8(2),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(Star), R(12),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(CallProperty0), R(12), R(11), U8(4),
|
[ignition] desugar GetIterator() via bytecode rather than via AST
Introduces:
- a new AST node representing the GetIterator() algorithm in the specification, to be used by ForOfStatement, YieldExpression (in the case of delegating yield*), and the future `for-await-of` loop proposed in http://tc39.github.io/proposal-async-iteration/#sec-async-iterator-value-unwrap-functions.
- a new opcode (JumpIfJSReceiver), which is useful for `if Type(object) is not Object` checks which are common throughout the specification. This node is easily eliminated by TurboFan.
The AST node is desugared specially in bytecode, rather than manually when building the AST. The benefit of this is that desugaring in the BytecodeGenerator is much simpler and easier to understand than desugaring the AST.
This also reduces parse time very slightly, and allows us to use LoadIC rather than KeyedLoadIC, which seems to have better baseline performance. This results in a ~20% improvement in test/js-perf-test/Iterators micro-benchmarks, which I believe owes to the use of the slightly faster LoadIC as opposed to the KeyedLoadIC in the baseline case. Both produce identical optimized code via TurboFan when the type check can be eliminated, and the load can be replaced with a constant value.
BUG=v8:4280
R=bmeurer@chromium.org, rmcilroy@chromium.org, adamk@chromium.org, neis@chromium.org, jarin@chromium.org
TBR=rossberg@chromium.org
Review-Url: https://codereview.chromium.org/2557593004
Cr-Commit-Position: refs/heads/master@{#41555}
2016-12-07 15:19:52 +00:00
|
|
|
B(JumpIfJSReceiver), U8(7),
|
|
|
|
B(CallRuntime), U16(Runtime::kThrowSymbolIteratorInvalid), R(0), U8(0),
|
2016-06-09 13:32:33 +00:00
|
|
|
B(Star), R(1),
|
2017-10-19 15:12:42 +00:00
|
|
|
/* 68 S> */ B(LdaNamedProperty), R(1), U8(3), U8(6),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(11),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(CallProperty0), R(11), R(1), U8(8),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(2),
|
2017-05-24 12:12:53 +00:00
|
|
|
/* 68 E> */ B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(2), U8(1),
|
2016-05-17 20:39:45 +00:00
|
|
|
B(ToBooleanLogicalNot),
|
2016-05-27 15:57:35 +00:00
|
|
|
B(JumpIfFalse), U8(7),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(2), U8(1),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(LdaNamedProperty), R(2), U8(4), U8(10),
|
2017-07-17 19:02:35 +00:00
|
|
|
B(JumpIfToBooleanTrue), U8(30),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 67 E> */ B(LdaNamedProperty), R(2), U8(5), U8(12),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(Star), R(4),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(3),
|
|
|
|
B(Ldar), R(4),
|
2017-09-02 00:52:16 +00:00
|
|
|
B(StaNamedProperty), R(0), U8(6), U8(14),
|
2016-05-11 12:21:56 +00:00
|
|
|
/* 62 E> */ B(StackCheck),
|
2017-07-27 12:45:00 +00:00
|
|
|
/* 96 S> */ B(LdaNamedProperty), R(0), U8(6), U8(16),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Star), R(8),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaZero),
|
|
|
|
B(Star), R(7),
|
[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(52),
|
2016-11-10 10:41:48 +00:00
|
|
|
B(Jump), U8(36),
|
2017-05-02 19:03:03 +00:00
|
|
|
B(Star), R(11),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(11), U8(7), U8(8),
|
|
|
|
B(PushContext), R(11),
|
|
|
|
B(Star), R(10),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(2),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(3), U8(18),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(6),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(3),
|
2017-02-07 20:42:03 +00:00
|
|
|
B(LdaImmutableCurrentContextSlot), U8(4),
|
2016-11-10 10:41:48 +00:00
|
|
|
B(Star), R(12),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kReThrow), R(12), U8(1),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(PopContext), R(11),
|
2017-01-25 17:39:24 +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(8),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(7),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Jump), U8(8),
|
|
|
|
B(Star), R(8),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(LdaSmi), I8(1),
|
|
|
|
B(Star), R(7),
|
2016-11-16 10:46:23 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(9),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(LdaZero),
|
2017-07-27 12:45:00 +00:00
|
|
|
B(TestEqualStrict), R(3), 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(1), U8(9), U8(20),
|
2016-11-09 13:16:01 +00:00
|
|
|
B(Star), R(5),
|
2017-04-03 14:17:16 +00:00
|
|
|
B(TestUndetectable),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(93),
|
2017-01-25 17:39:24 +00:00
|
|
|
B(LdaSmi), I8(1),
|
2017-10-19 15:12:42 +00:00
|
|
|
B(TestEqualStrict), R(3), U8(22),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(JumpIfFalse), U8(61),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Ldar), R(5),
|
2017-11-07 09:26:56 +00:00
|
|
|
B(TestTypeOf), U8(6),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfFalse), U8(4),
|
|
|
|
B(Jump), U8(18),
|
2017-10-31 19:07:50 +00:00
|
|
|
B(Wide), B(LdaSmi), I16(142),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(10),
|
2017-03-15 11:29:12 +00:00
|
|
|
B(LdaConstant), U8(10),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Star), R(11),
|
|
|
|
B(CallRuntime), U16(Runtime::kNewTypeError), R(10), U8(2),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Throw),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(context), R(10),
|
|
|
|
B(Mov), R(5), R(11),
|
|
|
|
B(Mov), R(1), R(12),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(11), U8(2),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(Jump), U8(20),
|
|
|
|
B(Star), R(11),
|
|
|
|
B(Ldar), R(closure),
|
|
|
|
B(CreateCatchContext), R(11), U8(7), U8(11),
|
|
|
|
B(Star), R(10),
|
2016-11-16 10:46:23 +00:00
|
|
|
B(LdaTheHole),
|
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(10),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(PushContext), R(11),
|
|
|
|
B(PopContext), R(11),
|
2016-06-21 14:37:16 +00:00
|
|
|
B(Jump), U8(27),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Mov), R(5), R(10),
|
|
|
|
B(Mov), R(1), R(11),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_Call), R(10), U8(2),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(Star), R(6),
|
|
|
|
B(InvokeIntrinsic), U8(Runtime::k_IsJSReceiver), R(6), U8(1),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(JumpIfToBooleanFalse), U8(4),
|
2016-05-27 15:57:35 +00:00
|
|
|
B(Jump), U8(7),
|
2016-08-25 19:11:19 +00:00
|
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(6), U8(1),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(9),
|
2016-11-16 10:46:23 +00:00
|
|
|
B(SetPendingMessage),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(7),
|
2017-10-05 08:30:58 +00:00
|
|
|
B(SwitchOnSmiNoFeedback), U8(12), U8(2), I8(0),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(Jump), U8(8),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(8),
|
2016-05-11 12:21:56 +00:00
|
|
|
/* 105 S> */ B(Return),
|
2017-05-24 15:48:27 +00:00
|
|
|
B(Ldar), R(8),
|
2016-05-11 12:21:56 +00:00
|
|
|
B(ReThrow),
|
|
|
|
B(LdaUndefined),
|
|
|
|
/* 105 S> */ B(Return),
|
2016-02-25 12:07:07 +00:00
|
|
|
]
|
|
|
|
constant pool: [
|
2016-09-06 16:10:19 +00:00
|
|
|
FIXED_ARRAY_TYPE,
|
2017-04-18 12:46:39 +00:00
|
|
|
TUPLE2_TYPE,
|
2016-09-06 16:10:19 +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 [9],
|
2016-02-25 12:07:07 +00:00
|
|
|
]
|
|
|
|
handlers: [
|
[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
|
|
|
[15, 137, 145],
|
2017-07-17 19:02:35 +00:00
|
|
|
[18, 101, 103],
|
[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
|
|
|
[206, 216, 218],
|
2016-02-25 12:07:07 +00:00
|
|
|
]
|
|
|
|
|