dmaax/ladybird
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
ladybird/Tests/LibJS/Bytecode/expected/parameter-createvariable-order.txt

48 lines
1.4 KiB
Text
Raw Permalink Normal View History

LibJS: Store bytecode cache indexes instead of pointers 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.
2026-05-18 08:26:41 -03:00
$516a2e0b parameter-createvariable-order.js:7:1
LibJS: Improve bytecode executable dump format Add a metadata header showing register count, block count, local variable names, and the constants table. Resolve jump targets to block labels (e.g. "block1") instead of raw hex addresses, and add visual separation between basic blocks. Make identifier and property key formatting more concise by using backtick quoting and showing base_identifier as a trailing parenthetical hint that joins the base and property names. Generate a stable name for each executable by hashing the source text it covers (stable across codegen changes). Named functions show as "foo$9beb91ec", anonymous ones as "$43362f3f". Also show the source filename, line, and column.
2026-03-18 19:56:54 -03:00
Registers: 7
Blocks: 1
Constants:
[0] = Undefined
[1] = Int32(1)
[2] = Int32(2)
[3] = Int32(3)
Tests/LibJS: Add a big pile of AST, bytecode, and runtime tests Created these while experimenting with LibJS. Might as well bring them into the tree and increase our coverage.
2026-02-17 12:46:54 -03:00
LibJS: Improve bytecode executable dump format Add a metadata header showing register count, block count, local variable names, and the constants table. Resolve jump targets to block labels (e.g. "block1") instead of raw hex addresses, and add visual separation between basic blocks. Make identifier and property key formatting more concise by using backtick quoting and showing base_identifier as a trailing parenthetical hint that joins the base and property names. Generate a stable name for each executable by hashing the source text it covers (stable across codegen changes). Named functions show as "foo$9beb91ec", anonymous ones as "$43362f3f". Also show the source filename, line, and column.
2026-03-18 19:56:54 -03:00
block0:
LibJS: Drop dead entry GetLexicalEnvironment loads Teach the Rust bytecode generator to treat the synthetic entry GetLexicalEnvironment as a removable prologue load. We still model reg4 as the saved entry lexical environment during codegen, but assemble() now deletes that load when no emitted instruction refers to the saved environment register. This keeps the semantics of unwinding and environment restoration intact while letting empty functions and other simple bodies start at their first real instruction.
2026-04-13 08:16:17 -03:00
[ 0] GetGlobal dst:reg6, `f`
LibJS: Store bytecode cache indexes instead of pointers 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.
2026-05-18 08:26:41 -03:00
[ 10] Call dst:reg5, callee:reg6, this_value:Undefined, f, arguments:[Int32(1), Int32(2), Int32(3)]
[ 40] End value:reg5
Tests/LibJS: Add a big pile of AST, bytecode, and runtime tests Created these while experimenting with LibJS. Might as well bring them into the tree and increase our coverage.
2026-02-17 12:46:54 -03:00
LibJS: Improve bytecode executable dump format Add a metadata header showing register count, block count, local variable names, and the constants table. Resolve jump targets to block labels (e.g. "block1") instead of raw hex addresses, and add visual separation between basic blocks. Make identifier and property key formatting more concise by using backtick quoting and showing base_identifier as a trailing parenthetical hint that joins the base and property names. Generate a stable name for each executable by hashing the source text it covers (stable across codegen changes). Named functions show as "foo$9beb91ec", anonymous ones as "$43362f3f". Also show the source filename, line, and column.
2026-03-18 19:56:54 -03:00
LibJS: Emit eager environment coordinates in bytecode Track bytecode-created declarative bindings while generating code so most environment-coordinate operands can be emitted eagerly. Dynamic lookup instructions remain for scopes where eval or object environments can change resolution at runtime. This lets the static coordinate bytecode variants run without cached- vs-uncached branches or eval poison checks, and rebaselines bytecode output for the newly eager coordinate operands.
2026-05-18 08:28:03 -03:00
f$8982c134 parameter-createvariable-order.js:2:5
LibJS: Skip preserving zero-argument call callees The callee and this-value preservation copies only matter while later argument expressions are still being evaluated. For zero-argument calls there is nothing left to clobber them, so we can keep the original operand and let the interpreter load it directly. This removes the hot Mov arg0->reg pattern from zero-argument local calls and reduces register pressure.
2026-04-13 08:14:40 -03:00
Registers: 6
LibJS: Improve bytecode executable dump format Add a metadata header showing register count, block count, local variable names, and the constants table. Resolve jump targets to block labels (e.g. "block1") instead of raw hex addresses, and add visual separation between basic blocks. Make identifier and property key formatting more concise by using backtick quoting and showing base_identifier as a trailing parenthetical hint that joins the base and property names. Generate a stable name for each executable by hashing the source text it covers (stable across codegen changes). Named functions show as "foo$9beb91ec", anonymous ones as "$43362f3f". Also show the source filename, line, and column.
2026-03-18 19:56:54 -03:00
Blocks: 1
Locals: inner~0
Constants:
[0] = Undefined
block0:
LibJS: Drop dead entry GetLexicalEnvironment loads Teach the Rust bytecode generator to treat the synthetic entry GetLexicalEnvironment as a removable prologue load. We still model reg4 as the saved entry lexical environment during codegen, but assemble() now deletes that load when no emitted instruction refers to the saved environment register. This keeps the semantics of unwinding and environment restoration intact while letting empty functions and other simple bodies start at their first real instruction.
2026-04-13 08:16:17 -03:00
[ 0] CreateVariable `a`, is_immutable:false, is_global:false, is_strict:false
[ 10] CreateVariable `b`, is_immutable:false, is_global:false, is_strict:false
[ 20] CreateVariable `c`, is_immutable:false, is_global:false, is_strict:false
LibJS: Emit eager environment coordinates in bytecode Track bytecode-created declarative bindings while generating code so most environment-coordinate operands can be emitted eagerly. Dynamic lookup instructions remain for scopes where eval or object environments can change resolution at runtime. This lets the static coordinate bytecode variants run without cached- vs-uncached branches or eval poison checks, and rebaselines bytecode output for the newly eager coordinate operands.
2026-05-18 08:28:03 -03:00
[ 30] InitializeLexicalBinding `a`, src:arg0
[ 48] InitializeLexicalBinding `b`, src:arg1
[ 60] InitializeLexicalBinding `c`, src:arg2
[ 78] Mov dst:inner~0, src:Undefined
[ 88] NewFunction dst:reg5, shared_function_data_index:0 (inner)
[ a0] Mov dst:inner~0, src:reg5
[ b0] Call dst:reg5, callee:inner~0, this_value:Undefined, inner
[ d0] Return value:reg5
LibJS: Improve bytecode executable dump format Add a metadata header showing register count, block count, local variable names, and the constants table. Resolve jump targets to block labels (e.g. "block1") instead of raw hex addresses, and add visual separation between basic blocks. Make identifier and property key formatting more concise by using backtick quoting and showing base_identifier as a trailing parenthetical hint that joins the base and property names. Generate a stable name for each executable by hashing the source text it covers (stable across codegen changes). Named functions show as "foo$9beb91ec", anonymous ones as "$43362f3f". Also show the source filename, line, and column.
2026-03-18 19:56:54 -03:00
LibJS: Split dynamic environment lookups from coordinates Add separate bytecode instructions for environment lookups that must stay dynamic, such as eval- and with-sensitive scopes. Keep the coordinate variants for eagerly resolved declarative environments so their operands can be treated as immutable at runtime. This removes cached-coordinate mutation from the interpreter paths and updates the bytecode expectations for the new dynamic lookup opcodes.
2026-05-18 08:27:20 -03:00
inner$2575e5f9 parameter-createvariable-order.js:3:9
LibJS: Improve bytecode executable dump format Add a metadata header showing register count, block count, local variable names, and the constants table. Resolve jump targets to block labels (e.g. "block1") instead of raw hex addresses, and add visual separation between basic blocks. Make identifier and property key formatting more concise by using backtick quoting and showing base_identifier as a trailing parenthetical hint that joins the base and property names. Generate a stable name for each executable by hashing the source text it covers (stable across codegen changes). Named functions show as "foo$9beb91ec", anonymous ones as "$43362f3f". Also show the source filename, line, and column.
2026-03-18 19:56:54 -03:00
Registers: 8
Blocks: 1
block0:
LibJS: Split dynamic environment lookups from coordinates Add separate bytecode instructions for environment lookups that must stay dynamic, such as eval- and with-sensitive scopes. Keep the coordinate variants for eagerly resolved declarative environments so their operands can be treated as immutable at runtime. This removes cached-coordinate mutation from the interpreter paths and updates the bytecode expectations for the new dynamic lookup opcodes.
2026-05-18 08:27:20 -03:00
[ 0] DynamicGetBinding dst:reg5, `a`
[ 10] DynamicGetBinding dst:reg6, `b`
[ 20] Add dst:reg7, lhs:reg5, rhs:reg6
[ 30] DynamicGetBinding dst:reg5, `c`
[ 40] Add dst:reg6, lhs:reg7, rhs:reg5
[ 50] Return value:reg6
Reference in a new issue Copy permalink