xbintsc 0.1.6 → 0.1.9

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

@@ -0,0 +1,214 @@
+/**
+ * Module-level generation: emitting functions, the entry point and the overall
+ * IR text, plus default-parameter initialization.
+ */
+import { SyntaxKind, } from "../../ast/nodes.js";
+import { SymbolKind } from "../../binder/binder.js";
+import { i64, XT_UNDEFINED } from "../values.js";
+import { RUNTIME_DECLARATIONS } from "./state.js";
+export const moduleMethods = {
+    run() {
+        for (const classInfo of this.binding.classes) {
+            const globalName = `@class.${classInfo.id}`;
+            this.classGlobals.set(classInfo.id, globalName);
+            this.globals.push(`${globalName} = internal global i64 0`);
+        }
+        // Module-level bindings captured by functions live in globals so that a
+        // top-level function can see them without a closure environment.
+        const moduleScope = this.binding.scopes.get(this.sourceFile);
+        if (moduleScope) {
+            for (const symbol of moduleScope.symbols.values()) {
+                const isVariable = symbol.kind === SymbolKind.Var || symbol.kind === SymbolKind.Let || symbol.kind === SymbolKind.Const;
+                if (!isVariable || !symbol.boxed || !symbol.fn.isModule)
+                    continue;
+                const globalName = `@g.${symbol.id}`;
+                this.moduleGlobals.set(symbol.id, globalName);
+                this.globals.push(`${globalName} = internal global i64 ${i64(XT_UNDEFINED)}`);
+            }
+        }
+        for (const fn of this.binding.functions)
+            this.emitFunction(fn);
+        this.emitMain();
+        const header = ["; ModuleID = 'xbintsc'", "source_filename = \"" + this.sourceFile.fileName + "\"", ""];
+        return [...header, ...RUNTIME_DECLARATIONS, ...this.extraDeclarations, "", ...this.globals, "", ...this.functions, ""].join("\n");
+    },
+    // -- module level --------------------------------------------------------
+    emitFunction(fn) {
+        const name = this.functionName(fn);
+        const state = {
+            fn,
+            buffer: [],
+            allocas: [],
+            slots: new Map(),
+            reg: 0,
+            label: 0,
+            terminated: false,
+            loops: [],
+            tryFrames: [],
+            escapePointers: [],
+            usesTry: false,
+        };
+        this.current = state;
+        const header = `define i64 @${name}(i64 %this, i64 %env, i32 %argc, i64* %argv) {`;
+        this.emit(`%saved.env = alloca i64`);
+        this.emit(`store i64 %env, i64* %saved.env`);
+        this.emit(`%saved.this = alloca i64`);
+        this.emit(`store i64 %this, i64* %saved.this`);
+        state.thisPtr = "%saved.this";
+        this.emit(`%saved.argc = alloca i32`);
+        this.emit(`store i32 %argc, i32* %saved.argc`);
+        this.emit(`%saved.argv = alloca i64*`);
+        this.emit(`store i64* %argv, i64** %saved.argv`);
+        // Parameters.
+        const parameterNodes = fn.node.parameters ?? [];
+        for (let index = 0; index < fn.params.length; index++) {
+            const symbol = fn.params[index];
+            const parameter = parameterNodes[index];
+            if (parameter?.dotDotDotToken) {
+                const rest = this.reg();
+                this.emit(`  ${rest} = call i64 @xt_rest_args(i32 %argc, i64* %argv, i32 ${index})`);
+                this.declareSlot(symbol, rest);
+                continue;
+            }
+            const value = this.reg();
+            this.emit(`  ${value} = call i64 @xt_arg(i32 %argc, i64* %argv, i32 ${index})`);
+            this.declareSlot(symbol, value);
+            if (parameter?.initializer)
+                this.emitDefaultParameter(symbol, value, parameter.initializer);
+        }
+        // Captures threaded through the environment.
+        for (const symbol of fn.captures) {
+            if (this.moduleGlobals.has(symbol.id))
+                continue;
+            const index = fn.captureIndex.get(symbol.id);
+            const value = this.reg();
+            this.emit(`  ${value} = call i64 @xt_closure_env(i64 %env, i32 ${index})`);
+            this.defineCaptureSlot(symbol, value);
+        }
+        // Arrow functions inherit `this` lexically; it travels as an extra capture.
+        if (fn.isArrow && fn.capturesThis) {
+            const inherited = this.reg();
+            this.emit(`  ${inherited} = call i64 @xt_closure_env(i64 %env, i32 ${fn.captures.length})`);
+            this.emit(`  store i64 ${inherited}, i64* %saved.this`);
+        }
+        // Instance field initializers run before the constructor body.
+        if (fn.isConstructor && fn.classInfo) {
+            const thisValue = this.emitThis();
+            for (const field of fn.classInfo.fields) {
+                if (field.isStatic)
+                    continue;
+                const key = this.stringValue(field.name);
+                const value = field.initializer ? this.emitExpression(field.initializer) : i64(XT_UNDEFINED);
+                this.emit(`  call i64 @xt_set(i64 ${thisValue}, i64 ${key}, i64 ${value})`);
+            }
+        }
+        // Body.
+        if (fn.node.kind === SyntaxKind.SourceFile) {
+            this.emitStatements(this.sourceFile.statements);
+        }
+        else if (fn.node.kind === SyntaxKind.ArrowFunction && fn.node.body.kind !== SyntaxKind.Block) {
+            const value = this.emitExpression(fn.node.body);
+            this.terminate(`ret i64 ${fn.isAsync ? this.wrapAsync(value) : value}`);
+        }
+        else {
+            const body = fn.node.body;
+            if (body)
+                this.emitStatements(body.statements);
+        }
+        if (!this.current.terminated) {
+            const fallback = fn.isAsync ? this.wrapAsync(i64(XT_UNDEFINED)) : i64(XT_UNDEFINED);
+            this.terminate(`ret i64 ${fallback}`);
+        }
+        const escapes = state.usesTry
+            ? state.escapePointers.map((ptr) => `  call void asm sideeffect "", "r"(i64* ${ptr})`)
+            : [];
+        const lines = [...state.allocas.map((a) => `  ${a}`), ...escapes, ...state.buffer];
+        this.functions.push([header, ...lines, "}", ""].join("\n"));
+    },
+    emitMain() {
+        const moduleName = this.functionName(this.binding.moduleFunction);
+        this.functions.push([
+            "define i32 @main(i32 %argc, i8** %argv) {",
+            `  %result = call i64 @${moduleName}(i64 ${i64(XT_UNDEFINED)}, i64 ${i64(XT_UNDEFINED)}, i32 0, i64* null)`,
+            "  call void @xt_drain_microtasks()",
+            "  ret i32 0",
+            "}",
+            "",
+        ].join("\n"));
+    },
+    functionName(fn) {
+        return fn.isModule ? "xt_module" : `xt_fn_${fn.id}`;
+    },
+    /** Wrap a returned value in a resolved promise (for `async` functions). */
+    wrapAsync(value) {
+        const result = this.reg();
+        this.emit(`  ${result} = call i64 @xt_promise_resolve(i64 ${value})`);
+        return result;
+    },
+    classGlobal(classInfo) {
+        const existing = this.classGlobals.get(classInfo.id);
+        if (existing)
+            return existing;
+        const name = `@class.${classInfo.id}`;
+        this.classGlobals.set(classInfo.id, name);
+        this.globals.push(`${name} = internal global i64 0`);
+        return name;
+    },
+    emitClassReference(classInfo) {
+        const globalName = this.classGlobal(classInfo);
+        const value = this.reg();
+        this.emit(`  ${value} = load i64, i64* ${globalName}`);
+        return value;
+    },
+    /** Build a class value (constructor closure + prototype) and store it in its global. */
+    emitClassSetup(classInfo) {
+        const globalName = this.classGlobal(classInfo);
+        const proto = this.reg();
+        this.emit(`  ${proto} = call i64 @xt_object_new()`);
+        if (classInfo.parentExpression) {
+            const parent = this.emitExpression(classInfo.parentExpression);
+            const parentProto = this.reg();
+            this.emit(`  ${parentProto} = call i64 @xt_function_get_prototype(i64 ${parent})`);
+            this.emit(`  call i64 @xt_object_set_prototype(i64 ${proto}, i64 ${parentProto})`);
+        }
+        for (const method of classInfo.methods) {
+            const fnValue = this.emitClosureValue(method);
+            const key = this.stringValue(method.name);
+            this.emit(`  call i64 @xt_set(i64 ${proto}, i64 ${key}, i64 ${fnValue})`);
+        }
+        const ctor = this.emitClosureValue(classInfo.ctor);
+        this.emit(`  call i64 @xt_function_set_prototype(i64 ${ctor}, i64 ${proto})`);
+        const ctorKey = this.stringValue("__ctor");
+        this.emit(`  call i64 @xt_set(i64 ${proto}, i64 ${ctorKey}, i64 ${ctor})`);
+        for (const method of classInfo.statics) {
+            const fnValue = this.emitClosureValue(method);
+            const key = this.stringValue(method.name);
+            this.emit(`  call i64 @xt_set(i64 ${ctor}, i64 ${key}, i64 ${fnValue})`);
+        }
+        for (const field of classInfo.fields) {
+            if (!field.isStatic)
+                continue;
+            const key = this.stringValue(field.name);
+            const value = field.initializer ? this.emitExpression(field.initializer) : i64(XT_UNDEFINED);
+            this.emit(`  call i64 @xt_set(i64 ${ctor}, i64 ${key}, i64 ${value})`);
+        }
+        this.emit(`  store i64 ${ctor}, i64* ${globalName}`);
+    },
+    emitDefaultParameter(symbol, value, 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 applyLabel = this.label("param.default");
+        const endLabel = this.label("param.end");
+        this.terminate(`br i1 ${condition}, label %${applyLabel}, label %${endLabel}`);
+        this.startBlock(applyLabel);
+        const fallback = this.emitExpression(initializer);
+        this.writeSlot(symbol, fallback);
+        this.terminate(`br label %${endLabel}`);
+        this.startBlock(endLabel);
+    },
+};
+//# sourceMappingURL=module.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"module.js","sourceRoot":"","sources":["../../../../src/codegen/generator/module.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,UAAU,GAKX,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAsB,MAAM,YAAY,CAAC;AAetE,MAAM,CAAC,MAAM,aAAa,GAAkB;IAC1C,GAAG;QACD,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YAC7C,MAAM,UAAU,GAAG,UAAU,SAAS,CAAC,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;YAChD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,0BAA0B,CAAC,CAAC;QAC7D,CAAC;QACD,wEAAwE;QACxE,iEAAiE;QACjE,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7D,IAAI,WAAW,EAAE,CAAC;YAChB,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;gBAClD,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,KAAK,CAAC;gBACxH,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,QAAQ;oBAAE,SAAS;gBAClE,MAAM,UAAU,GAAG,MAAM,MAAM,CAAC,EAAE,EAAE,CAAC;gBACrC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;gBAC9C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,0BAA0B,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;YAChF,CAAC;QACH,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS;YAAE,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,CAAC,wBAAwB,EAAE,sBAAsB,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC;QACxG,OAAO,CAAC,GAAG,MAAM,EAAE,GAAG,oBAAoB,EAAE,GAAG,IAAI,CAAC,iBAAiB,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpI,CAAC;IAED,2EAA2E;IAE3E,YAAY,CAAC,EAAgB;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACnC,MAAM,KAAK,GAAkB;YAC3B,EAAE;YACF,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,EAAE;YACX,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,GAAG,EAAE,CAAC;YACN,KAAK,EAAE,CAAC;YACR,UAAU,EAAE,KAAK;YACjB,KAAK,EAAE,EAAE;YACT,SAAS,EAAE,EAAE;YACb,cAAc,EAAE,EAAE;YAClB,OAAO,EAAE,KAAK;SACf,CAAC;QACF,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QAErB,MAAM,MAAM,GAAG,eAAe,IAAI,gDAAgD,CAAC;QACnF,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QAC/C,KAAK,CAAC,OAAO,GAAG,aAAa,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;QAEjD,cAAc;QACd,MAAM,cAAc,GAAI,EAAE,CAAC,IAAqC,CAAC,UAAU,IAAI,EAAE,CAAC;QAClF,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACtD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC;YACjC,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;YACxC,IAAI,SAAS,EAAE,cAAc,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,wDAAwD,KAAK,GAAG,CAAC,CAAC;gBACrF,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBAC/B,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,kDAAkD,KAAK,GAAG,CAAC,CAAC;YAChF,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAChC,IAAI,SAAS,EAAE,WAAW;gBAAE,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;QAC9F,CAAC;QAED,6CAA6C;QAC7C,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAAE,SAAS;YAChD,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,6CAA6C,KAAK,GAAG,CAAC,CAAC;YAC3E,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACxC,CAAC;QAED,4EAA4E;QAC5E,IAAI,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,6CAA6C,EAAE,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YAC5F,IAAI,CAAC,IAAI,CAAC,eAAe,SAAS,oBAAoB,CAAC,CAAC;QAC1D,CAAC;QAED,+DAA+D;QAC/D,IAAI,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;YACrC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;gBACxC,IAAI,KAAK,CAAC,QAAQ;oBAAE,SAAS;gBAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACzC,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC7F,IAAI,CAAC,IAAI,CAAC,0BAA0B,SAAS,SAAS,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC;YAC9E,CAAC;QACH,CAAC;QAED,QAAQ;QACR,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;YAC3C,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAClD,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,IAAK,EAAE,CAAC,IAAsB,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,KAAK,EAAE,CAAC;YAClH,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAE,EAAE,CAAC,IAAsB,CAAC,IAAkB,CAAC,CAAC;YACjF,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAC1E,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAI,EAAE,CAAC,IAAwB,CAAC,IAAI,CAAC;YAC/C,IAAI,IAAI;gBAAE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjD,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YACpF,IAAI,CAAC,SAAS,CAAC,WAAW,QAAQ,EAAE,CAAC,CAAC;QACxC,CAAC;QAED,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO;YAC3B,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,2CAA2C,GAAG,GAAG,CAAC;YACtF,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QACnF,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,GAAG,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,CAAC;IAED,QAAQ;QACN,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;QAClE,IAAI,CAAC,SAAS,CAAC,IAAI,CACjB;YACE,2CAA2C;YAC3C,yBAAyB,UAAU,QAAQ,GAAG,CAAC,YAAY,CAAC,SAAS,GAAG,CAAC,YAAY,CAAC,qBAAqB;YAC3G,oCAAoC;YACpC,aAAa;YACb,GAAG;YACH,EAAE;SACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,EAAgB;QAC3B,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;IACtD,CAAC;IAED,2EAA2E;IAC3E,SAAS,CAAC,KAAa;QACrB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,uCAAuC,KAAK,GAAG,CAAC,CAAC;QACtE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,WAAW,CAAC,SAAoB;QAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,MAAM,IAAI,GAAG,UAAU,SAAS,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1C,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,0BAA0B,CAAC,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,kBAAkB,CAAC,SAAoB;QACrC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,qBAAqB,UAAU,EAAE,CAAC,CAAC;QACvD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,wFAAwF;IACxF,cAAc,CAAC,SAAoB;QACjC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,8BAA8B,CAAC,CAAC;QACpD,IAAI,SAAS,CAAC,gBAAgB,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;YAC/D,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,KAAK,WAAW,8CAA8C,MAAM,GAAG,CAAC,CAAC;YACnF,IAAI,CAAC,IAAI,CAAC,2CAA2C,KAAK,SAAS,WAAW,GAAG,CAAC,CAAC;QACrF,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACvC,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,0BAA0B,KAAK,SAAS,GAAG,SAAS,OAAO,GAAG,CAAC,CAAC;QAC5E,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAK,CAAC,CAAC;QACpD,IAAI,CAAC,IAAI,CAAC,6CAA6C,IAAI,SAAS,KAAK,GAAG,CAAC,CAAC;QAC9E,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,CAAC,IAAI,CAAC,0BAA0B,KAAK,SAAS,OAAO,SAAS,IAAI,GAAG,CAAC,CAAC;QAC3E,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACvC,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;YAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,0BAA0B,IAAI,SAAS,GAAG,SAAS,OAAO,GAAG,CAAC,CAAC;QAC3E,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,QAAQ;gBAAE,SAAS;YAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YAC7F,IAAI,CAAC,IAAI,CAAC,0BAA0B,IAAI,SAAS,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC;QACzE,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,UAAU,UAAU,EAAE,CAAC,CAAC;IACvD,CAAC;IAED,oBAAoB,CAAC,MAAkB,EAAE,KAAa,EAAE,WAAuB;QAC7E,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,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACzC,IAAI,CAAC,SAAS,CAAC,SAAS,SAAS,YAAY,UAAU,YAAY,QAAQ,EAAE,CAAC,CAAC;QAC/E,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC;QAClD,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;CACF,CAAC"}

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

