2f99653b33
Match ECMA-262's SuperCall evaluation order by resolving the super constructor before evaluating the argument list. This preserves the constructor across argument-side prototype mutations and still lets abrupt argument evaluation happen before the constructor check. Add LibJS coverage and update bytecode baselines for the new saved super-constructor operand. The test262 superCallOrder staging test now passes.
87 lines
2.8 KiB
Text
87 lines
2.8 KiB
Text
$460e17ea super-evaluation-order.js:1:1
|
|
Registers: 9
|
|
Blocks: 1
|
|
Constants:
|
|
[0] = String("read")
|
|
[1] = String("write")
|
|
[2] = String("update")
|
|
[3] = Undefined
|
|
|
|
block0:
|
|
[ 0] GetLexicalEnvironment dst:reg4
|
|
[ 8] CreateLexicalEnvironment dst:reg5, parent:reg4, capacity:0, is_catch_environment:false
|
|
[ 20] CreateVariable `A`, is_immutable:true, is_global:false, is_strict:true
|
|
[ 30] GetGlobal dst:reg6, `Object`
|
|
[ 40] SetLexicalEnvironment environment:reg4
|
|
[ 48] NewClass dst:reg7, super_class:reg6, class_environment:reg5, class_blueprint_index:0, element_keys:[element_keys:String("read"), element_keys:String("write"), element_keys:String("update")]
|
|
[ 78] DynamicInitializeLexicalBinding `A`, src:reg7
|
|
[ 88] GetGlobal dst:reg6, `A`
|
|
[ 98] CallConstruct dst:reg5, callee:reg6, A
|
|
[ b0] GetById dst:reg6, base:reg5, `read`
|
|
[ c8] Call dst:reg7, callee:reg6, this_value:reg5, <object>.read
|
|
[ e8] GetGlobal dst:reg8, `A`
|
|
[ f8] CallConstruct dst:reg5, callee:reg8, A
|
|
[ 110] GetById dst:reg8, base:reg5, `write`
|
|
[ 128] Call dst:reg6, callee:reg8, this_value:reg5, <object>.write
|
|
[ 148] GetGlobal dst:reg5, `A`
|
|
[ 158] CallConstruct dst:reg8, callee:reg5, A
|
|
[ 170] GetById dst:reg5, base:reg8, `update`
|
|
[ 188] Call dst:reg7, callee:reg5, this_value:reg8, <object>.update
|
|
[ 1a8] End value:reg7
|
|
|
|
|
|
A$3a3ed48c super-evaluation-order.js:1:1
|
|
Registers: 8
|
|
Blocks: 1
|
|
|
|
block0:
|
|
[ 0] CreateVariable `args`, is_immutable:false, is_global:false, is_strict:false
|
|
[ 10] CreateRestParams dst:arg0, rest_index:0
|
|
[ 20] InitializeLexicalBinding `args`, src:arg0
|
|
[ 38] GetSuperConstructor dst:reg5
|
|
[ 40] GetBinding dst:reg6, `args`
|
|
[ 58] SuperCallWithArgumentArray dst:reg7, super_constructor:reg5, arguments:reg6, is_synthetic:true
|
|
[ 70] Return value:reg7
|
|
|
|
|
|
read$5dc3ca35 super-evaluation-order.js:3:9
|
|
Registers: 7
|
|
Blocks: 1
|
|
Constants:
|
|
[0] = String("x")
|
|
|
|
block0:
|
|
[ 0] ResolveThisBinding
|
|
[ 8] ResolveSuperBase dst:reg5
|
|
[ 10] GetByIdWithThis dst:reg6, base:reg5, `x`, this_value:this
|
|
[ 28] Return value:reg6
|
|
|
|
|
|
write$7ede70d2 super-evaluation-order.js:6:20
|
|
Registers: 6
|
|
Blocks: 1
|
|
Constants:
|
|
[0] = String("x")
|
|
[1] = Int32(42)
|
|
[2] = Undefined
|
|
|
|
block0:
|
|
[ 0] ResolveThisBinding
|
|
[ 8] ResolveSuperBase dst:reg5
|
|
[ 10] PutByIdWithThis base:reg5, this_value:this, `x`, src:Int32(42), kind:Normal
|
|
[ 30] End value:Undefined
|
|
|
|
|
|
update$85af5ccd super-evaluation-order.js:9:16
|
|
Registers: 8
|
|
Blocks: 1
|
|
Constants:
|
|
[0] = Undefined
|
|
|
|
block0:
|
|
[ 0] ResolveThisBinding
|
|
[ 8] ResolveSuperBase dst:reg5
|
|
[ 10] GetByIdWithThis dst:reg6, base:reg5, `x`, this_value:this
|
|
[ 28] PostfixIncrement dst:reg7, src:reg6
|
|
[ 38] PutByIdWithThis base:reg5, this_value:this, `x`, src:reg6, kind:Normal
|
|
[ 58] End value:Undefined
|