xbintsc 0.2.9 → 0.3.3

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

@@ -0,0 +1,203 @@
+/**
+ * Assignment lowering: compound/logical assignment and destructuring targets.
+ */
+import { SyntaxKind, AssignmentOperator, } from "../../../ast/nodes.js";
+import { SymbolKind } from "../../../binder/binder.js";
+import { DiagnosticCode } from "../../../diagnostics/diagnostic.js";
+import { i64, numberLiteral, XT_UNDEFINED } from "../../values.js";
+import { BINARY_RUNTIME, compoundToBinary, propertyNameText } from "../tables.js";
+/** True for `target = default` (only the plain assignment operator). */
+function isPlainAssignment(node) {
+    if (node.kind !== SyntaxKind.BinaryExpression)
+        return false;
+    return node.operator === AssignmentOperator.Assign;
+}
+export const assignmentExpressionMethods = {
+    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 identifier = target;
+                const symbol = this.binding.symbolOfIdentifier.get(identifier);
+                if (!symbol)
+                    return;
+                if (symbol.kind === SymbolKind.Const || symbol.kind === SymbolKind.Import) {
+                    this.diagnostics.error(DiagnosticCode.CannotAssignToConst, symbol.kind === SymbolKind.Import
+                        ? `Cannot assign to '${symbol.name}' because it is an import.`
+                        : `Cannot assign to '${symbol.name}' because it is a constant.`, identifier, this.sourceFile.fileName);
+                    return;
+                }
+                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;
+            case SyntaxKind.ArrayLiteralExpression:
+                this.emitArrayAssignmentTarget(target, value);
+                return;
+            case SyntaxKind.ObjectLiteralExpression:
+                this.emitObjectAssignmentTarget(target, value);
+                return;
+            default:
+                this.unsupported(target, "assignment target");
+        }
+    },
+    /** `[a, b] = value` / `for ([a, b] of xs)`: assign each element of `value`. */
+    emitArrayAssignmentTarget(pattern, value) {
+        for (let index = 0; index < pattern.elements.length; index++) {
+            const element = pattern.elements[index];
+            if (!element)
+                continue;
+            if (element.kind === SyntaxKind.UndefinedKeyword)
+                continue; // elision hole
+            if (element.kind === SyntaxKind.SpreadElement) {
+                const spread = element;
+                const startPtr = this.alloca();
+                this.emit(`  store i64 ${numberLiteral(index)}, i64* ${startPtr}`);
+                const sliceName = this.stringValue("slice");
+                const rest = this.reg();
+                this.emit(`  ${rest} = call i64 @xt_call_method(i64 ${value}, i64 ${sliceName}, i32 1, i64* ${startPtr})`);
+                this.emitAssignmentTarget(spread.expression, rest);
+                continue;
+            }
+            let target = element;
+            let fallback;
+            if (isPlainAssignment(element)) {
+                const binary = element;
+                target = binary.left;
+                fallback = binary.right;
+            }
+            let elementValue = this.reg();
+            this.emit(`  ${elementValue} = call i64 @xt_get(i64 ${value}, i64 ${numberLiteral(index)})`);
+            if (fallback)
+                elementValue = this.emitBindingDefault(elementValue, fallback);
+            this.emitAssignmentTarget(target, elementValue);
+        }
+    },
+    /** `{ a, b } = value` / `for ({ a } of xs)`: assign each property of `value`. */
+    emitObjectAssignmentTarget(pattern, value) {
+        for (const property of pattern.properties) {
+            if (property.kind === SyntaxKind.SpreadElement) {
+                this.unsupported(property, "object rest destructuring");
+                continue;
+            }
+            if (property.kind === SyntaxKind.PropertyAssignment) {
+                const assignment = property;
+                let key;
+                if (assignment.name.kind === SyntaxKind.ComputedPropertyName) {
+                    const keyValue = this.emitExpression(assignment.name.expression);
+                    key = this.reg();
+                    this.emit(`  ${key} = call i64 @xt_to_string(i64 ${keyValue})`);
+                }
+                else {
+                    key = this.stringValue(propertyNameText(assignment.name));
+                }
+                let target = assignment.initializer;
+                let fallback;
+                if (isPlainAssignment(target)) {
+                    const binary = target;
+                    target = binary.left;
+                    fallback = binary.right;
+                }
+                let elementValue = this.reg();
+                this.emit(`  ${elementValue} = call i64 @xt_get(i64 ${value}, i64 ${key})`);
+                if (fallback)
+                    elementValue = this.emitBindingDefault(elementValue, fallback);
+                this.emitAssignmentTarget(target, elementValue);
+                continue;
+            }
+            const shorthand = property;
+            const key = this.stringValue(shorthand.name.text);
+            let elementValue = this.reg();
+            this.emit(`  ${elementValue} = call i64 @xt_get(i64 ${value}, i64 ${key})`);
+            if (shorthand.initializer)
+                elementValue = this.emitBindingDefault(elementValue, shorthand.initializer);
+            this.emitAssignmentTarget(shorthand.name, elementValue);
+        }
+    },
+};
+//# sourceMappingURL=assignment.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"assignment.js","sourceRoot":"","sources":["../../../../../src/codegen/generator/expressions/assignment.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,UAAU,EACV,kBAAkB,GAWnB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAWlF,wEAAwE;AACxE,SAAS,iBAAiB,CAAC,IAAgB;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB;QAAE,OAAO,KAAK,CAAC;IAC5D,OAAS,IAAyB,CAAC,QAA0C,KAAK,kBAAkB,CAAC,MAAM,CAAC;AAC9G,CAAC;AAED,MAAM,CAAC,MAAM,2BAA2B,GAAgC;IACtE,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,UAAU,GAAG,MAAoB,CAAC;gBACxC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBAC/D,IAAI,CAAC,MAAM;oBAAE,OAAO;gBACpB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;oBAC1E,IAAI,CAAC,WAAW,CAAC,KAAK,CACpB,cAAc,CAAC,mBAAmB,EAClC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,MAAM;wBAC/B,CAAC,CAAC,qBAAqB,MAAM,CAAC,IAAI,4BAA4B;wBAC9D,CAAC,CAAC,qBAAqB,MAAM,CAAC,IAAI,6BAA6B,EACjE,UAAU,EACV,IAAI,CAAC,UAAU,CAAC,QAAQ,CACzB,CAAC;oBACF,OAAO;gBACT,CAAC;gBACD,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAC9B,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,KAAK,UAAU,CAAC,sBAAsB;gBACpC,IAAI,CAAC,yBAAyB,CAAC,MAAgC,EAAE,KAAK,CAAC,CAAC;gBACxE,OAAO;YACT,KAAK,UAAU,CAAC,uBAAuB;gBACrC,IAAI,CAAC,0BAA0B,CAAC,MAAiC,EAAE,KAAK,CAAC,CAAC;gBAC1E,OAAO;YACT;gBACE,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,yBAAyB,CAAC,OAA+B,EAAE,KAAa;QACtE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACxC,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,gBAAgB;gBAAE,SAAS,CAAC,eAAe;YAC3E,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;gBAC9C,MAAM,MAAM,GAAG,OAAwB,CAAC;gBACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC/B,IAAI,CAAC,IAAI,CAAC,eAAe,aAAa,CAAC,KAAK,CAAC,UAAU,QAAQ,EAAE,CAAC,CAAC;gBACnE,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;gBAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,mCAAmC,KAAK,SAAS,SAAS,iBAAiB,QAAQ,GAAG,CAAC,CAAC;gBAC3G,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;gBACnD,SAAS;YACX,CAAC;YACD,IAAI,MAAM,GAAe,OAAO,CAAC;YACjC,IAAI,QAAgC,CAAC;YACrC,IAAI,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,OAA2B,CAAC;gBAC3C,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;gBACrB,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;YAC1B,CAAC;YACD,IAAI,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,2BAA2B,KAAK,SAAS,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC7F,IAAI,QAAQ;gBAAE,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;YAC7E,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IAED,iFAAiF;IACjF,0BAA0B,CAAC,OAAgC,EAAE,KAAa;QACxE,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YAC1C,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;gBAC/C,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,2BAA2B,CAAC,CAAC;gBACxD,SAAS;YACX,CAAC;YACD,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,kBAAkB,EAAE,CAAC;gBACpD,MAAM,UAAU,GAAG,QAA8B,CAAC;gBAClD,IAAI,GAAW,CAAC;gBAChB,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,oBAAoB,EAAE,CAAC;oBAC7D,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAE,UAAU,CAAC,IAAmC,CAAC,UAAU,CAAC,CAAC;oBACjG,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,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC5D,CAAC;gBACD,IAAI,MAAM,GAAe,UAAU,CAAC,WAAW,CAAC;gBAChD,IAAI,QAAgC,CAAC;gBACrC,IAAI,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC9B,MAAM,MAAM,GAAG,MAA0B,CAAC;oBAC1C,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;oBACrB,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;gBAC1B,CAAC;gBACD,IAAI,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC9B,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,2BAA2B,KAAK,SAAS,GAAG,GAAG,CAAC,CAAC;gBAC5E,IAAI,QAAQ;oBAAE,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;gBAC7E,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;gBAChD,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,QAAuC,CAAC;YAC1D,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,2BAA2B,KAAK,SAAS,GAAG,GAAG,CAAC,CAAC;YAC5E,IAAI,SAAS,CAAC,WAAW;gBAAE,YAAY,GAAG,IAAI,CAAC,kBAAkB,CAAC,YAAY,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;YACvG,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;CACF,CAAC"}

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

