xbintsc 0.2.9 → 0.3.3

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

@@ -0,0 +1,146 @@
+/**
+ * Variable lowering: declarations, destructuring bindings, default values and
+ * enum objects.
+ */
+import { SyntaxKind, } from "../../../ast/nodes.js";
+import { i64, numberLiteral, XT_UNDEFINED } from "../../values.js";
+import { propertyNameText } from "../tables.js";
+export const variableStatementMethods = {
+    emitVariableStatement(statement) {
+        for (const declaration of statement.declarationList.declarations) {
+            if (declaration.name.kind === SyntaxKind.Identifier) {
+                const symbol = this.binding.symbolOfDeclaration.get(declaration);
+                if (!symbol) {
+                    if (declaration.initializer)
+                        this.emitExpression(declaration.initializer);
+                    continue;
+                }
+                if (this.current.slots.has(symbol.id)) {
+                    // Hoisted `var` (or an already-declared slot): keep evaluating the
+                    // initializer for its side effects, but do not redeclare the slot.
+                    if (declaration.initializer)
+                        this.emitExpression(declaration.initializer);
+                    continue;
+                }
+                if (symbol.boxed) {
+                    // A captured binding lives in a box. Create the box *before*
+                    // evaluating the initializer so a self-referencing closure
+                    // (`const f = () => f()`) captures the box, not a copy of the
+                    // still-uninitialised value.
+                    this.declareSlot(symbol, i64(XT_UNDEFINED));
+                    if (declaration.initializer)
+                        this.writeSlot(symbol, this.emitExpression(declaration.initializer));
+                    continue;
+                }
+                const initial = declaration.initializer ? this.emitExpression(declaration.initializer) : i64(XT_UNDEFINED);
+                this.declareSlot(symbol, initial);
+            }
+            else {
+                const initial = declaration.initializer ? this.emitExpression(declaration.initializer) : i64(XT_UNDEFINED);
+                this.emitBindingPattern(declaration.name, initial);
+            }
+        }
+    },
+    /** Lower a destructuring binding pattern, declaring each bound identifier. */
+    emitBindingPattern(name, value) {
+        if (name.kind === SyntaxKind.Identifier) {
+            const symbol = this.binding.symbolOfDeclaration.get(name);
+            if (!symbol)
+                return;
+            if (this.current.slots.has(symbol.id))
+                this.writeSlot(symbol, value);
+            else
+                this.declareSlot(symbol, value);
+            return;
+        }
+        if (name.kind === SyntaxKind.ArrayBindingPattern) {
+            const pattern = name;
+            for (let index = 0; index < pattern.elements.length; index++) {
+                const element = pattern.elements[index];
+                if (!element)
+                    continue;
+                let elementValue;
+                if (element.dotDotDotToken) {
+                    const startPtr = this.alloca();
+                    this.emit(`  store i64 ${numberLiteral(index)}, i64* ${startPtr}`);
+                    const sliceName = this.stringValue("slice");
+                    elementValue = this.reg();
+                    this.emit(`  ${elementValue} = call i64 @xt_call_method(i64 ${value}, i64 ${sliceName}, i32 1, i64* ${startPtr})`);
+                }
+                else {
+                    elementValue = this.reg();
+                    this.emit(`  ${elementValue} = call i64 @xt_get(i64 ${value}, i64 ${numberLiteral(index)})`);
+                }
+                if (element.initializer)
+                    elementValue = this.emitBindingDefault(elementValue, element.initializer);
+                this.emitBindingPattern(element.name, elementValue);
+            }
+            return;
+        }
+        const pattern = name;
+        for (const element of pattern.elements) {
+            const key = element.propertyName ?? (element.name.kind === SyntaxKind.Identifier ? element.name : undefined);
+            if (element.dotDotDotToken) {
+                this.unsupported(element, "object rest destructuring");
+                continue;
+            }
+            const keyValue = this.stringValue(key ? propertyNameText(key) : "undefined");
+            let elementValue = this.reg();
+            this.emit(`  ${elementValue} = call i64 @xt_get(i64 ${value}, i64 ${keyValue})`);
+            if (element.initializer)
+                elementValue = this.emitBindingDefault(elementValue, element.initializer);
+            this.emitBindingPattern(element.name, elementValue);
+        }
+    },
+    /** `x = fallback` in a binding pattern: only apply when `x` is `undefined`. */
+    emitBindingDefault(value, initializer) {
+        const fallback = this.emitExpression(initializer);
+        const isUndefined = this.reg();
+        this.emit(`  ${isUndefined} = call i64 @xt_seq(i64 ${value}, i64 ${i64(XT_UNDEFINED)})`);
+        const truthy = this.reg();
+        this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${isUndefined})`);
+        const condition = this.reg();
+        this.emit(`  ${condition} = icmp ne i32 ${truthy}, 0`);
+        const result = this.reg();
+        this.emit(`  ${result} = select i1 ${condition}, i64 ${fallback}, i64 ${value}`);
+        return result;
+    },
+    /**
+     * `enum E { A, B }` (and `const enum`) lowers to a runtime object with both
+     * forward (`E.A`) and reverse (`E[0] === "A"`) numeric mappings.
+     */
+    emitEnum(statement) {
+        const symbol = this.binding.symbolOfDeclaration.get(statement);
+        const object = this.reg();
+        this.emit(`  ${object} = call i64 @xt_object_new()`);
+        let next = 0;
+        for (const member of statement.members) {
+            const name = propertyNameText(member.name);
+            const key = this.stringValue(name);
+            let value;
+            if (member.initializer) {
+                value = this.emitExpression(member.initializer);
+                if (member.initializer.kind === SyntaxKind.NumericLiteral) {
+                    const numeric = member.initializer.value ?? 0;
+                    next = numeric + 1;
+                }
+                else {
+                    next++;
+                }
+            }
+            else {
+                value = numberLiteral(next);
+                next++;
+            }
+            this.emit(`  call i64 @xt_set(i64 ${object}, i64 ${key}, i64 ${value})`);
+            // Reverse mapping (only meaningful for numeric members).
+            if (!member.initializer || member.initializer.kind === SyntaxKind.NumericLiteral) {
+                const reverseKey = this.stringValue(name);
+                this.emit(`  call i64 @xt_set(i64 ${object}, i64 ${value}, i64 ${reverseKey})`);
+            }
+        }
+        if (symbol)
+            this.declareSlot(symbol, object);
+    },
+};
+//# sourceMappingURL=variables.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"variables.js","sourceRoot":"","sources":["../../../../../src/codegen/generator/statements/variables.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,UAAU,GAOX,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAUhD,MAAM,CAAC,MAAM,wBAAwB,GAA6B;IAChE,qBAAqB,CAAC,SAA4B;QAChD,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACjE,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;gBACpD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBACjE,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,IAAI,WAAW,CAAC,WAAW;wBAAE,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;oBAC1E,SAAS;gBACX,CAAC;gBACD,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;oBACtC,mEAAmE;oBACnE,mEAAmE;oBACnE,IAAI,WAAW,CAAC,WAAW;wBAAE,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;oBAC1E,SAAS;gBACX,CAAC;gBACD,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;oBACjB,6DAA6D;oBAC7D,2DAA2D;oBAC3D,8DAA8D;oBAC9D,6BAA6B;oBAC7B,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;oBAC5C,IAAI,WAAW,CAAC,WAAW;wBAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC;oBAClG,SAAS;gBACX,CAAC;gBACD,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC3G,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACpC,CAAC;iBAAM,CAAC;gBACN,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC3G,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;IACH,CAAC;IAED,8EAA8E;IAC9E,kBAAkB,CAAC,IAAiB,EAAE,KAAa;QACjD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1D,IAAI,CAAC,MAAM;gBAAE,OAAO;YACpB,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;;gBAChE,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACrC,OAAO;QACT,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,mBAAmB,EAAE,CAAC;YACjD,MAAM,OAAO,GAAG,IAA2B,CAAC;YAC5C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;gBAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACxC,IAAI,CAAC,OAAO;oBAAE,SAAS;gBACvB,IAAI,YAAoB,CAAC;gBACzB,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;oBAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;oBAC/B,IAAI,CAAC,IAAI,CAAC,eAAe,aAAa,CAAC,KAAK,CAAC,UAAU,QAAQ,EAAE,CAAC,CAAC;oBACnE,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;oBAC5C,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,mCAAmC,KAAK,SAAS,SAAS,iBAAiB,QAAQ,GAAG,CAAC,CAAC;gBACrH,CAAC;qBAAM,CAAC;oBACN,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,2BAA2B,KAAK,SAAS,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC/F,CAAC;gBACD,IAAI,OAAO,CAAC,WAAW;oBAAE,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC,YAAY,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;gBACnG,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACtD,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,IAA4B,CAAC;QAC7C,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACvC,MAAM,GAAG,GAAG,OAAO,CAAC,YAAY,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC7G,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;gBAC3B,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,2BAA2B,CAAC,CAAC;gBACvD,SAAS;YACX,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YAC7E,IAAI,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,2BAA2B,KAAK,SAAS,QAAQ,GAAG,CAAC,CAAC;YACjF,IAAI,OAAO,CAAC,WAAW;gBAAE,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC,YAAY,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;YACnG,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,kBAAkB,CAAC,KAAa,EAAE,WAAuB;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC;QAClD,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,KAAK,WAAW,2BAA2B,KAAK,SAAS,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACzF,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,WAAW,GAAG,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,SAAS,SAAS,QAAQ,SAAS,KAAK,EAAE,CAAC,CAAC;QACjF,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;OAGG;IACH,QAAQ,CAAC,SAA0B;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,CAAC,CAAC;QACrD,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,KAAa,CAAC;YAClB,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACvB,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;gBAChD,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,cAAc,EAAE,CAAC;oBAC1D,MAAM,OAAO,GAAI,MAAM,CAAC,WAAkC,CAAC,KAAK,IAAI,CAAC,CAAC;oBACtE,IAAI,GAAG,OAAO,GAAG,CAAC,CAAC;gBACrB,CAAC;qBAAM,CAAC;oBACN,IAAI,EAAE,CAAC;gBACT,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC5B,IAAI,EAAE,CAAC;YACT,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,0BAA0B,MAAM,SAAS,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC;YACzE,yDAAyD;YACzD,IAAI,CAAC,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,cAAc,EAAE,CAAC;gBACjF,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBAC1C,IAAI,CAAC,IAAI,CAAC,0BAA0B,MAAM,SAAS,KAAK,SAAS,UAAU,GAAG,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;QACD,IAAI,MAAM;YAAE,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/C,CAAC;CACF,CAAC"}

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

@@ -1,25 +1,17 @@
 /**
- * Statement lowering: control flow, loops, switch and try/catch/finally.
+ * Statement lowering: aggregates the dispatch, variable, control-flow and loop
+ * method groups into the `StatementMethods` mixin consumed by the generator.
+ *
+ * The implementation is split by functional area under `statements/`:
+ *   - `dispatch`      — statement-list walking and kind routing
+ *   - `variables`     — declarations, bindings, defaults and enums
+ *   - `control-flow`  — `if`, `switch`, `try`/`catch`/`finally`, `return`
+ *   - `loops`         — `while`, `do`, `for`, `for`/`of`, `for`/`in`
  */
-import { type BindingName, type DoStatement, type EnumDeclaration, type Expression, type ForInStatement, type ForOfStatement, type ForStatement, type Identifier, type IfStatement, type ReturnStatement, type Statement, type SwitchStatement, type TryStatement, type VariableDeclarationList, type VariableStatement, type WhileStatement } from "../../ast/nodes.js";
-import type { Generator } from "./generator.js";
-export interface StatementMethods {
-    emitStatements(this: Generator, statements: readonly Statement[]): void;
-    emitStatement(this: Generator, statement: Statement): void;
-    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;
-    emitIf(this: Generator, statement: IfStatement): void;
-    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;
-    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;
+import { type StatementDispatchMethods } from "./statements/dispatch.js";
+import { type VariableStatementMethods } from "./statements/variables.js";
+import { type ControlFlowStatementMethods } from "./statements/control-flow.js";
+import { type LoopStatementMethods } from "./statements/loops.js";
+export interface StatementMethods extends StatementDispatchMethods, VariableStatementMethods, ControlFlowStatementMethods, LoopStatementMethods {
 }
 export declare const statementMethods: StatementMethods;