1ce4242b4b
Store compact cache indexes in bytecode instructions instead of raw pointers to the executable cache vectors. This keeps the instruction stream independent from heap addresses and removes pointer fixups when materializing cached bytecode. Resolve the mutable cache pointers at execution time from the current Executable. Bytecode test expectations are updated for the smaller cache operands and resulting instruction offsets.
67 lines
1.7 KiB
Text
67 lines
1.7 KiB
Text
$205805b7 generator-yield.js:11:1
|
|
Registers: 9
|
|
Blocks: 1
|
|
Constants:
|
|
[0] = Undefined
|
|
|
|
block0:
|
|
[ 0] GetGlobal dst:reg6, `multi_yield`
|
|
[ 10] Call dst:reg5, callee:reg6, this_value:Undefined, multi_yield
|
|
[ 30] SetGlobal `g`, src:reg5
|
|
[ 40] GetGlobal dst:reg6, `g`
|
|
[ 50] GetById dst:reg7, base:reg6, `next` (g.next)
|
|
[ 68] Call dst:reg5, callee:reg7, this_value:reg6, g.next
|
|
[ 88] GetGlobal dst:reg6, `g`
|
|
[ 98] GetById dst:reg8, base:reg6, `next` (g.next)
|
|
[ b0] Call dst:reg7, callee:reg8, this_value:reg6, g.next
|
|
[ d0] End value:reg7
|
|
|
|
|
|
multi_yield$7e2d183f generator-yield.js:7:5
|
|
Registers: 10
|
|
Blocks: 12
|
|
Constants:
|
|
[0] = Undefined
|
|
[1] = Int32(1)
|
|
[2] = Int32(5)
|
|
[3] = Int32(2)
|
|
|
|
block0:
|
|
[ 0] Yield continuation_label:block1, value:Undefined
|
|
|
|
block1:
|
|
[ 10] Yield continuation_label:block2, value:Int32(1)
|
|
|
|
block2:
|
|
[ 20] Mov dst:reg5, src:reg0
|
|
[ 30] GetCompletionFields type_dst:reg6, value_dst:reg7, completion:reg5
|
|
[ 40] JumpStrictlyEquals lhs:reg6, rhs:Int32(1), true_target:block3, false_target:block4
|
|
|
|
block3:
|
|
[ 58] Yield continuation_label:block7, value:Int32(2)
|
|
|
|
block4:
|
|
[ 68] JumpStrictlyEquals lhs:reg6, rhs:Int32(5), true_target:block5, false_target:block6
|
|
|
|
block5:
|
|
[ 80] Throw src:reg7
|
|
|
|
block6:
|
|
[ 88] Yield value:reg7
|
|
|
|
block7:
|
|
[ 98] Mov dst:reg7, src:reg0
|
|
[ a8] GetCompletionFields type_dst:reg5, value_dst:reg6, completion:reg7
|
|
[ b8] JumpStrictlyEquals lhs:reg5, rhs:Int32(1), true_target:block8, false_target:block9
|
|
|
|
block8:
|
|
[ d0] Yield value:Undefined
|
|
|
|
block9:
|
|
[ e0] JumpStrictlyEquals lhs:reg5, rhs:Int32(5), true_target:block10, false_target:block11
|
|
|
|
block10:
|
|
[ f8] Throw src:reg6
|
|
|
|
block11:
|
|
[ 100] Yield value:reg6
|