xbintsc 0.2.9 → 0.3.3

package/dist/src/codegen/generator/state.js

@@ -50,6 +50,10 @@ export const RUNTIME_DECLARATIONS = [
     "declare i64 @xt_net_server_ctor(i32, i64*)",
     "declare i64 @xt_dgram_static(i64, i32, i64*)",
     "declare i64 @xt_http_static(i64, i32, i64*)",
+    "declare i64 @xt_event_emitter_ctor(i32, i64*)",
+    "declare i64 @xt_events_static(i64, i32, i64*)",
+    "declare i64 @xt_util_static(i64, i32, i64*)",
+    "declare i64 @xt_querystring_static(i64, i32, i64*)",
     "declare i64 @xt_process_call(i64, i32, i64*)",
     "declare i64 @xt_process_get(i64)",
     "declare i64 @xt_map_ctor(i32, i64*)",
@@ -119,6 +123,9 @@ export const RUNTIME_DECLARATIONS = [
     "declare i64 @xt_is_nan(i32, i64*)",
     "declare i64 @xt_is_finite(i32, i64*)",
     "declare i64 @xt_number_ctor(i32, i64*)",
+    "declare i64 @xt_bigint_ctor(i32, i64*)",
+    "declare i64 @xt_bigint_static(i64, i32, i64*)",
+    "declare i64 @xt_bigint_from_string(i8*, i64)",
     "declare i64 @xt_string_ctor(i32, i64*)",
     "declare i64 @xt_boolean_ctor(i32, i64*)",
     "declare i64 @xt_in(i64, i64)",
@@ -141,6 +148,7 @@ export const RUNTIME_DECLARATIONS = [
     "declare i64 @xt_builtin_value_number(i64, i64, i32, i64*)",
     "declare i64 @xt_builtin_value_string(i64, i64, i32, i64*)",
     "declare i64 @xt_builtin_value_boolean(i64, i64, i32, i64*)",
+    "declare i64 @xt_builtin_value_bigint(i64, i64, i32, i64*)",
     "declare i64 @xt_get(i64, i64)",
     "declare i64 @xt_set(i64, i64, i64)",
     "declare i64 @xt_box_new(i64)",

package/dist/src/codegen/generator/state.js.map

@@ -1 +1 @@
-{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../src/codegen/generator/state.ts"],"names":[],"mappings":"AAAA;;GAEG;AAgDH,MAAM,CAAC,MAAM,oBAAoB,GAAsB;IACrD,6BAA6B;IAC7B,wBAAwB;IACxB,2BAA2B;IAC3B,gCAAgC;IAChC,sCAAsC;IACtC,uCAAuC;IACvC,qCAAqC;IACrC,6CAA6C;IAC7C,8CAA8C;IAC9C,uCAAuC;IACvC,qDAAqD;IACrD,wBAAwB;IACxB,qCAAqC;IACrC,uCAAuC;IACvC,kDAAkD;IAClD,6CAA6C;IAC7C,4CAA4C;IAC5C,2CAA2C;IAC3C,gDAAgD;IAChD,qDAAqD;IACrD,qDAAqD;IACrD,4BAA4B;IAC5B,qCAAqC;IACrC,mCAAmC;IACnC,sCAAsC;IACtC,qCAAqC;IACrC,yCAAyC;IACzC,gDAAgD;IAChD,8CAA8C;IAC9C,+CAA+C;IAC/C,+CAA+C;IAC/C,+CAA+C;IAC/C,6CAA6C;IAC7C,6CAA6C;IAC7C,2CAA2C;IAC3C,+CAA+C;IAC/C,wCAAwC;IACxC,+CAA+C;IAC/C,0CAA0C;IAC1C,0CAA0C;IAC1C,wCAAwC;IACxC,2CAA2C;IAC3C,8CAA8C;IAC9C,4CAA4C;IAC5C,4CAA4C;IAC5C,4CAA4C;IAC5C,8CAA8C;IAC9C,6CAA6C;IAC7C,8CAA8C;IAC9C,kCAAkC;IAClC,qCAAqC;IACrC,qCAAqC;IACrC,sCAAsC;IACtC,wCAAwC;IACxC,uCAAuC;IACvC,4CAA4C;IAC5C,uCAAuC;IACvC,2CAA2C;IAC3C,0CAA0C;IAC1C,oCAAoC;IACpC,uCAAuC;IACvC,0CAA0C;IAC1C,wCAAwC;IACxC,0CAA0C;IAC1C,2CAA2C;IAC3C,0CAA0C;IAC1C,gDAAgD;IAChD,0CAA0C;IAC1C,8CAA8C;IAC9C,0CAA0C;IAC1C,yCAAyC;IACzC,6CAA6C;IAC7C,6CAA6C;IAC7C,6BAA6B;IAC7B,mCAAmC;IACnC,gCAAgC;IAChC,6BAA6B;IAC7B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,0BAA0B;IAC1B,0BAA0B;IAC1B,mCAAmC;IACnC,kCAAkC;IAClC,mCAAmC;IACnC,8BAA8B;IAC9B,+BAA+B;IAC/B,+BAA+B;IAC/B,gCAAgC;IAChC,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,+BAA+B;IAC/B,+BAA+B;IAC/B,0BAA0B;IAC1B,8BAA8B;IAC9B,2CAA2C;IAC3C,2CAA2C;IAC3C,sCAAsC;IACtC,kCAAkC;IAClC,oCAAoC;IACpC,qCAAqC;IACrC,0CAA0C;IAC1C,yCAAyC;IACzC,kDAAkD;IAClD,2CAA2C;IAC3C,sCAAsC;IACtC,wCAAwC;IACxC,mCAAmC;IACnC,sCAAsC;IACtC,wCAAwC;IACxC,wCAAwC;IACxC,yCAAyC;IACzC,8BAA8B;IAC9B,kCAAkC;IAClC,2CAA2C;IAC3C,8CAA8C;IAC9C,kCAAkC;IAClC,sCAAsC;IACtC,sCAAsC;IACtC,mCAAmC;IACnC,wCAAwC;IACxC,kCAAkC;IAClC,sCAAsC;IACtC,iCAAiC;IACjC,mCAAmC;IACnC,6DAA6D;IAC7D,+DAA+D;IAC/D,0DAA0D;IAC1D,6DAA6D;IAC7D,2DAA2D;IAC3D,2DAA2D;IAC3D,4DAA4D;IAC5D,+BAA+B;IAC/B,oCAAoC;IACpC,8BAA8B;IAC9B,8BAA8B;IAC9B,mCAAmC;IACnC,iCAAiC;IACjC,6BAA6B;IAC7B,qCAAqC;IACrC,8CAA8C;IAC9C,6BAA6B;IAC7B,oCAAoC;IACpC,iCAAiC;IACjC,yCAAyC;IACzC,0CAA0C;IAC1C,0CAA0C;IAC1C,2CAA2C;CAC5C,CAAC"}
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../src/codegen/generator/state.ts"],"names":[],"mappings":"AAAA;;GAEG;AAgDH,MAAM,CAAC,MAAM,oBAAoB,GAAsB;IACrD,6BAA6B;IAC7B,wBAAwB;IACxB,2BAA2B;IAC3B,gCAAgC;IAChC,sCAAsC;IACtC,uCAAuC;IACvC,qCAAqC;IACrC,6CAA6C;IAC7C,8CAA8C;IAC9C,uCAAuC;IACvC,qDAAqD;IACrD,wBAAwB;IACxB,qCAAqC;IACrC,uCAAuC;IACvC,kDAAkD;IAClD,6CAA6C;IAC7C,4CAA4C;IAC5C,2CAA2C;IAC3C,gDAAgD;IAChD,qDAAqD;IACrD,qDAAqD;IACrD,4BAA4B;IAC5B,qCAAqC;IACrC,mCAAmC;IACnC,sCAAsC;IACtC,qCAAqC;IACrC,yCAAyC;IACzC,gDAAgD;IAChD,8CAA8C;IAC9C,+CAA+C;IAC/C,+CAA+C;IAC/C,+CAA+C;IAC/C,6CAA6C;IAC7C,6CAA6C;IAC7C,2CAA2C;IAC3C,+CAA+C;IAC/C,wCAAwC;IACxC,+CAA+C;IAC/C,0CAA0C;IAC1C,0CAA0C;IAC1C,wCAAwC;IACxC,2CAA2C;IAC3C,8CAA8C;IAC9C,4CAA4C;IAC5C,4CAA4C;IAC5C,4CAA4C;IAC5C,8CAA8C;IAC9C,6CAA6C;IAC7C,+CAA+C;IAC/C,+CAA+C;IAC/C,6CAA6C;IAC7C,oDAAoD;IACpD,8CAA8C;IAC9C,kCAAkC;IAClC,qCAAqC;IACrC,qCAAqC;IACrC,sCAAsC;IACtC,wCAAwC;IACxC,uCAAuC;IACvC,4CAA4C;IAC5C,uCAAuC;IACvC,2CAA2C;IAC3C,0CAA0C;IAC1C,oCAAoC;IACpC,uCAAuC;IACvC,0CAA0C;IAC1C,wCAAwC;IACxC,0CAA0C;IAC1C,2CAA2C;IAC3C,0CAA0C;IAC1C,gDAAgD;IAChD,0CAA0C;IAC1C,8CAA8C;IAC9C,0CAA0C;IAC1C,yCAAyC;IACzC,6CAA6C;IAC7C,6CAA6C;IAC7C,6BAA6B;IAC7B,mCAAmC;IACnC,gCAAgC;IAChC,6BAA6B;IAC7B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,0BAA0B;IAC1B,0BAA0B;IAC1B,mCAAmC;IACnC,kCAAkC;IAClC,mCAAmC;IACnC,8BAA8B;IAC9B,+BAA+B;IAC/B,+BAA+B;IAC/B,gCAAgC;IAChC,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,+BAA+B;IAC/B,+BAA+B;IAC/B,0BAA0B;IAC1B,8BAA8B;IAC9B,2CAA2C;IAC3C,2CAA2C;IAC3C,sCAAsC;IACtC,kCAAkC;IAClC,oCAAoC;IACpC,qCAAqC;IACrC,0CAA0C;IAC1C,yCAAyC;IACzC,kDAAkD;IAClD,2CAA2C;IAC3C,sCAAsC;IACtC,wCAAwC;IACxC,mCAAmC;IACnC,sCAAsC;IACtC,wCAAwC;IACxC,wCAAwC;IACxC,+CAA+C;IAC/C,8CAA8C;IAC9C,wCAAwC;IACxC,yCAAyC;IACzC,8BAA8B;IAC9B,kCAAkC;IAClC,2CAA2C;IAC3C,8CAA8C;IAC9C,kCAAkC;IAClC,sCAAsC;IACtC,sCAAsC;IACtC,mCAAmC;IACnC,wCAAwC;IACxC,kCAAkC;IAClC,sCAAsC;IACtC,iCAAiC;IACjC,mCAAmC;IACnC,6DAA6D;IAC7D,+DAA+D;IAC/D,0DAA0D;IAC1D,6DAA6D;IAC7D,2DAA2D;IAC3D,2DAA2D;IAC3D,4DAA4D;IAC5D,2DAA2D;IAC3D,+BAA+B;IAC/B,oCAAoC;IACpC,8BAA8B;IAC9B,8BAA8B;IAC9B,mCAAmC;IACnC,iCAAiC;IACjC,6BAA6B;IAC7B,qCAAqC;IACrC,8CAA8C;IAC9C,6BAA6B;IAC7B,oCAAoC;IACpC,iCAAiC;IACjC,yCAAyC;IACzC,0CAA0C;IAC1C,0CAA0C;IAC1C,2CAA2C;CAC5C,CAAC"}

package/dist/src/codegen/generator/statements/control-flow.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Control-flow lowering: `if`, `switch`, `try`/`catch`/`finally` and `return`.
+ */
+import { type Identifier, type IfStatement, type ReturnStatement, type SwitchStatement, type TryStatement } from "../../../ast/nodes.js";
+import type { Generator } from "../generator.js";
+export interface ControlFlowStatementMethods {
+    emitIf(this: Generator, statement: IfStatement): void;
+    emitSwitch(this: Generator, statement: SwitchStatement): void;
+    emitTry(this: Generator, statement: TryStatement): void;
+    bindCatchVariable(this: Generator, variable: Identifier | undefined, value: string): void;
+    emitReturn(this: Generator, statement: ReturnStatement): void;
+    popTryFramesTo(this: Generator, depth: number): void;
+}
+export declare const controlFlowStatementMethods: ControlFlowStatementMethods;

package/dist/src/codegen/generator/statements/control-flow.js

@@ -0,0 +1,199 @@
+/**
+ * Control-flow lowering: `if`, `switch`, `try`/`catch`/`finally` and `return`.
+ */
+import { SyntaxKind, } from "../../../ast/nodes.js";
+import { i64, XT_UNDEFINED } from "../../values.js";
+export const controlFlowStatementMethods = {
+    emitIf(statement) {
+        const thenLabel = this.label("if.then");
+        const elseLabel = statement.elseStatement ? this.label("if.else") : undefined;
+        const endLabel = this.label("if.end");
+        const condition = this.emitExpression(statement.condition);
+        const truthy = this.reg();
+        this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${condition})`);
+        const nonzero = this.reg();
+        this.emit(`  ${nonzero} = icmp ne i32 ${truthy}, 0`);
+        this.terminate(`br i1 ${nonzero}, label %${thenLabel}, label %${elseLabel ?? endLabel}`);
+        this.startBlock(thenLabel);
+        this.emitStatement(statement.thenStatement);
+        if (!this.current.terminated)
+            this.terminate(`br label %${endLabel}`);
+        if (elseLabel) {
+            this.startBlock(elseLabel);
+            this.emitStatement(statement.elseStatement);
+            if (!this.current.terminated)
+                this.terminate(`br label %${endLabel}`);
+        }
+        this.startBlock(endLabel);
+    },
+    /**
+     * JavaScript `switch`: test each `case` with strict equality, then run the
+     * matched clause and fall through into the following clauses until `break`.
+     */
+    emitSwitch(statement) {
+        const discriminant = this.emitExpression(statement.expression);
+        const endLabel = this.label("switch.end");
+        const clauses = statement.clauses;
+        const labels = clauses.map(() => this.label("switch.case"));
+        const testLabels = clauses.map((clause) => clause.kind === SyntaxKind.CaseClause ? this.label("switch.test") : undefined);
+        const defaultIndex = clauses.findIndex((clause) => clause.kind === SyntaxKind.DefaultClause);
+        const defaultLabel = defaultIndex >= 0 ? labels[defaultIndex] : endLabel;
+        const caseIndexes = clauses
+            .map((clause, index) => ({ clause, index }))
+            .filter((entry) => entry.clause.kind === SyntaxKind.CaseClause);
+        this.terminate(`br label %${caseIndexes.length > 0 ? testLabels[caseIndexes[0].index] : defaultLabel}`);
+        for (let test = 0; test < caseIndexes.length; test++) {
+            const entry = caseIndexes[test];
+            this.startBlock(testLabels[entry.index]);
+            const caseValue = this.emitExpression(entry.clause.expression);
+            const equals = this.reg();
+            this.emit(`  ${equals} = call i64 @xt_seq(i64 ${discriminant}, i64 ${caseValue})`);
+            const truthy = this.reg();
+            this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${equals})`);
+            const condition = this.reg();
+            this.emit(`  ${condition} = icmp ne i32 ${truthy}, 0`);
+            const next = test + 1 < caseIndexes.length ? testLabels[caseIndexes[test + 1].index] : defaultLabel;
+            this.terminate(`br i1 ${condition}, label %${labels[entry.index]}, label %${next}`);
+        }
+        for (let index = 0; index < clauses.length; index++) {
+            this.startBlock(labels[index]);
+            const enclosing = this.current.loops[this.current.loops.length - 1];
+            this.current.loops.push({ breakLabel: endLabel, continueLabel: enclosing?.continueLabel ?? endLabel, tryDepth: this.current.tryFrames.length });
+            for (const child of clauses[index].statements) {
+                if (this.current.terminated)
+                    break;
+                this.emitStatement(child);
+            }
+            this.current.loops.pop();
+            if (!this.current.terminated) {
+                const next = index + 1 < clauses.length ? labels[index + 1] : endLabel;
+                this.terminate(`br label %${next}`);
+            }
+        }
+        this.startBlock(endLabel);
+    },
+    /**
+     * `try`/`catch`/`finally` via a runtime setjmp frame. The runtime keeps a
+     * stack of frames; `xt_throw` longjmps into the innermost one. A `return`
+     * that exits the protected region skips `finally` (a known limitation).
+     */
+    emitTry(statement) {
+        this.current.usesTry = true;
+        const frameSlot = this.alloca();
+        const exceptionSlot = this.alloca();
+        const flagSlot = this.alloca();
+        const tryLabel = this.label("try.body");
+        const catchLabel = this.label("try.catch");
+        const exceptionLabel = this.label("try.exception");
+        const rethrowLabel = this.label("try.rethrow");
+        const finallyLabel = statement.finallyBlock ? this.label("try.finally") : undefined;
+        const endLabel = this.label("try.end");
+        const hasCatch = !!statement.catchClause;
+        const frame = this.reg();
+        this.emit(`  ${frame} = call i8* @xt_try_enter()`);
+        this.emit(`  store i8* ${frame}, i8** ${frameSlot}`);
+        this.emit(`  store i64 0, i64* ${flagSlot}`);
+        // MSVC's `_setjmp` takes the caller's frame address as a second argument
+        // (`_JUMP_BUFFER.Frame`); `longjmp` uses it to run the unwind. clang lowers
+        // a C call to `_setjmp` exactly like this. The extra argument is ignored by
+        // the one-argument `_setjmp` on Linux/macOS.
+        const frameAddress = this.reg();
+        this.emit(`  ${frameAddress} = call i8* @llvm.frameaddress(i32 0)`);
+        const jump = this.reg();
+        this.emit(`  ${jump} = call i32 @_setjmp(i8* ${frame}, i8* ${frameAddress})`);
+        const isThrow = this.reg();
+        this.emit(`  ${isThrow} = icmp ne i32 ${jump}, 0`);
+        const exceptionTarget = hasCatch ? catchLabel : exceptionLabel;
+        this.terminate(`br i1 ${isThrow}, label %${exceptionTarget}, label %${tryLabel}`);
+        // Normal completion of the try block.
+        this.startBlock(tryLabel);
+        this.current.tryFrames.push(frameSlot);
+        this.emitStatements(statement.tryBlock.statements);
+        this.current.tryFrames.pop();
+        if (!this.current.terminated) {
+            const currentFrame = this.reg();
+            this.emit(`  ${currentFrame} = load i8*, i8** ${frameSlot}`);
+            this.emit(`  call void @xt_try_leave(i8* ${currentFrame})`);
+            this.terminate(`br label %${finallyLabel ?? endLabel}`);
+        }
+        if (hasCatch) {
+            this.startBlock(catchLabel);
+            const currentFrame = this.reg();
+            this.emit(`  ${currentFrame} = load i8*, i8** ${frameSlot}`);
+            const exception = this.reg();
+            this.emit(`  ${exception} = call i64 @xt_try_exception(i8* ${currentFrame})`);
+            this.emit(`  call void @xt_try_leave(i8* ${currentFrame})`);
+            this.bindCatchVariable(statement.catchClause.variable, exception);
+            this.emitStatements(statement.catchClause.block.statements);
+            if (!this.current.terminated)
+                this.terminate(`br label %${finallyLabel ?? endLabel}`);
+        }
+        else {
+            // Without a catch clause the exception is remembered, then rethrown
+            // after `finally` runs.
+            this.startBlock(exceptionLabel);
+            const currentFrame = this.reg();
+            this.emit(`  ${currentFrame} = load i8*, i8** ${frameSlot}`);
+            const exception = this.reg();
+            this.emit(`  ${exception} = call i64 @xt_try_exception(i8* ${currentFrame})`);
+            this.emit(`  call void @xt_try_leave(i8* ${currentFrame})`);
+            this.emit(`  store i64 ${exception}, i64* ${exceptionSlot}`);
+            this.emit(`  store i64 1, i64* ${flagSlot}`);
+            this.terminate(`br label %${finallyLabel ?? rethrowLabel}`);
+        }
+        if (finallyLabel) {
+            this.startBlock(finallyLabel);
+            this.emitStatements(statement.finallyBlock.statements);
+            if (!this.current.terminated) {
+                if (hasCatch) {
+                    this.terminate(`br label %${endLabel}`);
+                }
+                else {
+                    const flag = this.reg();
+                    this.emit(`  ${flag} = load i64, i64* ${flagSlot}`);
+                    const truthy = this.reg();
+                    this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${flag})`);
+                    const shouldRethrow = this.reg();
+                    this.emit(`  ${shouldRethrow} = icmp ne i32 ${truthy}, 0`);
+                    this.terminate(`br i1 ${shouldRethrow}, label %${rethrowLabel}, label %${endLabel}`);
+                }
+            }
+        }
+        if (!hasCatch) {
+            this.startBlock(rethrowLabel);
+            const exception = this.reg();
+            this.emit(`  ${exception} = load i64, i64* ${exceptionSlot}`);
+            this.emit(`  call void @xt_throw(i64 ${exception})`);
+            this.terminate("unreachable");
+        }
+        this.startBlock(endLabel);
+    },
+    bindCatchVariable(variable, value) {
+        if (!variable)
+            return;
+        const symbol = this.binding.symbolOfDeclaration.get(variable);
+        if (!symbol)
+            return;
+        if (this.current.slots.has(symbol.id))
+            this.writeSlot(symbol, value);
+        else
+            this.declareSlot(symbol, value);
+    },
+    emitReturn(statement) {
+        let value = statement.expression ? this.emitExpression(statement.expression) : i64(XT_UNDEFINED);
+        if (this.current.fn.isAsync)
+            value = this.wrapAsync(value);
+        this.popTryFramesTo(0);
+        this.terminate(`ret i64 ${value}`);
+    },
+    /** Emit `xt_try_leave` for every active frame above `depth` (innermost first). */
+    popTryFramesTo(depth) {
+        for (let index = this.current.tryFrames.length - 1; index >= depth; index--) {
+            const slot = this.current.tryFrames[index];
+            const frame = this.reg();
+            this.emit(`  ${frame} = load i8*, i8** ${slot}`);
+            this.emit(`  call void @xt_try_leave(i8* ${frame})`);
+        }
+    },
+};
+//# sourceMappingURL=control-flow.js.map

package/dist/src/codegen/generator/statements/control-flow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-flow.js","sourceRoot":"","sources":["../../../../../src/codegen/generator/statements/control-flow.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,UAAU,GAOX,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAYpD,MAAM,CAAC,MAAM,2BAA2B,GAAgC;IACtE,MAAM,CAAC,SAAsB;QAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9E,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,SAAS,GAAG,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,YAAY,SAAS,YAAY,SAAS,IAAI,QAAQ,EAAE,CAAC,CAAC;QAEzF,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;YAAE,IAAI,CAAC,SAAS,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC;QAEtE,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YAC3B,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,aAAc,CAAC,CAAC;YAC7C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;gBAAE,IAAI,CAAC,SAAS,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC;QACxE,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED;;;OAGG;IACH,UAAU,CAAC,SAA0B;QACnC,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;QAC5D,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAC9E,CAAC;QACF,MAAM,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,CAAC,CAAC;QAC7F,MAAM,YAAY,GAAG,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC1E,MAAM,WAAW,GAAG,OAAO;aACxB,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;aAC3C,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,CAAC,CAAC;QAElE,IAAI,CAAC,SAAS,CAAC,aAAa,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;QAC1G,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YACrD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAE,CAAC;YACjC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC,CAAC;YAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAE,KAAK,CAAC,MAAqB,CAAC,UAAU,CAAC,CAAC;YAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,2BAA2B,YAAY,SAAS,SAAS,GAAG,CAAC,CAAC;YACnF,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,MAAM,GAAG,CAAC,CAAC;YAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,kBAAkB,MAAM,KAAK,CAAC,CAAC;YACvD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,CAAE,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,YAAY,CAAC;YACtG,IAAI,CAAC,SAAS,CAAC,SAAS,SAAS,YAAY,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;QACtF,CAAC;QAED,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACpD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC;YAChC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACpE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,IAAI,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;YAChJ,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK,CAAE,CAAC,UAAU,EAAE,CAAC;gBAC/C,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU;oBAAE,MAAM;gBACnC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC5B,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACxE,IAAI,CAAC,SAAS,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,SAAuB;QAC7B,IAAI,CAAC,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACnD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC/C,MAAM,YAAY,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpF,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC;QAEzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,6BAA6B,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,UAAU,SAAS,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI,CAAC,uBAAuB,QAAQ,EAAE,CAAC,CAAC;QAC7C,yEAAyE;QACzE,4EAA4E;QAC5E,4EAA4E;QAC5E,6CAA6C;QAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,uCAAuC,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,4BAA4B,KAAK,SAAS,YAAY,GAAG,CAAC,CAAC;QAC9E,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kBAAkB,IAAI,KAAK,CAAC,CAAC;QACnD,MAAM,eAAe,GAAG,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC;QAC/D,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,YAAY,eAAe,YAAY,QAAQ,EAAE,CAAC,CAAC;QAElF,sCAAsC;QACtC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC1B,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACnD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YAC7B,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,qBAAqB,SAAS,EAAE,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI,CAAC,iCAAiC,YAAY,GAAG,CAAC,CAAC;YAC5D,IAAI,CAAC,SAAS,CAAC,aAAa,YAAY,IAAI,QAAQ,EAAE,CAAC,CAAC;QAC1D,CAAC;QAED,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,qBAAqB,SAAS,EAAE,CAAC,CAAC;YAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,qCAAqC,YAAY,GAAG,CAAC,CAAC;YAC9E,IAAI,CAAC,IAAI,CAAC,iCAAiC,YAAY,GAAG,CAAC,CAAC;YAC5D,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,WAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YACnE,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,WAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;gBAAE,IAAI,CAAC,SAAS,CAAC,aAAa,YAAY,IAAI,QAAQ,EAAE,CAAC,CAAC;QACxF,CAAC;aAAM,CAAC;YACN,oEAAoE;YACpE,wBAAwB;YACxB,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;YAChC,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,qBAAqB,SAAS,EAAE,CAAC,CAAC;YAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,qCAAqC,YAAY,GAAG,CAAC,CAAC;YAC9E,IAAI,CAAC,IAAI,CAAC,iCAAiC,YAAY,GAAG,CAAC,CAAC;YAC5D,IAAI,CAAC,IAAI,CAAC,eAAe,SAAS,UAAU,aAAa,EAAE,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI,CAAC,uBAAuB,QAAQ,EAAE,CAAC,CAAC;YAC7C,IAAI,CAAC,SAAS,CAAC,aAAa,YAAY,IAAI,YAAY,EAAE,CAAC,CAAC;QAC9D,CAAC;QAED,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;YAC9B,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,YAAa,CAAC,UAAU,CAAC,CAAC;YACxD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC7B,IAAI,QAAQ,EAAE,CAAC;oBACb,IAAI,CAAC,SAAS,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,qBAAqB,QAAQ,EAAE,CAAC,CAAC;oBACpD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,IAAI,GAAG,CAAC,CAAC;oBAC5D,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBACjC,IAAI,CAAC,IAAI,CAAC,KAAK,aAAa,kBAAkB,MAAM,KAAK,CAAC,CAAC;oBAC3D,IAAI,CAAC,SAAS,CAAC,SAAS,aAAa,YAAY,YAAY,YAAY,QAAQ,EAAE,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;YAC9B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,qBAAqB,aAAa,EAAE,CAAC,CAAC;YAC9D,IAAI,CAAC,IAAI,CAAC,6BAA6B,SAAS,GAAG,CAAC,CAAC;YACrD,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAChC,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,iBAAiB,CAAC,QAAgC,EAAE,KAAa;QAC/D,IAAI,CAAC,QAAQ;YAAE,OAAO;QACtB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9D,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;;YAChE,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,UAAU,CAAC,SAA0B;QACnC,IAAI,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACjG,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO;YAAE,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC3D,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,SAAS,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;IACrC,CAAC;IAED,kFAAkF;IAClF,cAAc,CAAC,KAAa;QAC1B,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;YAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAE,CAAC;YAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,qBAAqB,IAAI,EAAE,CAAC,CAAC;YACjD,IAAI,CAAC,IAAI,CAAC,iCAAiC,KAAK,GAAG,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;CACF,CAAC"}

package/dist/src/codegen/generator/statements/dispatch.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Statement dispatch: walks a statement list and routes each kind to its
+ * lowering method. The concrete lowerings live in the sibling modules
+ * (`variables`, `control-flow`, `loops`).
+ */
+import { type Statement } from "../../../ast/nodes.js";
+import type { Generator } from "../generator.js";
+export interface StatementDispatchMethods {
+    emitStatements(this: Generator, statements: readonly Statement[]): void;
+    emitStatement(this: Generator, statement: Statement): void;
+}
+export declare const statementDispatchMethods: StatementDispatchMethods;

package/dist/src/codegen/generator/statements/dispatch.js

@@ -0,0 +1,100 @@
+/**
+ * Statement dispatch: walks a statement list and routes each kind to its
+ * lowering method. The concrete lowerings live in the sibling modules
+ * (`variables`, `control-flow`, `loops`).
+ */
+import { SyntaxKind, } from "../../../ast/nodes.js";
+export const statementDispatchMethods = {
+    emitStatements(statements) {
+        for (const statement of statements) {
+            if (this.current.terminated)
+                break;
+            this.emitStatement(statement);
+        }
+    },
+    emitStatement(statement) {
+        switch (statement.kind) {
+            case SyntaxKind.ExpressionStatement:
+                this.emitExpression(statement.expression);
+                return;
+            case SyntaxKind.VariableStatement:
+                this.emitVariableStatement(statement);
+                return;
+            case SyntaxKind.Block:
+                this.emitStatements(statement.statements);
+                return;
+            case SyntaxKind.EmptyStatement:
+            case SyntaxKind.DebuggerStatement:
+            case SyntaxKind.FunctionDeclaration:
+            case SyntaxKind.InterfaceDeclaration:
+            case SyntaxKind.TypeAliasDeclaration:
+            case SyntaxKind.ImportDeclaration:
+                return; // functions are emitted at module scope; imports are resolved at call sites
+            case SyntaxKind.ClassDeclaration: {
+                const info = this.binding.classOfNode.get(statement);
+                if (info)
+                    this.emitClassSetup(info);
+                return;
+            }
+            case SyntaxKind.IfStatement:
+                this.emitIf(statement);
+                return;
+            case SyntaxKind.WhileStatement:
+                this.emitWhile(statement);
+                return;
+            case SyntaxKind.DoStatement:
+                this.emitDo(statement);
+                return;
+            case SyntaxKind.ForStatement:
+                this.emitFor(statement);
+                return;
+            case SyntaxKind.ForOfStatement:
+            case SyntaxKind.ForInStatement:
+                this.emitForOf(statement);
+                return;
+            case SyntaxKind.SwitchStatement:
+                this.emitSwitch(statement);
+                return;
+            case SyntaxKind.TryStatement:
+                this.emitTry(statement);
+                return;
+            case SyntaxKind.ReturnStatement:
+                this.emitReturn(statement);
+                return;
+            case SyntaxKind.BreakStatement: {
+                const loop = this.current.loops[this.current.loops.length - 1];
+                if (loop) {
+                    this.popTryFramesTo(loop.tryDepth ?? 0);
+                    this.terminate(`br label %${loop.breakLabel}`);
+                }
+                return;
+            }
+            case SyntaxKind.ContinueStatement: {
+                const loop = this.current.loops[this.current.loops.length - 1];
+                if (loop) {
+                    this.popTryFramesTo(loop.tryDepth ?? 0);
+                    this.terminate(`br label %${loop.continueLabel}`);
+                }
+                return;
+            }
+            case SyntaxKind.ThrowStatement: {
+                const value = this.emitExpression(statement.expression);
+                this.emit(`  call void @xt_throw(i64 ${value})`);
+                this.terminate("unreachable");
+                return;
+            }
+            case SyntaxKind.ExportDeclaration: {
+                const declaration = statement.declaration;
+                if (declaration)
+                    this.emitStatement(declaration);
+                return;
+            }
+            case SyntaxKind.EnumDeclaration:
+                this.emitEnum(statement);
+                return;
+            default:
+                this.unsupported(statement, "statement");
+        }
+    },
+};
+//# sourceMappingURL=dispatch.js.map

package/dist/src/codegen/generator/statements/dispatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dispatch.js","sourceRoot":"","sources":["../../../../../src/codegen/generator/statements/dispatch.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,UAAU,GAgBX,MAAM,uBAAuB,CAAC;AAQ/B,MAAM,CAAC,MAAM,wBAAwB,GAA6B;IAChE,cAAc,CAAC,UAAgC;QAC7C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU;gBAAE,MAAM;YACnC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,aAAa,CAAC,SAAoB;QAChC,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,UAAU,CAAC,mBAAmB;gBACjC,IAAI,CAAC,cAAc,CAAE,SAAwC,CAAC,UAAU,CAAC,CAAC;gBAC1E,OAAO;YACT,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,IAAI,CAAC,qBAAqB,CAAC,SAA8B,CAAC,CAAC;gBAC3D,OAAO;YACT,KAAK,UAAU,CAAC,KAAK;gBACnB,IAAI,CAAC,cAAc,CAAE,SAAmB,CAAC,UAAU,CAAC,CAAC;gBACrD,OAAO;YACT,KAAK,UAAU,CAAC,cAAc,CAAC;YAC/B,KAAK,UAAU,CAAC,iBAAiB,CAAC;YAClC,KAAK,UAAU,CAAC,mBAAmB,CAAC;YACpC,KAAK,UAAU,CAAC,oBAAoB,CAAC;YACrC,KAAK,UAAU,CAAC,oBAAoB,CAAC;YACrC,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,OAAO,CAAC,4EAA4E;YACtF,KAAK,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC;gBACjC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACrD,IAAI,IAAI;oBAAE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBACpC,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,WAAW;gBACzB,IAAI,CAAC,MAAM,CAAC,SAAwB,CAAC,CAAC;gBACtC,OAAO;YACT,KAAK,UAAU,CAAC,cAAc;gBAC5B,IAAI,CAAC,SAAS,CAAC,SAA2B,CAAC,CAAC;gBAC5C,OAAO;YACT,KAAK,UAAU,CAAC,WAAW;gBACzB,IAAI,CAAC,MAAM,CAAC,SAAwB,CAAC,CAAC;gBACtC,OAAO;YACT,KAAK,UAAU,CAAC,YAAY;gBAC1B,IAAI,CAAC,OAAO,CAAC,SAAyB,CAAC,CAAC;gBACxC,OAAO;YACT,KAAK,UAAU,CAAC,cAAc,CAAC;YAC/B,KAAK,UAAU,CAAC,cAAc;gBAC5B,IAAI,CAAC,SAAS,CAAC,SAA4C,CAAC,CAAC;gBAC7D,OAAO;YACT,KAAK,UAAU,CAAC,eAAe;gBAC7B,IAAI,CAAC,UAAU,CAAC,SAA4B,CAAC,CAAC;gBAC9C,OAAO;YACT,KAAK,UAAU,CAAC,YAAY;gBAC1B,IAAI,CAAC,OAAO,CAAC,SAAyB,CAAC,CAAC;gBACxC,OAAO;YACT,KAAK,UAAU,CAAC,eAAe;gBAC7B,IAAI,CAAC,UAAU,CAAC,SAA4B,CAAC,CAAC;gBAC9C,OAAO;YACT,KAAK,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;gBAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC/D,IAAI,IAAI,EAAE,CAAC;oBACT,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC;oBACxC,IAAI,CAAC,SAAS,CAAC,aAAa,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;gBACjD,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC;gBAClC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC/D,IAAI,IAAI,EAAE,CAAC;oBACT,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC;oBACxC,IAAI,CAAC,SAAS,CAAC,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;gBACpD,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;gBAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAE,SAA4B,CAAC,UAAU,CAAC,CAAC;gBAC5E,IAAI,CAAC,IAAI,CAAC,6BAA6B,KAAK,GAAG,CAAC,CAAC;gBACjD,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;gBAC9B,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC;gBAClC,MAAM,WAAW,GAAI,SAAyC,CAAC,WAAW,CAAC;gBAC3E,IAAI,WAAW;oBAAE,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;gBACjD,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,eAAe;gBAC7B,IAAI,CAAC,QAAQ,CAAC,SAA4B,CAAC,CAAC;gBAC5C,OAAO;YACT;gBACE,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;CACF,CAAC"}

package/dist/src/codegen/generator/statements/loops.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Loop lowering: `while`, `do`/`while`, `for` and `for`/`of` / `for`/`in`.
+ */
+import { type DoStatement, type Expression, type ForInStatement, type ForOfStatement, type ForStatement, type VariableDeclarationList, type WhileStatement } from "../../../ast/nodes.js";
+import type { Generator } from "../generator.js";
+export interface LoopStatementMethods {
+    emitWhile(this: Generator, statement: WhileStatement): void;
+    emitDo(this: Generator, statement: DoStatement): void;
+    emitFor(this: Generator, statement: ForStatement): void;
+    emitForOf(this: Generator, statement: ForOfStatement | ForInStatement): void;
+    bindLoopVariable(this: Generator, initializer: VariableDeclarationList | Expression, value: string): void;
+}
+export declare const loopStatementMethods: LoopStatementMethods;

package/dist/src/codegen/generator/statements/loops.js

@@ -0,0 +1,152 @@
+/**
+ * Loop lowering: `while`, `do`/`while`, `for` and `for`/`of` / `for`/`in`.
+ */
+import { SyntaxKind, } from "../../../ast/nodes.js";
+import { numberLiteral } from "../../values.js";
+export const loopStatementMethods = {
+    emitWhile(statement) {
+        const condLabel = this.label("while.cond");
+        const bodyLabel = this.label("while.body");
+        const endLabel = this.label("while.end");
+        this.terminate(`br label %${condLabel}`);
+        this.startBlock(condLabel);
+        const condition = this.emitExpression(statement.condition);
+        const truthy = this.reg();
+        this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${condition})`);
+        const nonzero = this.reg();
+        this.emit(`  ${nonzero} = icmp ne i32 ${truthy}, 0`);
+        this.terminate(`br i1 ${nonzero}, label %${bodyLabel}, label %${endLabel}`);
+        this.startBlock(bodyLabel);
+        this.current.loops.push({ breakLabel: endLabel, continueLabel: condLabel, tryDepth: this.current.tryFrames.length });
+        this.emitStatement(statement.statement);
+        this.current.loops.pop();
+        if (!this.current.terminated)
+            this.terminate(`br label %${condLabel}`);
+        this.startBlock(endLabel);
+    },
+    emitDo(statement) {
+        const bodyLabel = this.label("do.body");
+        const condLabel = this.label("do.cond");
+        const endLabel = this.label("do.end");
+        this.terminate(`br label %${bodyLabel}`);
+        this.startBlock(bodyLabel);
+        this.current.loops.push({ breakLabel: endLabel, continueLabel: condLabel, tryDepth: this.current.tryFrames.length });
+        this.emitStatement(statement.statement);
+        this.current.loops.pop();
+        if (!this.current.terminated)
+            this.terminate(`br label %${condLabel}`);
+        this.startBlock(condLabel);
+        const condition = this.emitExpression(statement.condition);
+        const truthy = this.reg();
+        this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${condition})`);
+        const nonzero = this.reg();
+        this.emit(`  ${nonzero} = icmp ne i32 ${truthy}, 0`);
+        this.terminate(`br i1 ${nonzero}, label %${bodyLabel}, label %${endLabel}`);
+        this.startBlock(endLabel);
+    },
+    emitFor(statement) {
+        if (statement.initializer && statement.initializer.kind === SyntaxKind.VariableDeclarationList) {
+            this.emitVariableStatement({
+                kind: SyntaxKind.VariableStatement,
+                declarationList: statement.initializer,
+                modifiers: [],
+                start: statement.initializer.start,
+                end: statement.initializer.end,
+            });
+        }
+        else if (statement.initializer) {
+            this.emitExpression(statement.initializer);
+        }
+        const condLabel = this.label("for.cond");
+        const bodyLabel = this.label("for.body");
+        const updateLabel = this.label("for.update");
+        const endLabel = this.label("for.end");
+        this.terminate(`br label %${condLabel}`);
+        this.startBlock(condLabel);
+        if (statement.condition) {
+            const condition = this.emitExpression(statement.condition);
+            const truthy = this.reg();
+            this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${condition})`);
+            const nonzero = this.reg();
+            this.emit(`  ${nonzero} = icmp ne i32 ${truthy}, 0`);
+            this.terminate(`br i1 ${nonzero}, label %${bodyLabel}, label %${endLabel}`);
+        }
+        else {
+            this.terminate(`br label %${bodyLabel}`);
+        }
+        this.startBlock(bodyLabel);
+        this.current.loops.push({ breakLabel: endLabel, continueLabel: updateLabel, tryDepth: this.current.tryFrames.length });
+        this.emitStatement(statement.statement);
+        this.current.loops.pop();
+        if (!this.current.terminated)
+            this.terminate(`br label %${updateLabel}`);
+        this.startBlock(updateLabel);
+        if (statement.incrementor)
+            this.emitExpression(statement.incrementor);
+        this.terminate(`br label %${condLabel}`);
+        this.startBlock(endLabel);
+    },
+    /** `for (const x of xs)` / `for (const k in obj)` over arrays, strings and objects. */
+    emitForOf(statement) {
+        const source = this.emitExpression(statement.expression);
+        const isForIn = statement.kind === SyntaxKind.ForInStatement;
+        // `for...in` iterates the enumerable keys (indices become strings);
+        // `for...of` iterates the values at each index.
+        const iterable = isForIn ? this.runtimeCall("xt_object_keys", [source]) : source;
+        const indexPtr = this.alloca();
+        this.emit(`  store i64 ${numberLiteral(0)}, i64* ${indexPtr}`);
+        const lengthValue = this.reg();
+        this.emit(`  ${lengthValue} = call i64 @xt_iter_length(i64 ${iterable})`);
+        const condLabel = this.label("forof.cond");
+        const bodyLabel = this.label("forof.body");
+        const updateLabel = this.label("forof.update");
+        const endLabel = this.label("forof.end");
+        this.terminate(`br label %${condLabel}`);
+        this.startBlock(condLabel);
+        const index = this.reg();
+        this.emit(`  ${index} = load i64, i64* ${indexPtr}`);
+        const inRange = this.reg();
+        this.emit(`  ${inRange} = call i64 @xt_lt(i64 ${index}, i64 ${lengthValue})`);
+        const truthy = this.reg();
+        this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${inRange})`);
+        const nonzero = this.reg();
+        this.emit(`  ${nonzero} = icmp ne i32 ${truthy}, 0`);
+        this.terminate(`br i1 ${nonzero}, label %${bodyLabel}, label %${endLabel}`);
+        this.startBlock(bodyLabel);
+        const element = this.reg();
+        this.emit(`  ${element} = call i64 @xt_iter_value(i64 ${iterable}, i64 ${index})`);
+        this.bindLoopVariable(statement.initializer, element);
+        this.current.loops.push({ breakLabel: endLabel, continueLabel: updateLabel, tryDepth: this.current.tryFrames.length });
+        this.emitStatement(statement.statement);
+        this.current.loops.pop();
+        if (!this.current.terminated)
+            this.terminate(`br label %${updateLabel}`);
+        this.startBlock(updateLabel);
+        const next = this.reg();
+        this.emit(`  ${next} = call i64 @xt_add(i64 ${index}, i64 ${numberLiteral(1)})`);
+        this.emit(`  store i64 ${next}, i64* ${indexPtr}`);
+        this.terminate(`br label %${condLabel}`);
+        this.startBlock(endLabel);
+    },
+    bindLoopVariable(initializer, value) {
+        if (initializer.kind === SyntaxKind.VariableDeclarationList) {
+            const declaration = initializer.declarations[0];
+            if (!declaration)
+                return;
+            if (declaration.name.kind !== SyntaxKind.Identifier) {
+                this.emitBindingPattern(declaration.name, value);
+                return;
+            }
+            const symbol = this.binding.symbolOfDeclaration.get(declaration) ?? this.binding.symbolOfDeclaration.get(declaration.name);
+            if (symbol) {
+                if (this.current.slots.has(symbol.id))
+                    this.writeSlot(symbol, value);
+                else
+                    this.declareSlot(symbol, value);
+            }
+            return;
+        }
+        this.emitAssignmentTarget(initializer, value);
+    },
+};
+//# sourceMappingURL=loops.js.map

package/dist/src/codegen/generator/statements/loops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loops.js","sourceRoot":"","sources":["../../../../../src/codegen/generator/statements/loops.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,UAAU,GAQX,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAWhD,MAAM,CAAC,MAAM,oBAAoB,GAAyB;IACxD,SAAS,CAAC,SAAyB;QACjC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACzC,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,SAAS,GAAG,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,YAAY,SAAS,YAAY,QAAQ,EAAE,CAAC,CAAC;QAC5E,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QACrH,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;YAAE,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,MAAM,CAAC,SAAsB;QAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QACrH,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;YAAE,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QAEvE,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,SAAS,GAAG,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,YAAY,SAAS,YAAY,QAAQ,EAAE,CAAC,CAAC;QAC5E,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,CAAC,SAAuB;QAC7B,IAAI,SAAS,CAAC,WAAW,IAAI,SAAS,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;YAC/F,IAAI,CAAC,qBAAqB,CAAC;gBACzB,IAAI,EAAE,UAAU,CAAC,iBAAiB;gBAClC,eAAe,EAAE,SAAS,CAAC,WAAsC;gBACjE,SAAS,EAAE,EAAE;gBACb,KAAK,EAAE,SAAS,CAAC,WAAW,CAAC,KAAK;gBAClC,GAAG,EAAE,SAAS,CAAC,WAAW,CAAC,GAAG;aAC/B,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;YACjC,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,WAAyB,CAAC,CAAC;QAC3D,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QAEzC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;YACxB,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,SAAS,GAAG,CAAC,CAAC;YACjE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kBAAkB,MAAM,KAAK,CAAC,CAAC;YACrD,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,YAAY,SAAS,YAAY,QAAQ,EAAE,CAAC,CAAC;QAC9E,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QAC3C,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QACvH,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;YAAE,IAAI,CAAC,SAAS,CAAC,aAAa,WAAW,EAAE,CAAC,CAAC;QAEzE,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAC7B,IAAI,SAAS,CAAC,WAAW;YAAE,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACtE,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,uFAAuF;IACvF,SAAS,CAAC,SAA0C;QAClD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,cAAc,CAAC;QAC7D,oEAAoE;QACpE,gDAAgD;QAChD,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,gBAAgB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACjF,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,eAAe,aAAa,CAAC,CAAC,CAAC,UAAU,QAAQ,EAAE,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,KAAK,WAAW,mCAAmC,QAAQ,GAAG,CAAC,CAAC;QAE1E,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACzC,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QAEzC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,qBAAqB,QAAQ,EAAE,CAAC,CAAC;QACrD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,0BAA0B,KAAK,SAAS,WAAW,GAAG,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,OAAO,GAAG,CAAC,CAAC;QAC/D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,YAAY,SAAS,YAAY,QAAQ,EAAE,CAAC,CAAC;QAE5E,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kCAAkC,QAAQ,SAAS,KAAK,GAAG,CAAC,CAAC;QACnF,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACtD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QACvH,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;YAAE,IAAI,CAAC,SAAS,CAAC,aAAa,WAAW,EAAE,CAAC,CAAC;QAEzE,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,2BAA2B,KAAK,SAAS,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACjF,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,UAAU,QAAQ,EAAE,CAAC,CAAC;QACnD,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,gBAAgB,CAAC,WAAiD,EAAE,KAAa;QAC/E,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;YAC5D,MAAM,WAAW,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAChD,IAAI,CAAC,WAAW;gBAAE,OAAO;YACzB,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;gBACpD,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACjD,OAAO;YACT,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC3H,IAAI,MAAM,EAAE,CAAC;gBACX,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;;oBAChE,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACvC,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,CAAC,oBAAoB,CAAC,WAAyB,EAAE,KAAK,CAAC,CAAC;IAC9D,CAAC;CACF,CAAC"}

package/dist/src/codegen/generator/statements/variables.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Variable lowering: declarations, destructuring bindings, default values and
+ * enum objects.
+ */
+import { type BindingName, type EnumDeclaration, type Expression, type VariableStatement } from "../../../ast/nodes.js";
+import type { Generator } from "../generator.js";
+export interface VariableStatementMethods {
+    emitVariableStatement(this: Generator, statement: VariableStatement): void;
+    emitBindingPattern(this: Generator, name: BindingName, value: string): void;
+    emitBindingDefault(this: Generator, value: string, initializer: Expression): string;
+    emitEnum(this: Generator, statement: EnumDeclaration): void;
+}
+export declare const variableStatementMethods: VariableStatementMethods;