xbintsc 0.1.3 → 0.1.8

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

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../../src/codegen/generator/context.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,IAAI,EAAoC,MAAM,wBAAwB,CAAC;AAEhF,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAEjE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAGjD,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE/D,MAAM,OAAO,gBAAgB;IAClB,OAAO,CAAa;IACpB,UAAU,CAAiB;IAC3B,WAAW,CAAgB;IAC3B,QAAQ,CAA4C;IACpD,OAAO,GAAa,EAAE,CAAC;IACvB,SAAS,GAAa,EAAE,CAAC;IACzB,OAAO,GAAG,IAAI,GAAG,EAA6C,CAAC;IAC/D,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/C,aAAa,GAAG,CAAC,CAAC;IAClB,OAAO,CAAiB;IAExB,YAAY,UAA0B,EAAE,WAA0B,EAAE,UAA0B,EAAE;QAC9F,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;QAChC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;IACzC,CAAC;IAED,2EAA2E;IAE3E,IAAI,CAAC,IAAY;QACf,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,SAAS,CAAC,IAAY;QACpB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IACjC,CAAC;IAED,GAAG;QACD,OAAO,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC;IACnC,CAAC;IAED,KAAK,CAAC,MAAc;QAClB,OAAO,GAAG,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;IAC7C,CAAC;IAED,UAAU,CAAC,KAAa;QACtB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,UAAU,GAAG,KAAK,CAAC;IAClC,CAAC;IAED,MAAM;QACJ,MAAM,GAAG,GAAG,QAAQ,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAClD,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,eAAe,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtC,OAAO,GAAG,CAAC;IACb,CAAC;IAED,KAAK,CAAC,GAAW;QACf,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC;IAED,2EAA2E;IAE3E,WAAW,CAAC,MAAkB,EAAE,OAAe;QAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1B,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACjB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,+BAA+B,OAAO,GAAG,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI,CAAC,eAAe,GAAG,UAAU,GAAG,EAAE,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,IAAI,CAAC,eAAe,OAAO,UAAU,GAAG,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,iBAAiB,CAAC,MAAkB,EAAE,GAAW;QAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,eAAe,GAAG,UAAU,GAAG,EAAE,CAAC,CAAC;QAC7C,oEAAoE;QACpE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,QAAQ,CAAC,MAAkB;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,wEAAwE;YACxE,6DAA6D;YAC7D,IAAI,CAAC,WAAW,CAAC,KAAK,CACpB,cAAc,CAAC,YAAY,EAC3B,0BAA0B,MAAM,CAAC,IAAI,QAAQ,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CACpE,CAAC;YACF,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;QAC3B,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,qBAAqB,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,+BAA+B,KAAK,GAAG,CAAC,CAAC;QAC/D,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,SAAS,CAAC,MAAkB,EAAE,KAAa;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,cAAc,CAAC,YAAY,EAAE,0BAA0B,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;YAC9F,OAAO;QACT,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,UAAU,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;YACpD,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,qBAAqB,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI,CAAC,8BAA8B,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC;IAChE,CAAC;IAED,2EAA2E;IAE3E,WAAW,CAAC,IAAY;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,kCAAkC,KAAK,CAAC,KAAK,SAAS,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAC5F,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,YAAY,CAAC,IAAY;QACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,MAAM,KAAK,GAAG,SAAS,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QAC9C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,qCAAqC,KAAK,CAAC,MAAM,GAAG,CAAC,YAAY,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACtH,OAAO,KAAK,CAAC;IACf,CAAC;IAED,WAAW,CAAC,IAAU,EAAE,IAAY;QAClC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,WAAW,CAAC,KAAK,CACpB,cAAc,CAAC,kBAAkB,EACjC,qCAAqC,IAAI,KAAK,KAAK,GAAG,EACtD,IAAI,EACJ,IAAI,CAAC,UAAU,CAAC,QAAQ,CACzB,CAAC;IACJ,CAAC;CACF"}

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

@@ -0,0 +1,22 @@
+/**
+ * Expression lowering: operators, assignments, conditionals, templates and
+ * identifier resolution.
+ */
+import { type BinaryExpression, type ConditionalExpression, type Expression, type Identifier, type PostfixUnaryExpression, type PrefixUnaryExpression, type TemplateLiteral } from "../../ast/nodes.js";
+import { type SymbolInfo } from "../../binder/binder.js";
+import type { Generator } from "./generator.js";
+export interface ExpressionMethods {
+    emitExpression(this: Generator, node: Expression): string;
+    emitIdentifier(this: Generator, identifier: Identifier): string;
+    emitFunctionValue(this: Generator, symbol: SymbolInfo): string;
+    emitTemplate(this: Generator, node: TemplateLiteral): string;
+    emitBinaryOrAssignment(this: Generator, node: BinaryExpression): string;
+    emitShortCircuit(this: Generator, node: BinaryExpression, kind: "and" | "or" | "nullish"): string;
+    emitConditional(this: Generator, node: ConditionalExpression): string;
+    emitPrefix(this: Generator, node: PrefixUnaryExpression): string;
+    emitPostfix(this: Generator, node: PostfixUnaryExpression): string;
+    emitAssignment(this: Generator, node: BinaryExpression): string;
+    emitLogicalAssignment(this: Generator, node: BinaryExpression): string;
+    emitAssignmentTarget(this: Generator, target: Expression, value: string): void;
+}
+export declare const expressionMethods: ExpressionMethods;

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

