c360c6a1d0
Introduces ThrowReferenceErrorIfHole / ThrowSuperNotCalledIfHole / ThrowSuperAlreadyCalledIfNotHole bytecodes to handle hole checks. In the bytecode-graph builder they are handled by introducing a deopt point instead of adding explicit control flow. JumpIfNotHole / JumpIfNotHoleConstant bytecodes are removed since they are no longer required. Bug: v8:4280, v8:6383 Change-Id: I58b70c556b0ffa30e41a0cd44016874c3e9c5fe1 Reviewed-on: https://chromium-review.googlesource.com/509613 Commit-Queue: Mythri Alle <mythria@chromium.org> Reviewed-by: Benedikt Meurer <bmeurer@chromium.org> Reviewed-by: Jaroslav Sevcik <jarin@chromium.org> Reviewed-by: Michael Lippautz <mlippautz@chromium.org> Reviewed-by: Ross McIlroy <rmcilroy@chromium.org> Cr-Commit-Position: refs/heads/master@{#45720}
143 lines
3.6 KiB
Plaintext
143 lines
3.6 KiB
Plaintext
#
|
|
# Autogenerated by generate-bytecode-expectations.
|
|
#
|
|
|
|
---
|
|
wrap: no
|
|
test function name: test
|
|
|
|
---
|
|
snippet: "
|
|
var test;
|
|
(function() {
|
|
class A {
|
|
constructor(...args) { this.baseArgs = args; }
|
|
}
|
|
class B extends A {}
|
|
test = new B(1, 2, 3).constructor;
|
|
})();
|
|
"
|
|
frame size: 4
|
|
parameter count: 1
|
|
bytecode array length: 23
|
|
bytecodes: [
|
|
B(CreateRestParameter),
|
|
B(Star), R(2),
|
|
B(Mov), R(closure), R(1),
|
|
B(Mov), R(new_target), R(0),
|
|
B(Ldar), R(new_target),
|
|
/* 93 E> */ B(StackCheck),
|
|
/* 93 S> */ B(Ldar), R(1),
|
|
B(GetSuperConstructor), R(3),
|
|
B(Ldar), R(0),
|
|
/* 93 E> */ B(ConstructWithSpread), R(3), R(2), U8(1),
|
|
/* 93 S> */ B(Return),
|
|
]
|
|
constant pool: [
|
|
]
|
|
handlers: [
|
|
]
|
|
|
|
---
|
|
snippet: "
|
|
var test;
|
|
(function() {
|
|
class A {
|
|
constructor(...args) { this.baseArgs = args; }
|
|
}
|
|
class B extends A {
|
|
constructor(...args) { super(1, ...args); }
|
|
}
|
|
test = new B(1, 2, 3).constructor;
|
|
})();
|
|
"
|
|
frame size: 7
|
|
parameter count: 1
|
|
bytecode array length: 44
|
|
bytecodes: [
|
|
B(CreateRestParameter),
|
|
B(Star), R(2),
|
|
B(Mov), R(closure), R(1),
|
|
B(Mov), R(new_target), R(0),
|
|
B(Ldar), R(new_target),
|
|
/* 128 E> */ B(StackCheck),
|
|
B(Mov), R(2), R(3),
|
|
/* 140 S> */ B(Ldar), R(1),
|
|
B(GetSuperConstructor), R(4),
|
|
B(LdaSmi), I8(1),
|
|
B(Star), R(5),
|
|
B(Ldar), R(0),
|
|
B(Mov), R(2), R(6),
|
|
/* 140 E> */ B(ConstructWithSpread), R(4), R(5), U8(2),
|
|
B(Star), R(4),
|
|
B(Ldar), R(this),
|
|
/* 140 E> */ B(ThrowSuperAlreadyCalledIfNotHole),
|
|
B(Mov), R(4), R(this),
|
|
B(Ldar), R(this),
|
|
B(ThrowSuperNotCalledIfHole),
|
|
/* 159 S> */ B(Return),
|
|
]
|
|
constant pool: [
|
|
]
|
|
handlers: [
|
|
]
|
|
|
|
---
|
|
snippet: "
|
|
var test;
|
|
(function() {
|
|
class A {
|
|
constructor(...args) { this.baseArgs = args; }
|
|
}
|
|
class B extends A {
|
|
constructor(...args) { super(1, ...args, 1); }
|
|
}
|
|
test = new B(1, 2, 3).constructor;
|
|
})();
|
|
"
|
|
frame size: 10
|
|
parameter count: 1
|
|
bytecode array length: 77
|
|
bytecodes: [
|
|
B(CreateRestParameter),
|
|
B(Star), R(2),
|
|
B(Mov), R(closure), R(1),
|
|
B(Mov), R(new_target), R(0),
|
|
B(Ldar), R(new_target),
|
|
/* 128 E> */ B(StackCheck),
|
|
B(Mov), R(2), R(3),
|
|
/* 140 S> */ B(LdaUndefined),
|
|
B(Star), R(4),
|
|
/* 140 E> */ B(CallRuntime), U16(Runtime::k_GetSuperConstructor), R(1), U8(1),
|
|
B(Star), R(5),
|
|
B(LdaUndefined),
|
|
B(Star), R(6),
|
|
B(CreateArrayLiteral), U8(0), U8(3), U8(17),
|
|
B(Star), R(7),
|
|
B(LdaUndefined),
|
|
B(Star), R(8),
|
|
B(Mov), R(2), R(9),
|
|
/* 152 E> */ B(CallJSRuntime), U8(%spread_iterable), R(8), U8(2),
|
|
B(Star), R(8),
|
|
B(CreateArrayLiteral), U8(1), U8(4), U8(17),
|
|
B(Star), R(9),
|
|
B(CallJSRuntime), U8(%spread_arguments), R(6), U8(4),
|
|
B(Star), R(6),
|
|
B(Mov), R(0), R(7),
|
|
/* 140 E> */ B(CallJSRuntime), U8(%reflect_construct), R(4), U8(4),
|
|
B(Star), R(4),
|
|
B(Ldar), R(this),
|
|
/* 140 E> */ B(ThrowSuperAlreadyCalledIfNotHole),
|
|
B(Mov), R(4), R(this),
|
|
B(Ldar), R(this),
|
|
B(ThrowSuperNotCalledIfHole),
|
|
/* 162 S> */ B(Return),
|
|
]
|
|
constant pool: [
|
|
TUPLE2_TYPE,
|
|
TUPLE2_TYPE,
|
|
]
|
|
handlers: [
|
|
]
|
|
|