@@ -0,0 +1,42 @@
+/**
+ * Shared state types and the runtime declaration list for the LLVM generator.
+ */
+import type { FunctionInfo } from "../../binder/binder.js";
+import type { BindResult } from "../../binder/binder.js";
+import type { BuiltinFunction } from "../../extensions/registry.js";
+export interface Slot {
+    /** Register holding the `i64*` to the storage. */
+    readonly ptr: string;
+    readonly boxed: boolean;
+}
+export interface LoopLabels {
+    readonly breakLabel: string;
+    readonly continueLabel: string;
+    /** Number of enclosing `try` frames when the loop was entered. */
+    readonly tryDepth?: number;
+}
+export interface FunctionState {
+    readonly fn: FunctionInfo;
+    readonly buffer: string[];
+    readonly allocas: string[];
+    readonly slots: Map<number, Slot>;
+    reg: number;
+    label: number;
+    terminated: boolean;
+    readonly loops: LoopLabels[];
+    readonly tryFrames: string[];
+    readonly escapePointers: string[];
+    /** Alloca holding the `this` binding for the current function. */
+    thisPtr?: string;
+    /** Set when the function contains a `try`, forcing locals to live in memory. */
+    usesTry: boolean;
+}
+export interface CodegenResult {
+    readonly ir: string;
+    readonly binding: BindResult;
+}
+export interface CodegenOptions {
+    /** Global names supplied by registered extensions. */
+    readonly builtins?: Readonly<Record<string, BuiltinFunction>>;
+}
+export declare const RUNTIME_DECLARATIONS: readonly string[];

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