@@ -0,0 +1,383 @@
+/**
+ * Expression lowering: operators, assignments, conditionals, templates and
+ * identifier resolution.
+ */
+import { SyntaxKind, } from "../../ast/nodes.js";
+import { AssignmentOperator, BinaryOperator, PrefixUnaryOperator, PostfixUnaryOperator, } from "../../ast/nodes.js";
+import { SymbolKind } from "../../binder/binder.js";
+import { DiagnosticCode } from "../../diagnostics/diagnostic.js";
+import { i64, numberLiteral, XT_FALSE, XT_NULL, XT_TRUE, XT_UNDEFINED } from "../values.js";
+import { BINARY_RUNTIME, compoundToBinary, isAssignmentOperator } from "./tables.js";
+export const expressionMethods = {
+    emitExpression(node) {
+        switch (node.kind) {
+            case SyntaxKind.Identifier:
+                return this.emitIdentifier(node);
+            case SyntaxKind.NumericLiteral: {
+                const value = node.value;
+                return numberLiteral(value);
+            }
+            case SyntaxKind.BigIntLiteral:
+                return numberLiteral(Number(node.value));
+            case SyntaxKind.StringLiteral:
+                return this.stringValue(node.value);
+            case SyntaxKind.NoSubstitutionTemplateLiteral:
+                return this.stringValue(node.value);
+            case SyntaxKind.TemplateLiteral:
+                return this.emitTemplate(node);
+            case SyntaxKind.TrueKeyword:
+                return i64(XT_TRUE);
+            case SyntaxKind.FalseKeyword:
+                return i64(XT_FALSE);
+            case SyntaxKind.NullKeyword:
+                return i64(XT_NULL);
+            case SyntaxKind.UndefinedKeyword:
+                return i64(XT_UNDEFINED);
+            case SyntaxKind.ParenthesizedExpression:
+                return this.emitExpression(node.expression);
+            case SyntaxKind.AsExpression:
+            case SyntaxKind.SatisfiesExpression:
+            case SyntaxKind.NonNullExpression:
+                return this.emitExpression(node.expression);
+            case SyntaxKind.DeleteExpression:
+                return this.emitDelete(node);
+            case SyntaxKind.BinaryExpression:
+                return this.emitBinaryOrAssignment(node);
+            case SyntaxKind.PrefixUnaryExpression:
+                return this.emitPrefix(node);
+            case SyntaxKind.PostfixUnaryExpression:
+                return this.emitPostfix(node);
+            case SyntaxKind.ConditionalExpression:
+                return this.emitConditional(node);
+            case SyntaxKind.CallExpression:
+                return this.emitCall(node);
+            case SyntaxKind.PropertyAccessExpression:
+                return this.emitPropertyAccess(node);
+            case SyntaxKind.ElementAccessExpression:
+                return this.emitElementAccess(node);
+            case SyntaxKind.ArrayLiteralExpression:
+                return this.emitArrayLiteral(node);
+            case SyntaxKind.ObjectLiteralExpression:
+                return this.emitObjectLiteral(node);
+            case SyntaxKind.ArrowFunction:
+            case SyntaxKind.FunctionExpression:
+                return this.emitClosure(node);
+            default:
+                this.unsupported(node, "expression");
+                return i64(XT_UNDEFINED);
+        }
+    },
+    emitIdentifier(identifier) {
+        const symbol = this.binding.symbolOfIdentifier.get(identifier);
+        if (symbol) {
+            if (symbol.kind === SymbolKind.Function && !this.current.slots.has(symbol.id)) {
+                return this.emitFunctionValue(symbol);
+            }
+            return this.readSlot(symbol);
+        }
+        switch (identifier.text) {
+            case "undefined":
+                return i64(XT_UNDEFINED);
+            case "NaN":
+                return numberLiteral(NaN);
+            case "Infinity":
+                return numberLiteral(Infinity);
+            case "console":
+                return i64(XT_UNDEFINED);
+            case "arguments": {
+                const argc = this.reg();
+                this.emit(`  ${argc} = load i32, i32* %saved.argc`);
+                const argv = this.reg();
+                this.emit(`  ${argv} = load i64*, i64** %saved.argv`);
+                const rest = this.reg();
+                this.emit(`  ${rest} = call i64 @xt_rest_args(i32 ${argc}, i64* ${argv}, i32 0)`);
+                return rest;
+            }
+            default:
+                this.diagnostics.error(DiagnosticCode.CannotFindName, `Cannot find name '${identifier.text}'`, identifier, this.sourceFile.fileName);
+                return i64(XT_UNDEFINED);
+        }
+    },
+    emitFunctionValue(symbol) {
+        const declaration = symbol.declarations[0];
+        const fn = declaration ? this.binding.functionOfNode.get(declaration) : undefined;
+        if (!fn)
+            return i64(XT_UNDEFINED);
+        const cast = this.reg();
+        this.emit(`  ${cast} = bitcast i64 (i64, i32, i64*)* @${this.functionName(fn)} to i8*`);
+        const closure = this.reg();
+        this.emit(`  ${closure} = call i64 @xt_closure_new(i8* ${cast}, i32 0, i64* null)`);
+        return closure;
+    },
+    emitTemplate(node) {
+        let accumulator = this.stringValue(node.head);
+        for (const span of node.spans) {
+            const expression = this.emitExpression(span.expression);
+            const text = this.reg();
+            this.emit(`  ${text} = call i64 @xt_to_string(i64 ${expression})`);
+            const joined = this.reg();
+            this.emit(`  ${joined} = call i64 @xt_add(i64 ${accumulator}, i64 ${text})`);
+            accumulator = joined;
+            if (span.literal.length > 0) {
+                const literal = this.stringValue(span.literal);
+                const withLiteral = this.reg();
+                this.emit(`  ${withLiteral} = call i64 @xt_add(i64 ${accumulator}, i64 ${literal})`);
+                accumulator = withLiteral;
+            }
+        }
+        return accumulator;
+    },
+    emitBinaryOrAssignment(node) {
+        const operator = node.operator;
+        if (isAssignmentOperator(operator)) {
+            return this.emitAssignment(node);
+        }
+        switch (operator) {
+            case BinaryOperator.AmpersandAmpersand:
+                return this.emitShortCircuit(node, "and");
+            case BinaryOperator.BarBar:
+                return this.emitShortCircuit(node, "or");
+            case BinaryOperator.QuestionQuestion:
+                return this.emitShortCircuit(node, "nullish");
+            case BinaryOperator.Comma: {
+                this.emitExpression(node.left);
+                return this.emitExpression(node.right);
+            }
+            default:
+                break;
+        }
+        const left = this.emitExpression(node.left);
+        const right = this.emitExpression(node.right);
+        const runtime = BINARY_RUNTIME[operator];
+        if (!runtime) {
+            this.unsupported(node, `operator '${operator}'`);
+            return i64(XT_UNDEFINED);
+        }
+        const result = this.reg();
+        this.emit(`  ${result} = call i64 @${runtime}(i64 ${left}, i64 ${right})`);
+        return result;
+    },
+    emitShortCircuit(node, kind) {
+        const result = this.alloca();
+        const left = this.emitExpression(node.left);
+        this.emit(`  store i64 ${left}, i64* ${result}`);
+        const rightLabel = this.label("sc.right");
+        const endLabel = this.label("sc.end");
+        let condition;
+        if (kind === "and") {
+            const truthy = this.reg();
+            this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${left})`);
+            condition = this.reg();
+            this.emit(`  ${condition} = icmp ne i32 ${truthy}, 0`);
+        }
+        else if (kind === "or") {
+            const truthy = this.reg();
+            this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${left})`);
+            const isTruthy = this.reg();
+            this.emit(`  ${isTruthy} = icmp ne i32 ${truthy}, 0`);
+            condition = this.reg();
+            this.emit(`  ${condition} = xor i1 ${isTruthy}, true`);
+        }
+        else {
+            const nullish = this.reg();
+            this.emit(`  ${nullish} = call i64 @xt_is_nullish(i64 ${left})`);
+            const truthy = this.reg();
+            this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${nullish})`);
+            condition = this.reg();
+            this.emit(`  ${condition} = icmp ne i32 ${truthy}, 0`);
+        }
+        this.terminate(`br i1 ${condition}, label %${rightLabel}, label %${endLabel}`);
+        this.startBlock(rightLabel);
+        const right = this.emitExpression(node.right);
+        this.emit(`  store i64 ${right}, i64* ${result}`);
+        this.terminate(`br label %${endLabel}`);
+        this.startBlock(endLabel);
+        const value = this.reg();
+        this.emit(`  ${value} = load i64, i64* ${result}`);
+        return value;
+    },
+    emitConditional(node) {
+        const result = this.alloca();
+        const condition = this.emitExpression(node.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`);
+        const trueLabel = this.label("cond.true");
+        const falseLabel = this.label("cond.false");
+        const endLabel = this.label("cond.end");
+        this.terminate(`br i1 ${nonzero}, label %${trueLabel}, label %${falseLabel}`);
+        this.startBlock(trueLabel);
+        const whenTrue = this.emitExpression(node.whenTrue);
+        this.emit(`  store i64 ${whenTrue}, i64* ${result}`);
+        this.terminate(`br label %${endLabel}`);
+        this.startBlock(falseLabel);
+        const whenFalse = this.emitExpression(node.whenFalse);
+        this.emit(`  store i64 ${whenFalse}, i64* ${result}`);
+        this.terminate(`br label %${endLabel}`);
+        this.startBlock(endLabel);
+        const value = this.reg();
+        this.emit(`  ${value} = load i64, i64* ${result}`);
+        return value;
+    },
+    emitPrefix(node) {
+        switch (node.operator) {
+            case PrefixUnaryOperator.Minus: {
+                const operand = this.emitExpression(node.operand);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_neg(i64 ${operand})`);
+                return result;
+            }
+            case PrefixUnaryOperator.Plus: {
+                const operand = this.emitExpression(node.operand);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_pos(i64 ${operand})`);
+                return result;
+            }
+            case PrefixUnaryOperator.Exclamation: {
+                const operand = this.emitExpression(node.operand);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_not(i64 ${operand})`);
+                return result;
+            }
+            case PrefixUnaryOperator.Tilde: {
+                const operand = this.emitExpression(node.operand);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_bit_not(i64 ${operand})`);
+                return result;
+            }
+            case PrefixUnaryOperator.TypeOf: {
+                const operand = this.emitExpression(node.operand);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_typeof(i64 ${operand})`);
+                return result;
+            }
+            case PrefixUnaryOperator.Void:
+                if (node.operand)
+                    this.emitExpression(node.operand);
+                return i64(XT_UNDEFINED);
+            case PrefixUnaryOperator.PlusPlus:
+            case PrefixUnaryOperator.MinusMinus: {
+                const one = numberLiteral(1);
+                const current = this.emitExpression(node.operand);
+                const fn = node.operator === PrefixUnaryOperator.PlusPlus ? "xt_add" : "xt_sub";
+                const next = this.reg();
+                this.emit(`  ${next} = call i64 @${fn}(i64 ${current}, i64 ${one})`);
+                this.emitAssignmentTarget(node.operand, next);
+                return next;
+            }
+            default:
+                this.unsupported(node, `unary operator '${node.operator}'`);
+                return i64(XT_UNDEFINED);
+        }
+    },
+    emitPostfix(node) {
+        const one = numberLiteral(1);
+        const current = this.emitExpression(node.operand);
+        const fn = node.operator === PostfixUnaryOperator.PlusPlus ? "xt_add" : "xt_sub";
+        const next = this.reg();
+        this.emit(`  ${next} = call i64 @${fn}(i64 ${current}, i64 ${one})`);
+        this.emitAssignmentTarget(node.operand, next);
+        return current;
+    },
+    emitAssignment(node) {
+        const operator = node.operator;
+        const target = node.left;
+        let value;
+        if (operator === AssignmentOperator.Assign) {
+            value = this.emitExpression(node.right);
+        }
+        else if (operator === AssignmentOperator.AmpersandAmpersandAssign ||
+            operator === AssignmentOperator.BarBarAssign ||
+            operator === AssignmentOperator.QuestionQuestionAssign) {
+            value = this.emitLogicalAssignment(node);
+        }
+        else {
+            const current = this.emitExpression(target);
+            const right = this.emitExpression(node.right);
+            const binaryOperator = compoundToBinary(operator);
+            const runtime = BINARY_RUNTIME[binaryOperator];
+            if (!runtime) {
+                this.unsupported(node, `assignment operator '${operator}'`);
+                return i64(XT_UNDEFINED);
+            }
+            const result = this.reg();
+            this.emit(`  ${result} = call i64 @${runtime}(i64 ${current}, i64 ${right})`);
+            value = result;
+        }
+        this.emitAssignmentTarget(target, value);
+        return value;
+    },
+    emitLogicalAssignment(node) {
+        const operator = node.operator;
+        const target = node.left;
+        const current = this.emitExpression(target);
+        const result = this.alloca();
+        this.emit(`  store i64 ${current}, i64* ${result}`);
+        const rightLabel = this.label("assign.right");
+        const endLabel = this.label("assign.end");
+        let condition;
+        if (operator === AssignmentOperator.AmpersandAmpersandAssign) {
+            const truthy = this.reg();
+            this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${current})`);
+            condition = this.reg();
+            this.emit(`  ${condition} = icmp ne i32 ${truthy}, 0`);
+        }
+        else if (operator === AssignmentOperator.BarBarAssign) {
+            const truthy = this.reg();
+            this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${current})`);
+            const isTruthy = this.reg();
+            this.emit(`  ${isTruthy} = icmp ne i32 ${truthy}, 0`);
+            condition = this.reg();
+            this.emit(`  ${condition} = xor i1 ${isTruthy}, true`);
+        }
+        else {
+            const nullish = this.reg();
+            this.emit(`  ${nullish} = call i64 @xt_is_nullish(i64 ${current})`);
+            const truthy = this.reg();
+            this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${nullish})`);
+            condition = this.reg();
+            this.emit(`  ${condition} = icmp ne i32 ${truthy}, 0`);
+        }
+        this.terminate(`br i1 ${condition}, label %${rightLabel}, label %${endLabel}`);
+        this.startBlock(rightLabel);
+        const right = this.emitExpression(node.right);
+        this.emit(`  store i64 ${right}, i64* ${result}`);
+        this.terminate(`br label %${endLabel}`);
+        this.startBlock(endLabel);
+        const value = this.reg();
+        this.emit(`  ${value} = load i64, i64* ${result}`);
+        this.emitAssignmentTarget(target, value);
+        return value;
+    },
+    emitAssignmentTarget(target, value) {
+        switch (target.kind) {
+            case SyntaxKind.Identifier: {
+                const symbol = this.binding.symbolOfIdentifier.get(target);
+                if (symbol)
+                    this.writeSlot(symbol, value);
+                return;
+            }
+            case SyntaxKind.PropertyAccessExpression: {
+                const access = target;
+                const object = this.emitExpression(access.expression);
+                const key = this.stringValue(access.name.text);
+                this.emit(`  call i64 @xt_set(i64 ${object}, i64 ${key}, i64 ${value})`);
+                return;
+            }
+            case SyntaxKind.ElementAccessExpression: {
+                const access = target;
+                const object = this.emitExpression(access.expression);
+                const key = this.emitExpression(access.argumentExpression);
+                this.emit(`  call i64 @xt_set(i64 ${object}, i64 ${key}, i64 ${value})`);
+                return;
+            }
+            case SyntaxKind.ParenthesizedExpression:
+                this.emitAssignmentTarget(target.expression, value);
+                return;
+            default:
+                this.unsupported(target, "assignment target");
+        }
+    },
+};
+//# sourceMappingURL=expressions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../../../src/codegen/generator/expressions.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,UAAU,GAgBX,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAmB,MAAM,wBAAwB,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5F,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAkBrF,MAAM,CAAC,MAAM,iBAAiB,GAAsB;IAClD,cAAc,CAAC,IAAgB;QAC7B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU,CAAC,UAAU;gBACxB,OAAO,IAAI,CAAC,cAAc,CAAC,IAAkB,CAAC,CAAC;YACjD,KAAK,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;gBAC/B,MAAM,KAAK,GAAI,IAA0B,CAAC,KAAK,CAAC;gBAChD,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;YAC9B,CAAC;YACD,KAAK,UAAU,CAAC,aAAa;gBAC3B,OAAO,aAAa,CAAC,MAAM,CAAE,IAA0B,CAAC,KAAK,CAAC,CAAC,CAAC;YAClE,KAAK,UAAU,CAAC,aAAa;gBAC3B,OAAO,IAAI,CAAC,WAAW,CAAE,IAA0B,CAAC,KAAK,CAAC,CAAC;YAC7D,KAAK,UAAU,CAAC,6BAA6B;gBAC3C,OAAO,IAAI,CAAC,WAAW,CAAE,IAA0B,CAAC,KAAK,CAAC,CAAC;YAC7D,KAAK,UAAU,CAAC,eAAe;gBAC7B,OAAO,IAAI,CAAC,YAAY,CAAC,IAAuB,CAAC,CAAC;YACpD,KAAK,UAAU,CAAC,WAAW;gBACzB,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;YACtB,KAAK,UAAU,CAAC,YAAY;gBAC1B,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC;YACvB,KAAK,UAAU,CAAC,WAAW;gBACzB,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;YACtB,KAAK,UAAU,CAAC,gBAAgB;gBAC9B,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;YAC3B,KAAK,UAAU,CAAC,uBAAuB;gBACrC,OAAO,IAAI,CAAC,cAAc,CAAE,IAAmC,CAAC,UAAU,CAAC,CAAC;YAC9E,KAAK,UAAU,CAAC,YAAY,CAAC;YAC7B,KAAK,UAAU,CAAC,mBAAmB,CAAC;YACpC,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,OAAO,IAAI,CAAC,cAAc,CAAE,IAAmC,CAAC,UAAU,CAAC,CAAC;YAC9E,KAAK,UAAU,CAAC,gBAAgB;gBAC9B,OAAO,IAAI,CAAC,UAAU,CAAC,IAAwB,CAAC,CAAC;YACnD,KAAK,UAAU,CAAC,gBAAgB;gBAC9B,OAAO,IAAI,CAAC,sBAAsB,CAAC,IAAwB,CAAC,CAAC;YAC/D,KAAK,UAAU,CAAC,qBAAqB;gBACnC,OAAO,IAAI,CAAC,UAAU,CAAC,IAA6B,CAAC,CAAC;YACxD,KAAK,UAAU,CAAC,sBAAsB;gBACpC,OAAO,IAAI,CAAC,WAAW,CAAC,IAA8B,CAAC,CAAC;YAC1D,KAAK,UAAU,CAAC,qBAAqB;gBACnC,OAAO,IAAI,CAAC,eAAe,CAAC,IAA6B,CAAC,CAAC;YAC7D,KAAK,UAAU,CAAC,cAAc;gBAC5B,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAsB,CAAC,CAAC;YAC/C,KAAK,UAAU,CAAC,wBAAwB;gBACtC,OAAO,IAAI,CAAC,kBAAkB,CAAC,IAAgC,CAAC,CAAC;YACnE,KAAK,UAAU,CAAC,uBAAuB;gBACrC,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAA+B,CAAC,CAAC;YACjE,KAAK,UAAU,CAAC,sBAAsB;gBACpC,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAA8B,CAAC,CAAC;YAC/D,KAAK,UAAU,CAAC,uBAAuB;gBACrC,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAA+B,CAAC,CAAC;YACjE,KAAK,UAAU,CAAC,aAAa,CAAC;YAC9B,KAAK,UAAU,CAAC,kBAAkB;gBAChC,OAAO,IAAI,CAAC,WAAW,CAAC,IAA0C,CAAC,CAAC;YACtE;gBACE,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;gBACrC,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,cAAc,CAAC,UAAsB;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC/D,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC9E,OAAO,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACxC,CAAC;YACD,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC/B,CAAC;QACD,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;YACxB,KAAK,WAAW;gBACd,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;YAC3B,KAAK,KAAK;gBACR,OAAO,aAAa,CAAC,GAAG,CAAC,CAAC;YAC5B,KAAK,UAAU;gBACb,OAAO,aAAa,CAAC,QAAQ,CAAC,CAAC;YACjC,KAAK,SAAS;gBACZ,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;YAC3B,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,+BAA+B,CAAC,CAAC;gBACpD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,iCAAiC,CAAC,CAAC;gBACtD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,iCAAiC,IAAI,UAAU,IAAI,UAAU,CAAC,CAAC;gBAClF,OAAO,IAAI,CAAC;YACd,CAAC;YACD;gBACE,IAAI,CAAC,WAAW,CAAC,KAAK,CACpB,cAAc,CAAC,cAAc,EAC7B,qBAAqB,UAAU,CAAC,IAAI,GAAG,EACvC,UAAU,EACV,IAAI,CAAC,UAAU,CAAC,QAAQ,CACzB,CAAC;gBACF,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,iBAAiB,CAAC,MAAkB;QAClC,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAClF,IAAI,CAAC,EAAE;YAAE,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,qCAAqC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACxF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,mCAAmC,IAAI,qBAAqB,CAAC,CAAC;QACpF,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,YAAY,CAAC,IAAqB;QAChC,IAAI,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,iCAAiC,UAAU,GAAG,CAAC,CAAC;YACnE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,2BAA2B,WAAW,SAAS,IAAI,GAAG,CAAC,CAAC;YAC7E,WAAW,GAAG,MAAM,CAAC;YACrB,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC/C,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,KAAK,WAAW,2BAA2B,WAAW,SAAS,OAAO,GAAG,CAAC,CAAC;gBACrF,WAAW,GAAG,WAAW,CAAC;YAC5B,CAAC;QACH,CAAC;QACD,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,sBAAsB,CAAC,IAAsB;QAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAkB,CAAC;QACzC,IAAI,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnC,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QACnC,CAAC;QACD,QAAQ,QAAQ,EAAE,CAAC;YACjB,KAAK,cAAc,CAAC,kBAAkB;gBACpC,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC5C,KAAK,cAAc,CAAC,MAAM;gBACxB,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC3C,KAAK,cAAc,CAAC,gBAAgB;gBAClC,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAChD,KAAK,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC1B,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/B,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzC,CAAC;YACD;gBACE,MAAM;QACV,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,QAAQ,GAAG,CAAC,CAAC;YACjD,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;QAC3B,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,OAAO,QAAQ,IAAI,SAAS,KAAK,GAAG,CAAC,CAAC;QAC3E,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,gBAAgB,CAAC,IAAsB,EAAE,IAA8B;QACrE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,UAAU,MAAM,EAAE,CAAC,CAAC;QACjD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,SAAiB,CAAC;QACtB,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,IAAI,GAAG,CAAC,CAAC;YAC5D,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,IAAI,GAAG,CAAC,CAAC;YAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,KAAK,QAAQ,kBAAkB,MAAM,KAAK,CAAC,CAAC;YACtD,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,aAAa,QAAQ,QAAQ,CAAC,CAAC;QACzD,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kCAAkC,IAAI,GAAG,CAAC,CAAC;YACjE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,OAAO,GAAG,CAAC,CAAC;YAC/D,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,SAAS,SAAS,YAAY,UAAU,YAAY,QAAQ,EAAE,CAAC,CAAC;QAC/E,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,UAAU,MAAM,EAAE,CAAC,CAAC;QAClD,IAAI,CAAC,SAAS,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,qBAAqB,MAAM,EAAE,CAAC,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,eAAe,CAAC,IAA2B;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtD,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,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACxC,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,YAAY,SAAS,YAAY,UAAU,EAAE,CAAC,CAAC;QAC9E,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpD,IAAI,CAAC,IAAI,CAAC,eAAe,QAAQ,UAAU,MAAM,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtD,IAAI,CAAC,IAAI,CAAC,eAAe,SAAS,UAAU,MAAM,EAAE,CAAC,CAAC;QACtD,IAAI,CAAC,SAAS,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,qBAAqB,MAAM,EAAE,CAAC,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,UAAU,CAAC,IAA2B;QACpC,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;YACtB,KAAK,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAClD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,2BAA2B,OAAO,GAAG,CAAC,CAAC;gBAC5D,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,KAAK,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAClD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,2BAA2B,OAAO,GAAG,CAAC,CAAC;gBAC5D,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,KAAK,mBAAmB,CAAC,WAAW,CAAC,CAAC,CAAC;gBACrC,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAClD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,2BAA2B,OAAO,GAAG,CAAC,CAAC;gBAC5D,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,KAAK,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAClD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,+BAA+B,OAAO,GAAG,CAAC,CAAC;gBAChE,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,KAAK,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;gBAChC,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAClD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,OAAO,GAAG,CAAC,CAAC;gBAC/D,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,KAAK,mBAAmB,CAAC,IAAI;gBAC3B,IAAI,IAAI,CAAC,OAAO;oBAAE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACpD,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;YAC3B,KAAK,mBAAmB,CAAC,QAAQ,CAAC;YAClC,KAAK,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC;gBACpC,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;gBAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAClD,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,KAAK,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAChF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,gBAAgB,EAAE,QAAQ,OAAO,SAAS,GAAG,GAAG,CAAC,CAAC;gBACrE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC9C,OAAO,IAAI,CAAC;YACd,CAAC;YACD;gBACE,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,mBAAmB,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC;gBAC5D,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,WAAW,CAAC,IAA4B;QACtC,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,KAAK,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;QACjF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,gBAAgB,EAAE,QAAQ,OAAO,SAAS,GAAG,GAAG,CAAC,CAAC;QACrE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC9C,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,cAAc,CAAC,IAAsB;QACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAyC,CAAC;QAChE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;QACzB,IAAI,KAAa,CAAC;QAClB,IAAI,QAAQ,KAAK,kBAAkB,CAAC,MAAM,EAAE,CAAC;YAC3C,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,CAAC;aAAM,IACL,QAAQ,KAAK,kBAAkB,CAAC,wBAAwB;YACxD,QAAQ,KAAK,kBAAkB,CAAC,YAAY;YAC5C,QAAQ,KAAK,kBAAkB,CAAC,sBAAsB,EACtD,CAAC;YACD,KAAK,GAAG,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;YAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9C,MAAM,cAAc,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;YAClD,MAAM,OAAO,GAAG,cAAc,CAAC,cAAc,CAAC,CAAC;YAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,wBAAwB,QAAQ,GAAG,CAAC,CAAC;gBAC5D,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,OAAO,QAAQ,OAAO,SAAS,KAAK,GAAG,CAAC,CAAC;YAC9E,KAAK,GAAG,MAAM,CAAC;QACjB,CAAC;QACD,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,qBAAqB,CAAC,IAAsB;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAyC,CAAC;QAChE,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,eAAe,OAAO,UAAU,MAAM,EAAE,CAAC,CAAC;QACpD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC1C,IAAI,SAAiB,CAAC;QACtB,IAAI,QAAQ,KAAK,kBAAkB,CAAC,wBAAwB,EAAE,CAAC;YAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,OAAO,GAAG,CAAC,CAAC;YAC/D,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,QAAQ,KAAK,kBAAkB,CAAC,YAAY,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,OAAO,GAAG,CAAC,CAAC;YAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,KAAK,QAAQ,kBAAkB,MAAM,KAAK,CAAC,CAAC;YACtD,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,aAAa,QAAQ,QAAQ,CAAC,CAAC;QACzD,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kCAAkC,OAAO,GAAG,CAAC,CAAC;YACpE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,OAAO,GAAG,CAAC,CAAC;YAC/D,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,SAAS,SAAS,YAAY,UAAU,YAAY,QAAQ,EAAE,CAAC,CAAC;QAC/E,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,UAAU,MAAM,EAAE,CAAC,CAAC;QAClD,IAAI,CAAC,SAAS,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,qBAAqB,MAAM,EAAE,CAAC,CAAC;QACnD,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,oBAAoB,CAAC,MAAkB,EAAE,KAAa;QACpD,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;gBAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAoB,CAAC,CAAC;gBACzE,IAAI,MAAM;oBAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAC1C,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,wBAAwB,CAAC,CAAC,CAAC;gBACzC,MAAM,MAAM,GAAG,MAAkC,CAAC;gBAClD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;gBACtD,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,CAAC,IAAI,CAAC,0BAA0B,MAAM,SAAS,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC;gBACzE,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,uBAAuB,CAAC,CAAC,CAAC;gBACxC,MAAM,MAAM,GAAG,MAAiC,CAAC;gBACjD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;gBACtD,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;gBAC3D,IAAI,CAAC,IAAI,CAAC,0BAA0B,MAAM,SAAS,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC;gBACzE,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,uBAAuB;gBACrC,IAAI,CAAC,oBAAoB,CAAE,MAAqC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;gBACpF,OAAO;YACT;gBACE,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;CACF,CAAC"}

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

