Roadmap

[rogeralsing]

Last updated: 2026-01-22

Current Focus

• Composite literal emitters (array, object) — Task 2.2.2.1: Composite literal emitters (array, object) #492
• Property access and call emitters — Task 2.2.1.3: Property access and call emitters #491
• Expression bytecode interpreter — Task 2.3: Expression bytecode interpreter #413
• Design expression bytecode format — Task 2.1: Design expression bytecode format #411
• Introduce expression bytecode — Task 2: Introduce expression bytecode #400

Planned Features

• Expression bytecode emitter — Task 2.2: Expression bytecode emitter #412
• Generator/async expression emitters (yield, await) — Task 2.2.3: Generator/Async expression emitters (yield, await) #488
• JsOps runtime helpers — Task 2.3.2: JsOps runtime helpers #518
• Replace ExpressionNode operands with bytecode in IR instructions — Task 2.4: Replace ExpressionNode operands with bytecode in IR instructions #414

Bugs

• Date.parse Test262 failures — Diagnose Date.parse Test262 failures #676
• Date.prototype.getTime negative zero — Diagnose Date_prototype_getTime negative zero #677
• Date.prototype.setDate failure — Diagnose Date.prototype.setDate Test262 failure #678
• DataView.prototype.setUint8 failures — Diagnose DataView_prototype_setUint8 failures #675
• DataView.prototype.getUint8 failures — Diagnose DataView.getUint8 Test262 failures #664

Cleanup

• Add bytecode fields to IR instructions — Task 2.4.1: Add bytecode fields to IR instructions #521
• Update handlers to use bytecode — Task 2.4.2: Update handlers to use bytecode #522
• Remove AST fields from instructions — Task 2.4.4: Remove AST fields from instructions #524

Dependencies

• IR-only execution epic — Epic: Design: IR-only execution  #364
• Bytecode format types (ExpressionOpKind, ExpressionOp) — Task 2.1.1: Bytecode format types (ExpressionOpKind, ExpressionOp) #515

Recent Progress

• Fix: stabilize for-of typedarray RAB tests — Fix: stabilize for-of typedarray RAB tests (#448) #596
• Stabilize flaky Test262 dynamic import hang — Stabilize flaky Test262 dynamic import hang (#455) #595
• Add regression test for for-await-of resume after loop — Add regression test for for-await-of resume after loop (#473) #594
• Fix for-await-of scope restoration — Fix for-await-of scope restoration #593

[rogeralsing]

Status Update (2026-01-08)

Task 1 (#399) is now essentially complete:

Closed sub-tasks:

• ✅ Task 1.1: IR support for block statements with lexical bindings #404 - Block statements with lexical bindings
• ✅ Task 1.2: IR support for for-in loops #405 - For-in loops (ForInEmitter)
• ✅ Task 1.3: IR support for with statements (full coverage) #406 - With statements
• ✅ P1.4: IR support for complex variable declarations (destructuring) #407 - Complex variable declarations (destructuring)
• ✅ P1.5: IR support for class declarations with await #408 - Class declarations with await
• ✅ P1.6: IR support for expression statements with await #409 - Expression statements with await

Remaining:

• ⏳ Task 1.7: IR support for yield in binding target defaults #410 - Yield in binding target defaults (only remaining AST fallback via ComplexVariableDeclarationInstruction)

StatementInstruction is no longer emitted anywhere in the codebase. All statement types now have proper IR support.

[rogeralsing]

Isnt 1.7 done?
#458