9d3dc6f219
FunctionEntry StackChecks is one of the two cases where we generate a StackCheck bytecode. In these cases, we do stack check against the js limit (not to be confused with the real js limit). Their purpose is to be able to interrupt the running code. We can omit the FunctionEntry StackCheck by embedding its code into the InterpreterEntryTrampoline builtin. We save one bytecode per interpreted function. This change has rippling effects for optimized code, as well as the deoptimizer. Bug: v8:10149, v8:9977, v8:9960 Change-Id: I6156de48b3bc0b519dd21190a8e6214fbe96c78d Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/1914218 Reviewed-by: Jakob Gruber <jgruber@chromium.org> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org> Commit-Queue: Santiago Aboy Solanes <solanes@chromium.org> Cr-Commit-Position: refs/heads/master@{#66206}
119 lines
3.4 KiB
Plaintext
119 lines
3.4 KiB
Plaintext
#
|
|
# Autogenerated by generate-bytecode-expectations.
|
|
#
|
|
|
|
---
|
|
wrap: yes
|
|
|
|
---
|
|
snippet: "
|
|
Math.max(...[1, 2, 3]);
|
|
"
|
|
frame size: 3
|
|
parameter count: 1
|
|
bytecode array length: 24
|
|
bytecodes: [
|
|
/* 34 S> */ B(LdaGlobal), U8(0), U8(0),
|
|
B(Star), R(1),
|
|
/* 39 E> */ B(LdaNamedProperty), R(1), U8(1), U8(2),
|
|
B(Star), R(0),
|
|
B(CreateArrayLiteral), U8(2), U8(4), U8(37),
|
|
B(Star), R(2),
|
|
/* 39 E> */ B(CallWithSpread), R(0), R(1), U8(2), U8(5),
|
|
B(LdaUndefined),
|
|
/* 58 S> */ B(Return),
|
|
]
|
|
constant pool: [
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["Math"],
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["max"],
|
|
ARRAY_BOILERPLATE_DESCRIPTION_TYPE,
|
|
]
|
|
handlers: [
|
|
]
|
|
|
|
---
|
|
snippet: "
|
|
Math.max(0, ...[1, 2, 3]);
|
|
"
|
|
frame size: 4
|
|
parameter count: 1
|
|
bytecode array length: 27
|
|
bytecodes: [
|
|
/* 34 S> */ B(LdaGlobal), U8(0), U8(0),
|
|
B(Star), R(1),
|
|
/* 39 E> */ B(LdaNamedProperty), R(1), U8(1), U8(2),
|
|
B(Star), R(0),
|
|
B(LdaZero),
|
|
B(Star), R(2),
|
|
B(CreateArrayLiteral), U8(2), U8(4), U8(37),
|
|
B(Star), R(3),
|
|
/* 39 E> */ B(CallWithSpread), R(0), R(1), U8(3), U8(5),
|
|
B(LdaUndefined),
|
|
/* 61 S> */ B(Return),
|
|
]
|
|
constant pool: [
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["Math"],
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["max"],
|
|
ARRAY_BOILERPLATE_DESCRIPTION_TYPE,
|
|
]
|
|
handlers: [
|
|
]
|
|
|
|
---
|
|
snippet: "
|
|
Math.max(0, ...[1, 2, 3], 4);
|
|
"
|
|
frame size: 8
|
|
parameter count: 1
|
|
bytecode array length: 100
|
|
bytecodes: [
|
|
/* 34 S> */ B(LdaGlobal), U8(0), U8(0),
|
|
B(Star), R(0),
|
|
B(LdaNamedProperty), R(0), U8(1), U8(2),
|
|
B(Star), R(1),
|
|
B(CreateArrayLiteral), U8(2), U8(4), U8(37),
|
|
B(Star), R(4),
|
|
B(LdaConstant), U8(3),
|
|
B(Star), R(3),
|
|
/* 49 S> */ B(CreateArrayLiteral), U8(4), U8(5), U8(37),
|
|
B(Star), R(7),
|
|
B(GetIterator), R(7), U8(6), U8(8),
|
|
B(Mov), R(0), R(2),
|
|
B(JumpIfJSReceiver), U8(7),
|
|
B(CallRuntime), U16(Runtime::kThrowSymbolIteratorInvalid), R(0), U8(0),
|
|
B(Star), R(6),
|
|
B(LdaNamedProperty), R(6), U8(5), U8(10),
|
|
B(Star), R(5),
|
|
B(CallProperty0), R(5), R(6), U8(19),
|
|
B(Star), R(7),
|
|
B(JumpIfJSReceiver), U8(7),
|
|
B(CallRuntime), U16(Runtime::kThrowIteratorResultNotAnObject), R(7), U8(1),
|
|
B(LdaNamedProperty), R(7), U8(6), U8(21),
|
|
B(JumpIfToBooleanTrue), U8(19),
|
|
B(LdaNamedProperty), R(7), U8(7), U8(12),
|
|
B(StaInArrayLiteral), R(4), R(3), U8(17),
|
|
B(Ldar), R(3),
|
|
B(Inc), U8(16),
|
|
B(Star), R(3),
|
|
B(JumpLoop), U8(33), I8(0),
|
|
B(LdaSmi), I8(4),
|
|
B(StaInArrayLiteral), R(4), R(3), U8(17),
|
|
B(Mov), R(4), R(3),
|
|
B(CallJSRuntime), U8(%reflect_apply), R(1), U8(3),
|
|
B(LdaUndefined),
|
|
/* 64 S> */ B(Return),
|
|
]
|
|
constant pool: [
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["Math"],
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["max"],
|
|
ARRAY_BOILERPLATE_DESCRIPTION_TYPE,
|
|
Smi [1],
|
|
ARRAY_BOILERPLATE_DESCRIPTION_TYPE,
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["next"],
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["done"],
|
|
ONE_BYTE_INTERNALIZED_STRING_TYPE ["value"],
|
|
]
|
|
handlers: [
|
|
]
|
|
|