@@ -0,0 +1,22 @@
+/**
+ * Assembles the LLVM IR generator from its method groups.
+ *
+ * The implementation is split across `context` (shared state and primitives)
+ * and several method-group modules. Each group contributes an interface plus a
+ * plain object of methods; they are merged onto the prototype here so the
+ * groups can freely call one another through `this`.
+ */
+import type { SourceFileNode } from "../../ast/nodes.js";
+import type { DiagnosticBag } from "../../diagnostics/diagnostic.js";
+import { GeneratorContext } from "./context.js";
+import { type ModuleMethods } from "./module.js";
+import { type StatementMethods } from "./statements.js";
+import { type ExpressionMethods } from "./expressions.js";
+import { type CallMethods } from "./calls.js";
+import type { CodegenOptions, CodegenResult } from "./state.js";
+export declare class Generator extends GeneratorContext {
+}
+export interface Generator extends ModuleMethods, StatementMethods, ExpressionMethods, CallMethods {
+}
+export type { CodegenOptions, CodegenResult } from "./state.js";
+export declare function generate(sourceFile: SourceFileNode, diagnostics: DiagnosticBag, options?: CodegenOptions): CodegenResult;

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

@@ -0,0 +1,21 @@
+/**
+ * Assembles the LLVM IR generator from its method groups.
+ *
+ * The implementation is split across `context` (shared state and primitives)
+ * and several method-group modules. Each group contributes an interface plus a
+ * plain object of methods; they are merged onto the prototype here so the
+ * groups can freely call one another through `this`.
+ */
+import { GeneratorContext } from "./context.js";
+import { moduleMethods } from "./module.js";
+import { statementMethods } from "./statements.js";
+import { expressionMethods } from "./expressions.js";
+import { callMethods } from "./calls.js";
+export class Generator extends GeneratorContext {
+}
+Object.assign(Generator.prototype, moduleMethods, statementMethods, expressionMethods, callMethods);
+export function generate(sourceFile, diagnostics, options = {}) {
+    const generator = new Generator(sourceFile, diagnostics, options);
+    return { ir: generator.run(), binding: generator.binding };
+}
+//# sourceMappingURL=generator.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"generator.js","sourceRoot":"","sources":["../../../../src/codegen/generator/generator.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,aAAa,EAAsB,MAAM,aAAa,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAyB,MAAM,iBAAiB,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAA0B,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAE,WAAW,EAAoB,MAAM,YAAY,CAAC;AAG3D,MAAM,OAAO,SAAU,SAAQ,gBAAgB;CAAG;AAKlD,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,aAAa,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,WAAW,CAAC,CAAC;AAIpG,MAAM,UAAU,QAAQ,CACtB,UAA0B,EAC1B,WAA0B,EAC1B,UAA0B,EAAE;IAE5B,MAAM,SAAS,GAAG,IAAI,SAAS,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAClE,OAAO,EAAE,EAAE,EAAE,SAAS,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC;AAC7D,CAAC"}

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