@@ -0,0 +1,125 @@
+/**
+ * Shared state types and the runtime declaration list for the LLVM generator.
+ */
+export const RUNTIME_DECLARATIONS = [
+    "declare i64 @xt_undefined()",
+    "declare i64 @xt_null()",
+    "declare i64 @xt_bool(i32)",
+    "declare i64 @xt_number(double)",
+    "declare i64 @xt_string_new(i8*, i64)",
+    "declare i64 @xt_string_from_cstr(i8*)",
+    "declare i64 @xt_arg(i32, i64*, i32)",
+    "declare i64 @xt_closure_new(i8*, i32, i64*)",
+    "declare i64 @xt_closure_call(i64, i32, i64*)",
+    "declare i64 @xt_closure_env(i64, i32)",
+    "declare i64 @xt_call_with_this(i64, i64, i32, i64*)",
+    "declare i64 @xt_this()",
+    "declare i64 @xt_new(i64, i32, i64*)",
+    "declare i64 @xt_instance_of(i64, i64)",
+    "declare i64 @xt_function_set_prototype(i64, i64)",
+    "declare i64 @xt_function_get_prototype(i64)",
+    "declare i64 @xt_object_new_with_proto(i64)",
+    "declare i64 @xt_object_get_prototype(i64)",
+    "declare i64 @xt_object_set_prototype(i64, i64)",
+    "declare i64 @xt_await(i64)",
+    "declare void @xt_drain_microtasks()",
+    "declare i64 @xt_promise_resolve(i64)",
+    "declare i64 @xt_promise_reject(i64)",
+    "declare i64 @xt_promise_ctor(i32, i64*)",
+    "declare i64 @xt_promise_static(i64, i32, i64*)",
+    "declare i64 @xt_array_static(i64, i32, i64*)",
+    "declare i64 @xt_object_static(i64, i32, i64*)",
+    "declare i64 @xt_number_static(i64, i32, i64*)",
+    "declare i64 @xt_string_static(i64, i32, i64*)",
+    "declare i64 @xt_date_static(i64, i32, i64*)",
+    "declare i64 @xt_map_ctor(i32, i64*)",
+    "declare i64 @xt_set_ctor(i32, i64*)",
+    "declare i64 @xt_date_ctor(i32, i64*)",
+    "declare i64 @xt_regexp_ctor(i32, i64*)",
+    "declare i64 @xt_json_parse(i32, i64*)",
+    "declare i64 @xt_json_stringify(i32, i64*)",
+    "declare i64 @xt_object_from_entries(i64)",
+    "declare i64 @xt_object_freeze(i64)",
+    "declare i32 @xt_object_is_frozen(i64)",
+    "declare i64 @xt_object_has_own(i64, i64)",
+    "declare i64 @xt_console_dir(i32, i64*)",
+    "declare i64 @xt_console_trace(i32, i64*)",
+    "declare i64 @xt_console_assert(i32, i64*)",
+    "declare i64 @xt_console_count(i32, i64*)",
+    "declare i64 @xt_console_count_reset(i32, i64*)",
+    "declare i64 @xt_console_group(i32, i64*)",
+    "declare i64 @xt_console_group_end(i32, i64*)",
+    "declare i64 @xt_console_table(i32, i64*)",
+    "declare i64 @xt_console_time(i32, i64*)",
+    "declare i64 @xt_console_time_end(i32, i64*)",
+    "declare i64 @xt_console_time_log(i32, i64*)",
+    "declare i32 @xt_truthy(i64)",
+    "declare double @xt_to_number(i64)",
+    "declare i64 @xt_to_string(i64)",
+    "declare i64 @xt_typeof(i64)",
+    "declare i64 @xt_add(i64, i64)",
+    "declare i64 @xt_sub(i64, i64)",
+    "declare i64 @xt_mul(i64, i64)",
+    "declare i64 @xt_div(i64, i64)",
+    "declare i64 @xt_mod(i64, i64)",
+    "declare i64 @xt_pow(i64, i64)",
+    "declare i64 @xt_neg(i64)",
+    "declare i64 @xt_pos(i64)",
+    "declare i64 @xt_bit_and(i64, i64)",
+    "declare i64 @xt_bit_or(i64, i64)",
+    "declare i64 @xt_bit_xor(i64, i64)",
+    "declare i64 @xt_bit_not(i64)",
+    "declare i64 @xt_shl(i64, i64)",
+    "declare i64 @xt_shr(i64, i64)",
+    "declare i64 @xt_ushr(i64, i64)",
+    "declare i64 @xt_lt(i64, i64)",
+    "declare i64 @xt_le(i64, i64)",
+    "declare i64 @xt_gt(i64, i64)",
+    "declare i64 @xt_ge(i64, i64)",
+    "declare i64 @xt_eq(i64, i64)",
+    "declare i64 @xt_ne(i64, i64)",
+    "declare i64 @xt_seq(i64, i64)",
+    "declare i64 @xt_sne(i64, i64)",
+    "declare i64 @xt_not(i64)",
+    "declare i64 @xt_object_new()",
+    "declare i64 @xt_object_get_cstr(i64, i8*)",
+    "declare i64 @xt_object_set(i64, i64, i64)",
+    "declare i64 @xt_object_has(i64, i64)",
+    "declare i64 @xt_object_keys(i64)",
+    "declare i64 @xt_object_values(i64)",
+    "declare i64 @xt_object_entries(i64)",
+    "declare i64 @xt_object_assign(i32, i64*)",
+    "declare i64 @xt_object_spread(i64, i64)",
+    "declare i64 @xt_call_method(i64, i64, i32, i64*)",
+    "declare i64 @xt_math_call(i64, i32, i64*)",
+    "declare i64 @xt_parse_int(i32, i64*)",
+    "declare i64 @xt_parse_float(i32, i64*)",
+    "declare i64 @xt_is_nan(i32, i64*)",
+    "declare i64 @xt_is_finite(i32, i64*)",
+    "declare i64 @xt_number_ctor(i32, i64*)",
+    "declare i64 @xt_string_ctor(i32, i64*)",
+    "declare i64 @xt_boolean_ctor(i32, i64*)",
+    "declare i64 @xt_in(i64, i64)",
+    "declare i64 @xt_delete(i64, i64)",
+    "declare i64 @xt_rest_args(i32, i64*, i32)",
+    "declare i64 @xt_array_new(i32, i64*)",
+    "declare i64 @xt_array_push(i64, i64)",
+    "declare i64 @xt_array_length(i64)",
+    "declare i64 @xt_array_spread(i64, i64)",
+    "declare i64 @xt_get(i64, i64)",
+    "declare i64 @xt_set(i64, i64, i64)",
+    "declare i64 @xt_box_new(i64)",
+    "declare i64 @xt_box_get(i64)",
+    "declare i64 @xt_box_set(i64, i64)",
+    "declare i64 @xt_is_nullish(i64)",
+    "declare void @xt_throw(i64)",
+    "declare i32 @_setjmp(i8*) returns_twice",
+    "declare i8* @xt_try_enter()",
+    "declare i64 @xt_try_exception(i8*)",
+    "declare void @xt_try_leave(i8*)",
+    "declare void @xt_console_log(i32, i64*)",
+    "declare void @xt_console_info(i32, i64*)",
+    "declare void @xt_console_warn(i32, i64*)",
+    "declare void @xt_console_error(i32, i64*)",
+];
+//# sourceMappingURL=state.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../src/codegen/generator/state.ts"],"names":[],"mappings":"AAAA;;GAEG;AA8CH,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,4BAA4B;IAC5B,qCAAqC;IACrC,sCAAsC;IACtC,qCAAqC;IACrC,yCAAyC;IACzC,gDAAgD;IAChD,8CAA8C;IAC9C,+CAA+C;IAC/C,+CAA+C;IAC/C,+CAA+C;IAC/C,6CAA6C;IAC7C,qCAAqC;IACrC,qCAAqC;IACrC,sCAAsC;IACtC,wCAAwC;IACxC,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,sCAAsC;IACtC,sCAAsC;IACtC,mCAAmC;IACnC,wCAAwC;IACxC,+BAA+B;IAC/B,oCAAoC;IACpC,8BAA8B;IAC9B,8BAA8B;IAC9B,mCAAmC;IACnC,iCAAiC;IACjC,6BAA6B;IAC7B,yCAAyC;IACzC,6BAA6B;IAC7B,oCAAoC;IACpC,iCAAiC;IACjC,yCAAyC;IACzC,0CAA0C;IAC1C,0CAA0C;IAC1C,2CAA2C;CAC5C,CAAC"}

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

@@ -0,0 +1,22 @@
+/**
+ * Statement lowering: control flow, loops, switch and try/catch/finally.
+ */
+import { type DoStatement, 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;
+    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;
+}
+export declare const statementMethods: StatementMethods;