xbintsc 0.2.9 → 0.3.1

package/dist/src/codegen/generator/calls/invocation.js

@@ -0,0 +1,242 @@
+/**
+ * Call invocation: direct calls, built-in/namespace dispatch, imported
+ * bindings, argument marshalling and generic runtime calls.
+ */
+import { SyntaxKind, } from "../../../ast/nodes.js";
+import { SymbolKind } from "../../../binder/binder.js";
+import { i64, XT_UNDEFINED } from "../../values.js";
+import { BUILTIN_METHODS, CONSOLE_METHODS, CTOR_FUNCTIONS, GLOBAL_FUNCTIONS, MATH_FUNCTIONS, NAMESPACE_STATICS, } from "../tables.js";
+export const invocationCallMethods = {
+    emitCall(node) {
+        const callee = node.expression;
+        if (node.optional) {
+            const calleeValue = this.emitExpression(callee);
+            return this.emitOptional(calleeValue, () => {
+                const args = this.emitArguments(node.arguments);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_closure_call(i64 ${calleeValue}, i32 ${args.argc}, i64* ${args.ptr})`);
+                return result;
+            });
+        }
+        if ((callee.kind === SyntaxKind.PropertyAccessExpression || callee.kind === SyntaxKind.ElementAccessExpression) &&
+            callee.optional) {
+            // `obj?.method(args)` / `obj?.[key](args)`: guard the receiver, then
+            // dispatch through the runtime, which understands object methods as well
+            // as the built-in array/string methods.
+            const access = callee;
+            const object = this.emitExpression(access.expression);
+            return this.emitOptional(object, () => {
+                const name = access.kind === SyntaxKind.PropertyAccessExpression
+                    ? this.stringValue(access.name.text)
+                    : this.emitExpression(access.argumentExpression);
+                const args = this.emitArguments(node.arguments);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_call_method(i64 ${object}, i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
+                return result;
+            });
+        }
+        if (callee.kind === SyntaxKind.PropertyAccessExpression) {
+            const access = callee;
+            const special = this.tryEmitBuiltinCall(node, access);
+            if (special)
+                return special;
+            if (access.expression.kind === SyntaxKind.Identifier && access.expression.text === "super") {
+                return this.emitSuperCall(node, access);
+            }
+            const object = this.emitExpression(access.expression);
+            const name = this.stringValue(access.name.text);
+            const args = this.emitArguments(node.arguments);
+            const result = this.reg();
+            this.emit(`  ${result} = call i64 @xt_call_method(i64 ${object}, i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
+            return result;
+        }
+        if (callee.kind === SyntaxKind.ElementAccessExpression) {
+            const access = callee;
+            const object = this.emitExpression(access.expression);
+            const name = this.emitExpression(access.argumentExpression);
+            const args = this.emitArguments(node.arguments);
+            const result = this.reg();
+            this.emit(`  ${result} = call i64 @xt_call_method(i64 ${object}, i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
+            return result;
+        }
+        if (callee.kind === SyntaxKind.Identifier) {
+            if (callee.text === "super")
+                return this.emitSuperConstructor(node);
+            const symbol = this.binding.symbolOfIdentifier.get(callee);
+            if (symbol && symbol.kind === SymbolKind.Import) {
+                const exported = this.importExports.get(symbol.id);
+                if (exported)
+                    return this.emitModuleExport(node, exported);
+            }
+            if (symbol && symbol.kind === SymbolKind.Function) {
+                const declaration = symbol.declarations[0];
+                const fn = declaration ? this.binding.functionOfNode.get(declaration) : undefined;
+                if (fn) {
+                    const args = this.emitArguments(node.arguments);
+                    const result = this.reg();
+                    this.emit(`  ${result} = call i64 @${this.functionName(fn)}(i64 ${i64(XT_UNDEFINED)}, i64 ${i64(XT_UNDEFINED)}, i32 ${args.argc}, i64* ${args.ptr})`);
+                    return result;
+                }
+            }
+            const globalFunction = !symbol ? GLOBAL_FUNCTIONS[callee.text] : undefined;
+            if (globalFunction) {
+                const args = this.emitArguments(node.arguments);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @${globalFunction}(i32 ${args.argc}, i64* ${args.ptr})`);
+                return result;
+            }
+            const builtin = this.builtins[callee.text];
+            if (!symbol && builtin) {
+                this.extraDeclarations.add(builtin.returnVoid ? `declare void @${builtin.symbol}(i32, i64*)` : `declare i64 @${builtin.symbol}(i32, i64*)`);
+                const args = this.emitArguments(node.arguments);
+                if (builtin.returnVoid) {
+                    this.emit(`  call void @${builtin.symbol}(i32 ${args.argc}, i64* ${args.ptr})`);
+                    return i64(XT_UNDEFINED);
+                }
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @${builtin.symbol}(i32 ${args.argc}, i64* ${args.ptr})`);
+                return result;
+            }
+            const ctor = !symbol ? CTOR_FUNCTIONS[callee.text] : undefined;
+            if (ctor) {
+                const args = this.emitArguments(node.arguments);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @${ctor}(i32 ${args.argc}, i64* ${args.ptr})`);
+                return result;
+            }
+        }
+        const calleeValue = this.emitExpression(callee);
+        const args = this.emitArguments(node.arguments);
+        const result = this.reg();
+        this.emit(`  ${result} = call i64 @xt_closure_call(i64 ${calleeValue}, i32 ${args.argc}, i64* ${args.ptr})`);
+        return result;
+    },
+    tryEmitBuiltinCall(node, callee) {
+        const target = callee.expression;
+        const method = callee.name.text;
+        const targetIdentifier = target.kind === SyntaxKind.Identifier ? target : undefined;
+        const targetSymbol = targetIdentifier ? this.binding.symbolOfIdentifier.get(targetIdentifier) : undefined;
+        if (targetIdentifier && targetIdentifier.text === "console" && !targetSymbol) {
+            const consoleFn = CONSOLE_METHODS[method];
+            if (consoleFn) {
+                const args = this.emitArguments(node.arguments);
+                this.emit(`  call void @${consoleFn}(i32 ${args.argc}, i64* ${args.ptr})`);
+                return i64(XT_UNDEFINED);
+            }
+            return undefined;
+        }
+        if (targetIdentifier && targetIdentifier.text === "Math" && !targetSymbol) {
+            if (!MATH_FUNCTIONS.has(method))
+                return undefined;
+            const name = this.stringValue(method);
+            const args = this.emitArguments(node.arguments);
+            const result = this.reg();
+            this.emit(`  ${result} = call i64 @xt_math_call(i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
+            return result;
+        }
+        if (targetIdentifier && targetIdentifier.text === "JSON" && !targetSymbol) {
+            const fn = method === "parse" ? "xt_json_parse" : method === "stringify" ? "xt_json_stringify" : undefined;
+            if (!fn)
+                return undefined;
+            const args = this.emitArguments(node.arguments);
+            const result = this.reg();
+            this.emit(`  ${result} = call i64 @${fn}(i32 ${args.argc}, i64* ${args.ptr})`);
+            return result;
+        }
+        if (targetIdentifier && !targetSymbol) {
+            const dispatcher = NAMESPACE_STATICS[targetIdentifier.text];
+            if (dispatcher && targetIdentifier.text !== "Math" && targetIdentifier.text !== "JSON") {
+                const name = this.stringValue(method);
+                const args = this.emitArguments(node.arguments);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @${dispatcher}(i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
+                return result;
+            }
+        }
+        // `import * as ns from "path"` (or a default import) aliases a runtime
+        // namespace: `ns.join(...)` lowers to the same dispatcher as `path.join`.
+        if (targetIdentifier) {
+            const namespace = this.namespaceOfSymbol(targetSymbol);
+            if (namespace) {
+                const dispatcher = NAMESPACE_STATICS[namespace];
+                if (dispatcher) {
+                    const name = this.stringValue(method);
+                    const args = this.emitArguments(node.arguments);
+                    const result = this.reg();
+                    this.emit(`  ${result} = call i64 @${dispatcher}(i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
+                    return result;
+                }
+            }
+        }
+        void BUILTIN_METHODS;
+        return undefined;
+    },
+    /** Lower a call to an imported module binding to its runtime symbol. */
+    emitModuleExport(node, exported) {
+        const args = this.emitArguments(node.arguments);
+        if (exported.symbol) {
+            this.extraDeclarations.add(exported.returnVoid
+                ? `declare void @${exported.symbol}(i32, i64*)`
+                : `declare i64 @${exported.symbol}(i32, i64*)`);
+            if (exported.returnVoid) {
+                this.emit(`  call void @${exported.symbol}(i32 ${args.argc}, i64* ${args.ptr})`);
+                return i64(XT_UNDEFINED);
+            }
+            const result = this.reg();
+            this.emit(`  ${result} = call i64 @${exported.symbol}(i32 ${args.argc}, i64* ${args.ptr})`);
+            return result;
+        }
+        if (exported.namespace && exported.method) {
+            const dispatcher = NAMESPACE_STATICS[exported.namespace];
+            if (dispatcher) {
+                const name = this.stringValue(exported.method);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @${dispatcher}(i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
+                return result;
+            }
+        }
+        this.unsupported(node, "imported function");
+        return i64(XT_UNDEFINED);
+    },
+    runtimeCall(name, args) {
+        const result = this.reg();
+        this.emit(`  ${result} = call i64 @${name}(${args.map((a) => `i64 ${a}`).join(", ")})`);
+        return result;
+    },
+    emitArguments(args) {
+        if (args.length === 0)
+            return { argc: "0", ptr: "null" };
+        const hasSpread = args.some((element) => element.kind === SyntaxKind.SpreadElement);
+        if (!hasSpread) {
+            const ptr = `%args${this.current.allocas.length}`;
+            this.current.allocas.push(`${ptr} = alloca i64, i32 ${args.length}`);
+            for (let index = 0; index < args.length; index++) {
+                const value = this.emitExpression(args[index]);
+                const slot = this.reg();
+                this.emit(`  ${slot} = getelementptr i64, i64* ${ptr}, i32 ${index}`);
+                this.emit(`  store i64 ${value}, i64* ${slot}`);
+            }
+            return { argc: String(args.length), ptr };
+        }
+        // At least one `...spread`: accumulate the argument list in a runtime
+        // array, which grows to whatever length the spread produces.
+        const array = this.reg();
+        this.emit(`  ${array} = call i64 @xt_array_new(i32 0, i64* null)`);
+        for (const element of args) {
+            if (element.kind === SyntaxKind.SpreadElement) {
+                const value = this.emitExpression(element.expression);
+                this.emit(`  call i64 @xt_array_spread(i64 ${array}, i64 ${value})`);
+            }
+            else {
+                const value = this.emitExpression(element);
+                this.emit(`  call i64 @xt_array_push(i64 ${array}, i64 ${value})`);
+            }
+        }
+        const argc = this.reg();
+        this.emit(`  ${argc} = call i32 @xt_array_size(i64 ${array})`);
+        const ptr = this.reg();
+        this.emit(`  ${ptr} = call i64* @xt_array_items(i64 ${array})`);
+        return { argc, ptr };
+    },
+};
+//# sourceMappingURL=invocation.js.map

package/dist/src/codegen/generator/calls/invocation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invocation.js","sourceRoot":"","sources":["../../../../../src/codegen/generator/calls/invocation.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,UAAU,GAOX,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAEvD,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EACL,eAAe,EACf,eAAe,EACf,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,iBAAiB,GAClB,MAAM,cAAc,CAAC;AAWtB,MAAM,CAAC,MAAM,qBAAqB,GAA0B;IAC1D,QAAQ,CAAC,IAAoB;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;YAChD,OAAO,IAAI,CAAC,YAAY,CAAC,WAAW,EAAE,GAAG,EAAE;gBACzC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,oCAAoC,WAAW,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC7G,OAAO,MAAM,CAAC;YAChB,CAAC,CAAC,CAAC;QACL,CAAC;QACD,IACE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,wBAAwB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,CAAC;YAC1G,MAA6D,CAAC,QAAQ,EACvE,CAAC;YACD,qEAAqE;YACrE,yEAAyE;YACzE,wCAAwC;YACxC,MAAM,MAAM,GAAG,MAA4D,CAAC;YAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACtD,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,GAAG,EAAE;gBACpC,MAAM,IAAI,GACR,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,wBAAwB;oBACjD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAE,MAAmC,CAAC,IAAI,CAAC,IAAI,CAAC;oBAClE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAE,MAAkC,CAAC,kBAAkB,CAAC,CAAC;gBAClF,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CACP,KAAK,MAAM,mCAAmC,MAAM,SAAS,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CACzG,CAAC;gBACF,OAAO,MAAM,CAAC;YAChB,CAAC,CAAC,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,wBAAwB,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,MAAkC,CAAC;YAClD,MAAM,OAAO,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACtD,IAAI,OAAO;gBAAE,OAAO,OAAO,CAAC;YAC5B,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,IAAK,MAAM,CAAC,UAAyB,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC3G,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1C,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACtD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,mCAAmC,MAAM,SAAS,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YACpH,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;YACvD,MAAM,MAAM,GAAG,MAAiC,CAAC;YACjD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACtD,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;YAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,mCAAmC,MAAM,SAAS,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YACpH,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;YAC1C,IAAK,MAAqB,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACpF,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAoB,CAAC,CAAC;YACzE,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;gBAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACnD,IAAI,QAAQ;oBAAE,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC7D,CAAC;YACD,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAClD,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC3C,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClF,IAAI,EAAE,EAAE,CAAC;oBACP,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBAC1B,IAAI,CAAC,IAAI,CACP,KAAK,MAAM,gBAAgB,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,QAAQ,GAAG,CAAC,YAAY,CAAC,SAAS,GAAG,CAAC,YAAY,CAAC,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAC3I,CAAC;oBACF,OAAO,MAAM,CAAC;gBAChB,CAAC;YACH,CAAC;YACD,MAAM,cAAc,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAE,MAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3F,IAAI,cAAc,EAAE,CAAC;gBACnB,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,cAAc,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC3F,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAE,MAAqB,CAAC,IAAI,CAAC,CAAC;YAC3D,IAAI,CAAC,MAAM,IAAI,OAAO,EAAE,CAAC;gBACvB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CACxB,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,iBAAiB,OAAO,CAAC,MAAM,aAAa,CAAC,CAAC,CAAC,gBAAgB,OAAO,CAAC,MAAM,aAAa,CAChH,CAAC;gBACF,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChD,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;oBACvB,IAAI,CAAC,IAAI,CAAC,gBAAgB,OAAO,CAAC,MAAM,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;oBAChF,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC3B,CAAC;gBACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,OAAO,CAAC,MAAM,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC3F,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAE,MAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC/E,IAAI,IAAI,EAAE,CAAC;gBACT,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,IAAI,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBACjF,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,oCAAoC,WAAW,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QAC7G,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,kBAAkB,CAAC,IAAoB,EAAE,MAAgC;QACvE,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;QACjC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,CAAC,CAAC,CAAE,MAAqB,CAAC,CAAC,CAAC,SAAS,CAAC;QACpG,MAAM,YAAY,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAE1G,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,YAAY,EAAE,CAAC;YAC7E,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChD,IAAI,CAAC,IAAI,CAAC,gBAAgB,SAAS,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC3E,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;YAC3B,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;YAC1E,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,OAAO,SAAS,CAAC;YAClD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,iCAAiC,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YACnG,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;YAC1E,MAAM,EAAE,GAAG,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3G,IAAI,CAAC,EAAE;gBAAE,OAAO,SAAS,CAAC;YAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,EAAE,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YAC/E,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IAAI,gBAAgB,IAAI,CAAC,YAAY,EAAE,CAAC;YACtC,MAAM,UAAU,GAAG,iBAAiB,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;YAC5D,IAAI,UAAU,IAAI,gBAAgB,CAAC,IAAI,KAAK,MAAM,IAAI,gBAAgB,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACvF,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBACtC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,UAAU,QAAQ,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBACpG,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;QAED,uEAAuE;QACvE,0EAA0E;QAC1E,IAAI,gBAAgB,EAAE,CAAC;YACrB,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;YACvD,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,UAAU,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;gBAChD,IAAI,UAAU,EAAE,CAAC;oBACf,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;oBACtC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,UAAU,QAAQ,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;oBACpG,OAAO,MAAM,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,eAAe,CAAC;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wEAAwE;IACxE,gBAAgB,CAAC,IAAoB,EAAE,QAAsB;QAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YACpB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CACxB,QAAQ,CAAC,UAAU;gBACjB,CAAC,CAAC,iBAAiB,QAAQ,CAAC,MAAM,aAAa;gBAC/C,CAAC,CAAC,gBAAgB,QAAQ,CAAC,MAAM,aAAa,CACjD,CAAC;YACF,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,gBAAgB,QAAQ,CAAC,MAAM,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBACjF,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;YAC3B,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,QAAQ,CAAC,MAAM,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YAC5F,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YAC1C,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YACzD,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,UAAU,QAAQ,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBACpG,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,mBAAmB,CAAC,CAAC;QAC5C,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;IAC3B,CAAC;IAED,WAAW,CAAC,IAAY,EAAE,IAAuB;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxF,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,aAAa,CAAC,IAA2B;QACvC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;QACzD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,CAAC,CAAC;QACpF,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,QAAQ,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAClD,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACrE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;gBACjD,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC,CAAC;gBAChD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,8BAA8B,GAAG,SAAS,KAAK,EAAE,CAAC,CAAC;gBACtE,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,UAAU,IAAI,EAAE,CAAC,CAAC;YAClD,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC;QAC5C,CAAC;QACD,sEAAsE;QACtE,6DAA6D;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,6CAA6C,CAAC,CAAC;QACnE,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;YAC3B,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;gBAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAE,OAAyB,CAAC,UAAU,CAAC,CAAC;gBACzE,IAAI,CAAC,IAAI,CAAC,mCAAmC,KAAK,SAAS,KAAK,GAAG,CAAC,CAAC;YACvE,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;gBAC3C,IAAI,CAAC,IAAI,CAAC,iCAAiC,KAAK,SAAS,KAAK,GAAG,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,kCAAkC,KAAK,GAAG,CAAC,CAAC;QAC/D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,oCAAoC,KAAK,GAAG,CAAC,CAAC;QAChE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvB,CAAC;CACF,CAAC"}

package/dist/src/codegen/generator/calls/literals.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Literal lowering: array and object literals (including spread elements).
+ */
+import { type ArrayLiteralExpression, type ObjectLiteralExpression } from "../../../ast/nodes.js";
+import type { Generator } from "../generator.js";
+export interface LiteralCallMethods {
+    emitArrayLiteral(this: Generator, node: ArrayLiteralExpression): string;
+    emitObjectLiteral(this: Generator, node: ObjectLiteralExpression): string;
+}
+export declare const literalCallMethods: LiteralCallMethods;

package/dist/src/codegen/generator/calls/literals.js

@@ -0,0 +1,69 @@
+/**
+ * Literal lowering: array and object literals (including spread elements).
+ */
+import { SyntaxKind, } from "../../../ast/nodes.js";
+import { propertyNameText } from "../tables.js";
+export const literalCallMethods = {
+    emitArrayLiteral(node) {
+        const hasSpread = node.elements.some((element) => element.kind === SyntaxKind.SpreadElement);
+        if (!hasSpread) {
+            const args = this.emitArguments(node.elements);
+            const result = this.reg();
+            this.emit(`  ${result} = call i64 @xt_array_new(i32 ${args.argc}, i64* ${args.ptr})`);
+            return result;
+        }
+        const array = this.reg();
+        this.emit(`  ${array} = call i64 @xt_array_new(i32 0, i64* null)`);
+        for (const element of node.elements) {
+            if (element.kind === SyntaxKind.SpreadElement) {
+                const spread = this.emitExpression(element.expression);
+                this.emit(`  call i64 @xt_array_spread(i64 ${array}, i64 ${spread})`);
+            }
+            else {
+                const value = this.emitExpression(element);
+                this.emit(`  call i64 @xt_array_push(i64 ${array}, i64 ${value})`);
+            }
+        }
+        return array;
+    },
+    emitObjectLiteral(node) {
+        const object = this.reg();
+        this.emit(`  ${object} = call i64 @xt_object_new()`);
+        for (const property of node.properties) {
+            if (property.kind === SyntaxKind.PropertyAssignment) {
+                const nameNode = property.name;
+                let key;
+                if (nameNode.kind === SyntaxKind.ComputedPropertyName) {
+                    const keyValue = this.emitExpression(nameNode.expression);
+                    key = this.reg();
+                    this.emit(`  ${key} = call i64 @xt_to_string(i64 ${keyValue})`);
+                }
+                else {
+                    key = this.stringValue(propertyNameText(nameNode));
+                }
+                const value = this.emitExpression(property.initializer);
+                this.emit(`  call i64 @xt_set(i64 ${object}, i64 ${key}, i64 ${value})`);
+            }
+            else if (property.kind === SyntaxKind.ShorthandPropertyAssignment) {
+                if (property.initializer) {
+                    // `{ a = 1 }` is only legal as a destructuring target, not a value.
+                    this.unsupported(property, "default value in object literal");
+                    continue;
+                }
+                const identifier = property.name;
+                const key = this.stringValue(identifier.text);
+                const value = this.emitIdentifier(identifier);
+                this.emit(`  call i64 @xt_set(i64 ${object}, i64 ${key}, i64 ${value})`);
+            }
+            else if (property.kind === SyntaxKind.SpreadElement) {
+                const spread = this.emitExpression(property.expression);
+                this.emit(`  call i64 @xt_object_spread(i64 ${object}, i64 ${spread})`);
+            }
+            else {
+                this.unsupported(property, "object spread");
+            }
+        }
+        return object;
+    },
+};
+//# sourceMappingURL=literals.js.map

package/dist/src/codegen/generator/calls/literals.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"literals.js","sourceRoot":"","sources":["../../../../../src/codegen/generator/calls/literals.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,UAAU,GAIX,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAQhD,MAAM,CAAC,MAAM,kBAAkB,GAAuB;IACpD,gBAAgB,CAAC,IAA4B;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,CAAC,CAAC;QAC7F,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,iCAAiC,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YACtF,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,6CAA6C,CAAC,CAAC;QACnE,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;gBAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAE,OAAsC,CAAC,UAAU,CAAC,CAAC;gBACvF,IAAI,CAAC,IAAI,CAAC,mCAAmC,KAAK,SAAS,MAAM,GAAG,CAAC,CAAC;YACxE,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;gBAC3C,IAAI,CAAC,IAAI,CAAC,iCAAiC,KAAK,SAAS,KAAK,GAAG,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,iBAAiB,CAAC,IAA6B;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,CAAC,CAAC;QACrD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACvC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,kBAAkB,EAAE,CAAC;gBACpD,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC;gBAC/B,IAAI,GAAW,CAAC;gBAChB,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,oBAAoB,EAAE,CAAC;oBACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAE,QAAuC,CAAC,UAAU,CAAC,CAAC;oBAC1F,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBACjB,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,iCAAiC,QAAQ,GAAG,CAAC,CAAC;gBAClE,CAAC;qBAAM,CAAC;oBACN,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC;gBACrD,CAAC;gBACD,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;gBACxD,IAAI,CAAC,IAAI,CAAC,0BAA0B,MAAM,SAAS,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC;YAC3E,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,2BAA2B,EAAE,CAAC;gBACpE,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;oBACzB,oEAAoE;oBACpE,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,iCAAiC,CAAC,CAAC;oBAC9D,SAAS;gBACX,CAAC;gBACD,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC;gBACjC,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;gBAC9C,IAAI,CAAC,IAAI,CAAC,0BAA0B,MAAM,SAAS,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC;YAC3E,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;gBACtD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAE,QAAuC,CAAC,UAAU,CAAC,CAAC;gBACxF,IAAI,CAAC,IAAI,CAAC,oCAAoC,MAAM,SAAS,MAAM,GAAG,CAAC,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC"}

package/dist/src/codegen/generator/calls/super.d.ts

@@ -0,0 +1,10 @@
+/**
+ * `super` lowering: parent constructor delegation and parent method calls.
+ */
+import { type CallExpression, type PropertyAccessExpression } from "../../../ast/nodes.js";
+import type { Generator } from "../generator.js";
+export interface SuperCallMethods {
+    emitSuperConstructor(this: Generator, node: CallExpression): string;
+    emitSuperCall(this: Generator, node: CallExpression, access: PropertyAccessExpression): string;
+}
+export declare const superCallMethods: SuperCallMethods;

package/dist/src/codegen/generator/calls/super.js

@@ -0,0 +1,47 @@
+/**
+ * `super` lowering: parent constructor delegation and parent method calls.
+ */
+import { SyntaxKind, } from "../../../ast/nodes.js";
+export const superCallMethods = {
+    emitSuperConstructor(node) {
+        const thisValue = this.emitThis();
+        const classInfo = this.current.fn.classInfo;
+        const parent = classInfo?.parentExpression;
+        const unboundBuiltin = parent !== undefined &&
+            parent.kind === SyntaxKind.Identifier &&
+            parent.text === "Error" &&
+            !this.binding.symbolOfIdentifier.get(parent);
+        if (unboundBuiltin) {
+            const args = this.emitArguments(node.arguments);
+            const result = this.reg();
+            this.emit(`  ${result} = call i64 @xt_error_init(i64 ${thisValue}, i32 ${args.argc}, i64* ${args.ptr})`);
+            return result;
+        }
+        const proto = this.reg();
+        this.emit(`  ${proto} = call i64 @xt_object_get_prototype(i64 ${thisValue})`);
+        const parentProto = this.reg();
+        this.emit(`  ${parentProto} = call i64 @xt_object_get_prototype(i64 ${proto})`);
+        const key = this.stringValue("__ctor");
+        const ctor = this.reg();
+        this.emit(`  ${ctor} = call i64 @xt_get(i64 ${parentProto}, i64 ${key})`);
+        const args = this.emitArguments(node.arguments);
+        const result = this.reg();
+        this.emit(`  ${result} = call i64 @xt_call_with_this(i64 ${ctor}, i64 ${thisValue}, i32 ${args.argc}, i64* ${args.ptr})`);
+        return result;
+    },
+    emitSuperCall(node, access) {
+        const thisValue = this.emitThis();
+        const proto = this.reg();
+        this.emit(`  ${proto} = call i64 @xt_object_get_prototype(i64 ${thisValue})`);
+        const parentProto = this.reg();
+        this.emit(`  ${parentProto} = call i64 @xt_object_get_prototype(i64 ${proto})`);
+        const key = this.stringValue(access.name.text);
+        const method = this.reg();
+        this.emit(`  ${method} = call i64 @xt_get(i64 ${parentProto}, i64 ${key})`);
+        const args = this.emitArguments(node.arguments);
+        const result = this.reg();
+        this.emit(`  ${result} = call i64 @xt_call_with_this(i64 ${method}, i64 ${thisValue}, i32 ${args.argc}, i64* ${args.ptr})`);
+        return result;
+    },
+};
+//# sourceMappingURL=super.js.map

package/dist/src/codegen/generator/calls/super.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"super.js","sourceRoot":"","sources":["../../../../../src/codegen/generator/calls/super.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,UAAU,GAIX,MAAM,uBAAuB,CAAC;AAQ/B,MAAM,CAAC,MAAM,gBAAgB,GAAqB;IAChD,oBAAoB,CAAC,IAAoB;QACvC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC;QAC5C,MAAM,MAAM,GAAG,SAAS,EAAE,gBAAgB,CAAC;QAC3C,MAAM,cAAc,GAClB,MAAM,KAAK,SAAS;YACpB,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;YACpC,MAAqB,CAAC,IAAI,KAAK,OAAO;YACvC,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAoB,CAAC,CAAC;QAC7D,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,kCAAkC,SAAS,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YACzG,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,4CAA4C,SAAS,GAAG,CAAC,CAAC;QAC9E,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,KAAK,WAAW,4CAA4C,KAAK,GAAG,CAAC,CAAC;QAChF,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,2BAA2B,WAAW,SAAS,GAAG,GAAG,CAAC,CAAC;QAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,sCAAsC,IAAI,SAAS,SAAS,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QAC1H,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,aAAa,CAAC,IAAoB,EAAE,MAAgC;QAClE,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,4CAA4C,SAAS,GAAG,CAAC,CAAC;QAC9E,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,KAAK,WAAW,4CAA4C,KAAK,GAAG,CAAC,CAAC;QAChF,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,2BAA2B,WAAW,SAAS,GAAG,GAAG,CAAC,CAAC;QAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,sCAAsC,MAAM,SAAS,SAAS,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QAC5H,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC"}

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

@@ -1,28 +1,19 @@
 /**
- * Calls, member access, optional chaining, object/array literals and closures.
+ * Call lowering: aggregates the invocation, access, literal, closure and super
+ * method groups into the `CallMethods` mixin consumed by the generator.
+ *
+ * The implementation is split by functional area under `calls/`:
+ *   - `invocation` — direct calls, built-ins, imports and argument marshalling
+ *   - `access`     — property/element reads, `delete` and optional chaining
+ *   - `literals`   — array and object literals
+ *   - `closures`   — arrow/function expressions and captured environments
+ *   - `super`      — parent constructor/method delegation
  */
-import { type ArrowFunction, type ArrayLiteralExpression, type CallExpression, type DeleteExpression, type ElementAccessExpression, type Expression, type FunctionExpression, type ObjectLiteralExpression, type PropertyAccessExpression } from "../../ast/nodes.js";
-import { type FunctionInfo } from "../../binder/binder.js";
-import type { ModuleExport } from "../../extensions/registry.js";
-import type { Generator } from "./generator.js";
-export interface CallMethods {
-    emitCall(this: Generator, node: CallExpression): string;
-    tryEmitBuiltinCall(this: Generator, node: CallExpression, callee: PropertyAccessExpression): string | undefined;
-    runtimeCall(this: Generator, name: string, args: readonly string[]): string;
-    emitArguments(this: Generator, args: readonly Expression[]): {
-        argc: string;
-        ptr: string;
-    };
-    emitDelete(this: Generator, node: DeleteExpression): string;
-    emitPropertyAccess(this: Generator, node: PropertyAccessExpression): string;
-    emitElementAccess(this: Generator, node: ElementAccessExpression): string;
-    emitOptional(this: Generator, objectValue: string, compute: () => string): string;
-    emitArrayLiteral(this: Generator, node: ArrayLiteralExpression): string;
-    emitObjectLiteral(this: Generator, node: ObjectLiteralExpression): string;
-    emitClosure(this: Generator, node: ArrowFunction | FunctionExpression): string;
-    emitClosureValue(this: Generator, fn: FunctionInfo): string;
-    emitSuperConstructor(this: Generator, node: CallExpression): string;
-    emitSuperCall(this: Generator, node: CallExpression, access: PropertyAccessExpression): string;
-    emitModuleExport(this: Generator, node: CallExpression, exported: ModuleExport): string;
+import { type InvocationCallMethods } from "./calls/invocation.js";
+import { type AccessCallMethods } from "./calls/access.js";
+import { type LiteralCallMethods } from "./calls/literals.js";
+import { type ClosureCallMethods } from "./calls/closures.js";
+import { type SuperCallMethods } from "./calls/super.js";
+export interface CallMethods extends InvocationCallMethods, AccessCallMethods, LiteralCallMethods, ClosureCallMethods, SuperCallMethods {
 }
 export declare const callMethods: CallMethods;