@@ -0,0 +1,14 @@
+/**
+ * Operator lowering: binary/compound expressions, short-circuiting,
+ * conditionals and unary operators.
+ */
+import { type BinaryExpression, type ConditionalExpression, type PostfixUnaryExpression, type PrefixUnaryExpression } from "../../../ast/nodes.js";
+import type { Generator } from "../generator.js";
+export interface OperatorExpressionMethods {
+    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;
+}
+export declare const operatorExpressionMethods: OperatorExpressionMethods;

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

@@ -0,0 +1,163 @@
+/**
+ * Operator lowering: binary/compound expressions, short-circuiting,
+ * conditionals and unary operators.
+ */
+import { BinaryOperator, PostfixUnaryOperator, PrefixUnaryOperator, } from "../../../ast/nodes.js";
+import { i64, numberLiteral, XT_UNDEFINED } from "../../values.js";
+import { BINARY_RUNTIME, isAssignmentOperator } from "../tables.js";
+export const operatorExpressionMethods = {
+    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;
+    },
+};
+//# sourceMappingURL=operators.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"operators.js","sourceRoot":"","sources":["../../../../../src/codegen/generator/expressions/operators.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,mBAAmB,GAKpB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAWpE,MAAM,CAAC,MAAM,yBAAyB,GAA8B;IAClE,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;CACF,CAAC"}

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

@@ -0,0 +1,17 @@
+/**
+ * Primary expression lowering: the dispatcher, identifier/function values,
+ * `this`, `new`, `await` and template literals.
+ */
+import { type AwaitExpression, type Expression, type Identifier, type NewExpression, type TemplateLiteral } from "../../../ast/nodes.js";
+import { type SymbolInfo } from "../../../binder/binder.js";
+import type { Generator } from "../generator.js";
+export interface PrimaryExpressionMethods {
+    emitExpression(this: Generator, node: Expression): string;
+    emitIdentifier(this: Generator, identifier: Identifier): string;
+    emitFunctionValue(this: Generator, symbol: SymbolInfo): string;
+    emitTemplate(this: Generator, node: TemplateLiteral): string;
+    emitThis(this: Generator): string;
+    emitNew(this: Generator, node: NewExpression): string;
+    emitAwait(this: Generator, node: AwaitExpression): string;
+}
+export declare const primaryExpressionMethods: PrimaryExpressionMethods;