@@ -0,0 +1,15 @@
+/**
+ * Module-level generation: emitting functions, the entry point and the overall
+ * IR text, plus default-parameter initialization.
+ */
+import { type Expression } from "../../ast/nodes.js";
+import type { FunctionInfo, SymbolInfo } from "../../binder/binder.js";
+import type { Generator } from "./generator.js";
+export interface ModuleMethods {
+    run(this: Generator): string;
+    emitFunction(this: Generator, fn: FunctionInfo): void;
+    emitMain(this: Generator): void;
+    functionName(this: Generator, fn: FunctionInfo): string;
+    emitDefaultParameter(this: Generator, symbol: SymbolInfo, value: string, initializer: Expression): void;
+}
+export declare const moduleMethods: ModuleMethods;

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

@@ -0,0 +1,114 @@
+/**
+ * Module-level generation: emitting functions, the entry point and the overall
+ * IR text, plus default-parameter initialization.
+ */
+import { SyntaxKind, } from "../../ast/nodes.js";
+import { i64, XT_UNDEFINED } from "../values.js";
+import { RUNTIME_DECLARATIONS } from "./state.js";
+export const moduleMethods = {
+    run() {
+        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 %env, i32 %argc, i64* %argv) {`;
+        this.emit(`%saved.env = alloca i64`);
+        this.emit(`store i64 %env, i64* %saved.env`);
+        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) {
+            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);
+        }
+        // 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 ${value}`);
+        }
+        else {
+            const body = fn.node.body;
+            this.emitStatements(body.statements);
+        }
+        if (!this.current.terminated)
+            this.terminate(`ret i64 ${i64(XT_UNDEFINED)}`);
+        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)}, i32 0, i64* null)`,
+            "  ret i32 0",
+            "}",
+            "",
+        ].join("\n"));
+    },
+    functionName(fn) {
+        return fn.isModule ? "xt_module" : `xt_fn_${fn.id}`;
+    },
+    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,GAAG,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAsB,MAAM,YAAY,CAAC;AAWtE,MAAM,CAAC,MAAM,aAAa,GAAkB;IAC1C,GAAG;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,qCAAqC,CAAC;QACxE,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,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,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,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,KAAK,EAAE,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAI,EAAE,CAAC,IAAwB,CAAC,IAAI,CAAC;YAC/C,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;YAAE,IAAI,CAAC,SAAS,CAAC,WAAW,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAE7E,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,qBAAqB;YACjF,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,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"}