xbintsc 0.2.8 → 0.3.1

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

@@ -0,0 +1,260 @@
+/**
+ * Primary expression lowering: the dispatcher, identifier/function values,
+ * `this`, `new`, `await` and template literals.
+ */
+import { SyntaxKind, } 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 { BUILTIN_FUNCTION_VALUES, CTOR_FUNCTIONS } from "../tables.js";
+export const primaryExpressionMethods = {
+    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: {
+                const entry = this.internString(node.text);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_bigint_from_string(i8* ${entry.label}, i64 ${entry.length})`);
+                return result;
+            }
+            case SyntaxKind.StringLiteral:
+                return this.stringValue(node.value);
+            case SyntaxKind.NoSubstitutionTemplateLiteral:
+                return this.stringValue(node.value);
+            case SyntaxKind.RegularExpressionLiteral: {
+                const regex = node;
+                const pattern = this.stringValue(regex.pattern);
+                const flags = this.stringValue(regex.flags);
+                const ptr = `%regex${this.current.allocas.length}`;
+                this.current.allocas.push(`${ptr} = alloca i64, i32 2`);
+                const slot0 = this.reg();
+                this.emit(`  ${slot0} = getelementptr i64, i64* ${ptr}, i32 0`);
+                this.emit(`  store i64 ${pattern}, i64* ${slot0}`);
+                const slot1 = this.reg();
+                this.emit(`  ${slot1} = getelementptr i64, i64* ${ptr}, i32 1`);
+                this.emit(`  store i64 ${flags}, i64* ${slot1}`);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_regexp_ctor(i32 2, i64* ${ptr})`);
+                return result;
+            }
+            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.TypeOfExpression: {
+                const operand = this.emitExpression(node.expression);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_typeof(i64 ${operand})`);
+                return result;
+            }
+            case SyntaxKind.VoidExpression:
+                this.emitExpression(node.expression);
+                return i64(XT_UNDEFINED);
+            case SyntaxKind.ThisKeyword:
+                return this.emitThis();
+            case SyntaxKind.NewExpression:
+                return this.emitNew(node);
+            case SyntaxKind.AwaitExpression:
+                return this.emitAwait(node);
+            case SyntaxKind.ClassExpression: {
+                const info = this.binding.classOfNode.get(node);
+                if (!info) {
+                    this.unsupported(node, "class expression");
+                    return i64(XT_UNDEFINED);
+                }
+                this.emitClassSetup(info);
+                return this.emitClassReference(info);
+            }
+            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.Class) {
+                const declaration = symbol.declarations[0];
+                const info = declaration ? this.binding.classOfNode.get(declaration) : undefined;
+                if (info)
+                    return this.emitClassReference(info);
+            }
+            if (symbol.kind === SymbolKind.Function && !this.current.slots.has(symbol.id)) {
+                return this.emitFunctionValue(symbol);
+            }
+            if (symbol.kind === SymbolKind.Import) {
+                // Imported runtime bindings have no first-class value: they are meant
+                // to be called (`readFileSync(...)`) or used as a namespace
+                // (`path.join(...)`), both handled before identifier lowering.
+                this.diagnostics.error(DiagnosticCode.CodegenError, `Imported binding '${identifier.text}' cannot be used as a value`, identifier, this.sourceFile.fileName);
+                return i64(XT_UNDEFINED);
+            }
+            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: {
+                const builtinValue = BUILTIN_FUNCTION_VALUES[identifier.text];
+                if (builtinValue) {
+                    // A global like `Boolean` used as a value (`arr.filter(Boolean)`):
+                    // wrap its runtime trampoline in a closure object.
+                    const cast = this.reg();
+                    this.emit(`  ${cast} = bitcast i64 (i64, i64, i32, i64*)* @${builtinValue} to i8*`);
+                    const closure = this.reg();
+                    this.emit(`  ${closure} = call i64 @xt_closure_new(i8* ${cast}, i32 0, i64* null)`);
+                    return closure;
+                }
+                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, 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;
+    },
+    emitThis() {
+        if (!this.current.thisPtr)
+            return i64(XT_UNDEFINED);
+        const value = this.reg();
+        this.emit(`  ${value} = load i64, i64* ${this.current.thisPtr}`);
+        return value;
+    },
+    emitAwait(node) {
+        const value = this.emitExpression(node.expression);
+        const result = this.reg();
+        this.emit(`  ${result} = call i64 @xt_await(i64 ${value})`);
+        return result;
+    },
+    emitNew(node) {
+        const callee = node.expression;
+        if (callee.kind === SyntaxKind.Identifier) {
+            const identifier = callee;
+            const symbol = this.binding.symbolOfIdentifier.get(identifier);
+            if (symbol && symbol.kind === SymbolKind.Class) {
+                const declaration = symbol.declarations[0];
+                const info = declaration ? this.binding.classOfNode.get(declaration) : undefined;
+                if (info) {
+                    const ctor = this.emitClassReference(info);
+                    const args = this.emitArguments(node.arguments);
+                    const result = this.reg();
+                    this.emit(`  ${result} = call i64 @xt_new(i64 ${ctor}, i32 ${args.argc}, i64* ${args.ptr})`);
+                    return result;
+                }
+            }
+            if (!symbol) {
+                const ctor = CTOR_FUNCTIONS[identifier.text];
+                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;
+                }
+                if (identifier.text === "Object") {
+                    if (node.arguments.length > 0)
+                        return this.emitExpression(node.arguments[0]);
+                    return this.runtimeCall("xt_object_new", []);
+                }
+            }
+            // An imported constructor (`import { EventEmitter } from "events"`) keeps
+            // its import symbol, so resolve it through the module export table.
+            if (symbol && symbol.kind === SymbolKind.Import) {
+                const exported = this.importExports.get(symbol.id);
+                if (exported?.symbol && exported.isConstructor) {
+                    this.extraDeclarations.add(`declare i64 @${exported.symbol}(i32, i64*)`);
+                    const args = this.emitArguments(node.arguments);
+                    const result = this.reg();
+                    this.emit(`  ${result} = call i64 @${exported.symbol}(i32 ${args.argc}, i64* ${args.ptr})`);
+                    return result;
+                }
+            }
+        }
+        const ctorValue = this.emitExpression(callee);
+        const args = this.emitArguments(node.arguments);
+        const result = this.reg();
+        this.emit(`  ${result} = call i64 @xt_new(i64 ${ctorValue}, i32 ${args.argc}, i64* ${args.ptr})`);
+        return result;
+    },
+    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;
+    },
+};
+//# sourceMappingURL=primary.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"primary.js","sourceRoot":"","sources":["../../../../../src/codegen/generator/expressions/primary.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,UAAU,GAmBX,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,UAAU,EAAmB,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/F,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAavE,MAAM,CAAC,MAAM,wBAAwB,GAA6B;IAChE,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,CAAC,CAAC,CAAC;gBAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAE,IAAyB,CAAC,IAAI,CAAC,CAAC;gBACjE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,0CAA0C,KAAK,CAAC,KAAK,SAAS,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;gBACpG,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,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,wBAAwB,CAAC,CAAC,CAAC;gBACzC,MAAM,KAAK,GAAG,IAA0C,CAAC;gBACzD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAChD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC5C,MAAM,GAAG,GAAG,SAAS,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;gBACnD,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,CAAC,CAAC;gBACxD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,8BAA8B,GAAG,SAAS,CAAC,CAAC;gBAChE,IAAI,CAAC,IAAI,CAAC,eAAe,OAAO,UAAU,KAAK,EAAE,CAAC,CAAC;gBACnD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,8BAA8B,GAAG,SAAS,CAAC,CAAC;gBAChE,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,UAAU,KAAK,EAAE,CAAC,CAAC;gBACjD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,2CAA2C,GAAG,GAAG,CAAC,CAAC;gBACxE,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,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,CAAC,CAAC,CAAC;gBACjC,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAE,IAAmC,CAAC,UAAU,CAAC,CAAC;gBACrF,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,UAAU,CAAC,cAAc;gBAC5B,IAAI,CAAC,cAAc,CAAE,IAAmC,CAAC,UAAU,CAAC,CAAC;gBACrE,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;YAC3B,KAAK,UAAU,CAAC,WAAW;gBACzB,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;YACzB,KAAK,UAAU,CAAC,aAAa;gBAC3B,OAAO,IAAI,CAAC,OAAO,CAAC,IAAqB,CAAC,CAAC;YAC7C,KAAK,UAAU,CAAC,eAAe;gBAC7B,OAAO,IAAI,CAAC,SAAS,CAAC,IAAuB,CAAC,CAAC;YACjD,KAAK,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;gBAChC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAChD,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;oBAC3C,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC3B,CAAC;gBACD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC1B,OAAO,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACvC,CAAC;YACD,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,KAAK,EAAE,CAAC;gBACrC,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC3C,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACjF,IAAI,IAAI;oBAAE,OAAO,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACjD,CAAC;YACD,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,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;gBACtC,sEAAsE;gBACtE,4DAA4D;gBAC5D,+DAA+D;gBAC/D,IAAI,CAAC,WAAW,CAAC,KAAK,CACpB,cAAc,CAAC,YAAY,EAC3B,qBAAqB,UAAU,CAAC,IAAI,6BAA6B,EACjE,UAAU,EACV,IAAI,CAAC,UAAU,CAAC,QAAQ,CACzB,CAAC;gBACF,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;YAC3B,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,OAAO,CAAC,CAAC,CAAC;gBACR,MAAM,YAAY,GAAG,uBAAuB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBAC9D,IAAI,YAAY,EAAE,CAAC;oBACjB,mEAAmE;oBACnE,mDAAmD;oBACnD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,0CAA0C,YAAY,SAAS,CAAC,CAAC;oBACpF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,mCAAmC,IAAI,qBAAqB,CAAC,CAAC;oBACpF,OAAO,OAAO,CAAC;gBACjB,CAAC;gBACD,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;YAC3B,CAAC;QACH,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,0CAA0C,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAC7F,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,QAAQ;QACN,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO;YAAE,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,qBAAqB,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QACjE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,SAAS,CAAC,IAAqB;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,6BAA6B,KAAK,GAAG,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,OAAO,CAAC,IAAmB;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;YAC1C,MAAM,UAAU,GAAG,MAAoB,CAAC;YACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC/D,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,KAAK,EAAE,CAAC;gBAC/C,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC3C,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACjF,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,IAAI,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;oBAC3C,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,2BAA2B,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;oBAC7F,OAAO,MAAM,CAAC;gBAChB,CAAC;YACH,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,IAAI,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBAC7C,IAAI,IAAI,EAAE,CAAC;oBACT,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,IAAI,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;oBACjF,OAAO,MAAM,CAAC;gBAChB,CAAC;gBACD,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACjC,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;wBAAE,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;oBAC9E,OAAO,IAAI,CAAC,WAAW,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;gBAC/C,CAAC;YACH,CAAC;YACD,0EAA0E;YAC1E,oEAAoE;YACpE,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,EAAE,MAAM,IAAI,QAAQ,CAAC,aAAa,EAAE,CAAC;oBAC/C,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,gBAAgB,QAAQ,CAAC,MAAM,aAAa,CAAC,CAAC;oBACzE,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,QAAQ,CAAC,MAAM,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;oBAC5F,OAAO,MAAM,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAC9C,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,2BAA2B,SAAS,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QAClG,OAAO,MAAM,CAAC;IAChB,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;CACF,CAAC"}

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

@@ -1,25 +1,15 @@
 /**
- * Expression lowering: operators, assignments, conditionals, templates and
- * identifier resolution.
+ * Expression lowering: aggregates the primary, operator and assignment method
+ * groups into the `ExpressionMethods` mixin consumed by the generator.
+ *
+ * The implementation is split by functional area under `expressions/`:
+ *   - `primary`     — dispatcher, identifiers, `this`/`new`/`await`, templates
+ *   - `operators`   — binary/short-circuit/conditional/unary operators
+ *   - `assignment`  — assignments and destructuring targets
  */
-import { type AwaitExpression, type BinaryExpression, type ConditionalExpression, type Expression, type Identifier, type NewExpression, 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;
-    emitThis(this: Generator): string;
-    emitNew(this: Generator, node: NewExpression): string;
-    emitAwait(this: Generator, node: AwaitExpression): string;
+import { type PrimaryExpressionMethods } from "./expressions/primary.js";
+import { type OperatorExpressionMethods } from "./expressions/operators.js";
+import { type AssignmentExpressionMethods } from "./expressions/assignment.js";
+export interface ExpressionMethods extends PrimaryExpressionMethods, OperatorExpressionMethods, AssignmentExpressionMethods {
 }
 export declare const expressionMethods: ExpressionMethods;